Hyperbolicity of smooth logarithmic and orbifold pairs in $\mathbb{P}^n$

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria complessa e della teoria dell'iperbolicità delle varietà proiettive. L'obiettivo principale è investigare le proprietà di iperbolicità (in senso di Brody e Kobayashi) del complemento di un arrangemento di iperpiani in $\mathbb{P}^n$ e, più in generale, di coppie logaritmiche e orbifold.

Il punto di partenza è il legame tra l'iperbolicità di una varietà $X \setminus D$ e la positività del suo fibrato cotangente logaritmico $\Omega_X(\log D)$.

• È noto che se $\Omega_X(\log D)$ è "ampio" (ample), allora $X \setminus D$ è iperbolico.
• Tuttavia, nel caso non compatto (dove $D \neq \emptyset$), il fibrato cotangente logaritmico non può mai essere ampio a causa della presenza di quozienti banali supportati sulle componenti di $D$.
• Per ovviare a questo, sono state introdotte nozioni di positività più deboli:
  1. Quasi-ampio (Almost ample): Il luogo base aumentato $B_+(\mathcal{O}_{\mathbb{P}(\Omega_X(\log D))}(1))$ è contenuto nell'unione dei fibrati banali associati alle intersezioni delle componenti di $D$.
  2. Ampio modulo il bordo (Ample modulo boundary): La proiezione del luogo base aumentato su $X$ coincide esattamente con il supporto di $D$.

Il problema centrale affrontato dal paper è determinare condizioni necessarie e sufficienti affinché il fibrato cotangente logaritmico associato a un arrangemento di iperpiani in $\mathbb{P}^n$ soddisfi queste proprietà di positività, migliorando i risultati esistenti (in particolare quelli di Darondeau-Rousseau [11] e Noguchi [21]).

2. Metodologia

L'autrice utilizza un approccio che combina geometria proiettiva classica, teoria dei fibrati vettoriali e la teoria degli orbifold di Campana.

• Geometria Proiettiva e Dualità: Viene sfruttata la relazione tra le iperpiani in $\mathbb{P}^n$ e i punti nello spazio duale $(\mathbb{P}^n)^*$. L'analisi si concentra sulla costruzione di "linee di ostacolo" (obstruction lines) che vengono contratte dal morfismo associato al fibrato cotangente.
• Studio del Luogo Base Aumentato: Viene utilizzato il teorema di Nakamaye per caratterizzare il luogo base aumentato $B_+(L)$ di un fibrato nef come l'unione delle fibre positive di dimensione del morfismo associato.
• Costruzione di Forme Simmetriche: Per dimostrare l'ampiezza, l'autrice costruisce esplicitamente forme simmetriche globali (sezioni di potenze simmetriche del fibrato) che si annullano su divisor ampie. Questo permette di controllare il luogo base.
• Teoria degli Orbifold: Il risultato viene esteso al caso degli orbifold (coppie $(X, \Delta)$ con coefficienti razionali), utilizzando coperture di Fermat (ramificate) per trasformare il problema in uno su varietà compatte o logaritmiche standard.
• Induzione Dimensionale: La dimostrazione procede per induzione sulla dimensione $n$, riducendo il problema a strati di intersezione delle iperpiani.

3. Contributi Chiave e Risultati Principali

Il paper presenta una serie di teoremi che migliorano significativamente i limiti inferiori noti per il numero di iperpiani necessari a garantire l'iperbolicità.

A. Equivalenza delle Nozioni di Positività (Teorema A)

Per un arrangemento di iperpiani in posizione generale in $\mathbb{P}^n$, l'autrice dimostra che le due nozioni di positività sono equivalenti:

• $\Omega_{\mathbb{P}^n}(\log D)$ è ampio modulo $D$ se e solo se è quasi-ampio.
  Questo semplifica notevolmente l'analisi, poiché le condizioni per l'ampiezza modulo bordo sono spesso più facili da verificare geometricamente.

B. Condizione Necessaria e Sufficiente Ottimale (Teorema B)

Il risultato principale è la caratterizzazione esatta dell'ampiezza modulo bordo in termini di condizioni lineari imposte sugli iperpiani:

• Il fibrato è ampio modulo bordo se e solo se gli $c$ iperpiani impongono almeno $4n - 2$ condizioni lineari indipendenti sulle quadriche.
• Miglioramento dei limiti:
  • Per $n=2$, si recupera il risultato di Noguchi (6 rette).
  • Per $n=3$, il limite coincide con quello di [11].
  • Per $n \ge 4$, il risultato è strettamente migliore rispetto alla letteratura precedente, abbassando il numero di iperpiani necessari da $\binom{n+2}{2}$ a $4n-2$.
• Viene anche descritto esplicitamente il luogo base aumentato quando non è banale: è l'unione di superfici quadriche regolate tangenti a tutti gli iperpiani.

C. Grandezza del Fibrato (Teorema C)

Il fibrato cotangente logaritmico è grande (big) se e solo se il numero di iperpiani è $c \ge 2n + 1$. Questo limite coincide con la soglia nota per l'iperbolicità di Brody del complemento.

D. Estensione al Caso Orbifold (Teorema D)

L'autrice generalizza il Teorema B al contesto degli orbifold. Per un divisor orbifold $\Delta = \sum (1 - 1/m_i)H_i$ con molteplicità $m_i \ge 2n$:

• Il fibrato cotangente orbifold è ampio modulo il bordo se e solo se gli iperpiani impongono almeno $4n - 2$ condizioni indipendenti sulle quadriche.

E. Applicazioni all'Iperbolicità (Teorema E)

Un'applicazione significativa riguarda i rivestimenti di Fermat.

• Si dimostra che il rivestimento di Fermat associato a un arrangemento di $d \ge 4n - 2$ iperpiani in posizione generale (con condizioni sulle quadriche) e con ramificazione $m \ge 2n$, è Kobayashi-iperbolico.
• Questo risultato è nuovo e fornisce una classe esplicita di varietà complete intersezioni di tipo Fermat che sono iperboliche.

4. Significato e Impatto

1. Ottimizzazione dei Limiti: Il lavoro risolve il problema di trovare il numero minimo di iperpiani necessari per garantire l'iperbolicità in $\mathbb{P}^n$ per $n \ge 4$, fornendo un limite lineare ($4n-2$) invece di uno quadratico come suggerito da risultati precedenti.
2. Chiarezza Geometrica: La caratterizzazione del luogo base aumentato in termini di quadriche regolate tangenti offre una comprensione geometrica profonda delle "ostacoli" all'ampiezza del fibrato cotangente.
3. Unificazione: Dimostra che nel caso specifico degli arrangementi di iperpiani, le nozioni tecniche di "quasi-ampiezza" e "ampiezza modulo bordo" coincidono, semplificando la teoria per questa classe di varietà.
4. Nuovi Esempi di Varietà Iperboliche: L'applicazione ai rivestimenti di Fermat apre nuove strade per la costruzione di varietà proiettive lisce (o con singolarità controllate) che sono iperboliche, un problema centrale nella congettura di Green-Griffiths-Lang.

In sintesi, il paper di Clara Dérand rappresenta un avanzamento sostanziale nella comprensione della positività dei fibrati cotangenti logaritmici e orbifold, fornendo condizioni ottimali e nuove classi di varietà iperboliche attraverso un'analisi geometrica raffinata.