Generalized Bogomolov Inequalities

Resumen Técnico: Desigualdades de Bogomolov Generalizadas

Planteamiento del Problema
El artículo aborda la generalización de la desigualdad clásica de Bogomolov, la cual afirma que para un haz torsion-free semiestable $E$ sobre una variedad proyectiva compleja $X$ con respecto a una clase amplía $h$, el discriminante $\Delta(E) = 2r c_2(E) - (r-1)c_1(E)^2$ satisface $\int_X \Delta(E) \cdot h^{d-2} \geq 0$. Los autores buscan extender esta desigualdad a contextos más amplios donde la polarización no es necesariamente una potencia de un divisor amplio, sino una clase de cohomología general $\eta_{d-1} \in H^{d-1,d-1}(X)$ (o el cono nef en el contexto analítico). Específicamente, investigan bajo qué condiciones un par de clases de cohomología $(\eta_{d-1}, \eta_{d-2})$ garantiza que $\int_X \Delta(E) \cdot \eta_{d-2} \geq 0$ para todos los haces $\eta_{d-1}$-semiestables.

Metodología
Los autores introducen dos conceptos nuevos para enmarcar este problema:

1. Pares de Hodge-Riemann: Un par $(\eta_{d-1}, \eta_{d-2})$ se define como un par de Hodge-Riemann si $\eta_{d-2}$ satisface las relaciones bilineales de Hodge-Riemann (teniendo firma $(+, -, \dots, -)$ en el núcleo del mapa inducido por $\eta_{d-1}$) y se cumplen condiciones específicas de positividad. Esto generaliza el caso clásico donde $\eta_i = h^i$.
2. Pares de Bogomolov: Un par $(\eta_{d-1}, \eta_{d-2})$ es un par de Bogomolov si la desigualdad de Bogomolov se cumple para todos los haces $\eta_{d-1}$-semiestables.

La conjetura central postula que todo par de Hodge-Riemann es un par de Bogomolov. La metodología emplea una mezcla de técnicas algebraicas y analíticas:

• Geometría Algebraica: Utilizando polinomios de Schur, polinomios derivados y la geometría de haces vectoriales amplios. Los autores utilizan la construcción de haces "R-retorcidos" $A\langle th \rangle$ para relacionar las clases de Schur de haces vectoriales con clases amplias clásicas.
• Geometría Diferencial Compleja: Empleando la correspondencia de Hitchin-Kobayashi y métricas de Hermitiano-Einstein. Para haces estables, calculan el discriminante puntual con respecto a una métrica de Gauduchon derivada de las clases de cohomología.
• Teoría de Acotación: Utilizando la acotación de familias de haces semiestables para extender resultados de haces estables a haces semiestables mediante inducción en el rango y argumentos de deformación.

Contribuciones y Resultados Clave

1. Definición y Propiedades de los Pares de Hodge-Riemann:
   El artículo establece que los pares formados por polinomios de Schur de clases amplias (o clases de Kähler) constituyen pares de Hodge-Riemann. Específicamente, si $A$ es un haz vectorial amplio de rango $e \geq d-1$ y $\lambda$ es una partición de $d-1$, entonces $(s_\lambda(A), s'_\lambda(A))$ es un par de Hodge-Riemann. Esto se extiende a clases de Kähler $\alpha_i$ en el contexto analítico.

2. Demostración de la Conjetura en Casos Específicos:
   Los autores demuestran que la conjetura (par de Hodge-Riemann $\implies$ par de Bogomolov) se cumple en varios casos significativos:

   • Clases de Schur de Clases de Kähler: Para cualesquiera clases de Kähler $\alpha_1, \dots, \alpha_e$ con $e \geq d-1$ y partición $\lambda$, el par $(s_\lambda(\alpha), s'_\lambda(\alpha))$ es un par de Bogomolov. La demostración para haces estables se basa en la correspondencia de Hitchin-Kobayashi y un cálculo puntual del discriminante utilizando la métrica de Hermitiano-Einstein. Esto se extiende a haces semiestables mediante resolución e inducción.
   • Trivariados y Toros Complejos: La conjetura se demuestra para todos los pares de Hodge-Riemann en trivariados complejos y toros complejos.
   • Clases de Segre y Chern de Hazes Amplios: Bajo condiciones específicas de pendiente (por ejemplo, $s_d(A) > \mu_{\max, s_{d-1}(A)}(A)$), se muestra que los pares $(s_{d-1}(A), s_{d-2}(A))$ y $(c_{d-1}(A), c_{d-2}(A))$ son pares de Bogomolov. Esto implica elevar el problema a la proyectivización $P(A)$ y aplicar allí la desigualdad clásica de Bogomolov.

3. Acotación de Haces Semiestables:
   Una aplicación mayor de estos resultados es un nuevo teorema de acotación. Los autores demuestran que si un conjunto de clases $K' \subset \text{Amp}^{d-1}(X)$ es conexo por caminos y compacto, y puede conectarse a una "clase de acotación" conocida mediante un camino de pares de Hodge-Riemann y Bogomolov, entonces el conjunto de haces $\eta_{d-1}$-semiestables de tipo topológico fijo es acotado. Esto implica la existencia de espacios de móduli de tipo finito para estas condiciones de estabilidad generalizadas.

4. Extensión a Haces de Higgs:
   El artículo generaliza la desigualdad de Bogomolov a haces de Higgs. Se demuestra que si $(\Omega_{d-1}, \Omega_{d-2})$ es un par de Hodge-Riemann de formas diferenciales, entonces para cualquier haz de Higgs $\Omega_{d-1}$-semiestable que admita una métrica de Yang-Mills-Hermitiano, la desigualdad del discriminante se cumple puntualmente y en cohomología.

Significado y Afirmaciones
El artículo afirma proporcionar el "marco adecuado" para generalizar la desigualdad de Bogomolov introduciendo la noción de pares de Hodge-Riemann. El significado radica en:

• Unificación: Unifica varias desigualdades conocidas (Bogomolov clásico, resultados para clases de Schur) bajo un único marco conjetural.
• Teoría de Móduli: Establece la acotación de haces semiestables con respecto a una amplia clase de polarizaciones no estándar (específicamente aquellas derivadas de polinomios de Schur de clases de Kähler), lo cual es un requisito previo para construir espacios de móduli.
• Técnicas Analíticas: Demuestra la utilidad de la correspondencia de Hitchin-Kobayashi y las métricas de Gauduchon para probar desigualdades algebraicas para haces en variedades de Kähler.

Los autores mantienen modestia respecto a la conjetura completa, señalando que, aunque la demuestran para clases específicas (polinomios de Schur, trivariados, toros y haces que satisfacen desigualdades de pendiente específicas), el caso general para pares de Hodge-Riemann arbitrarios permanece abierto. Afirman explícitamente que la inversa de ciertas implicaciones (por ejemplo, si un límite de pares de Hodge-Riemann es siempre un par de Hodge-Riemann) no se cumple, destacando la sutileza del problema.