Pith. sign in

REVIEW 2 major objections 6 minor 22 references

Semiclassical eigenvalue asymptotics for the Bochner Laplacian of a positive line bundle on a symplectic manifold

T0 review · 2 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Eigenvalues of Bochner Laplacians are governed by local well models up to $O(p^{-1/2})$.

desk verdict A careful, general proof of the expected semiclassical eigenvalue expansion for the Bochner Laplacian, whose main soft spot is a load-bearing reliance on the author's own unpublished Toeplitz theorem. read the letter →

arxiv 1908.01756 v1 pith:MJOUA4YU submitted 2019-08-05 math.SP math-phmath.DGmath.MP

Yuri A. Kordyukov This is my paper · ORCID
classification math.SPmath-phmath.DGmath.MP MSC 58J5053D5058J37
keywords BochnerLaplaciansemiclassicaleigenvalueasymptoticssymplecticmanifoldmagneticSchrödingeroperatordiscretewellsToeplitzoperatorsBergmankernellowestLandaulevel
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to establish that, on a closed even-dimensional manifold carrying a symplectic form, the low-lying eigenvalues of the Bochner Laplacian on the $p$-th tensor power of a positive line bundle are determined, up to an error of order $p^{-1/2}$, by finitely many local model operators attached to the minima, or wells, of the magnetic intensity function $\tau$. With $\tau_0=\min\tau$, the claim is that the $j$-th eigenvalue satisfies $\lambda_j(\Delta^{L^p})=p\tau_0+\mu_j+O(p^{-1/2})$, where $\mu_j$ is the $j$-th eigenvalue of a direct sum of model operators at the wells, and that a complete asymptotic expansion in powers $p^{-k/2}$ exists when $\mu_j$ is simple. A sympathetic reader would care because this turns a curved, global spectral problem into local algebraic data at finitely many points and extends to arbitrary even dimension the magnetic-well expansions previously known in dimension two. In the trivial-bundle case, the same statement covers the semiclassical magnetic Schrödinger operator with non-degenerate magnetic field and discrete wells.

What carries the argument

The central object is the model operator at a well, $D_{x_0}=P_{x_0}(Q_{x_0}(Z)+J_{1,2}(x_0))$, acting on the kernel of the harmonic-oscillator-type operator $L_{x_0}$ on the tangent space at $x_0$. Here $P_{x_0}$ is the Bergman projection onto that kernel, $Q_{x_0}$ is the quadratic form from the Hessian of $\tau$, and the scalar $J_{1,2}(x_0)$ is the value at the well of the first subprincipal coefficient in the near-diagonal expansion of the generalized Bergman kernel; this term enters because the effective second-order operator on low-energy sections is $F_{1,2}+P Q_{x_0}$, with $F_{1,2}$ a scalar operator. The argument forces $D_{x_0}$ into view by rescaling near the well with $t=p^{-1/2}$, expanding the rescaled Bochner Laplacian as $L_{x_0}+\tau_0+tO_1+t^2(O_2+Q_{x_0})+\cdots$, and using $PO_1P=0$ so the linear term cannot shift the ground energy. The lower-bound half is carried by exponential localization and the reduction of the full problem to the Toeplitz operator $P_{H_p}\Delta^{L^p}P_{H_p}$ on the lowest Landau level.

What would settle it

On a flat two-torus with a periodic magnetic field whose intensity $\tau$ has two non-degenerate minima, compute the first few eigenvalues of $\Delta^{L^p}$ for large $p$ and compare each with $p\tau_0+\mu_j$; if the difference does not tend to zero at the rate $O(p^{-1/2})$, or if the next coefficient in the expansion (1.9) disagrees with a direct calculation, Theorem 1.1 is false. A sharper check is to apply the imported Toeplitz theorem to the symbol $h=\tau-\tau_0$ with subprincipal symbol $J_{1,2}$ and verify that its predicted model eigenvalues $\mu_j$ are the ones seen numerically.

Watch

Extended reading notes

Core claim

