pith. sign in

arxiv: 2606.19155 · v1 · pith:LVFXB46Wnew · submitted 2026-06-17 · 🧮 math.AG

A Symmetry Method for Key Vanishing Lemmas and Optimal 2-Jet Thresholds for Hyperbolicity

Tao Cui , Lei Hou , Jianjun Liu , Song-Yan Xie This is my paper

Pith reviewed 2026-06-26 19:13 UTC · model grok-4.3

classification 🧮 math.AG
keywords Kobayashi hyperbolicityjet differentialsalgebraic surfacessymmetry methodvanishing lemmasFermat hypersurfacesprojective spaceinvolution action
0
0 comments X

The pith

A symmetry method using involution-invariant perturbations proves that very generic surfaces of degree 16 or higher in P^3 are Kobayashi hyperbolic.

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

The paper develops a symmetry-based technique for proving vanishing results on negatively twisted invariant 2-jet differentials, both for generic surfaces in projective 3-space and for complements of plane curves. It applies a two-term perturbation of Fermat-type equations that stays invariant under an involution exchanging two coordinates. This invariance produces a linear action on the space of differentials whose eigenvectors, drawn from the representation theory of Z/2Z, supply many extra linear constraints. The resulting overdetermined systems become solvable by computer, yielding a proof that very generic degree-16 surfaces in P^3 are Kobayashi hyperbolic and laying groundwork for the degree-15 case. A reader would care because the vanishing controls entire curves and therefore the hyperbolicity of the surface.

Core claim

By taking a two-term perturbation of the Fermat equation that is invariant under the involution swapping two coordinates and applying an elementary eigenvector argument from the representation theory of Z/2Z to the space of invariant 2-jet differentials, the authors generate enough additional linear constraints to conclude that all negatively twisted invariant 2-jet differentials vanish on a very generic surface of degree d ≥ 16 in P^3; the vanishing implies that the surface is Kobayashi hyperbolic.

What carries the argument

The involution-invariant two-term perturbation of Fermat-type equations, which induces a linear action on the space of invariant 2-jet differentials and permits an eigenvector argument from Z/2Z representation theory to produce extra linear constraints.

Load-bearing premise

The C++ implementation correctly computes the solution space of the overdetermined linear systems obtained from the eigenvector constraints on the space of invariant 2-jet differentials for the chosen two-term perturbations.

What would settle it

A concrete counterexample would be an explicit non-constant entire curve on a very generic surface of degree 16 in P^3, or a computation showing that the dimension of the space of invariant 2-jet differentials remains positive for some such surface.

read the original abstract

This manuscript reports on an ongoing project. We develop a new symmetry-based method for establishing vanishing results for negatively twisted invariant 2-jet differentials, both on generic surfaces in $\mathbb{P}^3$ and on complements of generic plane curves. The approach improves upon the recent work of Hou--Huynh--Merker--Xie by using a two-term perturbation of Fermat-type equations that is invariant under an involution exchanging two coordinates. The induced linear action on the space of invariant 2-jet differentials, combined with an elementary eigenvector argument from the representation theory of $\mathbb{Z}/2\mathbb{Z}$, generates numerous additional linear constraints. This transforms the previously intractable systems into highly overdetermined ones, which we solve with a C++ implementation incorporating parallelization and modular arithmetic. Our ultimate goal is to prove that a very generic surface in $\mathbb{P}^3$ of degree $d \geqslant 15$ is Kobayashi hyperbolic, and that the complement of a generic curve in $\mathbb{P}^2$ of degree $d \geqslant 11$ is hyperbolic. As a concrete step, we prove here that a very generic surface in $\mathbb{P}^3$ of degree $d \geqslant 16$ is Kobayashi hyperbolic. The method developed in this paper also lays the theoretical foundation for the vanishing results needed to reach the optimal bounds. Since many colleagues have asked to see the new symmetry method, we are making this manuscript available now. The C++ code for the remaining cases $d=15$ and $d=11$ is already written and the computations are underway; we expect to complete them in the near future.

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

2 major / 1 minor

Summary. The manuscript develops a symmetry-based method for vanishing lemmas on invariant 2-jet differentials. It employs two-term Fermat-type perturbations invariant under a coordinate-exchanging involution, inducing a Z/2Z action whose representation theory supplies extra linear constraints. These turn previously intractable systems into overdetermined ones solved via a parallelized C++ implementation with modular arithmetic, yielding a proof that very generic surfaces in P^3 of degree d ≥ 16 are Kobayashi hyperbolic (with the method positioned to reach d = 15 and related results for plane-curve complements).

