pith. machine review for the scientific record. sign in

arxiv: 2605.05406 · v1 · submitted 2026-05-06 · 🧮 math.DG · math.SP

Recognition: unknown

Hodge Laplacian on 1-forms of homogeneous 3-spheres

Emilio A. Lauret, Jonas Henkel

Pith reviewed 2026-05-08 15:39 UTC · model grok-4.3

classification 🧮 math.DG math.SP
keywords Hodge Laplacian on 1-formshomogeneous 3-spheresleft-invariant metricsSU(2)SO(3)eigenvalue spectruminverse problemBerger spheres
0
0 comments X

The pith

The spectrum of the Hodge Laplacian on 1-forms determines any left-invariant metric on the 3-sphere up to isometry.

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

The paper computes the spectrum of the Hodge Laplacian on 1-forms for left-invariant metrics on the 3-sphere and its quotients. It derives an explicit formula for the smallest such eigenvalue that works for any homogeneous metric in this setting. The authors further determine the entire spectrum for the one-parameter Berger family and observe how the eigenvalues split as the metric varies. These findings are applied to prove that the 1-form spectrum uniquely identifies the metric up to isometry.

Core claim

The central discovery is an explicit formula for the first eigenvalue of the Hodge Laplacian on 1-forms for general left-invariant metrics on SU(2) ≅ S³ and SO(3) ≅ RP³. This formula is obtained after first calculating the full spectrum on Berger 3-spheres and studying the splitting of eigenvalues under the canonical variation. The formula then serves as the key tool to establish that the spectrum determines the metric up to isometry.

What carries the argument

The explicit formula for the first eigenvalue of the Hodge Laplacian on 1-forms, derived from the analysis of Berger spheres.

If this is right

  • The first eigenvalue is given explicitly in terms of the metric parameters for all such spaces.
  • The spectrum on Berger spheres is fully determined and shows a characteristic splitting behavior.
  • The 1-form spectrum serves as a complete invariant for isometry classes of left-invariant metrics on these groups.

Where Pith is reading between the lines

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

  • Similar spectral formulas could be sought for the Laplacian on other differential forms or on related homogeneous manifolds.
  • A direct computational verification of the formula for several specific metrics would provide independent confirmation.
  • The inverse result suggests that spectral data can replace geometric data in classification problems for symmetric spaces.

Load-bearing premise

That the derived formula correctly gives the first eigenvalue for every left-invariant metric on these groups.

What would settle it

A calculation for a concrete left-invariant metric whose first eigenvalue does not match the value predicted by the formula, or an example of two non-isometric metrics sharing the identical 1-form spectrum.

Figures

Figures reproduced from arXiv: 2605.05406 by Emilio A. Lauret, Jonas Henkel.

Figure 1
Figure 1. Figure 1: The research workflow leading to the desired result. The formulation of the First Eigenvalue Conjecture builds on explicit low-weight spectra, asymp￾totic matrix bounds, and numerical stress tests. The formal proof subsequently bypasses the representation theoretical setup entirely by employing the Curl op￾erator view at source ↗
read the original abstract

We study the spectrum of the Hodge-Laplacian on $1$-forms for left-invariant metrics on the Lie group $\operatorname{SU}(2) \cong S^3$ and its quotient $\operatorname{SO}(3)\cong P^3(\mathbb{R})$. To the best of our knowledge, we provide the first explicit computation of the full spectrum of the Hodge-Laplacian for a canonical variation by determining the eigenvalues of Berger 3-spheres and analyzing their resulting splitting behavior. Furthermore, we propose and rigorously prove an explicit formula for the first eigenvalue of general homogeneous metrics on $\operatorname{SU}(2)$ and $\operatorname{SO}(3)$. The formal proof of this result was autonomously discovered by an advanced AI model, providing a notable case study for AI-driven mathematical research. Finally, leveraging this explicit formula, we apply these spectral results to the inverse problem, showing that the spectrum on $1$-forms determines the metric up to isometry. The source code for the symbolic computations, visualizations, and a Monte Carlo stress test is provided in the electronic supplementary material [He26].

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 / 1 minor