Under Assumption 1, which says that each minimum of the magnetic intensity $\tau$ is non-degenerate, the paper proves that the low-lying spectrum of $\Delta^{L^p}$ is asymptotically governed by the finite direct sum $D=D_{x_1}\oplus\cdots\oplus D_{x_N}$ of model operators. Theorem 1.1 states that for every fixed $j$, $\lambda_j(\Delta^{L^p})=p\tau_0+\mu_j+O(p^{-1/2})$ as $p\to\infty$, and that when $\mu_j$ is a simple eigenvalue of $D$, the eigenvalue has the complete expansion $\lambda_j=p\tau_0+\mu_j+\sum_{k=1}^{\infty}a_{k,j}p^{-k/2}$. The proof has an upper half, which constructs approximate eigenfunctions concentrated in $p^{-1/2}$-neighborhoods of the wells, and a lower half, which combines exponential localization estimates, reduction to the lowest Landau level through the generalized Bergman projection, and the Toeplitz-operator description of the renormalized Bochner Laplacian.

Load-bearing premise

The lower-bound half imports, without proof, a theorem on the low eigenvalues of Toeplitz operators with several discrete wells; if that theorem carries an unstated condition or has a gap, the estimate $\lambda_j(\Delta^{L^p})\ge p\tau_0+\mu_j-Cp^{-1/2+\delta}$ is not secured.

Editorial extensions

If this is right

  • For every fixed $j$, the entire low-energy cluster of $\Delta^{L^p}$ is asymptotically given by $p\tau_0+\mu_j+O(p^{-1/2})$, so the manifold enters the leading asymptotics only through the Hessian of $\tau$ and the Bergman-kernel coefficient $J_{1,2}$ at the wells.
  • When $\mu_j$ is simple, the eigenvalue has a full asymptotic series in powers $p^{-k/2}$, so no logarithmic or other non-power terms appear.
  • The upper-bound construction yields approximate eigenfunctions supported in a $p^{-1/2}$-neighborhood of a single well, so each low-lying eigensection is effectively concentrated at one minimum of $\tau$.
  • In the trivial-bundle case, the theorem applies verbatim to the semiclassical magnetic Schrödinger operator with Planck constant $\hbar=1/p$ and non-degenerate magnetic field with discrete wells.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • When $\mu_j$ is multiple, the natural extension is a matrix-valued effective Hamiltonian built from the blocks $D_{x_i}$; individual eigenvalues would expand only after diagonalizing that finite matrix, a step the paper does not perform.
  • The same reduction suggests that a theorem for non-degenerate submanifold wells would replace the point model by an operator on the normal bundle of the well, with $J_{1,2}$ as the leading subprincipal correction; the paper leaves that setting to a later proof.
  • Because the model operator is explicitly solvable in the one-well example, a numerical diagonalization on a two-dimensional torus with two wells could test whether consecutive low eigenvalues split by the predicted constant as $p$ grows.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 6 minor

Summary. The paper studies the Bochner Laplacian Δ^{L^p} acting on sections of the p-th tensor power of a positive Hermitian line bundle over a closed symplectic manifold, equivalently a semiclassical magnetic Schrödinger operator with non-degenerate magnetic field. Under Assumption 1, which says that the minima of the magnetic intensity τ are non-degenerate and hence form a finite set of discrete wells, the paper claims in Theorem 1.1 that the low-lying eigenvalues satisfy λ_j(Δ^{L^p}) = p τ_0 + μ_j + O(p^{-1/2}) as p → ∞, where μ_j are the eigenvalues of a model operator D obtained as a direct sum of Toeplitz operators D_{x_i} associated with the wells; moreover, if μ_j is a simple eigenvalue of D, then λ_j(Δ^{L^p}) has a complete asymptotic expansion in powers of p^{-1/2}. The upper bounds are proved by an explicit quasimode construction in §2, using rescaled normal coordinates and a formal eigenfunction expansion for the rescaled operator. The lower bounds in §3 combine Agmon-type estimates with a localization argument and a reduction to the lowest Landau level, followed by an application of the author's theorem [13] on eigenvalue asymptotics for Toeplitz operators with discrete wells.

Significance. If the result is correct, it provides a natural and fairly general extension to arbitrary dimension and to a symplectic rather than Kähler setting of earlier two-dimensional magnetic-well asymptotics, and it gives a complete asymptotic expansion along a simple eigenvalue branch. The paper's strengths are its explicit construction of approximate eigenfunctions with remainder O(p^{-1/2}) and with arbitrary-order formal expansions for simple eigenvalues, the clean statement of the model operator in terms of Bergman kernels, and the absence of any fitted parameters. The proof is internally consistent and the strategy is coherent: upper bounds come from quasimodes, and lower bounds from Agmon localization, reduction to a Toeplitz operator, and an imported Toeplitz spectral theorem. The main fragility is that the decisive lower-bound and full-expansion steps rest on the author's own unpublished preprint [13], whose needed statements and hypotheses are only partially reproduced in the manuscript.

