Abstract
We consider a countable discrete group \(G\) acting ergodicaly and a.e. freely, by measure-preserving transformations, on an infinite measure space \((\mathcal X,\nu )\) with \(\sigma \)-finite measure \(\nu \). Let \(\Gamma \subseteq G\) be an almost normal subgroup with fundamental domain \(F\subseteq {\mathcal X}\) of finite measure. Let \(\mathcal R_G\) be the countable measurable equivalence relation on \(\mathcal X\) determined by the orbits of \(G\). Let \(\mathcal R_G| F\) be its restriction to \(F\). We find an explicit presentation, by generators and relations, for the von Neumann algebra associated, by the Feldman-Moore construction, to the relation \(\mathcal R_G|_F\). The generators of the relation \(\mathcal R_G|_F\) are a set of transformations of the quotient space \(F\cong {\mathcal X}/ \Gamma \), in a one to one correspondence with the cosets of \(\Gamma \) in \(G\). We prove that the composition formula for these transformations is an averaged version, with coefficients in \(L^\infty (F,\nu )\), of the Hecke algebra product formula. In the situation \(G = \mathop {\mathrm{PGL}}_2(\mathbb Z[\frac{1}{p}])\), \(\Gamma =\mathop {\mathrm{PSL}}\nolimits _2(\mathbb Z)\), \(p\ge 3\) prime number, the relation \(\mathcal R_G|_F\) is the equivalence relation associated to a free, measure-preserving action of a free group on \((p+1)/2\) generators on \(F\). We use the coset representations of the transformations generating \(\mathcal R_G|_F\) to find a canonical treeing.
Similar content being viewed by others
References
Adams, S.: Trees and amenable equivalence relations. Ergod. Theory Dyn. Syst. 10, 1–14 (1990)
Bost, J.-B., Connes, A.: Hecke algebras, type III factors and phase transitions with spontaneous symmetry breaking in number theory. Sel. Math. (N.S.) 1, 411–457 (1995)
Deligne, P.: La conjecture de Weil. I. Inst. Hautes Études Sci. Publ. Math. 43, 273–307 (1974)
Feldman, J., Moore, C.: Ergodic equivalence relations, cohomology, and von Neumann algebras. II. Trans. Am. Math. Soc. 234, 325–359 (1977)
Furman, A.: Orbit equivalence rigidity. Ann. Math. 150, 1083–1108 (1999)
Gaboriau, D.: Invariants \(L^2\) de relations d’equivalence et de groupes. Publ. Math. Inst. Hautes Études Sci. 95, 93–150 (2002)
Hall, R.W.: \(C^\ast \)-Hecke algebras. Ph. D. Thesis, Penn State Univ. (1999)
Hecke, E.: Lectures on Dirichlet Series, Modular Functions and Quadratic Forms. E Vandenhoeck & Ruprecht, Göttingen (1983)
Hjorth, G.: A lemma for cost attained. Ann. Pure Appl. Logic 143, 87–102 (2006)
Kechris, A.S.: Unitary representations and modular actions. J. Math. Sci. (N. Y.) 140, 398–425 (2007)
Kechris, A.S., Kechris, B.D.: Lecture Notes in Mathematics, 1852. Topics in orbit equivalence. Springer, Berlin (2004)
Krieg, A.: Hecke algebras. Mem. Am. Math. Soc. 87(435) (1990)
Kuratowski, K.: Topologie. Warsaw-Livoue, (1933)
Laca, M., Larsen, N.S., Neshveyev, S.: Phase transition in the Connes-Marcolli GL\(_2\)-system. J. Noncommutative Geom. 1, 397–430 (2007)
Levitt, G.: On the cost of generating an equivalence relation. Ergod. Theory Dynam. Syst. 15, 1173–1181 (1995)
Lubotzky, A., Phillips, R., Sarnak, P.: Hecke operators and distributing points on S\(^2\) II. Commun. Pure Appl. Math. 40, 401–420 (1987)
Palma, R.: Crossed products by Hecke pairs I: \(\ast \)-algebraic theory. Preprint arXiv:1212.5756 (2012), Accessed 22 Sept 2014
Petersson, H.: Über eine Metrisierung der automorphen Formen und die Theorie der Poincaréschen Reihen. Math. Ann. 117, 453–537 (1940)
Pytlik, T., Szwarc, R.: An analytic family of uniformly bounded representations of free groups. Acta Math. 157, 287–309 (1986)
Rădulescu, F.: Type \({II}_{1}\) von Neumann algebra representations of Hecke operators on Maass forms and the Ramanujan–Petersson conjectures. Preprint arXiv:0802.3548 (2008). Accessed 22 Sept 2014
Rădulescu, F.: Conditional expectations, traces, angles between spaces and representations of the Hecke algebras. Lib. Math. (N.S.) 33, 65–95 (2013)
Sarnak, P.: Cambridge Tracts in Mathematics, 99. Some applications of modular forms. Cambridge University Press, Cambridge (1990)
Serre, J.-P.: Arbres, amalgames, SL\(_2\). Astérisque, No. 46. Societé Mathématique de France, Paris, (1977)
Tzanev, K.: Hecke C\(^\ast \)-algebras and amenability. J. Oper. Theory 50, 169–178 (2003)
Wu, W.: A note on the crossed product \(\cal {R}(\cal {A},\alpha )\) associated with \(PSL_2(\mathbb{R})\). Sci. China Ser. A: Math. 51, 2081–2088 (2008)
Acknowledgments
The author is deeply indebted to the anonymous referee of a first version of this paper for various comments and for making the author aware of the reference [1]. The author is also grateful to Florin Boca and to the second anonymous referee of the second version of this paper for very useful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Palle Jorgensen.
Florin Rădulescu is a member of the Institute of Mathematics “S. Stoilow” of the Romanian Academy.
Florin Rădulescu is supported in part by PRIN-MIUR and by a Grant of the Romanian National Authority for Scientific Research, project number PN-II-ID-PCE-2012-4-0201.
Rights and permissions
About this article
Cite this article
Rădulescu, F. On the Countable Measure-Preserving Relation Induced on a Homogeneous Quotient by the Action of a Discrete Group. Complex Anal. Oper. Theory 9, 1633–1662 (2015). https://doi.org/10.1007/s11785-014-0426-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11785-014-0426-7