pith. sign in

arxiv: 2603.14881 · v2 · submitted 2026-03-16 · 🧮 math.CV

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

Lei Hou , Dinh Tuan Huynh , Jo\"el Merker , Song-Yan Xie This is my paper

Pith reviewed 2026-05-15 10:50 UTC · model grok-4.3

classification 🧮 math.CV
keywords Kobayashi hyperbolicityinvariant 2-jet differentialsnegatively twisted differentialsalgebraic surfacesprojective spacevanishing theoremscomputer algebradegree bounds
0
0 comments X

The pith

A very generic surface in projective 3-space of degree at least 17 is Kobayashi hyperbolic.

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

The paper establishes improved degree thresholds for Kobayashi hyperbolicity in dimension two by proving the vanishing of negatively twisted invariant 2-jet differentials. It shows that a very generic surface in P^3 of degree 17 or higher is Kobayashi hyperbolic and that the complement of a generic curve in P^2 of degree 12 or higher is also Kobayashi hyperbolic. These results improve long-standing bounds of 18 and 14 respectively. The proofs rest on a combination of algebraic reduction and computer algebra verification that reaches the theoretical thresholds long recognized for 2-jet techniques. The work also identifies nonzero sections of such differentials in certain hyperelliptic cases at lower degrees.

Core claim

By proving the vanishing of negatively twisted invariant 2-jet differentials for degrees at least 17 in the compact case and at least 12 in the logarithmic case, the authors conclude that a very generic surface in P^3 of degree at least 17 is Kobayashi hyperbolic and that the complement of a generic curve in P^2 of degree at least 12 is Kobayashi hyperbolic. These vanishing statements are obtained through algebraic reduction followed by computer algebra verification. The same method additionally detects the existence of nonzero sections with weight pair (3,1) for hyperelliptic-type equations starting at degree 15 in the compact case and degree 11 in the logarithmic case.

What carries the argument

Negatively twisted invariant 2-jet differentials, whose vanishing is established by algebraic reduction combined with computer algebra verification.

If this is right

  • A very generic surface in P^3 of degree 17 or higher is Kobayashi hyperbolic.
  • The complement of a generic curve in P^2 of degree 12 or higher is Kobayashi hyperbolic.
  • The thresholds long recognized since 1995 for 2-jet techniques are now attained.
  • Nonzero negatively twisted invariant 2-jet differentials exist for hyperelliptic-type equations of degree at least 15 in the compact case and at least 11 in the logarithmic case.

Where Pith is reading between the lines

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

  • The computational verification technique could be applied to test vanishing statements for jet differentials on threefolds or other higher-dimensional varieties.
  • Refinements of the same algebraic-computational pipeline might close the remaining gap to the full Kobayashi conjecture in dimension two.
  • The existence of nonzero sections in the hyperelliptic cases may indicate special geometric features of those jet spaces that warrant separate study.

Load-bearing premise

The algebraic reduction together with the computer algebra verification correctly detects the vanishing of all relevant negatively twisted invariant 2-jet differentials at the stated degrees without missing any nonzero sections.

What would settle it

Explicit construction of a nonzero negatively twisted invariant 2-jet differential on a very generic surface of degree 16 in P^3 would falsify the vanishing claim and thereby the hyperbolicity bound.

read the original abstract