major comments (2)
  1. [§3.3, Eqs. (3.25)–(3.30) and Theorem 1.1(1.9)] The lower-bound proof applies [13, Theorem 1.5] to the Toeplitz operator D_p, but the only statement of that theorem given in the paper is (3.25), which asserts just the two-term expansion λ_m^p = p^{-1} μ_m + p^{-3/2} φ_m + O(p^{-2}). This is sufficient for the O(p^{-1/2}) bound in (3.30), but it does not support the complete expansion (1.9) for simple eigenvalues. The sentence 'The expansion (1.9) is proved similarly' does not state an all-orders version of the imported theorem, nor its hypotheses. Since (1.9) is a central claim of the paper, the author should either state and prove the required all-orders Toeplitz eigenvalue expansion, provide a precise reference to a published version, or restrict (1.9) to the two-term statement that is actually established here.
  2. [§3.3, application of [13, Theorem 1.5]] The manuscript verifies that the principal symbol of D_p is h = τ - τ_0 and that the first two terms of its Toeplitz symbol expansion match the model operator D_{x_0}, via (3.28)–(3.29). It does not, however, spell out the remaining hypotheses of [13, Theorem 1.5] (for example any conditions on the subprincipal symbol, on the class of Bergman projections, or on uniformity of the symbol expansion) and it does not check them explicitly for D_p. Because [13] is a preprint and is not reproduced, the referee cannot certify that the application is legitimate. The author should list the hypotheses of the imported theorem and verify each one for the operator D_p, or include the full theorem statement in an appendix.
minor comments (6)
  1. [Title and abstract] The abstract contains typographical errors such as 'd iscrete' and 'eigenv alue asymptotics'; these should be corrected.
  2. [§2, Theorem 2.1] The notation for indices is inconsistent: φ^p_{j2}, φ^p_{jN}, C_{j,2}, C_{j,N}, and p_{j,2} are used without a uniform convention. Please use commas consistently, e.g. φ^p_{j,2} and φ^p_{j,N}.
  3. [Eq. (3.12)] The infimum in the definition of μ_0 is written as inf over u ∈ T_x X, x ∈ X but the vector u = 0 should be excluded; please make the domain explicit.
  4. [Eq. (3.26)] The asymptotic notation '∼=' and the norm 'C_l(X)' are used without definition; please define the relevant seminorms or specify the exact meaning of the estimate.
  5. [Remark 1.3] In the formula for the eigenvalues in the case n = 1, the term 'A2' should presumably read 'A^2'; please correct the typography.
  6. [References] Reference [13] is cited as a preprint; if it has been published or revised, the reference should be updated with the final publication data.

Circularity Check

0 steps flagged · score 2.0 of 10

No derivation reduces to its inputs; the lower bound leans on the author's general Toeplitz-eigenvalue theorem [13], which is load-bearing but not a restatement of the Bochner-Laplacian result.

full rationale

The central claim (Theorem 1.1) is not tautological. The model operator D = D_{x_1} ⊕ ... ⊕ D_{x_N} is constructed from the quadratic part of the magnetic intensity τ and the Bergman-kernel coefficient J_{1,2}, and its eigenvalues μ_j are obtained from a well-defined spectral problem, not fitted to λ_j(Δ^{L^p}). The upper bounds in Section 2 are proved by explicit quasimode constructions (eqs. (2.1)-(2.4)), with the eigenvalue corrections determined recursively from the Taylor expansion of the rescaled Bochner Laplacian. The lower bounds in Section 3 reduce the Bochner Laplacian to the projected operator P_{H_p} Δ^{L^p} P_{H_p}, and then apply the author's earlier theorem [13, Theorem 1.5] to the Toeplitz operator D_p = p^{-1} P_{H_p} Δ_p P_{H_p} + P_{H_p}(τ - τ_0)P_{H_p}. That theorem concerns general self-adjoint Toeplitz operators with discrete wells on symplectic manifolds; it is not the same statement as Theorem 1.1, and the present paper verifies the required hypotheses (principal symbol τ - τ_0, model operator D_{x_0} given by (1.6)) rather than assuming the desired conclusion. The displayed formula (3.25) gives only the first two terms of the Toeplitz eigenvalue expansion, while the full expansion (1.9) for simple eigenvalues is stated to follow similarly; this is a robustness issue about reliance on an unpublished source, not evidence that any input was renamed as a prediction. No parameter is fitted to the target eigenvalues, and no equation defines one object in terms of the other. The heavy dependence on the author's own prior work [11,12,13,16] makes the proof less self-contained, but it does not make the derivation circular.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim introduces no fitted or hand-chosen numbers. The eigenvalues μ_j are determined by the model operators D_{x0} built from the Hessian of τ and the Bergman kernel coefficient J_{1,2}. The proof imports four classes of results from prior work: a Weitzenböck lower bound, a spectral gap for the renormalized Laplacian, the near-diagonal Bergman kernel expansion, and Toeplitz eigenvalue asymptotics. The last two are from the author's own papers [12, 13], which makes the argument self-referential in provenance but not circular in logic.

