pith. sign in

arxiv: 2412.00439 · v3 · submitted 2024-11-30 · 🧮 math.AG

Lefschetz principle-type theorems for curve semistable Higgs sheaves and applications to elliptic surfaces

Armando Capasso This is my paper

Pith reviewed 2026-05-23 08:30 UTC · model grok-4.3

classification 🧮 math.AG
keywords Higgs sheavessemistable Higgs bundlescurve semistableLefschetz principleelliptic surfacesChern classesH-nflat Higgs bundlesnilpotent Higgs bundles
0
0 comments X

The pith

Lefschetz principle-type theorems for semistable Higgs sheaves reduce a conjecture on curve semistable Higgs bundles to the complex case and prove it for nilpotent cases on elliptic surfaces.

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

The paper proves Lefschetz principle-type theorems for semistable and curve semistable Higgs sheaves on smooth projective varieties over algebraically closed fields of characteristic zero. These theorems reduce a conjecture about curve semistable Higgs bundles from the general setting to the complex case. Because the conjecture is equivalent to the vanishing of Chern classes of H-nflat Higgs bundles, the author studies these bundles over elliptic surfaces. A further reduction to nilpotent H-nflat Higgs bundles allows the vanishing to be proved in that restricted setting on elliptic surfaces.

Core claim

Lefschetz principle-type theorems are established for semistable and curve semistable Higgs sheaves. Application of these theorems reduces the conjecture on curve semistable Higgs bundles to the complex case. On elliptic surfaces the same conjecture reduces once more to nilpotent H-nflat Higgs bundles, where the required vanishing of Chern classes is proved.

What carries the argument

Lefschetz principle-type theorems for semistable and curve semistable Higgs sheaves, which enable successive reductions of the conjecture first to the complex case and then to nilpotent H-nflat Higgs bundles on elliptic surfaces.

If this is right

  • The conjecture on curve semistable Higgs bundles holds over the complex numbers whenever the Lefschetz theorems apply.
  • Vanishing of Chern classes holds for nilpotent H-nflat Higgs bundles on elliptic surfaces.
  • The reductions from the general setting to the complex case and then to the nilpotent elliptic-surface case preserve the relevant semistability and flatness properties.
  • The Lefschetz theorems apply uniformly to both semistable and curve semistable Higgs sheaves.

Where Pith is reading between the lines

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

  • The same reduction strategy could be tested on other classes of surfaces whose moduli spaces are well understood.
  • If the full conjecture holds, it would impose strong restrictions on the possible Chern classes of H-nflat Higgs bundles in algebraic geometry.
  • The equivalence to Chern-class vanishing may connect the statement to questions about nonabelian Hodge correspondences in characteristic zero.

Load-bearing premise

The reductions via the Lefschetz theorems preserve semistability, curve semistability, and the equivalence between the conjecture and vanishing of Chern classes without extra restrictions.

What would settle it

A concrete nilpotent H-nflat Higgs bundle on an elliptic surface whose Chern classes fail to vanish would show the final proved case is false.

read the original abstract

I prove "Lefschetz principle"-type theorems for semistable and curve semistable Higgs sheaves on smooth projective varieties defined over an algebraically closed field of characteristic $0$. These theorems are applied to reduce a conjecture, about curve semistable Higgs bundles, from the previous general setting to the complex case. Since this conjecture is equivalent to vanishing of Chern classes of H-nflat Higgs bundles, I consider these last ones over elliptic surfaces. I reduce one more time the conjecture to nilpotent, H-nflat Higgs bundles, and I prove it on elliptic surfaces.

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.

Referee Report

0 major / 0 minor

Summary. The manuscript proves Lefschetz principle-type theorems for semistable and curve semistable Higgs sheaves on smooth projective varieties over algebraically closed fields of characteristic 0. These theorems reduce a conjecture on curve semistable Higgs bundles to the complex case. The conjecture is equivalent to vanishing of Chern classes of H-nflat Higgs bundles; the problem is then specialized to elliptic surfaces, reduced further to the nilpotent case, and proved there.

Significance. If the reductions and final proof are valid, the work supplies a concrete reduction pathway from general settings to elliptic surfaces over C, which could facilitate verification of semistability and flatness conjectures for Higgs bundles. The explicit treatment of the nilpotent case on elliptic surfaces is a tangible contribution that may support explicit computations.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report. The summary accurately reflects the content of the manuscript. No specific major comments appear in the provided referee report, so we have no individual points requiring response or revision at this stage. We remain available to supply further details on the reductions or the nilpotent case if the referee wishes to verify particular steps.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds by stating Lefschetz-type theorems for semistable and curve semistable Higgs sheaves, applying them to reduce a stated conjecture first to the complex case, invoking an equivalence to Chern-class vanishing for H-nflat bundles, restricting to elliptic surfaces, reducing further to the nilpotent case, and proving the reduced statement directly. No step equates a claimed prediction or result to its own inputs by definition, renames a fitted quantity, or relies on a load-bearing self-citation whose content is unverified outside the paper. The chain uses external field-change and restriction arguments whose validity is independent of the final proof, rendering the overall argument self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard domain assumptions of algebraic geometry; no free parameters, new entities, or ad-hoc axioms are indicated in the abstract.

axioms (1)
  • domain assumption The base field is algebraically closed of characteristic zero and the varieties are smooth projective.
    Explicitly stated as the setting in which the Lefschetz-type theorems are proved.

