Showing 1–36 of 36 results for author: Tikuisis, A

Nuclear C*-algebras: 99 problems

Authors: Christopher Schafhauser, Aaron Tikuisis, Stuart White

Abstract: We present a collection of questions related to the structure and classification of nuclear C*-algebras. We present a collection of questions related to the structure and classification of nuclear C*-algebras. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Comments: 98 pages

MSC Class: 46L35; 46L05

Etale equivalence relations with certain prescribed torsion in their homology

Authors: Michael Francesco Ala, Hung-Chang Liao, Aaron Tikuisis

Abstract: 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. 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. △ Less

Submitted 24 April, 2025; originally announced April 2025.

Uniform property $Γ$ and the small boundary property

Authors: Grigoris Kopsacheilis, Hung-Chang Liao, Aaron Tikuisis, Andrea Vaccaro

Abstract: 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 equi… ▽ More 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. △ Less

Submitted 9 May, 2025; v1 submitted 14 June, 2024; originally announced June 2024.

Comments: 24 pages; minor edits. This version has been accepted on Transactions of the AMS

Tracially Complete C*-Algebras

Authors: José R. Carrión, Jorge Castillejos, Samuel Evington, James Gabe, Christopher Schafhauser, Aaron Tikuisis, Stuart White

Abstract: 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… ▽ More 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. △ Less

Submitted 15 May, 2024; v1 submitted 31 October, 2023; originally announced October 2023.

Comments: 138 pages; edits to made to results 6.3, 6.4, 6.15 and 6.16

MSC Class: 46L35

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

Authors: Dolapo Oyetunbi, Aaron Tikuisis

Abstract: 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. 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. △ Less

Submitted 30 January, 2024; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: Minor changes. Added Remark 4.4 and Proposition 5.3

MSC Class: 46L05(Primary); 46L85(Secondary)

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

Authors: José R. Carrión, James Gabe, Christopher Schafhauser, Aaron Tikuisis, Stuart White

Abstract: 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 abso… ▽ More 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. △ Less

Submitted 22 December, 2023; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: 132 pages; added some remarks on the classification of C*-dynamics at the end of section 9 and corrected some typos

MSC Class: 46L35

Polar decomposition in algebraic K-theory

Authors: Pawel Sarkowicz, Aaron Tikuisis

Abstract: 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. 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. △ Less

Submitted 20 June, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: submission version

MSC Class: 46L35 (Primary); 46L80 (Secondary)

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

Authors: Dominic Enders, André Schemaitat, Aaron Tikuisis

Abstract: 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, w… ▽ More 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. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Comments: Original paper (preprint version): arXiv:1505.00572

The nuclear dimension of extensions of commutative C*-algebras by the compact operators

Authors: Ruaridh Gardner, Aaron Tikuisis

Abstract: Generalizing the case of the Toeplitz algebra by Brake and Winter, we prove that the nuclear dimension of a C*-algebra extension of C(X) by the compact operators is equal to the dimension of X. Generalizing the case of the Toeplitz algebra by Brake and Winter, we prove that the nuclear dimension of a C*-algebra extension of C(X) by the compact operators is equal to the dimension of X. △ Less

Submitted 26 September, 2023; v1 submitted 9 February, 2022; originally announced February 2022.

Comments: 16 pages. To appear in JOT

Classifying maps into uniform tracial sequence algebras

Authors: Jorge Castillejos, Samuel Evington, Aaron Tikuisis, Stuart White

Abstract: We classify $^*$-homomorphisms from nuclear $C^*$-algebras into uniform tracial sequence algebras of nuclear $\mathcal Z$-stable $C^*$-algebras via tracial data. We classify $^*$-homomorphisms from nuclear $C^*$-algebras into uniform tracial sequence algebras of nuclear $\mathcal Z$-stable $C^*$-algebras via tracial data. △ Less

Submitted 11 July, 2023; v1 submitted 8 June, 2020; originally announced June 2020.

