Hyperbolicity and GCD for n+1 divisors with non-empty intersection

1. Probleemstelling en Context

Het artikel behandelt de hyperboliciteit van quasi-projectieve variëteiten in de context van de Green-Griffiths-Lang-conjectuur. Deze conjectuur voorspelt dat op variëteiten van "log-generaal type" alle gehele curven (holomorfe afbeeldingen $f: \mathbb{C} \to X \setminus D$) algebraïsch gedegenereerd zijn; dat wil zeggen dat hun beeld ligt in een echte algebraïsche deelvariëteit van $X$.

De auteurs focussen op een specifiek en uitdagend geval:

• $X$ is een complexe projectieve variëteit van dimensie $n$.
• De rand $D$ bestaat uit de unie van $n+1$ effectieve Cartier-divisoren $D_1, \dots, D_{n+1}$.
• Deze divisoren zijn numeriek parallel: er bestaan positieve gehele getallen $a_i$ zodat $a_i D_i$ allemaal numeriek equivalent zijn aan een ample divisor $D$.
• Cruciaal verschil met eerdere werken: De auteurs staan niet-lege snijpunten toe ($\bigcap_{i=1}^{n+1} D_i \neq \emptyset$). Eerdere resultaten (zoals die van Noguchi, Winkelmann en Yamanoi) beperkten zich vaak tot het geval van "normal crossings" (waar snijpunten leeg zijn of de dimensie van de snijpunten strikt afneemt zonder overmatige overlapping).

Het probleem is dat het toelaten van niet-lege snijpunten nieuwe geometrische en analytische uitdagingen introduceert, vooral bij het controleren van het lokale gedrag van curven in de buurt van deze snijpunten.

2. Methodologie

De aanpak van de auteurs bouwt voort op de methode van Levin, Huang en Xiao (referentie [5]), die eerder succesvol was voor oppervlakken ($n=2$), maar generaliseert deze naar hogere dimensies ($n \geq 2$).

Kerncomponenten van de methode:

1. Veralgemening van de Ru-Vojta-ongelijkheid:
   De auteurs bewijzen een Tweede Hoofdstelling voor reguliere rijen van gesloten deelvariëteiten (Definition 1.7). In plaats van alleen te kijken naar divisoren, behandelen ze ketens van snijpunten $D_1 \supset D_1 \cap D_2 \supset \dots$.

   • Ze gebruiken $\beta$-constanten (Definition 1.2), een generalisatie van Autissier's $\alpha$-constanten, om de "grootte" van secties te meten die verdwijnen langs een deelvariëteit.
   • Ze definiëren een filtratie van de ruimte van secties $H^0(X, L^N)$ gebaseerd op de verdwijningsordes langs de divisoren en hun snijpunten.

2. Technische Lemmata en Filtraties:

   • Ze passen een bewegende filtratie (moving filtration) toe, geïntroduceerd door Autissier, in plaats van de statische filtraties uit eerdere oppervlakte-gebaseerde werken.
   • Ze gebruiken technische lemmata over reguliere rijen in lokale ringen (Lemma 3.2) om verhoudingen tussen idealen te analyseren.
   • Ze combineren convexe combinaties van ongelijkheden voor verschillende subsets van $n$ divisoren om een scherpere schatting te krijgen voor het totale gedrag.

3. Blow-up Techniek:
   Voor het bewijs van de hyperboliciteit (Theorema 1.5) gebruiken ze een blow-up van de variëteit in een punt $Q$ waar alle divisoren samenkomen. Dit transformeert het probleem naar een situatie waar de $\beta$-constanten gunstiger worden, waardoor de hyperboliciteit kan worden afgeleid.

3. Belangrijkste Resultaten

Het artikel presenteert drie hoofdstellingen:

Theorema 1.5 (Hyperboliciteit):
Onder specifieke lokale voorwaarden op de $\beta$-constanten of lokale snijmultipliciteiten, wordt bewezen dat alle niet-constante holomorfe afbeeldingen $f: \mathbb{C} \to X \setminus \bigcup D_i$ algebraïsch gedegenereerd zijn.

