Flat cycles in the homology of SL_m R / SO(m)

DOI10.4171/CMH/366MaRDI QIDQ894378zbMATH OpenOpenAlexFDO

Authors Grigori Avramidi, Nguyen-Phan T. Tam

Publication date 30 November 2015

Published in Commentarii Mathematici Helvetici (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.5016

zbMATH Keywords

homology, totally geodesic torilocally symmetric spacesnonpositive curvature

Mathematics Subject Classification ID

Cohomology of arithmetic groups (11F75) Linear incidence geometry (51A99) Differential geometry of symmetric spaces (53C35) Discontinuous groups of transformations (57S30) Homology and homotopy of topological groups and related structures (57T99)

Abstract: In this paper we show that flat (m-1)-dimensional tori give nontrivial rational homology cycles in congruence covers of the locally symmetric space SL(m,Z) SL(m,R)/SO(m). We also show that the dimension of the subspace of H_{m-1}(Gamma SL(m,R)/SO(m);Q) spanned by flat (m-1)-tori grows as one goes up in congruence covers.

Review text

Locally symmetric spaces contain maximal totally geodesic (compact) tori [\textit{G. Prasad} and \textit{M. S. Raghunathan}, Ann. Math. (2) 96, 296--317 (1972; Zbl 0245.22013)]. The authors show that these are homologically nontrivial in quotients of \(H=\mathrm{SL}_m(\mathbb R)/\mathrm{SO}(m)\). Thus let \(X\subset H\) be a flat of dimension \(m-1\) whose image in \(M=\mathrm{SL}_m(\mathbb Z)\backslash H\) is compact. Then there is a finite cover \(M'\) of \(M\) so that the image \(X'\) of \(X\) in \(M'\) represents a nontrivial rational homology class. This is proved by finding a closed submanifold of \(M'\) with nontrivial intersection number with \(X'\). The homology classes of these tori span arbitrary large subspaces of \(H_{m-1}(M',\mathbb Q)\). Let \(\Gamma\subset\mathrm{SL}_m(\mathbb Z)\) be a torsion free subgroup of finite index and denote by \(\Gamma(p^n)=\Gamma\cap\mathrm{ker}[\mathrm{SL}_m(\mathbb Z)\to\mathrm{SL}_m(\mathbb Z/p^n)]\) the \(p^n\)-congruence subgroup. The authors show that for every integer \(N\) there is \(n_N\) such that for every \(n>n_N\), the flat tori in \(\Gamma(p^n)\backslash H\) span an at least \(N\)-dimensional subspace of \(H_{m-1}(\Gamma(p^n)\backslash H,\mathbb Q)\).

Recommendations

• Geometric cycles, classical groups and related cohomology classes for arithmetic groups
• Quelques remarques sur les actions analytiques des réseaux des groupes de Lie de rang supérieur
• Geometric cycles and bounded cohomology for a cocompact lattice in \(\mathrm{SL}_n(\mathbb{R})\)
• Maximal surface group representations in isometry groups of classical Hermitian symmetric spaces
• Quasitoric manifolds homeomorphic to homogeneous spaces
• Fundamental groups of toroidal compactifications
• Characterization of homogeneous torus manifolds
• Manifolds with infinitely many actions of an arithmetic group
• Metrics and compactifications of Teichmüller spaces of flat tori
• Collapsing of quotient spaces of \(\text{SO} (n)\backslash \text{SL} (n,\mathbb{R})\) at infinity

Cited in

(5)

• Geometric cycles and characteristic classes of manifold bundles (with an appendix by M. Krannich)
• Geometric construction of homology classes in Riemannian manifolds covered by products of hyperbolic planes
• Geometric cycles and bounded cohomology for a cocompact lattice in \(\mathrm{SL}_n(\mathbb{R})\)
• scientific article; zbMATH DE number 6695058 (Why is no real title available?)
• Growth of k-dimensional systoles in congruence coverings

This page was built for publication: Flat cycles in the homology of \(\Gamma \setminus SL_m \mathbb{R} / SO(m)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q894378)