Preservation of stability under the Fourier-Mukai transform whose kernel is the Poincare line bundle

Resumen Técnico: Preservación de la Estabilidad bajo la Transformada de Fourier-Mukai

Planteamiento del Problema
El artículo aborda el comportamiento de la estabilidad de Gieseker para haces coherentes en una superficie abeliana $X$ bajo la transformada de Fourier-Mukai $\Phi_{P^\vee}: D(X) \to D(\hat{X})$, donde el núcleo es el dual del fibrado de línea de Poincaré $P$. Si bien la transformada de Fourier-Mukai induce una equivalencia de categorías derivadas, no preserva generalmente la estabilidad de los haces. Trabajos previos (específicamente [16]) establecieron la preservación de la estabilidad para superficies abelianas con número de Picard $\rho(X)=1$. Este artículo extiende la investigación al caso general donde el número de Picard $\rho(X) \geq 1$, con el objetivo de identificar las condiciones bajo las cuales la transformada de un haz estable general permanece estable (posiblemente tras un desplazamiento o dualización) con respecto a un divisor ample adecuado en la superficie dual $\hat{X}$.

Un enfoque secundario es la propiedad débil de Brill-Noether, la cual afirma la existencia de un haz en un espacio de módulos con como máximo un grupo de cohomología no nulo. El autor señala que esta propiedad falla en general cuando el stack de módulos es reducible y la polarización está cerca del límite del cono ample. El artículo busca establecer condiciones donde esta propiedad se cumple para un divisor ample fijo.

Metodología
La herramienta principal empleada es la teoría de las condiciones de estabilidad de Bridgeland en la categoría derivada $D(X)$. El autor analiza el comportamiento de "cruce de muros" (wall-crossing) de las condiciones de estabilidad dentro del espacio $\text{Stab}(X)$.

1. Condiciones de Estabilidad Geométricas: El estudio se centra en la línea $L = \{(0, tH) \mid t > 0\}$ en el espacio de parámetros de estabilidad, correspondiente a las condiciones de estabilidad geométricas $\sigma_{(0, tH)}$.
2. Muros Totalmente Semi-estables: El autor investiga los "muros totalmente semi-estables", definidos como muros donde los espacios de módulos de objetos estables en ambos lados son disjuntos. Estos muros corresponden a descomposiciones del vector de Mukai $v$ en vectores isotrópicos.
3. Análisis de Cruce de Muros: Al rastrear el comportamiento de un objeto estable general $E$ a medida que el parámetro $t$ varía a lo largo de la línea $L$, el artículo determina cuándo $E$ transiciona de ser un haz sin torsión a ser un complejo con cohomología en el grado $-1$ (o viceversa).
4. Compatibilidad de Fourier-Mukai: El artículo utiliza la isometría conocida del retículo de Mukai inducida por $\Phi$ y lemas específicos (por ejemplo, el Lema 1.2) sobre cómo $\Phi$ actúa sobre haces semi-estables con vectores de Mukai isotrópicos. El argumento central consiste en mostrar que para un haz estable general $E$, su transformada $\Phi(E)$ (o $\Phi(E)[1]$) sigue siendo un haz coherente y es estable con respecto a una polarización específica $L'$ en $\hat{X}$.

Contribuciones Clave y Resultados

1. Teorema Principal sobre la Preservación de la Estabilidad (Teorema 0.1 / Teorema 3.12)
El artículo establece las condiciones bajo las cuales la transformada de Fourier-Mukai preserva la estabilidad para un haz general $E$ en el stack de módulos $M_L(v)$, donde $v=(r, \xi, a)$ es un vector de Mukai con $r>0$ y $(\xi \cdot H) > 0$. Sea $\ell = \langle v^2 \rangle / 2$.

• Caso $a > 0$: Si $X$ no es un producto de curvas elípticas o $\xi$ no es primitivo, existen divisores amples $L$ y $L'$ tales que $\Phi(E)^\vee$ es $L'$-estable para un $E \in M_L(v)$ general.
• Caso $a \leq 0$: Excluyendo casos excepcionales específicos que involucran curvas elípticas (por ejemplo, $v = (\ell, kC, -1)$), existen divisores amples $L$ y $L'$ tales que $\Phi(E)[1]$ es $L'$-estable para un $E \in M_L(v)$ general.

2. Propiedad Débil de Brill-Noether (Proposición 0.2 / Proposición 3.16)
El autor demuestra que para cualquier vector de Mukai $v=(r, \xi, a)$ con $r>0$, $(\xi \cdot H) > 0$, y $\langle v^2 \rangle \geq 0$, existe un divisor ample $L$ tal que la propiedad débil de Brill-Noether se cumple para $M_L(v)$. Específicamente, existe un haz $E \in M_L(v)$ que tiene como máximo un grupo de cohomología no nulo. Este resultado se deriva directamente de los resultados de preservación de estabilidad, que aseguran que la transformada cae en el corazón (heart) de la categoría derivada (es decir, es un haz) para un objeto general.

3. Irreducibilidad e Independencia de la Polarización (Corolario 0.3)
Bajo el supuesto de que el stack de módulos $M(v)$ es irreducible (lo cual ocurre si $v$ es primitivo y se cumplen ciertas condiciones numéricas, por ejemplo, $\langle v^2 \rangle \geq 2r, 2a$), el artículo muestra que la preservación de la estabilidad se cumple con respecto a la polarización asociada naturalmente $\hat{H}$ en la superficie dual, sin necesidad de ajustar la polarización en $X$.

4. Caso Específico: Divisores Amples de la Forma $dH$ (Teorema 0.4 / Teorema 3.24)
Cuando el vector de Mukai es de la forma $v=(r, dH, a)$:

• Si $d \geq 0$, la propiedad débil de Brill-Noether se cumple.
• Si $d < 0$, la propiedad se cumple a menos que $v$ tome una forma excepcional específica relacionada con enteros negativos y curvas elípticas.
  Esta sección también proporciona una caracterización de cuándo existe un haz $aCM$ (arithmetically Cohen-Macaulay) para un dado vector de Mukai (Corolario 3.25).

Significancia y Reivindicaciones
El artículo afirma generalizar los resultados previos sobre la preservación de la estabilidad desde el caso de número de Picard 1 a superficies abelianas arbitrarias. Al utilizar la estabilidad de Bridgeland y analizar el cruce de muros a lo largo de una línea específica en el manifold de estabilidad, el autor proporciona un método constructivo para encontrar polarizaciones que preserven la estabilidad bajo la transformada de Fourier-Mukai.

El autor establece explícitamente que estos resultados resuelven la propiedad débil de Brill-Noether para divisores amples fijos, contrastando con hallazgos anteriores (por ejemplo, en [6]) donde la propiedad falla para ciertos espacios de módulos reducibles o polarizaciones cerca del límite del cono ample. El trabajo refina la comprensión de la geometría de los espacios de módulos de haces en superficies abelianas y su comportamiento bajo equivalencias derivadas.

Limitaciones y Excepciones
El artículo nota cuidadosamente los casos excepcionales donde los teoremas generales no se aplican, involucrando principalmente:

• Productos de curvas elípticas.
• Vectores primitivos $\xi$ en configuraciones específicas.
• Vectores de Mukai de la forma $(\ell, kC, -1)$ o $(1, kC, -\ell)$ donde $C$ es una curva elíptica y $k \geq \ell + 1$.
  En estos casos excepcionales, la transformada a menudo resulta en un haz coherente con torsión en lugar de un fibrado estable, o la estructura del espacio de módulos impide la preservación estándar de la estabilidad.