Source author record

Matthew Wiersma

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
5topics
4close collaborators

Published work

10 publications

preprint2022arXiv

Traces on locally compact groups

We conduct a systematic study of traces on locally compact groups, in particular traces on their universal and reduced C*-algebras. We introduce the trace kernel, and examine its relation to the von Neumann kernel and to small-invariant neighbourhood (SIN) quotients. In doing so, we introduce the class of residually-SINSIN groups, which contains both SINSIN and maximally almost periodic groups. We examine in detail the trace kernel for connected groups. We study traces on reduced C*-algebras, giving a simple proof for compactly generated groups that existence of such a trace is equivalent to having an open normal amenable subgroup, and we display non-discrete groups admitting unique trace. We finish by examining amenable traces and the factorization property. We show for property (T) groups that amenable trace kernels coincide with von Neumann kernels. We show for totally disconnected groups that amenable trace separation implies the factorization property. We use amenable traces to give a simple proof that amenability of the group is equivalent to simultaneous nuclearity and possessing a trace of its reduced C*-algebra. As a final application of the results obtained in the paper, we address the embeddability of group C*-algebras into simple AF algebras. As a consequence, if a locally compact group is amenable and tracially separated (trace kernel is trivial), then its reduced C*-algebra is quasi-diagonal.

preprint2020arXiv

Cohomological obstructions to lifting properties for full group C∗^*-algebras

We develop a new method, based on non-vanishing of second cohomology groups, for proving the failure of lifting properties for full C∗^*-algebras of countable groups with (relative) property (T). We derive that the full C∗^*-algebras of the groups Z2⋊SL2(Z)\mathbb Z^2\rtimes\text{SL}_2(\mathbb Z) and SLn(Z)\text{SL}_n(\mathbb Z), for n≥3n\geq 3, do not have the local lifting property (LLP). We also prove that the full C∗^*-algebras of a large class of groups ΓΓ with property (T), including those such that H2(Γ,R)≠0\text{H}^2(Γ,\mathbb R)\not=0 or H2(Γ,ZΓ)≠0\text{H}^2(Γ,\mathbb ZΓ)\not=0, do not have the lifting property (LP). More generally, we show that the same holds if ΓΓ admits a probability measure preserving action with non-vanishing second R\mathbb R-valued cohomology. Finally, we prove that the full C∗^*-algebra of any non-finitely presented property (T) group fails the LP.

preprint2016arXiv

On exotic group C*-algebras

Let ΓΓ be a discrete group. A C∗C^*-algebra AA is an exotic C∗C^*-algebra (associated to ΓΓ) if there exist proper surjective C∗C^*-quotients C∗(Γ)→A→Cr∗(Γ)C^*(Γ)\to A\to C^*_r(Γ). In this paper, we show that a large class of exotic C∗C^*-algebras have poor local properties. More precisely, we demonstrate the failure of local reflexitity, exactness, and local lifting property. Additionally, AA does not admit an amenable trace and, hence, is not quasidiagonal and does not have the WEP when AA is from the class of exotic C∗C^*-algebras defined by Brown and Guentner. In order to achieve the main results of this paper, we prove a result which implies the factorization property for the class of discrete groups which are algebraic subgroups of locally compact amenable groups.

preprint2015arXiv

Weak* tensor products for von Neumann algebras

The category of C∗C^*-algebras is blessed with many different tensor products. In contrast, virtually the only tensor product ever used in the category of von Neumann algebras is the normal spatial tensor product. We propose a definition of what a generic tensor product in this category should be. We call these weak* tensor products. For von Neumann algebras MM and NN, there are, in general, many choices of weak* tensor completions of the algebraic tensor product M⊙NM\odot N. In fact, we demonstrate that MM has the property that M⊙NM\odot N has a unique weak* tensor product completion for every von Neumann algebra NN if and only if MM is completely atomic, i.e., is a direct product of type I factors. This in particular implies that even abelian von Neumann algebras need not have this property. As an application of the theory developed throughout the paper, we construct 2c2^{\mathfrak c} nonequivalent weak* tensor product completions of L∞(R)⊙L∞(R)L^\infty(\mathbb R)\odot L^\infty(\mathbb R).

