On the Fano dimension of an Enriques surface

Resumo Técnico: Sobre a Dimensão Fano de uma Superfície de Enriques

Enunciado do Problema
O artigo aborda o "problema do visitante Fano" (Fano-visitor problem), uma questão em geometria algébrica e categorias derivadas proposta por Bondal (2011). O problema questiona se, para qualquer variedade suave projetiva $X$, existe uma variedade Fano suave $Y$ e um funtor totalmente fiel $D(X) \hookrightarrow D(Y)$, onde $D(X)$ denota a categoria derivada limitada de feixes coerentes. Se tal $Y$ existe, $X$ é denominada um "visitante Fano" (Fano-visitor) e $Y$ um "anfitrião Fano" (Fano-host). A "dimensão Fano" de $X$ é definida como a dimensão mínima de tais anfitriões Fano.

Antes deste trabalho, Kuznetsov ([Kuz18]) estabeleceu que uma superfície de Enriques geral $S$ é um visitante Fano para um anfitrião Fano de seis dimensões, enquanto superfícies de Enriques nodais admitem um anfitrião de quatro dimensões. O artigo busca reduzir o limite da dimensão Fano de uma superfície de Enriques geral de seis para quatro.

Metodologia
O autor emprega a teoria dos loci de degenerescência de morfismos entre feixes vetoriais e a geometria de feixes Grassmannianos estratificados. As ferramentas técnicas centrais incluem:

1. Loci de Degenerescência e Feixes Vetoriais: A construção baseia-se em um morfismo geral $\phi: E \to F$ de feixes vetoriais em uma variedade suave $X$, onde $E^\vee \otimes F$ é globalmente gerado. O artigo utiliza a relação entre o locus de degenerescência $D_r(\phi)$ e os loci de zeros de seções associadas em feixes projetivos.
2. Feixes Projetivos Estratificados: Um lema fundamental (Lema 2.3) estabelece que, para um morfismo geral $\phi: E \to F$ com postos $e > f$, o locus de zero $Y = V(\phi_E)$ dentro do feixe projetivo $\mathbb{P}_X(E)$ é biracional a $X$. Crucialmente, se $f = e-1$, $Y$ é isomorfo ao blow-up de $X$ ao longo do locus de degenerescência $D_{f-1}(\phi)$.
3. Embeddings de Categorias Derivadas: O artigo aplica a fórmula de blow-up de Orlov e resultados sobre decomposições semiortogonais (especificamente [Kuz07, Teorema 8.8]) para estabelecer embeddings de categorias derivadas. Se $Y$ é um blow-up de $X$ ao longo de um centro $Z$, e $Y$ é Fano, então $D(Y)$ contém $D(Z)$ como um componente semiortogonal.
4. Proposição 2.4: O autor prova um resultado geral afirmando que, sob condições específicas (vanishing de loci de degenerescência inferiores e uma condição de antiamplitude em um feixe de linha específico), o locus de zero $Y$ de uma seção em um feixe projetivo é um anfitrião Fano para o locus de degenerescência $Z$.

Principais Contribuições e Resultados

• Construção de um Anfitrião Fano de Quatro Dimensões: O resultado principal (Teorema 3.1) constrói uma variedade Fano específica de quatro dimensões que serve como anfitrião para uma superfície de Enriques geral $S$.

  • Realização Geométrica: Seja $X = \mathbb{P}^2 \times \mathbb{P}^2$. O autor considera os feixes vetoriais $E = \mathcal{O}_X \otimes W_3$ e $F = \mathcal{O}_X(2,0) \oplus \mathcal{O}_X(0,2)$. Um morfismo geral $\phi: E \to F$ define uma superfície de Enriques geral $S$ como o primeiro locus de degenerescência $D_1(\phi)$.
  • A Variedade Anfitriã: A variedade $Y$ é definida como o locus de zero de uma seção do feixe $\mathcal{O}(1,0,2) \oplus \mathcal{O}(1,2,0)$ dentro de $\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2$.
  • Isomorfismo: O artigo prova que $Y \cong \text{Bl}_S(\mathbb{P}^2 \times \mathbb{P}^2)$, o blow-up de $\mathbb{P}^2 \times \mathbb{P}^2$ ao longo da superfície de Enriques $S$.
  • Propriedade Fano: Usando a fórmula de adjunção, mostra-se que $Y$ é uma variedade Fano (seu feixe anticanônico é amplo).

• Decomposição da Categoria Derivada: O Corolário 3.3 estabelece a decomposição semiortogonal da categoria derivada de $Y$:
  $$D(Y) = \langle D(S), E_1, \dots, E_9 \rangle$$
  onde $E_1, \dots, E_9$ são feixes excepcionais provenientes da coleção excepcional de $\mathbb{P}^2 \times \mathbb{P}^2$. Isso confirma que $S$ é um visitante Fano para $Y$.

• Invariantes e Torção:

  • O diamante de Hodge de $Y$ é diagonal.
  • A cohomologia integral $H^4(Y, \mathbb{Z})$ contém um somando isomorfo à rede de posto dez $\Lambda$ da superfície de Enriques mais um componente de torção $\mathbb{Z}/2\mathbb{Z}$.
  • Consequentemente, $K_0(Y)$ contém uma classe de 2-torção, implicando que $D(Y)$ não admite uma coleção excepcional completa.

• Argumento de Limite Inferior: O artigo argumenta que a dimensão Fano de uma superfície de Enriques geral é exatamente 4. Como $S$ não pode ser incorporada em uma curva ou superfície Fano (devido a restrições de dimensão e teoria de Hodge), o autor descarta trêsvariedades Fano. Se uma trêsvariedade Fano $Y'$ fosse um anfitrião, seu posto de Picard precisaria ser pelo menos 5 para acomodar as dimensões da homologia de Hochschild. No entanto, todas as trêsvariedades Fano conhecidas com posto de Picard $\ge 5$ admitem coleções excepcionais completas, o que implica que seus grupos de Grothendieck são livres de torção, o que contradiz a presença de 2-torção induzida por $S$.

Significância
O artigo afirma melhorar o limite conhecido para a dimensão Fano de uma superfície de Enriques geral de 6 para 4. Ao construir explicitamente uma quatrovariedade Fano $Y$ contendo $D(S)$ como um componente semiortogonal, o trabalho fornece uma solução concreta para o problema do visitante Fano para esta classe de superfícies. A construção destaca a profunda interação entre loci de degenerescência, blow-ups de produtos de espaços projetivos e categorias derivadas. O resultado também reforça a conexão entre a torção no grupo de Grothendieck do anfitrião e a existência de coleções excepcionais completas.