arxiv: 2604.14840 · v1 · submitted 2026-04-16 · 🧮 math.DG · math.AP· math.SP

Recognition: unknown

Conformally critical metrics and optimal bounds for Dirac eigenvalues on spin surfaces

Pavel Martynyuk

Authors on Pith no claims yet

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

classification 🧮 math.DG math.APmath.SP

keywords Dirac operatorconformal classspin surfaceseigenvalue minimizationisoperimetric inequalitiesconformal spectrumtwo-dimensional sphere

0 comments

The pith

A criterion identifies when minimizers exist for Dirac eigenvalues in a fixed conformal class on closed spin surfaces and characterizes the spectrum on the sphere.

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

The paper sets up a variational problem that seeks to minimize eigenvalues of the Dirac operator while staying inside one conformal class on a closed spin manifold. It supplies a concrete existence criterion that guarantees a minimizer appears when the manifold is a closed surface. Applying the same criterion to the two-sphere produces sharp isoperimetric inequalities for the Dirac operator and determines every possible value in the sphere's conformal spectrum.

Core claim

We establish a criterion for the existence of a minimizer for this variational problem, focusing specifically on the case of closed surfaces. Furthermore, we apply our results to derive isoperimetric inequalities for the Dirac operator on the two-dimensional sphere, providing a complete characterization of its conformal spectrum.

What carries the argument

The variational minimization of Dirac eigenvalues inside a fixed conformal class on closed spin surfaces, together with the existence criterion that decides whether the infimum is attained.

If this is right

Conformally critical metrics exist on every closed spin surface that satisfies the existence criterion.
On the two-sphere the minimal Dirac eigenvalue in each conformal class is attained and obeys an optimal isoperimetric inequality.
The full set of possible Dirac eigenvalues under conformal changes on the sphere is now explicitly described.

Where Pith is reading between the lines

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

The same existence test might be checked on other closed surfaces such as the torus to see whether minimizers appear in every conformal class.
If the criterion extends to higher-dimensional spin manifolds, similar sharp bounds could be sought for Dirac eigenvalues there.
The characterization on the sphere supplies a concrete benchmark that any proposed numerical method for computing conformal Dirac spectra can be tested against.

Load-bearing premise

The manifold is a closed two-dimensional spin surface whose conformal class satisfies the regularity conditions needed for the minimization problem to make sense.

What would settle it

A closed spin surface together with a conformal class in which the Dirac eigenvalue minimization problem has no solution, even though the surface meets the topological and spin assumptions, would disprove the claimed criterion.

read the original abstract

We study the minimization problem for eigenvalues of the Dirac operator within a fixed conformal class on a closed spin Riemannian manifold. We establish a criterion for the existence of a minimizer for this variational problem, focusing specifically on the case of closed surfaces. Furthermore, we apply our results to derive isoperimetric inequalities for the Dirac operator on the two-dimensional sphere, providing a complete characterization of its conformal spectrum.

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 gives a criterion for existence of Dirac eigenvalue minimizers in conformal classes on closed spin surfaces and fully characterizes the conformal spectrum on the sphere.

read the letter

The main point is that this paper sets up a variational problem for the lowest Dirac eigenvalue in a fixed conformal class on closed spin surfaces, proves a criterion for when a minimizer exists, and then uses the criterion to describe the entire conformal spectrum on the two-sphere. The existence result and the sphere characterization are the genuinely new pieces; they do not collapse into the earlier literature cited in the abstract. The argument follows the usual direct method in the calculus of variations, with lower semicontinuity and compactness in the right Sobolev spaces, and it exploits the conformal covariance of the Dirac operator that is special to dimension two. That part is handled cleanly and the conditions on the conformal class are stated explicitly in the theorems, with the sphere satisfying them without extra assumptions creeping in. The isoperimetric inequalities that come out for the sphere are a concrete payoff. The soft spots are limited. The criterion is technical enough that checking it on other surfaces may not be immediate, and the abstract by itself is thin on proof details, but the full development shows no internal gaps, no circularity, and no hidden positivity requirements that would undermine the claims. The work stays within closed surfaces, so the reach is narrow by design. This is for people who work on conformal spectral geometry and spin manifolds. A reader who wants new benchmarks or tools for Dirac eigenvalues under conformal deformation will find the sphere case useful. The paper shows clear, honest engagement with the variational setup and the literature, so it deserves to go to referees rather than a desk rejection.

Referee Report

0 major / 4 minor

