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

Technische Zusammenfassung von „Universal Vector Bundles, Push-Forward Formulæ and Positivity of Characteristic Forms“

Problemstellung
Die Arbeit befasst sich mit der Beziehung zwischen der kohomologischen und der differentialgeometrischen Ebene von Charakterklassen für holomorphe Vektorbündel. Gegeben sei ein hermitescher holomorpher Vektorbündel $(E, h)$ über einer komplexen Mannigfaltigkeit $X$. Man kann hierzu die zu einer Folge von Dimensionen gehörenden Flaggenbündel $\pi_\rho: F_\rho(E) \to X$ betrachten. Diese Bündel tragen universelle Vektorbündel (tautologische Unterbündel und deren Quotienten), die mit induzierten hermiteschen Metriken ausgestattet sind.

Ein klassisches Problem in der algebraischen Geometrie besteht darin, eine universelle Formel (Gysin- oder Push-Forward-Formel) zu bestimmen, um den Push-Forward eines Polynoms in den Chern-Klassen dieser universellen Bündel als ein Polynom in den Chern-Klassen des ursprünglichen Bündels $E$ auszudrücken. Während solche Formeln in der Kohomologie gut etabliert sind, untersucht die Arbeit das Analogon auf der Ebene von Differentialformen (Chern–Weil-Formen). Die zentrale Frage ist, ob der Push-Forward eines Polynoms in den Chern-Formen der universellen Bündel (berechnet durch Integration entlang der Fasern) punktweise mit dem Polynom in den Chern-Formen von $E$ übereinstimmt, welches durch Anwendung der bekannten kohomologischen Gysin-Formel erhalten wird. Vor dieser Arbeit wurde allgemein erwartet, dass sich diese beiden Formen durch eine exakte Form unterscheiden könnten.

Methodik
Der Autor verwendet einen punktweisen differentialgeometrischen Ansatz, der sich auf explizite lokale Berechnungen von Krümmungstensoren stützt. Die Methodik verläuft wie folgt:

1. Konstruktion lokaler Frames: Die Arbeit konstruiert spezifische lokale holomorphe Koordinaten und Frames für die universellen Vektorbündel über dem Flaggenbündel $F_\rho(E)$. Diese Frames sind an die tautologische Filtration und die induzierten hermiteschen Metriken angepasst.
2. Explizite Berechnung der Krümmung: Ein entscheidender technischer Schritt ist die explizite Berechnung des Chern-Krümmungstensors der universellen Vektorbündel (sowohl der tautologischen Unterbündel als auch deren Quotienten) an einem Punkt. Der Autor beweist, dass die Krümmung eines universellen Quotientenbündels $U_{\rho,l}/U_{\rho,\ell}$ in einen „horizontalen“ Teil (bezogen auf den Rückzug der Krümmung von $E$) und einen „vertikalen“ Teil (intrinsisch zur Fasengeometrie) zerlegt werden kann.
3. Zerlegung der Krümmung: Die Krümmung wird als Summe eines horizontalen Tensors $\theta^{(\ell,l)}$ (der von der Krümmung von $E$ abhängt) und eines vertikalen Tensors $\omega^{(\ell,l)}$ ausgedrückt. Diese Zerlegung ermöglicht es, die Chern-Formen der universellen Bündel als Polynome in den Einträgen der Krümmung von $E$ und den vertikalen Differentialen darzustellen.
4. Integration und Universalität: Durch die Analyse der Struktur dieser Polynome zeigt der Autor, dass die Push-Forward-Operation (Integration entlang der Fasern) auf die vertikalen Komponenten wirkt, um Koeffizienten zu erzeugen, die universelle Konstanten (Integrale über die Flaggenmannigfaltigkeit) sind. Die horizontalen Komponenten, die von der Basismannigfaltigkeit $X$ abhängen, bleiben erhalten.
5. Vergleich mit der Kohomologie: Das Resultat wird mit der bekannten kohomologischen Gysin-Formel verglichen. Der Autor nutzt ein Universalitätsargument, indem er den Unterschied zwischen dem Differentialform-Resultat und der kohomologischen Vorhersage an einer spezifischen Klasse von splitten Vektorbündeln (direkte Summen von Linienbündeln mit positiver Krümmung) testet, um zu zeigen, dass die Differenz identisch verschwinden muss.

Wesentliche Beiträge und Ergebnisse