Comments: Appendix A added, containing a 2 page corrigendum fixing a small error in the proof of Theorem 2.6. The corrigendum will be published as a separate article

MSC Class: 46L35

Journal ref: Münster J. Math. 14 (2021), no. 2, 265-281

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

Authors: Hung-Chang Liao, Aaron Tikuisis

Abstract: 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… ▽ More 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. △ Less

Submitted 3 November, 2021; v1 submitted 27 January, 2020; originally announced January 2020.

Comments: Final submitted version, to appear in JFA. 24 pages

Uniform property Gamma

Authors: Jorge Castillejos, Samuel Evington, Aaron Tikuisis, Stuart White

Abstract: 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 un… ▽ More 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. △ Less

Submitted 23 September, 2020; v1 submitted 9 December, 2019; originally announced December 2019.

Comments: IMRN, to appear. Accepted version; 39 pages

Nuclear dimension of simple C*-algebras

Authors: Jorge Castillejos, Samuel Evington, Aaron Tikuisis, Stuart White, Wilhelm Winter

Abstract: 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. 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. △ Less

Submitted 24 September, 2020; v1 submitted 17 January, 2019; originally announced January 2019.

Comments: Invent. Math., to appear. Minor changes, accepted version

MSC Class: 46L05; 46L35

Journal ref: Invent. Math. 224(1), 245-290, 2021

Maximally unitarily mixed states on a C*-algebra

Authors: Robert Archbold, Leonel Robert, Aaron Tikuisis

Abstract: 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 trace… ▽ More 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. △ Less

Submitted 24 September, 2017; originally announced September 2017.

Comments: 22 pages

MSC Class: 46L30

Relative commutant pictures of Roe algebras

Authors: Jan Spakula, Aaron Tikuisis

Abstract: 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… ▽ More 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. △ Less

Submitted 24 November, 2018; v1 submitted 14 July, 2017; originally announced July 2017.

Comments: 35 pages. Minor changes. To appear in Comm. Math. Phys

Report number: SOAR-GMJT-02

Journal ref: Communications in Mathematical Physics, 365(3), 2019, 1019-1048

The Dixmier property and tracial states for C*-algebras

Authors: Robert Archbold, Leonel Robert, Aaron Tikuisis

Abstract: 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 Di… ▽ More 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. △ Less

Submitted 29 June, 2017; v1 submitted 24 November, 2016; originally announced November 2016.

Comments: 55 pages. Added Section 3.3 on explicit constants for the uniform Dixmier property, with some knock-on effects elsewhere (addition of Lemma 1.5, Theorem 1.6, Example 3.8, Lemma 3.9). Small corrections and clarifications made in a number of places. To appear in J. Funct. Anal

Report number: SOAR-GMJT-02

Rohklin dimension for C*-correspondences

Authors: N. P. Brown, A. Tikuisis, A. M. Zelenberg

Abstract: We extend the notion of Rokhlin dimension from topological dynamical systems to $C^*$-correspondences. We show that in the presence of finite Rokhlin dimension and a mild quasidiagonal-like condition (which, for example, is automatic for finitely generated projective correspondences), finite nuclear dimension passes from the scalar algebra to the associated Toeplitz--Pimsner and (hence) Cuntz--Pim… ▽ More We extend the notion of Rokhlin dimension from topological dynamical systems to $C^*$-correspondences. We show that in the presence of finite Rokhlin dimension and a mild quasidiagonal-like condition (which, for example, is automatic for finitely generated projective correspondences), finite nuclear dimension passes from the scalar algebra to the associated Toeplitz--Pimsner and (hence) Cuntz--Pimsner algebras. As a consequence we provide new examples of classifiable $C^*$-algebras: if $A$ is simple, unital, has finite nuclear dimension and satisfies the UCT, then for every finitely generated projective $\mathcal{H}$ with finite Rokhlin dimension, the associated Cuntz--Pimsner algebra $\mathcal{O} (\mathcal{H})$ is classifiable in the sense of Elliott's Program. △ Less

