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

Sintesi Tecnica di "Universal Vector Bundles, Push-Forward Formulæ and Positivity of Characteristic Forms"

Enunciato del Problema
Il saggio affronta la relazione tra i livelli cohomologico e differenziale-geometrico delle classi caratteristiche per fasci vettoriali olomorfi. Nello specifico, dato un fascio vettoriale olomorfo hermitiano $(E, h)$ su una varietà complessa $X$, si possono considerare i fasci di flag $\pi_\rho: F_\rho(E) \to X$ associati a una sequenza di dimensioni. Questi fasci portano fasci vettoriali universali (sotto-fasci tautologici e i loro quozienti) dotati di metriche hermitiane indotte.

Un problema classico della geometria algebrica consiste nel determinare una formula universale (formula di Gysin o di push-forward) per esprimere il push-forward di un polinomio nelle classi di Chern di questi fasci universali come un polinomio nelle classi di Chern del fascio originale $E$. Sebbene tali formule siano ben stabilite in cohomologia, il saggio investiga l'analogo a livello di forme differenziali (forme di Chern–Weil). La questione centrale è se il push-forward di un polinomio nelle forme di Chern dei fasci universali (calcolato tramite integrazione lungo le fibre) coincida puntualmente con il polinomio nelle forme di Chern di $E$ ottenuto applicando la nota formula di Gysin cohomologica. Prima di questo lavoro, si riteneva generalmente che queste due forme potessero differire per una forma esatta.

Metodologia
L'autore impiega un approccio differenziale-geometrico puntuale, basandosi su espliciti calcoli locali di tensori di curvatura. La metodologia procede come segue:

1. Costruzione di Frame Locali: Il saggio costruisce specifici sistemi di coordinate olomorfe locali e frame per i fasci vettoriali universali sul fascio di flag $F_\rho(E)$. Questi frame sono adattati alla filtrazione tautologica e alle metriche hermitiane indotte.
2. Calcolo Esplicito della Curvatura: Un passaggio tecnico critico è il calcolo esplicito del tensore di curvatura di Chern dei fasci vettoriali universali (sia per i sotto-fasci tautologici che per i loro quozienti) in un punto. L'autore dimostra che la curvatura di un quoziente universale $U_{\rho,l}/U_{\rho,\ell}$ può essere decomposta in una parte "orizzontale" (relativa al pullback della curvatura di $E$) e una parte "verticale" (intrinseca alla geometria della fibra).
3. Decomposizione della Curvatura: La curvatura è espressa come la somma di un tensore orizzontale $\theta^{(\ell,l)}$ (che dipende dalla curvatura di $E$) e un tensore verticale $\omega^{(\ell,l)}$. Questa decomposizione permette di scrivere le forme di Chern dei fasci universali come polinomi nelle componenti del tensore di curvatura di $E$ e nei differenziali verticali.
4. Integrazione e Universalità: Analizzando la struttura di questi polinomi, l'autore dimostra che l'operazione di push-forward (integrazione lungo le fibre) agisce sulle componenti verticali producendo coefficienti che sono costanti universali (integrali sulla varietà di flag). Le componenti orizzontali, che dipendono dalla varietà base $X$, vengono preservate.
5. Confronto con la Cohomologia: Il risultato viene confrontato con la nota formula di Gysin cohomologica. L'autore utilizza un argomento di universalità, testando la differenza tra il risultato della forma differenziale e la predizione cohomologica su una specifica classe di fasci vettoriali scissi (somme dirette di fasci lineari con curvatura positiva) per dimostrare che la differenza deve annullarsi identicamente.

Contributi Chiave e Risultati

• Teorema A (Identità di Push-Forward Puntuale): Il risultato principale (Teorema 3.6) stabilisce che per ogni polinomio omogeneo $F$ nelle forme di Chern di tutti i fasci vettoriali universali su un fascio di flag, il push-forward tramite integrazione lungo le fibre è uguale al polinomio $\Phi$ (determinato dalla formula di Gysin cohomologica) valutato direttamente sulle forme di Chern del fascio originale $(E, h)$.
  $$(\pi_\rho)_* F(c^\bullet(E_1, H_1), \dots, c^\bullet(E_N, H_N)) = \Phi(c^\bullet(E, h))$$
  Questa uguaglianza è valida puntualmente come forme differenziali, implicando che la differenza di "forma esatta" è zero.

• Formule Esplicite di Curvatura: Il Teorema 2.1 fornisce formule esplicite per la curvatura di Chern dei fasci vettoriali universali sui fasci di flag in termini della curvatura del fascio base e dei differenziali verticali. Questo generalizza risultati precedentemente noti per i fasci proiettivi e i Grassmanniani.

• Raffinatezza dell'Identità di Jacobi–Trudi: Come applicazione, il saggio fornisce una versione alternativa dell'identità di Jacobi–Trudi a livello di forme differenziali (Proposizione 4.2). Dimostra che ogni forma di Schur (un polinomio di Schur valutato nelle forme di Chern) può essere ottenuta come push-forward dal completo fascio di flag, raffinando i risultati precedenti a livello cohomologico.

• Positività delle Forme Caratteristiche: Il saggio investiga la positività delle forme caratteristiche per fasci vettoriali di Griffiths semipositive. Conferma la congettura di Griffiths (la quale postula che combinazioni non negative di polinomi di Schur valutati nelle forme di Chern producano forme differenziali positive) per una specifica famiglia di forme.

  • Teorema 4.5: Dimostra che il push-forward di forme come $c_1(Q_s, h_s)^\alpha \wedge c_2(Q_s, h_s)^\beta$ dai fasci di Grassmann $G_s(E)$ verso $X$ produce forme differenziali positive su $X$ che appartengono al cono convesso positivo generato dalle forme di Schur.
  • Questo risultato fornisce nuove prove per la congettura di Griffiths, coprendo casi precedentemente non noti, come specifiche combinazioni che coinvolgono la seconda forma di Chern in ranghi superiori.

Significato e Rivendicazioni
Il saggio sostiene che la sua importanza primaria risieda nel colmare il divario tra le formule cohomologiche e i loro rappresentanti differenziale-geometrici. Dimostrando che il push-forward delle forme di Chern commuta con l'applicazione delle formule di Gysin universali, l'autore elimina la necessità di un'esplicita integrazione lungo le fibre per determinare le forme caratteristiche sulla varietà base. È sufficiente applicare le note formule cohomologiche alle forme di Chern.

Per quanto riguarda la positività, il saggio afferma modestamente di confermare parzialmente la congettura di Griffiths. Stabilisce la positività di una nuova famiglia di forme caratteristiche derivate da fasci di Grassmann. L'autore osserva che, sebbene queste forme siano positive, non sono necessariamente "fortemente positive" (nel senso di essere somme di quadrati di forme $(2,2)$) a causa della natura del push-forward che coinvolge quadrati di forme $(2,2)$. Il lavoro distingue il cono di forme generato da questi push-forward dal cono generato da altri metodi (come in [DF22]), mostrando che nessuno dei due è contenuto nell'altro, ampliando così il panorama noto delle forme caratteristiche positive per fasci di Griffiths semipositive.

I risultati sono presentati come una diretta conseguenza dei calcoli espliciti della curvatura e dell'universalità dell'operazione di push-forward, senza introdurre nuove proposte sperimentali o implicazioni future non verificate oltre l'ambito dei teoremi stabiliti.