Eigenvalue estimates via H\"{o}mander's $L^2$-method

Li Lin; Qingchun Ji

arxiv: 1907.03214 · v2 · pith:2TQMQ6QNnew · submitted 2019-07-07 · 🧮 math.DG

Eigenvalue estimates via H\"{o}mander's L²-method

Qingchun Ji , Li Lin This is my paper

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

classification 🧮 math.DG

keywords Dirac operatorseigenvalue estimatesHörmander L2 methodelliptic boundary conditionsSobolev inequalityvolume boundsspin manifolds

0 comments

The pith

Lower bounds on Dirac eigenvalues are derived using Hörmander's weighted L²-method under elliptic boundary conditions.

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

This paper applies Hörmander's weighted L²-technique to derive lower eigenvalue estimates for Dirac operators on manifolds with boundary. The estimates hold under various elliptic boundary conditions. The authors also obtain lower bounds expressed in terms of the volume of the manifold by combining their method with the sharp Sobolev inequality of Li and Zhu. A reader would care because the results supply explicit spectral control for the Dirac operator without extra curvature hypotheses.

Core claim

Under various elliptic boundary conditions, lower eigenvalue estimates for Dirac operators are obtained by using Hörmander's weighted L²-technique. Lower bounds in terms of the volume of the underlying manifolds are also deduced from the sharp Sobolev inequality due to Li and Zhu.

What carries the argument

Hörmander's weighted L²-technique applied to the Dirac operator

If this is right

Explicit positive lower bounds on the first eigenvalue of the Dirac operator follow for manifolds with boundary.
Volume-dependent lower bounds are available once the Li-Zhu Sobolev inequality is invoked.
The same technique applies across several different elliptic boundary conditions.

Where Pith is reading between the lines

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

The estimates might be compared with those coming from the Lichnerowicz formula on closed manifolds to see how boundary effects modify the spectrum.
Similar weighted estimates could be tested on other first-order elliptic operators beyond the Dirac operator.

Load-bearing premise

The manifold must admit a spin structure and the boundary conditions must be elliptic so the Dirac operator is self-adjoint.

What would settle it

A concrete spin manifold with elliptic boundary conditions whose smallest Dirac eigenvalue lies below the derived lower bound would falsify the estimates.

read the original abstract

Under various elliptic boundary conditions, we obtain lower eigenvalue estimates for Dirac operators by using Hormander's weighted $L^2$-technique. Lower bounds in terms of the volume of the underlying manifolds are also deduced from the sharp Sobolev inequality due to Li and Zhu(\cite{LZ}).

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

This paper applies Hörmander's weighted L² estimates to Dirac operators under elliptic boundary conditions and adds volume bounds via the Li-Zhu Sobolev inequality; the work is a direct but incremental extension.

read the letter

The punchline is that the authors take a standard analytic tool—Hörmander's weighted L² method—and use it to produce lower eigenvalue bounds for the Dirac operator on spin manifolds equipped with elliptic boundary conditions. They then feed the result into the sharp Sobolev inequality of Li and Zhu to extract bounds that depend on the volume of the manifold. That is the entire contribution as stated in the abstract. The setup is the usual one: the manifold carries a spin structure so the Dirac operator exists, and the boundary conditions are chosen to be elliptic, which makes the operator self-adjoint. No extra curvature or topological assumptions appear to be smuggled in. The citation pattern is clean; the Sobolev inequality comes from different authors, so there is no circularity. The argument therefore rests on two previously established pieces of machinery applied in a new but narrow setting. The soft spot is simply that the abstract gives no indication of how tight the constants are or whether the weighted estimate requires any extra work to close for the Dirac case. If the full paper contains only the expected calculations without hidden gaps, the result is correct but not surprising. Readers who care about explicit lower bounds for Dirac spectra on manifolds with boundary will find the statements useful; everyone else can skip it. The paper is coherent on its own terms and deserves a serious referee to check the technical details of the application.

Referee Report

0 major / 3 minor

Summary. The manuscript obtains lower eigenvalue estimates for Dirac operators on spin manifolds with boundary by applying Hörmander's weighted L²-method under various elliptic boundary conditions. It additionally derives volume-dependent lower bounds by combining these estimates with the sharp Sobolev inequality of Li and Zhu.

Significance. If the derivations are correct, the work supplies an analytic route to Dirac eigenvalue bounds that relies on weighted L² estimates rather than curvature assumptions or heat-kernel methods. The explicit invocation of a previously published sharp Sobolev inequality for the volume corollaries is a clear strength, as is the absence of ad-hoc parameters.

minor comments (3)