This paper establishes new degree bounds for Kobayashi hyperbolicity in dimension two. Our main results are: -- A very generic surface in $\mathbb{P}^3$ of degree at least $17$ is Kobayashi hyperbolic. -- The complement of a {\em generic} curve in $\mathbb{P}^2$ of degree at least $12$ is Kobayashi hyperbolic. These bounds improve the long-standing records in the field, lowering the threshold from $18$ to $17$ for surfaces (P\u{a}un) and from $14$ to $12$ for complements (Rousseau). Central to the proofs are new vanishing results for certain negatively twisted invariant $2$-jet differentials, obtained through a novel combination of algebraic reduction and computer algebra. Since Demailly's Santa Cruz lectures in 1995, the thresholds for the existence of such differentials -- and consequently the limits of what $2$-jet techniques can accomplish toward the Kobayashi conjecture in dimension two -- have been recognized as $d = 15$ in the compact case and $d = 11$ in the logarithmic case. While previous approaches were unable to reach these targets, the present work provides both the theoretical foundations and the algorithmic framework required to access them, and has already improved the known bounds to $d = 17$ and $d = 12, 13$, respectively. As an unexpected byproduct, our computational method reveals the existence of nonzero negatively twisted invariant $2$-jet differentials with $(m,t) = (3,1)$ for hyperelliptic-type equations of degree at least $11$ in the logarithmic case and degree at least $15$ in the compact case, further illuminating the geometry of these special jet differentials.

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 / 2 minor

Summary. The paper claims to establish new vanishing theorems for negatively twisted invariant 2-jet differentials on generic hypersurfaces in P^3 (compact case) and on the complement of generic curves in P^2 (logarithmic case). These vanishings are obtained via an algebraic reduction to a finite-dimensional space of monomials followed by computer-algebra verification, and are used to prove that a very generic surface in P^3 of degree at least 17 is Kobayashi hyperbolic and that the complement of a generic curve in P^2 of degree at least 12 is Kobayashi hyperbolic, improving the previous records of 18 and 14.

Significance. If the computational verification is reliable, the results would constitute a meaningful advance in the 2-jet approach to the Kobayashi conjecture in dimension two, lowering the known thresholds for hyperbolicity and providing explicit vanishing statements at degrees closer to the conjectural limits (d=15 compact, d=11 logarithmic). The byproduct concerning nonzero sections for hyperelliptic-type equations at lower degrees also supplies concrete geometric information about the jet differential spaces.

major comments (2)
  1. [proof of the main vanishing theorem] The central vanishing statements (used to derive the hyperbolicity bounds): the algebraic reduction plus computer-algebra check is the sole evidence that the space of invariant 2-jet differentials with the stated negative twist is zero for generic hypersurfaces of degree 17 (compact) and 12 (logarithmic). No explicit computational certificate, Gröbner-basis output, or dimension table is supplied, and no independent re-implementation is referenced, so it is impossible to confirm that every monomial class surviving the relations has been checked and that no nonzero section was missed.
  2. [computational results section] The byproduct claim that nonzero negatively twisted invariant 2-jet differentials exist for (m,t)=(3,1) when the equation is of hyperelliptic type and degree at least 15 (compact) or 11 (logarithmic): this is presented as an unexpected output of the same computational pipeline, yet no sample nonzero section or explicit basis element is exhibited, leaving the geometric interpretation of these special differentials unsupported by concrete data.
minor comments (2)
  1. [introduction] The abstract and introduction refer to 'the thresholds for the existence of such differentials' as d=15 and d=11; a brief sentence recalling the precise statement of these classical thresholds (with citation) would help readers unfamiliar with the 1995 Santa Cruz lectures.
  2. [notation subsection] Notation for the twisting parameter t and the jet order m is introduced without a consolidated table; adding a short table of the pairs (m,t) for which vanishing is claimed would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments, which highlight important aspects of the computational verification in our work. We address each major comment below and commit to revisions that will improve transparency and verifiability without altering the main results.

