The Cox ring of an embedded variety

Technische Samenvatting: De Cox-ring van een Ingebedde Variëteit

Probleemstelling
Het artikel behandelt het computationele probleem van het bepalen van de Cox-ring $R(X)$ van een normale variëteit $X$ die is ingebed in een normale omgevende variëteit $Z$, waarbij $Z$ een Mori-droomruimte is (d.w.z. $R(Z)$ is eindig gegenereerd). Hoewel de Cox-ring van de omgevende ruimte bekend is, is het berekenen van de Cox-ring van een deelvariëteit niet triviaal. De auteurs richten zich op het specifieke scenario waarbij de terugtrekafbeelding op de groepen van divisorclasses, $\iota^*: \text{Cl}(Z) \to \text{Cl}(X)$, een isomorfisme is. Deze voorwaarde garandeert dat de groepen van divisorclasses van de omgevende en de ingebedde variëteit structureel identiek zijn, waardoor een overdracht van structurele eigenschappen van $Z$ naar $X$ mogelijk is.

Methodologie
De auteurs ontwikkelen een geometrische en algoritmische aanpak gebaseerd op de theorie van Cox-schoven en karakteristieke ruimten.

1. Geometrisch Kader:

   • Laat $p_Z: \widehat{Z} \to Z$ de karakteristieke ruimte van $Z$ zijn (het relatieve spectrum van de Cox-schijf).
   • De auteurs definiëren $\widehat{X}$ als de Zariski-sluiting van $p_Z^{-1}(X_0)$ in $\widehat{Z}$, waarbij $X_0 = X \cap Z_0$ de doorsnede is van $X$ met de gladde deelruimte van $Z$.
   • Zij introduceren een tussenliggende open deelverzameling $\widetilde{X}_1 \subseteq \widetilde{X}$ (waarbij $\widetilde{X}$ de sluiting is van $\widehat{X}$ in de totale coördinatenruimte $\overline{Z}$), verkregen door de codimensie-eén irreducibele componenten van het complement $\widetilde{X} \setminus \widehat{X}$ te verwijderen.
   • Onder specifieke "grootte"- en normaliteitsaannames (namelijk dat $X_0$ groot is in $X$, $p_Z^{-1}(X_0)$ groot is in $\widehat{X}$, en $\widetilde{X}_1$ normaal is), stellen de auteurs vast dat de Cox-ring van $X$ isomorf is met de ring van globale secties van de structuurschijf op $\widetilde{X}_1$.

2. Algebraïsche Karakterisering (Stelling 1):

   • Het belangrijkste technische resultaat stelt dat $R(X)$ kan worden berekend als de doorsnede van eindig veel localisaties van een quotiënt van $R(Z)$.
   • Specifiek, als $R = R(Z)/I(\widetilde{X})$ en $m_1, \dots, m_s$ homogene generatoren zijn van het ideaal dat het complement $\widetilde{X} \setminus \widetilde{X}_1$ definieert, dan geldt:
     $$R(X) = R_{m_1} \cap \dots \cap R_{m_s}$$
     waarbij de doorsnede wordt genomen binnen het gezamenlijke breukenlichaam.

3. Algoritmische Implementatie (Algoritme 1):

   • Om een dergelijke doorsnede van localisaties te berekenen, stellen de auteurs een iteratief algoritme voor.
   • Het algoritme begint met de ring $R$ en controleert of de nulpuntsverzameling van de elementen $m_i$ codimensie $\ge 2$ heeft. Zo niet, dan identificeert het elementen in de doorsnede die niet in de huidige ring zitten door colon-idealen en saturaties te berekenen.
   • Nieuwe generatoren worden toegevoegd aan de ring en het proces wordt herhaald.
   • Beëindiging: Het algoritme beëindigt dan en slechts dan als de resulterende Cox-ring $R(X)$ eindig gegenereerd is. Dit biedt een besluitprocedure voor eindige generatie in deze context.

Belangrijkste Resultaten en Toepassingen

