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

1. Il Problema e il Contesto

Il lavoro si inserisce nel quadro della Congettura di Green-Griffiths-Lang, che prevede il comportamento iperbolico delle curve intere su varietà proiettive complesse di tipo log-generale. In particolare, la congettura afferma che l'immagine di ogni curva intera $f: \mathbb{C} \to X \setminus D$ (dove $X$ è una varietà proiettiva e $D$ un divisore) è contenuta in una sottovarietà algebrica propria di $X$ (degenerazione algebrica).

Il focus specifico di questo articolo è il caso in cui il divisore di confine $D$ è l'unione di $n+1$ divisori efficaci numericamente paralleli su una varietà complessa proiettiva di dimensione $n$.

• Novità rispetto alla letteratura precedente: Mentre risultati precedenti (es. Noguchi, Winkelmann, Yamanoi; Ru e Wang) trattavano il caso in cui i divisori hanno intersezioni normali (disgiunte o con intersezioni trasversali), questo studio affronta la situazione più complessa in cui i divisori hanno intersezioni non vuote (non-empty intersection), ovvero si intersecano in punti o sottovarietà di dimensione positiva.
• Obiettivo: Stabilire condizioni sufficienti affinché tutte le curve intere siano algebricamente degeneri e derivare stime di tipo GCD (Massimo Comun Divisore) in questo contesto geometrico.

2. Metodologia e Strumenti Teorici

L'approccio degli autori estende il metodo sviluppato da Levin, Huang e Xiao (riferito come [5] nel testo) dal caso delle superfici ($n=2$) a dimensioni arbitrarie ($n \ge 2$).

A. Generalizzazione del Teorema Secondario Principale

Il cuore della dimostrazione è la generalizzazione di un teorema di Ru-Vojta per sequenze regolari di sottoschemi chiusi.

• Sequenze Regolari: Viene introdotta la nozione di "sequenza regolare di sottoschemi chiusi" (Definizione 1.7), che generalizza l'intersezione di divisori. Se $D_1, \dots, D_m$ intersecano propriamente, la catena $D_1 \supset D_1 \cap D_2 \supset \dots \supset \bigcap D_i$ forma una tale sequenza.
• Costanti $\beta$: Viene utilizzato il concetto di costante $\beta$ (Definizione 1.2), una generalizzazione della costante $\alpha$ di Autissier, definita come limite inferiore del rapporto tra sezioni globali di fasci lineari twistati dall'ideale di un sottoschema e il numero totale di sezioni.
• Filtrazioni in Movimento: La prova del Teorema 1.9 (il risultato tecnico principale) utilizza filtrazioni sugli spazi di sezioni globali $H^0(X, L^N)$. A differenza del lavoro precedente su superfici che usava filtrazioni specifiche per i divisori, qui si adottano le filtrazioni in movimento (moving filtrations) introdotte da Autissier, adattate per gestire le intersezioni non vuote e le condizioni locali sui sottoschemi.

B. Stima Combinatoria e Geometrica

Gli autori costruiscono una combinazione convessa di applicazioni del Teorema 1.9.

• Per ogni punto $z \in \mathbb{C}$, si selezionano sottoinsiemi di indici di divisori che massimizzano le funzioni di prossimità $\lambda$.
• Si combinano stime su diversi sottoinsiemi di $n$ divisori per ottenere un controllo globale sulla somma delle funzioni di prossimità, introducendo un termine di penalità legato all'intersezione totale dei divisori.

3. Risultati Principali

Teorema 1.5 (Iperbolicità)

Sia $X$ una varietà proiettiva complessa di dimensione $n$ e $D_1, \dots, D_{n+1}$ divisori efficaci numericamente paralleli a un divisore ampio $D$.

