Pith. sign in

REVIEW 3 major objections 4 minor 69 references

Pseudo-hyperbolicity of Horikawa surfaces

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read Very general Horikawa surfaces with geometric genus at least 5 contain only finitely many rational or elliptic curves, and the same holds for first-kind Horikawa surfaces with geometric genus 3 or 4.

desk verdict A genuinely new theorem with explicit curve counts, but the moduli input has an internal contradiction that must be fixed before the main claim is fully stated. read the letter →

arxiv 2608.08276 v1 pith:CAFG6M3G submitted 2026-08-08 math.AG

Anibal Aravena , Jaime Negrete , Wern Yeong This is my paper · ORCID
classification math.AG MSC 14J2932Q4514E20
keywords Horikawasurfacesalgebraichyperbolicitypseudo-LangGreen–Griffiths–Langconjectureofgeneraltypelogpairskernelbundlesrationalandellipticcurves
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 very general Horikawa surfaces—the minimal surfaces of general type sitting on the boundary of the Noether inequality, with the smallest possible Chern slope—are pseudo-Lang algebraically hyperbolic: they contain only finitely many rational or elliptic curves. The main theorem covers every very general Horikawa surface with geometric genus $p_g\ge5$, and also those of the first kind with $p_g\in\{3,4\}$, which includes double covers of $\mathbb{P}^2$ branched over a degree 8 curve whose elliptic curves had been found but not shown to be finite. The proof identifies each such surface, up to birational equivalence, as a double cover of a rational surface branched over a very general divisor, and then shows that any rational or elliptic curve in the cover must lie over one of a short list of base curves. In nearly every stratum of the moduli space the paper goes further and counts these curves exactly, for example 1320 elliptic curves and no rational curves for the degree-8 plane double cover with $p_g=3$.

What carries the argument

The mechanism is log algebraic hyperbolicity of the pair $(W,D)$, where $W$ is the rational surface that the Horikawa surface double-covers and $D$ is its branch divisor. For each family the divisor decomposes as $D=D'+F$ with $D'$ basepoint-free and $F$ fixed; the paper constructs a section-dominating collection of line bundles for $D'$ and proves that the log tangent bundle $T_W(-\log F)$ is pseudonef outside a small exceptional set. Proposition 3.15 then bounds the degree of the log normal sheaf of a curve by the degree of a restricted kernel bundle, and Proposition 3.17 identifies the equality cases with sections that force the curve to lie in a few explicit classes: fiber classes, zero-section components, exceptional divisors, or bitangent lines. These sharp inequalities convert a finiteness statement into the explicit curve counts recorded in Tables 4 and 5.

What would settle it

Exhibit a very general Horikawa surface with $p_g\ge5$ whose canonical model contains infinitely many rational or elliptic curves, or contains a rational or elliptic curve not lying in the paper's explicit list of preimages of bitangent lines, tangent fibers, zero-section components, and exceptional divisors. A concrete numerical check: for $n=2$, the paper's count of 1320 elliptic curves on the degree-8 plane double cover is exactly the number of bitangent lines to a smooth plane octic, so a very general octic with a different bitangent count would falsify that corollary.

Watch

Extended reading notes

Core claim

The central discovery is that the Green–Griffiths–Lang prediction can be verified at the extreme boundary of the geography of surfaces of general type: even at minimal Chern slope, a very general Horikawa surface does not admit infinitely many low-genus curves. Theorem 1.3 states that a very general Horikawa surface with $p_g\ge5$ is pseudo-Lang algebraically hyperbolic, and so is a very general Horikawa surface of the first kind with $p_g\in\{3,4\}$. The proof establishes refined log algebraic hyperbolicity inequalities for the base pairs $(\mathbb{P}^2,D)$, $(F_d,D)$, and blowups of $F_d$ at one or two points on a fiber; equality in these inequalities forces the curve into an explicit finite list of classes, and Lemma 3.8 transfers the finiteness to the double cover. The result is therefore not just a finiteness theorem but a complete geometric description of the rational and elliptic curves on very general Horikawa surfaces in almost every stratum.