preprint2014arXiv

LpL^p-Fourier and Fourier-Stieltjes algebras for locally compact groups

Let GG be a locally compact group and 1≤p<∞1\leq p<\infty. A continuous unitary representation π ⁣:G→B(H)π\!: G\to B(\mathcal{H}) of GG is an LpL^p-representation if the matrix coefficient functions s↦⟨π(s)x,x⟩s\mapsto \langle π(s)x,x\rangle lie in Lp(G)L^p(G) for sufficiently many x∈Hx\in \mathcal{H}. Brannan and Ruan defined the LpL^p-Fourier algebra ALp(G)A_{L^p}(G) to be the set of matrix coefficient functions of LpL^p-representations. Similarly, the LpL^p-Fourier-Stieltjes algebra BLp(G)B_{L^p}(G) is defined to be the weak*-closure of ALp(G)A_{L^p}(G) in the Fourier-Stieltjes algebra B(G)B(G). These are always ideals in the Fourier-Stieltjes algebra containing the Fourier algebra. In this paper we investigate how these spaces reflect properties of the underlying group and study the structural properties of these algebras. As an application of this theory, we characterize the Fourier-Stieltjes ideals of SL(2,R)SL(2,\mathbb R).

preprint2014arXiv

C*-norms for tensor products of discrete group C*-algebras

Let ΓΓ be a discrete group. We show that if ΓΓ is nonamenable, then the algebraic tensor products Cr∗(Γ)⊗Cr∗(Γ)C^*_r(Γ)\otimes C^*_r(Γ) and C∗(Γ)⊗Cr∗(Γ)C^*(Γ)\otimes C^*_r(Γ) do not admit unique C∗C^*-norms. Moreover, when Γ1Γ_1 and Γ2Γ_2 are discrete groups containing copies of noncommutative free groups, then Cr∗(Γ1)⊗Cr∗(Γ2)C^*_r(Γ_1)\otimes C^*_r(Γ_2) and C∗(Γ1)⊗Cr∗(Γ2)C^*(Γ_1)\otimes C_r^*(Γ_2) admit 2ℵ02^{\aleph_0} C∗C^*-norms. Analogues of these results continue to hold when these familiar group C∗C^*-algebras are replaced by appropriate intermediate group C∗C^*-algebras.

preprint2012arXiv

Optimal error estimates for corrected trapezoidal rules

Corrected trapezoidal rules are proved for ∫abf(x) dx\int_a^b f(x)\,dx under the assumption that f"∈Lp([a,b])f"\in L^p([a,b]) for some 1≤p≤∞1\leq p\leq\infty. Such quadrature rules involve the trapezoidal rule modified by the addition of a term k[f′(a)−f′(b)]k[f'(a)-f'(b)]. The coefficient kk in the quadrature formula is found that minimizes the error estimates. It is shown that when f′f' is merely assumed to be continuous then the optimal rule is the trapezoidal rule itself. In this case error estimates are in terms of the Alexiewicz norm. This includes the case when f"f" is integrable in the Henstock--Kurzweil sense or as a distribution. All error estimates are shown to be sharp for the given assumptions on f"f". It is shown how to make these formulas exact for all cubic polynomials ff. Composite formulas are computed for uniform partitions.

preprint2012arXiv

Simple derivation of basic quadrature formulas

Simple proofs of the midpoint, trapezoidal and Simpson's rules are proved for numerical integration on a compact interval. The integrand is assumed to be twice continuously differentiable for the midpoint and trapezoidal rules, and to be four times continuously differentiable for Simpson's rule. Errors are estimated in terms of the uniform norm of second or fourth derivatives of the integrand. The proof uses only integration by parts, applied to the second or fourth derivative of the integrand, multiplied by an appropriate polynomial or piecewise polynomial function. A corrected trapezoidal rule that includes the first derivative of the integrand at the endpoints of the integration interval is also proved in this manner, the coefficient in the error estimate being smaller than for the midpoint and trapezoidal rules. The proofs are suitable for presentation in a calculus or elementary numerical analysis class. Several student projects are suggested.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.