The Complete Intersection Discrepancy of a Curve I: Numerical Invariants

Resumen Técnico: La Discrepancia de Intersección Completa de una Curva

1. Planteamiento del Problema

El artículo aborda el desafío de calcular invariantes numéricos fundamentales de curvas algebraicas que no son intersecciones completas, pero que están contenidas en una variedad ambiente suave. Específicamente, se busca generalizar dos fórmulas clásicas:

1. La fórmula de multiplicidad en la teoría de singularidades (debida a Lê, Greuel y Teissier), que relaciona invariantes básicos de una singularidad de curva.
2. La fórmula de género-grado para curvas proyectivas.

El problema central es cuantificar la "diferencia" entre una curva $X$ (que puede tener singularidades y no ser una intersección completa) y una curva de intersección completa $Z$ que la contiene genéricamente. En el lenguaje de la teoría de enlace (linkage), $X$ y su complemento $W = Z \setminus X$ están "enlazados geométricamente" por $Z$. El objetivo es expresar los invariantes de $X$ en términos de los de $Z$ más un término de corrección que mida la discrepancia entre ambas curvas.

2. Metodología

Los autores emplean una combinación de herramientas avanzadas de geometría algebraica y álgebra conmutativa:

• Teoría de Dualidad de Grothendieck: La herramienta técnica principal es una identidad de tipo adjunción derivada de la dualidad. Para una inmersión cerrada $i: X \hookrightarrow Z$ donde $Z$ es Gorenstein y $X$ es Cohen-Macaulay de la misma dimensión, se establece la relación entre los haces dualizantes:
  $$\omega_X \cong i^*(I_W \omega_Z)$$
  donde $I_W$ es el ideal sheaf de $W$ en $Z$.
• Construcción de Intersecciones Completas: Mediante el uso de la evitación de primos (prime avoidance) y álgebra lineal sobre el cuerpo base $k$, construyen explícitamente una curva de intersección completa $Z$ definida por polinomios homogéneos que contienen a $X$ y coinciden con ella en los puntos genéricos de cada componente irreducible.
• Invariancia en Familias Planas: Utilizan resultados previos (BGR26) que demuestran que ciertos invariantes, como la multiplicidad de la discrepancia, son constantes en familias planas. Esto permite calcular invariantes en el caso singular reduciéndolos al caso suave o a deformaciones suaves.
• Descomposición de Euler y Fórmulas de Grado: Generalizan fórmulas para la característica de Euler de haces localmente libres y aplican el teorema de Bézout y secuencias exactas cortas para relacionar las características de Euler de $X$, $W$ y $Z$.

3. Contribuciones Clave y Definiciones

La Discrepancia de Intersección Completa (CID):
Se define la discrepancia de intersección completa de $X$ respecto a $Z$ en un punto $x$, denotada como $I_x(X, W)$, como el número de intersección:
$$I_x(X, W) := \dim_k \mathcal{O}_{X,x} / (I_X + I_W)$$
La discrepancia global es la suma sobre los puntos de intersección: $I(X, W) = \sum I_x(X, W)$.

• Intrínseca: Cuando $Z$ es una elección "general", este valor se convierte en un invariante intrínseco de la singularidad de $X$, denotado como $\text{cid}(X, x)$.

Nuevas Fórmulas de Invariantes:
Los autores introducen relaciones que vinculan la discrepancia con invariantes clásicos como el número de Milnor ($\mu_x$), el invariante delta ($\delta_x$), la multiplicidad ($m_x$) y la multiplicidad del ideal de ramificación ($e(R_X)$).

4. Resultados Principales

Teorema A: Fórmula de Multiplicidad para Singularidades
Para una singularidad de curva $(X, x)$ contenida en una intersección completa $(Z, x)$:
$$e(\text{Jac}(Z, x)) - I_x(X, W) = 2\delta_x + e(R_X)$$
Donde $e(\text{Jac}(Z, x))$ es la multiplicidad de Hilbert-Samuel del ideal jacobiano de $Z$.

• Si $Z$ es general, $e(\text{Jac}(Z, x)) = e(\text{Jac}(X, x))$.
• Si el punto es "manso" (tame, e.g., característica 0), la fórmula se simplifica a:
  $$e(\text{Jac}(X, x)) - \text{cid}(X, x) = \mu_x + m_x - 1$$
  Esto generaliza resultados clásicos de Teissier, Lê y Greuel a curvas arbitrarias (no solo completas o planas).

Teorema B: Fórmula del Género Aritmético
Para una curva proyectiva $X \subset \mathbb{P}^n_k$ de Cohen-Macaulay que es genéricamente una intersección completa, definida por polinomios de grados $d_1, \dots, d_{n-1}$:
$$p_a(X) = 1 + \frac{(d_1 + \dots + d_{n-1} - n - 1)\deg(X) - I(X, W)}{2}$$

• Esta fórmula generaliza la clásica fórmula de género-grado para curvas suaves.
• Si $X$ es suave, $I(X, W)$ puede calcularse directamente mediante el ideal jacobiano de $Z$ sin necesidad de encontrar explícitamente las ecuaciones de $W$:
  $$I(X, W) = \dim_k S(X)(h) / \text{Jac}(Z)$$
  donde $h$ es una forma lineal general.

Corolario C: Curvas Casi Intersección Completa (aci)
Para curvas definidas por $n$ ecuaciones en $\mathbb{P}^n$ (casi intersección completa), se obtiene una fórmula cerrada para la discrepancia:
$$I(X, W) = \prod_{i=1}^n d_i - d_n \deg(X)$$
Esto permite calcular el género aritmético y establecer cotas inferiores para el grado de curvas no degeneradas.

Interpretación Geométrica (Sección 4):
Para curvas Gorenstein, la cantidad $e(\text{Jac}(X, x)) - \text{cid}(X, x)$ se interpreta como el grado del divisor excepcional del blowup de Nash de la singularidad. Además, se responde a una pregunta de Piene: el ideal jacobiano $\omega$ coincide con el ideal jacobiano usual si y solo si $X$ es una intersección completa local.

5. Significado e Impacto

1. Generalización Unificada: El trabajo unifica y extiende fórmulas clásicas de la teoría de singularidades y geometría proyectiva a curvas que no son intersecciones completas, introduciendo un término de corrección geométrico y computable.
2. Computabilidad: A diferencia de métodos anteriores que requerían descomposiciones primarias complejas para encontrar las ecuaciones de la curva residual $W$, este enfoque permite calcular la discrepancia $I(X, W)$ directamente a partir de las ecuaciones de $X$ y la intersección completa $Z$ (usando ideales jacobianos y cocientes de dimensión de espacios vectoriales).
3. Aplicaciones en Equisingularidad: La fórmula de multiplicidad (Teorema A) proporciona una caracterización de la equisingularidad para familias de curvas, vinculando el cambio en los invariantes con la variedad polar relativa.
4. Conexión con la Dualidad: El uso de la identidad de adjunción de Grothendieck demuestra la potencia de la teoría de haces dualizantes para resolver problemas concretos de enumeración y cálculo de invariantes en geometría algebraica.
5. Apéndice de Marc Chardin: Proporciona una prueba puramente algebraica de la fórmula del género sin asumir restricciones sobre el cuerpo base $k$, utilizando resoluciones libres y la dualidad de Serre en el contexto de módulos graduados, reforzando la robustez de los resultados.

En resumen, el artículo establece un marco teórico y computacional sólido para estudiar curvas singulares mediante su inmersión en intersecciones completas, definiendo un nuevo invariante numérico (la discrepancia) que actúa como puente entre la geometría local de la singularidad y la geometría global de la curva proyectiva.