Load-bearing premise

The moduli-space description used as input—that each irreducible component for a fixed geometric genus is one of the families in Table 3 and that a very general point has a branch divisor very general in its linear system—must be correct, because every hyperbolicity bound in Section 4 is proved for those families and that generality.

Editorial extensions

If this is right

  • Every very general Horikawa surface with $p_g\ge5$ satisfies the Green–Griffiths–Lang prediction in its pseudo-Lang form, since it contains only finitely many rational or elliptic curves.
  • The previously open cases with $p_g=3,4$ of the first kind are settled: for example, the degree-8 plane double cover has no rational curves and exactly 1320 elliptic curves, all preimages of bitangent lines.
  • In almost every stratum of the moduli space, the rational and elliptic curves are explicitly characterized as preimages of bitangent lines, tangent fibers, zero-section components, or exceptional divisors, with exact counts given in Tables 4 and 5.
  • The finiteness claim holds for very general members of every component with $p_g\ge5$, even though the explicit count is left open for a few lower-dimensional strata such as type $d=(n+3)/3$ of the second kind.

Reading between the lines

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

  • The equality-case analysis through kernel bundles is likely to transfer to other families of cyclic covers of rational surfaces on the Noether boundary where the classical Chen bounds are not sharp.
  • The explicit counts suggest an enumerative interpretation: the elliptic curves are governed by bitangent and tangency formulas on the branch divisors, so the numbers in Tables 4 and 5 could be checked independently by intersection theory.
  • The theorem is conditional on the moduli description taken from the cited preprint; if a component of the Gieseker moduli space turned out to have a different general type or a special branch locus, the finiteness conclusion for that component would need to be re-examined.
  • A natural next step, which the paper leaves open, is to decide whether the finitely many exceptional curves can be removed so that the surfaces become pseudo-Demailly algebraically hyperbolic rather than merely pseudo-Lang.
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

3 major / 4 minor

Summary. The paper studies very general Horikawa surfaces, i.e. minimal general-type surfaces on the Noether boundary, and proves that they are pseudo-Lang algebraically hyperbolic: they contain only finitely many rational or elliptic curves. The main result, Theorem 1.3, covers very general Horikawa surfaces with p_g >= 5 and, in addition, very general Horikawa surfaces of the first kind with p_g in {3,4}. The proof combines Horikawa's classification of these surfaces as double covers of P^2, Hirzebruch surfaces, or their blowups, with log algebraic hyperbolicity inequalities for the corresponding branch pairs (W,D). The paper develops refined inequalities and equality analyses (Propositions 4.3, 4.7, 4.10-4.12, 4.16, 4.18, 4.24, 4.25, 4.36, 4.38, 4.44) and a lifting lemma (Lemma 3.8) to transfer information from curves on W to curves on the double cover. It also gives explicit counts and classifications of the rational and elliptic curves in each moduli stratum, summarized in Tables 4 and 5.

Significance. If the stated result is correct, it is a significant contribution: it establishes the Green-Griffiths-Lang-type finiteness statement for surfaces at the Noether line, where the classical inequalities c_1^2 > c_2 and c_1^2 > (3/5)c_2 are unavailable. The authors go beyond mere finiteness by explicitly characterizing and counting the exceptional rational and elliptic curves in most strata, which sharpens earlier work of Roulleau-Rousseau and Liu. The paper also contains potentially reusable techniques: refined log algebraic hyperbolicity inequalities with equality analysis, and a section-dominating collection argument adapted to the relevant blowups. The main caveat is that the moduli input, taken from the preprint [CP25], is internally inconsistent as presented, and several load-bearing propositions are stated without proof. These issues affect the evaluation of the central claim but appear fixable within the scope of the manuscript.

