Moduli of parabolic bundles on an elliptic curve

Resumo Técnico: Módulos de Feixes Parabólicos em uma Curva Elíptica

Enunciado do Problema e Motivação
O artigo aborda a geometria do espaço de módulos de feixes parabólicos semiestáveis de posto 3 com determinante trivial e um único ponto marcado em uma curva elíptica ($g=1$). Enquanto os espaços de módulos de feixes parabólicos para curvas de gênero $g \ge 2$ são bem compreendidos (por exemplo, racionalidade, teoremas de Torelli e grupos de automorfismos estabelecidos em trabalhos como [BY99], [AG21]), o caso de curvas elípticas apresenta desafios distintos. Estudos anteriores sobre curvas elípticas, como [Tu93] para feixes vetoriais e [BBDBR01, FV21, FJ22] para feixes parabólicos, foram amplamente restritos ao posto 2 ou a pesos específicos. Este trabalho estende a análise ao posto 3 com pesos arbitrários, visando descrever explicitamente a geometria, o grupo de automorfismos e propriedades do tipo Torelli desses espaços de módulos, os quais diferem significativamente dos casos de gênero superior, onde o próprio espaço de módulos frequentemente falha em recuperar a classe de isomorfismo da curva.

Metodologia
Os autores empregam uma combinação de técnicas clássicas de classificação e teoria moderna de módulos:

1. Classificação de Feixes Vetoriais: O estudo baseia-se na classificação de Atiyah [Ati57a] de feixes vetoriais semiestáveis de grau 0 em curvas elípticas e no isomorfismo de Tu [Tu93] que identifica o espaço de módulos de feixes vetoriais de posto 3 e determinante trivial com o plano projetivo $\mathbb{P}^2$.
2. Análise de Estabilidade Parabólica: Os autores analisam a decomposição em paredes e câmaras do espaço de pesos parabólicos admissíveis. Eles estabelecem que, para um único ponto marcado, o espaço de pesos se divide em duas câmaras ($P^+$ e $P^-$) separadas por uma parede ($\mu_2 = 0$).
3. Geometria Fibra a Fibra: Ao utilizar o morfismo de esquecimento $\Pi: \mathcal{M}^\mu \to \text{Bun}_{\mathcal{O}_X}(3, X) \cong \mathbb{P}^2$, os autores analisam as fibras do espaço de módulos de feixes parabólicos. Eles demonstram que essas fibras são isomórficas a $\mathbb{P}^1$, estabelecendo o espaço de módulos como uma superfície regrada sobre $\mathbb{P}^2$.
4. Famílias Universais e Monodromia: A construção de famílias universais via feixes vetoriais planos e representações de monodromia (correspondência de Riemann-Hilbert) é utilizada para descrever a geometria local e o comportamento do espaço de módulos perto de lugares singulares.
5. Análise de Automorfismos: O grupo de automorfismos é investigado considerando operações "modulares" (tensorização com fibrados de linha, dualização, pullbacks e modificações de Hecke) e comparando-as com o grupo completo de automorfismos das estruturas geométricas subjacentes.

Principais Contribuições e Resultados

• Geometria do Espaço de Módulos (Teorema A):
  Os autores provam que os espaços de módulos $\mathcal{M}^-$ e $\mathcal{M}^+$ (correspondentes às duas câmaras de pesos) são compactificações isomórficas de um mesmo subconjunto aberto denso $U_{gen}$ (feixes estáveis genéricos). Ambos os espaços são isomórficos ao fibrado tangente projetivizado $\mathbb{P}(T\mathbb{P}^2)$. O mapa de esquecimento $\Pi^\pm: \mathcal{M}^\pm \to \mathbb{P}^2$ é um fibrado $\mathbb{P}^1$ localmente trivial. Os lugares de compactificação $\Sigma^\pm = \mathcal{M}^\pm \setminus U_{gen}$, consistindo em feixes estáveis apenas em uma câmara, formam uma cobertura de grau 3 de $\mathbb{P}^2 ramificada sobre uma curva sextica cuspidal.

• Teorema de Torelli de Posto Superior (Teorema B):
  Diferentemente do caso de feixes vetoriais em curvas elípticas (onde o espaço de módulos é racional e perde informações sobre a curva), os autores provam um resultado do tipo Torelli para feixes parabólicos. Eles mostram que duas curvas elípticas $(X, p)$ e $(X', p')$ são isomórficas se e somente se seus respectivos pares de espaços de módulos $(\mathcal{M}, \Sigma)$ e $(\mathcal{M}', \Sigma')$ forem isomórficos. Crucialmente, a curva é recuperada a partir do par constituído pelo espaço de módulos e o lugar específico de compactificação $\Sigma$, que é mostrado ser isomórfico a uma superfície regrada estável específica sobre $X$.

• Grupo de Automorfismos (Teorema C):
  O artigo caracteriza o grupo de automorfismos do par $(\mathcal{M}^\pm, \Sigma^\pm)$. Assumindo que a curva elíptica não possui automorfismos fixando $p$ além da involução elíptica, o grupo de automorfismos é finito, de ordem 18, e inteiramente "modular". É gerado pelo grupo de pontos de 3-torção no Jacobiano (atuando via tensorização) e pela involução de dualização. Isso contrasta com casos de gênero superior, onde grupos de automorfismos podem ser infinitos ou mais complexos, e destaca que o grupo completo de automorfismos do $\mathbb{P}(T\mathbb{P}^2)$ subjacente não é realizado a menos que o lugar especial $\Sigma$ seja preservado.

• Classificação Explícita de Feixes:
  Os autores fornecem uma classificação detalhada de quais tipos de feixes vetoriais (da lista de Atiyah) admitem estruturas parabólicas estáveis. Eles identificam que feixes dos tipos (2.2), (3.2) e (3.3) nunca admitem estruturas parabólicas estáveis, enquanto os tipos (1), (2.1) e (3.1) formam o lugar estável genérico. Eles descrevem explicitamente a interseção dos lugares de compactificação com as fibras do mapa de esquecimento.

Significância
O artigo reivindica significância ao resolver a geometria de feixes parabólicos de posto 3 em curvas elípticas, um caso tratado anteriormente apenas para posto 2 ou pesos específicos. Ele demonstra que, embora o espaço de módulos de feixes vetoriais em uma curva elíptica seja racional e falhe em distinguir a curva, a adição de estrutura parabólica (especificamente o par do espaço de módulos e sua fronteira de compactificação) restaura a capacidade de recuperar a curva (propriedade de Torelli). Além disso, estabelece que, para este cenário específico, todos os automorfismos do espaço de módulos surgem de operações geométricas naturais nos feixes (modularidade), fornecendo uma descrição completa do grupo de simetria em um contexto de baixo gênero e alto posto. Os resultados oferecem um modelo geométrico concreto ($\mathbb{P}(T\mathbb{P}^2)$ com uma cobertura ramificada específica) para esses espaços de módulos, contrastando com as descrições mais abstratas disponíveis para gênero superior.