Summary. The paper studies the minimization problem for eigenvalues of the Dirac operator within a fixed conformal class on a closed spin Riemannian manifold. It establishes a criterion for the existence of a minimizer for this variational problem, focusing specifically on the case of closed surfaces. Furthermore, it applies the results to derive isoperimetric inequalities for the Dirac operator on the two-dimensional sphere, providing a complete characterization of its conformal spectrum.

Significance. If the results hold, the work advances conformal spectral geometry by linking a variational problem for Dirac eigenvalues to the existence of critical metrics on closed spin surfaces. The complete characterization of the conformal spectrum on S^2 yields optimal isoperimetric bounds that can serve as benchmarks in spin geometry. The approach relies on standard direct-method arguments with lower semicontinuity and compactness in Sobolev spaces, which are well-adapted to the two-dimensional case via the conformal covariance of the Dirac operator.

minor comments (4)

The abstract could briefly indicate the precise functional being minimized and the main assumptions in the existence criterion to improve accessibility.
§1: The introduction would benefit from a short paragraph outlining the proof strategy for the existence criterion before stating the main theorems.
§2: Ensure that the notation for the spin structure and the conformal class is introduced with explicit references to the relevant background results on the Dirac operator.
§5: When stating the isoperimetric inequalities on the sphere, include a direct comparison with previously known bounds for the Dirac spectrum to clarify the improvement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work and for recommending minor revision. We appreciate the recognition that the results advance conformal spectral geometry and provide optimal isoperimetric bounds on the sphere.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard variational methods

full rationale

The paper's central claims—an existence criterion for minimizers of the Dirac eigenvalue functional in a fixed conformal class on closed spin surfaces, followed by its application to characterize the conformal spectrum on S^2—proceed via the direct method in the calculus of variations, lower semicontinuity, and compactness arguments in appropriate Sobolev spaces. These steps rely on the conformal covariance of the Dirac operator in dimension 2, which is a standard property independent of the target result. No load-bearing step reduces by construction to a fitted parameter renamed as prediction, a self-citation chain, an ansatz smuggled via prior work, or a renaming of a known empirical pattern. The conditions on the conformal class are stated explicitly in the theorems and verified directly for the sphere without tautological redefinition. The derivation is therefore self-contained against external benchmarks in conformal geometry and spin geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, invented entities, or non-standard axioms; the work rests on the standard setting of closed spin Riemannian manifolds.

axioms (1)

domain assumption The manifold is a closed spin Riemannian manifold.
Explicitly stated as the setting for the minimization problem.

pith-pipeline@v0.9.0 · 5348 in / 1165 out tokens · 67002 ms · 2026-05-10T10:01:57.597942+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 20 canonical work pages

[1]

Ammann, J.-F

[AGHM08] B. Ammann, J.-F. Grosjean, E. Humbert, and B. Morel. A spinorial analogue of Aubin’s inequality.Mathematische Zeitschrift, 260(1):127–151, Sep 2008.doi:10.1007/ s00209-007-0266-5. [AH06] B. Ammann and E. Humbert. The second yamabe invariant.Journal of Functional Analy- sis, 235(2):377–412,

2008
[2]

[AHM06] Bernd Ammann, Emmanuel Humbert, and Bertrand Morel

URL:https://www.sciencedirect.com/science/article/pii/ S0022123605004064,doi:10.1016/j.jfa.2005.11.006. [AHM06] Bernd Ammann, Emmanuel Humbert, and Bertrand Morel. Mass endomorphism and spino- rial Yamabe type problems on conformally flat manifolds.Communications in Analysis and Geometry, 14(1):163–182,

work page doi:10.1016/j.jfa.2005.11.006 2005
[3]

uni-regensburg.de/preprints/confflat/index.html.doi:10.4310/CAG.2006.v14.n1

Preprint version available athttps://ammann.app. uni-regensburg.de/preprints/confflat/index.html.doi:10.4310/CAG.2006.v14.n1. a7. [Amm03a] Bernd Ammann. A spin-conformal lower bound of the first positive Dirac eigenvalue.Differen- tial Geometry and its Applications, 18(1):21–32,

work page doi:10.4310/cag.2006.v14.n1 2006
[4]

com/science/article/pii/S0926224502000955,doi:10.1016/S0926-2245(02)00095-5

URL:https://www.sciencedirect. com/science/article/pii/S0926224502000955,doi:10.1016/S0926-2245(02)00095-5. [Amm03b] Bernd Ammann.A Variational Problem in Conformal Spin Geometry. Habilitationsschrift, Universit¨ at Hamburg, Hamburg, Germany,

