New irreducible components of $\mathcal{B}(0,c_2)$ and Computation of the Dimension of its tangent space

Resumo Técnico

1. Problema e Contexto

O artigo aborda o estudo do espaço de módulos $B(e, c_2)$, que parametriza feixes vetoriais estáveis de posto 2 no espaço projetivo complexo $\mathbb{P}^3$, com classes de Chern $c_1 = e$ e $c_2$. O foco principal recai sobre o caso $e=0$ (feixes com determinante trivial) e $c_2 \geq 0$.

O problema central é a classificação completa das componentes irredutíveis deste espaço de módulos. Embora o espaço seja conhecido para valores pequenos de $c_2$ (até $c_2 \leq 5$), para valores maiores, a estrutura completa permanece um desafio. Existem três famílias conhecidas de componentes:

1. Componente Instanton ($I_{c_2}$): Dimensão esperada $8c_2 - 3$.
2. Componentes Ein ($G(t, r, s)$): Construídas via monads de Ein, dependendo de inteiros $t, r, s$.
3. Componente Instanton Modificada ($M_{c_2}$): Uma nova série infinita descoberta recentemente.

O objetivo do trabalho é identificar novas famílias de componentes irredutíveis que não se encaixam nessas classificações conhecidas, especialmente para $c_2 \geq 6$, e determinar suas dimensões exatas, muitas vezes encontrando pontos singulares no espaço de módulos.

2. Metodologia

Os autores empregam uma abordagem combinatória e computacional baseada na teoria de monads e na correspondência de Serre-Hartshorne:

• Monads de Horrocks: Utilizam a representação de feixes vetoriais como a cohomologia de um complexo de fibrados vetoriais (monad):
  $$0 \to C \xrightarrow{\beta} B \xrightarrow{\alpha} A \to 0$$
  onde $E = \ker \alpha / \text{im } \beta$. Para $c_1=0$, o monad é minimizado e simétrico.
• Cálculo Computacional (Macaulay2): Desenvolvem e utilizam um código em Macaulay2 para calcular explicitamente a dimensão do grupo de cohomologia $\text{Ext}^1(E, E)$, que corresponde à dimensão do espaço tangente ao espaço de módulos no ponto $[E]$.
  • A desigualdade $\dim B(0, c_2) \leq \dim \text{Ext}^1(E, E)$ é usada para identificar se um ponto é singular (se a dimensão tangente excede a dimensão esperada da componente).
  • O código define os mapas $\alpha$ e $\beta$ via matrizes de polinômios homogêneos e computa a cohomologia do feixe resultante.
• Análise de Semi-continuidade: Comparam as dimensões das novas famílias construídas com as dimensões das componentes conhecidas (Instanton, Ein e Modificada) para provar que as novas famílias não podem estar contidas nas antigas.
• Correspondência de Serre: Utilizam a correspondência entre feixes vetoriais e curvas locais de interseção completa para construir exemplos e analisar invariantes (como o invariante de Atiyah-Rees).

3. Principais Contribuições e Resultados

A. Cálculo da Dimensão da Componente $M_4$ em $B(-1, 6)$:

• O artigo prova que a dimensão da componente $M_4$ (cuja existência foi conjecturada/estabelecida em trabalho anterior [FJ23]) é exatamente 45.
• Isso é feito calculando $\dim \text{Ext}^1(E, E) = 45$ para um feixe genérico nessa componente, mostrando que o ponto é suave e a dimensão é atingida.

B. Descoberta de Duas Novas Famílias Infinitas em $B(0, c_2)$:
Os autores provam a existência de duas novas famílias infinitas de componentes irredutíveis, denotadas por $\mathcal{V}_0$ e $\mathcal{V}_1$, para $c_2 \geq 9$.

1. Família $\mathcal{V}_0$ (Tipo $V(a; b)$ com $b=0$):

   • Construída a partir de monads com tipos específicos de vetores de graus: $a = ((a-1)^2, 0^2)$ e $b = (a^2)$.
   • O segundo número de Chern é $c_2 = 4a - 2$.
   • A dimensão da família é calculada como $6a^2 + 6a + 8$.
   • Resultado Chave: Para $a \geq 3$, esta dimensão é estritamente maior que a dimensão esperada ($8c_2 - 3$) e maior que as dimensões das componentes Ein e Instanton Modificada correspondentes. Isso prova que $\mathcal{V}_0$ reside em uma nova componente irredutível.

2. Família $\mathcal{V}_1$ (Tipo $V(a; b)$ com $b=1$):

   • Construída com $a = ((a-1)^2, 1)$ e $b = (a^2)$.
   • O segundo número de Chern é $c_2 = 4a - 3$.
   • A dimensão é $6a^2 + 6a + 2$.
   • Resultado Chave: Similarmente, para $a \geq 3$, a dimensão excede a das componentes conhecidas. Além disso, o artigo demonstra que esta nova componente contém pontos singulares (onde a dimensão do espaço tangente é maior que a dimensão da componente).

C. Generalizações e Conjectura:

• Os autores generalizam a construção para monads de posto superior ($k \geq 3$), definindo uma família $M(a, b, k)$.
• Eles verificam a Conjectura 4.8 para $k=3$ e $k=4$, mostrando que para $a$ suficientemente grande, essas famílias também geram componentes irredutíveis novas com dimensões que excedem a esperada.
• Fornecem matrizes explícitas para os mapas $\alpha$ e $\beta$ nestes casos generalizados.

D. Classificação para $c_2 = 6$:

• O artigo utiliza o código computacional para analisar casos específicos em $B(0, 6)$, fornecendo dimensões de espaços tangentes para feixes associados a casos não cobertos pelas componentes padrão, auxiliando na classificação fina deste espaço.

4. Significado e Impacto

• Expansão do Conhecimento: O trabalho rompe o paradigma de que as componentes conhecidas (Instanton, Ein, Modificada) cobrem todo o espaço de módulos para $c_2$ altos. A descoberta de famílias infinitas de novas componentes altera a compreensão da geometria do espaço de módulos de feixes estáveis em $\mathbb{P}^3$.
• Ferramentas Computacionais: A disponibilização do código Macaulay2 e a metodologia de cálculo de $\text{Ext}^1$ fornecem um recurso valioso para a comunidade de geometria algébrica computacional, permitindo a verificação de suavidade e dimensão em casos complexos onde métodos puramente teóricos são insuficientes.
• Pontos Singulares: A identificação de componentes que contêm pontos singulares (onde a dimensão tangente é maior que a dimensão da componente) é crucial para entender a estrutura global e as singularidades dos espaços de módulos, um tópico central na teoria de deformações.
• Validação de Conjecturas: A verificação da conjectura para $k=3$ e $k=4$ sugere um padrão universal na existência de novas componentes para monads de posto superior, abrindo caminho para futuras generalizações.

Em suma, o artigo combina teoria de feixes vetoriais, geometria algébrica e computação simbólica para revelar uma estrutura muito mais rica e complexa no espaço de módulos $B(0, c_2)$ do que anteriormente se acreditava.