• Theorem A (Punktweise Push-Forward-Identität): Das Hauptergebnis (Theorem 3.6) stellt fest, dass für jedes homogene Polynom $F$ in den Chern-Formen aller universellen Vektorbündel über einem Flaggenbündel der Push-Forward mittels Integration entlang der Fasern dem Polynom $\Phi$ (bestimmt durch die kohomologische Gysin-Formel) entspricht, welches direkt auf den Chern-Formen des ursprünglichen Bündels $(E, h)$ ausgewertet wird.
  $$(\pi_\rho)_* F(c^\bullet(E_1, H_1), \dots, c^\bullet(E_N, H_N)) = \Phi(c^\bullet(E, h))$$
  Diese Gleichheit gilt punktweise als Differentialformen, was impliziert, dass die Differenz durch eine „exakte Form“ Null ist.

• Explizite Krümmungsformeln: Theorem 2.1 liefert explizite Formeln für die Chern-Krümmung universeller Vektorbündel auf Flaggenbündeln in Abhängigkeit von der Krümmung des Basisbündels und vertikalen Differentialen. Dies generalisiert bisherige Ergebnisse, die für Projektivbündel und Grassmann-Bündel bekannt waren.

• Verfeinerung der Jacobi–Trudi-Identität: Als Anwendung liefert die Arbeit eine alternative Version der Jacobi–Trudi-Identität auf der Ebene von Differentialformen (Proposition 4.2). Sie zeigt, dass jede Schur-Form (ein Schur-Polynom, ausgewertet in Chern-Formen) als Push-Forward vom vollständigen Flaggenbündel erhalten werden kann, was bisherige Ergebnisse auf der kohomologischen Ebene verfeinert.

• Positivität von Charakterformen: Die Arbeit untersucht die Positivität von Charakterformen für Griffiths-semipositive Vektorbündel. Sie bestätigt die Vermutung von Griffiths (die besagt, dass nicht-negative Kombinationen von Schur-Polynomen, ausgewertet in Chern-Formen, positive Differentialformen ergeben) für eine spezifische Familie von Formen.

  • Theorem 4.5: Es beweist, dass der Push-Forward von Formen wie $c_1(Q_s, h_s)^\alpha \wedge c_2(Q_s, h_s)^\beta$ von Grassmann-Bündeln $G_s(E)$ auf $X$ positive Differentialformen auf $X$ ergibt, die zum positiven konvexen Kegel der Schur-Formen gehören.
  • Dieses Ergebnis liefert neue Belege für die Vermutung von Griffiths und deckt Fälle ab, die zuvor nicht bekannt waren, wie etwa spezifische Kombinationen unter Einbeziehung der zweiten Chern-Form in höheren Rängen.

Bedeutung und Ansprüche
Die Arbeit beansprucht, dass ihre primäre Bedeutung darin liegt, die Lücke zwischen kohomologischen Formeln und ihren differentialgeometrischen Repräsentanten zu schließen. Durch den Beweis, dass der Push-Forward von Chern-Formen mit der Anwendung universeller Gysin-Formeln kommutiert, eliminiert der Autor die Notwendigkeit einer expliziten Faserintegration zur Bestimmung der Charakterformen auf der Basismannigfaltigkeit. Man kann stattdessen einfach die bekannten kohomologischen Formeln auf die Chern-Formen anwenden.

Hinsichtlich der Positivität behauptet die Arbeit bescheiden, die Vermutung von Griffiths teilweise bestätigt zu haben. Sie etabliert die Positivität einer neuen Familie von Charakterformen, die aus Grassmann-Bündeln abgeleitet sind. Der Autor merkt an, dass diese Formen zwar positiv, aber nicht notwendigerweise „stark positiv“ (im Sinne von Summen von Quadraten von $(2,2)$-Formen) sind, aufgrund der Natur des Push-Forwards, der Quadrate von $(2,2)$-Formen involviert. Die Arbeit unterscheidet den durch diese Push-Forwards erzeugten Kegel der Formen von Kegeln, die durch andere Methoden (wie in [DF22]) erzeugt werden, indem sie zeigt, dass keiner in den anderen enthalten ist, wodurch die bekannte Landschaft positiver Charakterformen für Griffiths-semipositive Bündel erweitert wird.

Die Ergebnisse werden als direkte Folge der expliziten Krümmungsberechnungen und der Universalität der Push-Forward-Operation präsentiert, ohne neue experimentelle Vorschläge oder ungeprüfte zukünftige Implikationen einzuführen, die über den Umfang der etablierten Theoreme hinausgehen.