The analytic torsion and its asymptotic behaviour for sequences of hyperbolic manifolds of finite volume (Q457599): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(X\) be an hyperbolic manifold of odd dimension \(d=2m+1\), which is non-compact of finite volume. Then there are defined certain spectral invariants of \(X\), the analytic torsions \(T_X(\tau)\) where \(\tau\) is a representation of \(\mathrm{SO}(d,1)\), inducing in a natural way a euclidean vector bundle \(E_\tau\) over \(X\) (their definition involves the spectra of the Laplace operators on forms on \(X\) with coefficients in \(E_\tau\)). The main result in the present paper establishes, for certain sequences of finite coverings \(X_i\to X\), the exponential growth in the degree of the analytic torsions \(T_{X_i}(\tau)\), with a rate depending only on \(d\) and the volume of \(X\). Namely, under hypotheses on \(X_i\) and \(\tau\) to be precised later, the authors prove that \[ \lim_{i\to+\infty} \frac{\log T_{X_i}(\tau)}{\deg(X_i\to X)} = t_{\widetilde X}^{(2)}(\tau)\cdot\mathrm{vol}(X) \qquad\qquad (\ast) \] where \(t_{\widetilde X}^{(2)}(\tau)\) is a nonzero constant (positive when \(m\) is even and negative if it is odd). The motivation from this result comes from work of \textit{N. Bergeron} and \textit{A. Venkatesh} [J. Inst. Math. Jussieu 12, No. 2, 391--447 (2013; Zbl 1266.22013)]. A similar result was worked out in the preprint \url{arxiv:1212.3161} of the reviewer, which was stated there only in three dimensions and is significantly weaker in some aspects. Let us explain the hypotheses under which the conclusion \((\ast)\) above holds. They are of two kinds: first one must suppose that \(\tau\circ\theta\not=\tau\) where \(\theta\) is the Cartan involution of \(\mathrm{SO}(d,1)\). This first hypothesis is of a spectral nature, as explained below. The other hypotheses concern the geometry of the \(X_i\): the authors assume that the systole of \(X_i\) (smallest length of a closed geodesic on \(X_i\)) goes to infinity and that the cusps are uniform (meaning that their Euclidean basis is a torus and that the set of all these tori when \(i\) goes to infinity stays in a compact set in the moduli space). There is a third hypothesis on the cusps which is (non-trivially) redundant with the two previous ones. We also remark that the hypothesis on the systole is unnecessary strong: indeed, the authors prove that \((\ast)\) holds also for one specific sequence \(X_i\) not satisfying it (Theorem 1.5), and their proof actually should work in the setting of a sequence of finite covers which is only Benjamini--Schramm convergent to the hyperbolic space (assuming the cusps are uniform in the sense above), a notion introduced in [\textit{M. Abert} et al., C. R., Math., Acad. Sci. Paris 349, No. 15--16, 831--835 (2011; Zbl 1223.53039)]. The proof of \((\ast)\) divides into two parts according to the two sides of Selberg's trace formula: this is natural since the definition of analytic torsions uses the spectral side to deal with the heat kernel at large times, and the geometric side to deal with the small times. The part of the proof that concerns the latter contains no real difficulties under the very strong hypotheses that the authors make on the sequence \(X_i\). The main contribution of the present paper thus lies in the study of the heat kernels of arbitrary covers of \(X\). The hypothesis on \(\tau\) ensures that the Laplace operators with values in \(E_\tau\) have a uniform spectral gap, hence that no complications can come from small eigenvalues: this already arises in the compact case studied in the work of Bergeron and Venkatesh. In the noncompact case there is an additional part of the spectral side of the trace formula which causes substantial difficulties, namely the integrals involving intertwining operators. The authors manage to control the intertwining operators well enough to overcome this problem, using techniques developped by the first author in [Ann. Math. (2) 130, No. 3, 473--529 (1989; Zbl 0701.11019)]. | |||
Property / review text: Let \(X\) be an hyperbolic manifold of odd dimension \(d=2m+1\), which is non-compact of finite volume. Then there are defined certain spectral invariants of \(X\), the analytic torsions \(T_X(\tau)\) where \(\tau\) is a representation of \(\mathrm{SO}(d,1)\), inducing in a natural way a euclidean vector bundle \(E_\tau\) over \(X\) (their definition involves the spectra of the Laplace operators on forms on \(X\) with coefficients in \(E_\tau\)). The main result in the present paper establishes, for certain sequences of finite coverings \(X_i\to X\), the exponential growth in the degree of the analytic torsions \(T_{X_i}(\tau)\), with a rate depending only on \(d\) and the volume of \(X\). Namely, under hypotheses on \(X_i\) and \(\tau\) to be precised later, the authors prove that \[ \lim_{i\to+\infty} \frac{\log T_{X_i}(\tau)}{\deg(X_i\to X)} = t_{\widetilde X}^{(2)}(\tau)\cdot\mathrm{vol}(X) \qquad\qquad (\ast) \] where \(t_{\widetilde X}^{(2)}(\tau)\) is a nonzero constant (positive when \(m\) is even and negative if it is odd). The motivation from this result comes from work of \textit{N. Bergeron} and \textit{A. Venkatesh} [J. Inst. Math. Jussieu 12, No. 2, 391--447 (2013; Zbl 1266.22013)]. A similar result was worked out in the preprint \url{arxiv:1212.3161} of the reviewer, which was stated there only in three dimensions and is significantly weaker in some aspects. Let us explain the hypotheses under which the conclusion \((\ast)\) above holds. They are of two kinds: first one must suppose that \(\tau\circ\theta\not=\tau\) where \(\theta\) is the Cartan involution of \(\mathrm{SO}(d,1)\). This first hypothesis is of a spectral nature, as explained below. The other hypotheses concern the geometry of the \(X_i\): the authors assume that the systole of \(X_i\) (smallest length of a closed geodesic on \(X_i\)) goes to infinity and that the cusps are uniform (meaning that their Euclidean basis is a torus and that the set of all these tori when \(i\) goes to infinity stays in a compact set in the moduli space). There is a third hypothesis on the cusps which is (non-trivially) redundant with the two previous ones. We also remark that the hypothesis on the systole is unnecessary strong: indeed, the authors prove that \((\ast)\) holds also for one specific sequence \(X_i\) not satisfying it (Theorem 1.5), and their proof actually should work in the setting of a sequence of finite covers which is only Benjamini--Schramm convergent to the hyperbolic space (assuming the cusps are uniform in the sense above), a notion introduced in [\textit{M. Abert} et al., C. R., Math., Acad. Sci. Paris 349, No. 15--16, 831--835 (2011; Zbl 1223.53039)]. The proof of \((\ast)\) divides into two parts according to the two sides of Selberg's trace formula: this is natural since the definition of analytic torsions uses the spectral side to deal with the heat kernel at large times, and the geometric side to deal with the small times. The part of the proof that concerns the latter contains no real difficulties under the very strong hypotheses that the authors make on the sequence \(X_i\). The main contribution of the present paper thus lies in the study of the heat kernels of arbitrary covers of \(X\). The hypothesis on \(\tau\) ensures that the Laplace operators with values in \(E_\tau\) have a uniform spectral gap, hence that no complications can come from small eigenvalues: this already arises in the compact case studied in the work of Bergeron and Venkatesh. In the noncompact case there is an additional part of the spectral side of the trace formula which causes substantial difficulties, namely the integrals involving intertwining operators. The authors manage to control the intertwining operators well enough to overcome this problem, using techniques developped by the first author in [Ann. Math. (2) 130, No. 3, 473--529 (1989; Zbl 0701.11019)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jean Raimbault / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58J52 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6349067 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
analytic torsion | |||
Property / zbMATH Keywords: analytic torsion / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
hyperbolic manifolds | |||
Property / zbMATH Keywords: hyperbolic manifolds / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
congruence covers | |||
Property / zbMATH Keywords: congruence covers / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2964117504 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1307.4914 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Congruence Subgroups, Cusps and Manin Symbols over Number Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(K\)-theory and stable algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The asymptotic growth of torsion homology for arithmetic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Successive-minima-type inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetic subgroups of algebraic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5580322 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3935484 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Plancherel measure in nilpotent Lie groups as a limit of point measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectral Estimates for Towers of Noncompact Quotients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotic expansions for the compact quotients of properly discontinuous group actions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4368847 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Cohomology of Lattices in SL(2, ℂ) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4392287 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Perturbation theory for linear operators. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Volumes of cusped hyperbolic manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2761568 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lie groups beyond an introduction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intertwining operators for semisimple groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heat kernels on covering spaces and topological invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(L^ 2\)-analytic torsion / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On vector bundle valued harmonic forms and automorphic forms on symmetric Riemannian manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Minakshisundaram-Pleijel Coefficients for the Vector Valued Heat Kernel on Compact Locally Symmetric Spaces of Negative Curvature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The trace class conjecture in the theory of automorphic forms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analytic Torsion and R-Torsion for Unimodular Representations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analytic torsion of complete hyperbolic manifolds of finite volume / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Asymptotics of the Ray–Singer Analytic Torsion for Compact Hyperbolic Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4254917 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exponential growth of homological torsion for towers of congruence subgroups of Bianchi groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analytic, Reidemeister and homological torsion for congruence three-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The arithmetic and geometry of some hyperbolic three manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3993105 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5625265 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2736011 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3693558 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Selberg trace formula in the case of compact quotient / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3918186 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:03, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The analytic torsion and its asymptotic behaviour for sequences of hyperbolic manifolds of finite volume |
scientific article |
Statements
The analytic torsion and its asymptotic behaviour for sequences of hyperbolic manifolds of finite volume (English)
0 references
29 September 2014
0 references
Let \(X\) be an hyperbolic manifold of odd dimension \(d=2m+1\), which is non-compact of finite volume. Then there are defined certain spectral invariants of \(X\), the analytic torsions \(T_X(\tau)\) where \(\tau\) is a representation of \(\mathrm{SO}(d,1)\), inducing in a natural way a euclidean vector bundle \(E_\tau\) over \(X\) (their definition involves the spectra of the Laplace operators on forms on \(X\) with coefficients in \(E_\tau\)). The main result in the present paper establishes, for certain sequences of finite coverings \(X_i\to X\), the exponential growth in the degree of the analytic torsions \(T_{X_i}(\tau)\), with a rate depending only on \(d\) and the volume of \(X\). Namely, under hypotheses on \(X_i\) and \(\tau\) to be precised later, the authors prove that \[ \lim_{i\to+\infty} \frac{\log T_{X_i}(\tau)}{\deg(X_i\to X)} = t_{\widetilde X}^{(2)}(\tau)\cdot\mathrm{vol}(X) \qquad\qquad (\ast) \] where \(t_{\widetilde X}^{(2)}(\tau)\) is a nonzero constant (positive when \(m\) is even and negative if it is odd). The motivation from this result comes from work of \textit{N. Bergeron} and \textit{A. Venkatesh} [J. Inst. Math. Jussieu 12, No. 2, 391--447 (2013; Zbl 1266.22013)]. A similar result was worked out in the preprint \url{arxiv:1212.3161} of the reviewer, which was stated there only in three dimensions and is significantly weaker in some aspects. Let us explain the hypotheses under which the conclusion \((\ast)\) above holds. They are of two kinds: first one must suppose that \(\tau\circ\theta\not=\tau\) where \(\theta\) is the Cartan involution of \(\mathrm{SO}(d,1)\). This first hypothesis is of a spectral nature, as explained below. The other hypotheses concern the geometry of the \(X_i\): the authors assume that the systole of \(X_i\) (smallest length of a closed geodesic on \(X_i\)) goes to infinity and that the cusps are uniform (meaning that their Euclidean basis is a torus and that the set of all these tori when \(i\) goes to infinity stays in a compact set in the moduli space). There is a third hypothesis on the cusps which is (non-trivially) redundant with the two previous ones. We also remark that the hypothesis on the systole is unnecessary strong: indeed, the authors prove that \((\ast)\) holds also for one specific sequence \(X_i\) not satisfying it (Theorem 1.5), and their proof actually should work in the setting of a sequence of finite covers which is only Benjamini--Schramm convergent to the hyperbolic space (assuming the cusps are uniform in the sense above), a notion introduced in [\textit{M. Abert} et al., C. R., Math., Acad. Sci. Paris 349, No. 15--16, 831--835 (2011; Zbl 1223.53039)]. The proof of \((\ast)\) divides into two parts according to the two sides of Selberg's trace formula: this is natural since the definition of analytic torsions uses the spectral side to deal with the heat kernel at large times, and the geometric side to deal with the small times. The part of the proof that concerns the latter contains no real difficulties under the very strong hypotheses that the authors make on the sequence \(X_i\). The main contribution of the present paper thus lies in the study of the heat kernels of arbitrary covers of \(X\). The hypothesis on \(\tau\) ensures that the Laplace operators with values in \(E_\tau\) have a uniform spectral gap, hence that no complications can come from small eigenvalues: this already arises in the compact case studied in the work of Bergeron and Venkatesh. In the noncompact case there is an additional part of the spectral side of the trace formula which causes substantial difficulties, namely the integrals involving intertwining operators. The authors manage to control the intertwining operators well enough to overcome this problem, using techniques developped by the first author in [Ann. Math. (2) 130, No. 3, 473--529 (1989; Zbl 0701.11019)].
0 references
analytic torsion
0 references
hyperbolic manifolds
0 references
congruence covers
0 references
0 references
0 references
0 references