Complete classification of irreducible components of the Brill-Noether locus of rank-$2$ vector bundles of degree $d$ and speciality $2$ on a general $ν$-gonal curve

1. O Problema

O artigo aborda a teoria de Brill-Noether para fibrados vetoriais estáveis de posto 2 sobre curvas algébricas complexas projetivas suaves. Especificamente, o foco está na classificação completa das componentes irredutíveis do lugar de Brill-Noether $B^k_2(d)$ (denotado como $B^k_2 \cap U^s_C(d)$ no texto), que parametriza classes de S-equivalência de fibrados vetoriais de posto 2, grau $d$ e especialidade 2 (ou seja, $h^1(C, F) = 2$).

O cenário considerado é o de uma curva geral $\nu$-gonal $C$ de gênero $g$, onde $3 \le \nu < \lfloor \frac{g+3}{2} \rfloor$. Uma curva $\nu$-gonal é aquela que admite um mapa de grau $\nu$ para $\mathbb{P}^1$. O estudo restringe-se ao intervalo de graus de interesse:
$$2g - 2 \le d \le 4g - 4$$

Diferentemente do caso de fibrados de posto 1 (fibras de linha), onde a teoria é bem compreendida para curvas com moduli geral, o caso de posto 2 é mais complexo: os lugares de Brill-Noether nem sempre são irredutíveis, podem ter dimensão maior que a esperada (superabundantes) e sua estrutura depende fortemente da geometria da curva (neste caso, a estrutura $\nu$-gonal).

2. Metodologia

Os autores utilizam uma combinação sofisticada de técnicas geométricas e modulares:

• Extensões de Fibras de Linha: A estratégia central é representar os fibrados vetoriais de posto 2 $F$ como extensões de fibradas de linha:
  $$0 \to N \to F \to L \to 0$$
  onde $N$ e $L$ são fibrados de linha adequados. A estabilidade de $F$ e sua especialidade são controladas pelas propriedades de $N$, $L$ e pelo mapa de cobordância associado $\partial: H^0(L) \to H^1(N)$.
• Espaços Universais de Extensão: Os autores constroem espaços de extensão universais que parametrizam triplas $(N, L, F)$. Eles estudam os locais de degeneração dentro desses espaços onde o mapa de cobordância tem corank específico (neste caso, corank 1, garantindo $h^1(F)=2$).
• Geometria de Superfícies Regradas (Ruled Surfaces): A análise é traduzida para a geometria da superfície regida $\mathbb{P}(F)$. Eles estudam curvas unisecantes (seções) nesta superfície, utilizando invariantes como o invariante de Segre $s(F)$ para garantir a estabilidade.
• Teoria de Brill-Noether para Curvas $\nu$-gonais: O trabalho depende criticamente de resultados recentes sobre fibrados de linha em curvas $\nu$-gonais (trabalhos de H. Larson e outros), especificamente sobre a estratificação dos lugares de Brill-Noether $W^r_d(C)$ baseada no "tipo de splitting" do fibrado direto $f_*(L)$, onde $f: C \to \mathbb{P}^1$ é o mapa de grau $\nu$.
• Mapas Modulares e Geometria Biracional: Eles constroem mapas modulares racionais dos espaços de extensão para o espaço de módulos $U^s_C(d)$, analisando a dimensão das fibras e a dominância para provar a irredutibilidade e a regularidade das componentes.

3. Principais Contribuições e Resultados

O resultado principal é o Teorema 0.3, que classifica completamente as componentes irredutíveis de $B^k_2 \cap U^s_C(d)$ para todo o intervalo de $d$ e para curvas gerais $\nu$-gonais.

As descobertas são divididas em casos baseados no grau $d$ e no gonality $\nu$:

A. Regiões de Vazio e Irredutibilidade