Submitted 10 August, 2016; originally announced August 2016.

Report number: SOAR-GMJT-02

Model theory of $\mathrm{C}^*$-algebras

Authors: I. Farah, B. Hart, M. Lupini, L. Robert, A. Tikuisis, A. Vignati, W. Winter

Abstract: We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic. We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic. △ Less

Submitted 13 April, 2018; v1 submitted 25 February, 2016; originally announced February 2016.

Comments: To appear in Memoirs of the Amer. Math. Soc

Report number: SOAR-GMJT-02 MSC Class: 03C98; 46L35

Quasidiagonality of nuclear C*-algebras

Authors: Aaron Tikuisis, Stuart White, Wilhelm Winter

Abstract: We prove that faithful traces on separable and nuclear C*-algebras in the UCT class are quasidiagonal. This has a number of consequences. Firstly, by results of many hands, the classification of unital, separable, simple and nuclear C*-algebras of finite nuclear dimension which satisfy the UCT is now complete. Secondly, our result links the finite to the general version of the Toms-Winter conjectu… ▽ More We prove that faithful traces on separable and nuclear C*-algebras in the UCT class are quasidiagonal. This has a number of consequences. Firstly, by results of many hands, the classification of unital, separable, simple and nuclear C*-algebras of finite nuclear dimension which satisfy the UCT is now complete. Secondly, our result links the finite to the general version of the Toms-Winter conjecture in the expected way and hence clarifies the relation between decomposition rank and nuclear dimension. Finally, we confirm the Rosenberg conjecture: discrete, amenable groups have quasidiagonal C*-algebras. △ Less

Submitted 3 August, 2016; v1 submitted 28 September, 2015; originally announced September 2015.

Comments: 48 pages; minor changes. Ann. of Math., to appear

Report number: SOAR-GMJT-01

Journal ref: Ann. of Math. (2), 185:229-284, 2017

Corrigendum to "Regularity for stably projectionless, simple C*-algebras"

Authors: Henning Petzka, Aaron Tikuisis

Abstract: An error is identified and corrected in the construction of a non-Z-stable, stably projectionless, simple, nuclear C*-algebra carried out in a paper by the second author. An error is identified and corrected in the construction of a non-Z-stable, stably projectionless, simple, nuclear C*-algebra carried out in a paper by the second author. △ Less

Submitted 10 August, 2015; originally announced August 2015.

Comments: 4 pages

Report number: SOAR-GMJT-01

Journal ref: Journal of Functional Analysis 270 (2016), 2376-2380

Covering dimension of C*-algebras and 2-coloured classification

Authors: Joan Bosa, Nathanial P. Brown, Yasuhiko Sato, Aaron Tikuisis, Stuart White, Wilhelm Winter

Abstract: We introduce the concept of finitely coloured equivalence for unital *-homomorphisms between C*-algebras, for which unitary equivalence is the 1-coloured case. We use this notion to classify *-homomorphisms from separable, unital, nuclear C*-algebras into ultrapowers of simple, unital, nuclear, Z-stable C*-algebras with compact extremal trace space up to 2-coloured equivalence by their behaviour o… ▽ More We introduce the concept of finitely coloured equivalence for unital *-homomorphisms between C*-algebras, for which unitary equivalence is the 1-coloured case. We use this notion to classify *-homomorphisms from separable, unital, nuclear C*-algebras into ultrapowers of simple, unital, nuclear, Z-stable C*-algebras with compact extremal trace space up to 2-coloured equivalence by their behaviour on traces; this is based on a 1-coloured classification theorem for certain order zero maps, also in terms of tracial data. As an application we calculate the nuclear dimension of non-AF, simple, separable, unital, nuclear, Z-stable C*-algebras with compact extremal trace space: it is 1. In the case that the extremal trace space also has finite topological covering dimension, this confirms the remaining open implication of the Toms-Winter conjecture. Inspired by homotopy-rigidity theorems in geometry and topology, we derive a "homotopy equivalence implies isomorphism" result for large classes of C*-algebras with finite nuclear dimension. △ Less

