Bauer simplices and the small boundary property

David Kerr,Grigoris Kopsacheilis,Spyridon Petrakos

2024-08-30

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.

Dynamical Systems,Operator Algebras

What problem does this paper attempt to address?

On the small boundary property, $\mathcal Z$-stability, and Bauer simplexes

George A. Elliott,Zhuang Niu

2024-06-14

Abstract:Let $X$ be a compact metrizable space, and let $\Delta$ be a closed set of Borel probability measures on $X$. We study the small boundary property of the pair $(X, \Delta)$. In particular, it is shown that $(X, \Delta)$ has the small boundary property if it has a restricted version of property Gamma. As an application, it is shown that, if $A$ is the crossed product C*-algebra $\mathrm{C}(X)\rtimes\mathbb Z^d$, where $(X, \mathbb Z^d)$ is a free minimal topological dynamical system, or if $A$ is an AH algebra with diagonal maps, then, $A$ is $\mathcal Z$-stable if the set of extreme tracial states is compact, regardless of its dimension.

Operator Algebras,Dynamical Systems
The small boundary property in products

David Kerr,Hanfeng Li

2024-06-18

Abstract:For a continuous action $G\curvearrowright X$ of a countable group on a compact metrizable space we show that the following are equivalent: (i) the action $G\curvearrowright X$ has the small boundary property and no finite orbits, (ii) for every continuous action $H\curvearrowright Y$ of a countable group on a compact metrizable space, the product action $G\times H\curvearrowright X\times Y$ has the small boundary property. In particular, (ii) is automatic when $G$ is infinite and the action $G\curvearrowright X$ is minimal and has the small boundary property. The argument relies on a small boundary version of the Urysohn lemma.

Dynamical Systems,Operator Algebras
Uniform property $Γ$ and the small boundary property

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

2024-06-21

