Coherent sheaves on primitive multiple schemes

Resumen Técnico: Haces Coherentes en Esquemas Múltiples Primitivos

Planteamiento del Problema
El artículo aborda el estudio de los haces coherentes en esquemas múltiples primitivos. Un esquema múltiple primitivo $Y$ se define como un esquema de Cohen-Macaulay sobre $\mathbb{C}$ tal que su subesquema reducido $X = Y_{\text{red}}$ es una variedad suave e irreducible, y $Y$ es localmente embebible en una variedad suave de dimensión $\dim(X) + 1$. El entero $n$ tal que $Y = X_n$ (el $n$-ésimo vecindario infinitesimal de $X$) se denomina la multiplicidad de $Y$.

Una dificultad primordial en este contexto es que, incluso si el soporte $X$ es proyectivo, el esquema $Y$ mismo no tiene por qué ser cuasi-proyectivo. En consecuencia, las herramientas estándar como el polinomio de Hilbert, que dependen de un haz de líneas ample en el esquema ambiente, no son directamente aplicables. El artículo busca establecer un marco para definir invariantes para haces coherentes en tales esquzas, estudiar familias planas de estos haces y construir espacios de módulos para clases específicas de haces, particularmente "haces balanceados" e ideales de puntos.

Metodología
El autor emplea una combinación de técnicas algebraicas locales y construcciones geométricas globales:

1. Anillos Múltiples Primitivos: El estudio comienza con la estructura algebraica local, definiendo anillos múltiples primitivos $R[n] = R[t]/(t^n)$ asociados a un dominio noetheriano $R$. El artículo analiza módulos sobre estos anillos, introduciendo filtraciones canónicas (primera y segunda) y definiendo propiedades tales como "cuasi-libres" y "balanceados".
2. Filtraciones Canónicas: Para un haz coherente $E$ sobre $Y$, se definen dos filtraciones canónicas:
   • La primera filtración canónica ($E_i$) se define mediante los núcleos de las restricciones al subesquema reducido.
   • La segunda filtración canónica ($E^{(i)}$) se define mediante los subhaces anulados por potencias del haz ideal $I_X$.
     Estas filtraciones permiten la reducción de problemas globales en $Y$ a problemas en el soporte suave $X$.
3. Invariantes Reducidos: Para manejar la falta de cuasi-proyectividad, el artículo define el polinomio de Hilbert reducido $P_{\text{red}, \mathcal{O}_X(1)}(E)$ y las clases de Chern reducidas. Estas se construyen sumando los invariantes estándar de los cocientes sucesivos de la filtración canónica (que están soportados en $X$). El artículo demuestra que estos invariantes son independientes de la elección de la filtración y son invariantes bajo deformaciones planas.
4. Haces Balanceados: Un haz coherente $E$ se define como balanceado si sus dos filtraciones canónicas coinciden ($E_i = E^{(n-i)}$). Esta condición generaliza la noción de fibrados vectoriales. El artículo investiga la estabilidad de esta propiedad en familias planas, demostrando que es una condición abierta.
5. Estructuras de Fibrados Afines: Para casos específicos, particularmente ideales de puntos en superficies dobles primitivas ($n=2, \dim(X)=2$), el artículo utiliza métodos cohomológicos para describir los espacios de parámetros de estos haces como fibrados afines sobre el soporte $X$.

Contribuciones Clave y Resultados

• Polinomios de Hilbert Reducidos: El artículo establece que para cualquier haz coherente $E$ en un esquema múltiple primitivo $Y$, se puede definir un polinomio de Hilbert reducido relativo a un haz de líneas ample en $X$. Se demuestra que este polinomio es constante en familias planas, proporcionando un invariante necesario para problemas de módulos incluso cuando $Y$ no es proyectivo.
• Haces Cuasi-Libres: El artículo extiende la teoría de haces cuasi-libres (aquellos localmente isomorfos a sumas directas de haces estructura de vecindarios infinitesimales) a dimensiones superiores. Demuestra que, en una familia plana de tales haces con tipo constante, las filtraciones canónicas forman familias planas ellas mismas.
• Haces Balanceados:
  • Se introduce el concepto de haces balanceados como una generalización natural de los fibrados vectoriales.
  • Se demuestra que la propiedad de ser balanceado es abierta en familias planas sobre una curva suave.
  • Para esquemas dobles primitivos ($n=2$), el artículo caracteriza los haces balanceados mediante la suryectividad de morfismos específicos entre los componentes graduados de la filtración canónica.
  • Se establece un resultado de cerradura: dado una familia plana de haces sin torsión sobre una superficie $X$, el lugar donde el haz puede extenderse a un haz balanceado en el esquema doble $X_2$ es cerrado.
• Módulos de Ideales en Superficies Dobles:
  • El artículo se centra en el caso más simple de haces balanceados no localmente libres en una superficie doble primitiva $X_2$: aquellos cuya restricción a $X$ es el ideal de un punto $P$.
  • Se muestra que, para un punto $P$ fijo, el conjunto de tales ideales forma un espacio afín con el espacio vectorial asociado $T_{X,P} \otimes L$ (donde $L$ es el haz de líneas asociado a $Y$).
  • Globalmente, el conjunto $\mathcal{I}$ de todos estos haces forma un fibrado afín sobre el soporte $X$ con el fibrado vectorial asociado $T_X \otimes L$.
  • El artículo construye una familia universal de estos ideales parametrizada por $\mathcal{I}$.
• Espacios de Módulos Finos: Al combinar el fibrado afín de los ideales con el grupo de Picard de $X_2$, el artículo construye un espacio de módulos fino $\mathcal{I}(X_2) \cong \mathcal{I} \times \text{Pic}(X_2)$ para haces de la forma $I \otimes D$. La estructura de este espacio de módulos se describe en términos de fibrados afines sobre la base $X \times \Gamma(X_2)$, donde $\Gamma(X_2)$ es el subgrupo de haces de líneas en $X$ extendibles a $X_2$.

Significancia y Pretensiones
El artículo pretende proporcionar el marco fundacional para el estudio de los haces coherentes en esquemas múltiples primitivos, una clase de esquemas singulares que surgen naturalmente en la teoría de deformaciones pero que a menudo carecen de embebimientos proyectivos globales.

• Generalización: El trabajo generaliza resultados previos sobre curvas múltiples primitivas (estudiadas en las referencias [17], [2], [3], etc.) a dimensiones arbitrarias.
• Teoría de Módulos: Extiende la construcción de espacios de módulos finos de fibrados vectoriales (previamente descritos en [15]) a la categoría más amplia de haces balanceados y haces sin torsión.
• Nuevos Invariantes: La introducción de polinomios de Hilbert reducidos y clases de Chern permite la aplicación de técnicas de estabilidad y de módulos a esquemas que no son cuasi-proyectivos.
• Aplicaciones Específicas: El análisis detallado de los ideales en superficies dobles proporciona ejemplos concretos de espacios de módulos que son fibrados afines, vinculando la geometría del espacio de módulos directamente con el haz tangente del soporte y el haz de líneas asociado.

El artículo no pretende resolver el problema general de los módulos para todos los haces coherentes en esquemas múltiples primitivos, sino que establece las definiciones, invariantes y resultados estructurales necesarios para clases específicas e importantes (haces cuasi-libres y balanceados), permitiendo así el estudio posterior de sus espacios de módulos.