Deitmar, Anton; Spilioti, Polyxeni; Gon, Yasuro A prime geodesic theorem for \(\mathrm{SL}_3(\mathbb{Z})\). (English) Zbl 1461.11083 Forum Math. 31, No. 5, 1179-1201 (2019). The Lie group \(G=\mathrm{SL}_3(\mathbb{R})\) is of split rank 2, with associated symmetric space \(X=G/K\) for \(K=\mathrm{SO}_3(\mathbb{R})\). The discrete subgroup \(\Gamma=\mathrm{SL}_3(\mathbb{Z})\) is a cofinite, non cocompact, lattice in \(G\) and determines the locally symmetric space \(X_\Gamma=\Gamma\backslash X\). The authors recall some properties of the closed geodesics in \(X_\Gamma\), geodesics whose asymptotic length distribution is at the heart of this paper.Every geodesic loop is represented by a conjugacy class \([\gamma]\) in \(\mathrm{SL}_3(\mathbb{Z})\): up to a conjugacy in \(\mathrm{SL}_3(\mathbb{R})\), the element \(\gamma\) is reduced to an element \(a_\gamma\) in a Weyl chamber of the split Cartan subgroup \(A_{\mathrm{sp}}\) of diagonal matrices with positive entries: only regular closed geodesics will be considered, i.e., the element \(a_\gamma\) is in the interior of the Weyl chamber. A closed geodesic \([\gamma]\) lies in a unique 2d flat sub-manifold of \(\Gamma\backslash X\) with volume \(\lambda_\gamma\). Let us denote \(\mathcal{E}_\Gamma(T_1,T_2)\) the set of geodesic loops in \(\Gamma\backslash X\) such that \(a_\gamma^{\alpha-\beta}\le T_1\) and \(a_\gamma^{2\beta}\le T_2\) where \(\alpha,\beta\) are well chosen root vectors. Then the first prime geodesic theorem [PGT] of this paper proves the asymptotics \[ \sum_{[\gamma]\in\mathcal{E}_\Gamma(T_1,T_2)} \lambda_\gamma \sim T_1T_2,\quad T_1,T_2\to +\infty. \] Similar PGT have been proved in the rank one cofinite case along the asymptotic \(\sum_{\gamma:\lambda_\gamma\le T}\lambda_\gamma\sim T\). In higher rank, the cocompact case has been established by the first author in [Geom. Funct. Anal. 14, No. 6, 1238–1266 (2004; Zbl 1102.11028)] and [Rocky Mt. J. Math. 39, No. 2, 485–507 (2009; Zbl 1271.22007)]. This asymptotic gives the first PGT in rank at least 2 for a non-cocompact lattice.Using the correspondence between geodesics in \(X_\Gamma\) and orders \(\mathcal{O}\) in real cubic extensions (whose real embedding \((\rho_1,\rho_2,\rho_3)\) is ordered such that \(|\rho_1(\lambda)|\ge|\rho_2(\lambda)|\ge|\rho_3(\lambda)|\)), the authors prove an arithmetic PGT for orders of totally real cubic extensions, as a corollary of the first PGT: \[ \sum_{\substack{\mathcal{O}\in O_{\mathbb R}(3), \lambda\in\mathcal{O}^{\times}/\pm1, \\ \lambda\in \mathcal{C}_{\mathcal{O}}(T_1,T_2)}} R(\mathcal{O})h(\mathcal{O}) \sim \frac{16}{\sqrt3}T_1T_2,\quad T_1,T_2\to +\infty \] Here the order \(\mathcal O\) has class number \(h(\mathcal{O})\) and regulator \(R(\mathcal{O})\) while the unit \(\lambda\in\mathcal{O}^{\times}\) lies in the set \(\mathcal{C}_{\mathcal{O}}(T_1,T_2)=\{\lambda\in\mathcal{O}|1<\alpha_1(\lambda)\le T_1, 1<\alpha_2(\lambda)\le T_2\}\), where \(\alpha_1\) is defined by \(\alpha_1=|\rho_1\rho_3\rho_2^{-2}|\) and \(\alpha_2\) by \(\alpha_2=|\rho_2\rho_3^{-1}|^2\). We can say that this asymptotic is in a arithmetic PGT family, whose first example is due to P. Sarnak [J. Number Theory 15, 229–247 (1982; Zbl 0499.10021)]: \(\sum_{R(\mathcal O)\le T}h(\mathcal O)\sim e^{2T}/(2T)\), the sum ranging over all real quadratic orders.The proof of the first PGT is based on the Arthur’s adelic trace formula applied to pseudo-cusp forms. The introduction of these specific test functions null on the walls of the Weyl chambers causes the cancellation of some parabolic orbital integrals in the geometric side of the trace formula. The adapted trace formula introduces a Dirichlet series meromorphic function in 2 variables, an analytic continuation of the logarithmic derivative of a Selberg-like zeta function. Application of a well designed tauberian Wiener-Ikehara theorem in 2 variables gives the final argument.The authors conjecture that similar results hold for other (non arithmetic) lattices in \(\mathrm{SL}_3(\mathbb Z)\) or lattices of \(G\) of split rank at least 3 (which has very peculiar cancellations). They introduce a conjectural Lefschetz formula which would permit a proof for the general case. The valid cases of cocompact lattices (as done by the first author in [J. Fixed Point Theory Appl. 2, No. 1, 1–40 (2007; Zbl 1205.58014)]) or lattices in split rank one (e.g., \(\mathrm{SL}_2(\mathbb{Z})\), case checked in the last section of this paper) support the conjecture. Reviewer: Laurent Guillopé (Nantes) MSC: 11F72 Spectral theory; trace formulas (e.g., that of Selberg) 11R29 Class numbers, class groups, discriminants 11F70 Representation-theoretic methods; automorphic representations over local and global fields 11R16 Cubic and quartic extensions 11R27 Units and factorization 11R47 Other analytic theory 53C35 Differential geometry of symmetric spaces 11R80 Totally real fields 22E40 Discrete subgroups of Lie groups Keywords:closed geodesic; Weyl chamber; orbital integrals; Arthur’s trace formula; Wiener-Ikehara theorem; class number; regulator Citations:Zbl 1102.11028; Zbl 1271.22007; Zbl 0499.10021; Zbl 1205.58014 PDFBibTeX XMLCite \textit{A. Deitmar} et al., Forum Math. 31, No. 5, 1179--1201 (2019; Zbl 1461.11083) Full Text: DOI arXiv References: [1] J. Arthur, A Paley-Wiener theorem for real reductive groups, Acta Math. 150 (1983), no. 1-2, 1-89.; Arthur, J., A Paley-Wiener theorem for real reductive groups, Acta Math., 150, 1-2, 1-89 (1983) · Zbl 0514.22006 [2] R. Ayoub, An Introduction to the Analytic Theory of Numbers, Math. Surveys 10, American Mathematical Society, Providence, 1963.; Ayoub, R., An Introduction to the Analytic Theory of Numbers (1963) · Zbl 0128.04303 [3] A. Borel and N. Wallach, Continuous Cohomology, Discrete Subgroups, and Representations of Reductive Groups, 2nd ed., Math. Surveys Monogr. 67, American Mathematical Society, Providence, 2000.; Borel, A.; Wallach, N., Continuous Cohomology, Discrete Subgroups, and Representations of Reductive Groups (2000) · Zbl 0980.22015 [4] J. Cheeger, M. Gromov and M. Taylor, Finite propagation speed, kernel estimates for functions of the Laplace operator, and the geometry of complete Riemannian manifolds, J. Differential Geom. 17 (1982), no. 1, 15-53.; Cheeger, J.; Gromov, M.; Taylor, M., Finite propagation speed, kernel estimates for functions of the Laplace operator, and the geometry of complete Riemannian manifolds, J. Differential Geom., 17, 1, 15-53 (1982) · Zbl 0493.53035 [5] L. Clozel and P. Delorme, Le théorème de Paley-Wiener invariant pour les groupes de Lie réductifs, Invent. Math. 77 (1984), no. 3, 427-453.; Clozel, L.; Delorme, P., Le théorème de Paley-Wiener invariant pour les groupes de Lie réductifs, Invent. Math., 77, 3, 427-453 (1984) · Zbl 0584.22005 [6] A. Deitmar, A prime geodesic theorem for higher rank spaces, Geom. Funct. Anal. 14 (2004), no. 6, 1238-1266.; Deitmar, A., A prime geodesic theorem for higher rank spaces, Geom. Funct. Anal., 14, 6, 1238-1266 (2004) · Zbl 1102.11028 [7] A. Deitmar, A higher rank Lefschetz formula, J. Fixed Point Theory Appl. 2 (2007), no. 1, 1-40.; Deitmar, A., A higher rank Lefschetz formula, J. Fixed Point Theory Appl., 2, 1, 1-40 (2007) · Zbl 1205.58014 [8] A. Deitmar, A prime geodesic theorem for higher rank. II. Singular geodesics, Rocky Mountain J. Math. 39 (2009), no. 2, 485-507.; Deitmar, A., A prime geodesic theorem for higher rank. II. Singular geodesics, Rocky Mountain J. Math., 39, 2, 485-507 (2009) · Zbl 1271.22007 [9] A. Deitmar and S. Echterhoff, Principles of Harmonic Analysis, 2nd ed., Universitext, Springer, Cham, 2014.; Deitmar, A.; Echterhoff, S., Principles of Harmonic Analysis (2014) · Zbl 1300.43001 [10] A. Deitmar and W. Hoffmann, Asymptotics of class numbers, Invent. Math. 160 (2005), no. 3, 647-675.; Deitmar, A.; Hoffmann, W., Asymptotics of class numbers, Invent. Math., 160, 3, 647-675 (2005) · Zbl 1102.11060 [11] A. Deitmar and R. McCallum, A prime geodesic theorem for higher rank buildings, Kodai Math. J. 41 (2018), no. 2, 440-455.; Deitmar, A.; McCallum, R., A prime geodesic theorem for higher rank buildings, Kodai Math. J., 41, 2, 440-455 (2018) · Zbl 1417.11090 [12] A. Deitmar and M. Pavey, Class numbers of orders in complex quartic fields, Math. Ann. 338 (2007), no. 3, 767-799.; Deitmar, A.; Pavey, M., Class numbers of orders in complex quartic fields, Math. Ann., 338, 3, 767-799 (2007) · Zbl 1183.11066 [13] A. Deitmar and M. Pavey, A prime geodesic theorem for \(\rm SL}_4\), Ann. Global Anal. Geom. 33 (2008), no. 2, 161-205.; Deitmar, A.; Pavey, M., A prime geodesic theorem for \(\rm SL}_4\), Ann. Global Anal. Geom., 33, 2, 161-205 (2008) · Zbl 1141.11054 [14] I. Efrat, Determinants of Laplacians on surfaces of finite volume, Comm. Math. Phys. 119 (1988), no. 3, 443-451.; Efrat, I., Determinants of Laplacians on surfaces of finite volume, Comm. Math. Phys., 119, 3, 443-451 (1988) · Zbl 0661.10038 [15] T. Finis, E. Lapid and W. Müller, On the spectral side of Arthur’s trace formula—absolute convergence, Ann. of Math. (2) 174 (2011), no. 1, 173-195.; Finis, T.; Lapid, E.; Müller, W., On the spectral side of Arthur’s trace formula—absolute convergence, Ann. of Math. (2), 174, 1, 173-195 (2011) · Zbl 1242.11036 [16] Y. Gon, Differences of the Selberg trace formula and Selberg type zeta functions for Hilbert modular surfaces, J. Number Theory 147 (2015), 396-453.; Gon, Y., Differences of the Selberg trace formula and Selberg type zeta functions for Hilbert modular surfaces, J. Number Theory, 147, 396-453 (2015) · Zbl 1380.11073 [17] Harish-Chandra, Discrete series for semisimple Lie groups. II. Explicit determination of the characters, Acta Math. 116 (1966), 1-111.; Harish-Chandra, Discrete series for semisimple Lie groups. II. Explicit determination of the characters, Acta Math., 116, 1-111 (1966) · Zbl 0199.20102 [18] Harish-Chandra, Harmonic analysis on real reductive groups. I. The theory of the constant term, J. Funct. Anal. 19 (1975), 104-204.; Harish-Chandra, Harmonic analysis on real reductive groups. I. The theory of the constant term, J. Funct. Anal., 19, 104-204 (1975) · Zbl 0315.43002 [19] Harish-Chandra, Supertempered distributions on real reductive groups, Studies in Applied Mathematics, Adv. Math. Suppl. Stud. 8, Academic Press, New York (1983), 139-153.; Harish-Chandra, Supertempered distributions on real reductive groups, Studies in Applied Mathematics, 139-153 (1983) · Zbl 0512.22005 [20] H. Hecht and W. A. Schmid, Characters, asymptotics and n-homology of Harish-Chandra modules, Acta Math. 151 (1983), no. 1-2, 49-151.; Hecht, H.; Schmid, W. A., Characters, asymptotics and n-homology of Harish-Chandra modules, Acta Math., 151, 1-2, 49-151 (1983) · Zbl 0523.22013 [21] D. A. Hejhal, The Selberg Trace Formula for \(\text{PSL}(2,\mathbf{R})\). Vol. 2, Lecture Notes in Math. 1001, Springer, Berlin, 1983.; Hejhal, D. A., The Selberg Trace Formula for \(\text{PSL}(2,\mathbf{R})\). Vol. 2 (1983) [22] H. Iwaniec, Introduction to the Spectral Theory of Automorphic Forms, Revista Matemática Iberoamericana, Madrid, 1995.; Iwaniec, H., Introduction to the Spectral Theory of Automorphic Forms (1995) · Zbl 0847.11028 [23] A. W. Knapp, Representation Theory of Semisimple Groups. An Overview Based on Examples, Princeton Landmarks Math., Princeton University, Princeton, 2001.; Knapp, A. W., Representation Theory of Semisimple Groups. An Overview Based on Examples (2001) · Zbl 0993.22001 [24] E. P. van den Ban and H. Schlichtkrull, Paley-Wiener spaces for real reductive Lie groups, Indag. Math. (N. S.) 16 (2005), no. 3-4, 321-349.; van den Ban, E. P.; Schlichtkrull, H., Paley-Wiener spaces for real reductive Lie groups, Indag. Math. (N. S.), 16, 3-4, 321-349 (2005) · Zbl 1107.22009 [25] E. P. van den Ban and S. Souaifi, A comparison of Paley-Wiener theorems for real reductive Lie groups, J. Reine Angew. Math. 695 (2014), 99-149.; van den Ban, E. P.; Souaifi, S., A comparison of Paley-Wiener theorems for real reductive Lie groups, J. Reine Angew. Math., 695, 99-149 (2014) · Zbl 1304.22009 [26] N. R. Wallach, Real Reductive Groups. I, Pure Appl. Math. 132, Academic Press, Boston, 1988.; Wallach, N. R., Real Reductive Groups. I (1988) · Zbl 0666.22002 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.