• Voorwaarde: Voor elk punt $Q$ in het totale snijpunt en elke subset $I$ van $n$ indexen, moet gelden:
  $$\beta(D, (\bigcap_{i \in I} a_i D_i)_Q) > 1$$
  Of alternatief, in termen van lokale snijmultipliciteiten:
  $$(D_i)_Q^I < \left(\frac{n}{n+1}\right)^n (D_i)^I$$
  Als deze ongelijkheid geldt, bestaat er een echte Zariski-gesloten deelverzameling $Z \subset X$ die het beeld van elke gehele curve bevat.

Theorema 1.9 (Veralgemeende Tweede Hoofdstelling):
Dit is het technische fundament. Het stelt een ongelijkheid op voor een verzameling van paren $(I, Y)$, waarbij $I$ een subset van divisoren is en $Y$ een gesloten deelvariëteit van hun snijpunt.
$$\int_0^{2\pi} \max_{(I,Y) \in \mathcal{M}} \left( \sum_{i \in I} \beta(L, D_i)\lambda_{D_i}(f) + \left(\beta(L, Y) - \sum_{i \in I} \beta(L, D_i)\right)\lambda_Y(f) \right) \frac{d\theta}{2\pi} \leq_{exc} (1+\varepsilon)T_{L,f}(r)$$
Dit resultaat generaliseert eerdere werken naar hogere dimensies en complexe snijpatronen.

Theorema 1.10 (GCD-schatting):
In dezelfde geometrische setting wordt een GCD-type schatting (Greatest Common Divisor) afgeleid. Dit betekent dat voor een gehele curve die niet in $Z$ ligt, de "grootte" van het snijpunt met een subset van $n$ divisoren verwaarloosbaar klein is ten opzichte van de totale karakteristieke functie.
$$T_{\bigcap_{i \in I_0} a_i D_i, f}(r) \leq \varepsilon T_{D, f}(r)$$

4. Voorbeelden en Scherpheid van de Voorwaarden

De auteurs illustreren in Sectie 4 dat hun voorwaarden noodzakelijk en scherp zijn:

• Voorbeeld 4.1: Toont aan dat als de $\beta$-conditie niet wordt voldaan (in dit geval $\beta=1$), er Zariski-dichte verzamelingen van curven kunnen bestaan die de hyperboliciteit schenden.
• Voorbeeld 4.2: Toont aan dat zelfs een zwakker resultaat (zoals een GCD-schatting) kan falen als de lokale snijmultipliciteit te groot is (de ongelijkheid (1.2) wordt geschonden). Er wordt een expliciet voorbeeld gegeven van een algebraïsch niet-gedegenereerde curve in $\mathbb{P}^2$ met drie divisoren die een punt delen.

5. Betekenis en Impact

1. Overbrugging van een Gaten: Dit werk vult een belangrijke lacune op in de theorie van hyperboliciteit. Waar eerdere resultaten vaak vereisten dat de randdivisoren "normal crossings" waren (geen overmatige overlapping), behandelt dit artikel expliciet het geval van niet-lege snijpunten in hogere dimensies.
2. Generalisatie naar Hogere Dimensies: Het breidt de succesvolle methode van Levin-Huang-Xiao (oorspronkelijk voor oppervlakken) uit naar willekeurige dimensie $n$. Dit vereiste een ingewikkelde aanpassing van filtraties en het gebruik van reguliere rijen van deelvariëteiten.
3. Verbinding met Diophantische Benadering: Hoewel het artikel zich richt op complexe analyse (Nevanlinna-theorie), wordt verwezen naar de "Vojta-dictionary", die een parallel trekt tussen gehele curven en integraalpunten op variëteiten. De resultaten hier hebben directe analogieën in de getaltheorie (Lang-Vojta conjectuur), hoewel de auteurs opmerken dat de arithmetische versie voor $n=2$ nog open is.
4. Technische Innovatie: De introductie van een verfynde filtratie gebaseerd op bewegende filtraties en de behandeling van reguliere rijen van gesloten deelvariëteiten biedt een nieuw gereedschapskist voor onderzoekers in de complexe meetkunde en Diophantische meetkunde.

Kortom, dit artikel levert een fundamentele bijdrage aan het begrijpen van de hyperboliciteit van variëteiten met complexe randstructuren, waarbij het de grenzen van bestaande theorieën uitbreidt door de complexiteit van niet-triviale snijpunten systematisch aan te pakken.