Pith. sign in

REVIEW 3 major objections 5 minor 7 references

A Spectral Gap for Spinors on Hyperbolic Surfaces

T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read This paper proves that an explicit arithmetic tower of hyperbolic surfaces has a uniform spectral gap for the Dirac operator, with genus going to infinity.

desk verdict A genuinely new explicit construction with a small notation gap in the proof; worth refereeing and publishing after fixes. read the letter →

arxiv 2506.17092 v1 pith:HPTUTSVH submitted 2025-06-20 math.NT math.DGmath.SP

Anshul Adve , Vikram Giri This is my paper · ORCID
classification math.NTmath.DGmath.SP MSC 58J5053C2711F72
keywords Diracoperatorspinhyperbolicsurfacesspectralgapthetacharacteristicarithmeticabeliancoverstwistedzetafunctionstructures
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 proves that a uniform spectral gap for the Dirac operator can occur on an explicit tower of arithmetic hyperbolic surfaces. The main theorem produces a spin surface $\Sigma$, a tower of covers $\cdots\to\Sigma_2\to\Sigma_1\to\Sigma_0=\Sigma$ with genus tending to infinity, and a constant $c>0$ such that $\lambda^{\mathrm{spin}}_0(\Sigma_n)\ge c$ for every $n$. This matters because large injectivity radius forces the spinor gap to close, and because for the ordinary Laplacian on functions no such uniform gap can persist along growing-volume towers. The proof reduces the spectral statement to an algebraic-geometric vanishing statement: for every character in a chosen subtorus, a certain twisted $\theta$-characteristic line bundle has no nonzero holomorphic sections.

What carries the argument

The load-bearing mechanism is the character decomposition of the spin Laplacian on abelian covers, combined with the spin-structure/$\theta$-characteristic correspondence. On a cover with character group $H$, the spinor space decomposes as $\bigoplus_{\chi\in H}L^2(\Sigma,S_+\otimes L_\chi)$, and the spin Laplacian preserves the summands; Proposition 2.3 identifies the bottom eigenvalue of the cover with the minimum, over all characters in the subtorus, of the bottom eigenvalues of the twisted operators, and reduces positivity to the vanishing of holomorphic sections of $S_+\otimes L_\chi\simeq K_\Sigma^{1/2}\otimes L_\chi$. The explicit curves and the double cover make this vanishing check a finite divisor computation; Lemma 4.1, about degree-two effective divisors on a genus-2 curve of the form $y^2=h(x)$, is what turns the hypothetical existence of a section into a contradiction.

What would settle it

Compute $H^0(\Sigma,K_\Sigma^{1/2}\otimes L_\chi)$ for a $2^n$-torsion character $\chi\in T$ using the explicit divisors in Section 5; any nonzero section gives $\lambda^{\mathrm{spin}}_0(\Sigma_{T[2^n]})=0$ and refutes Theorem 1.1. A cheaper check is to test the pushforward identity $f_*f^*L_\chi=L_\chi^{\otimes2}$ under the paper's stated definitions on a concrete character; if the identity is false as equality of line bundles, Lemma 5.3 lacks a valid proof.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.1: there exist $c>0$, a spin arithmetic hyperbolic surface $\Sigma$, and a tower of covers with genus going to infinity such that $\lambda^{\mathrm{spin}}_0\ge c$ on every cover. The construction is fully explicit. The base surface is the genus-$2$ curve $\Sigma:\ y^2=x^6-1$ with $\theta$ characteristic $K_\Sigma^{1/2}$, and the cover structure comes from the degree-$2$ map $f(x,y)=(x^2,xy)$ to the elliptic curve $E:\ y^2=x^4-x$. Pulling back a one-parameter subtorus $T_E$ of the character variety of $E$ gives a one-dimensional subtorus $T\subset\widehat{H_1(\Sigma,\mathbb{Z})}$, and the tower is $\Sigma_{T[2^n]}$. Theorem 3.1 asserts that $K_\Sigma^{1/2}\otimes L_\chi$ has no nonzero holomorphic sections for any $\chi\in T$; Proposition 2.3 converts this into a uniform lower bound for the spin Laplacian on all the covers.

Load-bearing premise

The load-bearing premise is that $f_*f^*L_\chi=L_\chi^{\otimes 2}$ for the double cover in Lemma 5.3; this identity holds only if $f_*$ is interpreted as the norm map on line bundles, a convention the paper never states, and with the standard sheaf-theoretic pushforward the left-hand side is a rank-2 vector bundle, not a line bundle.

