Birational Geometry of Quot Schemes on smooth projective curves via Stable Pairs

Título: Geometria Biracional de Esquemas Quot em Curvas Projetivas Suaves via Pares Estáveis

1. Problema e Contexto

O artigo investiga a geometria biracional dos Esquemas Quot ($Quot_C(E_0, k, n)$) sobre uma curva projetiva suave $C$ de gênero $g \geq 2$ definida sobre os números complexos.

• Objeto de Estudo: O esquema $Quot_C(E_0, k, n)$ parametriza quocientes de um fibrado vetorial fixo $E_0$ (de posto $r$ e grau $e$) que têm posto $k$ e grau $n$.
• Motivação: Embora a geometria desses esquemas seja bem compreendida no caso da reta projetiva ($\mathbb{P}^1$), onde são variedades suaves e bem comportadas, para curvas de gênero $g \geq 2$, o esquema pode ser redutível e não reduzido. No entanto, para graus $n$ suficientemente grandes, sabe-se que o esquema é irredutível e genericamente suave.
• Objetivo Principal: Determinar a estrutura biracional completa do esquema Quot (e de sua fibra sobre o espaço de Picard, $Q_L$) para $n \gg 0$. Especificamente, os autores buscam provar que esses espaços são Espaços de Sonho de Mori (Mori Dream Spaces) e descrever seus cones de nef, movel e efetivo.

2. Metodologia

A principal ferramenta técnica desenvolvida e utilizada no artigo é a modulação de Pares Estáveis (Stable Pairs), introduzida originalmente por Bradlow e generalizada por outros autores.

• Pares Estáveis ($\delta$-estabilidade): Os autores consideram o espaço de módulos $M_{C,\delta}(E_0, s, d)$ de pares $(E, \alpha)$, onde $E$ é um fibrado vetorial de posto $s$ e grau $d$, e $\alpha: E_0 \to E$ é um homomorfismo não nulo. A estabilidade depende de um parâmetro real $\delta > 0$.
• Isomorfismo Crucial: Para $\delta$ suficientemente grande, existe um isomorfismo entre o esquema Quot e o espaço de módulos de pares:
  $$Quot_C(E_0, k, n) \xrightarrow{\sim} M_{C,\delta}(E_0, r-k, n-e)$$
  onde o quociente $E_0 \twoheadrightarrow B$ é mapeado para o par $(E_0 \to (\ker q)^\vee)$.
• Variação de GIT (Geometric Invariant Theory): A estratégia central é variar o parâmetro de estabilidade $\delta$. À medida que $\delta$ cruza certos valores críticos (paredes de estabilidade), o espaço de módulos sofre modificações biracionais conhecidas como Flips ou Contrações Divisoriais.
• Cadeia de Modificações: Os autores constroem uma sequência de espaços de módulos $M_i$ correspondentes a intervalos de $\delta$. Eles demonstram que cada transição entre $M_i$ e $M_{i+1}$ é uma Pequena Modificação $\mathbb{Q}$-Fatorial (SQM).

3. Contribuições e Resultados Principais

A. Estrutura de Espaço de Sonho de Mori (Mori Dream Space)

O resultado mais significativo é a prova de que, para $n \gg 0$, a fibra $Q_L$ do morfismo determinante é um Espaço de Sonho de Mori.

• Isso implica que $Q_L$ é $\mathbb{Q}$-fatorial, seu cone nef é gerado por um número finito de fibrados de linha semi-ample, e o cone movel é a união dos cones nef de um número finito de SQMs.
• Consequentemente, o morfismo determinante $det: Quot_C(E_0, k, n) \to Pic^n(C)$ é um Morfismo de Sonho de Mori (a versão relativa do conceito).

B. Descrição Explícita dos Cones

Os autores fornecem descrições explícitas dos cones de nef, movel e efetivo para cada espaço intermediário na cadeia de SQMs.

• Base do Espaço de Picard: Eles identificam uma base $\{\lambda, \mu\}$ para $N^1(Q_L)_\mathbb{R} \cong \mathbb{R}^2$.
• Geradores dos Cones: Os cones são gerados por classes específicas $\theta_i$ e $\theta'_j$, que dependem do parâmetro de estabilidade $\delta$ e dos invariantes da curva e do fibrado.
  • O cone nef de cada SQM é gerado por duas classes adjacentes na sequência de paredes de estabilidade.
  • O cone movel é a união de todos os cones nef das SQMs.
  • O cone efetivo é determinado pelos limites extremos dessa cadeia.

C. Casos Específicos ($s \leq r$ vs $s > r$)

O artigo trata separadamente dois regimes de posto $s = r-k$:

1. Caso $1 \leq s \leq r$: A cadeia de SQMs conecta o espaço de módulos de pares para $\delta$ pequeno até o esquema Quot para $\delta$ grande.
2. Caso $s > r$: O comportamento é diferente, envolvendo contrações divisoriais específicas quando $s = r+1$ e $s \geq r+2$. O artigo descreve como o espaço de módulos se relaciona com espaços de módulos de fibrados vetoriais puros ($MC(s-r, d+e)$) através de fibrados projetivos.

D. Divisor Canônico e Singularidades

• Os autores calculam explicitamente a classe do divisor canônico $K_{M_{i,L}}$ em termos da base $\{\lambda, \mu\}$.
• Eles provam que, para $n \gg 0$, os espaços $M_{C,\delta}(E_0, s, d)_L$ são irreduzíveis, normais, localmente interseção completa e localmente fatoriais.

4. Significado e Impacto

• Generalização de Resultados Clássicos: O trabalho generaliza resultados conhecidos para $\mathbb{P}^1$ (onde o esquema Quot é um espaço projetivo ou grassmanniana) para curvas de gênero arbitrário $g \geq 2$.
• Ferramenta para Teoria de Moduli: A demonstração de que esses esquemas são "Mori Dream Spaces" é fundamental para a Teoria do Programa de Modelo Mínimo (MMP), pois garante que o processo de simplificação biracional (MMP) termina e é bem comportado.
• Conexão entre Geometria Algébrica e Teoria de Representação: A utilização de pares estáveis para estudar esquemas Quot fornece uma ponte poderosa entre a geometria de fibrados vetoriais e a teoria de módulos de pares, permitindo o uso de técnicas de variação de GIT para resolver problemas de geometria biracional.
• Aplicações Futuras: A descrição completa dos cones de nef e movel é essencial para o estudo de compactificações de espaços de mapas, teoria de Gromov-Witten e a construção de modelos minimais em dimensões superiores.

Conclusão

O artigo estabelece uma compreensão completa da geometria biracional dos esquemas Quot sobre curvas de gênero alto para graus grandes. Ao empregar a teoria de pares estáveis, os autores não apenas provam que esses espaços são "Mori Dream Spaces", mas também mapeiam explicitamente toda a estrutura de suas modificações biracionais, cones de divisores e classes de cohomologia, oferecendo um modelo robusto para o estudo de espaços de módulos em geometria algébrica.