Submitted 24 May, 2016; v1 submitted 12 June, 2015; originally announced June 2015.

Comments: 93 Pages. Final accepted version. Mem. Amer. Math. Soc., to appear

Report number: SOAR-GMJT-01 MSC Class: 46L05; 46L35

Journal ref: Mem. Amer. Math. Soc. 257(1233), 2019

Decomposition rank of approximately subhomogeneous C*-algebras

Authors: George A. Elliott, Zhuang Niu, Luis Santiago, Aaron Tikuisis

Abstract: 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… ▽ More 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. △ Less

Submitted 7 February, 2020; v1 submitted 22 May, 2015; originally announced May 2015.

Comments: 86 pages. Fairly minor changes. To appear in Forum Math

Report number: SOAR-GMJT-01 MSC Class: 46L35; 46L05; 46L06; 46L85

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

Authors: Aaron Tikuisis

Abstract: It is determined exactly which classifiable C*-algebras have approximately inner flip. The answer includes a number of C*-algebras with torsion in their K-theory, and a number of C*-algebras that are self-absorbing but not strongly self-absorbing. It is determined exactly which classifiable C*-algebras have approximately inner flip. The answer includes a number of C*-algebras with torsion in their K-theory, and a number of C*-algebras that are self-absorbing but not strongly self-absorbing. △ Less

Submitted 13 May, 2015; v1 submitted 4 May, 2015; originally announced May 2015.

Comments: 22 pages. New proof of Proposition 4.1; a number of smaller changes (mostly fixed typos)

Report number: SOAR-GMJT-01 MSC Class: 46L05; 46L06; 46L35; 46L80; 46L40; 46L85

Journal ref: International Mathematics Research Notices 2015

Relative commutants of strongly self-absorbing C*-algebras

Authors: Ilijas Farah, Bradd Hart, Mikael Rørdam, Aaron Tikuisis

Abstract: The relative commutant $A'\cap A^{\mathcal{U}}$ of a strongly self-absorbing algebra $A$ is indistinguishable from its ultrapower $A^{\mathcal{U}}$. This applies both to the case when $A$ is the hyperfinite II$_1$ factor and to the case when it is a strongly self-absorbing C*-algebra. In the latter case we prove analogous results for $\ell_\infty(A)/c_0(A)$ and reduced powers corresponding to othe… ▽ More The relative commutant $A'\cap A^{\mathcal{U}}$ of a strongly self-absorbing algebra $A$ is indistinguishable from its ultrapower $A^{\mathcal{U}}$. This applies both to the case when $A$ is the hyperfinite II$_1$ factor and to the case when it is a strongly self-absorbing C*-algebra. In the latter case we prove analogous results for $\ell_\infty(A)/c_0(A)$ and reduced powers corresponding to other filters on $\bf N$. Examples of algebras with approximately inner flip and approximately inner half-flip are provided, showing the optimality of our results. We also prove that strongly self-absorbing algebras are smoothly classifiable, unlike the algebras with approximately inner half-flip. △ Less

Submitted 16 April, 2016; v1 submitted 18 February, 2015; originally announced February 2015.

Comments: Some minor corrections

Report number: CPH-SYM-DNRF92, SOAR-GMJT-01 MSC Class: 03C98; 46L05

High-dimensional Z-stable AH algebras

Authors: Aaron Tikuisis

Abstract: It is shown that a C*-algebra of the form C(X,U), where U is a UHF algebra, is not an inductive limit of subhomogeneous C*-algebras of topological dimension less than that of X. This is in sharp contrast to dimension-reduction phenomenon in (i) simple inductive limits of such algebras, where classification implies low-dimensional approximations, and (ii) when dimension is measured using decomposit… ▽ More It is shown that a C*-algebra of the form C(X,U), where U is a UHF algebra, is not an inductive limit of subhomogeneous C*-algebras of topological dimension less than that of X. This is in sharp contrast to dimension-reduction phenomenon in (i) simple inductive limits of such algebras, where classification implies low-dimensional approximations, and (ii) when dimension is measured using decomposition rank, as the author and Winter proved that dr(C(X,U)) $\leq$ 2. △ Less

