On $\mathscr{M}$-arrangements of conics and lines with ordinary singularities

Resumen Técnico: Sobre arreglos M de cónicas y rectas con singularidades ordinarias

Planteamiento del problema y contexto
Este artículo investiga las propiedades combinatorias y homológicas de una clase específica de curvas planas reducidas conocidas como curvas M. Introducidas recientemente por Janasz y Pokora [10] como una generalización de las clásicas "curvas maximizantes" (Persson [17]), las curvas M se definen por tener únicamente singularidades ADE y singularidades elípticas simples (puntos cuádruples ordinarios y singularidades $J_{2,0}$) mientras satisfacen una condición numérica específica sobre el grado de su ideal jacobiano.

Mientras que las curvas maximizantes de grado par están bien estudiadas, aquellas de grado impar son raras y difíciles de construir. Los autores pretenden explorar una clase ligeramente más amplia de curvas que retienen las propiedades numéricas y homológicas clave de las curvas maximizantes. El enfoque específico de este trabajo son los arreglos M de cónicas y rectas ($CL$) que admiten únicamente singularidades ordinarias de multiplicidad a lo sumo cuatro (puntos dobles, triples y cuádruples). Este entorno está motivado por la naturaleza restrictiva de las curvas M (por ejemplo, los arreglos M reales de rectas son necesariamente simplécticos [11]) y su conexión con superficies algebraicas con propiedades extremas [15, 18, 19].

Metodología
Los autores emplean una combinación de conteo combinatorio, geometría algebraica y teoría de los sizergies:

1. Restricciones combinatorias: Utilizando el Teorema de Bézout y la definición del número de Tjurina total $\tau(C)$, los autores derivan ecuaciones lineales que relacionan el número de rectas ($d$), cónicas ($k$) y los conteos de puntos singulares de multiplicidad $r$ ($n_r$).
2. Teoría de sizergies y freeness (libertad): El estudio se apoya fuertemente en el concepto de curvas libres, donde el ideal jacobiano está saturado. Los autores utilizan el grado mínimo de los sizergies del jacobiano, denotado como $mdr(f)$, y los exponentes $(d_1, d_2)$ de los arreglos libres.
3. Polinomios de Poincaré: Los autores analizan el polinomio de Poincaré combinatorio $P(CL; t)$, que para arreglos libres se factoriza en $(1+d_1t)(1+d_2t)$. Investigan cómo se comporta este polinomio cuando se elimina una cónica suave de un arreglo M.
4. Límites de la geometría real: Para arregos reales, los autores aplican la desigualdad de Melchior para derivar resultados de acotación para el grado de tales arreglos.
5. Cálculos de regularidad: El artículo calcula la regularidad de Castelnuovo–Mumford del álgebra de Milnor $M(f)$ y del módulo de sizergies jacobianos $AR(f)$ utilizando relaciones entre umbrales de estabilidad, umbrales de coincidencia y los exponentes de las curvas libres.

Contribuciones clave y resultados

• Restricciones numéricas sobre la combinatoria débil (Teorema 3.1):
  Los autores establecen condiciones necesarias para la combinatoria débil de un arreglo M que consiste en $k$ cónicas y $d$ rectas con singularidades ordinarias de multiplicidad $\le 4$.

  • Si $d = 2\ell$ (par), los conteos deben satisfacer: $n_2 + 2n_3 + 3n_4 = (k + \ell)^2 + \ell - k - 3$.
  • Si $d = 2\ell + 1$ (impar), los conteos deben satisfacer: $n_2 + 2n_3 + 3n_4 = (k + \ell)^2 + 2\ell - 1$.
    Estas restricciones permiten la eliminación de tipos combinatorios inexistentes (Ejemplo 3.2).

• Especialización a una cónica y $d$ rectas (Proposición 3.4 y 3.6):
  Centrándose en el caso $k=1$, los autores derivan sistemas explícitos de ecuaciones para $n_2, n_3, n_4$. Además, proporcionan restricciones estrictas sobre el número de puntos de intersección $r$ entre la cónica y las rectas restantes, mostrando que $r$ no puede tomar valores arbitrarios sino que está acotado por funciones específicas de $\ell$.

• Polinomios de Poincaré combinatorios (Teorema 4.3):
  El artículo proporciona una fórmula explícita para el polinomio de Poincaré del arreglo de rectas $L$ obtenido al eliminar la cónica de un arreglo M $CL$.

  • Para $d=2\ell$, $P(L; t) = (\ell^2 + \ell - 2 - r)t^2 + (2\ell - 1)t + 1$.
  • Para $d=2\ell+1$, $P(L; t) = (\ell^2 + 2\ell - r)t^2 + 2\ell t + 1$.
    Los autores demuestran que, si bien la eliminación de una cónica de un arreglo M a menudo produce un arreglo de rectas libre (por ejemplo, Ejemplos 4.5, 4.6, 4.8), esto no garantiza la libertad (Ejemplo 4.7), ya que el polinomio puede fallar al descomponerse sobre los racionales.

• Nueva construcción (Ejemplo 4.8):
  Los autores construyen un nuevo ejemplo explícito de un arreglo M que consiste en una cónica y once rectas. Este arreglo tiene una combinatoria débil $C(11, 1; 11, 2, 10)$, un número de Tjurina total $\tau = 109$, y exponentes $(5, 7)$. La eliminación de la cónica resulta en un arreglo libre de 11 rectas con exponentes $(5, 5)$.

• Acotación de arreglos reales (Teorema 5.1):
  El artículo demuestra que los arreglos M reales de una cónica y rectas están acotados en grado.

  • Si $d = 2\ell$, entonces $\ell \le 9$ (no existen tales arreglos para $d$ par $\ge 20$).
  • Si $d = 2\ell + 1$, entonces $\ell \le 10$ (no existen tales arreglos para $d$ impar $\ge 23$).

• Regularidad de los módulos asociados (Proposición 6.4):
  Los autores registran valores precisos para la regularidad de Castelnuovo–Mumford del álgebra de Milnor $M(f)$ y del módulo de sizergies $AR(f)$ para curvas M de grado $d$:

  • $\text{reg}(M(f)) = 3m - 2$ (si $d=2m$) o $3m - 1$ (si $d=2m+1$).
  • $\text{reg}(AR(f)) = m + 1$.

Significado y afirmaciones
El artículo afirma proporcionar un "conjunto completo de restricciones" para la combinatoria débil de los arreglos M con una sola cónica, estableciendo así los posibles tipos combinatorios de tales curvas. Destaca la naturaleza restrictiva de las curvas M, señalando que forman una "clase delicada" donde las condiciones numéricas constriñen estrechamente las posibilidades geométricas.

Los autores posicionan su trabajo como complementario a las clasificaciones existentes de arreglos con sizergies lineales (Beorchia y Miró-Roig [2]) o aquellos invariantes bajo ecuaciones diferenciales (de Moura Canaan y Coutinho [3]). Mientras que esos trabajos a menudo involucran singularidades no ordinarias, este artículo se centra estrictamente en singularidades ordinarias de baja multiplicidad. La construcción del nuevo ejemplo de 11 rectas y la prueba de la acotación para arreglos reales se presentan como avances concretos en la comprensión de la existencia y los límites de estas curvas. Los resultados de regularidad se enmarcan como una contribución a la comprensión más amplia de las propiedades homológicas de las curvas M, vinculándolas con los umbrales de estabilidad y coincidencia de las curvas libres.