[Paper Review] On Algebraic Hyperbolicity of Log Surfaces

Xi Chen|ArXiv.org|Mar 14, 2001

Algebraic Geometry and Number Theory23 references3 citations

TL;DR

This paper introduces and studies algebraic hyperbolicity for log surfaces (X,D), defining it via a genus-degree inequality involving the intersection number |C ∩ D| for curves C ⊂ X. It establishes that a log surface (X,D) is algebraically hyperbolic if 2g(C)−2+|C ∩ D| ≥ ε·deg C for some ε > 0 and all irreducible curves C not contained in D. The key result is a sufficient condition for algebraic hyperbolicity of certain log surfaces via degeneration techniques and induction on determinantal varieties.

ABSTRACT

We call a log variety (X, D) algebraically hyperbolic if there exists a positive number e such that 2g(C) - 2 + i(C, D) >= e deg(C) for all curves C on X, where i(C, D) is the number of the intersections between D and the normalization of C. Among other things, we proved that (P^2, D) is algebraically hyperbolic for a very general curve D of degree at least 5. More specifically, we showed that 2g(C) - 2 + i(C, D) >= (deg(D) - 4) deg C for all curves C on P^2. For example, fix a very general quintic curve D and then for any map f: C = P^1 --> P^2, there are at least deg(f) + 2 distinct points on C that map to points on D by f.

Motivation & Objective

• To define and investigate algebraic hyperbolicity for log surfaces (X,D), generalizing the notion from projective varieties to affine or open varieties.
• To address the dependence of intersection numbers |C ∩ D| on compactification by introducing a refined notion of intersection multiplicity via closed subschemes.
• To establish a sufficient condition for algebraic hyperbolicity of log surfaces using degeneration techniques and induction on determinantal varieties.
• To provide a framework to test hyperbolicity of affine surfaces via algebraic criteria, linking analytic hyperbolicity to algebro-geometric invariants.

Proposed method

• Introduces a refined definition of intersection number |C ∩ D| using closed subschemes to ensure invariance under birational modifications.
• Applies degeneration techniques by specializing a matrix M to a form involving products of linear forms L₁⋯Lᵤ, preserving Hilbert polynomials.
• Uses the inclusion-exclusion principle on the degenerate fiber F = ∪(Hₖ ∩ Fₐ) ∪ Z to derive a recursion formula for the Hilbert polynomial P_F(l).
• Employs induction on min(n−m, m) to prove the key inequality 2p_a(F)−2 ≥ (u−3)·deg F for the arithmetic genus and degree of the curve F.
• Applies Mori’s cone theorem and adjunction to verify the required inequalities on curves in hyperplane sections.
• Reduces the problem to verifying inequalities on a smooth, irreducible curve F in a projective space, using deformation invariance of numerical invariants.

Experimental results

Research questions

• RQ1 How can algebraic hyperbolicity be meaningfully extended from projective varieties to log surfaces (X,D), where D is a divisor?
• RQ2 What is an invariant definition of the intersection number |C ∩ D| under birational modifications of the compactification?
• RQ3 Under what conditions is a log surface (X,D) algebraically hyperbolic, i.e., satisfies 2g(C)−2+|C ∩ D| ≥ ε·deg C for some ε > 0?
• RQ4 Can degeneration techniques and induction on determinantal varieties be used to prove such a bound for curves on log surfaces?
• RQ5 What is the role of the Hilbert polynomial and its behavior under degeneration in establishing the key inequality?

Key findings

• The paper defines algebraic hyperbolicity for log surfaces (X,D) via the inequality 2g(C)−2+|C ∩ D| ≥ ε·deg C for all irreducible curves C not contained in D.
• It shows that the refined intersection number |C ∩ D|, defined via closed subschemes, is invariant under blow-ups, resolving a key technical issue.
• The main result is that for a certain class of log surfaces defined by determinantal conditions, the inequality 2p_a(F)−2 ≥ (u−3)·deg F holds for the curve F, proving algebraic hyperbolicity.
• The proof relies on degenerating the defining matrix to a product of linear forms, preserving the Hilbert polynomial and allowing induction.
• The curve F obtained via degeneration is shown to be smooth and irreducible, ensuring the validity of the genus-degree bound.
• The result establishes a sufficient condition for algebraic hyperbolicity of log surfaces using recursive formulas and numerical invariance under deformation.