Submitted 6 January, 2015; v1 submitted 3 June, 2014; originally announced June 2014.

Comments: 14 pages. Improved the main result to handle subhomogeneous approximations

Report number: SOAR-GMJT-01 MSC Class: 46L36; 46L05

Journal ref: Journal of Functional Analysis 269 (2015), pp. 2171-2186

Nuclear dimension and Z-stability of non-simple C*-algebras

Authors: Leonel Robert, Aaron Tikuisis

Abstract: We investigate the interplay of the following regularity properties for non-simple C*-algebras: finite nuclear dimension, Z-stability, and algebraic regularity in the Cuntz semigroup. We show that finite nuclear dimension implies algebraic regularity in the Cuntz semigroup, provided that known type I obstructions are avoided. We demonstrate how finite nuclear dimension can be used to study the str… ▽ More We investigate the interplay of the following regularity properties for non-simple C*-algebras: finite nuclear dimension, Z-stability, and algebraic regularity in the Cuntz semigroup. We show that finite nuclear dimension implies algebraic regularity in the Cuntz semigroup, provided that known type I obstructions are avoided. We demonstrate how finite nuclear dimension can be used to study the structure of the central sequence algebra, by factorizing the identity map on the central sequence algebra, in a manner resembling the factorization arising in the definition of nuclear dimension. Results about the central sequence algebra are used to attack the conjecture that finite nuclear dimension implies Z-stability, for sufficiently non-type I, separable C*-algebras. We prove this conjecture in the following cases: (i) the C*-algebra has no purely infinite subquotients and its primitive ideal space has a basis of compact open sets, (ii) the C*-algebra has no purely infinite quotients and its primitive ideal space is Hausdorff. In particular, this covers C*-algebras with finite decomposition rank and real rank zero. Our results hold more generally for C*-algebras with locally finite nuclear dimension which are (M,N)-pure (a regularity condition of the Cuntz semigroup). △ Less

Submitted 4 June, 2014; v1 submitted 13 August, 2013; originally announced August 2013.

Comments: Rewrote abstract and introduction. Added a couple of results. Main results unchanged

Report number: SOAR-GMJT-01 MSC Class: 46L35

Journal ref: Transactions of the American Mathematical Society. 369, Number 7, July 2017, Pages 4631-4670

A simple C*-algebra with finite nuclear dimension which is not Z-stable

Authors: Ilijas Farah, Dan Hathaway, Takeshi Katsura, Aaron Tikuisis

Abstract: We construct a simple C*-algebra with nuclear dimension zero that is not isomorphic to its tensor product with the Jiang-Su algebra Z, and a hyperfinite II_1 factor not isomorphic to its tensor product with the separable hyperfinite II_1 factor R. The proofs use a weakening of the Continuum Hypothesis. We construct a simple C*-algebra with nuclear dimension zero that is not isomorphic to its tensor product with the Jiang-Su algebra Z, and a hyperfinite II_1 factor not isomorphic to its tensor product with the separable hyperfinite II_1 factor R. The proofs use a weakening of the Continuum Hypothesis. △ Less

Submitted 21 January, 2013; originally announced January 2013.

Comments: 14 pages

Report number: SOAR-GMJT-01

Journal ref: Munster J. Math 7 (2014) 515-528

Nuclear dimension, Z-stability, and algebraic simplicity for stably projectionless C*-algebras

Authors: Aaron Tikuisis

