The Cox ring of an embedded variety

Technische Zusammenfassung: Der Cox-Ring einer eingebetteten Varietät

Problemstellung
Der Artikel behandelt das rechnerische Problem der Bestimmung des Cox-Rings $R(X)$ einer normalen Varietät $X$, die in eine normale Umgebungsvielfalt $Z$ eingebettet ist, wobei $Z$ ein Mori-Dream-Space ist (d. h., $R(Z)$ ist endlich erzeugt). Während der Cox-Ring des umgebenden Raums bekannt ist, ist die Berechnung des Cox-Rings einer Untervarietät nicht trivial. Die Autoren konzentrieren sich auf das spezifische Szenario, bei dem der Pullback-Abbildung auf Divisorenklassengruppen, $\iota^*: \text{Cl}(Z) \to \text{Cl}(X)$, ein Isomorphismus ist. Diese Bedingung stellt sicher, dass die Divisorenklassengruppen der umgebenden und der eingebetteten Varietät strukturell identisch sind, was einen Transfer struktureller Eigenschaften von $Z$ auf $X$ ermöglicht.

Methodik
Die Autoren entwickeln einen geometrischen und algorithmischen Ansatz, der auf der Theorie der Cox-Garben und charakteristischen Räume basiert.

1. Geometrischer Rahmen:

   • Sei $p_Z: \widehat{Z} \to Z$ der charakteristische Raum von $Z$ (das relative Spektrum der Cox-Garbe).
   • Die Autoren definieren $\widehat{X}$ als den Zariski-Abschluss von $p_Z^{-1}(X_0)$ in $\widehat{Z}$, wobei $X_0 = X \cap Z_0$ der Schnitt von $X$ mit dem glatten Ort von $Z$ ist.
   • Sie führen eine intermediate offene Teilmenge $\widetilde{X}_1 \subseteq \widetilde{X}$ ein (wobei $\widetilde{X}$ der Abschluss von $\widehat{X}$ im totalen Koordinatenraum $\overline{Z}$ ist), die durch Entfernen der irreduziblen Komponenten der Kodimension eins des Komplements $\widetilde{X} \setminus \widehat{X}$ erhalten wird.
   • Unter spezifischen „Bigness"- und Normalitätsannahmen (insbesondere dass $X_0$ groß in $X$ ist, $p_Z^{-1}(X_0)$ groß in $\widehat{X}$ ist und $\widetilde{X}_1$ normal ist) stellen die Autoren fest, dass der Cox-Ring von $X$ isomorph zum Ring der globalen Schnitte der Strukturgarbe auf $\widetilde{X}_1$ ist.

2. Algebraische Charakterisierung (Satz 1):

   • Das Hauptergebnis besagt, dass $R(X)$ als Schnitt endlich vieler Lokalisierungen eines Quotienten von $R(Z)$ berechnet werden kann.
   • Spezifisch, wenn $R = R(Z)/I(\widetilde{X})$ und $m_1, \dots, m_s$ homogene Erzeuger des Ideals sind, das das Komplement $\widetilde{X} \setminus \widetilde{X}_1$ definiert, dann gilt:
     $$R(X) = R_{m_1} \cap \dots \cap R_{m_s}$$
     wobei der Schnitt innerhalb des gemeinsamen Quotientenkörpers gebildet wird.

3. Algorithmische Umsetzung (Algorithmus 1):

   • Um einen solchen Schnitt von Lokalisierungen zu berechnen, schlagen die Autoren einen iterativen Algorithmus vor.
   • Der Algorithmus beginnt mit dem Ring $R$ und prüft, ob die Nullstellenmenge der Elemente $m_i$ Kodimension $\ge 2$ hat. Falls nicht, identifiziert er Elemente im Schnitt, die nicht im aktuellen Ring liegen, indem er Kolonideale und Sättigungen berechnet.
   • Neue Erzeuger werden dem Ring hinzugefügt, und der Prozess wiederholt sich.
   • Terminierung: Der Algorithmus terminiert genau dann, wenn der resultierende Cox-Ring $R(X)$ endlich erzeugt ist. Dies liefert ein Entscheidungsverfahren für die endliche Erzeugtheit in diesem Kontext.

Hauptergebnisse und Anwendungen

