-
Diagonal comparison of ample C*-diagonals
Authors:
Grigoris Kopsacheilis,
Wilhelm Winter
Abstract:
We introduce diagonal comparison, a regularity property of diagonal pairs where the sub-C*-algebra has totally disconnected spectrum, and establish its equivalence with the concurrence of strict comparison of the ambient C*-algebra and dynamical comparison of the underlying dynamics induced by the partial action of the normalisers. As an application, we show that for diagonal pairs arising from pr…
▽ More
We introduce diagonal comparison, a regularity property of diagonal pairs where the sub-C*-algebra has totally disconnected spectrum, and establish its equivalence with the concurrence of strict comparison of the ambient C*-algebra and dynamical comparison of the underlying dynamics induced by the partial action of the normalisers. As an application, we show that for diagonal pairs arising from principal minimal transformation groupoids with totally disconnected unit space, diagonal comparison is equivalent to tracial Z-stability of the pair and that it is implied by finite diagonal dimension.
In-between, we show that any projection of the diagonal sub-C*-algebra can be uniformly tracially divided, and explore a property of conditional expectations onto abelian sub-C*-algebras, namely containment of every positive element in the hereditary subalgebra generated by its conditional expectation. We show that the expectation associated to a C*-pair with finite diagonal dimension is always hereditary in that sense, and we give an example where this property does not occur.
△ Less
Submitted 17 April, 2025; v1 submitted 8 October, 2024;
originally announced October 2024.
-
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.
-
Essential freeness, allostery and $\mathcal{Z}$-stability of crossed products
Authors:
Eusebio Gardella,
Shirly Geffen,
Rafaela Gesing,
Grigoris Kopsacheilis,
Petr Naryshkin
Abstract:
We explore classifiability of crossed products of actions of countable amenable groups on compact, metrizable spaces. It is completely understood when such crossed products are simple, separable, unital, nuclear and satisfy the UCT: these properties are equivalent to the combination of minimality and topological freeness, and the challenge in this context is establishing $\mathcal{Z}$-stability. W…
▽ More
We explore classifiability of crossed products of actions of countable amenable groups on compact, metrizable spaces. It is completely understood when such crossed products are simple, separable, unital, nuclear and satisfy the UCT: these properties are equivalent to the combination of minimality and topological freeness, and the challenge in this context is establishing $\mathcal{Z}$-stability. While most of the existing results in this direction assume freeness of the action, there exist numerous natural examples of minimal, topologically free (but not free) actions whose crossed products are classifiable.
In this work, we take the first steps towards a systematic study of $\mathcal{Z}$-stability for crossed products beyond the free case, extending the available machinery around the small boundary property and almost finiteness to a more general setting. Among others, for actions of groups of polynomial growth with the small boundary property, we show that minimality and topological freeness are not just necessary, but also \emph{sufficient} conditions for classifiability of the crossed product.
Our most general results apply to actions that are essentially free, a property weaker than freeness but stronger than topological freeness in the minimal setting. Very recently, M. Joseph produced the first examples of minimal actions of amenable groups which are topologically free and not essentially free. While the current machinery does not give any information for his examples, we develop ad-hoc methods to show that his actions have classifiable crossed products.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Bauer simplices and the small boundary property
Authors:
David Kerr,
Grigoris Kopsacheilis,
Spyridon Petrakos
Abstract:
We show that, for every minimal action of a countably infinite discrete group on a compact metrizable space, if the extreme boundary of the simplex of invariant Borel probability measures is closed and has finite covering dimension then the action has the small boundary property.
We show that, for every minimal action of a countably infinite discrete group on a compact metrizable space, if the extreme boundary of the simplex of invariant Borel probability measures is closed and has finite covering dimension then the action has the small boundary property.
△ Less
Submitted 30 August, 2024; v1 submitted 6 April, 2024;
originally announced April 2024.
