Published September 2, 2026 | Version v3

Spectral resolution and rigidity of spherical space forms

Authors/Creators

Description

Let $n\ge5$ be odd. We prove quantitative rigidity from scalar Laplace spectra for two classes of round $n$-manifolds: homogeneous spherical space forms of even order and scalar lens spaces of odd order at least five. At fixed sufficiently small normalized frequency tolerance, an explicit strict bound on the lower limit of the least total unmatched multiplicity divided by $R^{(n+1)/2}$, along prescribed cutoffs $R$, forces a closed connected Riemannian manifold to be isometric to the reference space. Nonisometric lens spaces show that this exponent is sharp in general. A Besse homotopy $n$-sphere is round if it admits a constant-displacement isometry of finite odd order at least five.

Let $P$ be a self-adjoint classical elliptic operator of order one with positive scalar principal symbol, acting on a Hermitian bundle of positive rank over a closed connected $d$-manifold, $d\ge2$. If its spectrum concentrates modulo one near $s$ fixed phases, with vanishing tolerance and $o(R^d)$ exceptional eigenvalue copies along a sequence of cutoffs, then the time-$2\pi$ Hamiltonian map has order at most $s$, and there is a commuting quantizer $A$. Finer spectral resolutions give sharp upper bounds on the order of $P-A$. If $P-A$ is not smoothing, signed displacement profiles and Weyl mass determine the Liouville eigenvalue distribution of its normalized leading symbol.

For finite free isometric quotients of closed connected Zoll manifolds of dimension at least two, the Poisson relation is an equality, and the scalar spectrum determines the maximal dimension of returning components at each length. Among closed connected Riemannian $n$-manifolds whose distinct scalar eigenvalues have multiplicities $m_j=cj^{n-1}+O(j^{n-2})$, the possible positive coefficients are exactly $c=2^n/((n-1)!N)$, $N\in\mathbb Z_{>0}$. The largest value characterizes round real projective space up to scale.

Mathematics Subject Classification (2020): Primary 58J53; Secondary 53C22, 58E10, 55R20, 53D12.

First version: 2 September 2026. Updated 12 November 2026: version 3. 141 pages.

Files

Spectral_Resolution_and_Rigidity_nifa_revised.pdf

Files (1.5 MB)

Name Size
md5:55fbc813e72d585c099a3dd9f2564cd6
1.5 MB Preview Download

Additional details

Dates

Updated
2026-11-12
Version 3

