Rank-two weak Fano bundles on a four-dimensional quadric hypersurface $Q^4$

Resumo Técnico: Feixes Fano Fracos de Posto Dois em uma Hipersuperfície Quádrica de Quatro Dimensões

Enunciado do Problema
Este artigo aborda a classificação de feixes Fano fracos de posto 2 em uma hipersuperfície quádrica suave de quatro dimensões, denotada por $Q_4$. Um feixe vetorial $E$ em uma variedade projetiva suave $X$ é definido como um feixe Fano fraco se sua projetivização $\mathbb{P}(E)$ é uma variedade Fano fraca, o que significa que o divisor anticanônico $-K_{\mathbb{P}(E)}$ é nef e grande.

Embora a classificação de feixes Fano de posto 2 (onde $-K_{\mathbb{P}(E)}$ é amplo) em hipersuperfícies quádricas de dimensão $n \geq 4$ tenha sido completada por Ancona, Peternell e Wiśniewski [APW94], e o caso Fano fraco para dimensões $n \geq 5$ tenha sido recentemente resolvido pelo autor [Tak26], o caso específico de $Q_4$ permanecia em aberto. A dificuldade na dimensão 4 surge da estrutura do grupo de Chow $A_2(Q_4) \simeq \mathbb{Z}\alpha \oplus \mathbb{Z}\beta$, onde $\alpha$ e $\beta$ representam as classes das duas famílias distintas de planos em $Q_4$. Diferente de dimensões superiores, onde a segunda classe de Chern $c_2(E)$ possui um único componente, em $Q_4$ ela possui dois componentes independentes, $c_2(E) = a\alpha + b\beta$. Isso aumenta o número de casos numéricos a serem considerados e exige argumentos geométricos mais refinados para excluir feixes inexistentes.

Metodologia
O autor emprega uma combinação de restrições numéricas, teoremas de desaparecimento e restrições geométricas a planos e retas em $Q_4$. A metodologia procede da seguinte forma:

1. Normalização e Limites Numéricos: O feixe $E$ é normalizado através de um twist com um feixe de linha tal que $c_1(E) \in \{0, -1\}$. Usando a condição Fano fraca, o autor estabelece que o divisor $\xi + \frac{4-c_1}{2}H$ em $\mathbb{P}(E)$ é nef e grande (onde $\xi$ é o divisor tautológico e $H$ é o pullback da classe do hiperplano). Aplicando desigualdades numéricas de [APW94] a este divisor, o autor obtém limites superiores e inferiores para os componentes $a$ e $b$ de $c_2(E)$.
2. Redução por Riemann-Roch: O teorema de Riemann-Roch é aplicado para reduzir o conjunto infinito de possíveis pares inteiros $(a, b)$ para uma lista finita de candidatos tanto para $c_1 = 0$ quanto para $c_1 = -1$.
3. Exclusão via Restrição e Desaparecimento: Os candidatos restantes são eliminados usando diversas técnicas:
   • Critérios de Decomposição (Splitting): Utilizando critérios de [APW94] e [MP97] para determinar quando um feixe deve se decompor em uma soma direta de feixes de linha baseando-se na existência de seções globais e no sinal das classes de Chern.
   • Restrição a Planos: Restringindo o feixe aos planos $\alpha$ e $\beta$ (isomorfos a $\mathbb{P}^2$). O autor utiliza a classificação de Fritzsche [Fri83] de feixes lineares-uniformes em quádricas. Se a restrição a cada plano de uma família for uniforme, o feixe em $Q_4$ é restrito a ser ou um feixe decomposto ou um feixe spinor.
   • Teoremas de Desaparecimento: Aplicando o teorema de desaparecimento de Schneider (conforme relembrado em [LN18]) e resultados de tipo Kodaira para feixes nef e grandes para derivar contradições para configurações específicas de classes de Chern.
   • Teoria de Interseção: Computando números de interseção em $\mathbb{P}(E)$ para mostrar que certos casos numéricos violariam a nefidade do divisor anticanônico.

Contribuições Principais e Resultados
O resultado principal, Teorema 1.1, fornece uma classificação completa de feixes Fano fracos de posto 2 em $Q_4$ até o twist por um feixe de linha. O teorema afirma que qualquer tal feixe $E$ enquadra-se em uma das três seguintes categorias:

1. Feixes Decompostos (Split Bundles): $E$ é uma soma direta de dois feixes de linha.
2. Feixes Spinor: $E$ é um dos dois feixes spinor em $Q_4$.
3. Feixes Estáveis: $E$ é um feixe $H_{Q_4}$-estável com $c_1(E) = -H_{Q_4}$ e $c_2(E) = \alpha + \beta$. Estes correspondem aos feixes construídos em [APW94, Exemplo 2.2] via construção de Serre a partir de dois planos disjuntos.

O artigo elimina sistematicamente todas as outras possibilidades numéricas derivadas na Seção 3. Notavelmente, o caso $c_1=0$ mostra que resulta apenas em feixes decompostos (Corolário 5.8), enquanto o caso $c_1=-1$ resulta em feixes decompostos, nos dois feixes spinor e nos feixes estáveis específicos com $c_2=(1,1)$ (Corolário 6.10).

Significância
O artigo afirma completar a classificação de feixes Fano fracos de posto 2 em hipersuperfícies quádricas suaves. Embora o caso Fano fosse conhecido e o caso Fano fraco para $n \geq 5$ tenha sido resolvido recentemente, o caso de quatro dimensões apresentou desafios únicos devido ao posto do segundo grupo de Chow. A significância reside em resolver esses casos numéricos adicionais combinando argumentos de positividade padrão com a geometria específica de planos em $Q_4$. O resultado confirma que, apesar da maior complexidade das restrições numéricas na dimensão 4, a classificação permanece estruturalmente semelhante aos casos de dimensões superiores: os feixes são ou decompostos, spinor ou os feixes estáveis específicos anteriormente identificados no contexto Fano. O trabalho estende a compreensão dos feixes Fano fracos em variedades Fano de número de Picard um, complementando classificações anteriores em espaços projetivos e variedades de Del Pezzo de três dimensões.