The complex projective plane as a ball quotient

Sintesi Tecnica: Il Piano Proiettivo Complesso come Quoziente di una Palla

Enunciato del Problema
Questo articolo affronta la classificazione delle strutture di "quoziente di palla" sul piano proiettivo complesso $\mathbb{P}^2$. Nello specifico, investiga quali divisori $D$ su $\mathbb{P}^2$ possano derivare dal divisore di ramificazione di una mappa di quoziente $B^2 \to \mathbb{P}^2$, dove $B^2$ è la 2-palla complessa e il quoziente è assunto rispetto a un reticolo $\Gamma < \text{PU}(1,2)$. Lo studio è limitato al caso in cui il divisore $D$ sia un arrangiamento di curve lisce che siano a incrocio normale a coppie (ovvero, ogni coppia di componenti si interseca trasversalmente, sebbene tre o più possano intersecarsi in un punto). L'obiettivo è determinare tutti i casi $(\mathbb{P}^2, D)$ che formano un orbifold di quoziente di palla. Questo problema è presentato come l'analogo naturale in dimensione 2 della classificazione di Poincaré del 1882 per i quozienti di palla su $\mathbb{P}^1$.

Metodologia
L'articolo impiega una combinazione di vincoli numerici derivati dalla geometria iperbolica complessa e dalla teoria dei gruppi di riflessione complessi. La metodologia centrale prevede:

1. Invarianti Numerici: L'autore utilizza la proporzionalità di Hirzebruch e i risultati di Enoki per le curve per definire invarianti numerici per orbifolds compatti lisci $(X, D)$. Nello specifico, l'articolo definisce un invariante di proporzionalità dell'orbifold $\text{Prop}(X, D)$ e un invariante specifico per le curve $\text{prop}_{(X,D)}(D_i)$. Per un orbifold di quoziente di palla compatto liscio, questi invarianti devono annullarsi (Proposizione 3.9). Tali invarianti sono espressi in termini della classe canonica $K_X$, del divisore $D$ e dei contributi locali delle singolarità.
2. Classificazione delle Singolarità: L'analisi si basa fortemente sul fatto che le singolarità dei divisori di orbifold su superfici lisce debbano essere "singolarità di gruppi di riflessione". In virtù del teorema di Chevalley–Shephard–Todd, il gruppo locale in ogni singolarità è un gruppo di riflessione complessa. L'articolo utilizza la classificazione di Shephard–Todd di questi gruppi in dimensione 2 per enumerare tutti i possibili tipi di singolarità locale (Tabella 1) e calcolare i loro specifici contributi numerici ($\lambda_{x,D}$ e $\alpha_{x,D}$) agli invarianti globali.
3. Teorema di Uniformizzazione: Per verificare che specifici candidati siano effettivamente quozienti di palla, l'articolo applica il teorema di Kobayashi–Nakamura–Sakai (Teorema 3.12), un analogo dell'orbifold del teorema di uniformizzazione di Yau. Questo teorema afferma che un orbifold compatto liscio $(X, D)$ è un quoziente di palla se e solo se $K_X + D$ è ampiamente definito (ample) e gli invarianti di Chern dell'orbifold soddisfano $c_1^2(X, D) = 3c_2(X, D)$.
4. Analisi dei Casi: La dimostrazione procede riducendo il problema generale a casi specifici basati sul numero di rette e sui loro pesi. L'autore dimostra prima che ogni tale divisore deve essere un arrangiamento di rette (Proposizione 4.2). Successive proposizioni vincolano i possibili pesi (Proposizione 4.3) ed enumerano le specifiche configurazioni di rette e singolarità che soddisfano le condizioni di annullamento degli invarianti.

Risultati Chiave
Il risultato principale, Teorema 1.1, fornisce una classificazione completa dei divisori di quoziente di palla su $\mathbb{P}^2$ sotto l'ipotesi che le componenti siano lisce e a incrocio normale a coppie. Il teorema afferma che tale coppia $(\mathbb{P}^2, D)$ è un orbifold di quoziente di palla se e solo se $D$ è proiettivamente equivalente a uno dei seguenti due arrangiamenti:

1. L'Esempio di Deligne–Mostow ($D_Q$): Un quadrilatero completo costituito da 6 rette con 4 punti tripli. Tre rette che si incontrano in un punto triplo hanno peso 3, mentre le restanti tre rette hanno peso 2. Questo corrisponde ai pesi $(\frac{5}{6}, \frac{5}{12}, \frac{1}{4}, \frac{1}{4}, \frac{1}{4})$ nella costruzione di Deligne–Mostow.
2. L'Arrangiamento di Hesse Duale ($D_H$): Un arrangiamento di 9 rette con 12 punti tripli, dove ogni retta ha peso 2. Questa struttura è realizzata come un rivestimento di grado 9 dell'esempio di Deligne–Mostow tramite la mappa $(X:Y:Z) \mapsto (X^3:Y^3:Z^3)$.

L'articolo esclude esplicitamente tutte le altre configurazioni, inclusi gli arrangiamenti di rette con meno di 5 rette, gli arrangiamenti con pesi diversi da 2 o 3 (con specifiche eccezioni che falliscono le condizioni di ampiezza o di annullamento) e gli arrangiamenti con diverse configurazioni di singolarità.

Significato e Rivendicazioni
L'articolo sostiene di fornire la prima prova diretta che l'esempio di Deligne–Mostow ($D_Q$) e l'arrangiamento di Hesse duale ($D_H$) sono gli unici divisori di quoziente di palla su $\mathbb{P}^2$ soddisfacendo la condizione di incrocio normale a coppie lisce. Sebbene il fatto che $D_Q$ e $D_H$ siano quozienti di palla fosse già noto (tramite la costruzione dello spazio moduli di Deligne–Mostow e il lavoro di Thomas Höfer), la non esistenza di altri tali strutture in questa classe è un risultato nuovo.

L'autore osserva che l'ipotesi di "incrocio normale a coppie" è strettamente più debole dell'assunzione che il divisore sia un divisore a incrocio normale (il che vieterebbe i punti tripli). Una conseguenza della classificazione è che nessun divisore liscio a incrocio normale su $\mathbb{P}^2$ può essere un divisore di quoziente di palla. L'articolo riconosce inoltre che esistono divisori di quoziente di palla con singolarità più complesse (ad esempio, quelli che coinvolgono coniche o arrangiamenti non a incrocio normale a coppie) ma che esulano dall'ambito di questa specifica classificazione, richiedendo metodi differenti per essere trattati.

Il lavoro generalizza la classificazione di Poincaré di $\mathbb{P}^1$ per i quozienti di palla alla dimensione 2 e stabilisce un vincolo strutturale rigido sugli orbifold di quoziente di palla sul piano proiettivo, contrastando con le costruzioni più flessibili su blow-up di $\mathbb{P}^2$ studiate da Hirzebruch e altri.