Preprint · v2
Spectral identities and closed-geodesic periods
Free PDF · 131 pages · 1.38 MB
Abstract
We construct closed real-analytic locally symmetric nine-manifolds with equal scalar Laplace spectra and explicitly determine the infinite difference of their closed-geodesic period sets. Their common half-wave trace is real analytic near every period in this difference, although both geodesic flows are clean. In dimension eight, all finite-rank unitary flat connection spectra agree under a fixed -marking, while the period sets differ. On a fixed closed simply connected eighteen-manifold, one of two real-analytic scalar-isospectral metrics has infinitely many primitive periods absent from the period set of the other. These spectral equalities follow from intrinsic equivariant identities for and , . For every central extension of a finite group with finitely generated kernel, prescribed finite families of central quotients occur as fundamental groups of closed homogeneous manifolds. Their canonical rough connection spectra agree for every finite-dimensional unitary representation of a common compact isotropy group. Simple connectivity varies in dimension eight, and rational formality in dimension seven. For a closed connected Riemannian manifold, marked finite-holonomy spectra determine the profinite conjugacy envelope of least lengths. Among compact connected Lie groups with bi-invariant metrics and a marking, prescribed finite jets of the rate and logarithmic amplitude of the normalized equivariant heat trace, dimension and a volume lower bound characterize exactly these two models. The ambient weighted identity gives scalar-isospectral left-invariant normal homogeneous metrics on every , , which are not locally isometric, answering Gordon–Sutton’s uniqueness question negatively.
MSC 2020
- 58J53Primary
- Isospectrality
- 53C22Secondary
- Geodesics in global differential geometry
- 53C30Secondary
- Differential geometry of homogeneous manifolds
- 22E46Secondary
- Semisimple Lie groups and their representations
- 55P62Secondary
- Rational homotopy theory
- 20E18Secondary
- Limits, profinite groups
Record
- Version DOI
- 10.5281/zenodo.23587805
- Subjects
- Isospectral manifolds; closed-geodesic periods; wave traces; marked spectra; normal homogeneous spaces; Casimir operators; central extensions; canonical connections; profinite completion
- Language
- English
Cite this paper
Anass Nifa. Spectral identities and closed-geodesic periods. Preprint, Zenodo, v2 (2025). doi:10.5281/zenodo.23587805
References
As listed in the manuscript bibliography.
- [1]
- [2]
- [3]
I. Agricola and J. Henkel, The Laplace–Beltrami spectrum on naturally reductive homogeneous spaces, preprint (2025), revised 2026. arXiv:2503.21416v2.
arXiv v2 - [4]
W. Ambrose and I. M. Singer, A theorem on holonomy, Trans. Amer. Math. Soc. 75 (1953), 428–443. doi:10.1090/S0002-9947-1953-0063739-1.
DOI - [5]
J. An, J.-K. Yu and J. Yu, On the dimension datum of a subgroup and its application to isospectral manifolds, J. Differential Geom. 94 (2013), 59–85. doi:10.4310/jdg/1361889061.
DOI - [6]
R. M. Arroyo, A. Pulemotov, and W. Ziller, The prescribed Ricci curvature problem for naturally reductive metrics on compact Lie groups, Differential Geom. Appl. 78 (2021), article 101794. arXiv:2001.09441v1.
arXiv v1 - [7]
- [8]
W. Ballmann, On the construction of isospectral manifolds, in Geometric Methods in Inverse Problems and PDE Control, IMA Vol. Math. Appl., vol. 137, Springer, New York, 2004, 1–14. doi:10.1007/978-1-4684-9375-7_1.
DOI - [9]
- [10]
- [11]
D. J. Benson, Polynomial Invariants of Finite Groups, London Mathematical Society Lecture Note Series, vol. 190, Cambridge University Press, Cambridge, 1993. doi:10.1017/CBO9780511565809.
DOI - [12]
P. Bérard, Variétés riemanniennes isospectrales non isométriques, Séminaire Bourbaki, exposé 705 (March 1989), Astérisque 177–178 (1989), 127–154. https://www.numdam.org/item/SB_1988-1989__31__127_0/.
- [13]
L. Bérard-Bergery and J.-P. Bourguignon, Laplacians and Riemannian submersions with totally geodesic fibres, Illinois J. Math. 26 (1982), no. 2, 181–200. doi:10.1215/ijm/1256046790.
DOI - [14]
R. Berndt, Representations of Linear Groups: An Introduction Based on Examples from Physics and Number Theory, Vieweg, Wiesbaden, 2007.
- [15]
E. Bierstone and P. D. Milman, Semianalytic and subanalytic sets, Publ. Math. IHES 67 (1988), 5–42. doi:10.1007/BF02699126.
DOI - [16]
R. L. Bishop and B. O’Neill, Manifolds of negative curvature, Trans. Amer. Math. Soc. 145 (1969), 1–49. doi:10.1090/S0002-9947-1969-0251664-4.
DOI - [17]
- [18]
S. Bochner, Vector fields and Ricci curvature, Bull. Amer. Math. Soc. 52 (1946), 776–797. doi:10.1090/S0002-9904-1946-08647-4.
DOI - [19]
M. Bordoni and V. Marino, Towers of isospectral manifolds, Complex Var. Elliptic Equ. 54 (2009), no. 1, 1–7. doi:10.1080/17476930802315157.
DOI - [20]
T. Bröcker and T. tom Dieck, Representations of Compact Lie Groups, Graduate Texts in Mathematics, vol. 98, Springer-Verlag, New York, 1985. doi:10.1007/978-3-662-12918-0.
DOI - [21]
B. Casselman, Elliptic differential equations—analyticity, Essays in analysis, University of British Columbia, 1 May 2012. https://personal.math.ubc.ca/~cass/research/pdf/Analytic.pdf.
- [22]
J. Chazarain, Formule de Poisson pour les variétés riemanniennes, Invent. Math. 24 (1974), 65–82. doi:10.1007/BF01418788.
DOI - [23]
- [24]
D. Cianci, On the Poisson relation for flat and spherical space forms, preprint (2016), arXiv:1608.02816.
arXiv - [25]
Y. Colin de Verdière, Spectrum of the Laplace operator and periodic geodesics: thirty years after, Ann. Inst. Fourier 57 (2007), no. 7, 2429–2463. doi:10.5802/aif.2339.
DOI - [26]
B. Conrad, Class Functions and Weyl groups, Math. 210C course notes, Stanford University. https://math.stanford.edu/~conrad/210CPage/handouts/classfn.pdf.
- [27]
- [28]
- [29]
D. A. Dawson and J. Gärtner, Large deviations from the McKean–Vlasov limit for weakly interacting diffusions, Stochastics 20 (1987), no. 4, 247–308. doi:10.1080/17442508708833446.
DOI - [30]
P. Deligne, P. Griffiths, J. Morgan and D. Sullivan, Real homotopy theory of Kähler manifolds, Invent. Math. 29 (1975), 245–274. doi:10.1007/BF01389853.
DOI - [31]
A. Derdzinski, A Myers-type theorem and compact Ricci solitons, Proc. Amer. Math. Soc. 134 (2006), no. 12, 3645–3648. doi:10.1090/S0002-9939-06-08422-X.
DOI - [32]
G. de Rham, Sur la réductibilité d’un espace de Riemann, Comment. Math. Helv. 26 (1952), 328–344. doi:10.1007/BF02564308.
DOI - [33]
- [34]
J. J. Duistermaat and V. W. Guillemin, The spectrum of positive elliptic operators and periodic bicharacteristics, Invent. Math. 29 (1975), 39–79. doi:10.1007/BF01405172.
DOI - [35]
S. Dyatlov, Lecture notes for 18.155: distributions, elliptic regularity, and applications to PDEs, MIT, version of 20 October 2026. https://math.mit.edu/~dyatlov/18.155/155-notes.pdf.
- [36]
N. Ejiri, A construction of non-flat, compact irreducible Riemannian manifolds which are isospectral but not isometric, Math. Z. 168 (1979), 207–212. doi:10.1007/BF01214512.
DOI - [37]
P. Etingof, Lie Groups and Lie Algebras, MIT 18.745 and 18.755 lecture notes. https://math.mit.edu/~etingof/lnlg.pdf.
- [38]
P. Etingof, Representations of Lie Groups, MIT 18.757 lecture notes, Fall 2023, Lecture 14. https://ocw.mit.edu/courses/18-757-representations-of-lie-groups-fall-2023/mit18_757_f23_lec14.pdf.
- [39]
B. Farb and S. Weinberger, Isometries, rigidity and universal covers, Ann. of Math. (2) 168 (2008), 915–940. doi:10.4007/annals.2008.168.915.
DOI - [40]
- [41]
D. H. Fremlin, Measure Theory. Vol. 4: Topological Measure Spaces, 2013 edition; updated online text. https://www1.essex.ac.uk/maths/people/fremlin/chap41.pdf.
- [42]
P. B. Gilkey and J. H. Park, The Bochner Laplacian, Riemannian submersions, heat content asymptotics, and heat equation asymptotics, Czechoslovak Math. J. 49 (1999), no. 2, 233–240. doi:10.1023/A:1022439916298.
DOI - [43]
C. S. Gordon, D. Schueth, and C. J. Sutton, Spectral isolation of bi-invariant metrics on compact Lie groups, Ann. Inst. Fourier 60 (2010), no. 5, 1617–1628. doi:10.5802/aif.2567.
DOI - [44]
- [45]
A. Grigor’yan, Heat Kernel and Analysis on Manifolds, AMS/IP Studies in Advanced Mathematics, vol. 47, American Mathematical Society and International Press, 2009. doi:10.1090/amsip/047.
DOI - [46]
G. H. Hardy and M. Riesz, The General Theory of Dirichlet’s Series, Cambridge Tracts in Mathematics and Mathematical Physics, no. 18, Cambridge University Press, Cambridge, 1915.
- [47]
A. Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2002.
- [48]
A. Hatcher, Vector Bundles & K-Theory, version 2.2, November 2017. https://pi.math.cornell.edu/~hatcher/VBKT/VB.pdf.
- [49]
C. S. Gordon and J. P. Rossetti, Boundary volume and length spectra of Riemannian manifolds: what the middle degree Hodge spectrum doesn’t reveal, Ann. Inst. Fourier 53 (2003), 2297–2314. doi:10.5802/aif.2007.
DOI - [50]
R. Gornet, Riemannian nilmanifolds, the wave trace, and the length spectrum, Comm. Anal. Geom. 16 (2008), 27–89. doi:10.4310/CAG.2008.v16.n1.a2.
DOI - [51]
G. Higman, A finitely generated infinite simple group, J. London Math. Soc. s1-26 (1951), 61–64. doi:10.1112/jlms/s1-26.1.61.
DOI - [52]
K. H. Hofmann and S. A. Morris, The Structure of Compact Groups: A Primer for the Student— A Handbook for the Expert, third revised and augmented edition, De Gruyter Studies in Mathematics, vol. 25, De Gruyter, Berlin/Boston, 2013.
- [53]
- [54]
L. Hörmander, The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, second edition, Springer, Berlin, 1990; Classics in Mathematics reprint, 2003. doi:10.1007/978-3-642-61497-2.
DOI - [55]
A. Ikeda, On the spectrum of a Riemannian manifold of positive constant curvature, Osaka J. Math. 17 (1980), no. 1, 75–93. doi:10.18910/5171.
DOI - [56]
- [57]
T. Kawai, Construction of local elementary solutions for linear partial differential operators with real analytic coefficients (I): The case with real principal symbols, Publ. Res. Inst. Math. Sci. 7 (1971/72), 363–397. doi:10.2977/prims/1195193547.
DOI - [58]
S. Kobayashi and K. Nomizu, Foundations of Differential Geometry, vols. I and II, Interscience Publishers, New York, 1963 and 1969.
- [59]
B. Kostant, A cubic Dirac operator and the emergence of Euler number multiplets of representations for equal rank subgroups, Duke Math. J. 100 (1999), 447–501. doi:10.1215/S0012-7094-99-10016-0.
DOI - [60]
- [61]
I. Koval and A. Vig, Silent orbits and cancellations in the wave trace, preprint, 2024. arXiv:2408.09238.
arXiv - [62]
U. Krähmer and M. Tucker-Simmons, On the Dolbeault–Dirac operator of quantized symmetric spaces, Trans. Lond. Math. Soc. 2 (2015), no. 1, 33–56. doi:10.1112/tlms/tlv002.
DOI - [63]
J. M. Lee, Introduction to Riemannian Manifolds, second edition, Graduate Texts in Mathematics, vol. 176, Springer, Cham, 2018. doi:10.1007/978-3-319-91755-9.
DOI - [64]
Y. Le Jan, Markov loops, coverings and fields, Ann. Fac. Sci. Toulouse Math. (6) 26 (2017), 401–416. doi:10.5802/afst.1538.
DOI - [65]
Y. Le Jan, Brownian loops topology, Potential Anal. 53 (2020), 223–229. doi:10.1007/s11118-019-09765-z.
DOI - [66]
Y. Li, Y. Wu, and J. Zhou, Shortest closed geodesics on three-dimensional isospectral manifolds, preprint, 2026. arXiv:2609.28380v1.
arXiv v1 - [67]
- [68]
M. Ludewig, Strong short-time asymptotics and convolution approximation of the heat kernel, Ann. Global Anal. Geom. 55 (2019), 371–394. doi:10.1007/s10455-018-9630-4.
DOI - [69]
S. Ma, Lecture notes for pseudodifferential operators and microlocal analysis, arXiv:2107.12839 (2021).
arXiv - [70]
G. W. Mackey, Unitary representations of group extensions. I, Acta Math. 99 (1958), 265–311. doi:10.1007/BF02392428.
DOI - [71]
A. Magidin, Capable groups of prime exponent and class two, preprint (2004). arXiv:math/0401423v1.
arXiv v1 - [72]
A. Malcev, On isomorphic matrix representations of infinite groups, Mat. Sbornik N.S. 8(50) (1940), no. 3, 405–422. https://www.mathnet.ru/eng/sm6037.
- [73]
- [74]
- [75]
- [76]
S. B. Myers, Riemannian manifolds with positive mean curvature, Duke Math. J. 8 (1941), no. 2, 401–404. doi:10.1215/S0012-7094-41-00832-3.
DOI - [77]
J. C. Nash, Positive Ricci curvature on fibre bundles, J. Differential Geom. 14 (1979), no. 2, 241–254. doi:10.4310/jdg/1214434973.
DOI - [78]
J. B. Nation, Notes on Lattice Theory, University of Hawai‘i course notes. https://math.hawaii.edu/~jb/lat1-6.pdf.
- [79]
National Institute of Standards and Technology, Digital Library of Mathematical Functions, §25.8, equation (25.8.8). https://dlmf.nist.gov/25.8.E8.
- [80]
J. Neisendorfer and T. Miller, Formal and coformal spaces, Illinois J. Math. 22 (1978), 565–580. doi:10.1215/ijm/1256048467.
DOI - [81]
B. Nica, Linear groups—Malcev’s theorem and Selberg’s lemma, arXiv:1306.2385 (2013).
arXiv - [82]
J. R. Norris, A complete differential formalism for stochastic calculus in manifolds, Séminaire de Probabilités XXVI, Lecture Notes in Math., vol. 1526, Springer, Berlin, 1992, 189–209. doi:10.1007/BFb0084322.
DOI - [83]
F. Prüfer, On the spectrum and the geometry of the spherical space forms. I, Ann. Global Anal. Geom. 3 (1985), no. 2, 129–154. doi:10.1007/BF01000336.
DOI - [84]
D. Schueth, Constructing isospectral metrics via principal connections, in Geometric Analysis and Nonlinear Partial Differential Equations, Springer, 2003, 69–79. https://doi.org/10.1007/978-3-642-55627-2_4.
- [85]
- [86]
- [87]
- [88]
- [89]
- [90]
M. E. Taylor, Introduction to Lie Groups, AMS Open Math Notes, OMN:202106.111301, 2021. https://mtaylor.web.unc.edu/wp-content/uploads/sites/16915/2021/03/liegp.pdf.
- [91]
- [92]
G. Teschl, Mathematical Methods in Quantum Mechanics: With Applications to Schrödinger Operators, first edition, Graduate Studies in Mathematics, vol. 99, American Mathematical Society, Providence, RI, 2009. https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/schroe.pdf.
- [93]
L. Tóth, On the number of cyclic subgroups of a finite Abelian group, Bull. Math. Soc. Sci. Math. Roumanie 55(103) (2012), no. 4, 423–428. https://ssmr.ro/bulletin/pdf/55-4/Toth.pdf; arXiv:1203.6201.
arXiv - [94]
H. Urakawa, The heat equation on compact Lie group, Osaka J. Math. 12 (1975), no. 2, 285–297. doi:10.18910/7850.
DOI - [95]
R. Vein and P. Dale, Determinants and Their Applications in Mathematical Physics, Applied Mathematical Sciences, vol. 134, Springer-Verlag, New York, 1999. doi:10.1007/b98968.
DOI - [96]
E. B. Vinberg, Linear Representations of Groups, translated by A. Iacob, Birkhäuser, Basel, 1989; uncorrected reprint, Modern Birkhäuser Classics, 2010. doi:10.1007/978-3-0348-0063-1.
DOI - [97]
J. Voight, Quaternion Algebras, Graduate Texts in Mathematics, vol. 288, Springer, Cham, 2021. doi:10.1007/978-3-030-56694-4.
DOI - [98]
J. Wang, Z. Xie and G. Yu, Approximations of delocalized eta invariants by their finite analogues, Enseign. Math. 69 (2023), 51–91. doi:10.4171/LEM/1048.
DOI - [99]
B. Wilking, On fundamental groups of manifolds of nonnegative curvature, Differential Geom. Appl. 13 (2000), 129–165. doi:10.1016/S0926-2245(00)00030-9.
DOI - [100]
- [101]
J. Yu, On the dimension datum of a subgroup. II, arXiv:1803.06210v1 (2018).
arXiv v1 - [102]
- [103]
- [104]
W. Ziller, Lie Groups. Representation Theory and Symmetric Spaces, lecture notes, University of Pennsylvania, Fall 2010. https://mathweb.ucsd.edu/~lni/math251B/ziller.pdf.