Liftings of ideals in positive characteristic to those in characteristic zero:Surface case

1. Il Problema e il Contesto

Il lavoro si colloca nel campo della geometria algebrica, specificamente nello studio delle singolarità di varietà algebriche. L'obiettivo principale è confrontare gli invarianti di singolarità definiti su campi di caratteristica positiva ($p > 0$) con i loro corrispettivi in caratteristica zero (tipicamente $\mathbb{C}$).

Nello specifico, l'autrice si concentra su coppie $(A, \mathfrak{a}^{\mathbf{e}})$ composte da una varietà liscia $A$ e un "multi-ideale" $\mathfrak{a}^{\mathbf{e}} = \mathfrak{a}_1^{e_1} \cdots \mathfrak{a}_r^{e_r}$, dove gli $e_i$ sono esponenti reali positivi. Gli invarianti chiave studiati sono:

• Discrepanze logaritmiche ($a(E; A, \mathfrak{a}^{\mathbf{e}})$).
• Minime discrepanze logaritmiche (mld).
• Soglie canoniche logaritmiche (lct).

Un problema fondamentale è capire se le proprietà di queste singolarità in caratteristica $p$ siano "contenute" o riflettute nel caso di caratteristica zero. Sebbene esistano controesempi in dimensione 3 o superiore (dovuti a Kollár), il caso delle superfici lisce (dimensione 2) rimane un terreno fertile per risultati di lifting.

2. Metodologia: Il Metodo degli "Scheletri" (Skeletons)

Il cuore metodologico del paper è l'introduzione e l'utilizzo della nozione di "sollevamento" (lifting) tramite scheletri.

