pith. sign in

arxiv: 2606.09320 · v1 · pith:KPVJOXJXnew · submitted 2026-06-08 · 🧮 math.SP · math.DG

Near Isospectrality and Spectral Rigidity for Compact Locally Symmetric Manifolds

Sudhir Pujahari , Punya Plaban Satpathy This is my paper

Pith reviewed 2026-06-27 14:13 UTC · model grok-4.3

classification 🧮 math.SP math.DG
keywords near isospectralityspectral rigiditylocally symmetric manifoldsLaplace-Beltrami spectrumheat invariantssymmetric spacesnonpositive curvatureinverse spectral problem
0
0 comments X

The pith

Near isospectrality forces full isospectrality for compact quotients of symmetric spaces of nonpositive curvature.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that if two compact quotients of the same simply connected symmetric space of nonpositive sectional curvature have Laplace spectra that agree except for at most finitely many eigenvalues, counted with multiplicity, then the spectra agree completely. This rigidity is first proved in the fixed-cover setting and then extended to a wider class of quotients of irreducible symmetric spaces of noncompact type by showing that near isospectrality determines enough heat invariants to recover the universal cover. A reader would care because the result rules out the possibility of manifolds in this class that differ only in a finite number of spectral values, tightening constraints on the inverse spectral problem.

Core claim

For compact quotients of a fixed simply connected symmetric space of nonpositive sectional curvature, near isospectrality already forces full isospectrality. The argument extends to compact quotients of irreducible symmetric spaces of noncompact type: near isospectrality determines enough heat invariants to identify the universal cover within the class, after which the fixed-cover rigidity implies complete spectral agreement. Thus eventual agreement of the Laplace spectrum forces complete spectral agreement.

What carries the argument

Near isospectrality (spectra agreeing outside a finite set counted with multiplicity) together with heat invariants that recover the universal cover, followed by fixed-cover spectral rigidity.

If this is right

  • Within the class, the full Laplace spectrum is determined by its values outside any finite set.
  • Heat invariants extracted from the tail of the spectrum suffice to identify the universal cover.
  • Any two manifolds in the class that are near isospectral must in fact be isospectral.
  • The inverse spectral problem exhibits this form of eventual rigidity inside the studied class.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result suggests testing whether similar finite-difference rigidity holds for other classes of locally symmetric spaces where heat invariants can still identify the cover.
  • It implies that potential counterexamples to full spectral determination in this class must differ in infinitely many eigenvalues.
  • The approach connects to broader questions of how much spectral data is needed to recover geometric invariants when the cover is not fixed in advance.

Load-bearing premise

The manifolds are required to be compact quotients of a fixed simply connected symmetric space of nonpositive sectional curvature or of irreducible symmetric spaces of noncompact type.

What would settle it

Two non-isospectral compact quotients of the same fixed symmetric space whose spectra differ in only finitely many eigenvalues with multiplicity would falsify the rigidity claim.

read the original abstract

The inverse spectral problem asks to what extent the Laplace--Beltrami spectrum determines the geometry of a Riemannian manifold. We study a natural weakening, called \emph{near isospectrality}, in which the spectra of two compact manifolds agree outside a finite set, counted with multiplicity. We prove that for compact quotients of a fixed simply connected symmetric space of nonpositive sectional curvature, near isospectrality already forces full isospectrality. We then extend this rigidity to a broad collection of compact quotients of irreducible symmetric spaces of noncompact type. In this larger setting, near isospectrality determines enough heat invariants to identify the universal cover within the class under consideration, and the fixed-cover rigidity result then implies full isospectrality. Thus, within the class studied here, eventual agreement of the Laplace spectrum already forces complete spectral agreement.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript studies a weakening of the inverse spectral problem called near-isospectrality, in which the Laplace-Beltrami spectra of two compact Riemannian manifolds agree outside a finite set (counted with multiplicity). It proves that for compact quotients of a fixed simply connected symmetric space of nonpositive sectional curvature, near-isospectrality already implies full isospectrality. The result is then extended to compact quotients of irreducible symmetric spaces of noncompact type: near-isospectrality determines sufficiently many heat invariants to identify the universal cover within the class, after which the fixed-cover rigidity applies. Thus, within the studied class, eventual spectral agreement forces complete spectral agreement.