The abstract states that estimates hold 'under various elliptic boundary conditions' but does not list the specific conditions (e.g., APS, chiral bag) treated in the body; adding an explicit enumeration in the introduction would improve readability.
Notation for the weighted measure and the precise form of Hörmander's estimate (presumably in §2 or §3) should be cross-referenced when the Dirac operator is introduced, to make the transition from the general L² technique to the spinor setting fully transparent.
The citation to Li-Zhu appears only as [LZ]; the reference list entry should include the full journal details and year for standard bibliographic completeness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation uses external tools and distinct citation

full rationale

The paper applies Hörmander's standard weighted L² estimates to the Dirac operator under explicitly stated elliptic boundary conditions and invokes the Li-Zhu Sobolev inequality (distinct authors, cited as [LZ]) for volume bounds. No self-definitional steps, fitted inputs renamed as predictions, self-citation load-bearing on the central claim, or ansatz smuggling appear in the abstract or described chain. The argument is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities visible. The work relies on standard background facts of spin geometry and elliptic boundary-value problems that are not introduced by the paper.

pith-pipeline@v0.9.0 · 5561 in / 999 out tokens · 15100 ms · 2026-05-25T01:47:32.534455+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We apply Hörmander’s weighted L²-method to study eigenvalues of Dirac operators of Dirac bundles... Our weighted L²-identity is given by Lemma 2.5... By a rescaling argument, we also obtain lower bounds in terms of the volume... via the Li–Zhu inequality.
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

D² = ∇*∇ + R... κ(x) = the smallest eigenvalue of R(x)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[1]

Atiyah, I

M. Atiyah, I. Singer, The index of elliptic operators. III, Ann. of Math. (2) 87 (1968) 546–604

work page 1968
[2]

B¨ ar, Lower eigenvalue estimates for Dirac operators , Math

C. B¨ ar, Lower eigenvalue estimates for Dirac operators , Math. Ann. 293 (1992), no. 1, 39-46

work page 1992
[3]

Chen, Eigenvalue estimates for the Dirac operator with generaliz ed APS boundary condition, J

D. Chen, Eigenvalue estimates for the Dirac operator with generaliz ed APS boundary condition, J. Geom. Phys. 57 (2007), no. 2, 379386. 21

work page 2007
[4]

D. Chen, S. Chang, C. Wu, priviate communication

work page
[5]

Chen, F.Wang, X.Zhang, Eigenvalue estimate of the Dirac op- erator and Rigidity of PoincareEinstein metrics , Math

D. Chen, F.Wang, X.Zhang, Eigenvalue estimate of the Dirac op- erator and Rigidity of PoincareEinstein metrics , Math. Z.(2018). https://doi.org/10.1007/s00209-018-2210-2

work page doi:10.1007/s00209-018-2210-2 2018
[6]

Escobar, The Yamabe problem on manifolds with boundary , J.Diﬀ.Geom., 35(1992), 21-84

J.F. Escobar, The Yamabe problem on manifolds with boundary , J.Diﬀ.Geom., 35(1992), 21-84

work page 1992
[7]

Friedrich, E.C

T. Friedrich, E.C. Kim, Some remarks on the Hijazi inequality and gener- alizations of the Killing equation for spinors , J. Geom. Phys. 37 (2001), no. 1-2, 1-14

work page 2001
[8]

Friedrich, K.-D

T. Friedrich, K.-D. Kirchberg, Eigenvalue estimates of the Dirac operator depending on the Ricci tensor , Math. Ann. 324 (2002), 799-816

work page 2002
[9]

Hijazi, A conformal lower bound for the smallest eigenvalue of the Di rac operator and Killing spinors , Comm

O. Hijazi, A conformal lower bound for the smallest eigenvalue of the Di rac operator and Killing spinors , Comm. Math. Phys. 104 (1986), 151-162

work page 1986
[10]

Hijazi, S

O. Hijazi, S. Montiel, A. Rold´ an, Eigenvalue Boundary Problems for the Dirac Operator, Comm. Math. Phys. 231 (2002), 375-390

work page 2002
[11]

Hijazi, S

O. Hijazi, S. Montiel, X. Zhang, Dirac operator on embedded hypersurfaces, Math. Res. Lett. 8 (2001), 195208

work page 2001
[12]

Hijazi, S

O. Hijazi, S. Montiel, X. Zhang, Eigenvalues of the Dirac Operator on Manifolds with Boundary , Comm. Math. Phys. 221 (2001), 255-265

work page 2001
[13]

Hitchin, Harmonic Spinors , Adv

N. Hitchin, Harmonic Spinors , Adv. Math. 14 (1974), 1–55

work page 1974
[14]

H¨ ormander, L2-estimates and existence theorems for the ∂ operator, Acta Math

L. H¨ ormander, L2-estimates and existence theorems for the ∂ operator, Acta Math. 113, 1965, 89-152

work page 1965
[15]

Q. Ji, K. Zhu, Solvability of Dirac type equations , Adv. Math.320(2017)451- 474

work page 2017
[16]

Lawson, M

B. Lawson, M. Michelsohn, Spin Geometry, Princeton Mathematical Series,