Editorial extensions

If this is right

  • The covers $\Sigma_{T[2^n]}$ can be written down explicitly from $\Sigma:y^2=x^6-1$, the double cover $f(x,y)=(x^2,xy)$, and the $2^n$-torsion subgroup of $T$; the construction requires no probabilistic input or search.
  • Arithmeticity does not obstruct a uniform spinor spectral gap: the base surface is arithmetic, every cover is arithmetic, and the gap $c$ is uniform across the tower.
  • Reformulated through the associated twisted zeta function, the result gives an infinite family of spin surfaces whose twisted zeta zeros stay uniformly away from the central point $1/2$.
  • Together with the universal upper bound of Appendix A, the theorem implies that the bass note spectrum of arithmetic spin surfaces has a nonzero limit point, so the values $\lambda^{\mathrm{spin}}_0$ accumulate away from $0$ along an explicit sequence.

Reading between the lines

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

  • The same divisor-counting scheme could be tried on other explicit genus-2 curves equipped with a degree-2 map to an elliptic curve; the structure of Lemma 4.1 suggests the dichotomy between the trivial character and one 2-torsion character will persist whenever the relevant fibers lie in different fibers of the two-to-one projection to the $x$-line.
  • Because Proposition 2.3 is a general Fourier decomposition for abelian covers, the same reduction—uniform gap equivalent to vanishing of holomorphic sections of a fixed line bundle twisted by characters—should apply to other invariant operators and other line bundles, not only the spin Laplacian.
  • The number-field analogy in Section 1.3 can be read as a concrete prediction: if an analogue of the tower exists, there should be infinitely many quadratic unramified extensions $L/K$ for which the quotient of their zeta functions has a uniform zero-free strip to the right of $1/2$; the paper does not establish this, but the method suggests searching among abelian towers with controlled 2-torsion
  • A fully effective version of the proof may be obtainable: compute the $2^n$-torsion points of $T_E$ symbolically, verify the divisor contradictions mechanically, and thereby extract an explicit numerical constant $c$ rather than an existential one.
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

3 major / 5 minor

Summary. The paper constructs an explicit sequence of closed arithmetic hyperbolic surfaces Σ_n with genus tending to infinity and a uniform positive lower bound for the smallest eigenvalue of the spin Laplacian (equivalently, a spectral gap for the Dirac operator). The construction starts with the genus-2 curve Σ: y²=x⁶−1, equips it with a theta characteristic, and studies a one-parameter family of flat line bundles L_χ obtained by pullback from an elliptic curve E. The main algebraic claim (Theorem 3.1) is that for every character χ in this family, the twisted theta characteristic K_Σ^{1/2}⊗L_χ has no nonzero holomorphic sections. The proof combines a Fourier decomposition of abelian covers (Proposition 2.3), a criterion equating the vanishing of the spectral gap with the existence of holomorphic sections (Lemma 2.6), and a divisorial argument on hyperelliptic curves to rule out such sections. The arithmeticity of Σ is established by showing it is tiled by (2,6,6)-triangles and that the corresponding triangle group is commensurable with an arithmetic lattice. If the arguments are repaired as indicated below, the main theorem follows from the algebraic statement via the continuity and compactness arguments in Section 2.

Significance. The result is significant: it provides the first explicit construction of spin hyperbolic surfaces with genus going to infinity and a uniform spectral gap for the Dirac operator, complementing the coclosed 1-form gap on hyperbolic 3-manifolds of [Abd+24] and contradicting the oracle one might extrapolate from the function Laplacian case. The proof is transparent and largely self-contained, with the main reduction to an explicit algebraic geometry statement that is parameter-free and falsifiable. The paper also gives a clean example of the 'bass note spectrum' having a nonzero limit point for arithmetic spin surfaces. These strengths are substantial even though the current manuscript contains a few local but load-bearing technical gaps.