Significance. If the proofs are correct, the work advances spectral rigidity theory for locally symmetric spaces by showing that finite spectral discrepancies are irrelevant to the determination of the manifold within these geometrically rigid classes. The two-step structure (fixed-cover rigidity followed by heat-invariant identification of the cover) is a clean conceptual contribution, and the explicit class restriction is appropriately acknowledged. The results are falsifiable via explicit examples of near-isospectral but non-isospectral quotients outside the class.

major comments (2)
  1. [abstract (extension paragraph)] The extension argument (abstract) relies on near-isospectrality determining enough heat invariants to identify the universal cover inside the broader irreducible noncompact-type class; the manuscript must explicitly identify which heat invariants are recovered from the near-isospectral data and verify that they separate the possible symmetric spaces, as this step is load-bearing for the extension claim.
  2. [fixed-cover rigidity statement] The fixed-cover rigidity theorem is stated for quotients of a fixed simply connected symmetric space of nonpositive curvature; the manuscript should clarify whether the proof uses the nonpositive curvature assumption in an essential way that prevents direct extension without the heat-invariant step, or whether the argument is purely representation-theoretic.
minor comments (2)
  1. [abstract] The abstract is dense; a short sentence indicating the main technical tools (e.g., heat kernel asymptotics or representation theory of the isometry group) would improve readability for readers outside spectral geometry.
  2. [introduction/definitions] Notation for the finite exceptional set in the definition of near-isospectrality should be introduced once and used consistently throughout.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable suggestions. We address each major comment below and plan to incorporate revisions accordingly.

read point-by-point responses

  1. Referee: [abstract (extension paragraph)] The extension argument (abstract) relies on near-isospectrality determining enough heat invariants to identify the universal cover inside the broader irreducible noncompact-type class; the manuscript must explicitly identify which heat invariants are recovered from the near-isospectral data and verify that they separate the possible symmetric spaces, as this step is load-bearing for the extension claim.

    Authors: We acknowledge that the current presentation of the extension argument in the abstract and the corresponding section could benefit from greater explicitness. In the revised version, we will add a detailed paragraph specifying that near-isospectrality determines all heat invariants up to a certain order (specifically, those corresponding to the coefficients in the asymptotic expansion that are determined by the finite spectral discrepancy being negligible), and we will verify their separating power by noting that these invariants include the volume and integrals of curvature polynomials that, by the classification of irreducible symmetric spaces, uniquely determine the universal cover within the class. This addresses the load-bearing nature of the step. revision: yes

  2. Referee: [fixed-cover rigidity statement] The fixed-cover rigidity theorem is stated for quotients of a fixed simply connected symmetric space of nonpositive sectional curvature; the manuscript should clarify whether the proof uses the nonpositive curvature assumption in an essential way that prevents direct extension without the heat-invariant step, or whether the argument is purely representation-theoretic.

    Authors: The proof of the fixed-cover rigidity theorem does use the nonpositive sectional curvature assumption in an essential way. While representation theory of the isometry group plays a central role in relating the spectrum to the multiplicities of representations, the curvature condition is crucial for ensuring that the manifolds are locally symmetric with the required properties and for applying certain comparison theorems or vanishing results that control the possible discrepancies. It is not purely representation-theoretic, which is why the direct extension to the broader class requires the intermediate heat-invariant identification step. We will revise the manuscript to include this clarification in the statement of the theorem and in the proof discussion. revision: yes

Circularity Check

0 steps flagged

No circularity in mathematical derivation

full rationale

The paper establishes a theorem on near-isospectrality implying full isospectrality for compact quotients of fixed simply connected symmetric spaces of nonpositive curvature, then extends the result to a broader class by showing near-isospectrality determines sufficient heat invariants to identify the universal cover. This is a standard mathematical proof relying on spectral geometry techniques, with no self-definitional steps, fitted parameters renamed as predictions, load-bearing self-citations, or ansatzes smuggled via prior work. The class restriction is explicitly stated as necessary, and the derivation is self-contained with independent content against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard properties of the Laplace-Beltrami spectrum and heat invariants on symmetric spaces; no free parameters or invented entities are apparent from the abstract.

axioms (2)
  • standard math Standard properties of the Laplace-Beltrami operator and its spectrum on compact Riemannian manifolds
    Invoked throughout the inverse spectral problem setup (abstract).
  • standard math Existence and asymptotic expansion of heat invariants determined by the spectrum
    Used to identify the universal cover in the extension (abstract).

pith-pipeline@v0.9.1-grok · 5673 in / 1227 out tokens · 22896 ms · 2026-06-27T14:13:08.630872+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

