Abstract
In this chapter, we prove a version of the main result using the length spectrum instead of the Laplace spectrum, in case the manifold is negatively curved. We introduce the L-series corresponding to a unitary representation of the fundamental group, recall its convergence properties in relation to volume entropy, and its behaviour in finite covers.
You have full access to this open access chapter, Download chapter PDF
In this chapter, we prove a version of the main result using the length spectrum instead of the Laplace spectrum, in case the manifold is negatively curved. We introduce the L-series corresponding to a unitary representation of the fundamental group, recall its convergence properties in relation to volume entropy, and its behaviour in finite covers.
1 L-Series
We assume that M is a connected negatively curved oriented closed Riemannian manifold. Then the following properties hold:
-
1.
each free homotopy class [γ] contains a unique closed geodesic [56, Thm. 3.8.14]. We write ℓ(γ) for the length of that geodesic.
-
2.
the geodesic flow is of Anosov type, and the topological entropy equals the volume entropy, defined as \(h_M:=\lim \limits _{R \rightarrow + \infty } (\log \mathrm {vol}(B(x,R)))/R, \) where B(x, R) is a geodesic ball of radius R in the universal cover \(\widetilde M\) of M centered at some point \(x \in \widetilde M\) [65].
Recall some elements of the theory of prime geodesics (for general M but an abelian cover, we treated this in Sect. 10.1). We call [γ] prime if the associated geodesic is not a multiple of another geodesic (in the sense of oriented cycles). Let ϖ: M′→ M denote a G-cover for a finite group G. Notice that \(h_{M'}=h_M\) by definition. Above each fixed prime geodesic of M lie finitely many prime geodesics of M′, the set of which carries a transitive G-action. For a fixed γ′ mapping to γ, we let (ϖ|γ) denote any element of G that generates the stabiliser of γ′. All such elements are conjugate in G (in the abelian case, the element does not depend on the choice of γ′, cf. Sect. 10.1).
Let \(\rho \colon G \rightarrow \operatorname {U}(N, \mathbf {C})\) denote a representation. Since the determinant takes the same value on conjugate matrices, we have a well-defined associated L-series
where 1N is the identity matrix of size N × N. If ρ 1 and ρ 2 are two representations of G, then [76, p, 135]
Choosing ρ = 1, L M(1, s) is related to analogues of the Selberg zeta function. Standard theory of Dirichlet series (applying Möbius inversion to the coefficients of the logarithmic derivative) implies that knowledge of L M(1, s) is equivalent to knowledge of the multiset of lengths {ℓ(γ)}. Parry and Pollicott and Adachi and Sunada have proven:
Lemma 12.1.1 ([76, Thm. 1 and 2] and [1, Thm. A])
The function L M(ρ, s) converges absolutely for Re(s) > h M and can be analytically continued to an open set D that contains the half-plane Re(s) ≥ h M . For an irreducible representation ρ, L(ρ, s) is holomorphic in D unless ρ = 1 . Furthermore, L M(1, s) has a simple pole at s = h M.
2 Main Result for the Length Spectrum
In this setup, the analogue of Lemma 3.9.1 is the following:
Lemma 12.2.1
Let G be a finite group acting by fixed-point free isometries on a negatively curved Riemannian manifold M′ with quotient M = G∖M′. Set \(h:=h_M=h_{M'}\) . If ρ is any unitary representation of G, then the multiplicity 〈ρ, 1〉 of the trivial representation in the decomposition of ρ into irreducibles equals −ords=h L M(ρ, s), the order of the pole of L M(ρ, s) at s = h.
Proof
Let D denote the extended region of convergence as in Lemma 12.1.1. Decompose \(\rho = \bigoplus \limits _{i=1}^N \langle \rho _i,\rho \rangle \rho _i\) as a sum over irreducible representations ρ i. Then by formula (12.1), we have
and set ρ 1 = 1 for convenience. Applying Lemma 12.1.1, we find from this product decomposition that ords=h L M(ρ, s) = 〈1, ρ〉. □
We have the following further two analogues of results previously shown for the Laplace spectra. The analogue of Lemma 3.8.1 for L-series is the following.
Lemma 12.2.2 ([91, Remark 2 After Lemma 1])
If M → M 1 → M 0 is a tower of finite Riemannian coverings and M → M 0 is Galois with group G, M → M 1 with group H, and \(\rho \colon H \rightarrow \operatorname {U}(N,\mathbf {C})\) a representation, then
The analogue of Proposition 4.1.1 for L-series is the following.
Lemma 12.2.3
Suppose that we have diagram (1.2) and set \(h:=h_{M_1}=h_{M_2}=h_M\) ; then, for two linear characters and , a representation isomorphism \(\operatorname {Ind}_{H_1}^G \chi _1 \cong \operatorname {Ind}_{H_2}^G \chi _2\) is equivalent to
being the same for the pairs (i, j) given by (1, 1), (2, 1) and (1, 2), (2, 2).
Proof
The proof is essentially the same as that of Proposition 4.1.1, but now using Lemma 12.2.1 instead of Lemma 3.9.1. □
We can adopt the reasoning in the proof of the main theorem to find:
Theorem 12.2.4
Suppose we have a diagram ( 1.1 ) of negatively curved Riemannian manifolds with (common) volume entropy h, and suppose that the action of G on M in the extended diagram ( 1.2 ) is homologically wide. Then M 1 and M 2 are equivalent Riemannian covers of M 0 if and only if the pole orders at s = h of a finite number of specific L-series of representations on M 1 and M 2 is equal.
More specifically, using the notation of Theorem 6.4.1 , M 1 and M 2 are equivalent Riemannian covers of M 0 if and only if there exists a linear character \(\chi \colon \widetilde H_2 \rightarrow {\mathbf {C}}^*\) such that
and
There are \(\ell |H_2^{\operatorname {ab}}|\) linear characters χ on \(\widetilde H_2\) , and the dimension of the representations involved is the index [G : H 2].
Remark 12.2.5
In case of a surface of constant curvature − 1, Theorems 1.2.1 and 12.2.4 are equivalent using a twisted version of the Selberg trace formula as in [49, III.4.10].
Open Problem
In [28, Theorem 3.1], it was proven that two global function fields (corresponding to smooth projective algebraic curves over finite fields) are isomorphic if and only if there is a group isomorphism between their abelianised absolute Galois groups such that the corresponding L-series are equal. In [13], it is shown that one may restrict to unramified characters by admitting extensions of the ground field.
For negatively curved (e.g., hyperbolic) manifolds M 1 and M 2, the corresponding question is whether they are isometric if and only if there is an isomorphism \(\psi \colon \operatorname {H}_1(M_1,\mathbf {Z}) \cong \operatorname {H}_1(M_2,\mathbf {Z})\) such that
Open Problem
The geodesic length function defines the marked length spectrum [γ]↦ℓ(γ) as a function from conjugacy classes in π 1(M) to R >0. Croke and Otal [30] [74] showed that this characterises the isometry class of M in dimension two (in arbitrary dimension, this is an open conjecture of Burns and Katok, see [22, Problem 3.1]; a local version was proven in [44]). This motivates the question: what is the relation between the marked length spectrum and the information encoded in the L-series L M(ρ, s) where ρ runs over all unitary representations of π 1(M) (this information might be called the “twisted length spectrum”)?
References
Toshiaki Adachi and Toshikazu Sunada, Twisted Perron-Frobenius theorem and L-functions, J. Funct. Anal. 71 (1987), no. 1, 1–46.
Jeremy Booher and José Felipe Voloch, Recovering algebraic curves from L-functions of Hilbert class fields, Res. Number Theory 6 (2020), no. 4, Paper No. 43, 6.
Keith Burns and Anatole B. Katok, Manifolds with nonpositive curvature, Ergodic Theory Dynam. Systems 5 (1985), no. 2, 307–317.
Gunther Cornelissen, Bart de Smit, Xin Li, Matilde Marcolli, and Harry Smit, Characterization of global fields by Dirichlet L-series, Res. Number Theory 5 (2019), no. 1, 5:7.
Christopher B. Croke, Rigidity for surfaces of nonpositive curvature, Comment. Math. Helv. 65 (1990), no. 1, 150–169.
Colin Guillarmou and Thibault Lefeuvre, The marked length spectrum of Anosov manifolds, Ann. of Math. (2) 190 (2019), no. 1, 321–344.
Dennis A. Hejhal, The Selberg trace formula for PSL(2, R). Vol. I, Lecture Notes in Mathematics, Vol. 548, Springer-Verlag, Berlin-New York, 1976.
Wilhelm Klingenberg, Riemannian geometry, de Gruyter Studies in Mathematics, vol. 1, Walter de Gruyter & Co., Berlin-New York, 1982.
Anthony Manning, Topological entropy for geodesic flows, Ann. of Math. (2) 110 (1979), no. 3, 567–573.
Jean-Pierre Otal, Le spectre marqué des longueurs des surfaces à courbure négative, Ann. of Math. (2) 131 (1990), no. 1, 151–162.
William Parry and Mark Pollicott, The Chebotarov theorem for Galois coverings of Axiom A flows, Ergodic Theory Dynam. Systems 6 (1986), no. 1, 133–148.
Toshikazu Sunada, Number theoretic analogues in spectral geometry, in: Differential geometry and differential equations (Shanghai, 1985; eds. C. H. Gu, M. Berger and R. L. Bryant), Lecture Notes in Math., vol. 1255, Springer, Berlin, 1987, pp. 96–108.
Author information
Authors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2023 The Author(s)
About this chapter
Cite this chapter
Cornelissen, G., Peyerimhoff, N. (2023). Length Spectrum. In: Twisted Isospectrality, Homological Wideness, and Isometry . SpringerBriefs in Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-031-27704-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-031-27704-7_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-27703-0
Online ISBN: 978-3-031-27704-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)