read point-by-point responses

  1. Referee: The central vanishing statements (used to derive the hyperbolicity bounds): the algebraic reduction plus computer-algebra check is the sole evidence that the space of invariant 2-jet differentials with the stated negative twist is zero for generic hypersurfaces of degree 17 (compact) and 12 (logarithmic). No explicit computational certificate, Gröbner-basis output, or dimension table is supplied, and no independent re-implementation is referenced, so it is impossible to confirm that every monomial class surviving the relations has been checked and that no nonzero section was missed.

    Authors: We agree that the absence of explicit computational certificates limits independent verification. In the revised manuscript we will add a dedicated subsection (new Section 4.3) that includes: (i) the precise Macaulay2 code for the Gröbner-basis computations on the reduced monomial spaces, (ii) a dimension table listing the vector-space dimensions before and after imposing the relations for both the compact (d=17) and logarithmic (d=12) cases, and (iii) a link to a supplementary file containing the full scripts and output logs. The algebraic reduction itself is already spelled out in Section 3; the added material will confirm that the surviving monomial classes are empty. revision: yes

  2. Referee: The byproduct claim that nonzero negatively twisted invariant 2-jet differentials exist for (m,t)=(3,1) when the equation is of hyperelliptic type and degree at least 15 (compact) or 11 (logarithmic): this is presented as an unexpected output of the same computational pipeline, yet no sample nonzero section or explicit basis element is exhibited, leaving the geometric interpretation of these special differentials unsupported by concrete data.

    Authors: We concur that an explicit example would strengthen the geometric discussion. In the revision we will insert a new Example 5.2 that exhibits a concrete nonzero section for the hyperelliptic-type case at the lowest degree (logarithmic d=11). The section is given explicitly as a linear combination of monomials in the 2-jet coordinates with coefficients in the base ring; its nonvanishing can be checked by direct substitution into the defining equation. This concrete data will support the claimed geometric interpretation. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation rests on independent algebraic reduction plus computer-algebra verification

full rationale

The paper obtains the required vanishing of negatively twisted invariant 2-jet differentials by an explicit algebraic reduction to a finite set of monomials followed by direct computer-algebra checking of the resulting linear system. This vanishing statement is then fed into the standard jet-differential criterion for Kobayashi hyperbolicity. Neither step defines the target hyperbolicity bound in terms of itself, fits parameters to the final degree thresholds, nor relies on a load-bearing self-citation whose content is merely the present result restated. The computational verification is an independent, falsifiable check against the explicit equations of the jet bundle; therefore the derivation chain remains non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard facts from jet bundle theory together with the correctness of the computational verification; no free parameters or new entities are introduced.

axioms (2)
  • standard math Standard properties of invariant jet differentials and their cohomology on projective hypersurfaces
    The vanishing statements build directly on the framework developed since Demailly's 1995 lectures.
  • domain assumption Genericity conditions on the surface or curve suffice for the vanishing to imply Kobayashi hyperbolicity
    The theorems are stated only for very generic or generic objects.

pith-pipeline@v0.9.0 · 5637 in / 1441 out tokens · 42962 ms · 2026-05-15T10:50:01.813936+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

