Inversion of adjunction for quotient singularities III: semi-invariant case

1. Enunciato del Problema e Contesto

L'articolo affronta due congetture centrali nella geometria birazionale riguardanti le discrepanze logaritmiche minime (mld):

1. La Congettura LSC (Semi-continuità inferiore): Proposta da Ambro, questa congettura afferma che la funzione che mappa un punto chiuso $x$ nella sua discrepanza logaritmica minima $\text{mld}_x(X, \mathfrak{a})$ è semi-continua inferiormente.
2. La Congettura PIA (Inversione dell'aggiunzione): Questa congettura mette in relazione la mld di una coppia $(X, D, \mathfrak{a})$ con la mld del divisore $D$ stesso, affermando specificamente che $\text{mld}_x(X, D, \mathfrak{a}) = \text{mld}_x(D, \mathfrak{a}|_D)$ sotto determinate condizioni.

Lavori Precedenti:
Gli autori avevano precedentemente dimostrato queste congetture per quozienti di gruppi lineari finiti di varietà intersezioni complete definite da equazioni invarianti (dove $g(f) = f$ per ogni $g \in G$) nel loro articolo [NS22].

Il Divario:
Molte singolarità importanti, in particolare le singolarità terminali tridimensionali, derivano da quozienti di varietà definite da equazioni semi-invarianti (dove $g(f) = \chi(g)f$ per un carattere $\chi$). Il precedente quadro basato solo su invarianti era insufficiente per gestire questi casi. L'obiettivo di questo articolo è estendere i risultati dalle equazioni invarianti alle equazioni semi-invarianti.

2. Metodologia

Gli autori impiegano la teoria degli spazi di archi (in particolare la teoria di Denef-Loeser) per calcolare le discrepanze logaritmiche minime. La metodologia centrale coinvolge i seguenti passaggi:

A. Impostazione e Definizioni

• Varietà: Sia $A = \mathbb{A}^N_k$ e $G \subset \text{GL}_N(k)$ un gruppo finito. Sia $Y \subset A$ un'intersezione completa definita da $c$ polinomi semi-invarianti $f_1, \dots, f_c$.
• Quoziente: La varietà di interesse è $Y/G$.
• Semi-invarianza: Un polinomio $f$ è $G$-semi-invariante se per ogni $\gamma \in G$, $\gamma(f) = \xi^{a} f$ per una certa radice dell'unità $\xi$ e un intero $a$. Gli autori definiscono un peso $w_\gamma(f) = a/d$ (dove $d = |G|$).

B. Modifica della Costruzione dello Spazio di Archi

Nel caso invariante ([NS22]), gli autori avevano costruito uno schema $B^{(\gamma)}$ su $k[t]$ per studiare lo spazio di archi del quoziente. Per equazioni semi-invarianti, la costruzione standard fallisce perché le equazioni trasformate $\lambda^*_\gamma(f_i)$ non sono necessariamente in $R[t]$.

Innovazione Tecnica Chiave:

1. Trasformazione Ponderata: Gli autori introducono un omomorfismo modificato $\lambda^*_\gamma$ e definiscono lo schema $B^{(\gamma)}$ utilizzando l'ideale generato da termini ponderati:
   $$\lambda^*_\gamma(f_i) t^{-w_\gamma(f_i)}$$
   Questo garantisce che i generatori giacciano in $R[t]$, permettendo la costruzione di uno schema $k[t]$ ben definito.
2. Estensione a $k[t^{1/d}]$: Per gestire correttamente il fascio dei differenziali e gli ideali Jacobiani, gli autori estendono la base da $k[t]$ a $k[t^{1/d}]$. Definiscano uno schema $B^{(\gamma)}_{1/d}$ e un fascio invertibile specifico $\mathcal{L}_{B^{(\gamma)}_{1/d}}$ che svolge il ruolo del fascio canonico relativo.
3. Confronto dei Jacobiani: Stabiliscono relazioni precise tra gli ideali Jacobiani dei morfismi coinvolti (in particolare $\mu_\gamma$ e $p$) e gli ideali di Nash della varietà originale $B$. Ciò comporta il calcolo dell'ordine del Jacobiano del morfismo tra spazi di archi.

C. La Formula Principale

Gli autori derivano una formula per la discrepanza logaritmica minima nell'origine $x$ della varietà quoziente $Y/G$:
$$\text{mld}_x(Y/G, \mathfrak{a}^\tau) = \inf_{\gamma \in G, b_1, b_2 \in \mathbb{Z}_{\ge 0}} \left\{ \text{codim}(C_{\gamma, b_1, b_2}) + \text{age}(\gamma) - w_\gamma(f) - b_2 - \tau b_1 \right\}$$
Qui, $w_\gamma(f) = \sum w_\gamma(f_i)$ è il nuovo termine introdotto dalla natura semi-invariante delle equazioni. Il termine $\text{age}(\gamma)$ è l'età standard dell'elemento del gruppo, e $C_{\gamma, b_1, b_2}$ sono specifici luoghi di contatto nello spazio di archi dello schema modificato $B^{(\gamma)}$.

3. Contributi e Risultati Chiave

A. Teorema 1.5 (Inversione dell'aggiunzione per quozienti)

Questo è il risultato tecnico centrale. Stabilisce un'uguaglianza precisa tra la mld della varietà quoziente $Y/G$ e la mld dello spazio ambiente $A/G$ con un fascio di ideali specifico:
$$\text{mld}_y(Y, \mathfrak{a}\mathcal{O}_Y) = \text{mld}_y\left(X, (f_1^d \cdots f_c^d)^{1/d} \mathfrak{a}\right)$$
Questa formula riduce efficacemente il problema sulla singolare quoziente $Y$ a un problema sul quoziente ambiente $X$, aggiustato dal prodotto delle equazioni definitorie elevate alla potenza dell'ordine del gruppo.

B. Teorema 1.4 (Congettura PIA per casi semi-invarianti)

Utilizzando il risultato sopra, gli autori dimostrano la congettura PIA per quozienti di gruppi lineari finiti di intersezioni complete definite da equazioni semi-invarianti. Nello specifico, se $D$ è un divisore di Cartier klt su $Y$, allora:
$$\text{mld}_y(Y, D, \mathfrak{a}) = \text{mld}_y(D, \mathfrak{a}|_D)$$

C. Teorema 1.2 (Congettura LSC per casi semi-invarianti)

L'articolo dimostra che la funzione della discrepanza logaritmica minima è semi-continua inferiormente per varietà $Y/G$ definite da equazioni semi-invarianti.

• Significato: Questo estende la validità nota della congettura LSC a una classe più ampia di singolarità, incluse le singolarità terminali tridimensionali.

4. Significato e Impatto

1. Risoluzione delle Singolarità Terminali 3D: La classificazione delle singolarità terminali tridimensionali (di Reid e Mori) mostra che esse sono quozienti di punti lisci o punti cDV. Questi spesso coinvolgono equazioni semi-invarianti. Dimostrando le congetture LSC e PIA per questo caso, gli autori forniscono una fondazione teorica completa per il comportamento della mld in dimensione 3.
2. Generalizzazione della Teoria degli Spazi di Archi: L'articolo adatta con successo la teoria degli spazi di archi di Denef-Loeser per gestire equazioni semi-invarianti. L'introduzione del peso $w_\gamma(f)$ e l'estensione agli schemi $k[t^{1/d}]$ sono nuovi strumenti tecnici che potrebbero essere applicabili ad altri problemi riguardanti azioni di gruppo con caratteri non banali.
3. Fondamento per la Terminazione delle Flip: Poiché le congetture LSC e ACC implicano la terminazione delle flip (un passo cruciale nel Programma del Modello Minimo), questo risultato rafforza le basi teoriche del MMP nel contesto delle singolarità quoziente.

5. Conclusione

Nakamura e Shibata generalizzano con successo il loro lavoro precedente sulle equazioni invarianti al caso più complesso semi-invariante. Modificando attentamente la costruzione degli spazi di archi e introducendo un termine di correzione ponderale $w_\gamma(f)$, dimostrano l'Inversione dell'aggiunzione e la Semi-continuità inferiore delle discrepanze logaritmiche minime per una vasta classe di singolarità quoziente. Questo lavoro è un passo critico verso una piena comprensione delle singolarità nella geometria birazionale di dimensione superiore, in particolare quelle che derivano da azioni di gruppi finiti.