arXiv Science⌕ Search

arXiv subjects

Aaron Tikuisis

Publications and source records attributed to Aaron Tikuisis.

At least 19 recordsLinked to original sources
arXiv2026

Classifying $^*$-homomorphisms I: Unital simple nuclear $C^*$-algebras

We classify the unital embeddings of a unital separable nuclear $C^*$-algebra satisfying the universal coefficient theorem into a unital simple separable nuclear $C^*$-algebra that tensorially absorbs the Jiang--Su algebra. This gives a new and essentially self-contained proof of the stably finite case of the unital classification theorem: unital simple separable nuclear $C^*$-algebras that absorb the Jiang--Su algebra tensorially and satisfy the universal coefficient theorem are classified by Elliott's invariant of $K$-theory and traces.

math.OA↗
arXiv2026

Tracially Complete C*-Algebras

We introduce a new class of operator algebras -- tracially complete C*-algebras -- as a vehicle for transferring ideas and results between C*-algebras and their tracial von Neumann algebra completions. We obtain structure and classification results for amenable tracially complete C*-algebras satisfying an appropriate version of Murray and von Neumann's property gamma for II_1 factors. In a precise sense, these results fit between Connes' celebrated theorems for injective II_1 factors and the unital classification theorem for separable simple nuclear C*-algebras. The theory also underpins arguments for the known parts of the Toms-Winter conjecture.

math.OA↗
arXiv2026

The real and stable rank of tracially complete C*-algebras

We prove that a factorial tracially complete C*-algebra with CPoU has real rank zero and stable rank one. This leads to an essentially complete description of the Cuntz semigroup of these algebras. In particular, the results of this paper hold for the uniform tracial completions of $\mathcal{Z}$-stable C*-algebras.

math.OA↗
arXiv2025

Uniform property $Γ$ and the small boundary property

We prove that, for a free action $α\colon G \curvearrowright X$ of a countably infinite discrete amenable group on a compact metric space, the small boundary property is implied by uniform property $Γ$ of the Cartan subalgebra $(C(X) \subseteq C(X) \rtimes_αG)$. The reverse implication has been demonstrated by Kerr and Szabó for free actions, from which we obtain that these two conditions are equivalent. We moreover show that, if $α$ is also minimal, then almost finiteness of $α$ is implied by tracial $\mathcal{Z}$-stability of the subalgebra $(C(X) \subseteq C(X) \rtimes_αG)$. The reverse implication is due to Kerr, resulting in the equivalence of these two properties as well. As an application, we prove that if $α\colon G \curvearrowright X$ and $β\colon H \curvearrowright Y$ are free actions and $α$ has the small boundary property, then $α\times β\colon G \times H \curvearrowright X \times Y$ has the small boundary property. An analogous permanence property is obtained for almost finiteness in case $α$ and $β$ are free minimal actions.

math.OA↗
arXiv2025

Etale equivalence relations with certain prescribed torsion in their homology

Given a non-cyclic simple dimension group D and a subgroup E of Q/Z, we produce a minimal étale equivalence relation R such that H_0(\R) is isomorphic to D \oplus E, where H_0(R) denotes the zeroth homology group of R. The equivalence relation R arises by combining tail-equivalence on a Bratteli diagram with a partial homeomorphism.

math.DS↗
arXiv2024

On $\ell$-open $C^*$ algebras and $\ell$-closed $C^*$-algebras

In this paper, we characterize $\ell$-open and $\ell$-closed $C^*$-algebras and deduce that $\ell$-open $C^*$-algebras are $\ell$-closed, as conjectured by Blackadar. Moreover, we show that a commutative unital $C^*$-algebra is $\ell$-open if and only if it is semiprojective.

math.OA↗
arXiv2023

Polar decomposition in algebraic K-theory

We show that the Hausdorffized algebraic K-theory of a C*-algebra decomposes naturally as a direct sum of the Hausdorffized unitary algebraic K-theory and the space of continuous affine functions on the trace simplex. Under mild regularity hypotheses, an analogous natural direct sum decomposition holds for the ordinary (non-Hausdorffized) algebraic K-theory.

math.OA↗
arXiv2023

Corrigendum to "K-theoretic characterization of C*-algebras with approximately inner flip"

An error in the original paper is identified and corrected. The C*-algebras with approximately inner flip, which satisfy the UCT, are identified (and turn out to be fewer than what is claimed in the original paper). The action of the flip map on K-theory turns out to be more subtle, involving a minus sign in certain components. To this end, we introduce new geometric resolutions for C*-algebras, which do not involve index shifts in K-theory and thus allow for a more explicit description of the quotient map in the Künneth formula for tensor products.

