SearcharxivSearch

arXiv · 1709.00222

Rokhlin dimension: duality, tracial properties, and crossed products

Abstract

We study compact group actions with finite Rokhlin dimension, particularly in relation to crossed products. For example, we characterize the duals of such actions, generalizing previous partial results for the Rokhlin property. As an application, we determine the ideal structure of their crossed products. Under the assumption of so-called commuting towers, we show that taking crossed products by such actions preserves a number of relevant classes of C*-algebras, including: $D$-absorbing C*-algebras, where $D$ is a strongly self-absorbing C*-algebra, stable C*-algebras, C*-algebras with finite nuclear dimension (or decomposition rank), C*-algebras with finite stable rank (or real rank), and C*-algebras whose K-theory is either trivial, rational, or $n$-divisible for $n\in\mathbb{N}$. The combination of nuclearity and the UCT is also shown to be preserved by these actions. Some of these results are new even in the well-studied case of the Rokhlin property. Additionally, and under some technical assumptions, we show that finite Rokhlin dimension with commuting towers implies the (weak) tracial Rokhlin property. At the core of our arguments is a certain local approximation of the crossed product by a continuous $C(X)$-algebra with fibers that are stably isomorphic to the underlying algebra. The space $X$ is computed in some cases of interest, and we use its description to construct a $\mathbb{Z}_2$-action on a unital AF-algebra and on a unital Kirchberg algebra satisfying the UCT, whose Rokhlin dimensions with and without commuting towers are finite but do not agree.

Explore related subjects

Keep this discovery

BibTeXRIS

Eusebio Gardella, Ilan Hirshberg, Luis Santiago. 2017-09-01. Rokhlin dimension: duality, tracial properties, and crossed products. https://arxiv.org/abs/1709.00222

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the II$_{1}$ Factors of Fuchsian Groups

We show that von Neumann algebras of fundamental groups of closed orientable surfaces of genus $g\geq2$ are free group factors on $2g-1$generators. The key technical ingredient involves a proof that the element $w=ABA^{-1}B^{-1}$ of the free group $\mathbb{F}_{2}=\langle A,B\rangle$ is freely complemented in the group factor: $L(\mathbb{F}_{2})=W^{*}(w)*W^{*}(v)$ for some Haar unitary $v\in L(\mathbb{F}_{2})$ that is freely independent from $w$. Combined with previous results, we conclude that for an arbitrary finitely generated torsion-free non-elementary discrete subgroup $\Gamma\subset PSL_{2}(\mathbb{R})$, $L(\Gamma)$ is a free group factor, settling a conjecture of de la Harpe and Voiculescu. This result was obtained using OpenAI's ChatGPT Pro 6.0.

math.OA

On AF- and type I-ideals in certain crossed product C$^\ast$-algebras

We study locally finite-dimensional ideals in crossed products of totally disconnected spaces by free actions of the integers and in uniform Roe algebras of exact discrete groups. In the first case, we present a dynamical description of the largest locally finite-dimensional ideal, which turns out to coincide with the intersection of all maximal ideals. In the latter case, we provide a coarse geometric characterization of the locally finite-dimensional compact ideals. Moreover, we show that for crossed products of totally disconnected spaces by free actions of exact groups, the largest type I-ideal is locally finite-dimensional. In the case of uniform Roe algebras, we provide coarse geometric conditions for compact ideals guaranteeing that the ideal is type I and admits an embedding of a UHF-algebra, respectively.

math.OA

Continuous family of compact quantum metric space structures from cocycle twisted crossed product $\textrm{C}^{\ast}$-algebras

We establish the existence of a three-parameter family of compact quantum metric space structures on cocycle twisted crossed products by discrete groups. We are mainly interested in the case where the acting group has exponential/subexponential growth. We prove that the family is jointly continuous with respect to the parameters when the acting group is exact. We obtain quantitative upper and lower bounds for the associated metric dimensions. In particular, the bounds are helpful to prove the failure of lower semicontinuity of the metric dimension with respect to the quantum Gromov-Hausdorff distance. We also prove invariance of metric dimension under zero quantum Gromov-Hausdorff distance.

math.OA