The Cox ring of an embedded variety

Sintesi Tecnica: L'Anello di Cox di una Varietà Immersa

Enunciato del Problema
Il lavoro affronta il problema computazionale di determinare l'anello di Cox $R(X)$ di una varietà normale $X$ immersa all'interno di una varietà ambiente normale $Z$, dove $Z$ è uno spazio dream di Mori (cioè $R(Z)$ è finitamente generato). Sebbene l'anello di Cox dello spazio ambiente sia noto, calcolare l'anello di Cox di una sottovarietà non è banale. Gli autori si concentrano sullo scenario specifico in cui l'applicazione di pullback sui gruppi di classi di divisori, $\iota^*: \text{Cl}(Z) \to \text{Cl}(X)$, è un isomorfismo. Questa condizione garantisce che i gruppi di classi di divisori delle varietà ambiente e immersa siano strutturalmente identici, permettendo un trasferimento delle proprietà strutturali da $Z$ a $X$.

Metodologia
Gli autori sviluppano un approccio geometrico e algoritmico basato sulla teoria dei fasci di Cox e degli spazi caratteristici.

1. Quadro Geometrico:

   • Sia $p_Z: \widehat{Z} \to Z$ lo spazio caratteristico di $Z$ (lo spettro relativo del fascio di Cox).
   • Gli autori definiscono $\widehat{X}$ come la chiusura di Zariski di $p_Z^{-1}(X_0)$ in $\widehat{Z}$, dove $X_0 = X \cap Z_0$ è l'intersezione di $X$ con il luogo liscio di $Z$.
   • Introducono un sottoinsieme aperto intermedio $\widetilde{X}_1 \subseteq \widetilde{X}$ (dove $\widetilde{X}$ è la chiusura di $\widehat{X}$ nello spazio delle coordinate totali $\overline{Z}$), ottenuto rimuovendo le componenti irriducibili di codimensione uno del complementare $\widetilde{X} \setminus \widehat{X}$.
   • Sotto specifiche ipotesi di "grandezza" (bigness) e normalità (nello specifico che $X_0$ sia grande in $X$, $p_Z^{-1}(X_0)$ sia grande in $\widehat{X}$ e $\widetilde{X}_1$ sia normale), gli autori stabiliscono che l'anello di Cox di $X$ è isomorfo all'anello delle sezioni globali del fascio strutturale su $\widetilde{X}_1$.

2. Caratterizzazione Algebrica (Teorema 1):

   • Il risultato tecnico principale afferma che $R(X)$ può essere calcolato come l'intersezione di un numero finito di localizzazioni di un quoziente di $R(Z)$.
   • Nello specifico, se $R = R(Z)/I(\widetilde{X})$ e $m_1, \dots, m_s$ sono generatori omogenei dell'ideale che definisce il complementare $\widetilde{X} \setminus \widetilde{X}_1$, allora:
     $$R(X) = R_{m_1} \cap \dots \cap R_{m_s}$$
     dove l'intersezione è presa all'interno del campo delle frazioni comune.

3. Implementazione Algoritmica (Algoritmo 1):

   • Per calcolare tale intersezione di localizzazioni, gli autori propongono un algoritmo iterativo.
   • L'algoritmo inizia con l'anello $R$ e verifica se l'insieme di annullamento degli elementi $m_i$ ha codimensione $\ge 2$. In caso contrario, identifica elementi nell'intersezione che non appartengono all'anello corrente calcolando ideali colon e saturazioni.
   • Nuovi generatori sono aggiunti all'anello e il processo si ripete.
   • Terminazione: L'algoritmo termina se e solo se il risultante anello di Cox $R(X)$ è finitamente generato. Ciò fornisce una procedura decisionale per la generazione finita in questo contesto.

Risultati Chiave e Applicazioni

• Iper superficie Generali in Varietà Toriche (Teorema 2):
  Gli autori applicano il loro quadro alle ipersuperfici $X \in |H|$ in una varietà torica polarizzata $(P, H)$. Assumendo che il luogo irrilevante di $P$ abbia una singola componente di codimensione 2 $V(T_1, T_2)$ e che il polinomio definente $f$ abbia una molteplicità specifica $d$ lungo questa componente, forniscono una presentazione esplicita per $R(X)$.

  • L'anello di Cox è presentato come un quoziente di un anello di polinomi nelle variabili originali più $d$ nuove variabili $S_1, \dots, S_d$.
  • Le relazioni sono lineari nelle nuove variabili, ricordando tecniche di "unprojection" (simili all'unprojection di Reid).
  • Ciò generalizza risultati precedenti di Ottem (per prodotti di spazi proiettivi) e Denisi (per spazi proiettivi pesati).

• Varietà Toriche di Rango di Picard 2 (Corollario 3):
  I risultati sono specializzati alle varietà toriche proiettive lisce di rango di Picard 2. Gli autori classificano le matrici di graduazione e gli ideali irrilevanti per queste varietà e determinano le condizioni sotto le quali l'anello di Cox di un'ipersuperficie generale ampia è finitamente generato e calcolabile esplicitamente.

• Iper superficie Calabi-Yau (Corollario 5.1):
  Il metodo è applicato alle ipersuperfici anticanoniche generali in varietà Fano toriche lisce di rango di Picard 2, fornendo presentazioni esplicite per i loro anelli di Cox.

• Esempi di Generazione Finita vs Intersezioni Complete (Sezione 6):

  • Esempio 6.1: Un'ipersuperficie nel blow-up di $\mathbb{P}^4$ in due punti. L'algoritmo produce un anello di Cox che è un'intersezione completa.
  • Esempio 6.2: Un'ipersuperficie in un modello torico ottenuto tramite un anti-flip. L'algoritmo produce un anello di Cox che è finitamente generato ma non è un'intersezione completa. Ciò dimostra che l'anello di Cox di una varietà immersa può essere finitamente generato senza ereditare la proprietà di intersezione completa dello spazio ambiente o dell'equazione definente.

Significato e Affermazioni
Il lavoro afferma di generalizzare studi precedenti sul calcolo degli anelli di Cox di varietà immerse (citando Hausen, Ottem e altri) fornendo un quadro teorico unificato e un algoritmo concreto.

• Contributo Algoritmico: Il contributo principale è l'Algoritmo 1, che offre un metodo costruttivo per calcolare $R(X)$ come intersezione di localizzazioni. Crucialmente, gli autori dimostrano che l'algoritmo termina se e solo se $R(X)$ è finitamente generato, fornendo così un test per la generazione finita in questo contesto.
• Descrizioni Esplicite: Il lavoro fornisce generatori e relazioni espliciti per gli anelli di Cox di ipersuperfici in varietà toriche, estendendo risultati noti a classi più ampie di spazi ambiente torici.
• Intuizione Strutturale: Il lavoro evidenzia che, sebbene $R(X)$ sia derivato da $R(Z)$, il processo di prendere l'intersezione di localizzazioni può introdurre nuovi generatori e relazioni che alterano la struttura algebrica (ad esempio, perdendo la proprietà di intersezione completa), un fenomeno dimostrato esplicitamente nell'Esempio 6.2.

Gli autori mantengono un tono modesto riguardo alla portata, notando che i loro risultati dipendono dall'assunzione che l'applicazione di pullback sui gruppi di classi di divisori sia un isomorfismo e che siano soddisfatte condizioni geometriche specifiche (grandezza dei luoghi, normalità delle chiusure). Non affermano di risolvere il problema per immersioni arbitrarie, ma piuttosto forniscono una soluzione robusta per la classe specifica, sebbene significativa, di immersioni all'interno di spazi dream di Mori che soddisfano tali condizioni.