Algebraic Exceptional Set of a Three-Component Curve on Hirzebruch Surfaces

Wei Chen

REVIEW 1 major objections 3 minor 1 cited by

Algebraic Exceptional Set of a Three-Component Curve on Hirzebruch Surfaces

T0 review · 1 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For a three-component normal-crossing curve B on any Hirzebruch surface with K+B big, the paper proves the algebraic exceptional set equals the hyper-bitangent curves and is finite, with effective bounds in all but one F1 case.

desk verdict A genuine extension of Caporaso–Turchet to all Hirzebruch surfaces, with one F1 subcase where finiteness rests on an unverified Corvaja–Zannier application. read the letter →

arxiv 2507.13280 v2 pith:YBKTDAUU submitted 2025-07-17 math.AG

Wei Chen This is my paper · ORCID

classification math.AG MSC 14H2014H4514J26

keywords algebraicexceptionalsetHirzebruchsurfaceshyper-bitangentcurveshypertangencythree-componentrationallog-generaltypeunibranchpoints

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

The paper studies the algebraic exceptional set of a curve B with three irreducible components meeting normally on a Hirzebruch surface F_e: the set of rational curves that meet B in at most two points after normalization. It proves that, when K_{F_e}+B is big and no component of B is a ruling fiber or the negative self-intersection section, this exceptional set coincides with the set of hyper-bitangent curves and is finite. This confirms the conjectural finiteness statement for every such three-component log-smooth pair on a Hirzebruch surface, extending a previously known plane-curve result to the full family. The proof yields explicit bounds on the number of exceptional curves in all but one subcase on F_1, where it invokes an external degree bound.

What carries the argument

The central object is Hyp(B,2), the set of hyper-bitangent curves: integral curves D with #$ν_D^{{-1}}$(D∩B)≤2, meaning that after normalization the preimage of B has at most two points. Two local statements carry the argument. Theorem 2.11 lower-bounds the δ-invariant of a singular unibranch point of D (a local contribution to arithmetic genus) in terms of its multiplicity and its intersection multiplicity with a smooth branch of B. Theorem 2.13, the strong triangle inequality, says that when three curves share a point that is unibranch on all of them, the smallest two normalized intersection multiplicities are equal; the paper uses this to rule out two distinct curves in the same linear system through the same two points. Together these tools reduce the classification of hyper-bitangent curves to a short list of divisor classes and turn finiteness into an explicit count, except in one F_1 subcase where a degree bound from [9] is imported.

What would settle it

Take B1,B2∈|C1| on F1 and B3∈|C1+f| in general position, and look for integral curves D∈|dC1+f| with #$ν_D^{{-1}}$(D∩B)≤2 for arbitrarily large d. The paper's proof bounds such degrees only through the external theorem [9]; finding infinitely many such curves would refute Theorem 1, while checking whether $P^{2}$\π(B) satisfies the hypotheses of [9] would directly test the proof's missing step.

Watch

Extended reading notes

Core claim

On its own terms, the paper's central claim is Theorem 1: if S is a Hirzebruch surface and B is a 3C-curve (three irreducible components, normal crossings at every intersection point) such that K_S+B is big and no component lies in |f| or equals C_0, then E(B)=Hyp(B,2) and E(B) is finite. The equality is established by classifying possible divisor classes of a curve D counted by Hyp(B,2): on F_0 the only classes are |(1,0)|, |(0,1)|, and |(1,1)|; on F_e with e≥2 they are |C_0|, |f|, and, only when e=2, |C_1|; on F_1 they are |C_0|, |f|, |C_1|, and |dC_1+f| with d≥1. Once the class is fixed, arithmetic genus computations force D to be rational, and finiteness follows by counting curves through the finitely many intersection points of B's components, with the strong triangle inequality used to show at most one curve passes through a given pair of points.

Load-bearing premise

In the special F1 case where two components lie in |C1|, the proof of finiteness relies on applying an external degree bound to the plane curve obtained by contracting the negative section, and the paper does not check that this plane curve satisfies the conditions the external bound requires.

Editorial extensions

If this is right

