Stability conditions and infinitesimal deformation of curves

Resumen Técnico: Condiciones de Estabilidad y Deformación Infinitesimal de Curvas

Enunciado del Problema
El artículo investiga el comportamiento del espacio de condiciones de estabilidad, denotado $\text{Stab}(\mathcal{D})$, bajo deformaciones infinitesimales de variedades algebraicas. Si bien la estructura de $\text{Stab}(\mathcal{D})$ está bien entendida para curvas proyectivas suaves sobre un cuerpo (clasificada por Okada, Bridgeland y Macrì para diversos géneros), la literatura existente se centra principalmente en esquemas reducidos. El autor aborda la laguna en la comprensión de las condiciones de estabilidad para esquemas no reducidos, específicamente deformaciones infinitesimales de curvas proyectivas suaves. La pregunta central es si el espacio de condiciones de estabilidad es invariante bajo tales deformaciones y cómo las simetrías derivadas del esquema deformado se relacionan con el esquema reducido original.

Metodología
El autor emplea una combinación de teoría de categorías derivadas, teoría de deformación de haces coherentes y las propiedades específicas de las condiciones de estabilidad. La metodología procede a través de los siguientes pasos lógicos:

1. Modelo de Juguete (Anillos Artinianos): El artículo establece primero una línea de base analizando el esquema afín $\text{Spec}(R)$ donde $(R, \mathfrak{m})$ es un álgebra local $k$-artínica. Se demuestra que $\text{Stab}(\mathcal{D}^b(\text{Spec } R))$ no es vacío y es isomorfo a $\text{Stab}(\mathcal{D}^b(k))$. Esto se basa en la observación de que los objetos estables en la categoría derivada de un anillo artiniano son esencialmente módulos sobre el cuerpo residual.

2. Subcategorías Casi Hereditarias: Una herramienta técnica central introducida es el concepto de subcategoría "casi hereditaria". Una subcategoría abeliana plena $\mathcal{A}_0 \subset \mathcal{A}$ es casi hereditaria si la anulación de $\text{Hom}^0$ y $\text{Hom}^1$ entre objetos en $\mathcal{A}_0$ implica la anulación de todos los grupos $\text{Hom}$ superiores. El autor demuestra que para una deformación infinitesimal $\pi: X \to \text{Spec } R$ de una curva suave $X_0$, la inclusión de haces coherentes $\text{Coh}(X_0) \hookrightarrow \text{Coh}(X)$ satisface esta propiedad. Esto se establece utilizando la teoría de deformación de haces localmente libres en curvas, aprovechando específicamente la anulación de obstrucciones en $H^2$.

3. Análisis de Objetos Estables: Utilizando la propiedad casi hereditaria, el autor demuestra que cualquier objeto estable con respecto a una condición de estabilidad en $\mathcal{D}^b(X)$ debe estar en la imagen del funtor de empuje derivado $j_*: \mathcal{D}^b(X_0) \to \mathcal{D}^b(X)$ (salvo desplazamientos). Esto reduce el estudio de la estabilidad en el espacio deformado al espacio reducido.

4. Análisis Caso por Caso: La prueba del isomorfismo principal se divide según el género $g$ de la curva $X_0$:

   • Género $g > 0$: El autor utiliza el hecho de que la dimensión homológica de $\mathcal{D}^b(X_0)$ es 1. Mediante el análisis de la estabilidad de haces de skyscraper y haces de líneas, se muestra que el grupo de autoequivalencias y las condiciones de estabilidad se comportan uniformemente.
   • Género $g = 0$: El caso de la recta proyectiva $\mathbb{P}^1$ se trata generalizando los resultados de Okada. El autor utiliza descomposiciones semi-ortogonales y los triángulos exactos específicos que involucran haces de líneas y haces de skyscraper en $\mathbb{P}^1_R$ para clasificar las condiciones de estabilidad.
   • Género $g = 1$: El análisis implica la interacción entre la estabilidad por pendiente y la estructura específica de haces indecomponibles en curvas elípticas.

5. Acciones Inducidas: El artículo construye un homomorfismo de grupos desde el grupo de autoequivalencias $\text{Aut}(\mathcal{D}^b(X))$ hacia $\text{Aut}(\mathcal{D}^b(X_0))$ demostrando que cualquier autoequivalencia de la categoría deformada preserva la subcategoría $\text{Im}(j_*)$.

Contribuciones y Resultados Clave

• Teorema 1.2 (Resultado Principal): Sea $X$ una deformación infinitesimal de una curva proyectiva suave $X_0$ sobre un anillo local artiniano. El funtor de empuje derivado $j_*$ induce un isomorfismo de variedades complejas:
  $$j_*^{-1}: \text{Stab}(\mathcal{D}^b(X)) \xrightarrow{\sim} \text{Stab}(\mathcal{D}^b(X_0)).$$
  Este resultado implica que la existencia y la estructura de las condiciones de estabilidad dependen únicamente del esquema reducido subyacente y son insensibles al engrosamiento infinitesimal.

• Proposición 1.3: Existe un homomorfismo de grupos natural $\text{Aut}(\mathcal{D}^b(X)) \to \text{Aut}(\mathcal{D}^b(X_0))$. Esto establece un vínculo entre las simetrías derivadas del esquema deformado y el esquema original, mostrando que la estructura de deformación no introduce nuevas autoequivalencias que actúen de manera no trivial sobre la parte reducida.

• Proposición 3.10 y Corolario 3.12: El artículo confirma que para un anillo local artiniano $R$, $\text{Stab}(\mathcal{D}^b(R))$ no es vacío y es isomorfo a $\text{Stab}(\mathcal{D}^b(k))$, y más generalmente, $\text{Stab}(\mathcal{D}^b(A))$ no es vacío si y solo si la dimensión de Krull del anillo noetheriano $A$ es cero.

• Lema Técnico (Proposición 4.4): La prueba de que $\text{Coh}(X_0)$ es una subcategoría casi hereditaria de $\text{Coh}(X)$ es una contribución técnica significativa, que permite la reducción de problemas de estabilidad desde el entorno no reducido al entorno reducido.

Significado
El artículo reclama importancia al extender la teoría de las condiciones de estabilidad al entorno no reducido, un dominio previamente poco explorado en la literatura. Al demostrar que el espacio de condiciones de estabilidad es invariante bajo deformaciones infinitesimales de curvas, el autor proporciona una comparación directa entre los entornos deformados y no deformados. Este resultado sugiere que la estructura de "variedad compleja" de $\text{Stab}(\mathcal{D})$ es robusta frente a perturbaciones infinitesimales de la geometría subyacente. Además, la construcción del homomorfismo entre grupos de autoequivalencias ofrece una nueva perspectiva sobre cómo interactúan las simetrías derivadas con la teoría de deformaciones, vinculando las simetrías del objeto deformado directamente con las de su núcleo reducido. El autor señala que generalizar estos resultados a curvas singulares o variedades de dimensión superior (como superficies) requeriría nuevas ideas, ya que la prueba actual depende en gran medida de que la dimensión homológica de la curva sea 1.