Images of toric variety and amplified endomorphism of weak Fano threefolds

Resumo Técnico: Imagens de Variedades Tóricas e Endomorfismo Amplificado de Variedades Fano Fracas

Enunciado do Problema
Este artigo aborda duas conjecturas relacionadas à classificação de variedades projetivas suaves sob restrições geométricas e dinâmicas específicas.

1. A Conjectura da Imagem Tórica (Occhetta-Wiśniewski): Se uma variedade projetiva suave $X$ admite um mapa sobrejetor de uma variedade tórica própria, $X$ é ela própria tórica? Isso é conhecido para superfícies, 3-variedades Fano e para o caso em que o posto de Picard $\rho(X)=1$, mas permanece em aberto em dimensões e postos superiores.
2. A Conjectura do Endomorfismo Int-Amplificado (Fakhruddin, Meng, Zhang, Zhong): Uma variedade projetiva suave racionalmente conexa que admite um endomorfismo int-amplificado é necessariamente tórica? Isso é conhecido para curvas, superfícies, hipersuperfícies e 3-variedades Fano.

O autor foca no caso específico de 3-variedades Fano fracas (onde $-K_X$ é nef e grande) com posto de Picard $\rho(X)=2$. O objetivo é determinar se tais variedades, sob as condições de serem uma "imagem tórica" ou de admitirem um "endomorfismo int-amplificado", devem ser tóricas.

Metodologia
A ferramenta técnica central empregada é o vanishing de Bott (e sua variante logarítmica). O artigo utiliza o seguinte quadro lógico:

• Abordagem por Contrapositiva: O autor estabelece que classes específicas de 3-variedades Fano fracas de posto de Picard 2 falham em satisfazer o vanishing de Bott.
• Elo Teórico: É um resultado conhecido (citado de [30]) que, se uma variedade é uma imagem tórica ou admite um endomorfismo int-amplificado, ela deve satisfazer o vanishing de Bott (ou log vanishing de Bott).
• Eliminação: Ao provar que candidatos não tóricos falham no vanishing de Bott, o autor elimina essas classes da lista de possíveis contraexemplos. Consequentemente, qualquer variedade que satisfaça as hipóteses (imagem tórica ou endomorfismo int-amplificado) que não seja Fano deve pertencer a uma lista muito específica de exceções que são mostradas como sendo tóricas.

As provas baseiam-se fortemente em:

• Cálculos de Hirzebruch-Riemann-Roch (HRR): Computação explícita das características de Euler $\chi(X, \Omega^2_X(L))$ para vários feixes lineares $L$ para detectar a não vacuidade da cohomologia.
• Programa do Modelo Mínimo (MMP): Análise da estrutura do cone de curvas $NE(X)$, especificamente as contrações dos dois raios (um $K_X$-negativo e um $K_X$-trivial) para posto de Picard 2.
• Diagramas de Flops: Utilização do comportamento de imagens tóricas e endomorfismos sob flops (Lema 5.5, Lema 6.2) para reduzir casos onde uma fibração não existe para casos onde ela existe.
• Tabelas de Classificação: Referência às classificações existentes de 3-variedades Fano fracas (ex: [5], [13], [14]) para testar invariantes numéricos específicos contra as fórmulas derivadas.

Principais Contribuições e Resultados

1. Falha do Vanishing de Bott (Seção 4)
O autor deriva fórmulas explícitas para a característica de Euler $-\chi(X, \Omega^2_X(H-K_X))$ e termos relacionados para 3-variedades Fano fracas de posto de Picard 2.

• Teorema 4.1: Fornece fórmulas para 3-variedades Fano fracas gerais, para hipersuperfícies em feixes projetivos sobre $\mathbb{P}^1$, e para feixes projetivos sobre $\mathbb{P}^2$.
• Corolário 4.2: Demonstra que várias classes importantes de 3-variedades Fano fracas de posto de Picard 2 não possuem vanishing de Bott. Estas incluem:
  • Fibrações de del Pezzo de grau 6 e 8 sobre $\mathbb{P}^1$.
  • Feixes cônicos sobre $\mathbb{P}^2$ (com exceções específicas).
  • Variedades listadas em tabelas específicas da literatura prévia ([5], [13], [14]).

2. O Teorema da Imagem Tórica (Teorema A)

• Enunciado: Seja $X$ uma 3-variedade projetiva suave com $\rho(X)=2$ e $-K_X$ nef. Se $X$ é a imagem de uma variedade tórica própria sob um mapa sobrejetor, então $X$ é uma variedade Fano tórica ou uma das três variedades Fano fracas específicas a seguir:
  1. $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(1)^{\oplus 2})$
  2. $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1}^{\oplus 2} \oplus \mathcal{O}_{\mathbb{P}^1}(2))$
  3. $\mathbb{P}_{\mathbb{P}^2}(\mathcal{O}_{\mathbb{P}^2} \oplus \mathcal{O}_{\mathbb{P}^2}(3))$
• Significância: Isto prova a conjectura de Occhetta-Wiśniewski para o caso de posto de Picard 2 e feixe anticanônico nef. A prova evita notavelmente a geometria complexa de fans combinatórios, baseando-se, em vez disso, na falha do vanishing de Bott para excluir candidatos não tóricos.

3. O Teorema do Endomorfismo Int-Amplificado (Teorema B)

• Enunciado: Seja $X$ uma 3-variedade Fano fraca projetiva suave com $\rho(X)=2$. Se $X$ admite um endomorfismo int-amplificado, então $X$ é uma Fano tórica ou uma das três variedades específicas listadas no Teorema A.
• Significância: Isto prova a conjectura de Fakhruddin et al. para 3-variedades Fano fracas de posto de Picard 2. O argumento espelha a prova do Teorema A, utilizando o fato de que endomorfismos int-amplificados implicam log vanishing de Bott (Lema 6.4).

Alegações do Autor sobre a Significância

• Extensão de Trabalhos Anteriores: Os resultados estendem as provas anteriores destas conjecturas de 3-variedades Fano para a classe mais ampla de 3-variedades Fano fracas.
• Independência e Complementaridade: O autor observa que, embora um preprint separado [4] tenha provado recentemente a conjectura int-amplificada para 3-variedades racionalmente conexas de posto de Picard 2 usando métodos diferentes (sem o vanishing de Bott), o método deste artigo é distinto. O autor afirma que seus argumentos para o Teorema B não se estendem ao caso geral em [4], mas, inversamente, o método em [4] não prova o Teorema A (o caso da imagem tórica).
• Insight de Classificação: Como subproduto, o artigo fornece uma prova de que as três variedades específicas listadas no Teorema A são as únicas 3-variedades Fano fracas tóricas de posto de Picard 2, sem depender de combinatória de fans.
• Generalização (Observação 6.5): O autor sugere que a técnica de prova implica uma afirmação mais geral: qualquer 3-variedade Fano fraca $F$-liftável de posto de Picard 2 é tórica, o que é um caso especial de uma conjectura de [1].

Conclusão
O artigo resolve com sucesso as duas conjecturas para o caso específico, porém não trivial, de 3-variedades Fano fracas com posto de Picard 2. Ao estabelecer obstruções numéricas precisas (falha do vanishing de Bott) para candidatos não tóricos, o autor demonstra que qualquer variedade que satisfaça as condições dinâmicas ou de mapeamento deve ser tórica (ou uma das três variedades identificadas explicitamente como tóricas).