Spectral Selection and Minimal Morse Structures on the Poincar\'e Dodecahedral Space

Carlos A. Cadavid; Juan D. Velez; Sergio Lenis

arxiv: 2604.13347 · v1 · submitted 2026-04-14 · 🧮 math.DG

Spectral Selection and Minimal Morse Structures on the Poincar\'e Dodecahedral Space

Carlos A. Cadavid , Juan D. Velez , Sergio Lenis This is my paper

Pith reviewed 2026-05-10 13:39 UTC · model grok-4.3

classification 🧮 math.DG

keywords Poincaré dodecahedral spaceminimal Morse functionproperty Pheat equationconformal perturbationeigenvalue splittingLaplace-Beltrami operatorMorse theory

0 comments

The pith

Conformal perturbations near the round metric on the Poincaré dodecahedral space produce metrics where the first Laplacian eigenfunction is minimal Morse with six critical points.

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

The paper aims to show that the round metric on the Poincaré dodecahedral space fails a spectral selection property P for the heat equation, but this failure can be repaired by small conformal changes to the metric. Property P requires that solutions to the heat equation from a dense open set of initial data become minimal Morse functions at long times. Using the representation theory of the first eigenspace, the authors prove the round metric violates P because that eigenspace contains non-minimal Morse functions. They then apply conformal variations together with a finite-dimensional reduction of the eigenvalue splitting to construct nearby metrics having a simple first eigenvalue whose eigenfunction is minimal Morse with exactly six critical points, thereby restoring P.

Core claim

We introduce property P asserting that for a dense open set of initial data the heat flow on the spherical Poincaré dodecahedral space eventually yields a minimal Morse function. An obstruction principle shows that if the first positive eigenspace contains a Morse function that is not minimal then P fails. The round metric violates P by explicit representation-theoretic description of its first eigenspace. Using conformal variations and finite-dimensional reduction of the first-order splitting of the lowest eigenvalue cluster we construct metrics arbitrarily close to the spherical metric for which the first eigenvalue is simple and the corresponding eigenfunction is minimal Morse with six of

What carries the argument

the finite-dimensional reduction of the first-order splitting of the lowest eigenvalue cluster under conformal variations, which isolates a simple eigenvalue whose eigenfunction has minimal Morse structure

If this is right

The round metric violates property P for the heat equation.
Metrics obtained by the conformal construction satisfy property P.
The first eigenfunction can be made minimal Morse with exactly six critical points.
Representation theory of the eigenspace controls whether minimal Morse selection holds.

Where Pith is reading between the lines

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

The same perturbative mechanism could restore minimal Morse selection on other spherical space forms whose first eigenspace is reducible under the isometry group.
The appearance of precisely six critical points may be dictated by the binary icosahedral group action on the eigenfunctions.
Numerical integration of the heat equation on the constructed metrics would provide an independent check that long-time solutions indeed approach minimal Morse functions.

Load-bearing premise

The finite-dimensional reduction under conformal perturbation produces a simple eigenvalue whose eigenfunction is minimal Morse rather than a non-minimal Morse function from the original cluster.

What would settle it

Explicitly compute the first-order eigenvalue splitting and the resulting eigenfunction for one concrete conformal factor on the space and check whether that eigenfunction has exactly six critical points and satisfies the minimal Morse condition.

read the original abstract

We study the long time behavior of the heat equation on the spherical Poincare dodecahedral space and introduce a spectral selection property P, asserting that for a dense open set of initial data, the solution eventually becomes a minimal Morse function. We first establish an obstruction principle. If the first positive eigenspace of the Laplace Beltrami operator contains a Morse function that is not minimal, then property P fails. Using an explicit representation theoretic description of the spherical first eigenspace, we show that the round metric on M violates property P. We then develop a perturbative spectral selection mechanism. Using conformal variations and a finite dimensional reduction of the first-order splitting of the lowest eigenvalue cluster, we construct metrics arbitrarily close to the spherical metric for which the first eigenvalue is simple and the corresponding eigenfunction is minimal Morse with exactly six critical points. As a consequence, these nearby metrics satisfy property P. This establishes both the failure and the restoration of minimal Morse selection on M, and provides a concrete spectral mechanism linking representation theory, eigenvalue splitting, and global Morse structure.

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.

Desk Editor's Note private letter to a colleague

The paper shows that the round metric on the Poincaré dodecahedral space fails a spectral selection property for minimal Morse eigenfunctions due to its first eigenspace, but nearby conformal metrics restore the property by splitting the eigenvalue to select a simple minimal Morse function with six critical points.

read the letter

