On slope unstable Fano varieties

Resumo Técnico: Sobre Variedades de Fano com Inclinação Instável

Enunciado do Problema
O artigo aborda a compreensão intrincada da estabilidade de inclinação $(-K)$ para variedades de Fano, um conceito mais fraco, porém relacionado à K-estabilidade. Embora progressos significativos tenham sido feitos na K-estabilidade, a noção algébrica de estabilidade de inclinação para o feixe tangente $T_X$ permanece menos compreendida. Especificamente, os autores investigam a validade da Conjectura 1.1 (atribuída a Peternell), que postula que o feixe tangente de uma variedade de Fano é $(-K_X)$-inclinação instável apenas se o feixe tangente relativo de uma contração extrema $K_X$-negativa o desestabilizar.

Trabalhos anteriores confirmaram esta conjectura para dimensões até cinco (Peternell-Wiśniewski, Hwang), mas Kanemitsu (2021) forneceu um contraexemplo em dimensão 14, mostrando que o feixe desestabilizador maximal pode surgir de uma fibração não trivial em vez de uma contração extrema padrão. O problema central (Problema 1.2) é determinar se, para uma variedade de Fano com feixe tangente instável, o feixe desestabilizador maximal é induzido biracionalmente pelo tangente relativo de uma contração extrema.

Metodologia
Os autores empregam o MMP foliado (fMMP) para caracterizar a geometria associada ao feixe desestabilizador maximal $F \subseteq T_X$. A metodologia procede da seguinte forma:

1. Configuração da Foliação: Eles estabelecem que o feixe desestabilizador maximal $F$ é uma foliação algebricamente integrável com folhas racionalmente conectadas e um divisor canônico não-pseudo-efetivo $K_F$.
2. MMP Foliado: Eles executam um $K_F$-MMP na variedade de Fano $X$ (vista como um espaço de sonhos de Mori). Este processo contrai curvas $F$-invariantes, levando a um espaço de Mori $f: Y_+ \to Z_+$.
3. Modificação da Propriedade (*): Para analisar as singularidades do par resultante $(Y_+, F_+)$, os autores utilizam uma "modificação da Propriedade (*)" (baseada em [ACSS22]). Esta modificação biracional $W \to Y_+$ garante que a foliação seja induzida por uma morfismo equi-dimensional e permite a análise de singularidades foliadas usando resultados recentes sobre singularidades log canônicas foliadas ([Che23], [CC25]).
4. Estratégia de Classificação: A prova para o caso de superfícies ($\dim X = 2$) envolve excluir o caso onde a base do espaço de Mori é um ponto ($\dim Z_+ = 0$). Isso é alcançado mostrando que, se $\dim Z_+ = 0$, a superfície $Y_+$ resultante deve ser uma variedade torica com restrições de singularidade específicas, que são então mostradas como incompatíveis com a existência de um feixe tangente instável após uma sequência de blowups.

Contribuições Principais e Resultados

• Classificação de Superfícies Del Pezzo Fracas Instáveis (Teorema 1.7): Para superfícies del Pezzo fracas não singulares, os autores fornecem uma classificação completa daquelas com feixes tangentes $(-K_X)$-inclinação instáveis. Tal superfície $X$ é:

  • Uma superfície de Hirzebruch $F_n$ com $n \in \{0, 1, 2\}$.
  • Uma superfície obtida realizando no máximo três "2-blowups" (uma sequência específica de dois blowups) em $F_n$ ($n \in \{0, 1, 2\}$), com centros em fibras distintas e evitando $(-2)$-curvas.
    Em todos os casos, o feixe desestabilizador maximal é induzido pela fibração canônica $X \to \mathbb{P}^1$.

• Prova Conceitual para Superfícies Del Pezzo Não Singulares (Corolário 1.9): O artigo fornece a primeira prova conceitual (independente de listas de classificação explícitas) de que as únicas superfícies del Pezzo não singulares com feixes tangentes instáveis são $\mathbb{P}^1 \times \mathbb{P}^1$ ($F_0$) e $F_1$. Isso recupera um resultado clássico de Fahlaoui (1989).

• Variedades de Fano Singulares e Métricas Kähler-Einstein Fracas (Corolário 1.10 & 1.11): Os autores estendem a análise para superfícies del Pezzo fracas com singularidades canônicas. Eles caracterizam os possíveis tipos de singularidade (ex: $mA_1$ para $m \in \{2, 4, 6\}$, $A_1 + A_2$, etc.) para superfícies com feixes tangentes de inclinação instável.

  • Fenômeno Chave: Eles descobrem um fenômeno distinto do caso de variedades suaves: existem superfícies del Pezzo com singularidades canônicas (especificamente tipos $4A_1$ e $6A_1$) que admitem uma métrica Kähler-Einstein (KE) fraca, mas possuem um feixe tangente de inclinação instável. Isso demonstra que, para variedades de Fano singulares, a K-poliestabilidade não implica necessariamente a $(-K)$-inclinação poliestabilidade, quebrando a implicação vista no caso suave via a correspondência de Kobayashi-Hitchin.

• Restrições Dimensionais (Teorema 5.5): O artigo prova que, para uma superfície del Pezzo fraca não singular, o resultado do espaço de Mori da $K_F$-MMP não pode ter uma base de dimensão zero ($\dim Z_+ = 0$). Isso confirma que a geometria desestabilizadora está sempre relacionada a uma fibração sobre uma curva.

Significância e Alegações
O artigo afirma preencher uma lacuna na compreensão da geometria da instabilidade de inclinação utilizando ferramentas modernas da geometria biracional foliada. Ao caracterizar o feixe desestabilizador maximal através da lente do fMMP, os autores vão além das classificações caso a caso para uma compreensão estrutural da instabilidade.

O trabalho destaca uma divergência entre os contextos suave e singular: enquanto o feixe tangente de uma variedade de Fano suave com rank de Picard um é conjecturado ser estável (e provado em baixas dimensões), variedades de Fano singulares podem exibir instabilidade de inclinação mesmo quando admitem métricas KE fracas. Isso sugere que a relação entre K-estabilidade e estabilidade de inclinação é mais complexa na presença de singularidades.

Os autores observam que, embora sua abordagem ofereça um arcabouço para o Problema 1.2 em dimensões superiores, a generalização dos resultados para a dimensão três é intrincada devido à complexidade das singularidades e da geometria. Eles propõem que o rank do feixe desestabilizador maximal para uma variedade de Fano com feixe tangente instável é de pelo menos dois (Problema 1.12), uma afirmação consistente com exemplos existentes e resultados parciais.