Lang's finiteness conjecture for algebraic exceptional sets holds for every three-component normal-crossing boundary on every Hirzebruch surface under the stated hypotheses.
The equality E(B)=Hyp(B,2) means that any integral curve meeting B in at most two normalization-preimage points must be rational, so the exceptional set can be tested by looking only at hyper-bitangent curves.
The bounds are effective in all but one case: for example, on F_0 the exceptional set has at most 24 elements when all three components are of type (1,1), and on F_2 it has at most 19 when all three are of type |C_1|.
For general B of sufficiently large degree, the exceptional set is empty: no curve is hyper-bitangent (Propositions 3.4, 3.8, and 4.9).
On F_1, hyper-bitangent curves occur only in the divisor classes |C_0|, |f|, |C_1|, and |dC_1+f|, and for dC_1 with d≥3 only when two components lie in |C_1|.

Reading between the lines

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

Inference: the two local estimates (Theorem 2.11 and the strong triangle inequality) are not special to Hirzebruch surfaces, so the same classification strategy may carry over to other toric or rational surfaces; this is not claimed in the paper.
Inference: Example 4.10 suggests the hypotheses forbidding fibers and the negative section are close to sharp, since dropping them allows hyper-bitangent curves of positive genus; one testable consequence is that the equality E(B)=Hyp(B,2) should fail exactly when a component is a fiber or C_0.
Inference: the unverified applicability of [9] in the F_1 subcase could be checked by direct computation for small examples, and a positive check would turn the only non-effective part of the theorem into an effective one.
Inference: the effective bounds, being polynomial in the intersection numbers of the components, suggest a natural quantitative strengthening in which the number of exceptional curves is bounded by a universal function of the self-intersection data, independent of the position of B.

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.

Desk Editor's Note

read the letter

Colleague,

The paper settles Lang's algebraic exceptional set conjecture for three-component normal-crossing boundaries on all Hirzebruch surfaces, provided no component is a fiber or the negative section. That is a real extension of Caporaso–Turchet's P^2 theorem and the first such result on surfaces other than P^2. The proof is mostly careful and case-by-case, with effective bounds for every case except one subcase.

What is good: the generalized local inequality Thm 2.11 is a useful addition, the counting arguments are precise, and the paper is honest about where its method stops (Rem 3.9, Example 4.10). The reduction to [4] in Section 4 for β=0 is sound. The equality E(B)=Hyp(B,2) is shown for F0, Fe (e≥2), and F1, and does not depend on the questionable step.

The soft spot is exactly the one you'd spot: Theorem 4.6(b). When B1,B2∈|C1|, the proof contracts C0 and applies Corvaja–Zannier [9, Thm.1] to get deg π(D)≤γ(B). But the hypotheses of that theorem are not verified. The divisor π(B) generally has a singular point at q=π(C0) when β3≥2 or when B3 is tangent to C0, so it is not SNC there; the finite morphism to G_m^2 is not exhibited. As written, the bound is unsupported. This only affects finiteness in that subcase; the equality and the other effective bounds stand on their own.

I think the gap is fixable, not fatal. The complement of two lines and a curve on P^2 most likely does admit a finite map to G_m^2, but the paper needs to show it and check the hypotheses. A referee should request this.

Recommendation: send to peer review. It deserves referee time. The author will have to fill the C-Z gap before the full Theorem 1 is airtight.

Referee Report

1 major / 3 minor

Summary. The paper studies the algebraic exceptional set E(B) of a reduced curve B with three irreducible components and normal crossings at component intersections on a Hirzebruch surface F_e. Under the assumptions that K_{F_e}+B is big and that no component of B is a fiber or the negative section C0, the paper claims that E(B) equals the set Hyp(B,2) of curves meeting B in at most two points after normalization, and that E(B) is finite. The proof is case-by-case: F0 and F_e (e≥2) are handled in Section 3 with explicit enumerative bounds; the remaining surface F1 is treated in Section 4, where the equality is proved and finiteness is established by reduction to P2 results and, in one subcase, by an appeal to a theorem of Corvaja–Zannier. The paper also gives effective bounds for |E(B)| in most cases and shows that E(B)=∅ for general B under additional numerical assumptions.

