A counterexample to the PIA conjecture for minimal log discrepancies

1. Enunciato del Problema

L'articolo affronta la Congettura PIA (Precise Inversion of Adjunction), un'ipotesi fondamentale nella geometria birazionale riguardante le Discrepanze Logaritmiche Minime (mld).

• Contesto: La discrepanza logaritmica minima è un invariante numerico che misura la gravità delle singolarità. La congettura PIA postula un'uguaglianza precisa tra l'mld di una coppia $(X, D + \Delta)$ in un punto $x$ su un divisore di Cartier normale $D$, e l'mld della coppia ristretta $(D, \Delta|_D)$ nello stesso punto.
• La Congettura: Nello specifico, la Congettura 1.3 afferma che per una coppia logaritmica $(X, \mathfrak{a})$ e un divisore primo di Cartier normale $D$ non contenuto nel cosupporto di $\mathfrak{a}$:
  $$\text{mld}_x(X, \mathfrak{a} \mathcal{O}_X(-D)) = \text{mld}_x(D, \mathfrak{a} \mathcal{O}_D)$$
• Stato Attuale: La disuguaglianza "$\leq$" è nota per valere sempre. La congettura afferma la disuguaglianza inversa "$\geq$". È stata dimostrata in diversi casi:
  • $\dim X = 2$ (Shokurov).
  • $X$ è liscia (Ein, Mustață, Yasuda).
  • $X$ è un'intersezione completa locale (Ein, Mustață).
  • $\dim X = 3$ (dimostrato in questo articolo).
  • $X$ ha singolarità quoziente e $D$ è klt (log terminal di Kawamata) in $x$ (Nakamura, Shibata).
• Il Vuoto: La congettura era aperta per dimensioni superiori ($\dim X \geq 4$) e, crucialmente, per casi in cui il divisore $D$ stesso presenta singolarità non-klt.

2. Metodologia

Gli autori impiegano una combinazione di teoria delle singolarità quoziente, azioni di gruppo e teoria degli spazi degli archi per costruire un controesempio.

A. Costruzione del Controesempio

Gli autori definiscono una specifica famiglia di varietà utilizzando azioni di gruppi ciclici:

• Setup: Sia $k$ un campo algebricamente chiuso di caratteristica zero. Sia $\xi$ una radice primitiva terza dell'unità.
• Spazio: Si consideri $A^{n+3}_k = \text{Spec}(k[x_1, \dots, x_{n+3}])$.
• Azione di Gruppo: Si definisce un gruppo ciclico $G = \langle \gamma \rangle \cong \mathbb{Z}/3\mathbb{Z}$ che agisce sullo spazio tramite la matrice diagonale $\gamma = \text{diag}(1, \xi, \xi^2, \xi, \dots, \xi)$.
• Varietà Quoziente:
  • $A_n = A^{n+3}_k / G$.
  • $B_n$ è l'ipersuperficie definita da $f = x_1^3 + x_2^3 + x_3^3 = 0$ all'interno di $A^{n+3}_k$, e $\bar{B}_n = B_n / G$ è la sua immagine nel quoziente.
• Obiettivo: La coppia $(\bar{A}_n, \bar{B}_n)$ nell'origine $x_0$.

B. Il Concetto di Azioni "Virtualmente Libere"

Un contributo teorico maggiore è l'introduzione di azioni di gruppo "virtualmente libere" per spiegare perché l'mld si comporta in modo inaspettato in questa costruzione.

• Definizione: Un'azione $G$ su una varietà normale $X$ è virtualmente libera se, per ogni morfismo proprio birazionale $G$-equivariante $Y \to X$ da una varietà normale $Y$, l'azione su $Y$ è libera in codimensione uno.
• Proprietà:
  • Si colloca strettamente tra "libera" e "libera in codimensione uno".
  • Proposizione 3.5: Se un'azione $G$ è virtualmente libera, la discrepanza logaritmica minima è preservata sotto il quoziente: $\text{mld}_x(X, \mathfrak{a}) = \text{mld}_{x'}(X/G, \mathfrak{a})$.
  • Teorema 3.10: Se $X$ è klt, "virtualmente libera" è equivalente a "libera". Questo spiega perché non è possibile costruire controesempi utilizzando varietà klt (poiché l'azione dovrebbe essere libera, preservando il comportamento standard).

C. Calcolo dell'mld

Gli autori calcolano l'mld per l'esempio costruito:

1. Per lo spazio ambiente: Utilizzando la formula dell'età per le singolarità quoziente, determinano $\text{mld}_{x_0}(\bar{A}_n) = 2 + n/3$.
2. Per il divisore: Dimostrano che l'azione su $B_n$ è virtualmente libera (Lemma 4.1). Di conseguenza, $\text{mld}_{x_0}(\bar{B}_n) = \text{mld}_{x_0}(B_n)$. Poiché $B_n$ è un prodotto di una singolarità di superficie e uno spazio affine, $\text{mld}_{x_0}(B_n) = n$.
3. La Discrepanza:
   • $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) \leq \text{mld}_{x_0}(\bar{A}_n) - 1 = 1 + n/3$.
   • $\text{mld}_{x_0}(\bar{B}_n) = n$.
   • Per $n \geq 2$, $n > 1 + n/3$. Quindi, $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) < \text{mld}_{x_0}(\bar{B}_n)$, violando la congettura PIA.

