Families of smooth Fano fourfolds of Picard rank 1 without Bott vanishing

Resumo Técnico: Famílias de Quatrifolhas Fano Suaves de Posto de Picard 1 Sem o Desaparecimento de Bott

Enunciado do Problema
O artigo aborda um caso específico de uma conjectura bem conhecida sobre endomorfismos de variedades Fano suaves. A Conjectura 1.1 postula que, se uma variedade Fano suave $X$ de número de Picard $\rho(X)=1$ sobre um corpo algebricamente fechado de característica zero admite um endomorfismo de grau maior que 1, então $X$ deve ser isomórfica ao espaço projetivo $\mathbb{P}^n$.

Trabalhos recentes de Kawakami e Totaro [16] estabeleceram uma implicação geral: a existência de um endomorfismo int-amplificado (que é equivalente a um endomorfismo de grau $>1$ quando $\rho(X)=1$) implica que $X$ satisfaz o "desaparecimento de Bott" (Bott vanishing). O desaparecimento de Bott exige que $H^i(X, \Omega^j_X(A)) = 0$ para todo $i > 0$, $j \ge 0$ e todo divisor de Weil amplo $A$.

O problema específico tratado neste artigo é a verificação desta conjectura para as famílias atualmente conhecidas de quatrifolhas Fano suaves de posto de Picard 1 e índice 1. Como a conjectura já era conhecida para casos de índice $>1$ e outros casos de dimensões ou estruturas específicas, o caso de índice 1 em dimensão 4 permanecia em aberto para as famílias conhecidas. Os autores visam determinar se qualquer uma dessas famílias conhecidas satisfaz o desaparecimento de Bott; se não satisfizerem, elas não podem admitir endomorfismos de grau $>1$.

Metodologia
Os autores empregam uma abordagem computacional usando o pacote Schubert2 do Macaulay2. A estratégia central baseia-se na relação entre o desaparecimento de Bott e a característica de Euler do feixe tangente, $\chi(X, T_X)$.

1. Redução Lógica: Os autores observam que, se o desaparecimento de Bott vale para uma variedade Fano $X$, então $H^i(X, T_X) = 0$ para todo $i > 0$ (visto que $T_X \cong \Omega^3_X \otimes (-K_X)$ e $-K_X$ é amplo). Consequentemente, $\chi(X, T_X) = h^0(X, T_X) \ge 0$. Portanto, se os autores puderem demonstrar que $\chi(X, T_X) < 0$ para uma determinada família, o desaparecimento de Bott falha, e a variedade não pode admitir um endomorfismo de grau $>1$.
2. Ferramentas Computacionais: Para calcular $\chi(X, T_X)$ para construções geométricas complexas, os autores (em conjunto com Burt Totaro) desenvolveram novas funções para o pacote Schubert2. Estas funções lidam com:
   • Loci de Degenerescência Simétrica e Antissimétrica: As funções skewDegeneracyLocus, symmetricDegeneracyLocus e suas variantes (...2, ...KernelBundle) calculam classes características e características de Euler para loci definidos por condições de posto em morfismos simétricos ou antissimétricos. Estas utilizam resoluções via Grassmannianos relativos e cálculos de classes de Chern baseados em teoremas de Fulton, Harris–Tu e Józefiak–Lascoux–Pragacz.
   • Espaços Projetivos Ponderados: As funções weightedProjectiveBundle e weightedProjectiveSpace permitem cálculos de teoria de interseção em contextos projetivos ponderados, modelando adequadamente o anel de interseção e os pushforwards.
3. Escopo do Cálculo: Os autores aplicam estas ferramentas a 32 famílias específicas de quatrifolhas Fano suaves de posto de Picard 1 e índice 1:
   • 13 famílias realizadas como interseções completas em espaços projetivos ponderados.
   • 13 famílias realizadas como loci de zero de feixes homogêneos em Grassmannianos.
   • 6 famílias adicionais realizadas como loci de degenerescência antissimétrica (subvariedades de Pfaffian), incluindo construções de Qureshi e Küchle.

Principais Contribuições

1. Desenvolvimento Algorítmico: O artigo introduz e documenta novas funções computacionais para o Schubert2 que permitem o cálculo sistemático de classes características e características de Euler para loci de degenerescência (tanto simétricos quanto antissimétricos) e variedades projetivas ponderadas.
2. Verificação Sistemática: Os autores realizam um cálculo abrangente de $\chi(X, T_X)$ para todas as 32 famílias conhecidas de quatrifolhas Fano suaves de posto de Picard 1 e índice 1.

Resultados
Os cálculos produzem os seguintes resultados definitivos:

• Teorema 1.3: Para cada uma das 32 famílias conhecidas de quatrifolhas Fano suaves de posto de Picard 1 e índice 1, a característica de Euler $\chi(X, T_X)$ é estritamente negativa.
• Falha do Desaparecimento de Bott: Como $\chi(X, T_X) < 0$, a condição $H^i(X, T_X) = 0$ para $i > 0$ não pode ser satisfeita. Assim, nenhuma dessas 32 famílias satisfaz o desaparecimento de Bott.
• Corolário 1.4: Combinando estes resultados com os casos previamente conhecidos (posto de Picard 1, índice $>1$), os autores concluem que, entre todas as quatrifolhas Fano suaves de posto de Picard 1 atualmente conhecidas, a única variedade que pode admitir um endomorfismo de grau maior que 1 é o espaço projetivo $\mathbb{P}^4$.

Significância
O artigo afirma verificar a conjectura de endomorfismo para o conjunto completo de quatrifolhas Fano suaves de posto de Picard 1 atualmente conhecidas. Ao demonstrar que a característica de Euler negativa do feixe tangente impede o desaparecimento de Bott em todos os casos não projetivos conhecidos, os autores excluem a existência de endomorfismos não triviais para essas variedades. O trabalho baseia-se na implicação estabelecida por Kawakami–Totaro [16] e estende a verificação da Conjectura 1.1 para o caso de índice 1 em dimensão 4, preenchendo uma lacuna na classificação de variedades Fano em relação às propriedades de endomorfismo. O artigo não pretende provar a conjectura para todas as possíveis variedades Fano (pois a classificação das famílias de índice 1 ainda não está completa), mas limita estritamente sua conclusão às famílias "atualmente conhecidas".