Non-reduced components of global nilpotent cones

Resumo Técnico: Componentes Não Reduzidos de Cones Nilpotentes Globais

1. O Problema e o Contexto

O artigo investiga a geometria dos cones nilpotentes globais associados a fibrados de Hitchin e sistemas de Beauville-Mukai. Especificamente, os autores estudam a estrutura de não-reduzibilidade (multiplicidades) das componentes desses cones.

• Definição do Objeto: Seja $S$ uma superfície quasiprojetiva suave e $\beta \in H^2(S; \mathbb{Z})$ uma classe de curva. O espaço de módulos $M = M_S(\beta, \chi)$ parametriza feixes de Gieseker-estáveis com suporte próprio e classe $\beta$. Existe um mapa de suporte $h: M \to |\beta|$, onde $|\beta|$ é o esquema de Hilbert de curvas próprias em $S$.
• O Cone Nilpotente Global: Dada uma curva suave $C \subset S$ de gênero $g \ge 2$ e um inteiro $r \ge 2$, o divisor efetivo $rC$ pertence a $|\beta|$. A fibra $h^{-1}(rC)$ é definida como o cone nilpotente global.
• A Questão Central: As componentes deste cone são reduzidas? A literatura previa que, para certos casos (como $r=2$ em fibrados de Hitchin clássicos), existiam componentes reduzidas. O objetivo deste trabalho é provar que, sob condições de coprimalidade ($\gcd(r, \chi)=1$) e em várias situações de interesse (superfícies Calabi-Yau e Fano), o cone nilpotente global é em lugar nenhum reduzido (nowhere reduced), ou seja, todas as suas componentes têm multiplicidade $\ge 2$.

2. Metodologia

Os autores empregam uma combinação sofisticada de técnicas de geometria algébrica e teoria de representação:

1. Ações de Esquemas de Grupos em Fibrados Lagrangianos:

   • Utilizam a estrutura de "Liouville" (uma sub-variedade de grupo do esquema de Picard relativo) que age no espaço de módulos.
   • Aproveitam a dualidade infinitesimal descoberta por de Cataldo, Rapagnetta e Saccà: a derivada do mapa de fibrado é dual à derivada da ação do grupo.
   • Demonstram que, para componentes "irregulares" (onde o suporte esquemático difere do suporte de Fitting), a ação do grupo tem estabilizadores de dimensão positiva, o que implica não-reduzibilidade via formas simpléticas holomorfas.

2. Estratificação GIT (Geometric Invariant Theory) em Fibrados de Hitchin:

   • Para fibrados de Hitchin torcidos ($L$-twisted), utilizam a ação do grupo $\mathbb{G}_m$ (escala no campo de Higgs).
   • O cone nilpotente global corresponde ao lugar instável dessa ação.
   • Aplicam a teoria de decomposição de Białynicki-Birula para estratificar o cone em subesquemas $S_m$ sobre pontos fixos $Z_m$.
   • Calculam os pesos do fibrado tangente para mostrar que, quando $\deg(L) > 2g-2$, todas as componentes de dimensão máxima são "genericamente regulares".

3. Deformação para o Cone Normal:

   • Para o caso de superfícies Del Pezzo (onde a fibrada não é Lagrangiana), utilizam uma deformação da superfície $S$ para o espaço total do fibrado normal $Tot(N_{C/S})$.
   • Isso permite degenerar o problema de superfícies Del Pezzo para o caso de fibrados de Hitchin torcidos (onde $\deg(L) > 2g-2$), transferindo os resultados de não-reduzibilidade.

4. Esquemas de Hilbert e Multiplicidades:

   • Reduzem o problema de componentes genericamente regulares ao estudo do esquema de Hilbert de pontos em curvas múltiplas ($Hilb^n_{rC}$).
   • Utilizam resultados recentes sobre a estrutura de multiplicidades desses esquemas de Hilbert para provar que, sob certas condições aritméticas, a multiplicidade é sempre $\ge 2$.

3. Principais Resultados e Teoremas

O artigo estabelece os seguintes teoremas principais sob a condição de coprimalidade $\gcd(r, \chi) = 1$:

