The Drinfeld-Grinberg-Kazhdan theorem and embedding codimension of the arc space

Sintesi Tecnica: Il Teorema di Drinfeld–Grinberg–Kazhdan e la Codimensione di Inserimento dello Spazio degli Archi

Enunciato del Problema
La geometria dello spazio degli archi $X_\infty$ di una varietà algebrica $X$ codifica informazioni significative riguardanti le singolarità di $X$. Un oggetto centrale di studio è l'insieme divisoriale massimale $C_\nu(X)$, la chiusura degli archi che inducono una specifica valutazione divisoriale $\nu$. Mentre il teorema di Drinfeld–Grinberg–Kazhdan (DGK) stabilisce che per un arco $k$-razionale $\alpha$ non contenuto nel luogo singolare il vicinato formale $(X_\infty, \alpha)$ è isomorfo al vicinato formale di uno schema di tipo finito $Z$ (un "modello formale finito") più uno spazio affine formale, questo risultato era precedentemente limitato ai punti $k$-razionali su campi perfetti.

Una importante questione aperta riguarda la relazione tra questi modelli formali finiti e gli invarianti della singolarità sottostante: non è chiaro come i modelli formali degli archi generali (quelli con campi residui arbitrari) si relazionino al modello formale dell'arco generico $\alpha_\nu$ di un insieme divisoriale massimale. Inoltre, il comportamento della codimensione di inserimento, $ecodim(\mathcal{O}_{X_\infty, \alpha})$, attraverso gli sottoinsiemi irriducibili dello spazio degli archi richiede chiarimenti, in particolare riguardo alla sua costanza e alla sua relazione con la regolarità di $X$.

Metodologia
Il saggio impiega una strategia per generalizzare il teorema DGK agli archi con campi residui arbitrari, evitando la costruzione esplicita di campi di coefficienti che spesso ostacola la generalizzazione.

1. Generalizzazione del Teorema DGK: L'autore estende la dimostrazione di Drinfeld [14] ad archi $\beta \in X_\infty \setminus (\text{Sing } X)_\infty$ con campi residui arbitrari. La dimostrazione segue l'approccio di teoria della deformazione di Drinfeld:

   • Riduzione a Intersezioni Complete: Il problema viene ridotto al caso in cui $X$ è un'intersezione completa tramite un argomento di vicinato aperto coinvolgente il minore di Jacobi.
   • Schema dei Modelli Formali: Viene costruito uno schema $Z$ di tipo finito per parametrizzare i "modelli formali finiti". Ciò comporta la definizione di uno schema $W$ di polinomi e l'imposizione di condizioni derivate dai teoremi di preparazione e divisione di Weierstrass.
   • Bijezione di Deformazione: Viene stabilita una naturale bijezione tra i funtori di deformazione dello spazio degli archi in $\alpha$ e lo schema $Z \times \mathbb{A}^\infty$ nel punto immagine $\mu(\alpha)$.
   • Estensioni del Campo Residuo: Per gestire archi non $k$-razionali, l'autore utilizza i risultati di [12] riguardanti le estensioni separabili finite dei campi residui indotte da proiezioni lineari. Ciò permette la costruzione di un isomorfismo tra vicinati formali fino a una estensione separabile finita dei campi di coefficienti, senza costruire esplicitamente il campo di coefficienti stesso.

2. Analisi della Codimensione di Inserimento: Il saggio definisce la codimensione di inserimento per anelli non noetheriani (specificamente anelli quasi-adici nella categoria degli oggetti pro) e ne investiga il comportamento.

   • Semi-continuità Superiore: Si dimostra che per schemi di tipo finito la codimensione di inserimento non è generalmente semi-continua superiormente, ma diventa costante su un sottoinsieme aperto non vuoto di ogni sottoinsieme chiuso irriducibile non contenuto nel luogo singolare.
   • Applicazione agli Insiemi Divisoriali Massimali: Il teorema DGK generalizzato viene applicato agli insiemi divisoriali massimali $C_\nu(X)$ per relazionare la codimensione di inserimento degli archi generali in $C_\nu(X)$ con quella dell'arco generico $\alpha_\nu$.

