Segre invariants of principal bundles over a curve

Resumo Técnico: Invariantes de Segre de Pacotes Principais sobre uma Curva

Autores: George H. Hitching e Alfonso Zamora

1. O Problema

O artigo aborda a generalização dos invariantes de Segre para pacotes principais de grupos redutivos conexos sobre uma curva algébrica complexa suave $X$ de gênero $g \geq 2$.

Tradicionalmente, para um pacote vetorial $V$ de posto $r$, o invariante de Segre $s_n(V)$ mede o grau máximo atingido por subpacotes de posto $n$, servindo como uma medida da "distância" de um pacote em relação à instabilidade. O problema central aqui é estender esse conceito para pacotes principais $E$ de um grupo algébrico $G$ qualquer, utilizando subgrupos parabólicos $P \subset G$ para definir novos invariantes $s_P(E)$.

2. Metodologia

Os autores utilizam ferramentas de geometria algébrica, teoria de grupos de Lie e a teoria de moduli de pacotes principais. A metodologia baseia-se em:

• Redução de Grupo de Estrutura: A definição de $s_P(E)$ é feita através do grau do feixe tangente vertical $\sigma^* T_\pi$ associado a uma redução do grupo de estrutura para um subgrupo parabólico $P$.
• Teoria de Moduli: Utilizam o espaço de moduli $\mathcal{M}_X(G, \delta)$ de pacotes principais estáveis de tipo topológico $\delta$.
• Construções de Extensões Iteradas: Para o caso específico do subgrupo de Borel $B \subset GL_3$, os autores constroem pacotes através de sequências exatas de feixes de linha e feixes de posto 2, permitindo o estudo de dimensões de estratificações.
• Teoria de Esquemas de Hilbert: Empregada para provar a semicontinuidade dos invariantes.

3. Principais Contribuições e Resultados

O trabalho é estruturado em três grandes pilares de resultados:

A. Semicontinuidade e Estratificação (Teorema A):
Os autores provam que a função $s_P$ é semicontínua inferiormente em famílias de pacotes $G$. Isso implica que o espaço de moduli $\mathcal{M}_X(G, \delta)$ pode ser decomposto em uma estratificação de subconjuntos localmente fechados, onde cada estrato é definido por um valor fixo de $s_P(E)$. Além disso, mostram que $s_P$ depende apenas da classe de conjugação de $P$.

B. Invariância sob Homomorfismos (Teorema B):
Um dos resultados mais fortes é a relação entre as estratificações de diferentes grupos. Se $\phi: G \to H$ é um homomorfismo sobrejetivo de grupos redutivos conexos (com núcleo contido no centro de $G$), então:

• Os invariantes de Segre coincidem: $s_P(E) = s_{\phi(P)}(E(H))$.
• A estabilidade (ou semiestabilidade) é preservada pela extensão do grupo de estrutura.
• Isso permite transferir o conhecimento das estratificações de grupos clássicos (como $GL_r$ ou $SL_r$) para grupos como $PGL_r$, grupos simpléticos ($Sp_{2n}$) e grupos ortogonais ($SO_r$).

C. Análise do Subgrupo de Borel em $GL_3$ (Teorema C):
O artigo dedica uma seção profunda ao caso não-maximal do subgrupo de Borel $B$ de $GL_3$. Diferente dos casos de subgrupos parabólicos maximais, aqui os estratos não são necessariamente irredutíveis ou equidimensionais.

• Limite de Hirschowitz: Os autores provam um limite superior agudo para $s_B(E)$ em certos tipos topológicos, estabelecendo que $s_B(E) \leq 3(g-1)$ para $\delta \equiv 0 \pmod 3$ e $g \equiv 1 \pmod 6$. Este é o primeiro exemplo de um limite de tipo Hirschowitz para um subgrupo parabólico não-maximal.

4. Significância

A importância deste trabalho reside na unificação de conceitos de estabilidade de pacotes vetoriais e pacotes principais. Ao demonstrar que os invariantes de Segre são "invariantes" sob certas transformações de grupo, os autores fornecem uma ferramenta poderosa para estudar a geometria dos espaços de moduli de pacotes principais de grupos clássicos.

O estudo das estratificações para o subgrupo de Borel em $GL_3$ abre caminho para investigações mais complexas sobre a geometria de pacotes que não são definidos apenas por subpacotes de posto máximo, permitindo uma compreensão mais refinada da estrutura de estabilidade em variedades de flag.