Significance. If the proof is correct, the paper gives the first extension beyond P2 of the finiteness and equality results for the algebraic exceptional set of three-component curves, confirming Lang's conjecture in this class of log-general-type surfaces. The paper is carefully written and contains genuinely useful local tools: Theorem 2.11 (a δ-invariant lower bound at unibranch tangencies) and the systematic use of the strong triangle inequality (Theorem 2.13) are stated and proved in detail. The effective finiteness bounds in Sections 3 and most of Section 4 are obtained by explicit counting, which is a clear strength. The main caveat is the application of the Corvaja–Zannier theorem in Theorem 4.6(b), where the hypotheses on P^2\π(B) are not verified; if that gap can be closed, the result is a substantial confirmation of the expected picture.

major comments (1)

[§4, Theorem 4.6(b)] The application of the Corvaja–Zannier theorem [9, Thm. 1] is not justified. The proof asserts that after contracting C0 the divisor π(B) is still a 3C-curve and that the Corvaja–Zannier theorem gives d1+1 = deg π(D) ≤ γ(B), but none of the hypotheses of [9, Thm. 1] is verified. In particular, the paper does not construct a finite morphism P2\π(B) → G_m^2, and it does not check that the boundary π(B) satisfies the regularity conditions required by [9] (for instance, simple normal crossing support). This is not a technicality: under the standing assumptions of Prop. 4.1 we have β3 ≥ 1, so q = π(C0) lies on π(B3); unless β3 = 1 and B3 meets C0 transversally, the curve π(B3) is singular at q, and even in the smooth case the paper gives no argument that [9] permits this configuration. Since the bound deg π(D) ≤ γ(B) is the only input that prevents the set of degrees {d1} from being infinite, the finiteness of E(B) in this subcase—and hence part (2) of Theorem 1 for F1—is not established by the present argument. The equality E(B) = Hyp(B,2) and the effective bounds in all other cases are independent of this step.

minor comments (3)

[Remark 3.9] Remark 3.9 states that 'the cases we study are not covered by [4],[8], and [9]', which appears to be in tension with the central use of [9, Thm. 1] in Theorem 4.6(b). Please clarify the intended scope, for example by distinguishing F_e with e≥2 from the F1 subcase, and by indicating that the application of [9] is to the contracted plane complement P2\π(B) rather than to F_e\B.
[Prop. 4.3(2)] The reduction to [4] would benefit from a short verification that π(B) is a 3C-curve on P2 and that the hypotheses of the cited results from [4] are satisfied; the current text says only that 'π(B) is still a 3C-curve'.
[Lemma 2.19] Lemma 2.19 is cited to a MathOverflow answer; if a standard textbook statement is available (for example, [14, Ch. V]), it would be more suitable for a journal article.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is proved from stated geometric lemmas and external benchmarks, not from its own conclusion.

full rationale

The paper's central claims are Theorem 1(1) E(B)=Hyp(B,2) and Theorem 1(2) finiteness of E(B). The equality is not a definitional restatement: E(B) is restricted to rational curves while Hyp(B,2) admits all integral curves, and the proofs (Prop. 3.1, 3.5, 4.3) genuinely show that any integral hyper-bitangent curve must lie in the rational linear systems |C0|, |C1|, |f| or, in the beta=0 F1 case, that pi(D) belongs to Hyp(P^2, pi(B), 2)=E(P^2, pi(B)) by [4]. No parameter is fitted and no 'prediction' is read back from the target statement; the effective bounds in Thm. 3.3, Thm. 3.7, and Prop. 4.1 are obtained by counting curves through the finitely many points of N and by the strong triangle inequality. The cited external inputs [4], [8], [9], [12] are used as benchmarks or tools, not as a source of the Hirzebruch-surface theorem itself; [4] is by Caporaso-Turchet, the author's research group, but it is external, published, and does not contain the present statement, so it is not a self-citation chain forcing the conclusion. The only flagged issue is in Thm. 4.6(b), where the paper asserts 'pi(B) is still a 3C-curve' and applies [9, Thm. 1] without verifying that P^2\pi(B) is a finite affine smooth cover of G_m^2 or that the boundary is SNC at q=pi(C0); if B3 meets C0, pi(B) may fail to be SNC there. This is a potential correctness gap in one F1 subcase, not a circularity: if the Corvaja-Zannier theorem is inapplicable, the finiteness proof in that subcase is unsupported, but the equality E(B)=Hyp(B,2) and the other effective bounds are unaffected. Accordingly, the circularity score is 0.

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