Abstract: The main result here is that a simple separable C*-algebra is Z-stable (where Z denotes the Jiang-Su algebra) if (i) it has finite nuclear dimension or (ii) it is approximately subhomogeneous with slow dimension growth. This generalizes the main results of [Toms, "K-theoretic rigidity and slow dimension growth"; Winter, "Nuclear dimension and Z-stability of pure C*-algebras"] to the nonunital sett… ▽ More The main result here is that a simple separable C*-algebra is Z-stable (where Z denotes the Jiang-Su algebra) if (i) it has finite nuclear dimension or (ii) it is approximately subhomogeneous with slow dimension growth. This generalizes the main results of [Toms, "K-theoretic rigidity and slow dimension growth"; Winter, "Nuclear dimension and Z-stability of pure C*-algebras"] to the nonunital setting. As a consequence, finite nuclear dimension implies Z-stability even in the case of a separable C*-algebra with finitely many ideals. Algebraic simplicity is established as a fruitful weakening of being simple and unital, and the proof of the main result makes heavy use of this concept. △ Less

Submitted 29 May, 2013; v1 submitted 8 October, 2012; originally announced October 2012.

Comments: Fixed typos, etc., and added corollary regarding finitely many ideals. 37 pages. To appear in Mathematische Annalen. The published version will differ

Report number: SOAR-GMJT-01 MSC Class: 46L35; 46L80; 46L05; 47L40; 46L85

Journal ref: Mathematische Annalen, Volume 358, Number 3-4 (2014) pp. 729-778

On the structure of the Cuntz semigroup in (possibly) nonunital C*-algebras

Authors: Aaron Tikuisis, Andrew Toms

Abstract: We examine the ranks of operators in semi-finite C*-algebras as measured by their densely defined lower semicontinuous traces. We first prove that a unital simple C*-algebra whose extreme tracial boundary is nonempty and finite contains positive operators of every possible rank, independent of the property of strict comparison. We then turn to nonunital simple algebras and establish criteria that… ▽ More We examine the ranks of operators in semi-finite C*-algebras as measured by their densely defined lower semicontinuous traces. We first prove that a unital simple C*-algebra whose extreme tracial boundary is nonempty and finite contains positive operators of every possible rank, independent of the property of strict comparison. We then turn to nonunital simple algebras and establish criteria that imply that the Cuntz semigroup is recovered functorially from the Murray-von Neumann semigroup and the space of densely defined lower semicontinuous traces. Finally, we prove that these criteria are satisfied by not-necessarily-unital approximately subhomogeneous algebras of slow dimension growth. △ Less

Submitted 8 October, 2012; originally announced October 2012.

Comments: 13 pages

MSC Class: 46L35; 46L80; 46L05; 47L40; 46L85

Journal ref: Canadian Mathematical Bulletin, Volume 58, Number 2 (2015), pp. 402-414

Decomposition rank of Z-stable C*-algebras

Authors: Aaron Tikuisis, Wilhelm Winter

Abstract: We show that C*-algebras of the form C(X) \otimes Z, where X is compact and Hausdorff and Z denotes the Jiang--Su algebra, have decomposition rank at most 2. This amounts to a dimension reduction result for C*-bundles with sufficiently regular fibres. It establishes an important case of a conjecture on the fine structure of nuclear C*-algebras of Toms and the second named author, even in a nonsimp… ▽ More We show that C*-algebras of the form C(X) \otimes Z, where X is compact and Hausdorff and Z denotes the Jiang--Su algebra, have decomposition rank at most 2. This amounts to a dimension reduction result for C*-bundles with sufficiently regular fibres. It establishes an important case of a conjecture on the fine structure of nuclear C*-algebras of Toms and the second named author, even in a nonsimple setting, and gives evidence that the topological dimension of noncommutative spaces is governed by fibres rather than base spaces. △ Less

Submitted 4 October, 2012; originally announced October 2012.

Comments: 21 pages

Report number: SOAR-GMJT-01 MSC Class: 46L35; 46L85

Journal ref: Analysis and PDE, Volume 7, Number 3 (2014), pp. 673-700

