Modular inequalities and Alexander polynomials of pencil type conic-line arrangements

Resumen Técnico: Desigualdades Modulares y Polinomios de Alexander de Arreglos de Tipo Lápiz de Cónicas y Líneas

Planteamiento del Problema
El artículo aborda el cálculo de los polinomios de Alexander, $\Delta_C(t)$, para clases específicas de curvas del plano proyectivo complejo conocidas como arreglos de tipo lápiz de cónicas y líneas. Estos son curvas cuyas componentes irreducibles son líneas y cónicas suaves, realizadas como la unión de fibras de un lápiz de curvas de grado $d \ge 3$. Un problema abierto central en el campo es si el polinomio de Alexander está determinado únicamente por la combinatoria del arreglo (específicamente, por el tipo combinatorio débil). Mientras que esta "combinatoriedad" es cierta para arreglos de hiperplanos, la conjetura falla para curvas planas generales (evidenciado por los pares de Zariski). El autor investiga si una determinación combinatoria similar se mantiene para una subclase específica de arreglos de cónicas y líneas, particularmente aquellos que surgen de lápices de curvas de grado 3.

Metodología
El autor emplea una combinación de técnicas topológicas y algebraicas para acotar y calcular las multiplicidades de las raíces del polinomio de Alexander:

1. Desigualdades Modulares: El artículo utiliza resultados recientes (específicamente de [11]) relativos a las desigualdades modulares para los complementos de curvas. Estas desigualdades proporcionan cotas superiores para las multiplicidades ($b_k$) de las raíces del polinomio de Alexander que son potencias de números primos. La cota viene dada por la dimensión de la primera cohomología de un complejo de Aomoto generalizado, denotada como $\beta_p$, que es un invariante combinatorio derivado del tipo combinatorio débil de la curva.
   $$b_k \le \beta_p$$
   donde $k = p^s$.

2. Cotas Inferiores mediante Estructuras de Tipo Fibra: Para curvas que admiten estructuras de tipo cuasi-fibra, se establecen cotas inferiores para estas multiplicidades utilizando los resultados de [11], específicamente el Teorema 8, que establece que para la unión de $s$ miembros de un lápiz, la multiplicidad de una raíz primitiva de orden $k$ (donde $k|s$) es al menos $s-2$.

3. Análisis de Sistemas Lineales: Para calcular el invariante combinatorio $\beta_p$, el autor construye un sistema lineal $S$ sobre el cuerpo $\mathbb{Z}_p$. Las variables corresponden a las componentes irreducibles de la curva. Las ecuaciones en $S$ se derivan de la condición de resonancia $\omega \wedge \omega_1 = 0$ en el complejo de Aomoto generalizado, utilizando la información de intersección de las singularidades de la curva (ordinarias y de tipo $A_3$).

4. Polinomios de Alexander Locales: El autor utiliza la propiedad de divisibilidad del polinomio de Alexander (Teorema 9) y fórmulas explícitas para los polinomios de Alexander locales de singularidades ordinarias y singularidades $A_3$ (Lema 10) para filtrar las posibles raíces.

Contribuciones Clave y Resultados

• Determinación Combinatoria para Lápices de Grado 3:
  El resultado principal (Teorema 1) establece que para los arreglos de tipo lápiz de cónicas y líneas que surgen de un lápiz de curvas de grado 3 con puntos base transversales, la multiplicidad de las raíces de la unidad de orden impar en $\Delta_C(t)$ es combinatoria. Además, si el arreglo tiene a lo sumo dos singularidades no ordinarias, la multiplicidad de las raíces de orden $2^k$ también es combinatoria.

• Fórmulas Explícitas para Polinomios de Alexander:
  El artículo proporciona fórmulas explícitas para el polinomio de Alexander $\Delta_C(t)$ para arreglos formados por la unión de $m$ miembros ($3 \le m \le 6$) de un lápiz de grado 3, asumiendo singularidades ordinarias en los puntos base (Teorema 2).

  • $m=3$: $\Delta_C(t) = (t-1)^{s-1}(t^2+t+1)$, excepto para el arreglo de Ceva donde el factor es al cuadrado.
  • $m=4$: $\Delta_C(t) = (t-1)^{s-1}(t+1)^{b_2}(t^2+1)^{b_4}$ con $b_2, b_4 \ge 2$. Bajo condiciones específicas (a lo sumo dos singularidades no ordinarias), $b_2=b_4=2$.
  • $m=5$: $\Delta_C(t) = (t-1)^{s-1}(t^4+t^3+t^2+t+1)^3$.
  • $m=6$: $\Delta_C(t) = (t-1)^{s-1}(t+1)^{b_2}(t^2+t+1)^4(t^2-t+1)^{b_6}$ con $b_2, b_6 \ge 4$. Bajo condiciones específicas, $b_2=4$.

• Análisis Refinado para $m=4$:
  El artículo extiende los resultados para $m=4$ a casos con más singularidades no ordinarias. El Teorema 3 y el Teorema 20 muestran que si existe a lo sumo tres singularidades no ordinarias, o si existe un punto base a través del cual pasa un número impar de líneas, entonces los exponentes son exactamente $b_2=b_4=2$, resultando en $\Delta_C(t) = (t-1)^{s-1}(t+1)^2(t^2+1)^2$.

• Tipos Combinatorios Abstractos y Realizabilidad:
  El autor identifica un tipo combinatorio débil "abstracto" $W$ (Teorema 22) donde cada singularidad de punto base involucra un número par de líneas. Para este tipo, el invariante combinatorio es $\beta_2(W) = 3$, lo que sugiere una posible multiplicidad $b_2=3$ (contrastando con la $b_2=2$ encontrada en los casos realizables que satisfacen las condiciones del Teorema 3). El artículo plantea la pregunta abierta (Pregunta 24) de si este tipo abstracto $W$ es realizable por una curva real en el plano complejo y, de ser así, si pueden surgir distintos polinomios de Alexander del mismo tipo combinatorio.

Significado y Reivindicaciones
El artículo afirma demostrar un "fenómeno distintivo" donde, para una subclase específica de arreglos de tipo lápiz de cónicas y líneas, el polinomio de Alexander es al menos parcialmente combinatorio. Esto contrasta con el fallo general de la combinatoriedad para las curvas planas (debido a los pares de Zariski).

El autor enfatiza que las técnicas empleadas —específicamente el uso de desigualdades modulares para acotar las multiplicidades de las raíces y el análisis del complejo de Aomoto generalizado— son adecuadas para un uso más amplio y pueden aplicarse para calcular polinomios de Alexander para clases de curvas más generales. El trabajo cierra la brecha entre la teoría combinatoria de los arreglos de hiperplanos y la topología más compleja de los arreglos de cónicas y líneas, proporcionando fórmulas concretas donde anteriormente solo existían cotas o preguntas abiertas. El artículo señala modestamente que, aunque la desigualdad modular se convierte en una igualdad en los casos estudiados, esto no es cierto en general, y el tipo abstracto $W$ identificado sirve como un caso límite para comprender los límites de la determinación combinatoria.