70 extracted references · 70 canonical work pages · 2 internal anchors

  1. [1]

    Non-reductive geometric invariant theory and hyperbolicity.Invent

    Gergely B ´erczi and Frances Kirwan. Non-reductive geometric invariant theory and hyperbolicity.Invent. Math., 235(1):81– 127, 2024.↑3

    work page 2024

  2. [2]

    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.↑3

    work page 1926

  3. [3]

    Holomorphic tensors and vector bundles on projective manifolds.Izv

    Fedor Alekseevich Bogomolov. Holomorphic tensors and vector bundles on projective manifolds.Izv. Akad. Nauk SSSR Ser. Mat., 42(6):1227–1287, 1439, 1978.↑3, 12

    work page 1978

  4. [4]

    Compact manifolds and hyperbolicity.Trans

    Robert Brody. Compact manifolds and hyperbolicity.Trans. Amer. Math. Soc., 235:213–219, 1978.↑2

    work page 1978

  5. [5]

    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.↑6

    work page 2016

  6. [6]

    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. ↑3, 6

    work page 2017

  7. [7]

    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).↑6

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  8. [8]

    Br ¨uckmann and H.-G

    P. Br ¨uckmann and H.-G. Rackwitz. T-symmetrical tensor forms on complete intersections.Mathematische Annalen, 288:627– 635, 1990.↑23, 24

    work page 1990

  9. [9]

    Generalized algebraic morse inequalities and jet differentials.Preprint arXiv:1912.03952, 2019.↑12

    Benoit Cadorel. Generalized algebraic morse inequalities and jet differentials.Preprint arXiv:1912.03952, 2019.↑12

    work page arXiv 1912

  10. [10]

    Orbifold hyperbolicity.Compos

    Fr ´ed´eric Campana, Lionel Darondeau, and Erwan Rousseau. Orbifold hyperbolicity.Compos. Math., 156(8):1664–1698, 2020.↑8

    work page 2020

  11. [11]

    Generating all Ahlfors currents by a single entire curve.arXiv: 2511.12473, 2025.↑13

    Yunling Chen, John Erik Fornæss, and Song-Yan Xie. Generating all Ahlfors currents by a single entire curve.arXiv: 2511.12473, 2025.↑13

    work page arXiv 2025

  12. [12]

    Curves on generic hypersurfaces.Ann

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

    work page 1986

  13. [13]

    Constantine and Thomas H

    Gregory M. Constantine and Thomas H. Savits. A multivariate Fa `a di Bruno formula with applications.Trans. Amer. Math. Soc., 348(2):503–520, 1996.↑9

    work page 1996

  14. [14]

    Slanted vector fields for jet spaces.Math

    Lionel Darondeau. Slanted vector fields for jet spaces.Math. Z., 282(1-2):547–575, 2016.↑35

    work page 2016

  15. [15]

    Recent results on the kobayashi and green-griffiths-lang conjectures.Jpn

    Jean-Piere Demailly. Recent results on the kobayashi and green-griffiths-lang conjectures.Jpn. J. Math, 15:1–120, 2020.↑3

    work page 2020

  16. [16]

    Algebraic criteria for Kobayashi hyperbolic projective varieties and jet differentials

    Jean-Pierre Demailly. Algebraic criteria for Kobayashi hyperbolic projective varieties and jet differentials. InAlgebraic geometry—Santa Cruz 1995, volume 62 ofProc. Sympos. Pure Math., pages 285–360. Amer. Math. Soc., Providence, RI, 1997.↑3, 10, 11, 12, 13, 40

    work page 1995

  17. [17]

    Holomorphic Morse inequalities and the Green-Griffiths-Lang conjecture.Pure Appl

    Jean-Pierre Demailly. Holomorphic Morse inequalities and the Green-Griffiths-Lang conjecture.Pure Appl. Math. Q., 7(4, Special Issue: In memory of Eckart Viehweg):1165–1207, 2011.↑12

    work page 2011

  18. [18]

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

    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.↑3, 4, 7, 38, 40, 41, 45, 49

    work page 2000

  19. [19]

    Logarithmic jet bundles and applications.Osaka J

    Gerd-Eberhard Dethloff and Steven Shin-Yi Lu. Logarithmic jet bundles and applications.Osaka J. Math., 38(1):185–237, 2001.↑10, 11, 12

    work page 2001

  20. [20]

    Effective algebraic degeneracy.Inventiones mathematicae, 180:161–223, 2010.↑3

    Simone Diverio, Jo ¨el Merker, and Erwan Rousseau. Effective algebraic degeneracy.Inventiones mathematicae, 180:161–223, 2010.↑3

    work page 2010

  21. [21]

    Une sextique hyperbolique dansP 3(C).Math

    Julien Duval. Une sextique hyperbolique dansP 3(C).Math. Ann., 330(3):473–476, 2004.↑3, 49

    work page 2004

  22. [22]

    Subvarieties of generic complete intersections.Invent

    Lawrence Ein. Subvarieties of generic complete intersections.Invent. Math., 94(1):163–169, 1988.↑2, 35

    work page 1988

  23. [23]

    Subvarieties of generic complete intersections

    Lawrence Ein. Subvarieties of generic complete intersections. II.Math. Ann., 289(3):465–471, 1991.↑2

    work page 1991

  24. [24]

    Logarithmic jets and hyperbolicity.Osaka J

    Jawher El Goul. Logarithmic jets and hyperbolicity.Osaka J. Math., 40(2):469–491, 2003.↑3, 5, 13, 38, 43, 45

    work page 2003

  25. [25]

    Stability and negativity for tangent sheaves of minimal K ¨ahler spaces

    Ichiro Enoki. Stability and negativity for tangent sheaves of minimal K ¨ahler spaces. InGeometry and analysis on manifolds (Katata/Kyoto, 1987), volume 1339 ofLecture Notes in Math., pages 118–126. Springer, Berlin, 1988.↑12

    work page 1987

  26. [26]

    Two applications of algebraic geometry to entire holomorphic mappings

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

    work page 1979

  27. [27]

    Griffiths.Introduction to Algebraic Curves, volume 76 ofTranslations of Mathematical Monographs

    Phillip A. Griffiths.Introduction to Algebraic Curves, volume 76 ofTranslations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1989.↑8

    work page 1989

  28. [28]

    ´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.↑40

    work page 1966

  29. [29]

    52 ofGraduate Texts in Mathematics

    Robin Hartshorne.Algebraic geometry, volume No. 52 ofGraduate Texts in Mathematics. Springer-Verlag, New York- Heidelberg, 1977.↑38

    work page 1977

  30. [30]

    A second main theorem for entire curves intersecting three conics.Preprint arXiv:2512.03948, 2025.↑5, 8, 38, 40, 44, 45, 49 51

    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.↑5, 8, 38, 40, 44, 45, 49 51

    work page arXiv 2025

  31. [31]

    Construction of hyperbolic hypersurfaces of low degree inPn(C).Internat

    Dinh Tuan Huynh. Construction of hyperbolic hypersurfaces of low degree inPn(C).Internat. J. Math., 27(8):1650059, 2016. ↑3

    work page 2016

  32. [32]

    Examples of hyperbolic hypersurfaces of low degree in projective spaces.International Mathematics Research Notices, 2016(18):5518–5558, 2016.↑3

    Dinh Tuan Huynh. Examples of hyperbolic hypersurfaces of low degree in projective spaces.International Mathematics Research Notices, 2016(18):5518–5558, 2016.↑3

    work page 2016

  33. [33]

    Entire holomorphic curves into projective spaces intersecting a generic hypersurface of high degree.Ann

    Dinh Tuan Huynh, Duc-Viet Vu, and Song-Yan Xie. Entire holomorphic curves into projective spaces intersecting a generic hypersurface of high degree.Ann. Inst. Fourier (Grenoble), 69(2):653–671, 2019.↑13

    work page 2019

  34. [34]

    On Ahlfors currents.J

    Dinh Tuan Huynh and Song-Yan Xie. On Ahlfors currents.J. Math. Pures Appl. (9), 156:307–327, 2021.↑13

    work page 2021

  35. [35]

    Springer-Verlag, New York-Berlin, 1982

    Shigeru Iitaka.Algebraic geometry, volume 76 ofGraduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 1982. An introduction to birational geometry of algebraic varieties, North-Holland Mathematical Library, 24.↑9

    work page 1982

  36. [36]

    Springer-Verlag, Berlin, 1998.↑2

    Shoshichi Kobayashi.Hyperbolic complex spaces, volume 318 ofGrundlehren der Mathematischen Wissenschaften [Funda- mental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1998.↑2

    work page 1998

  37. [37]

    Hyperbolic and Diophantine analysis.Bull

    Serge Lang. Hyperbolic and Diophantine analysis.Bull. Amer. Math. Soc. (N.S.), 14(2):159–205, 1986.↑2

    work page 1986

  38. [38]

    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

    work page 1990

  39. [39]

    A construction of hyperbolic hypersurface ofP n(C).Math

    Kazuo Masuda and Junjiro Noguchi. A construction of hyperbolic hypersurface ofP n(C).Math. Ann, 304(1):339–362, 1996. ↑3, 49

    work page 1996

  40. [40]

    Diophantine approximations and foliations.Inst

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

    work page 1998

  41. [41]

    Holomorphic curves on hyperplane sections of3-folds.Geom

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

    work page 1999

  42. [42]

    Jets de Demailly-Semple d’ordres 4 et 5 en dimension 2.Int

    Jo ¨el Merker. Jets de Demailly-Semple d’ordres 4 et 5 en dimension 2.Int. J. Contemp. Math. Sci., 3(17-20):861–933, 2008. ↑8

    work page 2008

  43. [43]

    Low pole order frames on vertical jets of the universal hypersurface.Ann

    Jo ¨el Merker. Low pole order frames on vertical jets of the universal hypersurface.Ann. Inst. Fourier (Grenoble), 59(3):1077– 1104, 2009.↑35

    work page 2009

  44. [44]

    Algebraic differential equations for entire holomorphic curves in projective hypersurfaces of general type: optimal lower degree bound

    Jo ¨el Merker. Algebraic differential equations for entire holomorphic curves in projective hypersurfaces of general type: optimal lower degree bound. InGeometry and analysis on manifolds, volume 308 ofProgr. Math., pages 41–142. Birkh¨auser/Springer, Cham, 2015.↑9, 12

    work page 2015

  45. [45]

    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

    work page 1982

  46. [46]

    Logarithmic jet spaces and extensions of de Franchis’ theorem

    Junjiro Noguchi. Logarithmic jet spaces and extensions of de Franchis’ theorem. InContributions to several complex vari- ables, Aspects Math., E9, pages 227–249. Friedr. Vieweg, Braunschweig, 1986.↑9

    work page 1986

  47. [47]

    On the logarithmic Kobayashi conjecture.Journal f ¨ur die reine und angewandte Mathematik, 611:221–235, 2007.↑2

    Gianluca Pacienza and Erwan Rousseau. On the logarithmic Kobayashi conjecture.Journal f ¨ur die reine und angewandte Mathematik, 611:221–235, 2007.↑2

    work page 2007

  48. [48]

    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.↑3, 4, 7, 35, 36, 39, 43, 49

    work page 2008

  49. [49]

    Applications of a Grassmannian technique to hyperbolicity, Chow equivalency, and Seshadri constants.J

    Eric Riedl and David Yang. Applications of a Grassmannian technique to hyperbolicity, Chow equivalency, and Seshadri constants.J. Algebraic Geom., 31(1):1–12, 2022.↑3

    work page 2022

  50. [50]

    Weak analytic hyperbolicity of complements of generic surfaces of high degree in projective 3-space.Osaka J

    Erwan Rousseau. Weak analytic hyperbolicity of complements of generic surfaces of high degree in projective 3-space.Osaka J. Math., 44(4):955–971, 2007.↑35

    work page 2007

  51. [51]

    Weak analytic hyperbolicity of generic hypersurfaces of high degree inP 4.Ann

    Erwan Rousseau. Weak analytic hyperbolicity of generic hypersurfaces of high degree inP 4.Ann. Fac. Sci. Toulouse Math. (6), 16(2):369–383, 2007.↑35

    work page 2007

  52. [52]

    Logarithmic vector fields and hyperbolicity.Nagoya Math

    Erwan Rousseau. Logarithmic vector fields and hyperbolicity.Nagoya Math. J., 195:21–40, 2009.↑3, 5, 7, 35, 37, 39, 43, 44, 45

    work page 2009

  53. [53]

    Remarks on the Kobayashi metric

    Halsey Lawrence Royden. Remarks on the Kobayashi metric. pages 125–137. Lecture Notes in Math., V ol. 185, 1971.↑2

    work page 1971

  54. [54]

    World Scientific Publishing Co

    Min Ru.Nevanlinna theory and its relation to Diophantine approximation. World Scientific Publishing Co. Pte. Ltd., Hack- ensack, NJ, second edition, [2021] ©2021.↑44

    work page 2021

  55. [55]

    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.↑3

    work page 1978

  56. [56]

    Hyperbolic hypersurfaces inP n of Fermat-Waring type.Proc

    Bernard Shiffman and Mikhail Zaidenberg. Hyperbolic hypersurfaces inP n of Fermat-Waring type.Proc. Amer. Math. Soc., 130(7):2031–2035 (electronic), 2002.↑3

    work page 2031

  57. [57]

    Some recent transcendental techniques in algebraic and complex geometry

    Yum-Tong Siu. Some recent transcendental techniques in algebraic and complex geometry. InProceedings of the International Congress of Mathematicians, Vol. I (Beijing, 2002), pages 439–448. Higher Ed. Press, Beijing, 2002.↑3

    work page 2002

  58. [58]

    Hyperbolicity in complex geometry

    Yum-Tong Siu. Hyperbolicity in complex geometry. InThe legacy of Niels Henrik Abel, pages 543–566. Springer, Berlin, 2004.↑3, 4, 35, 36, 37, 38, 45

    work page 2004

  59. [59]

    Hyperbolicity of generic high-degree hypersurfaces in complex projective space.Invent

    Yum-Tong Siu. Hyperbolicity of generic high-degree hypersurfaces in complex projective space.Invent. Math., 202(3):1069– 1166, 2015.↑3, 8

    work page 2015

  60. [60]

    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.↑3, 10, 13

    work page 1996

  61. [61]

    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.↑3, 5, 8

    work page 1996

  62. [62]

    Defects for ample divisors of abelian varieties, Schwarz lemma, and hyperbolic hypersur- faces of low degrees.Amer

    Yum-Tong Siu and Sai-Kee Yeung. Defects for ample divisors of abelian varieties, Schwarz lemma, and hyperbolic hypersur- faces of low degrees.Amer. J. Math., 119(5):1139–1172, 1997.↑3

    work page 1997

  63. [63]

    Stability of tangent bundles of minimal algebraic varieties.Topology, 27(4):429–442, 1988.↑12

    Hajime Tsuji. Stability of tangent bundles of minimal algebraic varieties.Topology, 27(4):429–442, 1988.↑12

    work page 1988

  64. [64]

    On a conjecture of Clemens on rational curves on hypersurfaces.J

    Claire V oisin. On a conjecture of Clemens on rational curves on hypersurfaces.J. Differential Geom., 44(1):200–213, 1996. ↑2, 35 52

    work page 1996

  65. [65]

    Entire curves generating all shapes of Nevanlinna currents.J

    Hao Wu and Song-Yan Xie. Entire curves generating all shapes of Nevanlinna currents.J. Lond. Math. Soc. (2), 111(5):Paper No. e70177, 25, 2025.↑13

    work page 2025

  66. [67]

    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).↑6

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  67. [68]

    Entire curves producing distinct Nevanlinna currents.Int

    Song-Yan Xie. Entire curves producing distinct Nevanlinna currents.Int. Math. Res. Not. IMRN, (10):8350–8362, 2024.↑13

    work page 2024

  68. [69]

    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

    work page 1994

  69. [70]

    The complement to a general hypersurface of degree2ninCP n is not hyperbolic.Sibirsk

    Mikhail Zaidenberg. The complement to a general hypersurface of degree2ninCP n is not hyperbolic.Sibirsk. Mat. Zh., 28(3):91–100, 222, 1987.↑2

    work page 1987

  70. [71]

    Stability of hyperbolic embeddedness and the construction of examples.Mat

    Mikhail Zaidenberg. Stability of hyperbolic embeddedness and the construction of examples.Mat. Sb. (N.S.), 135(177)(3):361–372, 415, 1988.↑3, 49 53 APPENDIXA. MAPLECODE FOR THEKEYVANISHINGLEMMA1.4 (1)(1) > > restart: unprotect('D'): m := 7; twist := - 7; d := 16; degre := d + 1: ## TT := x^(d+1) + 1^(d+1) + 1*x^floor(d/2); ## Jetyx := expand( + (1/Rz^(m-0...

    work page 1988