Finite dimensional ordered vector spaces with Riesz interpolation and Effros-Shen's unimodularity conjecture

Authors: Aaron Tikuisis

Abstract: It is shown that, for any field F \subseteq R, any ordered vector space structure of F^n with Riesz interpolation is given by an inductive limit of sequence with finite stages (F^n,\F_{>= 0}^n) (where n does not change). This relates to a conjecture of Effros and Shen, since disproven, which is given by the same statement, except with F replaced by the integers, Z. Indeed, it shows that although E… ▽ More It is shown that, for any field F \subseteq R, any ordered vector space structure of F^n with Riesz interpolation is given by an inductive limit of sequence with finite stages (F^n,\F_{>= 0}^n) (where n does not change). This relates to a conjecture of Effros and Shen, since disproven, which is given by the same statement, except with F replaced by the integers, Z. Indeed, it shows that although Effros and Shen's conjecture is false, it is true after tensoring with Q. △ Less

Submitted 31 October, 2011; originally announced October 2011.

Comments: 11 pages

MSC Class: 46A40; 06B75; 06F20

Regularity for stably projectionless, simple C*-algebras

Authors: Aaron Tikuisis

Abstract: This paper explores the following regularity properties and their relationships for simple, not-necessarily-unital C*-algebras: (i) Jiang-Su stability, (ii) Unperforation in the Cuntz semigroup, and (iii) slow dimension growth (applying only in the case that the C*-algebra is approximately subhomogeneous). An example is given of a simple, separable, nuclear, stably projectionless C*-algebr… ▽ More This paper explores the following regularity properties and their relationships for simple, not-necessarily-unital C*-algebras: (i) Jiang-Su stability, (ii) Unperforation in the Cuntz semigroup, and (iii) slow dimension growth (applying only in the case that the C*-algebra is approximately subhomogeneous). An example is given of a simple, separable, nuclear, stably projectionless C*-algebra whose Cuntz semigroup is not almost unperforated. This example is in fact approximately subhomogeneous. It is also shown that, in contrast to this example, when an approximately subhomogeneous simple C*-algebra has slow dimension growth, its Cuntz semigroup is necessarily almost unperforated. △ Less

Submitted 17 July, 2012; v1 submitted 6 October, 2011; originally announced October 2011.

Comments: 26 pages. Minor edits have been made

MSC Class: 46L35; 46L80; 47L40; 46L85

Journal ref: Journal of Functional Analysis 263 (2012), pp. 1382-1407

A classification of finite rank dimension groups by their representations in ordered real vector spaces

Authors: Greg Maloney, Aaron Tikuisis

Abstract: This paper systematically studies finite rank dimension groups, as well as finite dimensional ordered real vector spaces with Riesz interpolation. We provide an explicit description and classification of finite rank dimension groups, in the following sense. We show that for each n, there are (up to isomorphism) finitely many ordered real vector spaces of dimension n that have Riesz interpolation,… ▽ More This paper systematically studies finite rank dimension groups, as well as finite dimensional ordered real vector spaces with Riesz interpolation. We provide an explicit description and classification of finite rank dimension groups, in the following sense. We show that for each n, there are (up to isomorphism) finitely many ordered real vector spaces of dimension n that have Riesz interpolation, and we give an explicit model for each of them in terms of combinatorial data. We show that every finite rank dimension group can be realized as a subgroup of a finite dimensional ordered real vector space with Riesz interpolation via a canonical embedding. We then characterize which of the subgroups of a finite dimensional ordered real vector space have Riesz interpolation (and are therefore dimension groups). △ Less

Submitted 1 October, 2010; originally announced October 2010.

Comments: 30 pages

Journal ref: Journal of Functional Analysis. Volume 260, Issue 11 (2011) pp. 3404-3428

An algebraic approach to the radius of comparison

Authors: Bruce Blackadar, Leonel Robert, Aaron P. Tikuisis, Andrew S. Toms, Wilhelm Winter

