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

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

Enunciado do Problema
O artigo aborda a relação entre os níveis cohomológico e de geometria diferencial das classes características para fibrados vetoriais holomorfos. Especificamente, dado um fibrado vetorial hermítico holomorfo $(E, h)$ sobre uma variedade complexa $X$, pode-se considerar os fibrados de bandeira (flag bundles) $\pi_\rho: F_\rho(E) \to X$ associados a uma sequência de dimensões. Estes fibrados carregam fibrados vetoriais universais (subfibrados tautológicos e seus quocientes) dotados de métricas hermitianas induzidas.

Um problema clássico na geometria algébrica envolve determinar uma fórmula universal (fórmula de Gysin ou de push-forward) para expressar o push-forward de um polinômio nas classes de Chern desses fibrados universais como um polinômio nas classes de Chern do fibrado original $E$. Embora tais fórmulas sejam bem estabelecidas em cohomologia, o artigo investiga o análogo ao nível de formas diferenciais (formas de Chern–Weil). A questão central é se o push-forward de um polinômio nas formas de Chern dos fibrados universais (computado via integração ao longo das fibras) coincide pontualmente com o polinômio nas formas de Chern de $E$ obtido pela aplicação da conhecida fórmula de Gysin cohomológica. Antes deste trabalho, era geralmente esperado que essas duas formas pudessem diferir por uma forma exata.

Metodologia
O autor emprega uma abordagem de geometria diferencial pontual, baseando-se em computações explícitas de tensores de curvatura locais. A metodologia procede da seguinte forma:

1. Construção de Frames Locais: O artigo constrói coordenadas holomorfas locais específicas e frames para os fibrados vetoriais universais sobre o fibrado de bandeira $F_\rho(E)$. Estes frames são adaptados à filtração tautológica e às métricas hermitianas induzidas.
2. Computação Explícita de Curvatura: Um passo técnico crítico é a computação explícita do tensor de curvatura de Chern dos fibrados vetoriais universais (tanto para os subfibrados tautológicos quanto para seus quocientes) em um ponto. O autor prova que a curvatura de um fibrado quociente universal $U_{\rho,l}/U_{\rho,\ell}$ pode ser decomposta em uma parte "horizontal" (relacionada ao pullback da curvatura de $E$) e uma parte "vertical" (intrínseca à geometria da fibra).
3. Decomposição da Curvatura: A curvatura é expressa como a soma de um tensor horizontal $\theta^{(\ell,l)}$ (que depende da curvatura de $E$) e um tensor vertical $\omega^{(\ell,l)}$. Esta decomposição permite que as formas de Chern dos fibrados universais sejam escritas como polinômios nos componentes da curvatura de $E$ e dos diferenciais verticais.
4. Integração e Universalidade: Ao analisar a estrutura desses polinômios, o autor demonstra que a operação de push-forward (integração ao longo das fibras) atua sobre os componentes verticais para produzir coeficientes que são constantes universais (integrais sobre a variedade de bandeira). Os componentes horizontais, que dependem da variedade de base $X$, são preservados.
5. Comparação com a Cohomologia: O resultado resultante é comparado contra a conhecida fórmula de Gysin cohomológica. O autor utiliza um argumento de universalidade, testando a diferença entre o resultado da forma diferencial e a previsão cohomológica em uma classe específica de fibrados vetoriais decomponíveis (somas diretas de fibrados de linha com curvatura positiva) para mostrar que a diferença deve ser identicamente nula.

Contribuições Principais e Resultados

• Teorema A (Identidade de Push-Forward Pontual): O principal resultado (Teorema 3.6) estabelece que, para qualquer polinômio homogêneo $F$ nas formas de Chern de todos os fibrados vetoriais universais sobre um fibrado de bandeira, o push-forward via integração ao longo das fibras é igual ao polinômio $\Phi$ (determinado pela fórmula de Gysin cohomológica) avaliado diretamente nas formas de Chern do 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 igualdade ocorre pontualmente como formas diferenciais, implicando que a diferença de "forma exata" é zero.

• Fórmulas Explícitas de Curvatura: O Teorema 2.1 fornece fórmulas explícitas para a curvatura de Chern de fibrados vetoriais universais em fibrados de bandeira em termos da curvatura do fibrado de base e diferenciais verticais. Isto generaliza resultados anteriores conhecidos para fibrados projetivos e fibrados de Grassmann.

• Refinamento da Identidade de Jacobi–Trudi: Como aplicação, o artigo fornece uma versão alternativa da identidade de Jacobi–Trudi ao nível de formas diferenciais (Proposição 4.2). Ele mostra que cada forma de Schur (um polinômio de Schur avaliado em formas de Chern) pode ser obtida como um push-forward do fibrado de bandeira completa, refinando resultados anteriores no nível cohomológico.

• Positividade de Formas Características: O artigo investiga a positividade das formas características para fibrados vetoriais de Griffiths semipositivos. Ele confirma a conjectura de Griffiths (que postula que combinações não negativas de polinômios de Schur avaliados em formas de Chern resultam em formas diferenciais positivas) para uma família específica de formas.

  • Teorema 4.5: Prova que o push-forward de formas como $c_1(Q_s, h_s)^\alpha \wedge c_2(Q_s, h_s)^\beta$ de fibrados de Grassmann $G_s(E)$ para $X$ produz formas diferenciais positivas em $X$ que pertencem ao cone convexo positivo gerado por formas de Schur.
  • Este resultado fornece nova evidência para a conjectura de Griffiths, cobrindo casos não conhecidos anteriormente, como combinações específicas envolvendo a segunda forma de Chern em ranks superiores.

Significância e Alegações
O artigo alega que sua principal significância reside em preencher a lacuna entre as fórmulas cohomológicas e seus representantes de geometria diferencial. Ao provar que o push-forward de formas de Chern comuta com a aplicação de fórmulas universais de Gysin, o autor elimina a necessidade de integração explícita de fibras para determinar as formas características na variedade de base. Pode-se simplesmente aplicar as fórmulas cohomológicas conhecidas às formas de Chern.

Em relação à positividade, o artigo afirma modestamente que confirma parcialmente a conjectura de Griffiths. Estabelece a positividade de uma nova família de formas características derivadas de fibrados de Grassmann. O autor observa que, embora estas formas sejam positivas, elas não são necessariamente "fortemente positivas" (no sentido de serem somas de quadrados de formas $(2,2)$) devido à natureza do push-forward envolvendo quadrados de formas $(2,2)$. O trabalho distingue o cone de formas gerado por esses push-forwards de cones gerados por outros métodos (como aqueles em [DF22]), mostrando que nenhum está contido no outro, expandindo assim o panorama conhecido de formas características positivas para fibrados vetoriais de Griffiths semipositivos.

Os resultados são apresentados como uma consequência direta das computações explícitas de curvatura e da universalidade da operação de push-forward, sem introduzir novas propostas experimentais ou implicações futuras não verificadas além do escopo dos teoremas estabelecidos.