assumptions (4)
  • standard math Weitzenböck lower bound: (Δ^{L^p} u, u) ≥ ∫_X (p τ(x) + α0(x))|u|^2 dv_X for all sections u.
    Cited to [15]; the starting point for the Agmon estimate in Proposition 3.1.
  • standard math Spectral gap of the renormalized Bochner Laplacian: σ(Δ_p) ⊂ [-C_L, C_L] ∪ [2p μ0 - C_L, +∞) (eq. (3.13)).
    Cited to [16, Cor. 1.2]; defines the lowest Landau subspace H_p and makes the reduction in Proposition 3.3 possible.
  • standard math Near-diagonal expansion of the kernel of Δ_p PHp: the leading coefficient F_{1,2,x0}(Z,Z') equals J_{1,2}(x0) P_{x0}(Z,Z'), a scalar multiple of the model Bergman kernel.
    From [12, Theorem 1.1], [16, Theorem 1.18] and [12, Theorem 6.5] / [11, Prop 4.3]; identifies the term J_{1,2}(x0) in the model operator D_{x0}.
  • standard math Toeplitz eigenvalue asymptotics for discrete wells [13, Theorem 1.5]: eigenvalues of T_p with non-degenerate minima satisfy λ_m^p = p^{-1} μ_m + p^{-3/2} φ_m + O(p^{-2}).
    The decisive lower-bound input; the paper verifies that D_p = p^{-1}PHpΔ_pPHp + PHp(τ-τ0)PHp satisfies the conditions and that its model operator is D_{x0}.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Semiclassical eigenvalue asymptotics for the Bochner Laplacian of a positive line bundle on a symplectic manifold." pith.science (2026). https://pith.science/paper/MJOUA4YU

@misc{pith2026190801756,
  author       = {Pith},
  title        = {Pith review of: Semiclassical eigenvalue asymptotics for the Bochner Laplacian of a positive line bundle on a symplectic manifold},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MJOUA4YU}},
  note         = {Machine review of arXiv:1908.01756}
}
read the original abstract

