Co-Higgs bundles of Schwarzenberger type and the determinant morphism

Resumen Técnico: Hazes Co-Higgs de Tipo Schwarzenberger y el Morphismo del Determinante

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la geometría algebraica y la teoría de haces de Higgs: la descripción explícita de la imagen del morfismo de Hitchin (o morfismo de determinante) para haces de Higgs torsionados en variedades de dimensión superior a uno.

• Contexto: En curvas algebraicas complejas ($dim X = 1$), el morfismo de Hitchin es propio y sobreyectivo, y las fibras genéricas son variedades abelianas (sistemas integrables completos). Sin embargo, para variedades de dimensión superior ($dim X \ge 2$), el morfismo de Hitchin no es sobreyectivo.
• La Conjetura: Se conjetura que la imagen es un subesquema cerrado no lineal $B^\heartsuit$ dentro de la base de Hitchin $B$. Aunque esto se ha verificado para ciertos casos (como haces vectoriales en superficies o haces de Higgs principales de grupos de Lie clásicos), no existe una descripción explícita para haces de Higgs torsionados donde el "twist" (la torsión) no es un fibrado de línea, excepto en casos muy específicos.
• Objetivo Específico: El autor busca superar esta dificultad estudiando haces de Higgs torsionados modelados sobre fibrados vectoriales fijos y bien seleccionados. En particular, se centra en haces co-Higgs (haces de Higgs con torsión en el fibrado tangente $T_{\mathbb{P}^2}$) modelados sobre la familia de fibrados de Schwarzenberger $\{V_k^\rho\}$ de rango 2 en el plano proyectivo complejo $\mathbb{P}^2$.
• Restricción: El estudio se limita a haces con traza cero (trace-free), ya que el morfismo de Hitchin se descompone en una componente lineal (traza) y una no lineal (determinante). Al fijar la traza en 0, el foco recae en el morfismo del determinante. Se excluye explícitamente el caso $k=3$ debido a la existencia de haces estables que no siguen la estructura típica de los demás casos.

2. Metodología

La metodología combina teoría de moduli, geometría algebraica y análisis de estructuras de haces específicos:

1. Definición de los Objetos:

   • Se utilizan los fibrados de Schwarzenberger $V_k^\rho$, definidos como el empuje directo ($f_*^\rho$) de fibrados de línea sobre un recubrimiento doble $f^\rho: \mathbb{P}^1 \times \mathbb{P}^1 \to \mathbb{P}^2$ ramificado sobre una cónica no singular $\rho$.
   • Se estudian pares $(E, \phi)$ donde $E = V_k^\rho$ y $\phi: E \to E \otimes T_{\mathbb{P}^2}$ es un campo de Higgs integrable ($\phi \wedge \phi = 0$) y de traza cero.

2. Análisis de Estabilidad:

   • Se emplea la noción de estabilidad de Gieseker para definir los espacios de móduli $M_{\mathbb{P}^2}(V_k^\rho, T_{\mathbb{P}^2})$.
   • Se analizan las condiciones de integrabilidad para campos de Higgs en estos fibrados específicos, descomponiendo $\phi$ en componentes locales.

3. Descomposición del Campo de Higgs:

   • Para $k \neq 3$, se demuestra que cualquier campo de Higgs estable de traza cero se puede escribir como un producto tensorial $\phi = \phi_0 \otimes C$, donde $\phi_0$ es una sección de un endomorfismo de traza cero y $C$ es una sección del fibrado tangente (o una variante torsionada).
   • Esta descomposición permite calcular el determinante explícitamente: $\det(\phi) = \det(\phi_0) \otimes \text{Sym}^2(C)$.

4. Construcción de la Imagen:

   • Se identifican los espacios de secciones globales involucrados ($H^0(\mathcal{O}(2))$, $H^0(T_{\mathbb{P}^2}(-1))$, etc.).
   • Se construyen esquemas complejos que parametrizan las imágenes del morfismo del determinante, considerando las equivalencias bajo la acción del grupo multiplicativo $\mathbb{C}^*$ y las identificaciones entre diferentes representaciones (por ejemplo, cuando el determinante es un cuadrado perfecto de una sección del fibrado tangente).

3. Contribuciones Clave

El artículo proporciona una caracterización completa y explícita de la imagen del morfismo del determinante para cuatro casos distintos de fibrados de Schwarzenberger ($k=0, 1, 2$ y $k>3$), demostrando que la imagen es estrictamente menor que el espacio total de secciones simétricas.