• Allgemeine Hyperflächen in torischen Varietäten (Satz 2):
  Die Autoren wenden ihren Rahmen auf Hyperflächen $X \in |H|$ in einer polarisierten torischen Varietät $(P, H)$ an. Unter der Annahme, dass der irrelevant Ort von $P$ eine eindeutige Komponente der Kodimension 2, $V(T_1, T_2)$, besitzt und das definierende Polynom $f$ eine spezifische Vielfachheit $d$ entlang dieser Komponente hat, liefern sie eine explizite Darstellung für $R(X)$.

  • Der Cox-Ring wird als Quotient eines Polynomrings in den ursprünglichen Variablen plus $d$ neuen Variablen $S_1, \dots, S_d$ dargestellt.
  • Die Relationen sind linear in den neuen Variablen und ähneln „Unprojection"-Techniken (ähnlich wie Reids Unprojection).
  • Dies verallgemeinert frühere Ergebnisse von Ottem (für Produkte projektiver Räume) und Denisi (für gewichtete projektive Räume).

• Tori sche Varietäten mit Picard-Rang 2 (Korollar 3):
  Die Ergebnisse werden auf glatte projektive torische Varietäten mit Picard-Rang 2 spezialisiert. Die Autoren klassifizieren die Graduierungsmatrizen und irrelevanten Ideale für diese Varietäten und bestimmen die Bedingungen, unter denen der Cox-Ring einer allgemeinen amplen Hyperfläche endlich erzeugt und explizit berechenbar ist.

• Calabi-Yau-Hyperflächen (Korollar 5.1):
  Die Methode wird auf allgemeine antikanonische Hyperflächen in glatten torischen Fano-Varietäten mit Picard-Rang 2 angewendet und liefert explizite Darstellungen für deren Cox-Ringe.

• Beispiele für endliche Erzeugtheit versus vollständige Durchschnitte (Abschnitt 6):

  • Beispiel 6.1: Eine Hyperfläche im Aufblähen von $\mathbb{P}^4$ an zwei Punkten. Der Algorithmus liefert einen Cox-Ring, der ein vollständiger Durchschnitt ist.
  • Beispiel 6.2: Eine Hyperfläche in einem torischen Modell, das durch einen Anti-Flip erhalten wird. Der Algorithmus liefert einen Cox-Ring, der endlich erzeugt, aber kein vollständiger Durchschnitt ist. Dies zeigt, dass der Cox-Ring einer eingebetteten Varietät endlich erzeugt sein kann, ohne die Eigenschaft des vollständigen Durchschnitts des umgebenden Raums oder der definierenden Gleichung zu erben.

Bedeutung und Behauptungen
Der Artikel beansprucht, frühere Arbeiten zur Berechnung von Cox-Ringen eingebetteter Varietäten (unter Bezugnahme auf Hausen, Ottem und andere) zu verallgemeinern, indem er einen einheitlichen theoretischen Rahmen und einen konkreten Algorithmus bereitstellt.

• Algorithmischer Beitrag: Der primäre Beitrag ist Algorithmus 1, der eine konstruktive Methode zur Berechnung von $R(X)$ als Schnitt von Lokalisierungen bietet. Entscheidend ist, dass die Autoren beweisen, dass der Algorithmus genau dann terminiert, wenn $R(X)$ endlich erzeugt ist, und somit einen Test für die endliche Erzeugtheit in diesem Setting liefern.
• Explizite Beschreibungen: Der Artikel liefert explizite Erzeuger und Relationen für die Cox-Ringe von Hyperflächen in torischen Varietäten und erweitert bekannte Ergebnisse auf breitere Klassen torischer Umgebungsräume.
• Strukturelle Einsicht: Die Arbeit hebt hervor, dass, obwohl $R(X)$ von $R(Z)$ abgeleitet ist, der Prozess des Bildens des Schnitts von Lokalisierungen neue Erzeuger und Relationen einführen kann, die die algebraische Struktur verändern (z. B. den Verlust der Eigenschaft des vollständigen Durchschnitts), ein Phänomen, das in Beispiel 6.2 explizit demonstriert wird.

Die Autoren bewahren einen bescheidenen Ton hinsichtlich des Umfangs und stellen fest, dass ihre Ergebnisse auf der Annahme beruhen, dass der Pullback-Abbildung auf Divisorenklassengruppen ein Isomorphismus ist und dass spezifische geometrische Bedingungen (Bigness von Ortschaften, Normalität von Abschlüssen) erfüllt sind. Sie beanspruchen nicht, das Problem für beliebige Einbettungen zu lösen, sondern bieten eine robuste Lösung für die spezifische, jedoch bedeutende Klasse von Einbettungen innerhalb von Mori-Dream-Räumen, die diese Bedingungen erfüllen.