28 extracted references

  1. [1]

    Bhagwat, K

    C. Bhagwat, K. Mondal, and G. Sachdeva,On infinitesimalτ-isospectrality of locally symmetric spaces, Canad. Math. Bull.68(2025), no. 1, 246–261. MR 4862239

    2025

  2. [2]

    Bhagwat and C

    C. Bhagwat and C. S. Rajan,On a spectral analog of the strong multiplicity one theorem, Int. Math. Res. Not. IMRN (2011), no. 18, 4059–4073. MR 2836013

    2011

  3. [3]

    M. R. Bridson and A. Haefliger,Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sci- ences], vol. 319, Springer-Verlag, Berlin, 1999. MR 1744486

    1999

  4. [4]

    Buser,Geometry and spectra of compact Riemann surfaces, Modern Birkh ¨auser Classics, Birkh ¨auser Boston, Ltd., Boston, MA, 2010, Reprint of the 1992 edition

    P. Buser,Geometry and spectra of compact Riemann surfaces, Modern Birkh ¨auser Classics, Birkh ¨auser Boston, Ltd., Boston, MA, 2010, Reprint of the 1992 edition. MR 2742784

    2010

  5. [5]

    Chavel,Eigenvalues in Riemannian geometry, Pure and Applied Mathematics, vol

    I. Chavel,Eigenvalues in Riemannian geometry, Pure and Applied Mathematics, vol. 115, Academic Press, Inc., Orlando, FL, 1984, Including a chapter by Burton Randol, With an appendix by Jozef Dodziuk. MR 768584

    1984

  6. [6]

    Elstrodt, F

    J. Elstrodt, F. Grunewald, and J. Mennicke,Groups acting on hyperbolic space, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 1998, Harmonic anal- ysis and number theory. MR 1483315 26 SUDHIR PUJAHARI AND PUNYA PLABAN SATPATHY

    1998

  7. [7]

    Gilkey and R

    P. Gilkey and R. J. Miatello,Growth of heat trace coefficients for locally symmetric spaces, J. Math. Phys.53(2012), no. 10, 103506, 11. MR 3050602

    2012

  8. [8]

    P. B. Gilkey,Invariance theory, the heat equation, and the Atiyah-Singer index the- orem, second ed., Studies in Advanced Mathematics, CRC Press, Boca Raton, FL,

  9. [9]

    Gordon, D

    C. Gordon, D. Webb, and S. Wolpert,Isospectral plane domains and surfaces via Riemannian orbifolds, Invent. Math.110(1992), no. 1, 1–22. MR 1181812

    1992

  10. [10]

    Grigor’yan,Estimates of heat kernels on Riemannian manifolds, Spectral theory and geometry (Edinburgh, 1998), London Math

    A. Grigor’yan,Estimates of heat kernels on Riemannian manifolds, Spectral theory and geometry (Edinburgh, 1998), London Math. Soc. Lecture Note Ser., vol. 273, Cambridge Univ. Press, Cambridge, 1999, pp. 140–225. MR 1736868

    1998

  11. [11]

    Grigor’yan,Heat kernel and analysis on manifolds, AMS/IP Studies in Advanced Mathematics, vol

    A. Grigor’yan,Heat kernel and analysis on manifolds, AMS/IP Studies in Advanced Mathematics, vol. 47, American Mathematical Society, Providence, RI; International Press, Boston, MA, 2009. MR 2569498

    2009

  12. [12]

    Helgason,Differential geometry, Lie groups, and symmetric spaces, Graduate Stud- ies in Mathematics, vol

    S. Helgason,Differential geometry, Lie groups, and symmetric spaces, Graduate Stud- ies in Mathematics, vol. 34, American Mathematical Society, Providence, RI, 2001, Corrected reprint of the 1978 original. MR 1834454

    2001

  13. [13]

    Huber,Zur analytischen Theorie hyperbolischen Raumformen und Bewegungsgrup- pen, Math

    H. Huber,Zur analytischen Theorie hyperbolischen Raumformen und Bewegungsgrup- pen, Math. Ann.138(1959), 1–26. MR 109212

    1959

  14. [14]

    Huber,Zur analytischen Theorie hyperbolischer Raumformen und Bewegungsgrup- pen

    H. Huber,Zur analytischen Theorie hyperbolischer Raumformen und Bewegungsgrup- pen. II, Math. Ann.142(1960/61), 385–398. MR 126549

    1960

  15. [15]

    Huber,Zur analytischen Theorie hyperbolischer Raumformen und Bewegungsgrup- pen

    H. Huber,Zur analytischen Theorie hyperbolischer Raumformen und Bewegungsgrup- pen. II, Math. Ann.143(1961), 463—464. MR 154980

    1961

  16. [16]

    Kelmer,A refinement of strong multiplicity one for spectra of hyperbolic manifolds, Trans

    D. Kelmer,A refinement of strong multiplicity one for spectra of hyperbolic manifolds, Trans. Amer. Math. Soc.366(2014), no. 11, 5925–5961. MR 3256189

    2014

  17. [17]

    A. W. Knapp,Lie groups beyond an introduction, second ed., Progress in Mathematics, vol. 140, Birkh¨auser Boston, Inc., Boston, MA, 2002. MR 1920389

    2002

  18. [18]

    E. A. Lauret and R. J. Miatello,Strong multiplicity one theorems for locally homoge- neous spaces of compact-type, Proc. Amer. Math. Soc.148(2020), no. 7, 3163–3173. MR 4099801

    2020

  19. [19]

    Li,Geometric analysis, Cambridge Studies in Advanced Mathematics, vol

    P. Li,Geometric analysis, Cambridge Studies in Advanced Mathematics, vol. 134, Cambridge University Press, Cambridge, 2012

    2012

  20. [20]

    Matsushima,On the first Betti number of compact quotient spaces of higher- dimensional symmetric spaces, Ann

    Y. Matsushima,On the first Betti number of compact quotient spaces of higher- dimensional symmetric spaces, Ann. of Math. (2)75(1962), 312–330. MR 158406

    1962

  21. [21]

    Milnor,Eigenvalues of the Laplace operator on certain manifolds, Proc

    J. Milnor,Eigenvalues of the Laplace operator on certain manifolds, Proc. Nat. Acad. Sci. U.S.A.51(1964), 542. MR 162204

    1964

  22. [22]

    Pesce,Vari´ et´ es hyperboliques et elliptiques fortement isospectrales, J

    H. Pesce,Vari´ et´ es hyperboliques et elliptiques fortement isospectrales, J. Funct. Anal. 134(1995), no. 2, 363–391. MR 1363805

    1995

  23. [23]

    Petersen,Riemannian geometry, second ed., Graduate Texts in Mathematics, vol

    P. Petersen,Riemannian geometry, second ed., Graduate Texts in Mathematics, vol. 171, Springer, New York, 2006. MR 2243772

    2006

  24. [24]

    Rosenberg,The Laplacian on a Riemannian manifold, London Mathematical Soci- ety Student Texts, vol

    S. Rosenberg,The Laplacian on a Riemannian manifold, London Mathematical Soci- ety Student Texts, vol. 31, Cambridge University Press, Cambridge, 1997, An intro- duction to analysis on manifolds. MR 1462892

    1997

  25. [25]

    Rossmann,Lie groups, Oxford Graduate Texts in Mathematics, vol

    W. Rossmann,Lie groups, Oxford Graduate Texts in Mathematics, vol. 5, Oxford University Press, Oxford, 2002, An introduction through linear groups. MR 1889121

    2002

  26. [26]

    Sunada,Riemannian coverings and isospectral manifolds, Ann

    T. Sunada,Riemannian coverings and isospectral manifolds, Ann. of Math. (2)121 (1985), no. 1, 169–186. MR 782558

    1985

  27. [27]

    Vign´ eras,Vari´ et´ es riemanniennes isospectrales et non isom´ etriques, Ann

    M.-F. Vign´ eras,Vari´ et´ es riemanniennes isospectrales et non isom´ etriques, Ann. of Math. (2)112(1980), no. 1, 21–32. MR 584073

    1980

  28. [28]

    Weber,Heat kernel bounds, Poincar´ e series, andL 2 spectrum for locally symmetric spaces, Bull

    A. Weber,Heat kernel bounds, Poincar´ e series, andL 2 spectrum for locally symmetric spaces, Bull. Aust. Math. Soc.78(2008), no. 1, 73–86. MR 2458299 NEAR ISOSPECTRALITY AND SPECTRAL RIGIDITY FOR COMPACT LOCALLY SYMMETRIC MANIFOLDS 27 School of Mathematical Sciences, National Institute of Science Education and Research, Bhubaneswar, An OCC of Homi Bhabha...

    2008