Pith. sign in

REVIEW 4 minor 2 cited by

Higher order Weyl coefficients for the operator curl

T0 review · 0 major / 4 minor · reviewed 2026-07-12 · grok-4.5

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

Pith's one-line read The first six Weyl coefficients of curl are computed explicitly; spectral asymmetry appears only at the sixth, so the eta function is holomorphic for Re s > -2.

desk verdict Solid, explicit sixth-order Weyl coefficients for curl, with the first asymmetry isolated and eta holomorphy settled for Re s > -2; the discarded-transport worry does not land. read the letter →

arxiv 2607.03273 v1 pith:KHPXJ37X submitted 2026-07-03 math.SP math-phmath.APmath.MP

Giovanni Bracchi , Matteo Capoferri , Dmitri Vassiliev This is my paper · ORCID
classification math.SPmath-phmath.APmath.MP MSC 58J5035P2058J2858J40
keywords curlspectralasymmetryetafunctioninvariantWeylcoefficientsasymptotics
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

Curl on a closed oriented 3-manifold is a first-order operator that is not elliptic, yet its positive and negative eigenvalues still admit refined asymptotic expansions. This paper constructs the propagator for curl by solving a carefully chosen hierarchy of transport equations and extracts the first six local and global Weyl coefficients from that construction. The first five coefficients are symmetric under sign change of the eigenvalues; the sixth is antisymmetric and is given by an explicit curvature expression involving the trace-free Ricci tensor. Consequently the eta function of curl, both local and global, has no poles in the half-plane Re s > -2. Under mild non-periodicity assumptions on the geodesic flow the remainder in the classical counting-function asymptotics improves from O(λ^{2}) to o(λ^{2}). The results give a concrete, computable measure of spectral asymmetry that appears only at a high enough order to have been invisible to earlier one-term asymptotics.

What carries the argument

The auxiliary unitary propagator V(t) = U_{+}(t) + U_{-}(t) + U_{0}, constructed as three oscillatory integrals whose symbols satisfy a recursive system of transport equations obtained by substituting into the evolution equation (-i∂_t + curl)V = 0 and reducing amplitudes to right symbols.

What would settle it

On the Berger sphere the sixth local coefficient can be read off from the known exact spectrum; any discrepancy between that explicit residue and the curvature formula -1/(60π^{2})E^{αβγ}˚Ric_{αμ}∇_β˚Ric_γ^μ would falsify the claim.

Watch

Extended reading notes

Core claim

The local Weyl coefficients of curl are c±_{2} = 1/(2π^{2}), c±_{1} = 0, c±_{0} = -(1/(12π^{2}))Sc, c±_{-1} = 0, c±_{-2} = -(1/(80π^{2}))∥˚Ric∥^{2} + C(ΔSc), and c±_{-3} = ∓(1/(120π^{2}))E^{αβγ}˚Ric_{αμ}∇_β˚Ric_γ^μ. Spectral asymmetry therefore first appears at the sixth coefficient, which forces the eta function of curl to be holomorphic for Re s > -2.

Load-bearing premise

The algorithm systematically discards a family of transport equations associated with the zero eigenvalue of the principal symbol and later claims they hold automatically; if that automatic vanishing fails at higher order the fifth and sixth coefficients would change.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper constructs the propagator for the non-elliptic operator curl on a closed oriented Riemannian 3-manifold as a sum of three oscillatory integrals (two FIOs and one Ψ DO) and extracts refined spectral asymptotics for the positive and negative eigenvalues separately. It obtains explicit local and global Weyl coefficients through order six (Theorem 1.11), with the first spectral asymmetry appearing only at the sixth coefficient c±_{-3}; consequently both the local and global eta functions of curl are holomorphic for Re s > -2 (Corollary 1.16). Under non-focality / non-periodicity assumptions the remainder in Bär’s one-term asymptotics is improved from O(λ^{2}) to o(λ^{2}) (Theorems 1.7–1.8). The construction is justified by reduction to the elliptic extended curl, and the coefficients are cross-checked against the classification of curvature invariants and the explicit spectrum on the Berger sphere.

