Moduli spaces of quadratic differentials: Abel-Jacobi map and deformation

Resumen Técnico: Espacios Moduli de Diferenciales Cuadráticos: Mapa de Abel-Jacobi y Deformación

Planteamiento del Problema
El artículo investiga la topología de los espacios moduli de diferenciales cuadráticos enmarcados con singularidades prescritas en superficies de Riemann. Específicamente, aborda el cálculo de los grupos fundamentales (orbifolduales) de estos espacios, un problema que ha permanecido desafiante con pocos casos conocidos más allá de la genus 2 y 3 o grupos cocientes específicos. El estudio se centra en el caso donde las singularidades finitas son ceros simples, mientras que las singularidades infinitas incluyen polos dobles y polos de orden superior. Estas singularidades se codifican mediante una "superficie marcada decorada con punciones" (DMSp), denotada como $S^\mathbb{A}_\Delta$, donde las decoraciones corresponden a ceros simples, las punciones a polos dobles y los componentes de frontera a polos de orden superior.

El problema central es caracterizar el grupo fundamental del espacio moduli $\text{FQuad}(S^\mathbb{A})$ y sus compactificaciones parciales. El autor busca relacionar este invariante topológico con el núcleo de un mapa de Abel-Jacobi (AJ) topológico y con el espacio de condiciones de estabilidad en categorías 3-Calabi-Yau (3-CY) asociadas. Asimismo, el artículo explora cómo permitir la colisión de ceros simples y polos dobles (compactificación parcial) e introducir estructuras de orbifolduales (vía los signos de los residuos) deforma estos grupos fundamentales, recuperando potencialmente grupos de Braid de Artin esféricos y euclidianos no excepcionales.

Metodología
La metodología combina técnicas de topología de baja dimensión, la teoría de diferenciales cuadráticos y la teoría de representación de álgebras (específicamente la categorificación vía condiciones de estabilidad).

1. Marco Topológico (Grupos de Twist Mixtos):
   El autor introduce los grupos de twist mixtos $MT(S^\mathbb{A}_\Delta, K)$, subgrupos del grupo de braid de superficie $SBr(S^\mathbb{A}_\Delta)$. Estos grupos están generados por twists de braid (asociados con arcos cerrados simples) y $L$-twists (difeomorfismos de empuje de punto asociados con arcos que encierran subconjuntos específicos de punciones $K$). El artículo establece que estos grupos de twist mixtos son precisamente los núcleos de los mapas de Abel-Jacobi topológicos relativos $AJ_K: SBr(S^\mathbb{A}_\Delta) \to H_1(S_L)$, donde $L$ es el complemento de $K$.

2. Grafos de Flip y Groupoides:
   El estudio analiza los grupos fundamentales de grafos de flip orientados de triangulaciones decoradas. El autor define groupoides de flip $\mathcal{FG}(S^\mathbb{A})$ e identifica sus grupos fundamentales como grupos de twist de flip $FT(T)$. Un paso crucial consiste en analizar las relaciones en estos grafos, que incluyen:

   • Cuadrados y pentágonos (elevados de grafos de intercambio no orientados).
   • Relaciones de mancuerna corta y larga (short and long dumbbell relations).
   • Relaciones de hexágono simétrico.
     El artículo demuestra que la relación de braid superior ($Br_4$) se descompone en una combinación de dos hexágonos de mancuerna larga y dos hexágonos simétricos, una descomposición distinta de las relaciones de hexágono no simétricas encontradas en la teoría de clusters.

3. Categorificación vía Condiciones de Estabilidad:
   El espacio moduli está relacionado con el espacio de condiciones de estabilidad $\text{Stab}^\circ(\mathcal{D}_3(S^\mathbb{A}_\Delta))$ sobre una categoría 3-Calabi-Yau construida a partir de un quiver con potencial asociado a la superficie. El autor prueba que el espacio de condiciones de estabilidad es simplemente conexo y sirve como la cubierta universal del espacio moduli de diferenciales cuadráticos enmarcados. Esto establece una correspondencia entre el grupo fundamental del espacio moduli y el grupo de autoequivalencias (específicamente twists esféricos/de braid) de la categoría. El autor señala que este resultado respalda la creencia de que la conjetura $K(\pi, 1)$ se cumple para estos estratos, ya que la contractibilidad del espacio de estabilidad está estrechamente relacionada con dicha conjetura.

4. Compactificación Parcial y Orbifolduales:
   El artículo estudia la deformación de estas estructuras cuando se permite la colisión de punciones en un subconjunto $L$ con ceros simples. Esto conduce a una compactificación parcial $\text{FQuad}(S_{K,L})$. Al introducir además los signos de los residuos en los polos dobles (vórtices), el autor construye un orbifoldual $\text{Quad}(S_{K,Y})$. Los grupos fundamentales de estos espacios se calculan mediante el cociente del grupo fundamental original por los lazos correspondientes a los $L$-flips (para la compactificación) y sus cuadrados (para el orbifoldual).

