Universal vector bundles, push-forward formulae and positivity of characteristic forms

Resumen Técnico de "Universal Vector Bundles, Push-Forward Formulæ and Positivity of Characteristic Forms"

Planteamiento del Problema
El artículo aborda la relación entre los niveles cohomológico y de geometría diferencial de las clases características para fibrados vectoriales holomorfos. Específamente, dado un fibrado vectorial holomorfo hermítico $(E, h)$ sobre una variedad compleja $X$, se pueden considerar los fibrados de banderas (flag bundles) $\pi_\rho: F_\rho(E) \to X$ asociados con una secuencia de dimensiones. Estos fibrados portan fibrados vectoriales universales (subfibrados tautológicos y sus cocientes) dotados de métricas hermíticas inducidas.

Un problema clásico en geometría algebraica consiste en determinar una fórmula universal (fórmula de Gysin o de push-forward) para expresar la imagen directa de un polinomio en las clases de Chern de estos fibrados universales como un polinomio en las clases de Chern del fibrado original $E$. Si bien tales fórmulas están bien establecidas en cohomología, el artículo investiga el análogo al nivel de las formas diferenciales (formas de Chern–Weil). La cuestión central es si la imagen directa de un polinomio en las formas de Chern de los fibrados universales (calculada mediante la integración a lo largo de las fibras) coincide punto a punto con el polinomio en las formas de Chern de $E$ obtenido al aplicar la conocida fórmula de Gysin cohomológica. Antes de este trabajo, se esperaba generalmente que estas dos formas pudieran diferir por una forma exacta.

Metodología
El autor emplea un enfoque de geometría diferencial puntual, apoyándose en cálculos locales explícitos de tensores de curvatura. La metodología procede de la siguiente manera:

1. Construcción de Marcos Locales: El artículo construye marcos y coordenadas holomorfas locales específicas para los fibrados vectoriales universales sobre el fibrado de banderas $F_\rho(E)$. Estos marcos están adaptados a la filtración tautológica y a las métricas hermíticas inducidas.
2. Cálculo Explícito de la Curvatura: Un paso técnico crítico es el cálculo explícito del tensor de curvatura de Chern de los fibrados vectoriales universales (tanto de los subfibrados tautológicos como de sus cocientes) en un punto. El autor demuestra que la curvatura de un cociente vectorial universal $U_{\rho,l}/U_{\rho,\ell}$ puede descomponerse en una parte "horizontal" (relacionada con la tracción de la curvatura de $E$) y una parte "vertical" (intrínseca a la geometría de la fibra).
3. Descomposición de la Curvatura: La curvatura se expresa como la suma de un tensor horizontal $\theta^{(\ell,l)}$ (que depende de la curvatura de $E$) y un tensor vertical $\omega^{(\ell,l)}$. Esta descomposición permite que las formas de Chern de los fibrados universales puedan escribirse como polinomios en las entradas de la curvatura de $E$ y los diferenciales verticales.
4. Integración y Universalidad: Al analizar la estructura de estos polinomios, el autor demuestra que la operación de imagen directa (integración a lo largo de las fibras) actúa sobre los componentes verticales para producir coeficientes que son constantes universales (integrales sobre el espacio de banderas). Los componentes horizontales, que dependen de la variedad base $X$, se preservan.
5. Comparación con la Cohomología: El resultado resultante se compara con la conocida fórmula de Gysin cohomológica. El autor utiliza un argumento de universalidad, probando la diferencia entre el resultado de la forma diferencial y la predicción cohomológica sobre una clase específica de fibrados vectoriales descompuestos (sumas directas de fibrados de línea con curvatura positiva) para mostrar que la diferencia debe anularse identicamente.

Contribuciones Clave y Resultados

• Teorema A (Identidad de Imagen Directa Puntual): El principal resultado (Teorema 3.6) establece que para cualquier polinomio homogéneo $F$ en las formas de Chern de todos los fibrados vectorales universales sobre un fibrado de banderas, la imagen directa vía integración a lo largo de las fibras es igual al polinomio $\Phi$ (determinado por la fórmula de Gysin cohomológica) evaluado directamente en las formas de Chern del fibrado original $(E, h)$.
  $$(\pi_\rho)_* F(c^\bullet(E_1, H_1), \dots, c^\bullet(E_N, H_N)) = \Phi(c^\bullet(E, h))$$
  Esta igualdad se cumple punto a punto como formas diferenciales, lo que implica que la diferencia de "forma exacta" es cero.

• Fórmulas Explícitas de Curvatura: El Teorema 2.1 proporciona fórmulas explícitas para la curvatura de Chern de los fibrados vectorales universales en términos de la curvatura del fibrado base y los diferenciales verticales. Esto generaliza resultados previos conocidos para fibrados proyectivos y de Grassmann.

• Refinamiento de la Identidad de Jacobi–Trudi: Como aplicación, el artículo proporciona una versión alternativa de la identidad de Jacobi–Trudi al nivel de las formas diferenciales (Proposición 4.2). Muestra que cada forma de Schur (un polinomio de Schur evaluado en formas de Chern) puede obtenerse como una imagen directa desde el fibrado de banderas completo, refinando resultados previos en el nivel cohomológico.

• Positividad de las Formas Características: El artículo investiga la positividad de las formas características para fibrados vectoriales de semipositividad de Griffiths. Confirma la conjetura de Griffiths (que postula que las combinaciones no negativas de polinomios de Schur evaluados en formas de Chern producen formas diferenciales positivas) para una familia específica de formas.

  • Teorema 4.5: Demuestra que la imagen directa de formas como $c_1(Q_s, h_s)^\alpha \wedge c_2(Q_s, h_s)^\beta$ desde los fibrados de Grassmann $G_s(E)$ hacia $X$ produce formas diferenciales positivas en $X$ que pertenecen al cono convexo positivo generado por las formas de Schur.
  • Este resultado proporciona nueva evidencia para la conjetura de Griffiths, cubriendo casos no conocidos previamente, tales como combinaciones específicas que involucran la segunda forma de Chern en rangos superiores.

Significancia y Reivindicaciones
El artículo afirma que su principal significancia radica en cerrar la brecha entre las fórmulas cohomológicas y sus representantes de geometría diferencial. Al demostrar que la imagen directa de las formas de Chern conmuta con la aplicación de las fórmulas de Gysin universales, el autor elimina la necesidad de realizar una integración de fibra explícita para determinar las formas características en la variedad base. Simplemente se puede aplicar las fórmulas cohomológicas conocidas a las formas de Chern.

Respecto a la positividad, el trabajo afirma modestamente que confirma parcialmente la conjetura de Griffiths. Establece la positividad de una nueva familia de formas características derivadas de los fibrados de Grassmann. El autor señala que, aunque estas formas son positivas, no son necesariamente "fuertemente positivas" (en el sentido de ser sumas de cuadrados de formas de tipo $(2,2)$) debido a la naturaleza de la imagen directa que involucra cuadrados de formas $(2,2)$. El trabajo distingue el cono de formas generado por estas imágenes directas del de otros métodos (como en [DF22]), mostrando que ninguno está contenido dentro del otro, expandiendo así el panorama conocido de las formas características positivas para fibrados vectoriales de semipositividad de Griffiths.

Los resultados se presentan como una consecuencia directa de los cálculos explícitos de curvatura y la universalidad de la operación de imagen directa, sin introducir nuevas propuestas experimentales o implicaciones futuras no verificadas más allá del alcance de los teoremas establecidos.