We consider the Bochner Laplacian on high tensor powers of a positive line bundle on a closed symplectic manifold (or, equivalently, the semiclassical magnetic Schr\"odinger operator with the non-degenerate magnetic field). We assume that the operator has discrete wells. The main result of the paper states asymptotic expansions for its low-lying eigenvalues.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 21 canonical work pages

  1. [13]

    Yu. A. Kordyukov, Semiclassical spectral analysis of T oeplitz operators on symplectic manifolds: The case of discrete wells. Preprint arXiv:1809 .06799

    work page

  2. [1]

    F. A. Berezin, Wick and anti-Wick symbols of operators. M at. Sb. (N.S.) 86(128) (1971), 578–610

    work page 1971

  3. [2]

    Bismut, G

    J.-M. Bismut, G. Lebeau, Complex immersions and Quillen metrics. Inst. Hautes ´Etudes Sci. Publ. Math. No. 74 (1991)

    work page 1991

  4. [3]

    Fournais, B

    S. Fournais, B. Helffer, Spectral methods in surface supe rconductivity. Progress in Nonlinear Differential Equations and their Applications, 7 7. Birkh¨ auser Boston, Inc., Boston, MA, 2010

    work page 2010

  5. [4]

    Guillemin, A

    V. Guillemin, A. Uribe, The Laplace operator on the nth tensor power of a line bundle: eigenvalues which are uniformly bounded in n. Asymptotic Anal. 1 (1988), 105–113

    work page 1988

  6. [5]

    Helffer, Yu

    B. Helffer, Yu. A. Kordyukov, Semiclassical analysis of S chr¨ odinger operators with magnetic wells. Spectral and Scattering Theory for Quantum Magnetic Systems, Con- temp. Math. 500, 105–122; AMS, Providence, RI, 2009

    work page 2009

  7. [6]

    Helffer, Yu

    B. Helffer, Yu. A. Kordyukov, Semiclassical spectral asy mptotics for a two- dimensional magnetic Schr¨ odinger operator: The case of di screte wells. Spectral The- ory and Geometric Analysis; Contemp. Math. 535, 55–78; AMS, Providence, RI, 2011

    work page 2011

  8. [7]

    Helffer, Yu

    B. Helffer, Yu. A. Kordyukov, Semiclassical spectral asy mptotics for a magnetic Schr¨ odinger operator with non-vanishing magnetic field. G eometric methods in physics, 259–278, Trends Math., Birkh¨ auser/Springer, Cham, 2014

    work page 2014

Show all 22 references
  1. [8]

    Helffer, Yu

    B. Helffer, Yu. A. Kordyukov, Accurate semiclassical spe ctral asymptotics for a two- dimensional magnetic Schr¨ odinger operator, Ann. Henri Po incar´ e16 (2015), 1651– 1688

    2015

  2. [9]

    Helffer, Mohamed, A

    B. Helffer, Mohamed, A. Semiclassical analysis for the gr ound state energy of a Schr¨ odinger operator with magnetic wells. J. Funct. Anal. 138 (1996), 40–81

    1996

  3. [10]

    Helffer, Morame, A.: Magnetic bottles in connection w ith superconductivity

    B. Helffer, Morame, A.: Magnetic bottles in connection w ith superconductivity. J. Funct. Anal. 185 (2001), 604–680

    2001

  4. [11]

    L. Ioos, W. Lu, X. Ma, G. Marinescu, Berezin-Toeplitz qu antization for eigen- states of the Bochner-Laplacian on symplectic manifolds, J . Geom. Anal. (2019). https://doi.org/10.1007/s12220-017-9977-y, preprint a rXiv:1703.06420 24 Y. A. KORDYUKOV

    2019 arXiv

  5. [12]

    Yu. A. Kordyukov, On asymptotic expansions of generali zed Bergman kernels on sym- plectic manifolds. Algebra i Analiz 30:2 (2018), 163–187; translation in St. Petersburg Math. J. 30 (2019), 253–265; preprint arXiv:1703.04107

    2018 arXiv

  6. [14]

    Yu. A. Kordyukov, X. Ma, G. Marinescu, Generalized Berg man kernels on symplec- tic manifolds of bounded geometry. Comm. Partial Differenti al Equations (2019), https://doi.org/10.1080/03605302.2019.1611849, Prepr int arXiv: 1806.06401

    2019

  7. [15]

    X. Ma, G. Marinescu, The Spin c Dirac operator on high tensor powers of a line bundle. Math. Z. 240 (2002), 651–664

    2002

  8. [16]

    X. Ma, G. Marinescu, Generalized Bergman kernels on sym plectic manifolds. Adv. Math. 217 (2008), 1756–1815

    2008

  9. [17]

    X. Ma, G. Marinescu, Toeplitz operators on symplectic m anifolds. J. Geom. Anal. 18 (2008), 565–611

    2008

  10. [18]

    Marinescu, N

    G. Marinescu, N. Savale, Bochner Laplacian and Bergman kernel expansion of semi- positive line bundles on a Riemann surface. arXiv: 1811.009 92, 2018

    2018

  11. [19]

    Morin, A semiclassical Birkhoff normal form for sympl ectic magnetic wells

    L. Morin, A semiclassical Birkhoff normal form for sympl ectic magnetic wells. Preprint arXiv:1907.03493

    1907 arXiv

  12. [20]

    Raymond, Bound states of the magnetic Schr¨ odinger o perator

    N. Raymond, Bound states of the magnetic Schr¨ odinger o perator. EMS Tracts in Mathematics, 27. European Mathematical Society (EMS), Z¨ u rich, 2017

    2017

  13. [21]

    Raymond, S

    N. Raymond, S. Vu Ngoc, Geometry and spectrum in 2D magne tic wells, Ann. Inst. Fourier (Grenoble) 65 (2015), 137–169

    2015

  14. [22]

    M. Reed, B. Simon, Methods of modern mathematical physi cs. IV. Analysis of oper- ators. Academic Press [Harcourt Brace Jovanovich, Publish ers], New York-London, 1978 Institute of Mathematics, Russian Academy of Sciences, 112 Chernyshevsky str., 450008 Ufa, Russia E-mail addr...

    1978

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.