• Definizione di Scheletro: Uno scheletro $S$ di un'algebra $R$ su un campo $k$ (caratteristica $p$) è una sotto-algebra finitamente generata su $\mathbb{Z}/(p)$ tale che $k[S] = R$.
• Scheletri Compatibili: Si considera una coppia di scheletri $S \subset R$ (caratteristica $p$) e $\tilde{S} \subset \tilde{R}$ (caratteristica 0, su $\mathbb{C}$) tali che $\tilde{S}$ sia piatto su $\mathbb{Z}$ in $p$ e $\tilde{S} \otimes_{\mathbb{Z}} \mathbb{Z}/(p) \cong S$. Questo permette di definire un sollevamento $\tilde{R} \pmod p = R$.
• Costruzione Induttiva: L'autrice costruisce una successione di esplosioni (blow-up) su $\mathbb{A}^2_{\mathbb{C}}$ che "solleva" una successione data di esplosioni su $\mathbb{A}^2_k$. La costruzione è induttiva:
  1. Si parte da un punto chiuso regolare (l'origine).
  2. Si sollevano i punti di esplosione e gli ideali definitori mantenendo le relazioni di incidenza (quali punti giacciono su quali divisori eccezionali).
  3. Si utilizzano le proprietà di flatness e i sistemi regolari di parametri per garantire che i divisori eccezionali sollevati mantengano le stesse proprietà di regolarità e altezza.

3. Risultati Principali

Teorema 1.1 (Il Teorema Principale)

Per una successione di esplosioni in punti chiusi su $\mathbb{A}^2_k$ (caratteristica $p$), esiste una successione corrispondente su $\mathbb{A}^2_{\mathbb{C}}$ tale che:

1. La varietà sollevata ridotta modulo $p$ è isomorfa alla varietà originale.
2. Le esplosioni sono centrate in punti chiusi che dominano l'origine.
3. I coefficienti dei divisori eccezionali ($k_{\tilde{E}_i}$) coincidono con quelli originali ($k_{E_i}$).
4. Punto Cruciale (Dimensione 2): Per ogni polinomio $f \in k[x_1, x_2]$, esiste un sollevamento $\tilde{f} \in \mathbb{C}[x_1, x_2]$ tale che le valutazioni sui divisori eccezionali coincidono: $v_{E_i}(f) = v_{\tilde{E}_i}(\tilde{f})$.
   • Nota: Questo punto (iv) fallisce in dimensione $\ge 3$ (controesempio di Kollár), rendendo il caso superficie unico e trattabile con questo metodo.

Corollario 1.2 (Sollevamento di Divisori e Ideali)

Estende il teorema principale a divisori primi arbitrari sopra una superficie liscia. Garantisce che per ogni divisore $E$ su $A$ e ideali $\mathfrak{a}_i$, esista un divisore sollevato $\tilde{E}$ su $\mathbb{A}^2_{\mathbb{C}}$ e ideali sollevati $\tilde{\mathfrak{a}}_i$ tali che le valutazioni e le discrepanze logaritmiche siano preservate esattamente.

Corollario 1.3 (Discretezza delle Discrepanze)

Dimostra che, fissati gli esponenti $\mathbf{e}$ e un limite $a$, l'insieme delle discrepanze logaritmiche $a(E; A, \mathfrak{a}^{\mathbf{e}}) \le a$ per coppie log-canoniche su una superficie liscia in caratteristica $p$ è un insieme finito.

• Questo fornisce una nuova prova dell'esistenza di un divisore che calcola la mld (minima discrepanza logaritmica) in caratteristica positiva, un risultato noto in caratteristica zero ma non banale in $p$.

Corollario 1.4 (Inclusioni di Invarianti)

Stabilisce le seguenti inclusioni tra gli insiemi di invarianti in caratteristica $p$ e in caratteristica zero:

• $\{ \text{mld}(0; A, \mathfrak{a}^{\mathbf{e}}) \mid \text{in char } p \} \subseteq \{ \text{mld}(0; A_{\mathbb{C}}, \tilde{\mathfrak{a}}^{\mathbf{e}}) \mid \text{in char } 0 \}$
• $\{ \text{lct}(0; A, \mathfrak{a}^{\mathbf{e}}) \mid \text{in char } p \} \subseteq \{ \text{lct}(0; A_{\mathbb{C}}, \tilde{\mathfrak{a}}^{\mathbf{e}}) \mid \text{in char } 0 \}$
  In altre parole, ogni valore di mld o lct ottenibile in caratteristica positiva è realizzabile anche in caratteristica zero.

Corollario 1.5 (Modello Complesso di Campillo)

Applica il metodo di sollevamento per costruire un modello complesso di una singolarità di curva piana in caratteristica positiva. Si dimostra che esiste una curva sollevata $\tilde{C} \subset \mathbb{A}^2_{\mathbb{C}}$ il cui tipo equisingolare (risoluzione embedded con gli stessi dati di molteplicità) coincide con quello della curva originale in caratteristica $p$. Questo conferma un risultato di Campillo utilizzando una tecnica diversa (sollevamento di scheletri invece di metodi torici).

4. Significato e Contributi

1. Ponte tra Caratteristiche: Il lavoro fornisce un metodo costruttivo e rigoroso per trasferire problemi di singolarità dalla caratteristica $p$ alla caratteristica zero, sfruttando la struttura degli "scheletri" per controllare le valutazioni degli ideali.
2. Limitazione Dimensionale: Il paper chiarisce onestamente i limiti del metodo: funziona perfettamente per le superfici (dimensione 2) ma incontra ostacoli in dimensione 3 o superiore a causa di controesempi noti. Tuttavia, per le superfici, il risultato è completo.
3. Nuove Dimostrazioni: Offre una prova alternativa e geometrica per la discretezza delle discrepanze e l'esistenza di divisori calcolanti la mld in caratteristica positiva, senza fare affidamento esclusivo su tecniche di teoria dei modelli o metodi torici.
4. Strumento per la Teoria delle Singolarità: La capacità di sollevare non solo la varietà ma anche gli ideali e le loro valutazioni permette di importare risultati profondi noti in caratteristica zero (come la struttura degli insiemi di lct) nel contesto della caratteristica positiva.

In sintesi, il paper di Ishii è un contributo significativo alla geometria algebrica in caratteristica positiva, dimostrando che, almeno nel caso delle superfici, la teoria delle singolarità è strettamente legata e "contenuta" nella sua controparte complessa, fornendo strumenti potenti per l'analisi delle singolarità in campi finiti.