The Cox ring of an embedded variety

Resumen Técnico: El Anillo de Cox de una Variedad Incrustada

Enunciado del Problema
El artículo aborda el problema computacional de determinar el anillo de Cox $R(X)$ de una variedad normal $X$ incrustada dentro de una variedad ambiente normal $Z$, donde $Z$ es un espacio de sueños de Mori (es decir, $R(Z)$ es finitamente generado). Si bien el anillo de Cox del espacio ambiente es conocido, calcular el anillo de Cox de una subvariedad no es trivial. Los autores se centran en el escenario específico donde el mapa de retroceso en los grupos de clases de divisores, $\iota^*: \text{Cl}(Z) \to \text{Cl}(X)$, es un isomorfismo. Esta condición asegura que los grupos de clases de divisores de las variedades ambiente e incrustada son estructuralmente idénticos, permitiendo una transferencia de propiedades estructurales de $Z$ a $X$.

Metodología
Los autores desarrollan un enfoque geométrico y algorítmico basado en la teoría de haces de Cox y espacios característicos.

1. Marco Geométrico:

   • Sea $p_Z: \widehat{Z} \to Z$ el espacio característico de $Z$ (el espectro relativo del haz de Cox).
   • Los autores definen $\widehat{X}$ como el cierre de Zariski de $p_Z^{-1}(X_0)$ en $\widehat{Z}$, donde $X_0 = X \cap Z_0$ es la intersección de $X$ con el lugar suave de $Z$.
   • Introducen un subconjunto abierto intermedio $\widetilde{X}_1 \subseteq \widetilde{X}$ (donde $\widetilde{X}$ es el cierre de $\widehat{X}$ en el espacio de coordenadas total $\overline{Z}$), obtenido eliminando las componentes irreducibles de codimensión uno del complemento $\widetilde{X} \setminus \widehat{X}$.
   • Bajo supuestos específicos de "grandeza" y normalidad (específicamente que $X_0$ es grande en $X$, $p_Z^{-1}(X_0)$ es grande en $\widehat{X}$, y $\widetilde{X}_1$ es normal), los autores establecen que el anillo de Cox de $X$ es isomorfo al anillo de secciones globales del haz estructural sobre $\widetilde{X}_1$.

2. Caracterización Algebraica (Teorema 1):

   • El resultado técnico principal establece que $R(X)$ puede calcularse como la intersección de un número finito de localizaciones de un cociente de $R(Z)$.
   • Específicamente, si $R = R(Z)/I(\widetilde{X})$ y $m_1, \dots, m_s$ son generadores homogéneos del ideal que define el complemento $\widetilde{X} \setminus \widetilde{X}_1$, entonces:
     $$R(X) = R_{m_1} \cap \dots \cap R_{m_s}$$
     donde la intersección se toma dentro del cuerpo de fracciones común.

3. Implementación Algorítmica (Algoritmo 1):

   • Para calcular dicha intersección de localizaciones, los autores proponen un algoritmo iterativo.
   • El algoritmo comienza con el anillo $R$ y verifica si el conjunto de ceros de los elementos $m_i$ tiene codimensión $\ge 2$. Si no es así, identifica elementos en la intersección que no están en el anillo actual calculando ideales cociente y saturaciones.
   • Se añaden nuevos generadores al anillo y el proceso se repite.
   • Terminación: El algoritmo termina si y solo si el anillo de Cox resultante $R(X)$ es finitamente generado. Esto proporciona un procedimiento de decisión para la generación finita en este contexto.

Resultados Clave y Aplicaciones

• Hipersuperficies Generales en Variedades Tóricas (Teorema 2):
  Los autores aplican su marco a hipersuperficies $X \in |H|$ en una variedad tórica polarizada $(P, H)$. Asumiendo que el lugar irrelevante de $P$ tiene una única componente de codimensión 2, $V(T_1, T_2)$, y que el polinomio definitorio $f$ tiene una multiplicidad específica $d$ a lo largo de esta componente, proporcionan una presentación explícita para $R(X)$.

  • El anillo de Cox se presenta como un cociente de un anillo de polinomios en las variables originales más $d$ nuevas variables $S_1, \dots, S_d$.
  • Las relaciones son lineales en las nuevas variables, asemejándose a técnicas de "unproyección" (similares a la unproyección de Reid).
  • Esto generaliza resultados previos de Ottem (para productos de espacios proyectivos) y Denisi (para espacios proyectivos ponderados).

• Variedades Tóricas de Rango de Picard 2 (Corolario 3):
  Los resultados se especializan a variedades tóricas proyectivas suaves de rango de Picard 2. Los autores clasifican las matrices de graduación y los ideales irrelevantes para estas variedades y determinan las condiciones bajo las cuales el anillo de Cox de una hipersuperficie amplia general es finitamente generado y explícitamente computable.

• Hipersuperficies Calabi-Yau (Corolario 5.1):
  El método se aplica a hipersuperficies anticanónicas generales en variedades tóricas Fano suaves de rango de Picard 2, proporcionando presentaciones explícitas para sus anillos de Cox.

• Ejemplos de Generación Finita vs. Intersecciones Completas (Sección 6):

  • Ejemplo 6.1: Una hipersuperficie en la explosión de $\mathbb{P}^4$ en dos puntos. El algoritmo produce un anillo de Cox que es una intersección completa.
  • Ejemplo 6.2: Una hipersuperficie en un modelo tórico obtenido mediante un anti-flip. El algoritmo produce un anillo de Cox que es finitamente generado pero no es una intersección completa. Esto demuestra que el anillo de Cox de una variedad incrustada puede ser finitamente generado sin heredar la propiedad de intersección completa del espacio ambiente o de la ecuación definitoria.

Significado y Afirmaciones
El artículo afirma generalizar trabajos previos sobre el cálculo de anillos de Cox de variedades incrustadas (citando a Hausen, Ottem y otros) al proporcionar un marco teórico unificado y un algoritmo concreto.

• Contribución Algorítmica: La contribución principal es el Algoritmo 1, que ofrece un método constructivo para calcular $R(X)$ como una intersección de localizaciones. Crucialmente, los autores prueban que el algoritmo termina si y solo si $R(X)$ es finitamente generado, proporcionando así una prueba para la generación finita en este entorno.
• Descripciones Explícitas: El artículo proporciona generadores y relaciones explícitos para los anillos de Cox de hipersuperficies en variedades tóricas, extendiendo resultados conocidos a clases más amplias de espacios ambiente tóricos.
• Perspectiva Estructural: El trabajo destaca que, aunque $R(X)$ se deriva de $R(Z)$, el proceso de tomar la intersección de localizaciones puede introducir nuevos generadores y relaciones que alteran la estructura algebraica (por ejemplo, perdiendo la propiedad de intersección completa), un fenómeno demostrado explícitamente en el Ejemplo 6.2.

Los autores mantienen un tono modesto respecto al alcance, señalando que sus resultados dependen de la suposición de que el mapa de retroceso en los grupos de clases de divisores es un isomorfismo y de que se cumplen condiciones geométricas específicas (grandeza de los lugares, normalidad de los cierres). No afirman resolver el problema para incrustaciones arbitrarias, sino que proporcionan una solución robusta para la clase específica, aunque significativa, de incrustaciones dentro de espacios de sueños de Mori que satisfacen estas condiciones.