The main thing to know is that this paper gives an explicit obstruction for the round metric on the Poincaré dodecahedral space and then builds nearby metrics that fix it. They define property P as the heat equation solution becoming a minimal Morse function for dense open initial data. The obstruction is straightforward: if the first eigenspace contains a non-minimal Morse function, P fails. Using the representation theory of the isometry group, they show this happens for the round metric. That part is clean and direct. For the fix, they use conformal variations and reduce the first-order eigenvalue splitting to a finite-dimensional problem on the eigenspace. This lets them select a combination where the lowest eigenvalue is simple and the eigenfunction is minimal Morse with exactly six non-degenerate critical points. For small enough perturbations, the critical points persist by standard C^2 closeness. The result is that these nearby metrics satisfy P. This is a targeted, concrete example linking representation theory, eigenvalue perturbation, and Morse structure on one specific 3-manifold. It does not rely on fitted parameters or circular arguments. The methods are standard but applied precisely here. The soft spots are mostly about scope. Everything stays local to perturbations of the round metric, so it does not address global questions or other metrics far away. The finite-dimensional reduction and the exact verification of six critical points will need checking in the full calculations, though the logic in the abstract is consistent and the stress test finds no load-bearing issues. The paper is for people working on spectral geometry of 3-manifolds or representation-theoretic approaches to eigenvalues. A reader who wants a hands-on case study connecting these areas will get value from the explicit construction. It is narrow but solid enough to deserve a serious referee who can verify the perturbation details and the Morse count. I would send it to peer review rather than desk reject.

Referee Report

2 major / 2 minor

Summary. The manuscript introduces the spectral selection property P for solutions of the heat equation on the Poincaré dodecahedral space M, asserting that for a dense open set of initial data the long-time limit is a minimal Morse function. It establishes an obstruction principle: if the first positive eigenspace of the Laplace-Beltrami operator contains a non-minimal Morse function, then P fails. Using the representation-theoretic description of the first eigenspace on the round metric, the authors show that this metric violates P. They then construct conformal perturbations of the round metric, arbitrarily close to it, for which the first eigenvalue becomes simple and the corresponding eigenfunction is minimal Morse with exactly six critical points, implying that these nearby metrics satisfy P.

Significance. If the central claims hold, the work supplies a concrete mechanism linking the representation theory of the isometry group, first-order eigenvalue splitting under conformal variation, and the global Morse structure of eigenfunctions. The explicit obstruction for the round metric together with the perturbative restoration of property P near the spherical metric constitutes a clear example of spectral control over long-time heat-flow behavior on a spherical space form. The finite-dimensional reduction of the eigenvalue cluster and the use of C^2-closeness to preserve non-degenerate critical points are technically sound strengths.

major comments (2)

[Obstruction principle and round-metric analysis] The obstruction principle (stated in the abstract and developed in the first half of the paper) is load-bearing for the claim that the round metric violates P. The argument that the presence of a non-minimal Morse function in the first eigenspace prevents dense-open convergence to a minimal Morse function under the heat flow requires an explicit description of how the projection onto that bad function persists or dominates for an open set of initial data; without this step the implication from eigenspace structure to failure of P is not fully closed.
[Finite-dimensional reduction and conformal perturbation] In the perturbative construction (abstract and the finite-dimensional reduction section), the claim that a suitable conformal variation selects a simple eigenvalue whose eigenfunction is minimal Morse with exactly six critical points rests on the non-degeneracy of the critical points of the chosen linear combination and on persistence under small C^2 perturbations. An explicit verification that the selected combination on the representation-theoretic eigenspace has non-degenerate critical points (e.g., via the Hessian or direct computation of the gradient) and that the perturbation does not alter the Morse index or create new critical points is needed to confirm the count of six critical points.

minor comments (2)

[Abstract] The abstract introduces property P but does not restate its precise definition; a one-sentence reminder would improve readability for readers who begin with the abstract.
[Introduction and notation] Notation for the manifold (M) and the round metric should be fixed early and used consistently when referring to the spherical Poincaré dodecahedral space.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment, and recommendation for minor revision. We address each major comment below and will incorporate the requested clarifications and explicit verifications into the revised manuscript.

read point-by-point responses

Referee: [Obstruction principle and round-metric analysis] The obstruction principle (stated in the abstract and developed in the first half of the paper) is load-bearing for the claim that the round metric violates P. The argument that the presence of a non-minimal Morse function in the first eigenspace prevents dense-open convergence to a minimal Morse function under the heat flow requires an explicit description of how the projection onto that bad function persists or dominates for an open set of initial data; without this step the implication from eigenspace structure to failure of P is not fully closed.

Authors: We agree that an explicit description of the projection and its persistence strengthens the argument. The long-time asymptotics of the heat equation are governed by the orthogonal projection of the initial data onto the first eigenspace, scaled by the exponential factor e^{-λ t}. When this eigenspace contains a non-minimal Morse function, any initial datum whose projection has a nonzero component along that function (an open-dense set in L^2) yields a long-time limit that is a non-trivial linear combination containing the non-minimal function and hence cannot be minimal Morse. We will add a dedicated paragraph in the obstruction-principle section spelling out this asymptotic expansion, the openness of the set of initial data, and the resulting failure of property P. revision: yes
Referee: [Finite-dimensional reduction and conformal perturbation] In the perturbative construction (abstract and the finite-dimensional reduction section), the claim that a suitable conformal variation selects a simple eigenvalue whose eigenfunction is minimal Morse with exactly six critical points rests on the non-degeneracy of the critical points of the chosen linear combination and on persistence under small C^2 perturbations. An explicit verification that the selected combination on the representation-theoretic eigenspace has non-degenerate critical points (e.g., via the Hessian or direct computation of the gradient) and that the perturbation does not alter the Morse index or create new critical points is needed to confirm the count of six critical points.

