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

Technische Samenvatting van "Universal Vector Bundles, Push-Forward Formulæ and Positivity of Characteristic Forms"

Probleemstelling
Het artikel behandelt de relatie tussen het cohomologische en het differentiaal-geometrische niveau van karakteristieke klassen voor holomorfe vectorbundels. Gegeven een Hermitische holomorfe vectorbundel $(E, h)$ over een complexe variëteit $X$, kan men flag-bundels $\pi_\rho: F_\rho(E) \to X$ overwegen die geassocieerd zijn met een sequentie van dimensies. Deze bundels dragen universele vectorbundels (tautologische sub-bundels en hun quotiëntbundels) die zijn uitgerust met geïnduceerde Hermitische metrieken.

Een klassiek probleem in de algebraïsche meetkunde betreft het bepalen van een universele formule (Gysin- of push-forward-formule) om de push-forward van een polynoom in de Chern-klassen van deze universele bundels uit te drukken als een polynoom in de Chern-klassen van de oorspronkelijke bundel $E$. Hoewel dergelijke formules goed gevestigd zijn in de cohomologie, onderzoekt het artikel het analoog aan dit probleem op het niveau van differentiaalvormen (Chern–Weil-vormen). De centrale vraag is of de push-forward van een polynoom in de Chern-vormen van de universele bundels (berekend via integratie langs de vezels) puntgewijs samenvalt met het polynoom in de Chern-vormen van $E$ dat wordt verkregen door de bekende cohomologische Gysin-formule toe te passen. Voorafgaand aan dit werk werd algemeen verwacht dat deze twee vormen mogelijk zouden verschillen door een exacte vorm.

Methodologie
De auteur hanteert een puntgewijze differentiaal-geometrische benadering, die steunt op expliciete lokale berekeningen van krommingstensoren. De methodologie verloopt als volgt:

1. Constructie van Lokale Frames: Het artikel construeert specifieke lokale holomorfe coördinaten en frames voor de universele vectorbundels over de flag-bundel $F_\rho(E)$. Deze frames zijn aangepast aan de tautologische filtratie en de geïnduceerde Hermitische metrieken.
2. Expliciete Berekening van Kromming: Een cruciale technische stap is de expliciete berekening van de Chern-krommingstensor van de universele vectorbundels (zowel de tautologische sub-bundels als hun quotiëntbundels) in een punt. De auteur bewijst dat de kromming van een universele quotiëntbundel $U_{\rho,l}/U_{\rho,\ell}$ kan worden vervaardigd uit een "horizontaal" deel (gerelateerd aan de pullback van de kromming van $E$) en een "verticaal" deel (intrinsiek aan de vezelgeometrie).
3. Decompositie van Kromming: De kromming wordt uitgedrukt als de som van een horizontale tensor $\theta^{(\ell,l)}$ (die afhankelijk is van de kromming van $E$) en een verticale tensor $\omega^{(\ell,l)}$. Deze decompositie maakt het mogelijk om de Chern-vormen van de universele bundels te schrijven als polynomen in de componenten van de kromming van $E$ en de verticale differentiaalvormen.
4. Integratie en Universaliteit: Door de structuur van deze polynomen te analyseren, demonstreert de auteur dat de push-forward operatie (integratie langs de vezels) werkt op de verticale componenten om coëfficiënten te produceren die universele constanten zijn (integralen over de flag-variëteit). De horizontale componenten, die afhankelijk zijn van de basisvariëteit $X$, blijven behouden.
5. Vergelijking met Cohomologie: Het resulterende evenbeeld wordt vergeleken met de bekende cohomologische Gysin-formule. De auteur maakt gebruik van een universaliteitsargument, waarbij het verschil tussen de differentiaalvorm-resultaat en de cohomologische voorspelling wordt getest op een specifieke klasse van gesplitte vectorbundels (directe sommen van lijnbundels met positieve kromming) om aan te tonen dat het verschil identiek nul moet zijn.

Belangrijkste Bijdragen en Resultaten