• Vazio: Para $4g - 6 \le d \le 4g - 4$, o lugar é vazio.
• Componente Única Regular ($B_{reg,2}$):
  • Para $4g - 4 - 2\nu \le d \le 4g - 7$ (sob certas condições de $\nu$ e $d$) e para $2g - 2 \le d \le 2g - 6 + 2\nu$.
  • Nestas regiões, o lugar é irredutível, regular (dimensão igual à esperada $\rho^k_2 = 8g - 11 - 2d$) e unirruído.
  • Estrutura do Fibrado: O fibrado geral $F$ é do "segundo tipo", apresentando-se como uma extensão:
    $$0 \to \omega_C(-D) \to F \to \omega_C(-p) \to 0$$
    ou variações onde o quociente é $\omega_C(-p)$ e o núcleo é um fibrado geral $N$. Aqui, $\omega_C(-p)$ é o fibrado de linha quociente de grau mínimo entre todos os quocientes efetivos e especiais.

B. Regiões Redutíveis (Duas Componentes)

Para certos intervalos intermediários de $d$ (dependendo de $\nu$), o lugar torna-se redutível, consistindo em duas componentes:

1. $B_{reg,2}$ (Regular): Igual à descrita acima, associada a fibrados do "segundo tipo" (extensões com $h^1(L)=1$).
2. $B_{sup,2}$ (Superabundante):
   • Uma nova componente que aparece quando $d$ está em faixas específicas (ex: $3g - 5 \le d \le 4g - 5 - 2\nu$).
   • Esta componente é superabundante, ou seja, sua dimensão é estritamente maior que a dimensão esperada $\rho^k_2$.
   • Dimensão: $6g - 6 - d - 2\nu$.
   • Estrutura do Fibrado: O fibrado geral $F$ é do "primeiro tipo", associado à estrutura $\nu$-gonal da curva. Ele se apresenta como:
     $$0 \to N \to F \to \omega_C \otimes A^\vee \to 0$$
     onde $A$ é o fibrado de linha único de grau $\nu$ que define o pencil $g^1_\nu$ da curva ($|A| = g^1_\nu$), e $N$ é um fibrado geral de grau adequado.
   • Propriedade: Esta componente é regrada (ruled) e o fibrado é rigidamente apresentado via o quociente $\omega_C \otimes A^\vee$.

C. Casos Especiais de Fronteira

• Para $d = 2g - 5 + 2\nu$, ambas as componentes existem e são regulares (dimensões iguais), mas geometricamente distintas.
• O trabalho corrige resultados anteriores (de Teixidor i Bigas e dos próprios autores em trabalhos prévios) sobre a não-reduzibilidade de certas componentes, provando que elas são, na verdade, suaves e reduzidas.

4. Significado e Impacto

• Classificação Completa: O artigo fornece a primeira classificação completa e detalhada das componentes irredutíveis para fibrados de posto 2 com especialidade 2 em curvas $\nu$-gonais, cobrindo todo o espectro de graus possíveis.
• Geometria Biracional: Fornece descrições precisas da estrutura biracional das componentes (unirruídas vs. regradas) e da apresentação explícita dos fibrados gerais como extensões de fibrados de linha.
• Correção de Erros: O trabalho corrige afirmações anteriores na literatura sobre a não-reduzibilidade de componentes superabundantes em casos específicos, refinando a compreensão da geometria local desses lugares.
• Consequências para Determinantes Fixos: Como subproduto, os resultados são aplicados para descrever lugares de Brill-Noether com determinante fixo ($B^k_2(M)$), mostrando que, em certos casos, esses lugares podem ser não vazios mesmo quando a dimensão esperada é negativa, devido à existência de componentes superabundantes.
• Método Robusto: A metodologia desenvolvida, combinando espaços de extensão universal com a teoria de splitting em curvas $\nu$-gonais, estabelece um paradigma para futuros estudos de fibrados de posto superior ou outras especialidades (como o caso de especialidade 3, mencionado como trabalho futuro).

Em resumo, o artigo resolve um problema fundamental na geometria algébrica moderna, unificando a teoria de moduli de fibrados vetoriais com a geometria das curvas especiais ($\nu$-gonais), revelando uma rica estrutura de componentes regulares e superabundantes que dependem criticamente da interação entre o grau do fibrado e o gonality da curva.