Significance. If the computer-assisted vanishing holds, the result lowers the known threshold for Kobayashi hyperbolicity of generic surfaces in P^3 to 16 and supplies a reusable symmetry technique that could attain the conjectured optimal bounds. The explicit use of Z/2Z eigenvectors to enlarge the constraint set, together with the preparation of code for the remaining cases, constitutes a concrete technical contribution to algebraic methods in hyperbolicity.

major comments (2)
  1. [Abstract and computational implementation description] The central claim that very generic surfaces of degree d ≥ 16 are Kobayashi hyperbolic rests entirely on the C++ solver establishing that the only solutions to the eigenvector-constrained linear systems (arising from the two-term perturbations and Z/2Z action on invariant 2-jet differentials) are the zero sections. The manuscript provides no explicit matrices, no description of the perturbation polynomials chosen for each d, no exclusion rules, and no verification steps for the modular arithmetic or lifting procedure, rendering the key vanishing lemmas unverifiable from the text alone.
  2. [Symmetry method and linear-algebra setup] The assertion that the symmetry method transforms the systems into 'highly overdetermined' ones (thereby guaranteeing trivial kernel for d ≥ 16) requires explicit rank or dimension counts comparing the number of independent constraints to the dimension of the space of invariant 2-jet differentials; without these calculations the overdetermined character remains unconfirmed and is load-bearing for the claimed improvement over prior work.
minor comments (1)
  1. The abstract states that the C++ code for d = 15 and d = 11 'is already written and the computations are underway'; including a brief status update or repository link would clarify reproducibility for readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive report and for highlighting the need for greater transparency in the computational aspects of our preliminary manuscript. We address each major comment below and will revise the text accordingly.

read point-by-point responses

  1. Referee: [Abstract and computational implementation description] The central claim that very generic surfaces of degree d ≥ 16 are Kobayashi hyperbolic rests entirely on the C++ solver establishing that the only solutions to the eigenvector-constrained linear systems (arising from the two-term perturbations and Z/2Z action on invariant 2-jet differentials) are the zero sections. The manuscript provides no explicit matrices, no description of the perturbation polynomials chosen for each d, no exclusion rules, and no verification steps for the modular arithmetic or lifting procedure, rendering the key vanishing lemmas unverifiable from the text alone.

    Authors: We agree that the present version supplies insufficient implementation detail for independent verification. The manuscript was written as a concise report on an ongoing project whose primary contribution is the new symmetry method; the full computational data were therefore omitted. In revision we will add an explicit description of the two-term Fermat-type perturbation polynomials chosen for each d ≥ 16, the resulting linear systems, the exclusion rules applied, and the modular-arithmetic verification steps. The C++ source code (already written and used for the d ≥ 16 cases) will be deposited in a public repository with a README documenting the compilation, execution, and lifting procedure. Full matrices remain too large for the printed text, but the code will allow any reader to regenerate them. revision: partial

  2. Referee: [Symmetry method and linear-algebra setup] The assertion that the symmetry method transforms the systems into 'highly overdetermined' ones (thereby guaranteeing trivial kernel for d ≥ 16) requires explicit rank or dimension counts comparing the number of independent constraints to the dimension of the space of invariant 2-jet differentials; without these calculations the overdetermined character remains unconfirmed and is load-bearing for the claimed improvement over prior work.

    Authors: The referee correctly identifies that the manuscript asserts the systems become highly overdetermined without supplying the supporting dimension counts. We will compute and insert, for each d ≥ 16, the dimension of the space of invariant 2-jet differentials together with the number of independent linear constraints obtained from the Z/2Z-eigenvector conditions. These explicit comparisons will confirm that the augmented systems are overdetermined and thereby justify the vanishing statements. revision: yes

Circularity Check

0 steps flagged

No circularity: vanishing shown by explicit linear algebra over Z/2Z invariants, solved computationally

full rationale

The derivation proceeds by constructing invariant 2-jet differentials, imposing the Z/2Z eigenvector constraints from the two-term Fermat perturbation to obtain an overdetermined linear system, and then verifying that the only solution is the zero section for d≥16 via direct C++ solution of that system. This is an independent computational check against an external benchmark (the matrix rank/kernel computation), not a self-definition, fitted parameter renamed as prediction, or self-citation chain that reduces the result to its inputs. No equations or steps in the provided text exhibit the forbidden reductions; the result is falsifiable by re-running the solver or finding an algebraic proof.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof depends on standard facts from algebraic geometry and jet bundle theory together with elementary representation theory; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract description.