References

  • A. Abbondandolo and G. Benedetti, On the local systolic optimality of Zoll contact forms, Geom. Funct. Anal. 33 (2023), no. 2, 299–363. doi:10.1007/s00039-023-00624-z. https://arxiv.org/abs/1912.04187.
  • A. Abbondandolo, G. Benedetti and L. Polterovich, Lorentz–Finsler metrics on symplectic and contact transformation groups, Ann. Sc. Norm. Super. Pisa Cl. Sci., published online (2025). DOI: 10.2422/2036-2145.202305_003. Also arXiv:2210.02387v1.
  • J. Adams, Character of the oscillator representation, Israel J. Math. 98 (1997), 229–252. doi:10.1007/BF02937336. Author's version: https://www.math.utah.edu/~ptrapa/math-library/adams/adams-char-of-oscillator.pdf.
  • A. A. Agrachev, A. Gentile, and A. Lerario, Geodesics and horizontal-path spaces in Carnot groups, Geom. Topol. 19 (2015), no. 3, 1569–1630. doi:10.2140/gt.2015.19.1569.
  • M. Amann, C. Lange and M. Radeschi, Odd-dimensional orbifolds with all geodesics closed are covered by manifolds, Math. Ann. 380 (2021), 1355–1386. DOI: 10.1007/s00208-021-02214-6.
  • B. Ammann, R. Lauter, V. Nistor, and A. Vasy, Complex powers and non-compact manifolds, Comm. Partial Differential Equations 29 (2004), 671–705, doi:10.1081/PDE-120037329. https://arxiv.org/abs/math/0211305v1.
  • S. Bates and A. Weinstein, Lectures on the Geometry of Quantization, Berkeley Mathematics Lecture Notes, vol. 8, American Mathematical Society, Providence, RI, 1997. Author's version: https://math.berkeley.edu/~alanw/GofQ.pdf.
  • V. N. Berestovskiĭ and Yu. G. Nikonorov, Clifford–Wolf homogeneous Riemannian manifolds, J. Differential Geom. 82 (2009), no. 3, 467–500. https://archive.ymsc.tsinghua.edu.cn/pacm_download/21/781-JDG-82-3-A1-berestovskii.pdf.
  • R. Bott, On the iteration of closed geodesics and the Sturm intersection theory, Comm. Pure Appl. Math. 9 (1956), 171–206. doi:10.1002/cpa.3160090204.
  • G. E. Bredon, Topology and Geometry, Graduate Texts in Mathematics, vol. 139, Springer-Verlag, New York, 1993. doi:10.1007/978-1-4757-6848-0.
  • K. S. Brown, Cohomology of Groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York–Berlin, 1982. doi:10.1007/978-1-4684-9327-6.
  • A. Cannas da Silva, Lectures on Symplectic Geometry, Lecture Notes in Mathematics 1764, Springer-Verlag, Berlin, 2001. DOI: 10.1007/978-3-540-45330-7. Author's version, revised January 2006.
  • H. H. Chan, S. H. Chan, and Z.-G. Liu, Elementary derivations of the Rogers–Fine identity and other q-series identities, Discrete Math. 348 (2025), 114387. doi:10.1016/j.disc.2024.114387.
  • D. Cianci, On the Poisson relation for flat and spherical space forms, arXiv:1608.02816 (2016). https://arxiv.org/abs/1608.02816.
  • Y. Colin de Verdière, Sur le spectre des opérateurs elliptiques à bicaractéristiques toutes périodiques, Comment. Math. Helv. 54 (1979), 508–522. doi:10.1007/BF02566290.
  • Y. Colin de Verdière, Spectrum of the Laplace operator and periodic geodesics: thirty years after, Ann. Inst. Fourier 57 (2007), 2429–2463, doi:10.5802/aif.2339. https://aif.centre-mersenne.org/item/10.5802/aif.2339.pdf.
  • M. Colantonio and E. A. Lauret, The fundamental group of a spherical space form is not audible, Doc. Math. (2026), published online first. https://doi.org/10.4171/DM/1102.
  • F. Dai and Y. Xu, Spherical harmonics, arXiv:1304.2585v1 (2013), Chapter 1 of Approximation Theory and Harmonic Analysis on Spheres and Balls. https://arxiv.org/abs/1304.2585v1.
  • S. Deng and M. Xu, Clifford–Wolf translations of Finsler spaces, Forum Math. 26 (2014), no. 5, 1413–1428. doi:10.1515/forum-2012-0032. https://arxiv.org/abs/1201.3714v1.
  • G. de Rham, S. Maumary and M. A. Kervaire, Torsion et type simple d'homotopie, Lecture Notes in Mathematics, no. 48, Springer-Verlag, Berlin–Heidelberg–New York, 1967. https://webhomes.maths.ed.ac.uk/~v1ranick/papers/derkerma.pdf.
  • 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.
  • J. J. Duistermaat and L. Hörmander, Fourier integral operators. II, Acta Math. 128 (1972), 183–269. doi:10.1007/BF02392165.
  • S. Dwivedi, J. Herman, L. C. Jeffrey, and T. van den Hurk, Hamiltonian Group Actions and Equivariant Cohomology, SpringerBriefs in Mathematics, Springer, Cham, 2019. doi:10.1007/978-3-030-27227-2.
  • P. Etingof, O. Golberg, S. Hensel, T. Liu, A. Schwendner, D. Vaintrob, and E. Yudovina, Introduction to Representation Theory, Student Mathematical Library, vol. 59, American Mathematical Society, Providence, RI, 2011. doi:10.1090/stml/059. https://math.mit.edu/~etingof/representationtheorybook.pdf.
  • V. Fischer, Real Trace Expansions, Doc. Math. 24 (2019), 2159–2202. doi:10.4171/DM/723.
  • W. Franz, Über die Torsion einer Überdeckung, J. reine angew. Math. 173 (1935), 245–254. doi:10.1515/crll.1935.173.245.
  • C. Garetto, C. Jäh, and M. Ruzhansky, Hyperbolic systems with non-diagonalisable principal part and variable multiplicities, I: well-posedness, Math. Ann. 372 (2018), 1597–1629. doi:10.1007/s00208-018-1672-1.
  • P. B. Gilkey, Invariance Theory, the Heat Equation, and the Atiyah–Singer Index Theorem, Publish or Perish, 1984; electronic reprint, 1996, https://pages.uoregon.edu/gilkey/dirPDF/InvarianceTheory1Ed.pdf.
  • C. Gordon, W. Kirwin, D. Schueth and D. Webb, Quantum equivalent magnetic fields that are not classically equivalent, Ann. Inst. Fourier 60 (2010), no. 7, 2403–2419. doi:10.5802/aif.2612.
  • K. Grove, Condition (C) for the energy integral on certain path spaces and applications to the theory of geodesics, J. Differential Geom. 8 (1973), no. 2, 207–223. doi:10.4310/jdg/1214431639.
  • K. Grove and M. Tanaka, On the number of invariant closed geodesics, Acta Math. 140 (1978), 33–48. doi:10.1007/BF02392302.
  • V. Guillemin and K. Okikiolu, Szegő theorems for Zoll operators, Math. Res. Lett. 3 (1996), 449–452.
  • V. Guillemin and K. Okikiolu, Spectral asymptotics of Toeplitz operators on Zoll manifolds, J. Funct. Anal. 146 (1997), no. 2, 496–516. doi:10.1006/jfan.1996.3044.
  • V. Guillemin, A. Uribe, and Z. Wang, Semiclassical states associated with isotropic submanifolds of phase space, Lett. Math. Phys. 106 (2016), no. 12, 1695–1728. doi:10.1007/s11005-016-0853-7. arXiv:1511.01241v2.
  • J. Gutt, Generalized Conley–Zehnder index, Ann. Fac. Sci. Toulouse Math. (6) 23 (2014), 907–932. arXiv:1307.7239.
  • J. Gutt, Normal forms for symplectic matrices, Portugaliae Math. (N.S.) 71 (2014), no. 2, 109–139. doi:10.4171/PM/1944. https://ems.press/content/serial-article-files/44732.
  • A. Hatcher, Algebraic Topology, Cambridge University Press, 2002.
  • A. Hatcher, Vector Bundles and K-Theory, version 2.2, November 2017. https://pi.math.cornell.edu/~hatcher/VBKT/VB.pdf.
  • J. Hedicke, A causal characterization of Sp^+_ell(2n), Commun. Contemp. Math. 26 (2024), no. 7, 2350040, 13 pp. DOI: 10.1142/S0219199723500402. arXiv:2211.03707v1.
  • J. W. Helton, An operator algebra approach to partial differential equations; propagation of singularities and spectral theory, Indiana Univ. Math. J. 26 (1977), no. 6, 997–1018. doi:10.1512/iumj.1977.26.26081. https://mathweb.ucsd.edu/~helton/BILLSPAPERSscanned/H77a.pdf.
  • M. W. Hirsch, Differential Topology, Graduate Texts in Mathematics, vol. 33, Springer-Verlag, New York–Heidelberg, 1976. https://math.stanford.edu/~ralph/math215b/Hirsch.pdf.
  • L. Hörmander, The spectral function of an elliptic operator, Acta Math. 121 (1968), 193–218. doi:10.1007/BF02391913.
  • W.-Y. Hsiang, Cohomology Theory of Topological Transformation Groups, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 85, Springer-Verlag, Berlin–Heidelberg, 1975. doi:10.1007/978-3-642-66052-8.
  • E. Humbert, Y. Privat, and E. Trélat, Geometric and spectral characterization of Zoll manifolds, invariant measures and quantum limits, arXiv:1811.12717 (2018). https://arxiv.org/abs/1811.12717.
  • A. Ikeda, On the spectrum of a Riemannian manifold of positive constant curvature, Osaka J. Math. 17 (1980), 75–93. DOI: 10.18910/5171.
  • A. Ikeda and Y. Yamamoto, On the spectra of 3-dimensional lens spaces, Osaka J. Math. 16 (1979), 447–469. doi:10.18910/4811.
  • M. Izydorek and W. Marzantowicz, Equivariant maps between cohomology spheres, Topol. Methods Nonlinear Anal. 5 (1995), 279–289. doi:10.12775/TMNA.1995.019.
  • D. Jakobson and A. Strohmaier, High energy limits of Laplace-type and Dirac-type eigenfunctions and frame flows, Communications in Mathematical Physics 270 (2007), no. 3, 813–833. DOI: 10.1007/s00220-006-0176-0. https://arxiv.org/abs/math/0607616.
  • T. Kato, Perturbation Theory for Linear Operators, corrected printing of the second edition, Grundlehren der mathematischen Wissenschaften, vol. 132, Springer-Verlag, Berlin–New York, 1980.
  • D. Kelmer, A refinement of strong multiplicity one for spectra of hyperbolic manifolds, Trans. Amer. Math. Soc. 366 (2014), no. 11, 5925–5961. doi:10.1090/S0002-9947-2014-06102-3. https://arxiv.org/abs/1108.2977v2.
  • S. Kobayashi, Transformation Groups in Differential Geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 70, Springer-Verlag, 1972; reprinted in Classics in Mathematics, 1995. doi:10.1007/978-3-642-61981-6.
  • R. Kuwabara, Some spectral results for the Laplacian on line bundles over S^n, Comment. Math. Helv. 59 (1984), 439–458. doi:10.5169/seals-45404.
  • R. Kuwabara, Spectrum of the Laplacian on vector bundles over C_{2π}-manifolds, J. Differential Geom. 27 (1988), no. 2, 241–258. doi:10.4310/jdg/1214441782.
  • R. Kuwabara, Correction and addendum to: On the classical and the quantum mechanics in a magnetic field, J. Math. Tokushima Univ. 30 (1996), 81–87. https://www-math.st.tokushima-u.ac.jp/journal/1996/1996-6.pdf.
  • E. A. Lauret, A computational study on lens spaces isospectral on forms, Experimental Mathematics 30 (2021), no. 2, 268–282. doi:10.1080/10586458.2018.1538908. The theorem and remark numbers refer to arXiv:1703.03077v3 (9 May 2017), https://arxiv.org/abs/1703.03077v3.
  • E. A. Lauret and R. J. Miatello, Strong multiplicity one theorems for locally homogeneous spaces of compact-type, Proc. Amer. Math. Soc. 148 (2020), no. 7, 3163–3173. doi:10.1090/proc/14980. https://arxiv.org/abs/1804.08288v2.
  • E. A. Lauret, R. J. Miatello, and J. P. Rossetti, Spectra of lens spaces from 1-norm spectra of congruence lattices, Int. Math. Res. Not. IMRN 2016 (2016), no. 4, 1054–1089. doi:10.1093/imrn/rnv159. https://arxiv.org/abs/1311.7167v4.
  • J. M. Lee, Riemannian Manifolds: An Introduction to Curvature, Graduate Texts in Mathematics, vol. 176, Springer-Verlag, New York, 1997. doi:10.1007/b98852.
  • S. Lin and B. Schmidt, Real projective spaces with all geodesics closed, Geom. Funct. Anal. 27 (2017), 631–636. DOI: 10.1007/s00039-017-0407-x.
  • A. J. McNeil and J. Nešlehová, Multivariate Archimedean copulas, d-monotone functions and ℓ_1-norm symmetric distributions, Ann. Statist. 37 (2009), no. 5B, 3059–3097. doi:10.1214/07-AOS556. https://arxiv.org/abs/0908.3750v1.
  • J. Milnor, Morse Theory, Annals of Mathematics Studies, no. 51, Princeton University Press, 1963.
  • E. Meinrenken, Group actions on manifolds, lecture notes, University of Toronto, Spring 2003. https://www.math.toronto.edu/mein/teaching/LectureNotes/action.pdf.
  • V. Ozols, Critical points of the displacement function of an isometry, J. Differential Geom. 3 (1969), no. 3–4, 411–432. doi:10.4310/jdg/1214429062.
  • R. S. Palais and C.-L. Terng, Critical Point Theory and Submanifold Geometry, Lecture Notes in Mathematics, vol. 1353, Springer-Verlag, Berlin, 1988. doi:10.1007/BFb0087442.
  • G. P. Paternain, Transparent connections over negatively curved surfaces, J. Mod. Dyn. 3 (2009), 311–333. doi:10.3934/jmd.2009.3.311. arXiv:0809.4360, version 4 (2010).
  • P. Petersen, Riemannian Geometry, second edition, Graduate Texts in Mathematics, vol. 171, Springer, New York, 2006. doi:10.1007/978-0-387-29403-2.
  • R. Ponge, Connes' integration and Weyl's laws, J. Noncommut. Geom. 17 (2023), 719–767, doi:10.4171/JNCG/509.
  • F. Prüfer, On the spectrum and the geometry of the spherical space forms, I, Ann. Global Anal. Geom. 3 (1985), 129–154. doi:10.1007/BF01000336.
  • F. Prüfer, On the spectrum and the geometry of a spherical space form II, Ann. Global Anal. Geom. 3 (1985), 289–312. doi:10.1007/BF00130482.
  • M. Radeschi and B. Wilking, On the Berger conjecture for manifolds all of whose geodesics are closed, Invent. Math. 210 (2017), 911–962. DOI: 10.1007/s00222-017-0742-4. Also arXiv:1511.07852.
  • S. Ramanujan, On certain trigonometrical sums and their applications in the theory of numbers, Trans. Cambridge Philos. Soc. 22 (1918), no. 13, 259–276. https://ramanujan.sirinudi.org/Volumes/published/ram21.pdf.
  • J.-P. Serre, A Course in Arithmetic, Graduate Texts in Mathematics, vol. 7, Springer-Verlag, New York, 1973. doi:10.1007/978-1-4684-9884-4.
  • S. Smale, Generalized Poincaré's conjecture in dimensions greater than four, Ann. of Math. (2) 74 (1961), 391–406.
  • R. P. Stanley, Enumerative Combinatorics, Vol. 1, second edition, Cambridge University Press, 2012. Author's version of 15 July 2011, https://math.mit.edu/~rstan/ec/ec1.pdf.
  • E. M. Stein and R. Shakarchi, Fourier Analysis: An Introduction, Princeton Lectures in Analysis, vol. 1, Princeton University Press, Princeton, NJ, 2003.
  • C. J. Sutton, Detecting the moments of inertia of a molecule via its rotational spectrum, unpublished manuscript, 2013. https://math.dartmouth.edu/~cjsutton/Sutton.2013.Moments1.pdf.
  • C. J. Sutton, On the Poisson relation for compact Lie groups, Ann. Global Anal. Geom. 57 (2020), 537–589. DOI: 10.1007/s10455-020-09712-x. Also arXiv:1606.07426.
  • S. Tanno, Eigenvalues of the Laplacian of Riemannian manifolds, Tôhoku Math. J. (2) 25 (1973), 391–403. doi:10.2748/tmj/1178241341.
  • M. E. Taylor, Short Course on Pseudodifferential Operators, author's version, 2022. https://mtaylor.web.unc.edu/wp-content/uploads/sites/16915/2022/05/psidolect.pdf.
  • G. Teschl, Mathematical Methods in Quantum Mechanics: With Applications to Schrödinger Operators, Graduate Studies in Mathematics, vol. 99, American Mathematical Society, Providence, RI, 2009. https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/schroe.pdf.
  • C. T. C. Wall, Free actions of finite groups on spheres, in Algebraic and Geometric Topology, Part 1 (R. J. Milgram, ed.), Proc. Sympos. Pure Math., vol. 32, American Mathematical Society, Providence, RI, 1978, 115–124.
  • L. C. Washington, Introduction to Cyclotomic Fields, Graduate Texts in Mathematics, vol. 83, Springer-Verlag, New York–Heidelberg–Berlin, 1982. doi:10.1007/978-1-4684-0133-2.
  • A. Weinstein, On the volume of manifolds all of whose geodesics are closed, J. Differential Geom. 9 (1974), 513–517. doi:10.4310/jdg/1214432547.
  • B. Wilking, Index parity of closed geodesics and rigidity of Hopf fibrations, Invent. Math. 144 (2001), 281–295. doi:10.1007/PL00005801.
  • J. A. Wolf, Isospectrality for spherical space forms, Results Math. 40 (2001), 321–338. doi:10.1007/BF03322715.
  • J.-Y. Wu, On almost isospectral manifolds, Indiana Univ. Math. J. 39 (1990), no. 4, 1373–1381. doi:10.1512/iumj.1990.39.39061.
  • C. T. Yang, Odd-dimensional Wiedersehen manifolds are spheres, J. Differential Geom. 15 (1980), no. 1, 91–96. doi:10.4310/jdg/1214435386.
  • S. Zelditch, Maximally degenerate Laplacians, Ann. Inst. Fourier (Grenoble) 46 (1996), 547–587. doi:10.5802/aif.1524.
  • S. Zelditch, Index and dynamics of quantized contact transformations, Ann. Inst. Fourier 47 (1997), no. 1, 305–363. doi:10.5802/aif.1568.
  • M. Egidi, K. Gittins, G. Habib and N. Peyerimhoff, Eigenvalue estimates for the magnetic Hodge Laplacian on differential forms, J. Spectr. Theory 13 (2023), 1297–1343. doi:10.4171/JST/480.
  • D.-W. Chiou, D.-H. Lee and W.-Y. Hsiang, Eigen wavefunctions of a charged particle moving in a self-linking magnetic field, arXiv:math-ph/0411044v1 (2004). https://arxiv.org/abs/math-ph/0411044v1.