Vector bundles on bielliptic surfaces: Ulrich bundles and degree of irrationality

Resumo Técnico: Fibrados Vetoriais em Superfícies Bielípticas: Fibrados Ulrich e Grau de Irracionalidade

Enunciado do Problema
Este artigo aborda dois problemas distintos, mas interconectados, relativos à geometria das superfícies bielípticas $S$:

1. Classificação de Fibrados Ulrich: Determinar os caracteres de Chern (especificamente, os vetores de Mukai) de fibrados Ulrich em superfícies bielípticas. Embora a existência de fibrados Ulrich de rank 2 em superfícies de dimensão de Kodaira zero esteja estabelecida, uma classificação completa de seus caracteres de Chern dependendo do tipo topológico da superfície permanece um problema em aberto.
2. Grau de Irracionalidade: Calcular o grau de irracionalidade, $\text{irr}(S)$, definido como o grau mínimo de um mapa racional genericamente finito de $S$ para $\mathbb{P}^2$. O trabalho anterior de Yoshihara [31] computou este invariante para todos os tipos de superfícies bielípticas, exceto para o Tipo 6.

Metodologia
O autor emprega uma combinação de teoria de espaços de módulos, técnicas de categoria derivada e geometria algébrica clássica.

• Propriedade de Brill-Noether Fraca: Uma ferramenta central é a investigação da propriedade de Brill-Noether fraca para espaços de módulos de feixes $M_H(v)$. Um espaço de módulos satisfaz esta propriedade se um feixe geral nele possui, no máximo, um grupo de cohomologia não nulo. O artigo estabelece esta propriedade para fibrados de linha em superfícies bielípticas, distinguindo entre casos onde o subgrupo de torção $H^2(S, \mathbb{Z})_{\text{tor}}$ é não trivial (Tipos 1, 2, 3, 5) e onde ele é trivial (Tipos 4, 6, 7).
• Espaços de Módulos e Vetores Isotrópicos: O estudo dos fibrados Ulrich é reduzido à análise de espaços de módulos de feixes estáveis com vetores de Mukai isotrópicos. O autor utiliza resultados de existência recentes de Nuer [25] referentes à não-vazio desses espaços de módulos para polarizações genéricas.
• Coberturas Canônicas e Coberturas Étale: A análise utiliza frequentemente a cobertura canônica $\tilde{X}$ (uma superfície abeliana) e coberturas étale intermediárias para elevar os problemas de $S$ para um cenário onde a geometria é melhor compreendida (por exemplo, usando propriedades de feixes semi-homogêneos em variedades abelianas).
• Grau de Irracionalidade via Fibrados Estáveis: Para computar $\text{irr}(S)$, o artigo adapta um método desenvolvido por Moretti [21] para superfícies K3. Isso envolve a construção de um "bom par" $(E, V)$, onde $E$ é um fibrado vetorial estável de rank 2 e $V \subset H^0(S, E)$ gera $E$ em codimensão 2. O grau do mapa racional induzido $\phi_V: S \dashrightarrow \mathbb{P}^2$ é então calculado usando a fórmula $\deg(\phi_V) = c_2(E) - \deg(\bigcap Z(s))$.

Contribuições Principais e Resultados

1. Classificação de Fibrados Ulrich (Teorema 1.3)
O artigo fornece uma classificação completa dos vetores de Mukai de fibrados Ulrich em superfícies bielípticas polarizadas por um divisor amplo genérico $H$ de classe numérica $aA_0 + bB_0$ (com $b \ge \lambda_S$). A classificação depende estritamente do tipo topológico de $S$:

• Tipos 1, 2, 3, 5: Estas superfícies possuem fibrados Ulrich para todos os ranks $r \ge 1$ com vetores de Mukai $v_{\text{Ulrich}}(r, k) = (r, ka_0 + (3r-k)bB_0, 2rab)$ para todos os inteiros $r \le k \le 2r$. Isso inclui a existência de fibrados de linha Ulrich.
• Tipos 4, 6, 7: Estas superfícies possuem fibrados Ulrich de todo rank $r \ge 2$, mas não possuem fibrados de linha Ulrich. Além disso, nem todos os vetores de Mukai teóricos $v_{\text{Ulrich}}(r, k)$ correspondem a fibrados Ulrich reais; surgem obstruções específicas devido ao desaparecimento do subgrupo de torção $H^2(S, \mathbb{Z})_{\text{tor}}$. Por exemplo, superfícies do Tipo 4 carecem de fibrados Ulrich de vetor de Mukai $v_{\text{Ulrich}}(3, 3)$, e superfícies do Tipo 6 carecem daqueles de $v_{\text{Ulrich}}(2, 2)$.

2. Grau de Irracionalidade (Teorema 1.5)
O artigo prova que, para todas as superfícies bielípticas $S$, o grau de irracionalidade satisfaz $\text{irr}(S) \le 3$.

• Este resultado completa o trabalho de Yoshihara [31], especificamente resolvendo o caso anteriormente em aberto do Tipo 6.
• A prova constrói um fibrado vetorial estável específico de rank 2 $E$ com vetor de Mukai $(2, D, 3)$ onde $D$ tem classe numérica $3A_0 + 2B_0$. Ao demonstrar que $E$ é globalmente gerado em codimensão 2, o autor estabelece um mapa racional genericamente finito de grau no máximo 3.
• A estratégia confirma que o limite $\text{irr}(S) \le 3$ mantém-se uniformemente através das sete famílias de superfícies bielípticas.

Significância e Alegações
O artigo afirma fornecer a primeira classificação completa de fibrados Ulrich em superfícies bielípticas, destacando como os invariantes topológicos (especificamente a torção no segundo grupo de cohomologia) ditam a existência de tais fibrados. Demonstra que a propriedade de Brill-Noether fraca para fibrados de linha é um determinante crítico na existência de fibrados de linha Ulrich.

Em relação ao grau de irracionalidade, o artigo afirma resolver a questão para superfícies bielípticas ao fornecer um tratamento uniforme que adapta o método de Moretti para superfícies K3. O resultado $\text{irr}(S) \le 3$ é apresentado como um limite superior definitivo para esta classe de superfícies, preenchendo a lacuna deixada pela literatura anterior. O trabalho baseia-se na interação entre a geometria da cobertura canônica e as condições de estabilidade dos feixes na superfície de base, oferecendo uma aplicação concreta da teoria de espaços de módulos a invariantes biracionais.