Source author record

Matthew Wiersma

Matthew Wiersma appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

10 published item(s)

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-$SIN$ groups, which contains both $SIN$ 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 $\mathbb Z^2\rtimes\text{SL}_2(\mathbb Z)$ and $\text{SL}_n(\mathbb Z)$, for $n\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 $\text{H}^2(Γ,\mathbb R)\not=0$ or $\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 $\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^*$-algebra $A$ is an exotic $C^*$-algebra (associated to $Γ$) if there exist proper surjective $C^*$-quotients $C^*(Γ)\to A\to C^*_r(Γ)$. In this paper, we show that a large class of exotic $C^*$-algebras have poor local properties. More precisely, we demonstrate the failure of local reflexitity, exactness, and local lifting property. Additionally, $A$ does not admit an amenable trace and, hence, is not quasidiagonal and does not have the WEP when $A$ is from the class of exotic $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^*$-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 $M$ and $N$, there are, in general, many choices of weak* tensor completions of the algebraic tensor product $M\odot N$. In fact, we demonstrate that $M$ has the property that $M\odot N$ has a unique weak* tensor product completion for every von Neumann algebra $N$ if and only if $M$ 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 $2^{\mathfrak c}$ nonequivalent weak* tensor product completions of $L^\infty(\mathbb R)\odot L^\infty(\mathbb R)$.

preprint2014arXiv

$L^p$-Fourier and Fourier-Stieltjes algebras for locally compact groups

Let $G$ be a locally compact group and $1\leq p<\infty$. A continuous unitary representation $π\!: G\to B(\mathcal{H})$ of $G$ is an $L^p$-representation if the matrix coefficient functions $s\mapsto \langle π(s)x,x\rangle$ lie in $L^p(G)$ for sufficiently many $x\in \mathcal{H}$. Brannan and Ruan defined the $L^p$-Fourier algebra $A_{L^p}(G)$ to be the set of matrix coefficient functions of $L^p$-representations. Similarly, the $L^p$-Fourier-Stieltjes algebra $B_{L^p}(G)$ is defined to be the weak*-closure of $A_{L^p}(G)$ in the Fourier-Stieltjes algebra $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,\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 $C^*_r(Γ)\otimes C^*_r(Γ)$ and $C^*(Γ)\otimes C^*_r(Γ)$ do not admit unique $C^*$-norms. Moreover, when $Γ_1$ and $Γ_2$ are discrete groups containing copies of noncommutative free groups, then $C^*_r(Γ_1)\otimes C^*_r(Γ_2)$ and $C^*(Γ_1)\otimes C_r^*(Γ_2)$ admit $2^{\aleph_0}$ $C^*$-norms. Analogues of these results continue to hold when these familiar group $C^*$-algebras are replaced by appropriate intermediate group $C^*$-algebras.

preprint2012arXiv

Optimal error estimates for corrected trapezoidal rules

Corrected trapezoidal rules are proved for $\int_a^b f(x)\,dx$ under the assumption that $f"\in L^p([a,b])$ for some $1\leq p\leq\infty$. Such quadrature rules involve the trapezoidal rule modified by the addition of a term $k[f'(a)-f'(b)]$. The coefficient $k$ in the quadrature formula is found that minimizes the error estimates. It is shown that when $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"$ 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"$. It is shown how to make these formulas exact for all cubic polynomials $f$. 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.