pith-pipeline@v0.9.0 · 5618 in / 1286 out tokens · 34771 ms · 2026-05-23T08:30:46.656969+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    - The Stacks Project

    AA.VV. - The Stacks Project. https://stacks.math.columbia.edu/

    work page

  2. [2]

    Balaji, A

    V. Balaji, A. J. Parameswaran - Tensor product theorem for Hitchin pairs – an algebraic approach , Ann. Inst. Fourier, Grenoble 61 (2011) 2361–2403

    work page 2011

  3. [3]

    Biswas, G

    I. Biswas, G. Schumacher - Yang-Mills equation for stable Higgs sheaves , Int. J. Math. 20 (2009) 541–556

    work page 2009

  4. [4]

    Bosch (2011) Algebraic Geometry and Commutative Algebra , Springer

    S. Bosch (2011) Algebraic Geometry and Commutative Algebra , Springer

    work page 2011

  5. [5]

    Bourbaki (1989) Algebra I

    N. Bourbaki (1989) Algebra I. Chapters 1-3 , Springer

    work page 1989

  6. [6]

    Bruzzo, A

    U. Bruzzo, A. Capasso, Filtrations of numerically flat Higgs bundles and curve semistable Higgs bundles on Calabi-Yau manifolds. Adv. Geom. 23 (2023) 215–222

    work page 2023

  7. [7]

    Bruzzo, B

    U. Bruzzo, B. Gra˜ na Otero - Metrics on semistable and numerically effective Higgs bundles , J. reine ang. Math. 612 (2007) 59–79

    work page 2007

  8. [8]

    Bruzzo, B

    U. Bruzzo, B. Gra˜ na Otero - Semistable and numerically effective principal (Higgs) bundles , Advances in Mathematics 226 (2011) 3655–3676

    work page 2011

  9. [9]

    Bruzzo, B

    U. Bruzzo, B. Gra˜ na Otero, D. Hern´ andez Ruip´ erez,On a conjecture about Higgs bundles for rank 2 and some inequalities, Mediterr. J. Math. 20 (2023) article ID 296

    work page 2023

  10. [10]

    Bruzzo, D

    U. Bruzzo, D. Hern´ andez Ruip´ erez -Semistability vs. nefness for (Higgs) vector bundles , Diff. Geom. Appl. 24 (2006) 403–416

    work page 2006

  11. [11]

    Bruzzo, V

    U. Bruzzo, V. Lanza, A. Lo Giudice, Semistable Higgs bundles on Calabi-Yau manifolds. Asian. J. Math. 23 (2019) 905–918

    work page 2019

  12. [12]

    Bruzzo, A

    U. Bruzzo, A. Lo Giudice, Restricting Higgs bundles to curves . Asian J. Math. 20 (2016) 399–408

    work page 2016

  13. [13]

    Bruzzo, V

    U. Bruzzo, V. Peragine - Semistable Higgs bundles on elliptic surfaces , Adv. Geom. 22 (2022) 151–169

    work page 2022

  14. [14]

    Friedman (1998) Algebraic Surfaces and Holomorphic Vector Bundles , Springer

    R. Friedman (1998) Algebraic Surfaces and Holomorphic Vector Bundles , Springer

    work page 1998

  15. [15]

    R. C. Hartshorne (1977) Algebraic Geometry, Springer

    work page 1977

  16. [16]

    R. C. Hartshorne - Stable reflexive sheaves , Math. Ann. 254 (1980) 121–176

    work page 1980

  17. [17]

    S. A. Holgu´ ın Cardona - Approximate Hermitian-Yang-Mills structures and semistability for Higgs bundles II: Higgs sheaves and admissible structures , Ann. Global Anal. Geom. 44 (2013) 455–469

    work page 2013

  18. [18]

    Langer - Bogomolov’s inequality for Higgs sheaves in positive characteristic, Inv

    A. Langer - Bogomolov’s inequality for Higgs sheaves in positive characteristic, Inv. Math. 199 (2015) 889–920

    work page 2015

  19. [19]

    S. G. Langton - Valuative criteria for families of vector bundles on algebraic varieties , Annals of Mathematics 101 (1975) 88–110

    work page 1975

  20. [20]

    Lanza, A

    V. Lanza, A. Lo Giudice, Bruzzo’s conjecture, J. Geom. Phys. 118 (2017) 181–191

    work page 2017

  21. [21]

    Liu (2002) Algebraic Geometry and Arithmetic Curves , Oxford Graduate Texts in Mathematics

    Q. Liu (2002) Algebraic Geometry and Arithmetic Curves , Oxford Graduate Texts in Mathematics

    work page 2002

  22. [22]

    Schoen - On certain exterior product maps of Chow groups , Math

    C. Schoen - On certain exterior product maps of Chow groups , Math. Res. Lett. 7 (2000) 177–194

    work page 2000

  23. [23]

    C. T. Simpson - Higgs bundles and local systems , Inst. Hautes ´Etudes Sci. Publ. Math. 75 (1992) 5–95

    work page 1992

  24. [24]

    Vistoli - Notes on Grothendieck topologies, fibered categories and descent theory

    A. Vistoli - Notes on Grothendieck topologies, fibered categories and descent theory. Scuola Normale Superiore, 2008 http://homepage.sns.it/vistoli/descent.pdf. Via Tito Livio, 17, Volla (Napoli, Italy), C.A.P. 80040 Email address: armando1985capasso@gmail.com

    work page 2008