$\mathbb{A}^1$--connectedness of moduli stack of semi-stable and parabolic semi-stable vector bundles over a curve

Resumo Técnico: A1-Conectividade de Stacks de Moduli de Fibrados Vetoriais

1. O Problema e o Contexto

O artigo aborda uma questão fundamental na geometria algébrica motivada pela teoria da homotopia $A^1$ (desenvolvida por Morel e Voevodsky): a conectividade $A^1$ de stacks de moduli de fibrados vetoriais sobre uma curva projetiva suave e irredutível $C$ de gênero $g \geq 2$ definida sobre um corpo algebricamente fechado $k$.

O problema central é determinar se os seguintes objetos são $A^1$-conectados (ou seja, se o feixe de componentes conexas $A^1$-homotópicas é trivial):

1. O stack de moduli de fibrados vetoriais semiestáveis de posto fixo $n$ e determinante fixo $L$, denotado por $M^{ss}_C(n, L)$.
2. O stack de moduli de fibrados vetoriais quase-parabólicos com dados parabólicos fixos, denotado por $P^{e,m}_C(n, L)$.
3. O substack aberto de fibrados parabólicos $\alpha$-semiestáveis para pesos genéricos e pequenos, denotado por $P^{\alpha-ss,e,m}_C(n, L)$.

Embora a conectividade $A^1$ do stack total de todos os fibrados vetoriais $M_C(n, L)$ já tivesse sido provada anteriormente (por Hoyois, Yakerson, e outros, referenciado como [HY]), a prova para os substacks de semiestabilidade era um obstáculo aberto. A abordagem anterior, baseada em extensões de fibrados, falhava na região semiestável porque as "concordâncias" (caminhos $A^1$) construídas passavam inevitavelmente por fibrados instáveis, o que invalidava a restrição ao substack desejado.

2. Metodologia

Os autores desenvolvem uma nova estratégia que evita a dependência de caminhos intermediários instáveis, utilizando ferramentas de teoria de stacks e critérios de valuatividade.

• Concordância Direta $A^1$: Em vez de construir uma cadeia de fibrados conectando dois pontos arbitrários (o que pode passar pela região instável), os autores provam que qualquer dois fibrados vetoriais de mesmo posto e determinante são diretamente $A^1$-concordantes. Isso é feito explorando o espaço de extensões entre dois fibrados, que é um espaço afim, permitindo "juntar" dois fibrados via uma linha reta no espaço de extensões.
• Aplicação do Teorema de Langton: Para o caso semiestável, a chave é o teorema de Langton sobre a fechamento universal do stack de fibrados semiestáveis. O teorema garante que, dada uma família de fibrados semiestáveis sobre o corpo de fração de um anel de valorização discreto, existe uma extensão para o anel inteiro com fibra especial semiestável.
  • Os autores constroem uma concordância direta entre dois fibrados semiestáveis $E_0$ e $E_1$.
  • Utilizam o fato de que o locus semiestável é universalmente fechado para estender a morfismo definido no corpo de fração para o anel inteiro, garantindo que o caminho $A^1$ resultante permaneça inteiramente dentro do locus semiestável.
• Fibrados de Bandeira (Flag Bundles): Para os casos parabólicos, os autores utilizam a estrutura de stacks de fibrados de bandeira. Eles demonstram que o stack de fibrados quase-parabólicos é um "fibrado de bandeira iterado" sobre o stack de fibrados vetoriais ordinários.
  • Como as variedades de bandeira são racionais (e portanto $A^1$-conectadas), a conectividade do stack base (fibrados vetoriais) implica a conectividade do stack total (fibrados parabólicos), desde que a base seja $A^1$-conectada.

3. Principais Contribuições e Resultados

1. Conectividade $A^1$ de $M^{ss}_C(n, L)$:

   • O artigo prova que o stack de moduli de fibrados vetoriais semiestáveis é $A^1$-conectado.
   • Corolário: Se $n$ e $\deg(L)$ são coprimos, o stack de fibrados estáveis $M^s_C(n, L)$ também é $A^1$-conectado.
   • Diferencial: A prova evita a falha das construções anteriores ao garantir que o caminho de concordância não sai do locus semiestável, utilizando o teorema de Langton para "consertar" a família ao longo da linha de concordância.

2. Conectividade $A^1$ de Fibrados Quase-Parabólicos ($P^{e,m}_C(n, L)$):

   • Demonstra-se que o stack de fibrados quase-parabólicos com dados fixos é $A^1$-conectado.
   • A prova baseia-se na decomposição do stack como uma torre de fibrados de bandeira sobre o stack de fibrados vetoriais (que já é conhecido por ser $A^1$-conectado).

3. Conectividade $A^1$ de Fibrados Parabólicos $\alpha$-Semiestáveis:

   • Para pesos $\alpha$ que são pequenos e genéricos e satisfazem $\gcd(n, \deg L) = 1$, o substack de fibrados $\alpha$-semiestáveis é $A^1$-conectado.
   • Nestas condições, semiestabilidade coincide com estabilidade, e o morfismo de esquecimento para o stack de fibrados estáveis é um fibrado de bandeira iterado, permitindo a aplicação direta dos resultados anteriores.

4. Significado e Impacto

• Resolução de uma Lacuna Teórica: O trabalho resolve a questão da conectividade $A^1$ para o locus semiestável, que não podia ser deduzida diretamente da racionalidade do espaço de moduli coarse (espaço de módulos grosseiro) nem das técnicas anteriores de extensões.
• Novas Técnicas de "Conserto" de Caminhos: A aplicação do teorema de Langton para garantir que caminhos $A^1$ permaneçam dentro de substacks abertos (como o semiestável) oferece uma metodologia poderosa que pode ser aplicada a outros problemas de conectividade em geometria algébrica onde a estabilidade é uma condição delicada.
• Unificação de Casos: O artigo unifica o tratamento de fibrados vetoriais comuns e fibrados parabólicos, mostrando que a estrutura de fibrado de bandeira preserva a propriedade de conectividade $A^1$.
• Fundamentos para Homotopia Motívica: Ao estabelecer que esses objetos geométricos fundamentais são $A^1$-conectados, o trabalho fornece a base necessária para calcular grupos de homotopia $A^1$ mais complexos e estudar a estrutura homotópica de espaços de moduli na teoria de homotopia motivic.

Em suma, o artigo avança significativamente a compreensão da topologia $A^1$ de espaços de moduli, superando obstáculos técnicos relacionados à estabilidade e fornecendo ferramentas robustas para o estudo de fibrados vetoriais e parabólicos sobre curvas.