• Algemene Hypervlakken in Torische Variëteiten (Stelling 2):
  De auteurs passen hun kader toe op hypervlakken $X \in |H|$ in een gepolariseerde torische variëteit $(P, H)$. Onder de aanname dat de irrelevante deelruimte van $P$ een unieke codimensie-2-component $V(T_1, T_2)$ heeft en dat het definiërende polynoom $f$ een specifieke multipliciteit $d$ heeft langs deze component, geven zij een expliciete presentatie voor $R(X)$.

  • De Cox-ring wordt gepresenteerd als een quotiënt van een polynoomring in de oorspronkelijke variabelen plus $d$ nieuwe variabelen $S_1, \dots, S_d$.
  • De relaties zijn lineair in de nieuwe variabelen, wat doet denken aan "unprojection"-technieken (vergelijkbaar met Reids unprojection).
  • Dit generaliseert eerdere resultaten van Ottem (voor producten van projectieve ruimten) en Denisi (voor gewogen projectieve ruimten).

• Picard-rang 2 Torische Variëteiten (Corollarium 3):
  De resultaten worden gespecialiseerd tot gladde projectieve torische variëteiten van Picard-rang 2. De auteurs classificeren de gradatiematrices en irrelevante idealen voor deze variëteiten en bepalen de voorwaarden waaronder de Cox-ring van een algemeen ample hypervlak eindig gegenereerd en expliciet berekenbaar is.

• Calabi-Yau Hypervlakken (Corollarium 5.1):
  De methode wordt toegepast op algemene antikanonieke hypervlakken in gladde torische Fano-variëteiten van Picard-rang 2, waarbij expliciete presentaties voor hun Cox-ringen worden gegeven.

• Voorbeelden van Eindige Generatie versus Compleet Snijpunten (Sectie 6):

  • Voorbeeld 6.1: Een hypervlak in de opblazing van $\mathbb{P}^4$ in twee punten. Het algoritme levert een Cox-ring op die een compleet snijpunt is.
  • Voorbeeld 6.2: Een hypervlak in een torisch model verkregen via een anti-flip. Het algoritme levert een Cox-ring op die eindig gegenereerd is, maar geen compleet snijpunt. Dit demonstreert dat de Cox-ring van een ingebedde variëteit eindig gegenereerd kan zijn zonder de eigenschap van het compleet snijpunt van de omgevende ruimte of de definiërende vergelijking over te nemen.

Beteekenis en Beweringen
Het artikel beweert eerdere werken over het berekenen van Cox-ringen van ingebedde variëteiten (met verwijzing naar Hausen, Ottem en anderen) te generaliseren door een unificerend theoretisch kader en een concreet algoritme te bieden.

• Algoritmische Bijdrage: De primaire bijdrage is Algoritme 1, dat een constructieve methode biedt om $R(X)$ te berekenen als een doorsnede van localisaties. Cruciaal bewijzen de auteurs dat het algoritme beëindigt dan en slechts dan als $R(X)$ eindig gegenereerd is, waardoor hiermee een test voor eindige generatie in deze setting wordt geboden.
• Expliciete Beschrijvingen: Het artikel biedt expliciete generatoren en relaties voor de Cox-ringen van hypervlakken in torische variëteiten, waardoor bekende resultaten worden uitgebreid tot bredere klassen van torische omgevende ruimten.
• Structureel Inzicht: Het werk benadrukt dat hoewel $R(X)$ is afgeleid van $R(Z)$, het proces van het nemen van de doorsnede van localisaties nieuwe generatoren en relaties kan introduceren die de algebraïsche structuur veranderen (bijvoorbeeld het verliezen van de eigenschap van het compleet snijpunt), een fenomeen dat expliciet wordt gedemonstreerd in Voorbeeld 6.2.

De auteurs handhaven een bescheiden toon wat betreft de reikwijdte, met de opmerking dat hun resultaten afhankelijk zijn van de aanname dat de terugtrekafbeelding op de groepen van divisorclasses een isomorfisme is en dat specifieke geometrische voorwaarden (grootte van deelruimten, normaliteit van sluitingen) worden voldaan. Zij claimen het probleem niet op te lossen voor willekeurige inbeddingen, maar bieden wel een robuuste oplossing voor de specifieke, doch significante, klasse van inbeddingen binnen Mori-droomruimten die aan deze voorwaarden voldoen.