The Cox ring of an embedded variety

Resumo Técnico: O Anel de Cox de uma Variedade Embutida

Enunciado do Problema
O artigo aborda o problema computacional de determinar o anel de Cox $R(X)$ de uma variedade normal $X$ embutida dentro de uma variedade ambiente normal $Z$, onde $Z$ é um espaço de sonho de Mori (isto é, $R(Z)$ é finitamente gerado). Embora o anel de Cox do espaço ambiente seja conhecido, calcular o anel de Cox de uma subvariedade é não trivial. Os autores focam no cenário específico em que o mapa de pullback nos grupos de classes de divisores, $\iota^*: \text{Cl}(Z) \to \text{Cl}(X)$, é um isomorfismo. Esta condição garante que os grupos de classes de divisores das variedades ambiente e embutida são estruturalmente idênticos, permitindo uma transferência de propriedades estruturais de $Z$ para $X$.

Metodologia
Os autores desenvolvem uma abordagem geométrica e algorítmica baseada na teoria dos feixes de Cox e espaços característicos.

1. Estrutura Geométrica:

   • Seja $p_Z: \widehat{Z} \to Z$ o espaço característico de $Z$ (o espectro relativo do feixe de Cox).
   • Os autores definem $\widehat{X}$ como o fecho de Zariski de $p_Z^{-1}(X_0)$ em $\widehat{Z}$, onde $X_0 = X \cap Z_0$ é a interseção de $X$ com o lugar suave de $Z$.
   • Eles introduzem um subconjunto aberto intermediário $\widetilde{X}_1 \subseteq \widetilde{X}$ (onde $\widetilde{X}$ é o fecho de $\widehat{X}$ no espaço de coordenadas total $\overline{Z}$), obtido removendo as componentes irredutíveis de codimensão um do complemento $\widetilde{X} \setminus \widehat{X}$.
   • Sob suposições específicas de "grandeza" e normalidade (especificamente que $X_0$ é grande em $X$, $p_Z^{-1}(X_0)$ é grande em $\widehat{X}$ e $\widetilde{X}_1$ é normal), os autores estabelecem que o anel de Cox de $X$ é isomorfo ao anel das seções globais do feixe estrutural em $\widetilde{X}_1$.

2. Caracterização Algébrica (Teorema 1):

   • O resultado técnico principal afirma que $R(X)$ pode ser calculado como a interseção de um número finito de localizações de um quociente de $R(Z)$.
   • Especificamente, se $R = R(Z)/I(\widetilde{X})$ e $m_1, \dots, m_s$ são geradores homogêneos do ideal que define o complemento $\widetilde{X} \setminus \widetilde{X}_1$, então:
     $$R(X) = R_{m_1} \cap \dots \cap R_{m_s}$$
     onde a interseção é tomada dentro do corpo de frações comum.

3. Implementação Algorítmica (Algoritmo 1):

   • Para calcular tal interseção de localizações, os autores propõem um algoritmo iterativo.
   • O algoritmo começa com o anel $R$ e verifica se o conjunto de zeros dos elementos $m_i$ tem codimensão $\ge 2$. Se não, identifica elementos na interseção que não estão no anel atual calculando ideais colon e saturações.
   • Novos geradores são adjuntos ao anel e o processo se repete.
   • Término: O algoritmo termina se e somente se o anel de Cox resultante $R(X)$ for finitamente gerado. Isso fornece um procedimento de decisão para a geração finita neste contexto.

Resultados Chave e Aplicações

• Hipersuperfícies Gerais em Variedades Toricas (Teorema 2):
  Os autores aplicam sua estrutura a hipersuperfícies $X \in |H|$ em uma variedade torica polarizada $(P, H)$. Assumindo que o lugar irrelevante de $P$ possui uma única componente de codimensão 2 $V(T_1, T_2)$ e que o polinômio definidor $f$ possui uma multiplicidade específica $d$ ao longo desta componente, eles fornecem uma apresentação explícita para $R(X)$.

  • O anel de Cox é apresentado como um quociente de um anel de polinômios nas variáveis originais mais $d$ novas variáveis $S_1, \dots, S_d$.
  • As relações são lineares nas novas variáveis, assemelhando-se a técnicas de "unprojeção" (semelhante à unprojeção de Reid).
  • Isso generaliza resultados anteriores de Ottem (para produtos de espaços projetivos) e Denisi (para espaços projetivos ponderados).

• Variedades Toricas de Rango de Picard 2 (Corolário 3):
  Os resultados são especializados para variedades toricas projetivas suaves de rango de Picard 2. Os autores classificam as matrizes de graduação e ideais irrelevantes para essas variedades e determinam as condições sob as quais o anel de Cox de uma hipersuperfície geral amplas é finitamente gerado e explicitamente calculável.

• Hipersuperfícies Calabi-Yau (Corolário 5.1):
  O método é aplicado a hipersuperfícies anticanônicas gerais em variedades de Fano toricas suaves de rango de Picard 2, fornecendo apresentações explícitas para seus anéis de Cox.

• Exemplos de Geração Finita vs. Interseções Completas (Seção 6):

  • Exemplo 6.1: Uma hipersuperfície no blow-up de $\mathbb{P}^4$ em dois pontos. O algoritmo produz um anel de Cox que é uma interseção completa.
  • Exemplo 6.2: Uma hipersuperfície em um modelo torico obtido por um anti-flip. O algoritmo produz um anel de Cox que é finitamente gerado, mas não é uma interseção completa. Isso demonstra que o anel de Cox de uma variedade embutida pode ser finitamente gerado sem herdar a propriedade de interseção completa do espaço ambiente ou da equação definidora.

Significado e Afirmações
O artigo afirma generalizar trabalhos anteriores sobre o cálculo de anéis de Cox de variedades embutidas (citando Hausen, Ottem e outros) fornecendo uma estrutura teórica unificada e um algoritmo concreto.

• Contribuição Algorítmica: A contribuição primária é o Algoritmo 1, que oferece um método construtivo para calcular $R(X)$ como uma interseção de localizações. Crucialmente, os autores provam que o algoritmo termina se e somente se $R(X)$ for finitamente gerado, fornecendo assim um teste para geração finita neste cenário.
• Descrições Explícitas: O artigo fornece geradores e relações explícitos para os anéis de Cox de hipersuperfícies em variedades toricas, estendendo resultados conhecidos para classes mais amplas de espaços ambientes toricos.
• Insight Estrutural: O trabalho destaca que, embora $R(X)$ seja derivado de $R(Z)$, o processo de tomar a interseção de localizações pode introduzir novos geradores e relações que alteram a estrutura algébrica (por exemplo, perdendo a propriedade de interseção completa), um fenômeno demonstrado explicitamente no Exemplo 6.2.

Os autores mantêm um tom modesto quanto ao escopo, observando que seus resultados dependem da suposição de que o mapa de pullback nos grupos de classes de divisores é um isomorfismo e que condições geométricas específicas (grandeza de lugares, normalidade de fechos) são atendidas. Eles não afirmam resolver o problema para embutimentos arbitrários, mas sim fornecer uma solução robusta para a classe específica, porém significativa, de embutimentos dentro de espaços de sonho de Mori que satisfazem essas condições.