The proof rests on standard algebraic-geometric theorems and on two deep external results, [4] and [9]; the paper proves its main local tools, such as Thm 2.11, but does not verify the hypotheses of [9] in Thm 4.6(b). There are no fitted parameters or invented entities.

assumptions (5)

standard math Strong Triangle Inequality for intersection multiplicities of three unibranch branches (Garcia Barroso-Ploski, Thm 2.13).
Used repeatedly to rule out multiple distinct curves passing through fixed points, e.g., in Thm 3.3 and Claim 4.7.
standard math Flenner-Zaidenberg Lemma 2.6 describing possible intersection multiplicities at unibranch points, and Corollary 2.9.
Foundation for Theorem 2.11, the key delta-invariant lower bound used throughout the paper.
domain assumption Caporaso-Turchet theorem on P^2: Hyp(P^2,B,2)=E(P^2,B) and finiteness for three-component plane curves ([4]).
Used to reduce the F1 beta=0 case and the F1 {B1,B2} subset |C1| case to the projective plane.
domain assumption Corvaja-Zannier theorem [9, Thm. 1] giving a degree bound gamma(B) for curves in the complement of pi(B) in P^2.
Load-bearing for the finiteness part (b) of Thm 4.6; its hypotheses on P^2 minus pi(B) are not verified in the text.
standard math Riemann-Hurwitz theorem for singular curves ([11]) as used in Prop 4.1.
Bounds the number of lines through a point hypertangent to a plane curve.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Algebraic Exceptional Set of a Three-Component Curve on Hirzebruch Surfaces." pith.science (2026). https://pith.science/paper/YBKTDAUU

@misc{pith2026250713280,
  author       = {Pith},
  title        = {Pith review of: Algebraic Exceptional Set of a Three-Component Curve on Hirzebruch Surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YBKTDAUU}},
  note         = {Machine review of arXiv:2507.13280}
}

abstract

We study the algebraic exceptional set of a three-component curve $B$ with normal crossings on a Hirzebruch surface $\mathbb{F}_e$. If $K_{\mathbb{F}_{e}}+B$ is big and no component of $B$ is a fiber or the rational curve with negative self-intersection, we prove that the algebraic exceptional set is finite, and in most cases give it an effective bound. We also prove that the algebraic exceptional set coincides with the set of curves that are hyper-bitangent to $B$.

Figures

Figures reproduced from arXiv: 2507.13280 by the authors.

**Figure 1.** Example 4.10 References [1] Kenneth Ascher and Amos Turchet. Hyperbolicity of Varieties of Log General Type, pages 197–247. Springer International Publishing, Cham, 2020. [2] Kenneth Ascher, Amos Turchet, and Wern Yeong. The algebraic green-griffiths-lang conjecture for complements of very general pairs of divisors, 2024. arXiv:2410.00640v1. [3] Fedor Bogomolov. Families of curves on a surface of general type. Dokl… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Conic linear series and pencils of plane quartics
math.AG 2025-11 reject novelty 7.0 of 10

The paper claims a non-isotrivial pencil of plane quartics with one base point, irreducible members, and smooth general member, via 16-torsion on an elliptic normal quartic.

Reference graph

Works this paper leans on

25 extracted references · 23 canonical work pages · cited by 1 Pith paper

[4]

Hypertangency of plane curves and the algebraic ex- ceptional set.Proceedings of the London Mathematical Society, 130(6):e70063, 2025

Lucia Caporaso and Amos Turchet. Hypertangency of plane curves and the algebraic ex- ceptional set.Proceedings of the London Mathematical Society, 130(6):e70063, 2025