• Caracterización de la Estructura de la Imagen: Se demuestra que la imagen no es un espacio vectorial completo, sino una unión de cuocientes de productos de espacios de secciones, más un punto cero.
• Exclusión del Caso $k=3$: Se identifica que el caso $k=3$ es patológico en este contexto, ya que admite haces estables que no se descomponen en la forma $\phi_0 \otimes C$, por lo que se excluye del análisis principal.
• Cálculo de Dimensiones: Se calculan las dimensiones de las imágenes y se comparan con la dimensión del espacio ambiente $H^0(\text{Sym}^2(T_{\mathbb{P}^2})) = 27$, demostrando la no sobreyectividad.

4. Resultados Principales (Teoremas)

El trabajo presenta cuatro teoremas principales que describen la imagen del morfismo del determinante $\det$ para diferentes valores de $k$:

• Caso $k=0$ (Teorema 2.2.4):

  • $V_0^\rho \cong \mathcal{O} \oplus \mathcal{O}(-1)$.
  • La imagen es biyectiva con el espacio:
    $$\left( H^0(\mathcal{O}(2))^\times \times H^0(T_{\mathbb{P}^2}(-1))^\times \right) / \sim \quad \sqcup \quad \{0\}$$
    donde la relación de equivalencia es $(q, C) \sim (\alpha^2 q, \alpha^{-1} C)$.
  • Dimensión: La imagen tiene dimensión $< 9$, mientras que el espacio total tiene dimensión 27.

• Caso $k=1$ (Teorema 2.2.6):

  • $V_1^\rho \cong \mathcal{O} \oplus \mathcal{O}$.
  • La imagen es más compleja, incluyendo tanto el caso anterior como secciones de la forma $\text{Sym}^2(A)$ donde $A \in H^0(T_{\mathbb{P}^2})$.
  • La imagen es biyectiva con una unión de un cuociente y el espacio de secciones del fibrado tangente, identificando intersecciones donde $q \otimes \text{Sym}^2(C) = \text{Sym}^2(A)$.
  • Dimensión: La dimensión máxima de la imagen es $< 9$.

• Caso $k=2$ (Teorema 2.2.8):

  • $V_2^\rho \cong T_{\mathbb{P}^2}$ (el fibrado tangente).
  • La estructura de la imagen es análoga al caso $k=0$: biyectiva con el cuociente de productos de secciones no nulas más el cero.
  • Se utiliza la secuencia de Euler de $T_{\mathbb{P}^2}$ para probar la sobreyectividad del morfismo de determinante restringido a la componente $\phi_0$ hacia $H^0(\mathcal{O}(2))$.

• Caso $k > 3$ (Teorema 2.2.10):

  • Para $k > 3$, la imagen es significativamente más pequeña.
  • La imagen es biyectiva con el cuociente $H^0(T_{\mathbb{P}^2}(-1)) / \{\pm 1\}$.
  • Dimensión: La dimensión es $\le 3$, muy por debajo de las 27 dimensiones del espacio total.

Conclusión General de los Resultados: En todos los casos analizados ($k \neq 3$), el morfismo del determinante no es sobreyectivo sobre $H^0(\text{Sym}^2(T_{\mathbb{P}^2}))$. La imagen es un subesquema cerrado de dimensión mucho menor, confirmando la naturaleza no lineal y restringida de la imagen del morfismo de Hitchin en dimensión superior.

5. Significado e Impacto

• Avance en la Conjetura de la Imagen de Hitchin: Este trabajo proporciona uno de los primeros ejemplos explícitos y calculados de la imagen del morfismo de Hitchin para haces de Higgs torsionados en una variedad de dimensión 2 ($\mathbb{P}^2$) donde el twist no es un fibrado de línea.
• Geometría de los Fibrados de Schwarzenberger: Ilustra cómo la estructura algebraica específica de los fibrados de Schwarzenberger (derivados de recubrimientos dobles) impone restricciones fuertes en la integrabilidad y el determinante de los campos de Higgs.
• Herramientas para Moduli: La identificación de estos espacios de imagen como cuocientes algebraicos explícitos ofrece un modelo para estudiar la geometría de los espacios de móduli de haces de Higgs en dimensiones superiores, donde la teoría general es aún conjetural.
• No Sobreyectividad: Refuerza la comprensión de que, a diferencia del caso de curvas, en dimensiones superiores la "base espectral" no cubre todo el espacio de coeficientes característicos, lo que tiene implicaciones profundas para la teoría de sistemas integrables en geometría algebraica.

En resumen, el artículo ofrece una descripción técnica rigurosa y completa de cómo se comportan los haces co-Higgs estables sobre una familia específica de fibrados en $\mathbb{P}^2$, resolviendo explícitamente la estructura de su imagen bajo el morfismo del determinante y confirmando la existencia de un "hueco" significativo entre la imagen y el espacio total esperado.