work page
[17]

Princeton University Press, Princeton, NJ, 1989

work page 1989
[18]

Y. Li, M. Zhu, Sharp Sobolev inequalities involving boundary terms . Geom. Funct. Anal. 8 (1998), no. 1, 59-87. Addresses: Qingchun Ji School of Mathematics, Fudan University Shanghai Center for Mathematical Sciences Shanghai 200433, China Email: qingchunji@fudan.edu.cn Li Lin School of Mathematics, Fudan University 22 Shanghai Center for Mathematical Sci...

work page 1998

[1] [1]

Atiyah, I

M. Atiyah, I. Singer, The index of elliptic operators. III, Ann. of Math. (2) 87 (1968) 546–604

work page 1968

[2] [2]

B¨ ar, Lower eigenvalue estimates for Dirac operators , Math

C. B¨ ar, Lower eigenvalue estimates for Dirac operators , Math. Ann. 293 (1992), no. 1, 39-46

work page 1992

[3] [3]

Chen, Eigenvalue estimates for the Dirac operator with generaliz ed APS boundary condition, J

D. Chen, Eigenvalue estimates for the Dirac operator with generaliz ed APS boundary condition, J. Geom. Phys. 57 (2007), no. 2, 379386. 21

work page 2007

[4] [4]

D. Chen, S. Chang, C. Wu, priviate communication

work page

[5] [5]

Chen, F.Wang, X.Zhang, Eigenvalue estimate of the Dirac op- erator and Rigidity of PoincareEinstein metrics , Math

D. Chen, F.Wang, X.Zhang, Eigenvalue estimate of the Dirac op- erator and Rigidity of PoincareEinstein metrics , Math. Z.(2018). https://doi.org/10.1007/s00209-018-2210-2

work page doi:10.1007/s00209-018-2210-2 2018

[6] [6]

Escobar, The Yamabe problem on manifolds with boundary , J.Diﬀ.Geom., 35(1992), 21-84

J.F. Escobar, The Yamabe problem on manifolds with boundary , J.Diﬀ.Geom., 35(1992), 21-84

work page 1992

[7] [7]

Friedrich, E.C

T. Friedrich, E.C. Kim, Some remarks on the Hijazi inequality and gener- alizations of the Killing equation for spinors , J. Geom. Phys. 37 (2001), no. 1-2, 1-14

work page 2001

[8] [8]

Friedrich, K.-D

T. Friedrich, K.-D. Kirchberg, Eigenvalue estimates of the Dirac operator depending on the Ricci tensor , Math. Ann. 324 (2002), 799-816

work page 2002

[9] [9]

Hijazi, A conformal lower bound for the smallest eigenvalue of the Di rac operator and Killing spinors , Comm

O. Hijazi, A conformal lower bound for the smallest eigenvalue of the Di rac operator and Killing spinors , Comm. Math. Phys. 104 (1986), 151-162

work page 1986

[10] [10]

Hijazi, S

O. Hijazi, S. Montiel, A. Rold´ an, Eigenvalue Boundary Problems for the Dirac Operator, Comm. Math. Phys. 231 (2002), 375-390

work page 2002

[11] [11]

Hijazi, S

O. Hijazi, S. Montiel, X. Zhang, Dirac operator on embedded hypersurfaces, Math. Res. Lett. 8 (2001), 195208

work page 2001

[12] [12]

Hijazi, S

O. Hijazi, S. Montiel, X. Zhang, Eigenvalues of the Dirac Operator on Manifolds with Boundary , Comm. Math. Phys. 221 (2001), 255-265

work page 2001

[13] [13]

Hitchin, Harmonic Spinors , Adv

N. Hitchin, Harmonic Spinors , Adv. Math. 14 (1974), 1–55

work page 1974

[14] [14]

H¨ ormander, L2-estimates and existence theorems for the ∂ operator, Acta Math

L. H¨ ormander, L2-estimates and existence theorems for the ∂ operator, Acta Math. 113, 1965, 89-152

work page 1965

[15] [15]

Q. Ji, K. Zhu, Solvability of Dirac type equations , Adv. Math.320(2017)451- 474

work page 2017

[16] [16]

Lawson, M

B. Lawson, M. Michelsohn, Spin Geometry, Princeton Mathematical Series,

work page

[17] [17]

Princeton University Press, Princeton, NJ, 1989

work page 1989

[18] [18]

Y. Li, M. Zhu, Sharp Sobolev inequalities involving boundary terms . Geom. Funct. Anal. 8 (1998), no. 1, 59-87. Addresses: Qingchun Ji School of Mathematics, Fudan University Shanghai Center for Mathematical Sciences Shanghai 200433, China Email: qingchunji@fudan.edu.cn Li Lin School of Mathematics, Fudan University 22 Shanghai Center for Mathematical Sci...

work page 1998