Deletion-addition of a smooth conic for free curves

1. Problema y Contexto

El artículo aborda un problema fundamental en la geometría algebraica y la teoría de arreglos de hiperplanos: la frecuencia (freeness) de curvas proyectivas reducidas en el plano complejo $\mathbb{P}^2$.

• Fondo: La propiedad de "libre" (free) para una curva $C$ se define mediante la estructura del módulo de derivaciones logarítmicas $D(C)$. Para arreglos de líneas (hiperplanos en $\mathbb{P}^2$), existe una teoría bien desarrollada con teoremas de adición-eliminación (como el de Terao).
• Desafío: La generalización de estos resultados a curvas que incluyen cónicas suaves (arreglos línea-cónica o CL-arrangements) y curvas reducidas generales es mucho más compleja. A diferencia de los arreglos de líneas, la propiedad de ser libre para curvas no está determinada únicamente por la combinatoria de sus intersecciones.
• Objetivo: El autor investiga cómo cambia la propiedad de libertad (y propiedades adyacentes como "generado por más de uno" o plus-one generated) al eliminar o añadir una cónica suave a una curva libre. El trabajo busca responder preguntas abiertas sobre qué tipos de curvas resultan de estas operaciones y establecer obstrucciones geométricas y combinatorias.

2. Metodología

La metodología se basa en el análisis algebraico de los módulos de derivaciones logarítmicas y el uso de secuencias exactas de haces vectoriales.

• Módulos de Derivaciones: Se estudia el módulo $D_0(C)$ (el submódulo de derivaciones que anulan el polinomio definidor de la curva, excluyendo la derivación de Euler).
• Resoluciones Mínimas: Se analiza la resolución libre mínima de $D_0(C)$.
  • Una curva es libre si $D_0(C)$ es un módulo libre.
  • Una curva es plus-one generated si su resolución tiene una forma específica con un término extra (relacionado con un nivel $\ell$).
