On modular inequalities for plane projective curves

Resumen Técnico: Desigualdades Modulares para Curvas Proyectivas Planas

Enunciado del Problema
El artículo aborda el problema de estimar las multiplicidades $b_k$ de las raíces del polinomio de Alexander $\Delta_C(t)$ asociadas a la fibra de Milnor de una curva proyectiva compleja plana $C$. Específicamente, se centra en las multiplicidades de las raíces primitivas de la unidad de orden $k = p^s$ (donde $p$ es primo). Si bien se sabe que la cohomología del complemento de arreglos de hiperplanos está determinada por datos combinatorios (Brieskorn, Orlik–Solomon), extender estos límites combinatorios a curvas planas generales no es trivial. Los autores tienen como objetivo establecer tanto cotas superiores como inferiores para estas multiplicidades, particularmente en el contexto de polinomios de Alexander torcidos y curvas con propiedades estructurales específicas (tipo fibra cuasi).

Metodología
Los autores emplean un enfoque dual que utiliza dos herramientas distintas para acotar las multiplicidades $b_k$ y sus contrapartes torcidas $b_{k, \bar{m}}$:

1. Cotas Superiores mediante Complejos Aomoto Combinatorios:

   • Los autores generalizan el concepto del tipo combinatorio de arreglos de líneas a curvas planas definiendo el tipo combinatorio débil ($WC$). Esta estructura captura los datos de intersección de las componentes irreducibles y sus ramas locales.
   • Construyen un Complejo Aomoto Combinatorio $(A^*_{W,k}, \cdot \wedge \omega)$ sobre un cuerpo finito $k = \mathbb{Z}_p$. Este complejo se define puramente en base al tipo combinatorio débil, independientemente de la realización geométrica específica de la curva.
   • Un resultado central (Teorema 7) establece un isomorfismo entre las variedades de resonancia del complejo Aomoto estándar del complemento de la curva y las variedades de resonancia de este complejo combinatorio.
   • Al aplicar las desigualdades modulares de Papadima y Suciu (Teorema 2), los autores derivan cotas superiores para $b_k$ basadas en la dimensión de la primera cohomología del Complejo Aomoto Combinatorio.

2. Cotas Inferiores mediante Estructuras de Tipo Fibra Cuasi:

   • Los autores introducen la clase de curvas de tipo fibra cuasi, que son uniones de fibras de un haz (potencialmente con multiplicidades) que mapean a un orbifolio hiperbólico.
   • Analizan las variedades de resonancia asociadas a estas estructuras, identificando específicamente las condiciones bajo las cuales las variedades de resonancia tienen dimensión positiva.
   • Utilizando la sobreyección desde el grupo fundamental del complemento hacia el grupo fundamental del orbifolio, derivan cotas inferiores para las multiplicidades de las raíces de los polinomios de Alexander torcidos. Estas cotas dependen del número y la multiplicidad de las fibras no reducidas en el haz definitorio, así como de las fibras múltiples "extra" que no forman parte de la curva en sí misma.

Contribuciones y Resultados Clave

• Teorema 7 (Isomorfismo de Resonancia): Demuestra que las variedades de resonancia del complemento afín de una curva son isomorfas a las variedades de resonancia combinatorias derivadas de su tipo combinatorio débil. Esto permite el cálculo de invariantes topológicos utilizando puramente datos combinatorios.
• Teorema 11 (Cotas Superiores): Proporciona una cota superior combinatoria para la multiplicidad $b_k$ de las raíces primitivas de la unidad de orden $p^s$ en el polinomio de Alexander. La cota viene dada por la dimensión de la primera cohomología del Complejo Aomoto Combinatorio sobre $\mathbb{Z}_p$.
• Criterios de Trivialidad (Sección 4.1): Introduce el concepto de puntos $p$-transversales y curvas completamente $p$-reductivas. Si una curva es completamente $p$-reductiva con respecto a una cocadena no coordenada, la primera cohomología del Complejo Aomoto Combinatorio se anula, lo que implica $b_k = 0$ para la potencia de primo correspondiente.
• Teorema 37 (Cotas Inferiores): Generaliza resultados recientes (Dimca–Pokora–Sticlaru) para proporcionar cotas inferiores para las multiplicidades de las raíces de los polinomios de Alexander torcidos para curvas de tipo fibra cuasi. La cota está determinada por el número de fibras en el haz y el índice del haz.
• Cálculos Exactos (Sección 6): Los autores demuestran que para curvas de tipo fibra específicas (incluyendo haces de Halphen y arreglos de cónicas-líneas), las cotas superior e inferior coinciden, permitiendo el cálculo teórico exacto de las multiplicidades $b_k$ sin depender de sistemas de álgebra computacional como SINGULAR.
• Revisión del Contraejemplo de Yoshinaga (Sección 7): El artículo reexamina el contraejemplo de Yoshinaga a la conjetura de Papadima–Suciu (que postulaba que las desigualdades modulares son igualdades para arreglos de hiperplanos). Al considerar el arreglo del icosaedododecaedro como una curva de tipo fibra cuasi, los autores proporcionan una prueba alternativa de que la desigualdad es estricta para $k=2$, confirmando la existencia de arreglos donde la desigualdad modular no es una igualdad.

Significado y Afirmaciones
El artículo afirma proporcionar un marco unificado para estudiar los polinomios de Alexander de curvas planas al cerrar la brecha entre la teoría combinatoria de los arreglos de hiperplanos y la geometría de las curvas proyectivas generales.

• Generalización: Extiende la aplicabilidad de las cotas combinatorias (anteriormente limitadas a arreglos) a una clase más amplia de curvas planas a través del tipo combinatorio débil.
• Eficiencia Computacional: Ofrece un método para calcular teóricamente las multiplicidades de las raíces para curvas de tipo fibra donde las cotas son ajustadas, reduciendo la necesidad de cálculos algorítmicos complejos.
• Perspectiva Teórica: Al caracterizar las variedades de resonancia de las curvas de tipo fibra cuasi, el artículo aclara la relación entre la estructura geométrica de los haces (haces de Halphen) y las propiedades algebraicas de la homología de la fibra de Milnor.
• Resolución de Conjeturas: El trabajo proporciona una perspectiva alternativa sobre la estrictitud de las desigualdades modulares, confirmando que para ciertos arreglos (como el icosaedododecaedro), las cotas superiores derivadas de la combinatoria son estrictamente mayores que las multiplicidades reales.

Los autores mantienen un tono modesto, señalando que sus resultados se aplican específicamente a las raíces de la unidad de orden potencia de primo para las cotas superiores (Teorema 11) y a clases estructurales específicas (tipo fibra cuasi) para las cotas inferiores, mientras reconocen que el problema general de calcular la monodromía algebraica permanece abierto.