• Ipotesi:
  1. Qualsiasi $n$-tupla di divisori interseca propriamente.
  2. L'intersezione totale $\bigcap_{i=1}^{n+1} D_i$ non è vuota.
  3. Condizione sulle costanti $\beta$: Per ogni punto $Q$ nell'intersezione totale e per ogni sottoinsieme $I$ di $n$ indici, vale la disuguaglianza:
     $$\beta(D, (\bigcap_{i \in I} a_i D_i)_Q) > 1$$
     dove $(\bigcap_{i \in I} a_i D_i)_Q$ è lo schema chiuso supportato in $Q$ definito dall'intersezione locale.
• Conclusione: Esiste una sottovarietà chiusa di Zariski propria $Z \subset X$ tale che l'immagine di qualsiasi mappa olomorfa non costante $f: \mathbb{C} \to X \setminus \bigcup D_i$ è contenuta in $Z$.

Teorema 1.10 (Stima GCD)

In un setting simile, se esiste un indice $I_0$ di cardinalità $n$ tale che l'intersezione $\bigcap_{i \in I_0} D_i$ contiene più di un punto, allora per ogni $\epsilon > 0$ esiste una sottovarietà propria $Z$ tale che per ogni curva intera $f$ non contenuta in $Z$:
$$T_{\bigcap_{i \in I_0} a_i D_i, f}(r) \le \epsilon T_{D, f}(r)$$
Questo risultato quantifica quanto la curva intera possa avvicinarsi all'intersezione dei divisori, fornendo una stima del tipo GCD.

Teorema 1.9 (Secondo Teorema Principale Generalizzato)

Questo è il risultato tecnico fondamentale che estende il lavoro di [5] a dimensioni superiori. Stabilisce una disuguaglianza di tipo Second Main Theorem per una collezione di coppie $(I, Y)$, dove $I$ è un sottoinsieme di indici di divisori e $Y$ è un sottoschema chiuso nell'intersezione, coinvolgendo le costanti $\beta$ e le funzioni di prossimità $\lambda$.

4. Esempi e Necessità delle Condizioni

Gli autori forniscono esempi (Sezione 4) per dimostrare che le condizioni imposte sono sharp (ottimali) e necessarie:

• Esempio 4.1: Mostra che se la condizione $\beta > 1$ non è soddisfatta (nel caso di una superficie quadrica con tre curve che si intersecano in due punti), si possono avere curve intere la cui unione delle immagini è densa in Zariski, violando l'iperbolicità.
• Esempio 4.2: Illustra che anche una condizione più debole sulle molteplicità di intersezione locale è necessaria. Se le molteplicità locali sono troppo alte rispetto al grado dei divisori, si possono costruire curve intere non degeneri.
• Viene mostrata l'equivalenza tra la condizione sulle costanti $\beta$ e una condizione sulle molteplicità di intersezione locali (Equazione 1.2):
  $$(D_i)_Q^I < \left(\frac{n}{n+1}\right)^n (D_i)^I$$

5. Significato e Impatto

• Estensione Dimensionale: Il lavoro risolve un problema aperto estendendo risultati noti per le superfici ($n=2$) a varietà di dimensione arbitraria $n$, gestendo la complessità aggiuntiva delle intersezioni non vuote.
• Collegamento Teoria di Nevanlinna - Teoria dei Numeri: Come notato nell'introduzione, i risultati hanno un analogo diretto nella teoria dei numeri (congetture di Lang-Vojta su campi di numeri). Questo lavoro fornisce quindi nuovi strumenti per studiare punti integrali su varietà con divisori che si intersecano.
• Nuovi Strumenti Tecnici: L'uso delle filtrazioni in movimento di Autissier in combinazione con le sequenze regolari di sottoschemi offre un nuovo quadro metodologico per affrontare problemi di iperbolicità in geometria complessa di alta dimensione.
• Applicabilità: I risultati si applicano a configurazioni geometriche concrete, come ipersuperfici dello stesso grado in $\mathbb{P}^n$ che si intersecano, fornendo criteri espliciti per la degenerazione algebrica delle curve intere.

In sintesi, il paper rappresenta un avanzamento significativo nella teoria dell'iperbolicità complessa, colmando il divario tra i casi di intersezioni normali e quelli con intersezioni non vuote, e fornendo stime quantitative precise (GCD) in questo contesto.