3. Contributi Chiave

1. Smentita della Congettura PIA: L'articolo fornisce il primo controesempio alla congettura PIA per $\dim X \geq 5$.

   • Risultato: Per $n \geq 2$, l'uguaglianza fallisce per la coppia $(\bar{A}_n, \bar{B}_n)$.
   • Significato: Ciò dimostra che la congettura PIA non vale in generale per varietà con singolarità quoziente se il divisore $D$ non è klt.

2. Introduzione delle Azioni "Virtualmente Libere":

   • Questo nuovo concetto spiega il fenomeno per cui $\text{mld}(X/G) = \text{mld}(X)$ anche quando l'azione del gruppo non è libera.
   • Colma il divario tra azioni libere (dove l'mld è preservato) e azioni non libere (dove l'mld solitamente diminuisce).

3. Controesempio alla Congettura LSC per Famiglie:

   • Gli autori utilizzano una costruzione simile per smentire la Congettura LSC (Semi-continuità Inferiore) per Famiglie (Congettura 5.3).
   • Costruiscono una famiglia piatta in cui l'mld della fibra speciale ($t=0$) è strettamente inferiore all'mld delle fibre generiche ($t \neq 0$), violando la semi-continuità inferiore.
   • Condizione Cruciale: Questo fallimento si verifica specificamente quando le fibre non sono klt.

4. Dimostrazione della PIA in Dimensione 3:

   • Gli autori forniscono una dimostrazione che la congettura PIA vale per $\dim X = 3$ (Proposizione 6.1), colmando una lacuna nella letteratura.

4. Riepilogo dei Risultati

Dimensione	Stato della Congettura PIA	Condizione
$\dim X = 2$	Vera	Generale (Shokurov)
$\dim X = 3$	Vera	Generale (Dimostrato in questo articolo)
$\dim X = 4$	Aperta	Domanda 6.2
$\dim X \geq 5$	Falsa	Controesempio fornito (Teorema 1.5)
Generale	Vera	Se $D$ è klt in $x$ (Nakamura-Shibata)
Generale	Falsa	Se $D$ non è klt (Controesempio)

Valori Specifici del Controesempio (per $n \geq 2$):

• $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) \leq 1 + \frac{n}{3}$
• $\text{mld}_{x_0}(\bar{B}_n) = n$
• Poiché $n > 1 + n/3$, la congettura fallisce.

5. Significato

• Raffinamento delle Congetture: L'articolo impone una rivalutazione della congettura PIA. Suggerisce che la congettura richiede l'assunzione aggiuntiva che il divisore $D$ sia klt nel punto di interesse. Senza questa assunzione, l'uguaglianza "precisa" fallisce.
• Teoria delle Singolarità: Evidenzia il comportamento patologico delle discrepanze logaritmiche minime in presenza di singolarità non-klt e azioni di gruppo non libere.
• Famiglie e Deformazione: Il controesempio alla congettura LSC per famiglie chiarisce i limiti dell'invarianza per deformazione delle singolarità. Mostra che, mentre le singolarità terminali/canoniche si deformano bene, il comportamento dell'mld in famiglie con fibre non-klt è instabile.
• Direzioni Future: L'articolo lascia aperto il caso della dimensione 4 e pone domande su whether la congettura possa essere salvata restringendosi a divisori klt (Domanda 6.4).

In conclusione, Nakamura e Shibata hanno alterato fondamentalmente la comprensione della congettura PIA dimostrandone il fallimento in dimensioni superiori per divisori non-klt, introducendo il concetto di azioni "virtualmente libere" per spiegare la geometria sottostante e fornendo una dimostrazione rigorosa per il caso di dimensione 3.