• Stelling A (Puntgewijze Push-Forward Identiteit): Het hoofdbestanddeel (Stelling 3.6) stelt dat voor elk homogeen polynoom $F$ in de Chern-vormen van alle universele vectorbundels over een flag-bundel, de push-forward via integratie langs de vezels gelijk is aan het polynoom $\Phi$ (bepaald door de cohomologische Gysin-formule) geëvalueerd direct op de Chern-vormen van de oorspronkelijke bundel $(E, h)$.
  $$(\pi_\rho)_* F(c^\bullet(E_1, H_1), \dots, c^\bullet(E_N, H_N)) = \Phi(c^\bullet(E, h))$$
  Deze gelijkheid geldt puntgewijs als differentiaalvormen, wat impliceert dat het verschil door een "exacte vorm" nul is.

• Expliciete Kromming-formules: Stelling 2.1 biedt expliciete formules voor de Chern-kromming van universele vectorbundels op flag-bundels in termen van de kromming van de basisbundel en verticale differentiaalvormen. Dit generaliseert eerdere resultaten die bekend waren voor projectieve bundels en Grassmann-bundels.

• Verfijning van de Jacobi–Trudi Identiteit: Als toepassing biedt het artikel een alternatieve versie van de Jacobi–Trudi identiteit op het niveau van differentiaalvormen (Propositie 4.2). Het toont aan dat elke Schur-vorm (een Schur-polynoom geëvalueerd in Chern-vormen) kan worden verkregen als een push-forward van de complete flag-bundel, wat eerdere resultaten op het cohomologische niveau verfijnt.

• Positiviteit van Karakteristieke Vormen: Het artikel onderzoekt de positiviteit van karakteristieke vormen voor Griffiths semi-positieve vectorbundels. Het bevestigt de conjectuur van Griffiths (die stelt dat niet-negatieve combinaties van Schur-polynomen geëvalueerd in Chern-vormen positieve differentiaalvormen opleveren) voor een specifieke familie van vormen.

  • Stelling 4.5: Het bewijst dat de push-forward van vormen zoals $c_1(Q_s, h_s)^\alpha \wedge c_2(Q_s, h_s)^\beta$ van Grassmann-bundels $G_s(E)$ naar $X$ positieve differentiaalvormen op $X$ oplevert die tot de positieve convexe kegel behoren die gespannen wordt door Schur-vormen.
  • Dit resultaat levert nieuw bewijs voor de conjectuur van Griffiths, waarbij gevallen worden gedekt die voorheen niet bekend waren, zoals specifieke combinaties die de tweede Chern-vorm in hogere rangen involveren.

Betekenis en Claims
Het artikel claimt dat de primaire betekenis ervan ligt in het overbruggen van de kloof tussen cohomologische formules en hun differentiaal-geometrische representanten. Door te bewijzen dat de push-forward van Chern-vormen commuteert met het toepassen van universele Gysin-formules, elimineert de auteur de noodzaak van expliciete vezelintegratie om karakteristieke vormen op de basisvariëteit te bepalen. Men kan simpelweg de bekende cohomologische formules toepassen op de Chern-vormen.

Wat betrekt de positiviteit, claimt het artikel bescheiden dat het deels de conjectuur van Griffiths bevestigt. Het stelt de positiviteit vast van een nieuwe familie van karakteristieke vormen afgeleid van Grassmann-bundels. De auteur merkt op dat hoewel deze vormen positief zijn, ze niet noodzakelijkerwijs "sterk positief" zijn (in de zin van zijnde sommen van kwadraten van $(2,2)$-vormen) vanwege de aard van de push-forward die betrokken is bij kwadraten van $(2,2)$-vormen. Het werk onderscheidt de kegel van vormen gegenereerd door deze push-forwards van de kegels gegenereerd door andere methoden (zoals die in [DF22]), waarbij wordt aangetoont dat de ene niet in de andere bevat, waardoor het bekende landschap van positieve karakteristieke vormen voor Griffiths semi-positieve bundels wordt uitgebreid.

De resultaten worden gepresenteerd als een direct gevolg van de expliciete kromming-berekeningen en de universaliteit van de push-forward operatie, zonder nieuwe experimentele voorstellen of ongeverifieerde toekomstige implicaties te introduceren buiten de reikwijdte van de gevestigde stellingen.