axioms (2)
  • standard math Standard properties of invariant jet differentials on projective varieties and their transformation under linear actions
    Invoked to set up the space on which the Z/2Z action operates.
  • standard math The eigenvector argument from representation theory of Z/2Z produces independent linear constraints on the space of invariant 2-jet differentials
    Used to transform the system into an overdetermined one solvable by computer.

pith-pipeline@v0.9.1-grok · 5840 in / 1450 out tokens · 40690 ms · 2026-06-26T19:13:36.622828+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 · 4 canonical work pages · 3 internal anchors

  1. [1]

    Sur les syst` emes de fonctions uniformes satisfaisant a l’´ equation d’une vari´ et´ e alg´ ebrique dont l’irr´ egularit´ e depasse la dimension.J

    Andr´ e Bloch. Sur les syst` emes de fonctions uniformes satisfaisant a l’´ equation d’une vari´ et´ e alg´ ebrique dont l’irr´ egularit´ e depasse la dimension.J. de Math, 5:19–66, 1926. 1.1

    1926

  2. [2]

    Symmetric differential forms on complete intersection varieties and applications.Math

    Damian Brotbek. Symmetric differential forms on complete intersection varieties and applications.Math. Ann., 366(1-2):417–446, 2016. 5.2

    2016

  3. [3]

    On the hyperbolicity of general hypersurfaces.Publications math´ ematiques de l’IH´ES, 126(1):1– 34, 2017

    Damian Brotbek. On the hyperbolicity of general hypersurfaces.Publications math´ ematiques de l’IH´ES, 126(1):1– 34, 2017. 5.2

    2017

  4. [4]

    Complete intersection varieties with ample cotangent bundles

    Damian Brotbek and Lionel Darondeau. Complete intersection varieties with ample cotangent bundles.Invent. Math., 212(3):913–940, 2018 (arXiv:1511.04709). 5.2

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  5. [5]

    Curves on generic hypersurfaces.Ann

    Herbert Clemens. Curves on generic hypersurfaces.Ann. Sci. ´Ecole Norm. Sup. (4), 19(4):629–636, 1986. 4.1, 4.1

    1986

  6. [6]

    Algebraic criteria for Kobayashi hyperbolic projective varieties and jet differentials

    Jean-Pierre Demailly. Algebraic criteria for Kobayashi hyperbolic projective varieties and jet differentials. In Algebraic geometry—Santa Cruz 1995, volume 62 ofProc. Sympos. Pure Math., pages 285–360. Amer. Math. Soc., Providence, RI, 1997. 1.1, 4.1

    1995

  7. [7]

    Hyperbolicity of generic surfaces of high degree in projective 3-space

    Jean-Pierre Demailly and Jawher El Goul. Hyperbolicity of generic surfaces of high degree in projective 3-space. Amer. J. Math., 122(3):515–546, 2000. 1.2, 4.1, 4.1

    2000

  8. [8]

    Logarithmic jets and hyperbolicity.Osaka J

    Jawher El Goul. Logarithmic jets and hyperbolicity.Osaka J. Math., 40(2):469–491, 2003. 1.2

    2003

  9. [9]

    Two applications of algebraic geometry to entire holomorphic mappings

    Mark Green and Phillip Griffiths. Two applications of algebraic geometry to entire holomorphic mappings. In The Chern Symposium 1979 (Proc. Internat. Sympos., Berkeley, Calif., 1979), pages 41–74. Springer, New York-Berlin, 1980. 1.1

    1979

  10. [10]

    ´El´ ements de g´ eom´ etrie alg´ ebrique : IV

    Alexander Grothendieck. ´El´ ements de g´ eom´ etrie alg´ ebrique : IV. ´ etude locale des sch´ emas et des morphismes de sch´ emas, Troisi` eme partie.Publications Math´ ematiques de l’IH´ES, 28:5–255, 1966. 2.5, 3.5

    1966

  11. [11]

    A second main theorem for entire curves intersecting three conics.Preprint arXiv:2512.03948, 2025

    Lei Hou, Dinh Tuan Huynh, Jo¨ el Merker, and Song-Yan Xie. A second main theorem for entire curves intersecting three conics.Preprint arXiv:2512.03948, 2025. 1.4

    work page arXiv 2025

  12. [12]

    Vanishing of Invariant 2-Jet Differentials and Improved Hyperbolicity Degree Bounds in Dimension Two

    Lei Hou, Dinh Tuan Huynh, Jo¨ el Merker, and Song-Yan Xie. Vanishing of invariant 2-jet differentials and improved hyperbolicity degree bounds in dimension two.Preprint arXiv:2603.14881, 2026. (document), 1.1, 1.2, 1.2, 1.4, 2, 2.1, 2.2, 2.3, 2.4, 3.1, 3.2, 3.3, 3.3, 3.4, 4.1, 4.1

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  13. [13]

    Holomorphic curves in surfaces of general type.Proc

    Steven Shin-Yi Lu and Shing-Tung Yau. Holomorphic curves in surfaces of general type.Proc. Nat. Acad. Sci. U.S.A., 87(1):80–82, 1990. 4.1

    1990

  14. [14]

    Diophantine approximations and foliations.Inst

    Michael McQuillan. Diophantine approximations and foliations.Inst. Hautes ´Etudes Sci. Publ. Math., (87):121– 174, 1998. 4.2

    1998

  15. [15]

    Holomorphic curves on hyperplane sections of 3-folds.Geom

    Michael McQuillan. Holomorphic curves on hyperplane sections of 3-folds.Geom. Funct. Anal., 9(2):370–392,

  16. [16]

    Algebraic surfaces with positive indices

    Yoichi Miyaoka. Algebraic surfaces with positive indices. InClassification of algebraic and analytic manifolds (Katata, 1982), volume 39 ofProgr. Math., pages 281–301. Birkh¨ auser Boston, Boston, MA, 1983. 4.1

    1982

  17. [17]

    Vector fields on the total space of hypersurfaces in the projective space and hyperbolicity.Math

    Mihai P˘ aun. Vector fields on the total space of hypersurfaces in the projective space and hyperbolicity.Math. Ann., 340(4):875–892, 2008. 1.1, 1.2, 4.1, 4.1

    2008

  18. [18]

    Logarithmic vector fields and hyperbolicity.Nagoya Math

    Erwan Rousseau. Logarithmic vector fields and hyperbolicity.Nagoya Math. J., 195:21–40, 2009. 1.1, 1.2

    2009

  19. [19]

    Symmetric powers of the cotangent bundle and classification of algebraic varieties

    Fumio Sakai. Symmetric powers of the cotangent bundle and classification of algebraic varieties. InAlgebraic geometry (Proc. Summer Meeting, Univ. Copenhagen, Copenhagen, 1978), volume 732 ofLecture Notes in Math., pages 545–563. Springer, Berlin, 1979. 1.1

    1978

  20. [20]

    Hyperbolicity in complex geometry

    Yum-Tong Siu. Hyperbolicity in complex geometry. InThe legacy of Niels Henrik Abel, pages 543–566. Springer, Berlin, 2004. 4.1

    2004

  21. [21]

    A generalized Bloch’s theorem and the hyperbolicity of the complement of an ample divisor in an abelian variety.Math

    Yum-Tong Siu and Sai-Kee Yeung. A generalized Bloch’s theorem and the hyperbolicity of the complement of an ample divisor in an abelian variety.Math. Ann., 306(4):743–758, 1996. 1.1

    1996

  22. [22]

    Hyperbolicity of the complement of a generic smooth curve of high degree in the complex projective plane.Invent

    Yum-Tong Siu and Sai-kee Yeung. Hyperbolicity of the complement of a generic smooth curve of high degree in the complex projective plane.Invent. Math., 124(1-3):573–618, 1996. 1.2

    1996

  23. [24]

    On the ampleness of the cotangent bundles of complete intersections

    Song-Yan Xie. On the ampleness of the cotangent bundles of complete intersections.Invent. Math., 212(3):941– 996, 2018 (arXiv:1510.06323). 5.2

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  24. [25]

    Subvarieties of general hypersurfaces in projective space.Journal of Differential Geometry, 39(1):139– 172, 1994

    Geng Xu. Subvarieties of general hypersurfaces in projective space.Journal of Differential Geometry, 39(1):139– 172, 1994. 4.1 18 TAO CUI, LEI HOU, JIANJUN LIU, AND SONG-YAN XIE Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China Email address:tcui@lsec.cc.ac.cn Academy of Mathematics and Systems Science, Chinese...

    1994