GTFW Presentation Schedule Bibliography

Reading seminar :
Weighted cscK metrics and fibrations


This reading seminar focuses on the topics of the recent paper [AJL21] on weighted cscK metrics and semisimple principal fibration construction, by Apostolov-Jubert-Lahdili. Since this paper extends various important recent results on the existence of canonical Kähler metrics, it can serve as a pretext to study them as well, depending on the wishes of the participants.

Semisimple principal fibration construction: from the data of

the semisimple principal fibration is as follows. The product \(Q\times X\) is equipped with a an effective proper action of \(T\) by \(t\cdot (q,v) = (qt^{-1},t\cdot v)\), and the quotient \(Y:=Q\times X /T\) is a well-defined fiber bundle, with structure group \(T\), basis \(B\) and fiber \(X\). The data of a connection \(\theta\) provides in addition a complex structure on \(Y\) and allows to build compatible Kähler metrics \(\omega_Y\) on \(Y\) from \(\omega_X\) and \(\omega_B\).

The emblematic example of such a construction is Calabi's ansatz for extremal metrics on Hirzebruch surfaces [Cal82]. Various generalizations of the Calabi ansatz have been used over the years, a notable illustration being the series [ACG***] comprising examples of Kähler manifolds without extremal Kähler metrics, which are not destabilized by standard (equivariant) test configurations, which motivated the introduction of uniform K-stability.

One of the main results of [AJL21] is the following variational caracterisation of the existence of extremal Kähler metrics on semisimple principal fiber bundles.

Theorem [Extremal metrics on semisimple principal fibrations] : The following are equivalent:

This theorem allows to prove the existence of new canonical Kähler metrics, especially if one uses in addition the resolution of the uniform YTD conjecture by Simon Jubert when the fiber is toric [J21], or the resolution of the YTD conjecture by Han and Li for weighted solitons [HL20]. The proof (in the coercivity implies existence direction) relies on an adaptation of Chen's continuity method to the construction, as well as on the revolutionary results of Chen-Cheng adapted to the extremal setting by He [CC18, He19]. This provides a striking illustration of the relevance of weighted cscK metrics, introduced by Lahdili and studied in a series of papers [Lah**]. Another main result of their paper takes place entirely on the side of weighted cscK metrics, forgetting about fibrations. It only provides a direction in the above theorem, but for general weights.

Theorem [Existence implies weighted coercivity] : Let \((X,\omega_X)\) be a weighted cscK manifold. Then the weighted Mabuchi functional is \(T^{\mathbb{C}}\)-coercive on the space of \(T\)-invariant Kähler metrics in \([\omega_X]\).

The proof builds on the general framework developed by Darvas and Rubinstein [DR17], and requires adapting various key results from the classical case to the weighted case (e.g. Chen Tian's formula for weighted K-energy, the extension of various functionals to finite energy metrics, Berman-Darvas-Lu regularity result [BDL20], etc). A remarkable aspect of the proof, giving a global coherence to the paper is the use of the above semisimple principal fibration construction to extend the functionals to finite energy metrics. The idea has been used previously by Han and Li in the context of weighted solitons, inspired by the much older ideas of Donaldson [Don05] and equivariant cohomology. As one naturally expects, the above theorem has consequences on the K-stability side:

Theorem [Existence implies weighted K-stability] : Let \((X,\omega_X)\) be a weighted cscK manifold, then \((X,[\omega_X])\) is uniformly weighted K-stable.

This last theorem is based on the general framework developed by Boucksom-Hisamoto-Jonsson [BHJ19], Sjostrom Dyrefelt [Sjo20], etc.: one extracts information about non-archimedean functionals from their archimedean versions by studying the slopes along geodesic rays.

Tentative schedule

1) Introduction
General introduction, baby example of \(\operatorname{Bl}_0\mathbb{P}^2\)
References : [AJL21], [Cal82]
Thibaut Delcroix, February 18, 14:30
2) Weighted cscK metrics.
General definition, variational approach using the weighted Mabuchi functional
References : [Lah19, Lah20, AJL21]
Yueqiao Wu, February 25, 14:30
3) Semisimple principal fibrations I.
Construction. Compatible Kähler metrics. Examples.
References : [Section 5, AJL21]
Tran Trung Nghiem, March 11, 14:30
video part 1 and part2
Missing between the videos : answers to Sébastien's questions.
1) Does it matter to take \(\omega_B\) cscK at this point? Not for this talk, only when translating the extremal metric equation to a weighted cscK equation.
2) Why a product of cscK is more general than just one cscK ? More principal bundles with connections are possible (if only one factor, all principal bundles must be built from the circle bundle of an ample cscK line bundle on the base, and the curvature of the connection must be a pure tensor \(p\otimes \omega_b\)).
4) Semisimple principal fibrations II.
Scalar curvature of compatible Kähler metrics.
References : [Section 5, AJL21]
Simon Jubert, March 18, 14:30
5) Existence implies coercivity I.
Structure of the proof via Darvas-Rubinstein's framework. Preliminary results on the weighted functionals.
References : [Section 3 and 6, AJL21], [DR17]
Tat Dat Tô, April 1, 14:30
6) Existence implies coercivity II.
Regularity of minimizers of the weighted Mabuchi functional.
References : [Section 7, AJL21], [BDL20]
Hoang Chinh Lu, April 8, 14:30
6) Existence implies coercivity III.
Extension of weighted functionals to finite energy metrics via the semisimple principal fibration constructions.
References : [Section 6, AJL21], [HL20]
Rémi Reboulet, April 15, 14:30
8) Existence implies K-stability.
Via the weighted Mabuchi functional slopes.
References : [Section 4, AJL21], [BHJ19, Sjo20]
Zakarias Sjöström Dyrefelt, June 17, 14:30
9) Coercivity implies existence.
Eleonora presented the main ingredients in Chen-Cheng's estimates in the cscK case. Read Simon Jubert's article to see how to use Chen continuity method in restriction to compatible metrics as well as Chen-Cheng and He's arguments for closedness.
References : [Section 8, AJL21], [J21, CC18, He19]
Eleonora Di Nezza, May 13, 14:30
10) Uniform YTD conjecture for toric fibrations.
Some notion of uniform K-stability on the moment polytope implies coercivity of the weighted Mabuchi functional.
References : [J21] and some of its references (notably Donaldson, Zhou-Zhu, and Apostolov's lecture notes)
Chenxi Yin, May 20, 14:30