Stability conditions and infinitesimal deformation of curves

Resumo Técnico: Condições de Estabilidade e Deformação Infinitesimal de Curvas

Enunciado do Problema
O artigo investiga o comportamento do espaço de condições de estabilidade, denotado por $\text{Stab}(\mathcal{D})$, sob deformações infinitesimais de variedades algébricas. Embora a estrutura de $\text{Stab}(\mathcal{D})$ seja bem compreendida para curvas projetivas suaves sobre um corpo (classificada por Okada, Bridgeland e Macrì para vários gêneros), a literatura existente foca principalmente em esquemas reduzidos. O autor aborda a lacuna na compreensão das condições de estabilidade para esquemas não reduzidos, especificamente deformações infinitesimais de curvas projetivas suaves. A questão central é se o espaço de condições de estabilidade é invariante sob tais deformações e como as simetrias derivadas do esquema deformado se relacionam com o esquema reduzido original.

Metodologia
O autor emprega uma combinação da teoria de categorias derivadas, teoria de deformação de feixes coerentes e propriedades específicas de condições de estabilidade. A metodologia procede através dos seguintes passos lógicos:

1. Modelo de Brinquedo (Anéis Artinianos): O artigo estabelece primeiro uma linha de base analisando o esquema afim $\text{Spec}(R)$ onde $(R, \mathfrak{m})$ é uma álgebra local $k$-artiniana. Prova-se que $\text{Stab}(\mathcal{D}^b(\text{Spec } R))$ é não vazio e isomorfo a $\text{Stab}(\mathcal{D}^b(k)). Isso depende da observação de que objetos estáveis na categoria derivada de um anel artiniano são essencialmente módulos sobre o corpo residual.

2. Subcategorias Quase Hereditárias: Uma ferramenta técnica central introduzida é o conceito de uma subcategoria "quase hereditária". Uma subcategoria abeliana plena $\mathcal{A}_0 \subset \mathcal{A}$ é quase hereditária se a anulação de $\text{Hom}^0$ e $\text{Hom}^1$ entre objetos em $\mathcal{A}_0$ implicar a anulação de todos os grupos $\text{Hom}$ superiores. O autor prova que, para uma deformação infinitesimal $\pi: X \to \text{Spec } R$ de uma curva suave $X_0$, a inclusão de feixes coerentes $\text{Coh}(X_0) \hookrightarrow \text{Coh}(X)$ satisfaz essa propriedade. Isso é estabelecido usando a teoria de deformação de feixes localmente livres em curvas, explorando especificamente a anulação de obstruções em $H^2$.

3. Análise de Objetos Estáveis: Usando a propriedade quase hereditária, o autor demonstra que qualquer objeto estável em relação a uma condição de estabilidade em $\mathcal{D}^b(X)$ deve estar na imagem do funtor de imagem direta derivada $j_*: \mathcal{D}^b(X_0) \to \mathcal{D}^b(X)$ (a menos de deslocamentos). Isso reduz o estudo da estabilidade no espaço deformado ao espaço reduzido.

4. Análise Caso a Caso: A prova do isomorfismo principal é dividida com base no gênero $g$ da curva $X_0$:

   • Gênero $g > 0$: O autor utiliza o fato de que a dimensão homológica de $\mathcal{D}^b(X_0)$ é 1. Ao analisar a estabilidade de feixes de skyscraper e fibrados de linha, mostra-se que o grupo de autoequivalências e as condições de estabilidade comportam-se uniformemente.
   • Gênero $g = 0$: O caso da linha projetiva $\mathbb{P}^1$ é tratado generalizando os resultados de Okada. O autor utiliza decomposições semi-ortogonais e os triângulos exatos específicos envolvendo fibrados de linha e feixes de skyscraper em $\mathbb{P}^1_R$ para classificar as condições de estabilidade.
   • Gênero $g = 1$: A análise envolve a interação entre estabilidade por inclinação e a estrutura específica de feixes indecomponíveis em curvas elípticas.

5. Ações Induzidas: O artigo constrói um homomorfismo de grupos do grupo de autoequivalências $\text{Aut}(\mathcal{D}^b(X))$ para $\text{Aut}(\mathcal{D}^b(X_0))$, mostrando que qualquer autoequivalência da categoria deformada preserva a subcategoria $\text{Im}(j_*)$.

Contribuições e Resultados Principais

• Teorema 1.2 (Resultado Principal): Seja $X$ uma deformação infinitesimal de uma curva projetiva suave $X_0$ sobre um anel local artiniano. O funtor de imagem direta derivada $j_*$ induz um isomorfismo de variedades complexas:
  $$j_*^{-1}: \text{Stab}(\mathcal{D}^b(X)) \xrightarrow{\sim} \text{Stab}(\mathcal{D}^b(X_0)).$$
  Este resultado implica que a existência e a estrutura das condições de estabilidade dependem exclusivamente do esquema reduzido subjacente e são insensíveis ao espessamento infinitesimal.

• Proposição 1.3: Existe um homomorfismo de grupos natural $\text{Aut}(\mathcal{D}^b(X)) \to \text{Aut}(\mathcal{D}^b(X_0))$. Isso estabelece um vínculo entre as simetrias derivadas do esquema deformado e o esquema original, mostrando que a estrutura de deformação não introduz novas autoequivalências que atuem de forma não trivial na parte reduzida.

• Proposição 3.10 e Corolário 3.12: O artigo confirma que, para um anel local artiniano $R$, $\text{Stab}(\mathcal{D}^b(R))$ é não vazio e isomorfo a $\text{Stab}(\mathcal{D}^b(k))$, e, mais geralmente, $\text{Stab}(\mathcal{D}^b(A))$ é não vazio se e somente se a dimensão de Krull do anel noetheriano $A$ for zero.

• Lema Técnico (Proposição 4.4): A prova de que $\text{Coh}(X_0)$ é uma subcategoria quase hereditária de $\text{Coh}(X)$ é uma contribuição técnica significativa, permitindo a redução de problemas de estabilidade do cenário não reduzido para o cenário reduzido.

Significado
O artigo reivindica importância ao estender a teoria das condições de estabilidade para o cenário não reduzido, um domínio previamente pouco explorado na literatura. Ao provar que o espaço de condições de estabilidade é invariante sob deformações infinitesimais de curvas, o autor fornece uma comparação direta entre os cenários deformado e não deformado. Este resultado sugere que a estrutura de "variedade complexa" de $\text{Stab}(\mathcal{D})$ é robusta contra perturbações infinitesimais da geometria subjacente. Além disso, a construção do homomorfismo entre grupos de autoequivalências oferece uma nova perspectiva sobre como as simetrias derivadas interagem com a teoria de deformação, ligando as simetrias do objeto deformado diretamente às de seu núcleo reduzido. O autor observa que generalizar esses resultados para curvas singulares ou variedades de dimensão superior (como superfícies) exigiria novas ideias, uma vez que a prova atual depende fortemente da dimensão homológica da curva ser 1.