work page doi:10.1016/s0926-2245(02)00095-5
[5]

URL:https://ammann

Habilitation thesis. URL:https://ammann. app.uni-regensburg.de/. [Amm09] Bernd Ammann. The smallest Dirac eigenvalue in a spin-conformal class and CMC- immersions.Communications in Analysis and Geometry, 17(3):429–479, 2009.doi:10.4310/ CAG.2009.V17.N3.A2. [B¨ ar92] Christian B¨ ar. Lower Eigenvalue Estimates for Dirac Operators.Mathematische Annalen, 293...

2009
[6]

Metrics with harmonic spinors.Geometric and Functional Analysis, 6(6):899– 942, 1996.doi:10.1007/BF02246994

[B¨ ar96] Christian B¨ ar. Metrics with harmonic spinors.Geometric and Functional Analysis, 6(6):899– 942, 1996.doi:10.1007/BF02246994. [B¨ ar97] Christian B¨ ar. On Nodal Sets for Dirac and Laplace Operators.Communications in Mathe- matical Physics, 188(3):709–721, 1997.doi:10.1007/s002200050184. [BG92] Jean-Pierre Bourguignon and Paul Gauduchon. Spineur...

work page doi:10.1007/bf02246994 1996
[7]

2007.09.008

[ESI08] A.ElSoufiandS.Ilias.Laplacianeigenvaluesfunctionalsandmetricdeformationsoncompact manifolds.Journal of Geometry and Physics, 58(1):89–104, 2008.doi:10.1016/j.geomphys. 2007.09.008. [Fri80] Thomas Friedrich. Der erste Eigenwert des Dirac-Operators einer kompakten, Riemannschen Mannigfaltigkeit nichtnegativer Skalarkr¨ ummung.Mathematische Nachricht...

work page doi:10.1016/j.geomphys 2008
[8]

Sharp eigenvalue bounds and minimal surfaces in the ball

URL:https://api.semanticscholar.org/CorpusID:117086726. [FS16] Ailana Fraser and Richard Schoen. Sharp eigenvalue bounds and minimal surfaces in the ball. Inventiones mathematicae, 203(3):823–890, 2016.doi:10.1007/s00222-015-0604-x. [GG10] Nicolas Ginoux and Jean-Fran¸ cois Grosjean. Almost harmonic spinors.Comptes Rendus. Math´ ematique, 348(13-14):811–8...

work page doi:10.1007/s00222-015-0604-x 2016
[9]

1007/978-3-642-01570-0,doi:10.1007/978-3-642-01570-0

URL:https://link.springer.com/book/10. 1007/978-3-642-01570-0,doi:10.1007/978-3-642-01570-0. [GPA22] Matthew J. Gursky and Samuel P´ erez-Ayala. Variational properties of the second eigen- value of the conformal Laplacian.Journal of Functional Analysis, 282(8):109371,

work page doi:10.1007/978-3-642-01570-0
[10]

1016/j.jfa.2021.109371

URL: https://www.sciencedirect.com/science/article/pii/S0022123621004535,doi:10. 1016/j.jfa.2021.109371. [Her70] Joseph Hersch. Quatre propri´ et´ es isop´ erim´ etriques de membranes sph´ eriques homog` enes. Comptes Rendus de l’Acad´ emie des Sciences de Paris. S´ erie A-B, 270:A1645–A1648,

work page arXiv 2021
[11]

CONFORMALLY CRITICAL METRICS AND OPTIMAL BOUNDS FOR DIRAC EIGENV ALUES 51 [Hit74] Nigel Hitchin

doi:10.1007/BF01210797. CONFORMALLY CRITICAL METRICS AND OPTIMAL BOUNDS FOR DIRAC EIGENV ALUES 51 [Hit74] Nigel Hitchin. Harmonic Spinors.Advances in Mathematics, 14(1):1–55,

work page doi:10.1007/bf01210797
[12]

[HPP25] Emmanuel Humbert, Romain Petrides, and Bruno Premoselli

URL:https://www.sciencedirect.com/science/article/pii/0001870874900218, doi:10.1016/0001-8708(74)90021-8. [HPP25] Emmanuel Humbert, Romain Petrides, and Bruno Premoselli. Extremising eigenvalues of the GJMS operators in a fixed conformal class,

work page doi:10.1016/0001-8708(74)90021-8
[13]

Hersch, L