Abstract: The radius of comparison is an invariant for unital C*-algebras which extends the theory of covering dimension to noncommutative spaces. We extend its definition to general C*-algebras, and give an algebraic (as opposed to functional-theoretic) reformulation. This yields new permanence properties for the radius of comparison which strengthen its analogy with covering dimension for commutative spac… ▽ More The radius of comparison is an invariant for unital C*-algebras which extends the theory of covering dimension to noncommutative spaces. We extend its definition to general C*-algebras, and give an algebraic (as opposed to functional-theoretic) reformulation. This yields new permanence properties for the radius of comparison which strengthen its analogy with covering dimension for commutative spaces. We then give several applications of these results. New examples of C*-algebras with finite radius of comparison are given, and the question of when the Cuntz classes of finitely generated Hilbert modules form a hereditary subset of the Cuntz semigroup is addressed. Most interestingly, perhaps, we treat the question of when a full hereditary subalgebra B of a stable C*-algebra A is itself stable, giving a characterization in terms of the radius of comparison. We also use the radius of comparison to quantify the least n for which a C*-algebra D without bounded 2-quasitraces or unital quotients has the property that M_n(D) is stable. △ Less

Submitted 24 August, 2010; originally announced August 2010.

Comments: 19 pages

The Cuntz semigroup of continuous functions into certain simple C*-algebras

Authors: Aaron Tikuisis

Abstract: This paper contains computations of the Cuntz semigroup of separable C*-algebras of the form C_0(X,A), where A is a unital, simple, Z-stable ASH algebra. The computations describe the Cuntz semigroup in terms of Murray-von Neumann semigroups of C(K,A) for compact subsets K of X. In particular, the computation shows that the Elliott invariant is functorially equivalent to the invariant given by the… ▽ More This paper contains computations of the Cuntz semigroup of separable C*-algebras of the form C_0(X,A), where A is a unital, simple, Z-stable ASH algebra. The computations describe the Cuntz semigroup in terms of Murray-von Neumann semigroups of C(K,A) for compact subsets K of X. In particular, the computation shows that the Elliott invariant is functorially equivalent to the invariant given by the Cuntz semigroup of C(T,A). These results are a contribution towards the goal of using the Cuntz semigroup in the classification of well-behaved non-simple C*-algebras. △ Less

Submitted 17 December, 2010; v1 submitted 17 July, 2010; originally announced July 2010.

Comments: 37 pages. To appear in International Journal of Mathematics

MSC Class: 46L35; 47L40

Journal ref: International Journal of Mathematics, Volume 22, Issue 8 (2011) pp. 1051-1087

Hilbert C*-modules over a commutative C*-algebra

Authors: Leonel Robert, Aaron Tikuisis

Abstract: This paper studies the problems of embedding and isomorphism for countably generated Hilbert C*-modules over commutative C*-algebras. When the fibre dimensions differ sufficiently, relative to the dimension of the spectrum, we show that there is an embedding between the modules. This result continues to hold over recursive subhomogeneous C*-algebras. For certain modules, including all modules over… ▽ More This paper studies the problems of embedding and isomorphism for countably generated Hilbert C*-modules over commutative C*-algebras. When the fibre dimensions differ sufficiently, relative to the dimension of the spectrum, we show that there is an embedding between the modules. This result continues to hold over recursive subhomogeneous C*-algebras. For certain modules, including all modules over $C_0(X)$ when $dim X \leq 3$, isomorphism and embedding are determined by the restrictions to the sets where the fibre dimensions are constant. These considerations yield results for the Cuntz semigroup, including a computation of the Cuntz semigroup for $C_0(X)$ when $dim X \leq 3$, in terms of cohomological data about $X$. △ Less

Submitted 17 July, 2010; v1 submitted 15 October, 2009; originally announced October 2009.

Comments: To appear in Proc. London Math. Soc. The published version differs

MSC Class: 46L08; 46L05

Journal ref: Proceedings of the London Mathematical Society. Volume 102 (2011) pp. 229-256