math.OA↗
arXiv2021

Almost finiteness, comparison, and tracial $\mathcal{Z}$-stability

Inspired by Kerr's work on topological dynamics, we define tracial $\mathcal{Z}$-stability for sub-$C^*$-algebras. We prove that for a countable discrete amenable group $G$ acting freely and minimally on a compact metrizable space $X$, tracial $\mathcal{Z}$-stability for the sub-$C^*$-algebra $(C(X)\subseteq C(X)\rtimes G)$ implies that the action has dynamical comparison. Consequently, tracial $\mathcal{Z}$-stability is equivalent to almost finiteness of the action, provided that the action has the small boundary property.

math.OA↗
arXiv2020

Nuclear dimension of simple C*-algebras

We compute the nuclear dimension of separable, simple, unital, nuclear, Z-stable C*-algebras. This makes classification accessible from Z-stability and in particular brings large classes of C*-algebras associated to free and minimal actions of amenable groups on finite dimensional spaces within the scope of the Elliott classification programme.

math.OA↗
arXiv2020

Uniform property Gamma

We further examine the concept of uniform property Gamma for C*-algebras introduced in our joint work with Winter. In addition to obtaining characterisations in the spirit of Dixmier's work on central sequence in II$_1$ factors, we establish the equivalence of uniform property Gamma, a suitable uniform version of McDuff's property for C*-algebras, and the existence of complemented partitions of unity for separable nuclear C*-algebras with no finite dimensional representations and a compact (non-empty) tracial state space. As a consequence, for C*-algebras as in the Toms-Winter conjecture, the combination of strict comparison and uniform property Gamma is equivalent to Jiang-Su stability. We also show how these ideas can be combined with those of Matui-Sato to streamline Winter's classification-by-embeddings technique.

math.OA↗
arXiv2020

Decomposition rank of approximately subhomogeneous C*-algebras

It is shown that every Jiang-Su stable approximately subhomogeneous C*-algebra has finite decomposition rank. Previously, it was not even known that such algebras have finite nuclear dimension. A key step in the proof is that subhomogeneous C*-algebra are locally approximated by a certain class of more tractable subhomogeneous algebras, namely, a non-commutative generalization of the class of cell complexes. The result is applied to show that Jiang-Su stable minimal Z-crossed products have finite decomposition rank.

math.OA↗
arXiv2018

Relative commutant pictures of Roe algebras

Let X be a proper metric space, which has finite asymptotic dimension in the sense of Gromov (or more generally, straight finite decomposition complexity of Dranishnikov and Zarichnyi). New descriptions are provided of the Roe algebra of X: (i) it consists exactly of operators which essentially commute with diagonal operators coming from Higson functions (that is, functions on X whose oscillation tends to 0 at infinity) and (ii) it consists exactly of quasi-local operators, that is, ones which have finite epsilon propogation (in the sense of Roe) for every epsilon>0. These descriptions hold both for the usual Roe algebra and for the uniform Roe algebra.

math.OA↗
arXiv2017

Maximally unitarily mixed states on a C*-algebra

We investigate the set of maximally mixed states of a C*-algebra, extending previous work by Alberti on von Neumann algebras. We show that, unlike for von Neumann algebras, the set of maximally mixed states of a C*-algebra may fail to be weak* closed. We obtain, however, a concrete description of the weak* closure of this set, in terms of tracial states and states which factor through simple traceless quotients. For C*-algebras with the Dixmier property or with Hausdorff primitive spectrum we are able to advance our investigations further. In the latter case we obtain a concrete description of the set of maximally mixed states in terms of traces and extensions of the states of a closed two-sided ideal. We pose several questions.

math.OA↗
arXiv2017

The Dixmier property and tracial states for C*-algebras

It is shown that a unital C*-algebra A has the Dixmier property if and only if it is weakly central and satisfies certain tracial conditions. This generalises the Haagerup-Zsido theorem for simple C*-algebras. We also study a uniform version of the Dixmier property, as satisfied for example by von Neumann algebras and the reduced C*-algebras of Powers groups, but not by all C*-algebras with the Dixmier property, and we obtain necessary and sufficient conditions for a simple unital C*-algebra with unique tracial state to have this uniform property. We give further examples of C*-algebras with the uniform Dixmier property, namely all C*-algebras with the Dixmier property and finite radius of comparison-by-traces. Finally, we determine the distance between two Dixmier sets, in an arbitrary unital C*-algebra, by a formula involving tracial data and algebraic numerical ranges.

math.OA↗