major comments (3)
  1. [Section 5, Lemma 5.3] The proof of Lemma 5.3 asserts the identity f_*f^*L_χ = L_χ^{⊗2}. This is false: for the degree-2 cover f:Σ→E, the sheaf pushforward f_*(f^*L_χ) is a rank-2 vector bundle on E, not a line bundle. The intended statement is N_f(f^*L_χ) ≅ L_χ^{⊗2}, where N_f is the norm (transfer) map Pic(Σ)→Pic(E). Since the norm map is never defined or mentioned, the proof of injectivity of T_E→Pic(Σ) is incomplete as written. This is load-bearing because the proof of Theorem 3.1 uses Lemma 5.3 to conclude from f^*L_χ being 2-torsion that χ is 2-torsion, thereby restricting to χ∈{1,χ₂}. The repair is standard and local, but the manuscript must be corrected.
  2. [Section 5, Lemma 5.4] The statement of Lemma 5.4 reads 'f'_*f_* : Cl⁰(E)→Cl⁰(E′)'. This composition is not well-defined: f_* pushes forward divisors on Σ to divisors on E, so it cannot be applied to a divisor on E. The proof, however, computes f'_*(f^*(a,b)), i.e., it uses the pullback f^*, not f_*. The statement should be corrected to f'_*f^* : Cl⁰(E)→Cl⁰(E′). The subsequent use of Lemma 5.4 in the proof of Theorem 3.1 is consistent with the corrected statement, so this is a typo in the lemma statement, but it must be repaired for the manuscript to be coherent.
  3. [Section 3, definition of Σ_n] The text defines Σ_n = Σ_{T[2n]} and claims that the Σ_n form a tower of covers of Σ₀. This is not correct as written: the subgroups T[2n] of the torus are not nested as n grows (e.g., T[4] is not a subset of T[6]), so the covers are not linearly ordered by inclusion. The intended tower is obtained by taking Σ_n = Σ_{T[2^n]}, since T[2^n] ⊂ T[2^{n+1}]; Proposition 2.3 applies to all n, so the spectral gap argument is unaffected after this change. Please correct the definition and the statement of the tower in Theorem 1.1.
minor comments (5)
  1. [Section 2.1] There is a typo in 'By defintion' (should be 'By definition').
  2. [Section 1.3] The word 'speculatory' is nonstandard; consider using 'speculative'.
  3. [Section 2.4, Lemma 2.5] The claim that the proof for finite-dimensional operators in [Kat95] 'works for compact operators in infinite dimension' should be justified by a short argument or a precise citation to Kato's Chapter 4, since the finite-dimensional proof uses characteristic polynomials and does not literally carry over to infinite dimensions.
  4. [Section 5, proof of Lemma 5.2] In the computation of Div(f^*L_{χ₂}), the notation f^*[(1,0)-(0,0)] is correct, but the paper should clarify that the preimages under f of (0,0) are (0,i) and (0,-i), which follows from f(x,y)=(x²,xy); this is implicit but not stated.
  5. [Section 3] The phrase 'Let T be the image of TE in \hat{H1(Σ,Z)} under the pullback map f^*' is written before Lemma 5.3 establishes injectivity; the paper may want to note that T is one-dimensional by the later injectivity, or prove injectivity earlier, to avoid a forward reference that might confuse the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the construction and spectral-gap proof are self-contained, with self-citations only contextual.

full rationale

The paper's derivation chain is self-contained. The main theorem is reduced to Theorem 3.1, which is proved directly from explicit divisors and maps on the genus-2 curve, rather than being assumed or imported. Proposition 2.3, which links the spectral gap to the absence of holomorphic sections, is proved in the text via Fourier decomposition, the continuity lemma, and the elliptic-regularity lemma; it is not a definitional restatement of the theorem. The background results invoked are standard external mathematics (Riemann-Roch, elliptic regularity, Kato perturbation theory, Atiyah's spin-structure bijection), not results of the present paper. The only self-citation, [Abd+24], appears in the introduction's comparison and in open questions; it is not load-bearing for the proof. The arithmeticity of the surface is established explicitly in Section 6 rather than assumed. The flagged issue in Lemma 5.3 concerning the pushforward identity is a possible technical or notational gap, but it is not a circularity: it does not fit any parameter, rename a known result, or assume the theorem's conclusion. Accordingly, the appropriate circularity score is 0.

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

No fitted parameters or invented entities appear. The construction uses one explicit genus-2 curve, two elliptic double covers, and a chosen one-parameter family of flat characters. The main audit point is the push-pull identity in Lemma 5.3, which requires the norm-map interpretation.