Significance. The work supplies the first systematic higher-order Weyl expansion for curl, an operator that is both non-elliptic and acts on 1-forms, and isolates the precise geometric term responsible for spectral asymmetry. The holomorphy statement for the eta function improves the classical claim of Atiyah–Patodi–Singer and is obtained by an explicit residue calculation rather than abstract index theory. The short-time propagator algorithm, the invariant classification (Appendix B), and the independent Berger-sphere verification together give a reproducible, parameter-free derivation of the first six coefficients; these are strengths that place the paper firmly in the mainstream of microlocal spectral geometry.

minor comments (4)
  1. The universal constant C in the fifth coefficient (1.18) is left undetermined. While it integrates to zero and is therefore irrelevant for global asymptotics, a short remark on whether it can be fixed by the same Berger-sphere calculation (or by a heat-kernel comparison) would be useful for completeness.
  2. In Section 5.1 the authors switch to geodesic normal coordinates and linear phase functions without restating the domain of validity of the cut-offs χ^(±). A one-sentence reminder that the construction is local in time (and therefore free of caustics) would improve readability.
  3. Appendix C proves the parity relation c^{+}_k = (-1)^k c^{-}_k by orientation reversal. The argument is short and correct, but a parenthetical reference to the corresponding statement for Dirac-type operators would help non-specialist readers place the result.
  4. Typographical: page 1, line 3 of the abstract, “Res >-2” should be “Re s > -2” for consistency with the rest of the paper; the same occurs in Corollary 1.16.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Weyl coefficients are derived from an independent short-time propagator construction and checked against explicit spectra and invariant classification.

full rationale

The central results (Theorems 1.1, 1.7, 1.8, 1.11 and Corollary 1.16) are obtained by constructing the curl propagator as a sum of oscillatory integrals, solving the resulting transport equations recursively under geodesic-normal-coordinate simplifications, and extracting the short-time expansion of the mollified counting functions. The discarded transport equations w^{(0;0)}_{-k}=0 are justified in Section 4 Part 1 by a principal-symbol argument that does not presuppose the target coefficients. The universal constant C in c^{\pm}_{-2} is left undetermined (and integrates to zero for global coefficients); the sixth coefficient is fixed by matching the independent Berger-sphere spectrum (10.17)–(10.18) against the unique pseudoscalar invariant of order 5 listed in Appendix B. No parameters are fitted to the quantities being predicted, no uniqueness theorem is imported from the authors’ prior work to force the formulae, and the eta-holomorphy statement follows directly from the vanishing of the first five residues. Self-citations supply technical background (projections, extended curl) but are not load-bearing for the asymptotic formulae themselves.

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

The paper works entirely within standard Riemannian geometry and microlocal analysis. The only undetermined quantity is a universal constant C multiplying \Delta Sc in the fifth local coefficient; it is fixed by invariant theory up to that constant and integrates to zero, so it does not affect any global claim. No free parameters are fitted to data.

assumptions (3)
  • domain assumption Existence of a global self-adjoint realization of curl on the coexact 1-forms of a closed oriented Riemannian 3-manifold, with discrete spectrum accumulating at \pm\infty and zero not an eigenvalue.
    Invoked from the outset (Section 1) and justified by references to Yoshida–Giga and the authors’ prior work.
  • standard math The amplitude-to-symbol operator S admits the asymptotic expansion (A.1)–(A.3) and maps the transport hierarchy to ordinary differential equations along the bicharacteristic flow.
    Standard Fourier-integral-operator calculus, adapted to right symbols and complex phases; used throughout Sections 3–5.
  • standard math Almost all geodesic loops are absolutely focused and almost all periodic geodesics are absolutely periodic (Safarov–Vassiliev lemmas).
    Used to reformulate the nonfocal and nonperiodicity conditions (Definitions 1.5–1.6) that yield the o(\lambda^{2}) remainders.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Higher order Weyl coefficients for the operator curl." pith.science (2026). https://pith.science/paper/KHPXJ37X