3. Caratterizzazione della Regolarità: Il saggio estende un teorema di Bourqui e Sebag [6] che caratterizza gli archi con codimensione di inserimento 0. Combinando la costanza della codimensione di inserimento con l'esistenza di punti razionali (garantita dall'incantabilità del campo o dalla stabilità dell'arco), l'autore relaziona la vanità della codimensione di inserimento con la regolarità della varietà di base.

Contributi Chiave e Risultati

• Teorema A (Teorema DGK Generalizzato): Per uno schema $X$ localmente di tipo finito su un campo perfetto $k$ e un arco $\beta \notin (\text{Sing } X)_\infty$, esiste un sottoschema localmente chiuso $V$ contenente $\beta$, uno schema di tipo finito $Z$, e una morfismo $\mu: V \to Z \times \mathbb{A}^N$ tale che per ogni $\alpha \in V$, il vicinato formale $(X_\infty, \alpha)$ è isomorfo a $(Z \times \mathbb{A}^N, \mu(\alpha))$ fino a una estensione separabile finita dei campi di coefficienti. Questo recupera pienamente l'originale teorema DGK per i punti $k$-razionali.
• Teorema B (Costanza della Codimensione di Inserimento): Per ogni sottoinsieme chiuso irriducibile $W \subset X_\infty$ non contenuto in $(\text{Sing } X)_\infty$, la funzione $\alpha \mapsto ecodim(\mathcal{O}_{X_\infty, \alpha})$ è finita e costante su un sottoinsieme aperto non vuoto di $W$. Di conseguenza, per ogni insieme divisoriale massimale $C_\nu(X)$, la codimensione di inserimento di un modello formale finito per un arco $k$-razionale generale è uguale a quella dell'arco divisoriale massimale $\alpha_\nu$.
• Teorema C (Caratterizzazione della Regolarità): Sia $k$ un campo perfetto, $X$ una varietà, e $\alpha \in X_\infty$. Assumendo che $k$ sia incantabile o che $\alpha$ sia stabile, se $X$ è geometricamente unibranch in $\alpha(0)$, allora $ecodim(\mathcal{O}_{X_\infty, \alpha}) = 0$ se e solo se $X$ è regolare in $\alpha(0)$. Questo generalizza il risultato di Bourqui e Sebag ad archi non $k$-razionali sotto specifiche condizioni.

Significato e Limiti
Il saggio fornisce un quadro rigoroso per studiare la geometria locale degli spazi degli archi in punti con campi residui arbitrari, rimuovendo la restrizione ai punti $k$-razionali che ha caratterizzato i lavori precedenti. Stabilendo la costanza della codimensione di inserimento sugli insiemi divisoriali massimali, esso offre un passo verso la comprensione della precisa relazione tra modelli formali finiti e invarianti delle singolarità (come le discrepanze di Mather).

Tuttavia, l'autore nota esplicitamente che la relazione tra i modelli formali degli archi generali e l'arco generico rimane sottile. Sebbene la codimensione di inserimento sia costante, la dimensione e la dimensione di inserimento dei modelli formali minimi possono differire tra gli archi generali e l'arco generico (come osservato nei lavori precedenti sulle curve). Il saggio pone la Domanda 3.18: se la dimensione di inserimento del modello formale minimo di un arco $k$-razionale generale in $C_\nu(X)$ sia uguale a quella del modello formale minimo dell'arco generico $\alpha_\nu$. L'autore suggerisce che, sebbene il Teorema A fornisca gli strumenti necessari, una risposta precisa non è ancora ovvia.

Inoltre, il saggio affronta la Domanda 2.10 di Reguera riguardante la regolarità dell'anello locale in un arco stabile. Il Teorema 3.23 fornisce una risposta positiva sotto l'ipotesi più forte che $X$ sia geometricamente unibranch. Il saggio dimostra tramite la Proposizione 3.24 che se $X$ è semplicemente unibranch (ma non geometricamente unibranch), l'anello locale $\mathcal{O}_{X_\infty, \alpha}$ può avere codimensione di inserimento 0 senza essere regolare (o anche ridotto), indicando che la domanda originale di Reguera rimane aperta per il caso di molteplici rami geometrici.