Abstract
We say that two free p.m.p. actions of countable groups are Shannon orbit equivalent if there is an orbit equivalence between them whose associated cocycle partitions have finite Shannon entropy. We show that if the acting groups are sofic and each has a w-normal amenable subgroup which is neither locally finite nor virtually cyclic then Shannon orbit equivalence implies that the actions have the same maximum sofic entropy. This extends a result of Austin beyond the finitely generated amenable setting and has the consequence that two Bernoulli actions of a group with the properties in question are Shannon orbit equivalent if and only if they are measure conjugate. Our arguments apply more generally to actions satisfying a sparse connectivity condition which we call property SC, and yield an entropy inequality under the assumption that one of the actions has this property.
Similar content being viewed by others
Notes
This bifurcation is also reflected in the two logically independent ways in which the ideas of amenability and nonamenability have been adapted to operator algebras, on the one hand through the notions of finiteness and pure infiniteness and on the other through injectivity and finite-dimensional approximation. All of this traces back to the basic Dedekindian alternative for defining what it means for a set to be finite, either as the property that every injection from the set to itself is surjective, or by the existence of a bijection between the set and \(\{ 1,\dots , n\}\) for some positive integer n.
Again this is consistent with operator algebra theory, where amenability has become synonymous with certain kinds of finite-dimensional approximation.
References
Abért, M., Weiss, B.: Bernoulli actions are weakly contained in any free action. Ergodic Theory Dynam. Systems 33, 323–333 (2013)
Austin, T.: Behaviour of entropy under bounded and integrable orbit equivalence. Geom. Funct. Anal. 26, 1483–1525 (2016)
Bekka, B., de la Harpe, P., Valette, A.: Kazhdan’s Property (T). New Mathematical Monographs, 11. Cambridge University Press, Cambridge (2008)
Belinskaya, R.M.: Partitions of Lebesgue space in trajectories defined by ergodic automorphisms. Functional Anal. Appl. 2, 190–199 (1968)
Bezuglyi, S.I., Golodets, V.Ya.: Hyperfinite and II\(_1\) actions for nonamenable groups. J. Funct. Anal. 40, 30–44 (1981)
Bowen, L.: Measure conjugacy invariants for actions of countable sofic groups. J. Amer. Math. Soc. 23, 217–245 (2010)
Bowen, L.: Orbit equivalence, coinduced actions and free products. Groups Geom. Dyn. 5, 1–15 (2011)
Bowen, L.: Stable orbit equivalence of Bernoulli shifts over free groups. Groups Geom. Dyn. 5, 17–38 (2011)
Bowen, L.: Every countably infinite group is almost Ornstein. In: Dynamical Systems and Group Actions, 67–78, Contemp. Math., 567, Amer. Math. Soc., Providence, RI (2012)
Bowen, L.: Sofic entropy and amenable groups. Ergodic Theory Dynam. Syst. 32, 427–466 (2012)
de Santiago, R., Hayes, B., Hoff, D. J., Sinclair, T.: Maximal rigid subalgebras of deformations and \(L^2\)-cohomology. To appear in Anal. PDE
Epstein, I.: Some Results on Orbit Inequivalent Actions of Non-amenable Groups. Ph.D. thesis, University of California, Los Angeles, 55p (2008)
Fieldsteel, A., Friedman, N.A.: Restricted orbit changes of ergodic \(\mathbf{Z}^d\)-actions to achieve mixing and completely positive entropy. Ergodic Theory Dynam. Systems 6, 505–528 (1986)
Furman, A.: Orbit equivalence rigidity. Ann. Math. 150, 1083–1108 (1999)
Gaboriau, D.: Coût des relations d’équivalence et des groupes. Invent. Math. 139, 41–98 (2000)
Gaboriau, D., Popa, S.: An uncountable family of nonorbit equivalent actions of \(\mathbb{F}_n\). J. Amer. Math. Soc. 18, 547–559 (2005)
Hayes, B.: Fuglede-Kadison determinant and sofic entropy. Geom. Funct. Anal. 26, 520–606 (2016)
Hjorth, G.: A converse to Dye’s theorem. Trans. Amer. Math. Soc. 357, 3083–3103 (2005)
Ioana, A.: Orbit inequivalent actions for groups containing a copy of \(\mathbb{F}_2\). Invent. Math. 185, 55–73 (2011)
Kechris, A.S: Global Aspects of Ergodic Group Actions. Mathematical Surveys and Monographs, 160. American Mathematical Society, Providence, RI (2010)
Kechris, A.S., Miller, B.D.: Topics in Orbit Equivalence. Lecture Notes in Mathematics, vol. 1852. Springer-Verlag, Berlin (2004)
Kechris, A.S., Solecki, S., Todorcevic, S.: Borel chromatic numbers. Adv. Math. 141, 1–44 (1999)
Kerr, D., Li, H.: Bernoulli actions and infinite entropy. Groups Geom. Dyn. 5, 663–672 (2011)
Kerr, D., Li, H.: Soficity, amenability, and dynamical entropy. Amer. J. Math. 135, 721–761 (2013)
Kerr, D., Li, H.: Ergodic Theory: Independence and Dichotomies. Springer, Cham (2016)
Kida, Y.: Orbit equivalence rigidity for ergodic actions of the mapping class group. Geom. Dedicata 131, 99–109 (2008)
Lück, W.: \(L^2\)-Invariants: Theory and Applications to Geometry and\(K\)-Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, vol. 44. Springer-Verlag, Berlin (2002)
Mann, A.: How Groups Grow. London Mathematical Society Lecture Note Series, 395. Cambridge University Press, Cambridge (2012)
Monod, N., Shalom, Y.: Orbit equivalence rigidity and bounded cohomology. Ann. Math. 164, 825–878 (2006)
Ornstein, D.S., Weiss, B.: Entropy and isomorphism theorems for actions of amenable groups. J. Analyse Math. 48, 1–141 (1987)
Peterson, J., Sinclair, T.: On cocycle superrigidity for Gaussian actions. Ergodic Theory Dynam. Syst. 32, 249–272 (2012)
Popa, S.: Cocycle and orbit equivalence superrigidity for malleable actions of w-rigid groups. Invent. Math. 170, 243–295 (2007)
Popa, S.: On the superrigidity of malleable actions with spectral gap. J. Amer. Math. Soc. 21, 981–1000 (2008)
Seward, B.: Bernoulli shifts with bases of equal entropy are isomorphic. arXiv:1805.08279
Stepin, A.M.: Bernoulli shifts on groups. Dokl. Akad. Nauk SSSR 223, 300–302 (1975)
Tucker-Drob, R.: Invariant means and the structure of inner amenable groups. Duke Math. J. 169, 2571–2628 (2020)
Vershik, A.M.: Approximation in Measure Theory. Ph.D. thesis, Leningrad University, 1973. In Russian
Vershik, A.M.: Theory of decreasing sequences of measurable partitions. St. Petersburg Math. J. 6, 705–761 (1995)
Zimmer, R.J.: Strong rigidity for ergodic actions of semisimple Lie groups. Ann. Math. 112, 511–529 (1980)
Acknowledgements
The first author was partially supported by NSF grant DMS-1800633 and was affiliated with Texas A&M University while this work was done. Preliminary stages were carried out during his six-month stay in 2017-2018 at the ENS de Lyon, during which time he held ENS and CNRS visiting professorships and was supported by Labex MILYON/ANR-10-LABX-0070. He thanks Damien Gaboriau and Mikael de la Salle at the ENS for their generous hospitality. The second author was partially supported by NSF grants DMS-1600717 and DMS-1900746. We thank Robin Tucker-Drob for comments. We also thank one of the referees for pointing out that our original version of Lemma 3.9 is valid in a stronger purely Borel form and follows as such from results of [22], and that this lemma additionally yields an elementary proof of Lemma 3.30.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Andreas Thom.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Kerr, D., Li, H. Entropy, Shannon orbit equivalence, and sparse connectivity. Math. Ann. 380, 1497–1562 (2021). https://doi.org/10.1007/s00208-021-02190-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-021-02190-x