work page 2025
[9]

Algebraic hyperbolicity of ramified covers ofG2 m (and integral points on affine subsets ofP2).J

Pietro Corvaja and Umberto Zannier. Algebraic hyperbolicity of ramified covers ofG2 m (and integral points on affine subsets ofP2).J. Differential Geom., 93(3):355–377, 2013

work page 2013
[1]

Springer International Publishing, Cham, 2020

Kenneth Ascher and Amos Turchet.Hyperbolicity of Varieties of Log General Type, pages 197–247. Springer International Publishing, Cham, 2020

work page 2020
[2]

The algebraic Green-Griffiths-Lang conjecture for complements of very general pairs of divisors

Kenneth Ascher, Amos Turchet, and Wern Yeong. The algebraic green-griffiths-lang conjec- ture for complements of very general pairs of divisors, 2024. arXiv:2410.00640v1

work page Pith review arXiv 2024
[3]

Families of curves on a surface of general type.Dokl

Fedor Bogomolov. Families of curves on a surface of general type.Dokl. Akad. Nauk SSSR, 236(5):1041–1044, 1977

work page 1977
[5]

Tropical curves of unibranch points and hypertangency,

Lucia Caporaso and Amos Turchet. Tropical curves of unibranch points and hypertangency,

work page
[6]

On algebraic hyperbolicity of log varieties.Commun

Xi Chen. On algebraic hyperbolicity of log varieties.Commun. Contemp. Math., 6(4):513– 559, 2004

work page 2004
[7]

Algebraic Hyperbolicity of Complements of Generic Hypersurfaces in Projective Spaces

Xi Chen, Eric Riedl, and Wern Yeong. Algebraic hyperbolicity of complements of generic hypersurfaces in projective spaces, 2023. arXiv:2208.07401v2 (to appear inCrelle’s)

work page Pith review arXiv 2023

Show all 25 references

[8]

Some cases of Vojta’s conjecture on integral points over function fields.J

Pietro Corvaja and Umberto Zannier. Some cases of Vojta’s conjecture on integral points over function fields.J. Algebraic Geom., 17(2):295–333, 2008

2008
[10]

On a class of rational cuspidal plane curves

Hubert Flenner and Mikhail Zaidenberg. On a class of rational cuspidal plane curves. Manuscripta Math., 89(4):439–459, 1996

1996
[11]

Arnaldo García and R. F. Lax. Rational nodal curves with no smooth Weierstrass points. Proc. Amer. Math. Soc., 124(2):407–413, 1996

1996
[12]

An approach to plane algebroid branches

Evelia Rosa García Barroso and Arkadiusz Płoski. An approach to plane algebroid branches. Rev. Mat. Complut., 28(1):227–252, 2015

2015
[13]

Nguyen, Chia-Liang Sun, and Julie Tzu-Yueh Wang

Ji Guo, Khoa D. Nguyen, Chia-Liang Sun, and Julie Tzu-Yueh Wang. Vojta’s abc conjecture foralgebraictoriandapplicationsoverfunctionfields.Advances in Mathematics, 476:110358, 2025

2025
[14]

52 ofGraduate Texts in Mathematics

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

1977
[15]

Hyperbolic and Diophantine analysis.Bull

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

1986
[16]

I, volume 48 ofErgebnisse der Mathe- matik und ihrer Grenzgebiete

Robert Lazarsfeld.Positivity in algebraic geometry. I, volume 48 ofErgebnisse der Mathe- matik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springe...

2004
[17]

Bounding curves in algebraic surfaces by genus and Chern numbers.Math

Steven Shin-Yi Lu and Yoichi Miyaoka. Bounding curves in algebraic surfaces by genus and Chern numbers.Math. Res. Lett., 2(6):663–676, 1995

1995
[18]

Diophantine approximations and foliations.Publications Mathématiques de l’IHÉS, 87:121–174, 1998

Michael McQuillan. Diophantine approximations and foliations.Publications Mathématiques de l’IHÉS, 87:121–174, 1998

