Classifying additive smooth Fano toric varieties

Resumo Técnico: Classificação de Variedades Toric Fano Suaves Aditivas

Enunciado do Problema
O artigo aborda a classificação de variedades toric Fano suaves aditivas e unicamente aditivas sobre um corpo algebricamente fechado $K$ de característica zero. Uma variedade algébrica irredutível $X$ de dimensão $n$ é denominada aditiva se admite uma ação regular do grupo aditivo $(K^n, +)$ com uma órbita aberta. Ela é unicamente aditiva se essa ação é única até isomorfismo. Embora Huang e Montero tenham determinado anteriormente essas variedades para dimensão $n \le 3$, este trabalho estende a classificação para dimensões até $n=6$. Os autores visam determinar computacionalmente a existência e a unicidade para todas as variedades toric Fano suaves nestas dimensões e fornecer uma classificação estrutural detalhada para $n \le 4$.

Metodologia
Os autores baseiam-se na correspondência entre ações aditivas em uma variedade toric $X_\Sigma$ e as propriedades combinatórias de seu fan associado $\Sigma$, especificamente as raízes de Demazure.

1. Estrutura Teórica:

   • A existência de uma ação aditiva é equivalente à existência de uma coleção completa de raízes de Demazure (Teorema 2.4).
   • A unicidade é determinada pela condição de que, para uma base específica da rede $N$, o conjunto de raízes de Demazure associado a cada raio da base contém exatamente um elemento (Teorema 2.9).
   • Os autores utilizam os Corolários 2.11 e 2.12, que reduzem o espaço de busca ao vincular a aditividade à existência de um cone maximal $\sigma \in \Sigma$ cujos raios extremais formam uma base $B$ da rede $N$, tal que todos os outros raios em $\Sigma$ residem no octante negativo de $B$.
   • Para variedades com número de Picard $\rho(X)=2$, os autores provam um resultado geral (Proposição 3.2) de que todas essas variedades toric completas suaves são aditivas, com a unicidade ocorrendo apenas para $\mathbb{P}^1 \times \mathbb{P}^1$.

2. Implementação Computacional:

   • Os autores introduzem o pacote AdditiveToricVarieties para Macaulay2.
   • O pacote inclui métodos para computar raízes de Demazure (demazureRoots), verificar aditividade e unicidade (additiveActions) e listar variedades classificadas (listAdditiveSmoothFanoToricVarieties, listUniquelyAdditiveSmoothFanoToricVarieties).
   • O pacote utiliza um banco de dados pré-processado de variedades toric Fano suaves (até dimensão 6) derivado do Graded Ring Database (GRDB) e das classificações algorítmicas de Øbro.
   • A abordagem computacional envolve a verificação da condição do octante negativo para cones maximais e a verificação da cardinalidade dos conjuntos de raízes de Demazure para cada raio.

Contribuições Principais e Resultados

• Novos Dados de Classificação:

  • Dimensão 2: Todas as 5 classes de isomorfismo de superfícies toric Fano suaves são analisadas. 1 é não-aditiva, 2 são aditivas mas não unicamente aditivas, e 2 são unicamente aditivas.
  • Dimensão 3: Das 18 classes, 4 são não-aditivas, 12 são aditivas (não-únicas) e 2 são unicamente aditivas. Isso confirma e estende os resultados geométricos anteriores de Huang e Montero.
  • Dimensão 4: Das 124 classes, 45 são não-aditivas, 75 são aditivas (não-únicas) e 4 são unicamente aditivas.
  • Dimensões 5 e 6: Os autores fornecem contagens pela primeira vez.
    • 5-dobras: 866 classes totais; 396 não-aditivas; 466 aditivas (não-únicas); 4 unicamente aditivas.
    • 6-dobras: 7.622 classes totais; 4.194 não-aditivas; 3.420 aditivas (não-únicas); 8 unicamente aditivas.

• Caracterização Estrutural:

  • Os autores provam que toda variedade toric completa suave com número de Picard $\rho(X)=2$ é aditiva (Proposição 3.2).
  • Eles caracterizam variedades unicamente aditivas em dimensões $\le 6$ (Teorema 5.11). Uma variedade toric Fano suave $X$ de dimensão $n \le 6$ é unicamente aditiva se, e somente se, é isomórfica a:
    1. Um produto de retas projetivas $(\mathbb{P}^1)^n$.
    2. Um blow-up de $(\mathbb{P}^1)^n$ (para $n$ par) em um ponto invariante pelo toro.
    3. Em dimensão 6, uma variedade específica correspondente ao polítopo com ID 5816 no GRDB.
  • Isso implica que as variedades unicamente aditivas são construídas a partir de produtos de $\mathbb{P}^1$ e blow-ups específicos, excluindo polítopos del Pezzo (que nunca são aditivos) e polítopos pseudo-del Pezzo (que são unicamente aditivos).

• Ferramenta de Software:

  • O pacote AdditiveToricVarieties é lançado como uma ferramenta funcional para a comunidade de geometria algébrica, permitindo a verificação automatizada da aditividade e a geração de listas de classificação para variedades toric Fano suaves até dimensão 6.

Significância e Alegações
O artigo afirma fornecer a primeira classificação computacional completa de variedades toric Fano suaves aditivas e unicamente aditivas para dimensões até 6. Os autores observam que, embora resultados existenciais para $n \le 3$ tenham sido obtidos anteriormente usando técnicas geométricas, os resultados de dimensões superiores ($n \ge 4$) e os resultados de unicidade para $n=3$ são novos.

O trabalho destaca a viabilidade do uso da geometria algébrica computacional para resolver problemas de classificação em dimensões mais altas, particularmente para variedades Fano suaves, onde o número de classes de isomorfismo cresce significativamente mais devagar do que o de variedades Fano Gorenstein gerais. Eles sugerem modestamente que a enumeração de variedades unicamente aditivas é "muito simples" até $n=6$ e propõem que caracterizar essas classes para um $n$ arbitrário e enumerar variedades completas toric aditivas gerais são direções naturais para pesquisas futuras. Eles também observam uma conexão com a conjectura de Ewald sobre o embutimento de polítopos Fano suaves, embora notem que nem todas as variedades aditivas satisfazem as condições da conjectura computacionalmente.