Contribuciones Clave y Resultados

• Identificación del Grupo Fundamental: El artículo prueba que el grupo fundamental del espacio moduli de diferenciales cuadráticos enmarcados $\text{FQuad}(S^\mathbb{A})$ es isomorfo al núcleo del mapa de Abel-Jacobi topológico desde el grupo de braid de superficie hacia la primera homología de la superficie subyacente:
  $$\pi_1 \text{FQuad}(S^\mathbb{A}) \cong \ker(AJ: SBr(S^\mathbb{A}_\Delta) \to H_1(S))$$
  Este núcleo se identifica como el grupo de twist mixto $MT(S^\mathbb{A}_\Delta)$.

• Cubierta Universal vía Condiciones de Estabilidad: Se demuestra que el espacio de condiciones de estabilidad $\text{Stab}^\circ(\mathcal{D}_3(S^\mathbb{A}_\Delta))$ es simplemente conexo y constituye la cubierta universal de $\text{FQuad}(S^\mathbb{A})$. Este resultado proporciona una fuerte evidencia para la conjetura $K(\pi, 1)$ para estos estratos específicos de espacios moduli (donde todas las singularidades finitas son ceros simples).

• Deformación y Compactificación:

  • El grupo fundamental del espacio parcialmente compactificado (que permite la colisión de ceros simples y polos dobles en $L$) es el cociente del grupo fundamental original por el subgrupo generado por los $L$-flips (lazos alrededor del locus de colisión).
  • El grupo fundamental del espacio orbifoldual (que incorpora los signos de los residuos) es el cociente por los cuadrados de estos lazos.
  • Este proceso de deformación produce un isomorfismo entre el espacio moduli orbifoldual y el cociente del espacio de estabilidad de una categoría 3-CY deformada.

• Realización de Grupos de Braid de Artin: La construcción proporciona una realización topológica de cualquier grupo de braid de Artin esférico y euclidiano no excepcional. Específicamente, para los tipos euclidianos, el grupo fundamental del espacio moduli orbifoldual (con elecciones apropiadas de $K$ y $L$) recupera grupos tales como $\widetilde{A}_n$, $\widetilde{B}_n$ y $\widetilde{D}_n$.

• Nuevas Relaciones en Grafos de Flip: El artículo introduce y analiza nuevas relaciones en los groupoides de flip de superficies con punciones, específicamente las relaciones de mancuerna larga y de hexágono simétrico, que son necesarias para describir el grupo fundamental en presencia de punciones y $L$-twists.

Significancia
El autor afirma que el trabajo es significativo en varias áreas:

1. Clasificación Topológica: Proporciona un cálculo de los grupos fundamentales para una clase de espacios moduli de diferenciales cuadráticos con ceros simples, polos dobles y polos de orden superior, extendiendo resultados previos limitados a genus o tipos de singularidad específicos.
2. Puente entre Campos: Consolida la conexión entre la topología de los espacios moduli de diferenciales, la combinatoria de los grafos de flip y la teoría de representación de categorías 3-Calabi-Yau. Demuestra que la "categorificación" del espacio moduli vía condiciones de estabilidad no es solo una analogía estructural, sino una herramienta para computar invariantes topológicos.
3. Teoría de la Deformación: El trabajo ofrece una interpretación topológica precisa de la deformación de categorías 3-CY (vía quivers con potencial) que corresponden a la compactificación parcial de los espacios moduli. Muestra cómo la "colisión" de singularidades en el entorno geomético corresponde a "deformar" el potencial en el entorno categórico.
4. Realización de Grupos de Braid de Artin: Al producir grupos de braid de Artin no excepcionales como grupos fundamentales de estos espacios moduli, el artículo ofrece una nueva perspectiva geométrica y topológica sobre estos grupos, vinculándolos a la colisión de singularidades en diferenciales cuadráticos y al orbifoldual de los espacios de estabilidad.

El autor señala que, si bien la inyectividad del mapa desde el grupo fundamental del espacio moduli hacia el núcleo del grupo de braid es la parte más desafiante de la prueba, el isomorfismo establecido depende de la conexidad simple del espacio de estabilidad y de la descomposición específica de las relaciones de braid superiores en los grafos de flip. Los resultados se presentan como una generalización del trabajo previo sobre grupos de twist de braid y álgebras de clusters, abordando específicamente las complejidades introducidas por las punciones y los polos dobles.