@misc{pith2026260703273,
  author       = {Pith},
  title        = {Pith review of: Higher order Weyl coefficients for the operator curl},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KHPXJ37X}},
  note         = {Machine review of arXiv:2607.03273}
}
abstract

We establish refined spectral asymptotics for the operator curl acting on a connected oriented closed Riemannian 3-manifold. We treat positive and negative eigenvalues separately and obtain explicit formulae for the first six global Weyl coefficients. With local Weyl coefficients we compute the first four coefficients as well as the sixth one, and we determine the fifth up to a universal constant. As a consequence, we prove that the eta function of curl (both in its local and global versions) is holomorphic in the complex half-plane $\operatorname{Re}s>-2$. Finally, under appropriate assumptions on the geodesic flow, we improve B\"ar's asymptotic formulae for the positive and negative counting functions, refining the remainder to $o(\lambda^2)$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The sharp curl-Sobolev inequality

    math.DG 2026-07 conditional novelty 8.0 of 10

    For n ≡ 3 (mod 4), the sharp constant of the conformal curl–Sobolev quotient on S^n is (n+1)/2 ω_n^{1/n}, attained exactly by conformal images of positive Killing forms.

  2. On the sharp constants in curl-Sobolev inequalities on $\mathbb{S}^n$

    math.DG 2026-07 conditional novelty 7.0 of 10

    Killing forms are strict local minimizers of the J1 curl-Sobolev quotient on S^n, while the same forms are unstable for J2, disproving the Frank-Loss conjecture.

Reference graph

Works this paper leans on

41 extracted references · 19 canonical work pages · cited by 2 Pith papers

  1. [1]

    Atiyah, V.K

    M.F. Atiyah, V.K. Patodi and I.M. Singer, Spectral asymmetry and Riemannian geometry, Bull. Lond. Math. Soc.5(1973) 229–234. DOI: 10.1112/blms/5.2.229.☞p. 3

    doi:10.1112/blms/5.2.229 1973

  2. [2]

    Atiyah, V.K

    M.F. Atiyah, V.K. Patodi and I.M. Singer, Spectral asymmetry and Riemannian geometry I, Math. Proc. Camb. Philos. Soc.77(1975) 43–69. DOI: 10.1017/S0305004100049410.☞pp. 3 and 7

    doi:10.1017/s0305004100049410 1975

  3. [3]

    Atiyah, V.K

    M.F. Atiyah, V.K. Patodi and I.M. Singer, Spectral asymmetry and Riemannian geometry II, Math. Proc. Camb. Philos. Soc.78(1975) 405–432. DOI: 10.1017/S0305004100051872.☞p. 3

    doi:10.1017/s0305004100051872 1975

  4. [4]

    Atiyah, V.K

    M.F. Atiyah, V.K. Patodi and I.M. Singer, Spectral asymmetry and Riemannian geometry III, Math. Proc. Camb. Philos. Soc.79(1976) 71–99. DOI: 10.1017/S0305004100052105.☞p. 3

    doi:10.1017/s0305004100052105 1976

  5. [5]

    Bär, The curl operator on odd-dimensional manifolds,J

    C. Bär, The curl operator on odd-dimensional manifolds,J. Math. Phys.60(2019) 031501. DOI: 10.1063/1.5082528.☞pp. 2, 3, 4, 5, and 28

    doi:10.1063/1.5082528 2019

  6. [6]

    M. Sh. Birman and M. Z. Solomyak, The Weyl asymptotics of the spectrum of the Maxwell operator for domains with a Lipschitz boundary,Vestn. Leningr. Univ. Mat.20no. 3 (1987) 15–21.☞p. 2

    1987

  7. [7]

    M. Sh. Birman and M. Z. Solomyak,L2-Theory of the Maxwell operator in arbitrary domains, Uspekhi Mat. Nauk42no. 6 (1987) 61–76;Russian Math. Surveys42no. 6 (1987) 75–96. DOI: 10.1070/RM1987v042n06ABEH001505.☞p. 2

    doi:10.1070/rm1987v042n06abeh001505 1987

  8. [8]

    T. P. Branson and P. B. Gilkey, Residues of the eta function for an operator of Dirac type, J. Funct. Anal.108(1992) 47–87. DOI: 10.1016/0022-1236(92)90146-A.☞pp. 11 and 35

    work page doi:10.1016/0022-1236(92)90146-a 1992

