Ricci Flow on CP1-bundles over a Product of Kähler-Einstein Manifolds

Technische Samenvatting: Ricci-flow op $\mathbb{CP}^1$-bundels over een product van Kähler-Einstein-variëteiten

Probleemstelling
Dit artikel onderzoekt het gedrag van de Ricci-flow op een specifieke klasse van variëteiten: $\mathbb{CP}^1$-bundels over een product van compacte Kähler-Einstein-variëteiten, $N = N_1 \times \cdots \times N_r$. De studie richt zich op initiële metrieken $g_0$ die zijn geconstrueerd via een specifieke geometrische ansatz, oorspronkelijk ontwikkeld door Wang-Wang [WW98] en Dancer-Wang [DW11] voor het construeren van Einstein-metrieken en Ricci-solitonen. De primaire doelstellingen zijn tweeledig: enerzijds bepalen of deze specifieke metriek-ansatz behouden blijft onder de evolutie van de Ricci-flow; anderzijds de aard van de eindige-tijd singulariteiten classificeren die kunnen optreden, specifiek het onderscheid tussen Type I en Type II singulariteiten in het Kähler-geval.

Methodologie
De auteurs maken gebruik van een combinatie van geometrische analyse, ODE-reductie en kromming-schattingstechnieken:

1. Geometrische Ansatz en Structuur: De variëteit $M$ wordt gemodelleerd als een submersie $\pi: P \to N$ met cirkel-vezels, uitgebreid naar een variëteit $M \cong I \times P$. De metriek wordt gedefinieerd door een warped product-structuur met een radiale parameter $s$, een contact 1-vorm $\eta$ en conformal factoren $H(s)$ en $F_i(s)$ die de basismetrieken $g_{N_i}$ schalen. De auteurs definiëren rigoureus de sluitingsvoorwaarden die vereist zijn om de metriek glad en compleet te maken op de eindpunten van het interval $I$.
2. Berekening van de Kromming: Met behulp van de O'Neill-tensoren voor Riemanniaanse submersies berekenen de auteurs de Ricci-krommingstensor van de ansatz-metriek. Zij tonen aan dat de Ricci-tensor dezelfde structurele vorm behoudt als de metriek zelf (een lineaire combinatie van $ds^2$, $\eta \otimes \eta$ en de pullbacks van de basis-metrieken).
3. Reductie tot ODE's: Door vast te stellen dat de Ricci-tensor dezelfde structuur heeft als de metriek, bewijzen de auteurs dat de Ricci-flow evolutie reduceert tot een systeem van gekoppelde parabolische partiële differentiaalvergelijkingen (PDE's) voor de conformal factoren. Deze PDE's worden verder aangetoond equivalent te zijn aan een systeem van ODE's onder de flow, wat garandeert dat de ansatz behouden blijft.
4. Singulariteitsanalyse:
   • Behoud: Het behoud van de ansatz wordt bewezen via de existentie en uniciteit van oplossingen voor het afgeleide ODE-systeem.
   • Gradiënt-schattingen: De auteurs passen de Li-Yau gradiënt-schattingen toe op de hitte-type vergelijkingen die worden voldaan door de gekwadrateerde conformal factoren $F_i^2$. Dit levert uniforme grenzen op voor de gradiënten van deze factoren.
   • Schwarz-type Schattingen: Door het gedrag van de Laplaciaan van $F_i^2$ bij de rand van de variëteit te analyseren, leiden de auteurs een lineaire ondergrens af voor de conformal factoren in termen van de extinctietijd $T$, specifiek $F_i^2 \geq C(T-t)$.
   • Blow-up Argument: Om een singulariteit te classificeren, nemen de auteurs een Type II singulariteit aan en voeren een parabolische herschaling uit. Zij maken gebruik van de afgeleide gradiënt-grenzen en de specifieke kromming-decompositie (inclusief de O'Neill $A$-tensor) om te laten zien dat de herschaleerde limiet isometrisch zou splitsen in een product bestaande uit een vlakke factor en een 2-dimensionale steady Ricci-soliton (een "cigar"). Zij argumenteren dat dit in tegenspraak is met Perelman's lokale niet-instortingsstelling (local non-collapsing theorem), waarmee zij Type II singulariteiten uitsluiten.

Belangrijkste Bijdragen en Resultaten

• Behoud van de Ansatz: Het artikel bewijst (Proposition 3.1) dat de specifieke metriek-ansatz gebruikt door Wang-Wang en Dancer-Wang behouden blijft onder de Ricci-flow. Bijgevolg wordt de evolutie van de metriek volledig bepaald door de evolutie van de scalaire functies $H(s,t)$ en $F_i(s,t)$.
• Type I Singulariteitsclassificatie: Het hoofdbestanddeel (Theorem 4.5) stelt vast dat voor de Kähler-Ricci-flow op deze variëteiten elke eindige-tijd singulariteit van Type I moet zijn. Dit betekent dat de kromming groeit met een snelheid die begrensd wordt door $C/(T-t)$.
• Generalisatie van Symmetrie: Dit werk breidt eerdere resultaten uit van Fong [Fon14], Song [Son15] en Guo-Song [GS16], die beperkt waren tot basis-variëteiten die enkele Kähler-Einstein-variëteiten waren met Calabi's $U(n)$-symmetrie. Dit artikel generaliseert de setting door de basis toe te staan een product van Kähler-Einstein-variëteiten te zijn, waardoor de symmetrie-eisen op de basis worden versoepeld terwijl de vezelstructuur behouden blijft.
• Kromming-decompositie: De auteurs bieden expliciete formules voor de Riemann krommingstensor in termen van de basis-krommingen en de conformal factoren, waarbij zij O'Neill-tensoren gebruiken om de interactie tussen de vezel en het product-basis te behandelen.

Betekenis
Het artikel claimt betekenis door het begrip van Ricci-flow singulariteiten op variëteiten met symmetrie te verrijken. Waar vorige werken zich richtten op enkelvoudige basisfactoren of hogere-orde bundels over enkele bases, behandelt dit werk de complexiteit die wordt geïntroduceerd door een product-basisstructuur. De auteurs merken op dat hun resultaat de waarschijnlijkheid bevestigt dat Type I singulariteiten voorkomen wanneer de variëteit beschikt over "goede symmetrie" (in dit geval de specifieke bundelstructuur).

De auteurs zijn bescheiden over de identificatie van de specifieke blow-up modellen voor alle gevallen. Zij bevestigen dat indien de singulariteit wordt veroorzaakt door het instorten van de $\mathbb{CP}^1$-vezels, de blow-up limiet het product $\mathbb{CP}^1 \times \mathbb{C}^n$ is (waarbij $n = \dim_{\mathbb{C}} N$), wat consistent is met eerdere bevindingen. Zij stellen echter expliciet dat als de singulariteit voortvloeit uit de contractie van specifieke factoren van de basis-variëteit (maar niet alle), de aard van de blow-up limiet "niet rechtlijnig" is en een open vraag blijft voor toekomstig werk. Hiermee is de primaire bijdrage van het artikel het rigoureuze bewijs van de Type I natuur van de singulariteit en het behoud van de ansatz, eerder dan een volledige classificatie van alle mogelijke blow-up modellen.