ScalingStacks

Connection with [Ts] [02G1]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Connection with [Ts]

Let XX be a complex projective manifold such that KXK_{X} is nef and big. Let Ω\Omega be a smooth Kähler metric on XX and consider the Kähler-Ricci flow

∂Ωt∂t=−R​i​c​(Ωt)−Ωt,Ω0=Ω.\frac{\partial\Omega_{t}}{\partial t}=-Ric(\Omega_{t})-\Omega_{t},\ \ \Omega_{0}=\Omega.

In [Ts], it was proved that this flow has a global solution for all time t∈[0,∞[t\in[0,\infty[, and an argument was given, recently fully completed in [TZ], to the effect that Ωt\Omega_{t} converges to a closed positive current TK​ET_{KE}, independent of Ω\Omega, which defines a smooth Kähler-Einstein metric outside the exceptional divisor EE of the holomorphic bimeromorphic map X→Xc​a​nX\to X_{can}. Its potential satisfies the Monge Ampère équation considered in Theorem 7.8 outside EE. It follows from proposition 4.4 that the current TK​ET_{KE} coincides with the solution produced by Theorem 7.8.

The notes [ST], [TZ] announce a proof of the following properties, already conjectured by [Ts], that TK​ET_{KE} has locally bounded potential and satisfies the degenerate Monge-Ampère equation considered in Theorem 7.8. Our Theorem 7.8 in this case gives the precision that TK​ET_{KE} has continuous potentials.

Example 7.10.

A nodal sextic threefold is of general type, Gorenstein, terminal, is its own canonical model, has no smooth minimal model and does not have quotient singularities. Therefore the orbifold method of [Ko] does not work and [Ts] does not apply.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.