Show all 41 references
  1. [9]

    Capoferri, Diagonalization of elliptic systems via pseudodifferential projections,J

    M. Capoferri, Diagonalization of elliptic systems via pseudodifferential projections,J. Dif- fer. Equ.313(2022) 157–187. DOI: 10.1016/j.jde.2021.12.032.☞p. 3

    2022 doi

  2. [10]

    Capoferri, B

    M. Capoferri, B. Costeri, C. Dappiaggi, Spectral asymmetry via pseudodifferential projections: the massless Dirac operator,Anal. Math. Phys.16no. 74 (2026). DOI: 10.1007/s13324-026- 01210-w.☞p. 2

    2026 doi

  3. [11]

    Capoferri, M

    M. Capoferri, M. Levitin and D. Vassiliev, Geometric wave propagator on Riemannian man- ifolds,Comm. Anal. Geom.30no. 8 (2022) 1713–1777. DOI: 10.4310/CAG.2022.v30.n8.a2. ☞pp. 12, 14, 23, 24, 27, 33, and 34

    2022 doi

  4. [12]

    Capoferri, G

    M. Capoferri, G. Rozenblum, N. Saveliev and D. Vassiliev, Topological obstructions to the diagonalisation of pseudodifferential systems,Proc. Amer. Math. Soc. (Ser. B)9(2022) 472–

    2022

  5. [13]

    3, 16, and 23

    DOI: 10.1090/bproc/147.☞pp. 3, 16, and 23

    doi

  6. [14]

    Capoferri and D

    M. Capoferri and D. Vassiliev, Global propagator for the massless Dirac operator and spec- tral asymptotics,Integral Equ. Oper. Theory94(2022) 30. DOI: 10.1007/s00020-022-02708-1. ☞pp. 5, 12, 13, 27, and 28

    2022 doi

  7. [15]

    Capoferri and D

    M. Capoferri and D. Vassiliev, Invariant subspaces of elliptic systems I: pseudodifferential projections,J. Funct. Anal.282no. 8 (2022) 109402. DOI: 10.1016/j.jfa.2022.109402.☞pp. 2 and 27 Higher order Weyl coefficients for the operator curl Giovanni Bracchi,Matteo Capoferrian...

    2022 doi

  8. [16]

    Capoferri and D

    M. Capoferri and D. Vassiliev, Invariant subspaces of elliptic systems II: spectral theory, J. Spectr. Theory12no. 1 (2022) 301–338. DOI: 10.4171/JST/402.☞pp. 11 and 19

    2022 doi

  9. [17]

    Capoferri and D

    M. Capoferri and D. Vassiliev, Beyond the Hodge theorem: curl and asymmetric pseudodiffer- ential projections,J. London Math. Soc.113no. 1 (2026) e70431. DOI: 10.1112/jlms.70431. ☞pp. 2, 3, 4, 11, 14, 20, 21, 22, 24, 27, 28, 29, and 32

    2026 doi

  10. [18]

    Capoferri and D

    M. Capoferri and D. Vassiliev, A microlocal pathway to spectral asymmetry: curl and the eta invariant. Preprint arXiv:2502.18307 (2025).☞p. 2

    2025

  11. [19]

    Chervova, R

    O. Chervova, R. J. Downes and D. Vassiliev, The spectral function of a first order elliptic system,J. Spectr. Theory3no. 3 (2013) 317–360. DOI: 10.4171/JST/47.☞p. 12

    2013 doi

  12. [20]

    Demchenko and N

    M.N. Demchenko and N. Filonov, Spectral asymptotics of the Maxwell operator on Lips- chitz manifolds with boundary, in:Spectral Theory of Differential Operators: M.Sh. Bir- man 80th Anniversary Collection(Amer. Math. Soc., Providence, RI, 2008), 73–90. DOI: 10.1090/trans2/225.☞p. 2

    2008 doi

  13. [21]

    J. J. Duistermaat and V. W. Guillemin, The spectrum of positive elliptic operators and periodic bicharacteristics,Invent. Math.29no. 1 (1975) 39–79. DOI: 10.1007/BF01405172.☞p. 6

    1975 doi

  14. [22]

    Enciso and D

    A. Enciso and D. Peralta-Salas, Non-existence of axisymmetric optimal domains with smooth boundary for the first curl eigenvalue,Ann. Sc. Norm. Super. Pisa Cl. Sci.XXIV(2023) 311–327. DOI: 10.2422/2036-2145.202010_008.☞p. 2

    2023 doi

  15. [23]

    Enciso, W

    A. Enciso, W. Gerner and D. Peralta-Salas, Optimal convex domains for the first curl eigen- value,Trans. Am. Math. Soc.,377no. 7 (2024) 4519–4540. DOI: 10.1090/tran/8914.☞p. 2

    2024 doi

  16. [24]

    Enciso, W

    A. Enciso, W. Gerner and D. Peralta-Salas, Optimal metrics for the first curl eigenvalue on 3-manifolds,Calc. Var. Partial Differ. Equ.64(2025) 146. DOI: 10.1007/s00526-025-02995-7. ☞p. 2

    2025 doi

  17. [25]

    Fang,Analysis of first order systems on manifolds without boundary: A spectral theoretic approach

    Y.-L. Fang,Analysis of first order systems on manifolds without boundary: A spectral theoretic approach. PhD Thesis, University College London, 2017. URL:https://discovery.ucl.ac. uk/id/eprint/1560979.☞pp. 7 and 24

    2017

  18. [26]

    Filonov, Spectral analysis of the selfadjoint operator curl in a region of finite measure, Algebra i Anal.11no

    N. Filonov, Spectral analysis of the selfadjoint operator curl in a region of finite measure, Algebra i Anal.11no. 6 (1999) 178–190;St. Petersburg Math. J.11no. 6 (2000) 1085–1095. ☞p. 2

    1999

  19. [27]

    Filonov, Weyl asymptotics of the spectrum of the Maxwell operator in Lipschitz domains of arbitrary dimension,Algebra i Anal.25no

    N. Filonov, Weyl asymptotics of the spectrum of the Maxwell operator in Lipschitz domains of arbitrary dimension,Algebra i Anal.25no. 1 (2013) 170–215;St. Petersburg Math. J.25no. 1 (2014) 117–149. DOI: 10.1090/S1061-0022-2013-01282-9.☞p. 2

    2013 doi

  20. [28]

    Yoshida and Y

    Z. Yoshida and Y. Giga, Remarks on spectra of operator rot,Math. Z.204(1990) 235–245. DOI: 10.1007/BF02570870.☞p. 3

    1990 doi

  21. [29]

    P. B. Gilkey,Invariance theory, the heat equation, and the Atiyah–Singer index theorem, 2nd ed., Studies in Advanced Mathematics, CRC Press, 1994.☞p. 35

    1994

  22. [30]

    Hitchin, Harmonic spinors,Adv

    N. Hitchin, Harmonic spinors,Adv. Math.14no. 1 (1974) 1–55. DOI: 10.1016/0001- 8708(74)90021-8.☞p. 32 Higher order Weyl coefficients for the operator curl Giovanni Bracchi,Matteo CapoferriandDmitri Vassiliev Page 38

    1974 doi

  23. [31]

    Ivrii, Second term of the spectral asymptotic expansion of the Laplace–Beltrami operator on manifolds with boundary,Funct

    V. Ivrii, Second term of the spectral asymptotic expansion of the Laplace–Beltrami operator on manifolds with boundary,Funct. Anal. Appl.14(1980) 98–106. DOI: 10.1007/BF01086550. ☞p. 6

    1980 doi

  24. [32]

    Ivrii,Precise spectral asymptotics for elliptic operators acting in fiberings over manifolds with boundary, Lecture Notes in Mathematics1100, Springer-Verlag, Berlin, 1984

    V. Ivrii,Precise spectral asymptotics for elliptic operators acting in fiberings over manifolds with boundary, Lecture Notes in Mathematics1100, Springer-Verlag, Berlin, 1984. DOI: 10.1007/BFb0072205.☞p. 6

    1984 doi

  25. [33]

    Ivrii,Microlocal analysis and precise spectral asymptotics, Springer-Verlag, Berlin, 1998

    V. Ivrii,Microlocal analysis and precise spectral asymptotics, Springer-Verlag, Berlin, 1998. DOI: 10.1007/978-3-662-12496-3.☞p. 6

    1998 doi

  26. [34]

    Laptev, Yu

    A. Laptev, Yu. Safarov and D. Vassiliev, On global representation of Lagrangian distributions and solutions of hyperbolic equations,Commun. Pure Appl. Math.47no. 11 (1994) 1411–1456. DOI: 10.1002/cpa.3160471102.☞p. 12

    1994 doi

  27. [35]

    Lerner and F

    N. Lerner and F. Vigneron, On some properties of the curl operator and their conse- quences for the Navier-Stokes system,Commun. Math. Res.38no. 4 (2022) 449–497. DOI: 10.4208/cmr.2021-0106.☞p. 2

    2022 doi

  28. [36]

    Lotay, Stability of coassociative conical singularities,Comm

    J. Lotay, Stability of coassociative conical singularities,Comm. Anal. Geom.20no. 4 (2012) 803–867. DOI: 10.4310/CAG.2012.v20.n4.a5.☞p. 2

    2012 doi

  29. [37]

    Müller, C

    U. Müller, C. Schubert and A.E.M. van de Ven, A closed formula for the Riemann normal coor- dinate expansion,Gen. Relativ. Gravit.31(1999) 1759–1768. DOI: 10.1023/A:1026718301634. ☞p. 22

    1999 doi

  30. [38]

    Rellich,Perturbation theory of eigenvalue problems, Courant Institute of Mathematical Sci- ences, New York University, 1954.☞p

    F. Rellich,Perturbation theory of eigenvalue problems, Courant Institute of Mathematical Sci- ences, New York University, 1954.☞p. 21

    1954

  31. [39]

    Safarov, Asymptotic behavior of the spectrum of the Maxwell operator,J

    Yu. Safarov, Asymptotic behavior of the spectrum of the Maxwell operator,J. Sov. Math.27 (1984) 2655–2661. DOI: 10.1007/BF01103726.☞p. 2

    1984 doi

  32. [40]

    Safarov and D

    Yu. Safarov and D. Vassiliev,The asymptotic distribution of eigenvalues of partial differential operators, Am. Math. Soc., Providence (RI), 1997. DOI: 10.1090/mmono/155☞pp. 4, 5, 6, 10, 12, 21, and 25

    1997 doi

  33. [41]

    Shubin,Pseudodifferential operators and spectral theory, Springer, 2001

    M.A. Shubin,Pseudodifferential operators and spectral theory, Springer, 2001. DOI: 10.1007/978-3-642-56579-3.☞p. 34 Higher order Weyl coefficients for the operator curl

    2001 doi

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.