Summary. The paper computes the spectrum of the Hodge Laplacian on 1-forms for left-invariant metrics on SU(2) ≅ S³ and SO(3) ≅ RP³. It claims the first explicit full spectrum computation for Berger 3-spheres via canonical variation, an explicit formula for the first eigenvalue of general homogeneous metrics (autonomously discovered and rigorously proved by an AI model), and an inverse result that the 1-form spectrum determines the metric up to isometry. Symbolic code, visualizations, and Monte Carlo tests are supplied in supplementary material.

Significance. If the central formula and its proof hold, the work would supply the first closed-form expression for the lowest eigenvalue on 1-forms over the full family of left-invariant metrics on these groups, together with a uniqueness result for the inverse spectral problem. The explicit provision of symbolic code and Monte Carlo verification scripts is a positive contribution that allows external checking of the claimed formula.

major comments (2)
  1. [Section presenting the AI-generated proof and the eigenvalue formula] The manuscript asserts a rigorous proof of the explicit first-eigenvalue formula that was autonomously generated by an AI model, yet supplies neither the detailed derivation steps nor independent cross-checks against known special cases (round metric, Berger spheres with explicit eigenvalues). This verification gap is load-bearing for both the eigenvalue formula and the subsequent inverse-spectral claim.
  2. [Section on the inverse spectral problem] The inverse result that the 1-form spectrum determines the metric up to isometry is deduced directly from the explicit formula; without an independently verified formula or an explicit reconstruction argument showing how the three metric parameters are recovered from the lowest eigenvalue, the uniqueness statement remains conditional on the unverified derivation.
minor comments (1)
  1. [Abstract and introduction] The abstract states that the spectrum on 1-forms determines the metric up to isometry, but the precise normalization (volume, curvature, or left-invariance constraints) under which this holds should be stated explicitly in the main text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their detailed and constructive report. We address each major comment below and outline the revisions we will make to the manuscript.

read point-by-point responses

  1. Referee: [Section presenting the AI-generated proof and the eigenvalue formula] The manuscript asserts a rigorous proof of the explicit first-eigenvalue formula that was autonomously generated by an AI model, yet supplies neither the detailed derivation steps nor independent cross-checks against known special cases (round metric, Berger spheres with explicit eigenvalues). This verification gap is load-bearing for both the eigenvalue formula and the subsequent inverse-spectral claim.

    Authors: We recognize that the detailed derivation steps of the AI-generated proof are not presented in full in the current manuscript. The supplementary material includes symbolic code for verification, but we agree that explicit cross-checks in the main text would be beneficial. In the revised manuscript, we will include a complete step-by-step derivation of the formula, along with direct comparisons to the known spectrum for the round metric on S^3 and for Berger spheres where eigenvalues have been previously computed in the literature. This will address the verification gap. revision: yes

  2. Referee: [Section on the inverse spectral problem] The inverse result that the 1-form spectrum determines the metric up to isometry is deduced directly from the explicit formula; without an independently verified formula or an explicit reconstruction argument showing how the three metric parameters are recovered from the lowest eigenvalue, the uniqueness statement remains conditional on the unverified derivation.

    Authors: The inverse spectral result relies on the explicit formula for the first eigenvalue. To strengthen this, we will add an explicit argument in the revised version demonstrating how the three metric parameters (corresponding to the left-invariant metric on SU(2)) can be recovered uniquely from the lowest eigenvalue and its multiplicity. This reconstruction will be presented independently, allowing the uniqueness claim to stand on firmer ground once the formula is verified through the added derivations. revision: yes

Circularity Check

0 steps flagged

No circularity; explicit derivation from representation theory with external verification code

full rationale