major comments (3)
  1. [§2.2, Theorem 2.5(2), Table 3, §4.7] Theorem 2.5(2) states that M_n^{Hor,2} is irreducible whenever 4 does not divide n. Since 4 does not divide 5, this theorem applies to n=5 and asserts irreducibility. This is directly contradicted by Table 3, Table 5, and §4.7, which describe the second-kind moduli space for n=5 as having two components, with the second component having general type (2*). Moreover, Theorem 2.5 gives no statement for n=4: part (2) fails because 4 divides 4, and part (3) requires k>=2. Nonetheless, §4.7 and Table 3 again use two components for n=4, of types (1) and (1*)<-(3'). A similar omission occurs in Theorem 2.4 for the first kind with n=5, since n-1=4=4*1 falls outside both cases (2) and (3), while §4.3 and Table 4 assert two components. Because 'very general' in Theorem 1.3 is defined component-wise, the central statement cannot be evaluated until this classification is reconciled. The proof itself appears to cover the alleged n=5 and n=4 components, so the issue is likely fixable, but the current text asserts mutually incompatible moduli facts.
  2. [§4.2, proof of Proposition 4.7] In the equality analysis of Proposition 4.7, the text states: 'Since f_b(C_b) is not contained in Delta_0, we must have alpha>=0 and beta>=ad.' This is not correct: an integral curve of class alpha Delta_0 + beta Gamma not equal to Delta_0 satisfies beta >= alpha d, not beta >= ad. For example, a fiber of class Gamma has alpha=0 and beta=1, and there is no reason for beta to be at least ad when a,d>1. The subsequent equality classification uses exactly the classes Gamma and Delta_0+Gamma, which generally violate the displayed condition beta>=ad. This appears to be a typo for beta>=alpha d, but because the equality analysis feeds directly into the explicit curve counts in Corollaries 4.13 and 4.15, the proof must be corrected at this point.
  3. [§4.2 and §4.6, Propositions 4.10, 4.41-4.44] Several propositions that are load-bearing for the main theorem are stated without proof. Proposition 4.10, the analogue of Proposition 4.7 for F_0, is dismissed with 'We omit the proof... since it is similar to and simpler than Proposition 4.7.' It is used in Proposition 4.12 and Corollary 4.15, which cover the F_0 cases contributing to p_g=3,4 and to n=5 first-kind surfaces. In §4.6, Propositions 4.41-4.44 are all introduced with 'We omit the proofs of the following results, as they are similar to those in §§4.4-4.5.' These propositions underlie Corollary 4.47, which handles the n=4 second-kind type (1*) component. These are not peripheral remarks: they are part of the chain of inequalities that establishes Theorem 1.3. The authors should include complete proofs or provide precise references to published results with matching hypotheses and conclusions.
minor comments (4)
  1. [Table 5 and §4.7] Table 5 contains question marks for the n=4 type (3') stratum and for the strata d=(n+3)/3 in the second kind, and the text says the results do not apply there. This should be stated explicitly in the abstract or introduction, since the abstract's phrase 'explicit characterization and count' could otherwise be read as covering every stratum.
  2. [Throughout] There are several typographical errors that should be corrected: 'isomophism' in §2.2, 'becasue' in §4.2, 'projecitve' in §4.4, and the spelling 'HORIKA W A' and 'WERN YEONG' in the header.
  3. [§4.3, n=5 first kind] The text says 'the moduli space has two components' for n=5 first kind, but Theorem 2.4 contains no statement for n=5. Please either add the missing case to Theorem 2.4 or explain why the component decomposition is known independently of the theorem as stated.
  4. [§4.7, n=5 second kind] The summary for n=5 second kind says that the first component has 80 or 81 elliptic curves and the second component has none. This depends on the two-component structure that is contradicted by Theorem 2.5(2), so the numerical summary should be reorganized after the moduli issue is resolved.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the hyperbolicity bounds are proved in-paper, self-citations are methodological, and the moduli-text inconsistency is a correctness risk rather than a circular step.

full rationale

The paper's central derivation is not circular. Theorem 1.3 is proved by first establishing log algebraic hyperbolicity inequalities for the relevant pairs (W, D) (Propositions 4.3, 4.7, 4.11, 4.12, 4.16, 4.18, 4.24, 4.25, 4.27, 4.28, 4.36, 4.38, 4.44, and 4.46) with proofs supplied in Sections 3 and 4, then lifting them to double covers via Lemma 3.8. The inequalities are not assumed from the target theorem, and no fitted parameter is renamed as a prediction; the curve counts follow from equality analyses and classical formulas such as the Plücker bitangent count. The cited works with an overlapping author ([CRY22], [ATY24], [IMRY25], [Yeo25]) are technique sources; the paper's own Proposition 3.15 develops the variational argument in context, and the main theorem does not appear in those references. The moduli input (Theorems 2.4 and 2.5) is attributed to [CP25], by Ciliberto and Pardini, and to Horikawa's classical classification, so it is external and independent of the authors. A caveat that is not circularity: the text's moduli summary is internally inconsistent, since Theorem 2.5(2) declares the n=5 second-kind moduli irreducible, while Table 3, Table 5, and §4.7 treat two components, and n=4 is covered neither by Theorem 2.5(2) nor by Theorem 2.5(3), yet Table 3 and §4.7 again use two components. This affects the scope of the 'very general' quantifier but is a correctness and completeness risk, not a self-referential reduction.

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

No free parameters are fitted; the counts are derived from classical formulas (for example Plucker formulas). No new particles, forces, or geometric entities are postulated. The proof relies on the classification and moduli of Horikawa surfaces and on the cited variational and kernel-bundle framework, several references of which involve co-author W. Yeong; this is a reliance on prior technique, not a circular assumption of the target result.

assumptions (4)
  • domain assumption Horikawa's classification of Horikawa surfaces as double covers of P^2, Hirzebruch surfaces F_d, or their blowups at one or two points, branched over a divisor without infinitely near triple points (Hor76a, Hor76b).
    The entire proof is built on this classification; if another birational model existed, the analysis in Section 4 would not cover all Horikawa surfaces.
  • domain assumption The moduli description in Theorems 2.4 and 2.5 (from CP25): for each p_g, the Gieseker moduli space has one or two components with the stated general types, and a very general point has a branch divisor very general in its linear system.
    Used to translate 'very general Horikawa surface' into 'very general branch divisor' for the log algebraic hyperbolicity arguments.
  • domain assumption The variational argument and section-dominance machinery (Propositions 3.12, 3.15, based on CRY22, CR23, IMRY25) that bounds the degree of the log normal sheaf via kernel bundles.
    This is the technical engine connecting hyperbolicity of the pair (W,D) to positivity of T_W(-log F) and section-dominating line bundles; the paper adapts these results but does not reprove them from first principles.
  • standard math Standard results from surface geography and classification: Noether's inequality, Bogomolov-Miyaoka-Yau, Enriques-Kodaira classification, Gieseker's moduli existence.
    Used in the introduction and in Proposition 3.2 to relate algebraic hyperbolicity to general type.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Pseudo-hyperbolicity of Horikawa surfaces." pith.science (2026). https://pith.science/paper/CAFG6M3G

@misc{pith2026260808276,
  author       = {Pith},
  title        = {Pith review of: Pseudo-hyperbolicity of Horikawa surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CAFG6M3G}},
  note         = {Machine review of arXiv:2608.08276}
}
abstract

Horikawa surfaces are minimal complex algebraic surfaces of general type with minimal Chern slope, satisfying either $c_2=5c^2_1+36$ if $c_1^2$ is even, or $c_2=5c^2_1+30$ if $c_1^2$ is odd. We prove that very general Horikawa surfaces with $p_g\ge 5$ contain only finitely many rational or elliptic curves. Moreover, we provide an explicit characterization and count of these curves. Our results also apply to very general Horikawa surfaces of the first kind with $p_g\in \{3,4\}.$

Figures

Figures reproduced from arXiv: 2608.08276 by the authors.

Figure 1
Figure 1. The geography of Chern numbers for minimal surfaces of general type. Valid Chern numbers are bounded by the Bogomolov–Miyaoka–Yau (BMY) and Noether inequalities. Conjecture 1.1 is known to hold for surfaces in the green￾shaded region (c 2 1 > c2). note that the aforementioned authors also proved hyperbolicity results for other cyclic covers of the projective plane and of Hirzebruch surfaces Fd that are not necessari… view at source ↗
Figure 2
Figure 2. The sequence of blowups q = q2 ◦ q1 for generic choices of x ∈ Γ0 and y ∈ Γ1. When n ≥ 4, the surface S ′ may be a double cover of the blowup W of Fd at two points x, y ∈ Γ0, as described in the previous paragraph. The integer d and the points x, y are subject to the global constraints d ≤ n − 3 and n − d odd, and must fall into one of the following four cases: (1) d = 0. There are no further conditions on x and y. … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

69 extracted references · 47 canonical work pages

  1. [1]

    and Hulek, Klaus and Peters, Chris A

    Barth, Wolf P. and Hulek, Klaus and Peters, Chris A. M. and Van de Ven, Antonius , TITLE =. 2004 , PAGES =. doi:10.1007/978-3-642-57739-0 , URL =

    doi:10.1007/978-3-642-57739-0 2004

  2. [2]

    , TITLE =

    Gieseker, D. , TITLE =. Invent. Math. , FJOURNAL =. 1977 , NUMBER =. doi:10.1007/BF01390081 , URL =

    work page doi:10.1007/bf01390081 1977

  3. [3]

    Israel J

    Coskun, Izzet and Riedl, Eric , TITLE =. Israel J. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s11856-022-2379-2 , URL =

    doi:10.1007/s11856-022-2379-2 2023

  4. [4]

    Haase, Christian and Ilten, Nathan , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/jag/770 , URL =

    work page doi:10.1090/jag/770 2021

  5. [5]

    Mathematische Zeitschrift , author =

    Subvarieties of generic hypersurfaces in a nonsingular projective toric variety , volume =. Mathematische Zeitschrift , author =. 2009 , pages =. doi:10.1007/s00209-008-0446-y , language =

    work page doi:10.1007/s00209-008-0446-y 2009

  6. [6]

    Clemens, Herbert and Ran, Ziv , TITLE =. Amer. J. Math. , FJOURNAL =. 2004 , NUMBER =

    work page 2004

  7. [7]

    Pacienza, Gianluca , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2004 , NUMBER =. doi:10.1090/S0002-9947-03-03250-1 , URL =

    doi:10.1090/s0002-9947-03-03250-1 2004

  8. [8]

    Voisin, Claire , TITLE =. J. Differential Geom. , FJOURNAL =. 1998 , NUMBER =

    work page 1998

Show all 69 references
  1. [9]

    Voisin, Claire , TITLE =. J. Differential Geom. , FJOURNAL =. 1996 , NUMBER =

    1996

  2. [10]

    Ein, Lawrence , TITLE =. Invent. Math. , FJOURNAL =. 1988 , NUMBER =. doi:10.1007/BF01394349 , URL =

    1988 doi

  3. [11]

    Clemens, Herbert , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1986 , NUMBER =

    1986

  4. [12]

    Kawamata, Yujiro , TITLE =. Invent. Math. , FJOURNAL =. 1980 , NUMBER =. doi:10.1007/BF01389820 , URL =

    1980 doi

  5. [13]

    Israel J

    Yeong, Wern , TITLE =. Israel J. Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s11856-024-2693-y , URL =

    2025 doi

  6. [14]

    2016 , archivePrefix=

    Effectivity in the Hyperbolicity-related problems , author=. 2016 , archivePrefix=. arXiv:1606.03831 , primaryClass=

    2016 arXiv

  7. [15]

    Javanpeykar, Ariyan and Kamenova, Ljudmila , TITLE =. Math. Z. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00209-020-02489-6 , URL =

    2020 doi

  8. [16]

    1970 , PAGES =

    Kobayashi, Shoshichi , TITLE =. 1970 , PAGES =

    1970

  9. [17]

    Algebraic geometry---

    Demailly, Jean-Pierre , TITLE =. Algebraic geometry---. 1997 , ISBN =. doi:10.1090/pspum/062.2/1492539 , URL =

    1997 doi

  10. [18]

    Coskun, Izzet and Riedl, Eric , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2019.04.062 , URL =

    2019 doi

  11. [19]

    Kreuzer, Maximilian and Skarke, Harald , TITLE =. Adv. Theor. Math. Phys. , FJOURNAL =. 1998 , NUMBER =. doi:10.4310/ATMP.1998.v2.n4.a5 , URL =

    1998 doi

  12. [20]

    2021 , eprint=

    Algebraic hyperbolicity for surfaces in smooth projective toric threefolds with Picard rank 2 and 3 , author=. 2021 , eprint=

    2021

  13. [21]

    VANISHING THEOREMS ON TORIC VARIETIES , volume =

    Musta. VANISHING THEOREMS ON TORIC VARIETIES , volume =. Tohoku Math. J. (2) 54, no. 3 (2002), 451-470 , keywords =

    2002

  14. [22]

    Remarks on projective normality for certain

    Mukherjee, Jayan and Raychaudhury, Debaditya , copyright =. Remarks on projective normality for certain. Journal of pure and applied algebra , language =

  15. [23]

    Questions on Algebraic Varieties , copyright =

    Mumford, David , address =. Questions on Algebraic Varieties , copyright =. 1969 , isbn =

    1969

  16. [24]

    NOTES ON TORIC VARIETIES FROM MORI THEORETIC VIEWPOINT , volume =

    Fujino, Osamu , copyright =. NOTES ON TORIC VARIETIES FROM MORI THEORETIC VIEWPOINT , volume =. Tohoku Math. J. (2) 55, no. 4 (2003), 551-564 , language =

    2003

  17. [25]

    FUJITA'S VERY AMPLENESS CONJECTURE FOR SINGULAR TORIC VARIETIES , volume =

    Payne, Sam , copyright =. FUJITA'S VERY AMPLENESS CONJECTURE FOR SINGULAR TORIC VARIETIES , volume =. Tohoku Math. J. (2) 58, no. 3 (2006), 447-459 , language =

    2006

  18. [26]

    Tohoku Math

    NOTES ON TORIC VARIETIES FROM MORI THEORETIC VIEWPOINT , volume =. Tohoku Math. J. (2) 55, no. 4 (2003), 551-564 , language =. 2003 , author =

    2003

  19. [27]

    Algebraic hyperbolicity of very general hypersurfaces in homogeneous varieties , year =

    Mioranci, Lucas , copyright =. Algebraic hyperbolicity of very general hypersurfaces in homogeneous varieties , year =. arXiv (Cornell University) , language =

  20. [28]

    Ein, Lawrence , TITLE =. Math. Ann. , FJOURNAL =. 1991 , PAGES =

    1991

  21. [29]

    Positivity properties of toric vector bundles , JOURNAL =

    Hering, Milena and Musta. Positivity properties of toric vector bundles , JOURNAL =. 2010 , NUMBER =. doi:10.5802/aif.2534 , URL =

    2010 doi

  22. [30]

    Positivity in Algebraic Geometry II: Positivity for Vector Bundles, and Multiplier Ideals , volume =

    Lazarsfeld, R.K , edition =. Positivity in Algebraic Geometry II: Positivity for Vector Bundles, and Multiplier Ideals , volume =

  23. [31]

    Horikawa, Eiji , TITLE =. Invent. Math. , FJOURNAL =. 1975 , NUMBER =. doi:10.1007/BF01389865 , URL =

    1975 doi

  24. [32]

    Horikawa, Eiji , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1976 , NUMBER =. doi:10.2307/1971050 , URL =

    1976 doi

  25. [33]

    Horikawa, Eiji , TITLE =. Invent. Math. , FJOURNAL =. 1976 , NUMBER =. doi:10.1007/BF01418966 , URL =

    1976 doi

  26. [34]

    Horikawa, Eiji , TITLE =. Invent. Math. , FJOURNAL =. 1978 , NUMBER =. doi:10.1007/BF01579212 , URL =

    1978 doi

  27. [35]

    Horikawa, Eiji , TITLE =. Invent. Math. , FJOURNAL =. 1978/79 , NUMBER =. doi:10.1007/BF01390285 , URL =

    1978 doi

  28. [36]

    Horikawa, Eiji , TITLE =. J. Fac. Sci. Univ. Tokyo Sect. IA Math. , FJOURNAL =. 1981 , NUMBER =

    1981

  29. [37]

    Roulleau, Xavier and Rousseau, Erwan , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2013 , NUMBER =. doi:10.1112/jlms/jds053 , URL =

    2013 doi

  30. [38]

    Liu, Yuchen , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2018 , NUMBER =. doi:10.5802/aif.3169 , URL =

    2018 doi

  31. [39]

    Classification of algebraic varieties , SERIES =

    Campana, Fr\'ed\'eric , TITLE =. Classification of algebraic varieties , SERIES =. 2011 , ISBN =. doi:10.4171/007-1/6 , URL =

    2011 doi

  32. [40]

    2001 , archivePrefix=

    On Algebraic Hyperbolicity of Log Surfaces , author=. 2001 , archivePrefix=. arXiv:math/0103084 , primaryClass=

    2001 arXiv

  33. [41]

    Chen, Xi , TITLE =. Commun. Contemp. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1142/S0219199704001422 , URL =

    2004 doi

  34. [42]

    2022 , archivePrefix=

    Algebraic Hyperbolicity of Complements of Generic Hypersurfaces in Projective Spaces , author=. 2022 , archivePrefix=. arXiv:2208.07401 , primaryClass=

    2022 arXiv

  35. [43]

    The algebraic

    Ascher, Kenneth and Tuchet, Amos and Yeong, Wern , note=. The algebraic. 2024 , archivePrefix=. arXiv:2410.00640 , primaryClass=

    2024 arXiv

  36. [44]

    2025 , archivePrefix=

    Hyperbolicity of adjoint linear series on varieties with positive tangent bundle , author=. 2025 , archivePrefix=. arXiv:2511.20827 , primaryClass=

    2025

  37. [45]

    Lang, Serge , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1986 , NUMBER =. doi:10.1090/S0273-0979-1986-15426-1 , URL =

    1986 doi

  38. [46]

    Xu, Geng , TITLE =. J. Differential Geom. , FJOURNAL =. 1994 , NUMBER =

    1994

  39. [47]

    Green, Mark and Griffiths, Phillip , TITLE =. The. 1980 , ISBN =

    1980

  40. [48]

    Bogomolov, F. A. , TITLE =. Izv. Akad. Nauk SSSR Ser. Mat. , FJOURNAL =. 1978 , NUMBER =

    1978

  41. [49]

    McQuillan, Michael , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1998 , PAGES =

    1998

  42. [50]

    Lu, Steven Shin-Yi and Miyaoka, Yoichi , TITLE =. Amer. J. Math. , FJOURNAL =. 1997 , NUMBER =

    1997

  43. [51]

    Demailly, Jean-Pierre and El Goul, Jawher , TITLE =. Amer. J. Math. , FJOURNAL =. 2000 , NUMBER =

    2000

  44. [52]

    Bogomolov, Fedor and De Oliveira, Bruno , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2006 , PAGES =. doi:10.1515/CRELLE.2006.053 , URL =

    2006 doi

  45. [53]

    On some boundary divisors in the moduli spaces of stable

    Ciliberto, Ciro and Pardini, Rita , note=. On some boundary divisors in the moduli spaces of stable. 2025 , archivePrefix=. arXiv:2502.16322 , primaryClass=

    2025 arXiv

  46. [54]

    Classification of

    Monreal, Vicente and Negrete, Jaime and Urz\'ua, Giancarlo , note=. Classification of. 2025 , archivePrefix=. arXiv:2410.02943 , primaryClass=

    2025 arXiv

  47. [55]

    Arithmetic geometry of logarithmic pairs and hyperbolicity of moduli spaces---hyperbolicity in

    Javanpeykar, Ariyan , TITLE =. Arithmetic geometry of logarithmic pairs and hyperbolicity of moduli spaces---hyperbolicity in. [2020] 2020 , ISBN =. doi:10.1007/978-3-030-49864-1 , URL =

    2020 doi

  48. [56]

    Pacienza, Gianluca and Rousseau, Erwan , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2007 , PAGES =. doi:10.1515/CRELLE.2007.080 , URL =

    2007 doi

  49. [57]

    2006 , PAGES =

    Sernesi, Edoardo , TITLE =. 2006 , PAGES =

    2006

  50. [58]

    B\'erczi, Gergely and Kirwan, Frances , TITLE =. Invent. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00222-023-01219-z , URL =

    2024 doi

  51. [59]

    Nagoya Math

    Rousseau, Erwan , TITLE =. Nagoya Math. J. , FJOURNAL =. 2009 , PAGES =. doi:10.1017/S0027763000009685 , URL =

    2009 doi

  52. [60]

    Brotbek, Damian , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2017 , PAGES =. doi:10.1007/s10240-017-0090-3 , URL =

    2017 doi

  53. [61]

    The legacy of

    Siu, Yum-Tong , TITLE =. The legacy of. 2004 , ISBN =

    2004

  54. [62]

    Yamanoi, Katsutoshi , TITLE =. J. Math. Soc. Japan , FJOURNAL =. 2019 , NUMBER =. doi:10.2969/jmsj/75817581 , URL =

    2019

  55. [63]

    , TITLE =

    Lu, Steven Shin-Yi and Yau, S.-T. , TITLE =. Proc. Nat. Acad. Sci. U.S.A. , FJOURNAL =. 1990 , NUMBER =. doi:10.1073/pnas.87.1.80 , URL =

    1990 doi

  56. [64]

    Lu, Steven S. Y. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2010 , PAGES =. doi:10.1515/CRELLE.2010.032 , URL =

    2010 doi

  57. [65]

    Acta Math

    Noguchi, Junjiro and Winkelmann, J\"org and Yamanoi, Katsutoshi , TITLE =. Acta Math. , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/BF02392797 , URL =

    2002 doi

  58. [66]

    Compositio Math

    Kawamata, Yujiro , TITLE =. Compositio Math. , FJOURNAL =. 1981 , NUMBER =

    1981

  59. [67]

    Normal stable degenerations of

    Akaike, Hiroto and Enokizono, Makoto and Hattori, Masafumi and Koto, Yuki , note=. Normal stable degenerations of. 2025 , archivePrefix=. arXiv:2507.17633 , primaryClass=

    2025 arXiv

  60. [68]

    Duke Math

    Roulleau, Xavier and Rousseau, Erwan , TITLE =. Duke Math. J. , FJOURNAL =. 2014 , NUMBER =. doi:10.1215/00127094-2681496 , URL =

    2014 doi

  61. [69]

    Garcia-Fritz, Natalia and Urz\'ua, Giancarlo , TITLE =. Math. Z. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00209-019-02439-x , URL =

    2020 doi

Pith tools

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