A note on the moduli of stable sheaves on elliptic ruled surfaces

1. Declaração do Problema

O artigo aborda a geometria dos espaços de módulos de feixes coerentes $\mu$-semiestáveis em superfícies regidas elípticas (também conhecidas como fibrados $\mathbb{P}^1$ sobre uma curva projetiva suave $C$).

• Contexto: Seja $\pi: X \to C$ um fibrado $\mathbb{P}^1$ sobre uma curva de gênero $g$. Seja $C_0$ uma seção mínima com auto-interseção $(C_0^2) = -e$, e $f$ uma fibra. O divisor canônico é $K_X \equiv -2C_0 - (2-2g+e)f$.
• Trabalho Anterior: Walter [7] estabeleceu a irredutibilidade desses espaços de módulos sob a condição estrita $((K_X + f) \cdot H) < 0$. Esta condição implica que os feixes são "prioritários", permitindo o uso de teorias de deformação específicas.
• A Lacuna: O autor visa generalizar esses resultados para a condição mais ampla $(K_X \cdot H) < 0$.
  • Esta condição vale para qualquer divisor amplo $H$ se $g=0$ ou $g=1$.
  • Especificamente, o autor foca nos casos onde $g=1$ e $e=0$ ou $e=-1$ (onde $-K_X$ é nef, mas não necessariamente amplo no sentido da condição original de Walter).
• Questões Centrais:
  1. Os espaços de módulos $\mathcal{M}_H(e)^{\mu ss}$ são irredutíveis sob a condição mais fraca $(K_X \cdot H) < 0$?
  2. Quais são as condições necessárias e suficientes para a existência de tais feixes (não-vazio)?
  3. Quais são as propriedades dos membros gerais desses espaços de módulos (por exemplo, liberdade local, estabilidade nas fibras)?

2. Metodologia

Yoshio emprega uma combinação de teoria de pilhas, teoria de deformação e análise de cruzamento de paredes dentro do cone amplo.

• Pilhas de Módulos: Em vez de usar a cohomologia equivariante de esquemas Quot (como em trabalhos anteriores), o autor utiliza pilhas de módulos de feixes coerentes ($M(e)$, $\mathcal{M}_H(e)^{\mu ss}$). Isso permite um tratamento mais direto de famílias e condições de estabilidade.
• Pilhas de Filtração: O autor introduz a pilha de filtrações $FH(e_1, \dots, e_s)$ para analisar as filtrações de Harder-Narasimhan e Jordan-Hölder. Isso é crucial para a contagem de dimensões e comparação de componentes de espaços de módulos através de diferentes polarizações.
• Análise de Paredes e Câmaras:
  • O cone amplo $\text{Amp}(X)$ é dividido em câmaras separadas por paredes definidas por $W_F = \{H \mid ((\mu(E) - \mu(F)) \cdot H) = 0\}$.
  • O autor analisa como o espaço de módulos muda à medida que a polarização $H$ se move através dessas paredes.
• Ferramenta Técnica Chave: Anulação de $Ext^2$:
  • Um lema central (Lema 1.4) prova que, se $(K_X \cdot H) < 0$, então para quaisquer dois feixes $\mu$-semiestáveis $E, F$ com a mesma inclinação, $\text{Ext}^2(E, F) = 0$.
  • Esta anulação implica que a pilha de módulos é suave e permite a aplicação da teoria de deformação para provar a irredutibilidade.
• Técnica de Blow-up: Para provar a irredutibilidade do lugar estável, o autor utiliza um resultado de Nakashima relacionando espaços de módulos em $X$ com aqueles em um blow-up $\tilde{X}$, aplicando os teoremas de Beauville e Markman em superfícies com $(K_X \cdot H) < 0$.

3. Contribuições e Resultados Principais

A. Irredutibilidade (Teorema 0.1 & Proposição 2.7)

O artigo prova que, sob a condição $(K_X \cdot H) < 0$, a pilha de módulos $\mathcal{M}_H(e)^{\mu ss}$ é irredutível para qualquer caráter de Chern $e = (r, \xi, \chi)$ satisfazendo $0 \le (\xi \cdot f) < r$.

• Isso generaliza o resultado de Walter ao remover a exigência de que $((K_X + f) \cdot H) < 0$.
• A prova baseia-se em mostrar que o lugar dos feixes estritamente semiestáveis tem dimensão estritamente menor que o lugar estável (Lema 2.5), e que o lugar estável localmente livre é aberto e denso.

B. Condições de Existência (Teorema 0.1 & Proposição 2.9)

O autor fornece um critério preciso para a não-vazio do espaço de módulos:
$$\mathcal{M}_H(e)^{\mu ss} \neq \emptyset \iff r^2 \Delta(e) \ge r_1(r - r_1)(x - e/2)$$
onde:

• $H(x) = C_0 + xf$ é o divisor amplo.
• $r_1 = (\xi \cdot f)$.
• $\Delta(e)$ é o discriminante definido em (1.2).
• Para o caso específico de gênero $g=1$ e $e=0, -1$, a condição simplifica-se para $x \le \frac{e}{2} + \frac{r_2}{r_1 r_2} \Delta(e)$.

C. Propriedades dos Membros Gerais (Teorema 0.1 (3))

Para $r > 1$, um membro geral $E$ do espaço de módulos é:

1. Um feixe localmente livre $\mu$-estável.
2. Rígido nas fibras: A restrição $E|_{\pi^{-1}(t)}$ é um fibrado vetorial rígido para um ponto geral $t \in C$.
3. Esta rigidez implica $\text{Ext}^1(E|_{\pi^{-1}(t)}, E|_{\pi^{-1}(t)}) = 0$.

D. Corolário para Divisores Anticanônicos Nef (Corolário 0.2)

No caso específico onde $-K_X$ é nef ($e=0, -1$), o espaço de módulos é não-vazio se e somente se:

• $\Delta(e) > 0$, OU
• $r \mid (\xi \cdot f)$ e $\Delta(e) = 0$.

4. Significado

• Generalização da Irredutibilidade: O artigo estende com sucesso os resultados conhecidos de irredutibilidade para espaços de módulos de feixes em superfícies regidas, de uma condição restritiva envolvendo a fibra $f$ para a condição mais natural envolvendo o divisor canônico $K_X$.
• Tratamento do Gênero 1: Aborda especificamente o caso de superfícies regidas elípticas ($g=1$), onde a geometria é mais sutil (por exemplo, quando $e=0$ ou $-1$), fornecendo critérios de existência que anteriormente não estavam claros.
• Insight Estrutural: Ao utilizar a pilha de filtrações e argumentos de cruzamento de paredes, o artigo esclarece a relação entre a estabilidade dos feixes na superfície e a estabilidade de suas restrições às fibras.
• Fundação para Estudos Futuros: Os resultados sobre a não-vazio e irredutibilidade desses espaços de módulos fornecem uma base sólida para estudar a geometria dessas superfícies, potencialmente impactando o estudo de invariantes de Donaldson ou a classificação de fibrados vetoriais em superfícies elípticas.

Em resumo, a nota de Yoshio refina a compreensão dos espaços de módulos em superfícies regidas elípticas, provando sua irredutibilidade sob um conjunto mais amplo de condições geométricas e estabelecendo limites precisos para sua existência, utilizando um quadro robusto de teoria de pilhas e análise de deformação.