The class of the Prym-Brill-Noether divisor

Resumo Técnico: A Classe do Divisor de Prym-Brill-Noether

Problema e Contexto
O artigo investiga a geometria biracional dos espaços de módulos de curvas de Prym, denotados por $\mathcal{R}_g$. Este espaço parametriza pares $[C, \eta]$, onde $C$ é uma curva suave de gênero $g$ e $\eta$ é um feixe de linha de 2-torsão ($\eta^{\otimes 2} \cong \mathcal{O}_C$). Um problema central na geometria algébrica é determinar a dimensão de Kodaira desses espaços.

O foco específico do autor é o locus de Prym-Brill-Noether, $R^r_g$, que consiste em curvas de Prym $[C, \eta]$ para as quais o esquema de Prym-Brill-Noether $V^r(C, \eta)$ é não vazio. Para valores específicos de $r \geq 3$ e $g = \frac{r(r+1)}{2}$, esse locus forma um divisor em $\mathcal{R}_g$. O objetivo principal é calcular a classe desse divisor no grupo de Picard racional $\text{Pic}_{\mathbb{Q}}(\mathcal{R}_g)$.

Metodologia
Para resolver o problema, o autor utiliza uma combinação de técnicas avançadas de geometria de curvas e teoria de módulos:

1. Teoria de Séries Lineares Limite (Limit Linear Series): O autor utiliza a teoria desenvolvida por Osserman para tratar curvas que não são de tipo compacto. Isso é essencial para entender como o divisor $R^r_g$ se comporta ao intersectar os divisores de contorno (boundary divisors) do espaço de módulos.
2. Curvas de Teste (Test Curves): A técnica padrão de interseção com curvas de teste (como as curvas de Eisenbud-Harris e curvas derivadas de pêndulos elípticos) é aplicada para obter relações entre os coeficientes da classe do divisor.
3. Pullbacks e Teoria de Degenerescência: O autor estuda os pullbacks do divisor através de mapas naturais para outros espaços de módulos, como $\mathcal{M}_{g,2}$ (curvas pontuadas) e $\mathcal{R}_{g,2}$. Ele utiliza a fórmula de determinante de Fulton-Pragacz para calcular classes de degenerescência de flag.
4. Abordagem Combinatória: A determinação dos coeficientes envolve a resolução de identidades combinatórias complexas e o uso de funções geratrizes para simplificar somatórios de coeficientes de ramificação.

Principais Contribuições e Resultados

• Cálculo da Classe do Divisor (Teorema 1.1): O resultado principal é a fórmula explícita para a classe $[R^r_g]$ em $\text{Pic}_{\mathbb{Q}}(\mathcal{R}_g)$. A classe é expressa como uma combinação linear das classes de Hodge ($\lambda$) e dos divisores de contorno ($\delta_i$, $\delta'_0$, $\delta''_0$, $\delta_{\text{ram}}$). O autor fornece os coeficientes exatos para os termos de $\lambda$ e para os divisores de contorno principais, embora alguns coeficientes específicos ($c$ e $b_{i:g-i}$) permaneçam indeterminados.
• Divisor de Brill-Noether Forte (Teorema 1.4): O autor analisa um divisor em $\mathcal{M}_{g,2}$ relacionado a curvas que admitem séries lineares com ordens de vanishimento específicas em dois pontos. Ele prova a irreducibilidade deste divisor e calcula sua classe.
• Dimensão de Kodaira de $\mathcal{R}_{14,2}$ (Teorema 1.2): Utilizando os resultados anteriores e combinando o divisor de Prym-Brill-Noether com o divisor de Brill-Noether e o divisor de Gieseker-Petri, o autor prova que o espaço de módulos $\mathcal{R}_{14,2}$ é de tipo geral (general type).
• Locus de Nikulin (Corolário 1.3): O autor demonstra que o locus de curvas de Prym que residem em superfícies de Nikulin está contido no divisor de Prym-Brill-Noether. Isso fornece uma nova prova de que as variedades de Prym-Brill-Noether não possuem a dimensão esperada em curvas de Nikulin.

Significância
Este trabalho é de grande importância para a classificação dos espaços de módulos de curvas. Ao fornecer a classe do divisor de Prym-Brill-Noether, o autor preenche uma lacuna teórica que permite entender a estrutura biracional de $\mathcal{R}_g$ para gêneros onde a geometria é complexa. Além disso, a aplicação para provar que $\mathcal{R}_{14,2}$ é de tipo geral contribui para o mapeamento sistemático da dimensão de Kodaira de espaços de módulos de curvas pontuadas e de Prym, um problema de longa data na geometria algébrica.