• Teorema 0.1 (Não-Reduzibilidade Geral):
  O cone nilpotente global $h^{-1}(rC)$ é em lugar nenhum reduzido se:

  1. $S$ é uma superfície K3 ou abeliana e $[C]$ é primitiva.
  2. $S = Tot(K_C)$ (fibrado de Hitchin clássico).
  3. $(S, H)$ é uma superfície Del Pezzo polarizada.
  4. $S = Tot(L)$ com $\deg(L) > 2g-2$.
     Condição adicional: Ou $r > 2$, ou $r=2$ e $2 \mid \deg_C N_{C/S}$ (o grau do fibrado normal).

• Teorema 0.3 (Componentes Irregulares):
  Se a fibrada é Lagrangiana e o fibrado normal tem grau positivo, qualquer componente irregular do cone nilpotente global é não reduzida. Isso é provado mostrando que a derivada da ação do grupo de Picard falha em ser injetiva em pontos genéricos dessas componentes.

• Teorema 0.4 e 0.6 (Ausência de Componentes Irregulares em Casos Fano):
  Em fibrados de Hitchin torcidos ($\deg L > 2g-2$) e em superfícies Del Pezzo, não existem componentes irregulares de dimensão máxima. Todas as componentes são genericamente regulares.

• Teorema 0.5 (Não-Reduzibilidade via Esquemas de Hilbert):
  As componentes genericamente regulares são não reduzidas se $r > 2$ ou ($r=2$ e $2 \mid \deg N_{C/S}$). A prova baseia-se na análise das multiplicidades dos esquemas de Hilbert de curvas múltiplas.

• Teorema 0.7 (Primitividade das Fibras):
  Para um sistema de Beauville-Mukai em uma superfície K3, a classe de homologia integral de uma fibra genérica é primitiva (indivisível) se e somente se $r = 1$. Se $r > 1$, a fibra não é primitiva.
  Implicação: A não-existência de componentes reduzidas no cone nilpotente implica que o máximo divisor comum das multiplicidades das componentes de uma fibra é $\ge 2$, tornando a classe da fibra divisível.

4. Contribuições Chave

1. Unificação de Casos: O trabalho unifica o tratamento de não-reduzibilidade para casos Calabi-Yau (K3, Abelianas) e Fano (Del Pezzo, Hitchin torcido), mostrando que o fenômeno de "em lugar nenhum reduzido" é ubíquo nessas configurações.
2. Resolução de Casos Abertos: Resolve a questão da multiplicidade para componentes genericamente regulares em casos onde antes apenas o caso $r=2$ era bem compreendido.
3. Método de Deformação: A aplicação da deformação para o cone normal para conectar superfícies Del Pezzo a fibrados de Hitchin torcidos é uma técnica inovadora que permite transferir propriedades de um regime para outro.
4. Conexão Topológica: Estabelece uma ligação direta entre a geometria local (multiplicidades das componentes do cone nilpotente) e propriedades topológicas globais (primitividade da classe de homologia da fibra), respondendo a uma questão sobre a existência de seções $C^\infty$.

5. Significância

Este artigo é fundamental para a compreensão da geometria dos espaços de módulos de feixes e fibrados de Higgs.

• Na Teoria de Representação: Os cones nilpotentes globais são centrais na correspondência de Langlands geométrica. A estrutura de não-reduzibilidade afeta a definição de categorias de feixes perversos e a correspondência de Hodge.
• Na Geometria Simplética: A prova de que as fibras não são primitivas para $r>1$ tem implicações profundas sobre a estrutura topológica das variedades hiper-Kähler compactas (como as variedades de tipo K3$[n]$), sugerindo limitações na existência de certas seções ou estruturas de fibrado.
• Na Geometria Algébrica: O trabalho fornece ferramentas robustas (estratificação GIT, ações de grupos de Picard, deformações) para analisar singularidades e multiplicidades em fibrados de módulos, servindo como referência para estudos futuros sobre a estrutura fina de cones nilpotentes.

Em suma, Bai e Fang demonstram que a "reduzibilidade" é uma exceção rara e que, na grande maioria dos casos de interesse físico e geométrico, os cones nilpotentes globais possuem uma estrutura intrinsecamente singular e não reduzida.