On the Riemann-Hilbert problem for hyperplane arrangements with a good line

Resumen Técnico: Sobre el Problema de Riemann-Hilbert para Arranques de Hiperafines con una Línea Buena

Enunciado del Problema
Este artículo aborda una variante del problema de Riemann-Hilbert en el complemento $M(\mathcal{A})$ de un arreglo de hiperafines afines $\mathcal{A}$ en $\mathbb{C}^\ell$. La pregunta central es si un sistema local dado $\mathcal{L}$ en $M(\mathcal{A})$ puede realizarse como el haz de soluciones de un sistema de Pfaff logarítmico con coeficientes constantes. A diferencia del caso clásico donde el divisor es de cruce normal, un arreglo general de hiperafines define un divisor que no es de cruce normal, lo que hace que el problema sea no trivial. Los autores buscan caracterizar la imagen esencial del funtor de de Rham restringido a la categoría de tales sistemas de Pfaff logarítmicos, denotada $\text{Pf}(\log \mathcal{A})$.

Metodología
Los autores emplean un enfoque functorial, generalizando el concepto de convolución media al contexto de arreglos de hiperafines. La metodología procede a través de los siguientes pasos:

1. Configuración Geométrica (Líneas Buenas): Los autores introducen la noción de una "línea buena" $Y$ para un arreglo afín $\mathcal{A}$. Una línea $Y$ que pasa por el origen es "buena" si para cada elemento de rango 2 $X$ en el poseto de intersección $L(\mathcal{A})$, la suma $X + Y$ permanece en $L(\mathcal{A})$. Esta condición asegura que la proyección $\pi_Y: M(\mathcal{A}) \to M(\mathcal{A}_Y)$ (donde $\mathcal{A}_Y$ consiste en hiperafines paralelos a $Y$) admite una estructura de fibrado con fibras isomorfas a $\mathbb{C}$ menos un conjunto finito de puntos. Esto generaliza los resultados de Terao para arreglos centrales al caso afín.

2. Construcción del Functor para Sistemas Locales: Utilizando la estructura de fibrado inducida por una línea buena, los autores definen un funtor de convolución media $MC_\chi$ en la categoría de sistemas locales $\text{Loc}(M(\mathcal{A}), \mathbb{C})$. Esto se construye como una generalización de la convolución media de Katz en $\mathbb{C} \setminus \{n \text{ puntos}\}$. El funtor se define mediante la imagen de un morfismo entre imágenes directas derivadas ($R^1 pr_{2!}$ y $R^1 pr_{2*}$) de un producto tensorial externo que involucra un sistema local de rango 1 asociado a un carácter $\chi$.

3. Construcción del Functor para Conexiones: Paralelamente a la construcción de sistemas locales, los autores utilizan la definición de Haraoka de un funtor de convolución media $mc_\lambda$ que actúa sobre la categoría de sistemas de Pfaff logarítmicos con coeficientes constantes, $\text{Pf}(\log \mathcal{A})$. Este funtor opera modificando las matrices de coeficientes de las formas de conexión a lo largo de la dirección de la línea buena $Y$.

4. Análisis de Compatibilidad: El esfuerzo técnico central consiste en probar la compatibilidad entre estos dos funtores bajo la correspondencia de de Rham. Los autores establecen un isomorfismo entre la convolución media de un sistema local y el funtor de de Rham aplicado a la convolución media del sistema de Pfaff correspondiente. Esto requiere un análisis cuidadoso de aplicaciones de período, secciones multivaluadas y la cohomología de las fibras, específicamente bajo la Suposición 4.3, que impone condiciones de no resonancia sobre los valores propios de las matrices de coeficientes.

Contribuciones y Resultados Clave

• Generalización de la Bondad: El artículo extiende la caracterización de Terao de estructuras de fibrado a arreglos de hiperafines afines definiendo "líneas buenas" y demostrando que la existencia de tal línea implica una estructura de fibración localmente trivial en el complemento (Teorema 1.8).
• Definición de $MC_\chi$: Los autores definen el funtor de convolución media $MC_\chi$ para sistemas locales en complementos de hiperafines con una línea buena (Definición 2.3) y demuestran que satisface una ley de composición análoga al caso clásico (Teorema 2.12).
• Teorema de Compatibilidad: El resultado principal es el Teorema 4.8, que establece un isomorfismo de sistemas locales:
  $$MC_\chi \circ DR_{Pf}(\nabla_\mathcal{A}) \cong DR_{Pf} \circ mc_\lambda(\nabla_\mathcal{A})$$
  donde $\chi(1) = \exp(2\pi i \lambda)$ y $\nabla_\mathcal{A}$ satisface la Suposición 4.3 de no resonancia. Esto generaliza resultados previos de Haraoka (para arreglos de trenzas) y Dettweiler–Reiter (para $\mathbb{C} \setminus \{n \text{ puntos}\}$).
• Preservación de la Solubilidad: Como consecuencia directa, el Teorema 5.2 demuestra que el funtor de convolución media preserva la solubilidad del problema de Riemann-Hilbert para sistemas de Pfaff logarítmicos. Específicamente, si un sistema local $\mathcal{L}$ admite una solución $\nabla_\mathcal{A}$ que satisface las suposiciones necesarias, entonces $MC_\chi(\mathcal{L})$ también admite una solución. Por el contrario, si el sistema convolucionado admite una solución, el sistema original también la tiene (siempre que el sistema satisfaga la propiedad $\wp$).

Significado
El artículo afirma proporcionar una herramienta estructural para investigar el problema de Riemann-Hilbert en el contexto de arreglos de hiperafines. Al demostrar que el funtor de convolución media preserva la propiedad de ser realizable como solución de un sistema de Pfaff logarítmico con coeficientes constantes, los autores ofrecen un método para generar nuevos sistemas locales resolubles a partir de otros conocidos. Esto extiende la aplicabilidad de las técnicas de convolución media, previamente limitadas a arreglos centrales o configuraciones específicas, a una clase más amplia de arreglos afines que poseen una "línea buena". Los resultados unifican la perspectiva geométrica de fibrados en complementos de arreglos con la manipulación algebraica de los coeficientes de conexión.