Spectral correspondence for cyclic Higgs bundles

Resumen Técnico: Correspondencia Espectral para Fibrados de Higgs Cíclicos

Enunciado del Problema
El artículo aborda la correspondencia espectral para fibrados de Higgs cíclicos sobre una curva proyectiva suave $C$. Un fibrado de Higgs cíclico se define como un fibrado de Higgs $GL(r, \mathbb{C})$ $(E, \Phi)$ donde el fibrado vectorial $E$ se descompone en una suma directa $E = \bigoplus_{i \in \mathbb{Z}/m\mathbb{Z}} E_i$, y el campo de Higgs $\Phi: E \to E \otimes K_C$ posee una estructura específica de matriz de bloques cíclicos que involucra aplicaciones $\phi_i: E_i \to E_{i+1} \otimes K_C$. Si bien las correspondencias espectrales están bien establecidas para fibrados de Higgs $GL(r, \mathbb{C})$ estándar (mediante el trabajo de Hitchin, Beauville–Narasimhan–Ramanan y Simpson) y formas reales específicas como $U(p, p)$, un marco unificado para fibrados de Higgs cíclicos generales, particularmente uno que maneje curvas espectrales singulares y se conecte con la geometría no conmutativa, fue el foco de esta investigación.

Metodología
El autor adopta una perspectiva de fibrado de quiver, viendo los fibrados de Higgs cíclicos como representaciones del quiver cíclico $Q(m)$ en la categoría de fibrados vectoriales. La metodología procede a través de los siguientes pasos:

1. Formulación del Álgebra de Caminos: El fibrado de Higgs cíclico se trata primero como un módulo sobre la gavilla de álgebras de caminos $\mathcal{A}(m)$ asociada al quiver cíclico $Q(m)$ sobre la curva $C$. Este álgebra es no conmutativa y de rango infinito.
2. Reducción Central: El autor identifica el centro de este álgebra, $Z(\mathcal{A}(m))$, el cual se demuestra que es isomorfo al álgebra simétrica $S^\bullet(K_C^{-m})$. Esto permite una "reducción central" considerando el espacio total $Y = \text{Spec}(S^\bullet(K_C^{-m}))$, una superficie fibrada sobre $C$.
3. Construcción de una Superficie No Conmutativa: Al tirar hacia atrás $\mathcal{A}(m)$ a $Y$ y cocientar por un ideal bilateral específico $I$ (que identifica la acción de los lazos en el quiver con la multiplicación por la sección tautológica $\lambda$), el autor construye una gavilla de álgebras no conmutativas $\hat{\mathcal{A}}(m)$ sobre $Y$. Esta gavilla es de rango finito ($m^2$) sobre $\mathcal{O}_Y$.
4. Equivalencia de Categorías: El trabajo técnico central establece una equivalencia entre la categoría de fibrados de Higgs cíclicos sobre $C$ y la categoría de haces coherentes (específicamente, haces de quiver torcidos que satisfacen una relación de lazo) sobre la superficie no conmutativa $(Y, \hat{\mathcal{A}}(m))$.

Resultados Clave

• La Correspondencia Espectral (Teorema 1.1 / Corolario 3.11): El artículo establece una correspondencia uno a uno entre:

  1. Fibrados de Higgs cíclicos sobre $C$ con un vector de dimensión fijo $\mathbf{p}$, vector de grado $\mathbf{d}$, y curvas espectrales prescritas $\tilde{C}_i$.
  2. Haces de quiver $Q(m)$ torcidos por $M_Y$ sobre la superficie $Y$ que están soportados esquemáticamente sobre las curvas espectrales $\tilde{C}_i$ y satisfacen una relación de composición específica $\psi_{i-1} \circ \dots \circ \psi_i = \text{Id} \otimes \lambda$.
     Esta correspondencia generaliza la correspondencia clásica BNR/Simpson para $GL(r, \mathbb{C})$ y los resultados de Schaposnik para $U(p, p)$.

• Conexión con Álgebras de Clifford Pares (Proposición 4.1): Para el caso $m=2$ (correspondiente a fibrados de Higgs $U(p, q)$), el autor demuestra que la gavilla de álgebras $\hat{\mathcal{A}}(2)$ es isomorfa a la gavilla de álgebras de Clifford pares asociada a una fibración cónica sobre $Y$. Esto vincula los datos espectrales de los fibrados de Higgs cíclicos con la categoría derivada de fibraciones cónicas, una estructura previamente estudiada por Kuznetsov en el contexto de la dualidad proyectiva homológica.

• Reducción para Dimensiones Iguales (Sección 4.3): Cuando el vector de dimensión es uniforme ($p = (p, \dots, p)$), las curvas espectrales coinciden. En este escenario, los datos espectrales se simplifican significativamente a un fibrado de líneas sobre la curva espectral común y un conjunto de divisores efectivos, recuperando la descripción conocida de datos espectrales para fibrados de Higgs $U(p, p)$.

Significado y Afirmaciones
El artículo afirma proporcionar un marco flexible, basado en módulos, para estudiar fibrados de Higgs cíclicos que permanece válido incluso cuando las curvas espectrales se vuelven singulares, una limitación del enfoque clásico de descomposición de espacios propios fibra por fibra.

• Generalización: Unifica y generaliza las correspondencias espectrales existentes para $GL(r, \mathbb{C})$, $U(p, p)$ y $SU(p+1, p)$ bajo un mismo paraguas teórico de quivers y geometría no conmutativa.
• Geometría No Conmutativa: Al enmarcar el problema sobre la superficie no conmutativa $(Y, \hat{\mathcal{A}}(m))$, el trabajo revela un vínculo estructural sorprendente entre los fibrados de Higgs cíclicos y la teoría de fibraciones cónicas y álgebras de Clifford pares.
• Espacios de Módulos: El autor sugiere que esta correspondencia ofrece una nueva perspectiva algebraica sobre el espacio de móduli de fibrados de Higgs cíclicos. Específicamente, interpreta el espacio de móduli como el móduli de módulos semiestables sobre la gavilla $\hat{\mathcal{A}}(m)$. Esto abre la posibilidad de utilizar técnicas de geometría algebraica no conmutativa (como las utilizadas por Mukai para superficies K3 o Lahoz–Macrì–Stellari para álgebras de Clifford) para estudiar la conexidad de estos espacios de móduli, complementando potencialmente los enfoques existentes basados en la teoría de Morse.

El artículo concluye señalando que, si bien el caso del quiver cíclico funciona bien debido a la estructura específica de su centro, extender esta correspondencia espectral a quivers arbitrarios sigue siendo una dirección abierta, que requiere el análisis de álgebras de caminos con lazos orientados.