Abstract:We prove that, for an action $\alpha \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 $\Gamma$ of the Cartan subalgebra $(C(X) \subseteq C(X) \rtimes_\alpha G)$. The reverse implication has been demonstrated by Kerr and Szabó for free actions, from which we obtain the equivalence of the two conditions in the free case. We moreover show that, if $\alpha$ is free and minimal, then almost finiteness of $\alpha$ is implied by tracial $\mathcal{Z}$-stability of the subalgebra $(C(X) \subseteq C(X) \rtimes_\alpha 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 $\alpha \colon G \curvearrowright X$ and $\beta \colon H \curvearrowright Y$ are free actions and $\alpha$ has the small boundary property, then $\alpha \times \beta \colon G \times H \curvearrowright X \times Y$ has the small boundary property. An analogous permanence property is obtained for almost finiteness in case $\alpha$ and $\beta$ are free minimal actions.

Operator Algebras,Dynamical Systems
$C^*$-simplicity and boundary actions of discrete quantum groups

Benjamin Anderson-Sackaney,Roland Vergnioux

2024-11-08

Abstract:We introduce and investigate several quantum group dynamical notions for the purpose of studying $C^*$-simplicity of discrete quantum groups via the theory of boundary actions. In particular we define a quantum analogue of Powers' Averaging Property (PAP) and a quantum analogue of strongly faithful actions. We show that our quantum PAP implies $C^*$-simplicity and the uniqueness of $\sigma$-KMS states, and that the existence of a strongly $C^*$-faithful quantum boundary action also implies $C^*$-simplicity and, in the unimodular case, the quantum PAP. We illustrate these results in the case of the unitary free quantum groups $\mathbb{F} U_F$ by showing that they satisfy the quantum PAP and that they act strongly $C^*$-faithfully on their quantum Gromov boundary. Moreover we prove that this particular action of $\mathbb{F} U_F$ is a quantum boundary action.

Operator Algebras,Quantum Algebra
Minimal dynamical systems on prime C*-algebras

Eberhard Kirchberg,N. Christopher Phillips

2023-12-07

Abstract:We give a number of examples of exotic actions of locally compact groups on separable nuclear C*-algebras. In particular, we give examples of the following: (1) Minimal effective actions of ${\mathbb{Z}}$ and $F_n$ on unital nonsimple prime AF algebras. (2) For any second countable noncompact locally compact group, a minimal effective action on a separable nuclear nonsimple prime C*-algebra. (3) For any amenable second countable noncompact locally compact group, a minimal effective action on a separable nuclear nonsimple prime C*-algebra (unital when the group is ${\mathbb{Z}}$ or ${\mathbb{R}}$) such that the crossed product is $K \otimes {\mathcal{O}}_2$ (${\mathcal{O}}_2$ when the group is ${\mathbb{Z}}$). (4) For any second countable locally compact abelian group which is not discrete, an action on $K \otimes {\mathcal{O}}_2$ such that the crossed product is a nonsimple prime C*-algebra. In most of these situations, we can specify the primitive ideal space of the C*-algebra (of the crossed product in the last item) within a class of spaces.

Operator Algebras
Hyperfiniteness and Borel asymptotic dimension of boundary actions of hyperbolic groups

Petr Naryshkin,Andrea Vaccaro

2023-06-03

Abstract:We give a new short proof of the theorem due to Marquis and Sabok, which states that the orbit equivalence relation induced by the action of a finitely generated hyperbolic group on its Gromov boundary is hyperfinite. Our methods permit moreover to show that every such action has finite Borel asymptotic dimension.

Group Theory,Dynamical Systems,Logic
Non-C*-simple groups admit non-free actions on their Poisson boundaries

Andrei Alpeev

2024-09-04

Abstract:It is a classical result of Kaimanovich and Vershik and independently of Rosenblatt that a non-amenable group admits a non-degenerate symmetric measure such that the Poisson boundary is trivial. Most if not all examples to date of non-free actions of countable groups on their Poisson boundaries had the stabilizers sitting inside the amenable radical. We show that every countable non-C*-simple group admits a symmetric measure of full support with non-trivial stabilizers. For a class of non-C*-simple groups with trivial amenable radical, which is non-empty as was shown by le Boudec, this gives a wealth of examples with non-normal stabilizers.

Group Theory,Dynamical Systems,Operator Algebras,Probability
Minimal compact group actions on C$^*$-algebras with simple fixed point algebras

Masaki Izumi

2024-05-06

Abstract:The notion of qausi-product actions of a compact group on a C$^*$-algebra was introduced by Bratteli et al. in their attempt to seek an equivariant analogue of Glimm's characterization of non-type I C$^*$-algebras. We show that a faithful minimal action of a second countable compact group on a separable C$^*$-algebra is quasi-product whenever its fixed point algebra is simple. This was previously known only for compact abelian groups and for profinite groups. Our proof relies on a subfactor technique applied to finite index inclusions of simple C$^*$-algebras in the purely infinite case, and also uses ergodic actions of compact groups in the general case. As an application, we show that if moreover the fixed point algebra is a Kirchberg algebra, such an action is always isometrically shift-absorbing, and hence is classifiable by the equivariant KK-theory due to a recent result of Gabe-Szabó.

Operator Algebras
Countable Spaces, Realcompactness, And The Pseudointersection Number

CLAUDIO AGOSTINI,ANDREA MEDINI,LYUBOMYR ZDOMSKYY

DOI: https://doi.org/10.1017/jsl.2024.52

2024-10-30

Journal of Symbolic Logic

Abstract:All spaces are assumed to be Tychonoff. Given a realcompact space X, we denote by the smallest infinite cardinal such that X is homeomorphic to a closed subspace of . Our main result shows that, given a cardinal , the following conditions are equivalent: • There exists a countable crowded space X such that . • . In fact, in the case , every countable dense subspace of provides such an example. This will follow from our analysis of the pseudocharacter of countable subsets of products of first-countable spaces. Finally, we show that a scattered space of weight has pseudocharacter at most in any compactification. This will allow us to calculate for an arbitrary (that is, not necessarily crowded) countable space X.

mathematics,logic
The Unique stationary boundary property

Eli Glasner

2024-05-05

Abstract:Let $G$ be a locally compact group and $\mu$ an admissible probability measure on $G$. Let $(B,\nu)$ be the universal topological Poisson $\mu$-boundary of $(G,\mu)$ and $\Pi_s(G)$ the universal minimal strongly proximal $G$-flow. This note is inspired by a recent result of Hartman and Kalantar. We show that for a locally compact second countable group $G$ the following conditions are equivalent: (i) the measure $\nu$ is the unique $\mu$-stationary measure on $B$, (ii) $(B,G) \cong (\Pi_s(G),G)$.

Dynamical Systems,Group Theory,Probability
Ultralimits, Amenable actions and Entropy

Elad Sayag

2024-05-11

Abstract:In this paper we show that the minimal value of Furstenberg entropy (along all measures, not restricting to stationary ones) for any amenable action is the same as for the action of the group on itself. Using the boundary amenability result of Adams, this allows us to compute the minimal value of the entropy over all the measure classes in the boundary of the free group. Similar results are proved for the action of a hyperbolic group on its Gromov boundary. Our main tool is an ultralimit realization of the Poisson boundary of a time dependent matrix-valued random walk on the group. This extends and refines the results and tools of previous paper of the author with Y. Shalom.

Group Theory
Boundary actions by higher-rank lattices: Classification and embedding in low dimensions, local rigidity, smooth factors

Aaron Brown,Federico Rodriguez Hertz,Zhiren Wang

2024-06-02

Abstract:We study actions by lattices in higher-rank (semi)simple Lie groups on compact manifolds. By classifying certain measures invariant under a related higher-rank abelian action (the diagonal action on the suspension space) we deduce a number of new rigidity results related to standard projective actions (i.e. boundary actions) by such groups. Specifically, in low dimensions we show all actions (with infinite image) are conjugate to boundary actions. We also show standard boundary actions (e.g. projective actions on generalized flag varieties) are local rigid and classify all smooth actions that are topological factors of such actions. Finally, for volume-preserving actions in low dimensions (with infinite image) we provide a mechanism to detect the presence of "blow-ups" for the action by studying measures that are $P$-invariant but not $G$-invariant for the suspension action.

Dynamical Systems
The non-coexistence of distality and expansivity for group actions on infinite compacta

Bingbing Liang,Enhui Shi,Zhiwen Xie,Hui Xu

DOI: https://doi.org/10.48550/arXiv.2110.00341

2021-10-01

Dynamical Systems

Abstract:Let $X$ be a compact metric space and $G$ a finitely generated group. Suppose $\phi:G\rightarrow {\rm Homeo}(X)$ is a continuous action. We show that if $\phi$ is both distal and expansive, then $X$ must be finite. A counterexample is constructed to show the necessity of finite generation condition on $G$. This is also a supplement to a result due to Auslander-Glasner-Weiss which says that every distal action by a finitely generated group on a zero-dimensional compactum is equicontinuous.
Relatively hyperbolic groups with planar boundaries

G. Christopher Hruska,Genevieve S. Walsh

2024-07-02

Abstract:In this article, we prove a version of Martin and Skora's conjecture that convergence groups on the $2$-sphere are covered by Kleinian groups. Given a relatively hyperbolic group pair $(G,\mathcal{P})$ with planar boundary and no Sierpinski carpet or cut points in its boundary, and with $G$ one ended and virtually having no $2$-torsion, we show that $G$ is virtually Kleinian. We also give applications to various versions of the Cannon conjecture and to convergence groups acting on $S^2$.

Group Theory,Geometric Topology
Hyperfiniteness of boundary actions of acylindrically hyperbolic groups

Koichi Oyakawa

2024-09-15

Abstract:We prove that for any countable acylidrically hyperbolic group $G$, there exists a generating set $S$ of $G$ such that the corresponding Cayley graph $\Gamma(G,S)$ is hyperbolic, $|\partial\Gamma(G,X)|>2$, the natural action of $G$ on $\Gamma(G,S)$ is acylindrical, and the natural action of $G$ on the Gromov boundary $\partial\Gamma(G,S)$ is hyperfinite. This result broadens a class of groups that admit a non-elementary acylindrical action on a hyperbolic space with hyperfinite boundary action.

Group Theory,Logic
The boundary of universal discrete quantum groups, exactness and factoriality

Stefaan Vaes,Roland Vergnioux

DOI: https://doi.org/10.48550/arXiv.math/0509706

2006-07-07

Abstract:We study the C*-algebras and von Neumann algebras associated with the universal discrete quantum groups. They give rise to full prime factors and simple exact C*-algebras. The main tool in our work is the study of an amenable boundary action, yielding the Akemann-Ostrand property. Finally, this boundary can be identified with the Martin or the Poisson boundary of a quantum random walk.

Operator Algebras,Quantum Algebra
Infinite dimensional sequential compactness: Sequential compactness based on barriers

Cesar Corral,Osvaldo Guzman,Carlos Lopez-Callejas,Pourya Memarpanahi,Paul Szeptycki,Stevo Todorcevic

2023-12-18

Abstract:We introduce a generalization of sequential compactness using barriers on $\omega$ extending naturally the notion introduced in [W. Kubiś and P. Szeptycki, On a topological Ramsey theorem, \emph{Canad. Math. Bull.}, 66 (2023), {156}--{165}]. We improve results from [C. Corral and O. Guzm{á}n and C. L{ó}pez-Callejas, High dimensional sequential compactness, \emph{Fund. Math.}] by building spaces that are $\mathcal{B}$-sequentially compact but no $\mathcal{C}$-sequentially compact when the barriers $\mathcal{B}$ and $\mathcal{C}$ satisfy certain rank assumption which turns out to be equivalent to a Katětov-order assumption. Such examples are constructed under the assumption $\mathfrak{b} =\mathfrak{c}$. We also exhibit some classes of spaces that are $\mathcal{B}$-sequentially compact for every barrier $\mathcal{B}$, including some classical classes of compact spaces from functional analysis, and as a byproduct we obtain some results on angelic spaces. Finally we introduce and compute some cardinal invariants naturally associated to barriers.

General Topology,Combinatorics,Logic
Bounded geometry for Kleinian groups

Yair N. Minsky

DOI: https://doi.org/10.1007/s002220100163

IF: 3.128

2001-10-01

Inventiones mathematicae

Abstract:Abstract. We show that a Kleinian surface group, or hyperbolic 3-manifold with a cusp-preserving homotopy-equivalence to a surface, has bounded geometry if and only if there is an upper bound on an associated collection of coefficients that depend only on its end invariants. Bounded geometry is a positive lower bound on the lengths of closed geodesics. When the surface is a once-punctured torus, the coefficients coincide with the continued fraction coefficients associated to the ending laminations.

mathematics
Simplices in large sets and directional expansion in ergodic actions

Michael Björklund,Alexander Fish

2024-01-08

Abstract:In this paper we study ergodic $\mathbb{Z}^r$-actions and investigate expansion properties along cyclic subgroups. We show that under some spectral conditions there are always directions which expand significantly a given measurable set with positive measure. Among other things, we use this result to prove that the set of volumes of all $r$-simplices with vertices in a set with positive upper density must contain an infinite arithmetic progression, thus showing a discrete density analogue of a classical result by Graham.

Dynamical Systems,Combinatorics

Bauer simplices and the small boundary property

On the small boundary property, $\mathcal Z$-stability, and Bauer simplexes

The small boundary property in products

Uniform property $Γ$ and the small boundary property

$C^*$-simplicity and boundary actions of discrete quantum groups

Minimal dynamical systems on prime C*-algebras

Hyperfiniteness and Borel asymptotic dimension of boundary actions of hyperbolic groups

Non-C*-simple groups admit non-free actions on their Poisson boundaries

Minimal compact group actions on C$^*$-algebras with simple fixed point algebras

Countable Spaces, Realcompactness, And The Pseudointersection Number

The Unique stationary boundary property

Ultralimits, Amenable actions and Entropy

Boundary actions by higher-rank lattices: Classification and embedding in low dimensions, local rigidity, smooth factors

The non-coexistence of distality and expansivity for group actions on infinite compacta

Relatively hyperbolic groups with planar boundaries

Hyperfiniteness of boundary actions of acylindrically hyperbolic groups

The boundary of universal discrete quantum groups, exactness and factoriality

Infinite dimensional sequential compactness: Sequential compactness based on barriers

Bounded geometry for Kleinian groups

Simplices in large sets and directional expansion in ergodic actions