The paper derives the first-eigenvalue formula for the Hodge Laplacian on 1-forms via left-invariant metrics on SU(2) and SO(3) using group representation theory and explicit diagonalization of the operator. It supplies symbolic code, visualizations, and Monte Carlo stress tests in supplementary material for independent verification. No equation or claim reduces the result to a fitted input, self-definition, or load-bearing self-citation by construction; the inverse-spectral conclusion follows from the computed spectrum rather than being presupposed. The AI-assisted proof is presented as a discovery aid, not as the sole unverified foundation that would create circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard facts from Lie group theory, Hodge theory on Riemannian manifolds, and representation theory of SU(2); no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • standard math Left-invariant metrics on SU(2) are determined by their values at the identity via the Lie algebra inner product.
    Invoked to reduce the metric family to a finite-dimensional parameter space.
  • standard math The Hodge Laplacian commutes with the group action and can be diagonalized using irreducible representations.
    Used to compute the spectrum via representation theory.

pith-pipeline@v0.9.0 · 5488 in / 1410 out tokens · 68025 ms · 2026-05-08T15:39:59.385516+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

45 extracted references · 33 canonical work pages

  1. [1]

    Agricola, J

    I. Agricola, J. Henkel . The Laplace-Beltrami spectrum on naturally reductive homogeneous spaces . Preprint, 2025. arXiv:2503.21416. DOI: 10.48550/arXiv.2503.21416 https://doi.org/10.48550/arXiv.2503.21416

    work page doi:10.48550/arxiv.2503.21416 2025

  2. [2]

    C. B\"ar . The curl operator on odd-dimensional manifolds . J. Math. Phys. 60:3 (2019), 031501. DOI: 10.1063/1.5082528 https://doi.org/10.1063/1.5082528. arXiv: 1702.02044 https://arxiv.org/abs/1702.02044

    work page doi:10.1063/1.5082528 2019

  3. [3]

    Ben Halima

    M. Ben Halima . Spectrum of the Hodge Laplacian on complex Grassmannian Gr_2( C ^ m+2 ) . Bull. Sci. Math. 132:1 (2008), 19--26. DOI: 10.1016/j.bulsci.2007.04.003 http://dx.doi.org/10.1016/j.bulsci.2007.04.003

    work page doi:10.1016/j.bulsci.2007.04.003 2008

  4. [4]

    B\'erard-Bergery, J.P

    L. B\'erard-Bergery, J.P. Bourguignon . Laplacians and Riemannian submersions with totally geodesic fibres . Illinois J. Math. 26 (1982), 181--200. DOI: 10.1215/ijm/1256046790 https://doi.org/10.1215/ijm/1256046790

    work page doi:10.1215/ijm/1256046790 1982

  5. [5]

    A. Besse . Einstein manifolds. Reprint of the 1987 edition. Classics in Mathematics, Springer, Berlin, 2008. DOI: 10.1007/978-3-540-74311-8 https://doi.org/10.1007/978-3-540-74311-8

    work page doi:10.1007/978-3-540-74311-8 1987

  6. [6]

    G., Piccione, P

    R. Bettiol, P. Piccione . Bifurcation and local rigidity of homogeneous solutions to the Y amabe problem on spheres. Calc. Var. Partial Differential Equations 47:3--4 (2013), 789--807. DOI: http://dx.doi.org/10.1007/s00526-012-0535-y 10.1007/s00526-012-0535-y

    work page doi:10.1007/s00526-012-0535-y 2013

  7. [7]

    Bettiol, E.A

    R. Bettiol, E.A. Lauret, P. Piccione . The first eigenvalue of a homogeneous CROSS. J. Geom. Anal. 32 (2022), 76. DOI: https://doi.org/10.1007/s12220-021-00826-7 10.1007/s12220-021-00826-7

    work page doi:10.1007/s12220-021-00826-7 2022

  8. [8]

    G., Lauret, E

    R. Bettiol, E.A. Lauret, P. Piccione . Full Laplace spectrum of distance spheres in symmetric spaces of rank one. Bull. Lond. Math. Soc. 54:5 (2022), 1683--1704. DOI: http://dx.doi.org/10.1112/blms.12650 10.1112/blms.12650

    work page doi:10.1112/blms.12650 2022

  9. [9]

    Branson, P.B

    T.P. Branson, P.B. Gilkey, B. rsted . Leading terms in the heat invariants for the Laplacians of the de Rham , signature, and spin complexes . Math. Scand. 66 (1990), 307--319. DOI: 10.7146/math.scand.a-12314 http://dx.doi.org/10.7146/math.scand.a-12314

    work page doi:10.7146/math.scand.a-12314 1990

  10. [10]

    C. B\"ar . The Dirac operator on homogeneous spaces and its spectrum on 3-dimensional lens spaces . Arch. Math. (Basel) 59 (1992), 65--79. DOI: 10.1007/BF01199016 https://doi.org/10.1007/BF01199016.\\ Erratum: August 1997, https://www.math.uni-potsdam.de/fileadmin/user_upload/Prof-Geometrie/Dokumente/Publikationen/erratum.pdf

    work page doi:10.1007/bf01199016 1992

  11. [11]

    Capoferri, D

    M. Capoferri, D. Vassiliev . Beyond the Hodge Theorem: curl and asymmetric pseudodifferential projections . J. Lond. Math. Soc. 113:1 (2026), e70431. DOI: 10.1112/jlms.70431 https://doi.org/10.1112/jlms.70431

    work page doi:10.1112/jlms.70431 2026

  12. [12]

    Colbois, G

    B. Colbois, G. Courtois . A note on the first nonzero eigenvalue of the Laplacian acting on p -forms . Manuscripta Math. 68:2 (1990), 143--160. DOI: 10.1007/BF02568757 https://doi.org/10.1007/BF02568757

    work page doi:10.1007/bf02568757 1990

  13. [13]

    El Chami

    F. El Chami . Spectra of the Laplace operator on Grassmann manifolds . Int. J. Pure Appl. Math. 12:4 (2004), 395--417

    2004

  14. [14]

    El Chami

    F. El Chami . A branching law from Sp (n) to Sp (q) Sp (n-q) and an application to L aplace operator spectra . Indian J. Pure Appl. Math. 43:1 (2012), 71--86. DOI: http://dx.doi.org/10.1007/s13226-012-0005-4 10.1007/s13226-012-0005-4

    work page doi:10.1007/s13226-012-0005-4 2012

  15. [15]

    G.W. Gibbons . Spectral asymmetry and quantum field theory in curved spacetime . Ann. Physics 125:1 (1980), 98--116. DOI: 10.1016/0003-4916(80)90120-7 https://doi.org/10.1016/0003-4916(80)90120-7

    work page doi:10.1016/0003-4916(80)90120-7 1980

  16. [16]

    Gier, P.D

    M.E. Gier, P.D. Hislop . The Multiplicity of Eigenvalues of the Hodge Laplacian on 5-Dimensional Compact Manifolds . J. Geom. Anal. 26:4 (2016), 3176--3193. DOI: 10.1007/s12220-015-9666-7 https://doi.org/10.1007/s12220-015-9666-7

    work page doi:10.1007/s12220-015-9666-7 2016

  17. [17]

    Gilkey , J.V

    P.B. Gilkey , J.V. Leahy , J. Park . Spectral geometry, Riemannian submersions, and the Gromov-Lawson conjecture . Stud. Adv. Math. , Chapman & Hall/CRC, Boca Raton FL, 1999

    1999

  18. [18]

    Gilkey, J.H

    P.B. Gilkey, J.H. Park . Riemannian submersions which preserve the eigenforms of the Laplacian . Illinois J. Math. 40 (1996), 194--201. DOI: 10.1215/ijm/1255986099 https://doi.org/10.1215/ijm/1255986099

    work page doi:10.1215/ijm/1255986099 1996

  19. [19]

    Gornet, J

    R. Gornet, J. McGowan . Lens Spaces, isospectral on forms but not on functions . LMS J. Comput. Math. 9 (2006), 270--286. DOI: http://dx.doi.org/10.1112/S1461157000001273 10.1112/S1461157000001273

    work page doi:10.1112/s1461157000001273 2006

  20. [20]

    Gornet, J

    R. Gornet, J. McGowan . Corrigendum to ``Lens Spaces, isospectral on forms but not on functions'' . DOI: https://doi.org/10.48550/arXiv.1906.07787 10.48550/arXiv.1906.07787 (2020)

    work page doi:10.48550/arxiv.1906.07787 1906

  21. [21]

    J. Henkel . The mathematician's assistant: integrating AI into research practice . Mathematische Semesterberichte 72:2 (2025), 117--144. DOI: 10.1007/s00591-025-00400-0 https://doi.org/10.1007/s00591-025-00400-0. arXiv: 2508.20236 https://arxiv.org/abs/2508.20236

    work page doi:10.1007/s00591-025-00400-0 2025

  22. [22]

    J. Henkel . Spectral Analysis of the Hodge-Laplacian on SU(2) . Electronic Supplementary Material, GitHub repository, 2025. https://github.com/jmhenkel/Code/blob/main/Spectral_Analysis_SU2.ipynb

    2025

  23. [23]

    A. Ikeda . Riemannian manifolds p -isospectral but not p+1 -isospectral . In Geometry of manifolds ( M atsumoto, 1988) , 383--417, Perspect. Math. 8, 1989

    1988

  24. [24]

    Ikeda, Y

    A. Ikeda, Y. Taniguchi . Spectra and eigenforms of the Laplacian on S^n nd P^n( C ) . Osaka J. Math. 15 (1978), 515--546

    1978

  25. [25]

    Kling, D

    J. Kling, D. Schueth . On the Dirac Spectrum of Homogeneous 3-Spheres . J. Geom. Anal. 32 (2022), article 275. DOI: 10.1007/s12220-022-00997-x https://doi.org/10.1007/s12220-022-00997-x

    work page doi:10.1007/s12220-022-00997-x 2022

  26. [26]

    E.A. Lauret . The spectrum on p -forms of a lens space . Geom. Dedicata 197 (2018), 107--122. DOI: http://dx.doi.org/10.1007/s10711-018-0322-9 10.1007/s10711-018-0322-9

    work page doi:10.1007/s10711-018-0322-9 2018

  27. [27]

    E.A. Lauret . The smallest Laplace eigenvalue of homogeneous 3-spheres . Bull. Lond. Math. Soc. 51:1 (2019), 49--69. DOI: http://dx.doi.org/10.1112/blms.12213 10.1112/blms.12213

    work page doi:10.1112/blms.12213 2019

  28. [28]

    Lauret, R.J

    E.A. Lauret, R.J. Miatello, J.P. Rossetti . Spectra of lens spaces from 1-norm spectra of congruence lattices. Int. Math. Res. Not. IMRN 2016:4 (2016), 1054--1089. DOI: http://dx.doi.org/10.1093/imrn/rnv159 10.1093/imrn/rnv159

    work page doi:10.1093/imrn/rnv159 2016

  29. [29]

    J. M. Lee . Introduction to Riemannian Manifolds. Grad. Texts in Math. 176. Springer Cham, 2018. DOI: https://doi.org/10.1007/978-3-319-91755-9 10.1007/978-3-319-91755-9

    work page doi:10.1007/978-3-319-91755-9 2018

  30. [30]

    S. Lin, B. Schmidt, C.J. Sutton . Geometric structures and the L aplace spectrum, P art II . Trans. Amer. Math. Soc. 374:12 (2021), 8483--8530. DOI: https://doi.org/10.1090/tran/8417 10.1090/tran/8417

    work page doi:10.1090/tran/8417 2021

  31. [31]

    J.D. Lotay . Stability of coassociative conical singularities . Comm. Anal. Geom. 20:4 (2012), 803--867. DOI: https://doi.org/10.4310/CAG.2012.v20.n4.a5 10.4310/CAG.2012.v20.n4.a5

    work page doi:10.4310/cag.2012.v20.n4.a5 2012

  32. [32]

    K. Mashimo . Spectra of the L aplacian on the C ayley projective plane. Tsukuba J. Math. 21:2 (1997), 367--396. DOI: http://dx.doi.org/10.21099/tkbjm/1496163248 10.21099/tkbjm/1496163248

    work page doi:10.21099/tkbjm/1496163248 1997

  33. [33]

    Matsushima, S

    Y. Matsushima, S. Murakami . On vector bundle valued harmonic forms and automorphic forms on symmetric Riemannian manifolds . Ann. of Math. (2) 78 (1963), 365--416. DOI: 10.2307/1970348 https://doi.org/10.2307/1970348

    work page doi:10.2307/1970348 1963

  34. [34]

    Miatello, J.P

    R.J. Miatello, J.P. Rossetti . Spectral properties of flat manifolds . In New developments in Lie theory and geometry , 83--113, Contemp. Math. 491, Amer. Math. Soc., Providence, RI, 2009

    2009

  35. [35]

    J. Milnor . Curvatures of left invariant metrics on lie groups. Adv. Math. 21:3 (1976), 293--329. DOI: http://dx.doi.org/10.1016/S0001-8708(76)80002-3 10.1016/S0001-8708(76)80002-3

    work page doi:10.1016/s0001-8708(76)80002-3 1976

  36. [36]

    Rosenberg

    S. Rosenberg . The L aplacian on a R iemannian manifold . London Math. Soc. Stud. Texts 31, Cambridge University Press, Cambridge, 1997. DOI: https://doi.org/10.1017/CBO9780511623783 10.1017/CBO9780511623783

    work page doi:10.1017/cbo9780511623783 1997

  37. [37]

    at f\"ur Mathematik und Informatik, Ludwig-Maximilians-Universit\

    U. Semmelmann . Conformal Killing forms on Riemannian manifolds . Habilitationsschrift, Fakult\"at f\"ur Mathematik und Informatik, Ludwig-Maximilians-Universit\"at M\"unchen, 2001. Available at https://www.igt.uni-stuttgart.de/dokumente/semmelmann/semmelmann_Publ/killing20_24a.pdf https://www.igt.uni-stuttgart.de/dokumente/semmelmann/semmelmann\_Publ/kil...

    2001

  38. [38]

    Semmelmann, G

    U. Semmelmann, G. Weingart . Vanishing theorems for quaternionic Kähler manifolds . J. Reine Angew. Math. 544 (2002), 111--132. DOI: http://dx.doi.org/10.1515/crll.2002.019 10.1515/crll.2002.019

    work page doi:10.1515/crll.2002.019 2002

  39. [39]

    Sthanumoorthy

    N. Sthanumoorthy . Spectra of de R ham H odge operator on SO (n+2)/ SO (2) SO (n) . Bull. Sci. Math. (2) 108:3 (1984), 297--320

    1984

  40. [40]

    Takeuchi

    M. Takeuchi . Modern spherical functions. (Transl. from the Japanese by Toshinobu Nagura.) Transl. Math. Monogr. 135. Amer. Math. Soc., Providence, 1994

    1994

  41. [41]

    S. Tanno . The first eigenvalue of the L aplacian on spheres. T ohoku Math. J. (2) 31:2 (1979), 179--185. DOI: http://dx.doi.org/10.2748/tmj/1178229837 10.2748/tmj/1178229837

    work page doi:10.2748/tmj/1178229837 1979

  42. [42]

    Tsukamoto

    C. Tsukamoto . Spectra of Laplace-Beltrami operators on SO (n+2)/ SO (2) SO (n) and Sp (n+1)/ Sp (1) Sp (n) . Osaka J. Math. 18:2 (1981), 407--426. DOI: http://dx.doi.org/10.18910/8349 10.18910/8349

    work page doi:10.18910/8349 1981

  43. [43]

    N. Wallach . Harmonic analysis on homogeneous spaces . Pure and Applied Mathematics 19. Marcel Dekker, Inc., New York, 1973

    1973

  44. [44]

    Weisstein

    E.W. Weisstein . Vieta's Formulas . In: MathWorld---A Wolfram Web Resource. https://mathworld.wolfram.com/VietasFormulas.html

  45. [45]

    Ricci decomposition

    Wikipedia contributors . Ricci decomposition. Wikipedia, The Free Encyclopedia. Revision of 10 September 2025, 08:39 UTC. URL: https://en.wikipedia.org/w/index.php?title=Ricci_decomposition&oldid=1310557434#Related_formulas. Accessed 31 March 2026

    2025