URL:https://arxiv.org/abs/2505. 08280,arXiv:2505.08280. [HPS74] J. Hersch, L. E. Payne, and M. M. Schiffer. Some inequalities for Stekloff eigenvalues.Archive for Rational Mechanics and Analysis, 57(2):99–114, 1974.doi:10.1007/BF00248412. [Kar21] Mikhail Karpukhin. Index of minimal spheres and isoperimetric eigenvalue inequalities.In- ventiones mathematic...

work page doi:10.1007/bf00248412 1974
[14]

org/abs/2402.13121,arXiv:2402.13121

URL:https://arxiv. org/abs/2402.13121,arXiv:2402.13121. [KMP24] M. Karpukhin, A. M´ etras, and I. Polterovich. Dirac Eigenvalue Optimisation and Har- monic Maps to Complex Projective Spaces.International Mathematics Research Notices, 2024(21):13758–13784, 2024.arXiv:2308.07875,doi:10.1093/imrn/rnae216. [KNPP21] Mikhail Karpukhin, Nikolai Nadirashvili, Ale...

work page doi:10.1093/imrn/rnae216 2024
[15]

[KPS25] Mikhail Karpukhin, Romain Petrides, and Daniel Stern

doi:10.4310/SDG.2019.v24.n1.a6. [KPS25] Mikhail Karpukhin, Romain Petrides, and Daniel Stern. Existence of metrics maximizing the first Laplace eigenvalue on closed surfaces,

work page doi:10.4310/sdg.2019.v24.n1.a6 2019
[16]

05293,arXiv:2505.05293

URL:https://arxiv.org/abs/2505. 05293,arXiv:2505.05293. [KS24] Mikhail Karpukhin and Daniel Stern. Min-max harmonic maps and a new characterization of conformal eigenvalues.Journal of the European Mathematical Society, 26(11):4071–4129, 2024.doi:10.4171/JEMS/1401. [Lot86] John Lott. Eigenvalue bounds for the Dirac operator.Pacific Journal of Mathematics, ...

work page doi:10.4171/jems/1401 2024
[17]

Berger’s isoperimetric problem and minimal immersions of surfaces

[Nad96] Nikolai Nadirashvili. Berger’s isoperimetric problem and minimal immersions of surfaces. Geometric and Functional Analysis, 6(5):877–897, 09 1996.doi:10.1007/BF02246788. [NS15] Nikolai Nadirashvili and Yannick Sire. Conformal spectrum and harmonic maps.Moscow Mathematical Journal, 15(1):123–140,

work page doi:10.1007/bf02246788 1996
[18]

17323/1609-4514-2015-15-1-123-140

URL:http://mi.mathnet.ru/mmj553,doi:10. 17323/1609-4514-2015-15-1-123-140. [Pet14] Romain Petrides. Existence and regularity of maximal metrics for the first Laplace eigen- value on surfaces.Geometric and Functional Analysis, 24(4):1336–1376, 2014.doi:10.1007/ s00039-014-0292-5. [Pet17] Romain Petrides. On the Existence of Metrics Which Maximize Laplace E...

work page doi:10.1093/imrn/rnx004 2015
[19]

org/abs/2410.13347,arXiv:2410.13347

URL:https://arxiv. org/abs/2410.13347,arXiv:2410.13347. [Pet25] Romain Petrides. A variational method for functionals depending on eigenvalues.Journal of the London Mathematical Society, 112(4):e70315,

work page arXiv
[20]

onlinelibrary.wiley.com/doi/abs/10.1112/jlms.70315,doi:10.1112/jlms.70315

URL:https://londmathsoc. onlinelibrary.wiley.com/doi/abs/10.1112/jlms.70315,doi:10.1112/jlms.70315. [Rau09] Simon Raulot. A Sobolev-like inequality for the Dirac operator.Journal of Functional Anal- ysis, 256(5):1588–1617,

work page doi:10.1112/jlms.70315
[21]

[SX21a] Yannick Sire and Tian Xu

URL:https://www.sciencedirect.com/science/article/ pii/S0022123608004989,doi:10.1016/j.jfa.2008.11.007. [SX21a] Yannick Sire and Tian Xu. A variational analysis of the spinorial Yamabe equation on product manifolds.Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, 24(1):205–248, 2021.doi:10.2422/2036-2145.202005_025. 52 PA VEL MARTYNYUK [S...

work page doi:10.1016/j.jfa.2008.11.007 2008
[22]

Regularity of minimizing harmonic maps into the sphere

URL:http://dx.doi.org/10. 1112/jlms.70386,doi:10.1112/jlms.70386

work page doi:10.1112/jlms.70386