assumptions (7)
  • standard math Riemann-Roch theorem for compact Riemann surfaces
    Used in Lemma 4.1 and elsewhere to control h^0 of degree-2 and degree-0 divisors.
  • standard math Bijection between spin structures and theta characteristics
    Invoked in Section 2.2 (citing Atiyah) to translate the spinor spectral problem into vanishing of holomorphic sections of K^{1/2}_Σ⊗Lχ.
  • standard math Elliptic regularity and spectral theory for elliptic operators on compact manifolds
    Used in Lemma 2.4, Lemma 2.6, and Proposition 2.1.
  • standard math Continuity of spectra of compact operators
    Lemma 2.5, cited to Kato [Kat95].
  • standard math Maximum principle for holomorphic sections of flat unitary line bundles
    Used in the proof of Lemma 5.3 to conclude that a nonvanishing holomorphic section of Lχ^2 forces χ^2=1.
  • standard math Norm push-pull identity f_*f^*L = L^{⊗deg f} on Picard groups
    Used in Lemma 5.3; true for the norm or determinant-induced map, but the paper does not state this and writes it as an equality of line bundles.
  • domain assumption Hyperbolic uniformization of y^2=x^6-1 via the (2,6,6) triangle group and arithmeticity of the reflection group
    Proved in Section 6 using Schwarz reflection and the explicit lattice; the arithmeticity of the surface is load-bearing for the arithmetic-cover claim.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Spectral Gap for Spinors on Hyperbolic Surfaces." pith.science (2026). https://pith.science/paper/HPTUTSVH

@misc{pith2026250617092,
  author       = {Pith},
  title        = {Pith review of: A Spectral Gap for Spinors on Hyperbolic Surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HPTUTSVH}},
  note         = {Machine review of arXiv:2506.17092}
}
abstract

The purpose of this note is to construct a sequence of spin hyperbolic surfaces $\Sigma_n$ with genus going to infinity and with a uniform spectral gap for the Dirac operator. Our construction is completely explicit. In particular, the $\Sigma_n$ can be taken to be a tower of covers, with each $\Sigma_n$ an arithmetic hyperbolic surface.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 4 canonical work pages

  1. [6]

    REFERENCES 13 [Sar89] P

    eprint:http://publications.ias.edu/sarnak/ paper/2728. REFERENCES 13 [Sar89] P. Sarnak.Special values of Selberg’s zeta-function. Number theory, trace for- mulas and discrete groups, Symp. in Honor of Atle Selberg, Oslo/Norway 1987, 457-465 (1989)

    work page 1989

  2. [5]

    Stable isoperimetric ratios and the Hodge Lapla- cian of hyperbolic manifolds

    arXiv:2403.00928 [math.NT]. [Rud23] Cameron Gates Rudd. “Stable isoperimetric ratios and the Hodge Lapla- cian of hyperbolic manifolds”. In:Journal of Topology16.2 (2023), pp. 588– 633.doi:https : / / doi . org / 10 . 1112 / topo . 12291. eprint:https : / / londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/topo.12291. [Sar23] Peter Sarnak.Chern Lectures...

    arXiv 2023

  3. [469]

    Classics in Mathematics

    [Kat95] Tosio Kato.Perturbation theory for linear operators. Classics in Mathematics. Reprint of the 1980 edition. Springer-Verlag, Berlin, 1995, pp. xxii+619.isbn: 3-540-58661-X. [Lub17] Alexander Lubotzky.High dimensional expanders

    work page 1980

  4. [1989]

    Infinite global fields and the general- ized Brauer–Siegel theorem

    [TV02] M. A. Tsfasman and S. G. Vl˘ adut ¸. “Infinite global fields and the general- ized Brauer–Siegel theorem”. In:Moscow Mathematical Journal2.2 (2002), pp. 329–402. Email address:aadve@princeton.edu Email address:vikramaditya.giri@math.ethz.ch

    work page 2002

  5. [2017]

    High Dimensional Expanders

    arXiv:1712.02526. [Mag24] Michael Magee.The limit points of the bass notes of arithmetic hyperbolic surfaces

    work page Pith review arXiv

  6. [2023]

    Ueber die Eigenwerte des Laplace-Operators auf kompakten Riemannschen Fl¨ achen II

    arXiv:2311.13330 [math.SP]. [Hub78] Heinz Huber. “Ueber die Eigenwerte des Laplace-Operators auf kompakten Riemannschen Fl¨ achen II”. In:Comment. Math. Helvetici53 (1978), pp. 458–

    arXiv 1978

  7. [2024]

    Riemann surfaces and spin structures

    arXiv:2404.19039 [math.GT]. [Ati71] Michael F. Atiyah. “Riemann surfaces and spin structures”. In:Ann. Sci. ´Ec. Norm. Sup´ er. (4)4 (1971), pp. 47–62.issn: 0012-9593.doi:10.24033/ asens.1205. [Ges+23] Elliott Gesteau, Sridip Pal, David Simmons-Duffin, and Yixin Xu.Bounds on spectral gaps of Hyperbolic spin surfaces

    arXiv 1971

Pith tools

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