Authors: We thank the referee for emphasizing the need for explicit verification. The linear combination we select from the representation-theoretic basis is the unique (up to sign) function whose gradient vanishes at exactly six points; we have computed these points explicitly in adapted spherical coordinates and verified that the Hessian is non-degenerate at each (eigenvalues of the Hessian matrix are nonzero). Because the conformal perturbation is C^2-small, the corresponding eigenfunction converges in C^2 to the unperturbed combination. Standard stability results for non-degenerate critical points under C^2 perturbations then guarantee that the six critical points persist with unchanged Morse indices and that no additional critical points are created for sufficiently small perturbations. We will insert this explicit Hessian computation together with a reference to the relevant Morse-stability lemma into the finite-dimensional-reduction section. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external tools

full rationale

The paper's chain proceeds from an obstruction principle (if non-minimal Morse functions exist in the first eigenspace then P fails), to explicit representation-theoretic identification of the spherical eigenspace (external to the paper), to a standard finite-dimensional perturbative reduction under conformal variations that selects a simple eigenvalue with minimal-Morse eigenfunction. None of these steps reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the perturbation inherits the Morse property from C^2-closeness and persistence of non-degenerate critical points, which are independent of the target result. The construction is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard properties of the Laplace-Beltrami operator, the long-time asymptotics of the heat equation, and the representation-theoretic decomposition of the first eigenspace on the spherical space form; no free parameters or invented entities are introduced.

axioms (2)

standard math Long-time behavior of the heat equation is governed by the lowest eigenfunctions of the Laplace-Beltrami operator
Invoked to link spectral data to the eventual Morse structure of solutions.
domain assumption The first positive eigenspace on the round spherical dodecahedral space admits an explicit description via representations of the binary icosahedral group
Used to exhibit a non-minimal Morse function inside the eigenspace.

pith-pipeline@v0.9.0 · 5493 in / 1562 out tokens · 44193 ms · 2026-05-10T13:39:24.257629+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

[1]

Boileau and J

M. Boileau and J. Porti, Geometrization of 3-orbifolds of cyclic type,Astérisque272 (2001), 208 pp

work page 2001
[2]

Kato,Perturbation Theory for Linear Operators, Reprint of the 1980 edition, Classics in Mathematics, Springer, Berlin, 1995

T. Kato,Perturbation Theory for Linear Operators, Reprint of the 1980 edition, Classics in Mathematics, Springer, Berlin, 1995

work page 1980
[3]

Matsumoto,An Introduction to Morse Theory, Translations of Mathematical Monographs, Vol

Y. Matsumoto,An Introduction to Morse Theory, Translations of Mathematical Monographs, Vol. 208, American Mathematical Society, Providence, RI, 2002

work page 2002
[4]

Nash and S

C. Nash and S. Sen,Topology and Geometry for Physicists, Academic Press, London, 1983

work page 1983
[5]

Schultens,Introduction to 3-Manifolds, Graduate Studies in Mathematics, Vol

J. Schultens,Introduction to 3-Manifolds, Graduate Studies in Mathematics, Vol. 151, American Mathematical Society, Providence, RI, 2014

work page 2014
[6]

J. R. Weeks, Exact polynomial eigenmodes for homogeneous spherical3-manifolds,Classical Quantum Gravity23 (2006), 6971–6989. 58

work page 2006

[1] [1]

Boileau and J

M. Boileau and J. Porti, Geometrization of 3-orbifolds of cyclic type,Astérisque272 (2001), 208 pp

work page 2001

[2] [2]

Kato,Perturbation Theory for Linear Operators, Reprint of the 1980 edition, Classics in Mathematics, Springer, Berlin, 1995

T. Kato,Perturbation Theory for Linear Operators, Reprint of the 1980 edition, Classics in Mathematics, Springer, Berlin, 1995

work page 1980

[3] [3]

Matsumoto,An Introduction to Morse Theory, Translations of Mathematical Monographs, Vol

Y. Matsumoto,An Introduction to Morse Theory, Translations of Mathematical Monographs, Vol. 208, American Mathematical Society, Providence, RI, 2002

work page 2002

[4] [4]

Nash and S

C. Nash and S. Sen,Topology and Geometry for Physicists, Academic Press, London, 1983

work page 1983

[5] [5]

Schultens,Introduction to 3-Manifolds, Graduate Studies in Mathematics, Vol

J. Schultens,Introduction to 3-Manifolds, Graduate Studies in Mathematics, Vol. 151, American Mathematical Society, Providence, RI, 2014

work page 2014

[6] [6]

J. R. Weeks, Exact polynomial eigenmodes for homogeneous spherical3-manifolds,Classical Quantum Gravity23 (2006), 6971–6989. 58

work page 2006