• Secuencias Exactas: El núcleo de la prueba utiliza secuencias exactas cortas de haces vectoriales asociadas a la intersección de la curva con la cónica.
  • Para triples cuasihomogéneos $(C, C', C'')$ (donde $C'$ es la curva original, $C$ la cónica y $C''$ la intersección), se utiliza la secuencia:
    $$0 \to \mathcal{E}_{C'}(-2) \xrightarrow{\cdot f_C} \mathcal{E}_C \to i_*\mathcal{O}_{\mathbb{P}^1}(-k) \to 0$$
    donde $k$ es el número de puntos de intersección (contando multiplicidad y defectos de cuasihomogeneidad).
• Series de Hilbert: Se calculan las series de Hilbert de los módulos de derivaciones resultantes para determinar los grados de los generadores mínimos (exponentes generalizados) y clasificar la curva resultante.
• Generalización: El autor extiende los resultados desde arreglos CL (líneas y cónicas) a curvas reducidas generales, introduciendo el término $\epsilon(C', C)$ (la medida del defecto de cuasihomogeneidad de las singularidades) para ajustar el conteo de intersecciones en el caso no cuasihomogéneo.

3. Contribuciones Clave

1. Teoremas de Adición-Eliminación Completos: A diferencia de trabajos previos (como Schenck-Tohăneanu) que solo caracterizaban cuándo el resultado seguía siendo libre, este artículo caracteriza completamente los tres posibles resultados de la operación:
   • La curva resultante es libre.
   • La curva resultante es plus-one generated.
   • La curva resultante es ni libre ni plus-one generated (clasificada como curva de "tipo 2" en trabajos recientes).
2. Criterios Combinatorios y Geométricos: Se establecen condiciones necesarias y suficientes basadas en el número de puntos de intersección (ajustado por $\epsilon$) y los exponentes de la curva original para predecir el resultado de la operación.
3. Generalización a Curvas Reducidas: Se demuestra que los resultados válidos para arreglos CL-arrangements bajo hipótesis cuasihomogéneas se extienden a curvas reducidas arbitrarias, eliminando la restricción de cuasihomogeneidad mediante el uso del invariante $\epsilon$.
4. Obstrucciones Geométricas: Se generalizan teoremas de Abe (originalmente para arreglos de líneas) a curvas libres reducidas, proporcionando obstrucciones sobre el número de puntos de restricción a líneas y cónicas.

4. Resultados Principales

El artículo presenta dos teoremas centrales (y sus versiones generalizadas) para una curva libre $C$ con exponentes $(a, b)$ y una cónica suave $C_{conic}$:

A. Eliminación de una Cónica (Teorema 3.2 y 3.14)

Si se elimina una cónica suave de una curva libre $C$ para obtener $C'$:

• Sea $k = |C' \cap C_{conic}| + \epsilon(C', C_{conic})$.
• Caso $k = 2m$:
  • $C'$ es libre si y solo si $m \in \{a, b\}$.
  • $C'$ es plus-one generated si y solo si $m = a - 1$.
  • $C'$ es ni libre ni plus-one generated si $m \le a - 2$.
• Caso $k = 2m + 1$:
  • $C'$ es libre si y solo si $a = b = m + 1$.
  • $C'$ es plus-one generated si $m = a - 1$ (con $a \neq b$).
  • $C'$ es ni libre ni plus-one generated si $m \le a - 2$.

B. Adición de una Cónica (Teorema 3.7 y 3.16)

Si se añade una cónica suave a una curva libre $C'$ para obtener $C$:

• Sea $k = |C' \cap C_{conic}| + \epsilon(C', C_{conic})$.
• Caso $k = 2m$:
  • $C$ es libre si $m \in \{a', b'\}$ (exponentes de $C'$).
  • $C$ es plus-one generated si $m = b' + 1$.
  • $C$ es ni libre ni plus-one generated si $m \ge b' + 2$.
• Caso $k = 2m + 1$:
  • $C$ es libre si $a' = b' = m$.
  • $C$ es plus-one generated si $m = b'$.
  • $C$ es ni libre ni plus-one generated si $m \ge b' + 1$.

C. Obstrucciones (Teorema 2.6 y 3.18)

Se generalizan las obstrucciones de Abe para arreglos de líneas a curvas libres reducidas:

• Para una curva libre con exponentes $(a, b)$, el número de puntos de intersección con una línea o cónica que no es componente de la curva está acotado: o bien es igual a $a+1$ (ajustado por $\epsilon$) o es mayor o igual a $b+1$.

5. Significado e Impacto

• Resolución de Problemas Abiertos: El trabajo responde a una pregunta abierta de la literatura (referencia [14]) sobre qué tipo de arreglos CL pueden surgir al eliminar una cónica de un arreglo libre.
• Construcción de Ejemplos: Proporciona un método efectivo para construir nuevas familias de curvas libres, plus-one generated y curvas de tipo 2, enriqueciendo el catálogo de ejemplos conocidos en geometría algebraica.
• Unificación de Conceptos: Al eliminar la suposición de cuasihomogeneidad, el paper unifica la teoría de arreglos de líneas y curvas generales, mostrando que la estructura de los módulos de derivaciones sigue patrones predecibles incluso en configuraciones singulares complejas.
• Herramienta para la Conjetura de Terao: Aunque la conjetura de Terao (que la libertad es una propiedad combinatoria) sigue abierta, estos resultados de obstrucción y los teoremas de adición-eliminación ofrecen herramientas cruciales para explorar los límites de esta conjetura en dimensiones superiores y configuraciones no lineales.

En resumen, el artículo establece un marco riguroso y completo para entender la estabilidad de la propiedad de libertad bajo operaciones de adición y eliminación de cónicas, extendiendo significativamente la teoría de arreglos de hiperplanos al ámbito de las curvas proyectivas reducidas.