1998
[19]

James S. Milne. Lectures on étale cohomology (v2.21), 2013. Available at www.jmilne.org/math/

2013
[20]

Pencils of plane cubics with one base point.Rendiconti del Circolo Matematico di Palermo Series 2, 74(1):60, 2025

Riccardo Moschetti, Gian Pietro Pirola, and Lidia Stoppino. Pencils of plane cubics with one base point.Rendiconti del Circolo Matematico di Palermo Series 2, 74(1):60, 2025

2025
[21]

On the logarithmic Kobayashi conjecture.J

Gianluca Pacienza and Erwan Rousseau. On the logarithmic Kobayashi conjecture.J. Reine Angew. Math., 611:221–235, 2007

2007
[22]

Remarque sur la multiplicité d’intersection des branches planes.Bull

Arkadiusz Płoski. Remarque sur la multiplicité d’intersection des branches planes.Bull. Polish Acad. Sci. Math., 33(11-12):601–605, 1985

1985
[23]

Cohomology of divisors on hirzebruch surfaces

Sasha(https://mathoverflow.net/users/4428/sasha). Cohomology of divisors on hirzebruch surfaces. MathOverflow, 2021. URL:https://mathoverflow.net/q/403548 (version: 2021-09- 09)

2021
[24]

The stacks project.https://stacks.math.columbia.edu, 2024

The Stacks project authors. The stacks project.https://stacks.math.columbia.edu, 2024

2024
[25]

Springer-Verlag, Berlin, 1987

Paul Vojta.Diophantine approximations and value distribution theory, volume 1239 ofLec- ture Notes in Mathematics. Springer-Verlag, Berlin, 1987. Department of Mathematics and Physics, Roma Tre University, Largo San Leonardo Murialdo, I-00146, Rome, Italy Email address:wei.che...

1987

Pith tools

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

[1] [4]

Hypertangency of plane curves and the algebraic ex- ceptional set.Proceedings of the London Mathematical Society, 130(6):e70063, 2025

Lucia Caporaso and Amos Turchet. Hypertangency of plane curves and the algebraic ex- ceptional set.Proceedings of the London Mathematical Society, 130(6):e70063, 2025

work page 2025

[2] [9]

Algebraic hyperbolicity of ramified covers ofG2 m (and integral points on affine subsets ofP2).J

Pietro Corvaja and Umberto Zannier. Algebraic hyperbolicity of ramified covers ofG2 m (and integral points on affine subsets ofP2).J. Differential Geom., 93(3):355–377, 2013

work page 2013

[3] [1]

Springer International Publishing, Cham, 2020

Kenneth Ascher and Amos Turchet.Hyperbolicity of Varieties of Log General Type, pages 197–247. Springer International Publishing, Cham, 2020

work page 2020

[4] [2]

The algebraic Green-Griffiths-Lang conjecture for complements of very general pairs of divisors

Kenneth Ascher, Amos Turchet, and Wern Yeong. The algebraic green-griffiths-lang conjec- ture for complements of very general pairs of divisors, 2024. arXiv:2410.00640v1

work page Pith review arXiv 2024

[5] [3]

Families of curves on a surface of general type.Dokl

Fedor Bogomolov. Families of curves on a surface of general type.Dokl. Akad. Nauk SSSR, 236(5):1041–1044, 1977

work page 1977

[6] [5]

Tropical curves of unibranch points and hypertangency,

Lucia Caporaso and Amos Turchet. Tropical curves of unibranch points and hypertangency,

work page

[7] [6]

On algebraic hyperbolicity of log varieties.Commun

Xi Chen. On algebraic hyperbolicity of log varieties.Commun. Contemp. Math., 6(4):513– 559, 2004

work page 2004

[8] [7]

Algebraic Hyperbolicity of Complements of Generic Hypersurfaces in Projective Spaces

Xi Chen, Eric Riedl, and Wern Yeong. Algebraic hyperbolicity of complements of generic hypersurfaces in projective spaces, 2023. arXiv:2208.07401v2 (to appear inCrelle’s)

work page Pith review arXiv 2023