ScalingStacks

1 Introduction [02G7]

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

1 Introduction

Let π:X⟶Y\pi:X\longrightarrow Y be a non degenerate holomorphic mapping between compact Kähler manifolds such that n:=d​i​mℂ​X≥m:=d​i​mℂ​Yn:=dim_{\mathbb{C}}X\geq m:=dim_{\mathbb{C}}Y. Let ωX\omega_{X}, ωY\omega_{Y} Kähler forms on XX and YY respectively. Let F:X⟶ℝ+F:X\longrightarrow\mathbb{R}^{+} be a non negative function such that F∈Lp​(X)F\in L^{p}(X) for some p>1p>1.

Set ωt:=π∗​(ωY)+t​ωX\omega_{t}:=\pi^{*}(\omega_{Y})+t\omega_{X}, t>0t>0. We consider the following family of complex Monge-Ampère equations

(⋆)t {(ωt+d​dc​φt)n=ct​tn−m​F​ωXnmaxX⁡φt=0= 0\left\{\begin{array}[]{ll}(\omega_{t}+dd^{c}\varphi_{t})^{n}&=\ c_{t}t^{n-m}F\omega_{X}^{n}\\ \max_{X}\varphi_{t}=0&=\ 0\\ \end{array}\right.

where φt\varphi_{t} is ωt−\omega_{t}-plurisubharmonic on XX and ct>0c_{t}>0 is a constant given by

ct​tn−m​∫XF​ωXn=∫Xωtn.c_{t}t^{n-m}\int_{X}F\omega_{X}^{n}=\int_{X}\omega_{t}^{n}.

It follows from the seminal work of S.T. Yau [Y] and S. Kolodziej [K 1], [K 2] that the equation (⋆)t(\star)_{t} admits a unique continuous solution. (Observe that for t∈]0,1]t\in]0,1], ωt\omega_{t} is a Kähler form).

Our aim here is to understand what happens when t→0+t\to 0^{+}, motivated by recent geometrical developpments [ST], [KT]. When n=mn=m, the cohomology class ω0{\omega_{0}} is big and semi-ample and this problem has been adressed by several authors recently (see [CN], [EGZ], [TZ], [To]).

We focus here on the case m<nm<n. This situation is motivated by the study of the Kähler-Ricci flow on manifolds XX of intermediate Kodaira dimension 1≤k​o​d​(X)≤n−11\leq kod(X)\leq n-1. When n=2n=2 this has been studied by J.Song and G.Tian [ST].

In a very recent and interesting paper [KT], S. Kolodziej and G. Tian were able to show, under a technical geometric assumption on the fibration π\pi, that the solutions (φt)(\varphi_{t}) are uniformly bounded on XX when t↘0+t\searrow 0^{+}.

The purpose of this note is to (re)prove this result without any technical assumption and with a different method: we actually follow the strategy introduced by S. Kolodziej in [K] and further developped in [EGZ], [BGZ].

THEOREM. There exists a uniform constant M=M⁡(π,‖F‖p)>0M=M(\pi,\|F\|_{p})>0 such that the solutions to the Monge-Ampère equations (⋆)t(\star)_{t} satisfy

∥φt∥L∞​(X)≤M,∀t∈]0,1].\|\varphi_{t}\|_{L^{\infty}(X)}\ \leq\ M,\ \forall t\in]0,1].

It follows from our result that Theorems 1 and 2 in [KT] hold without any technical assumption on the fibration (see condition 0.2 in [KT]).

This result has been announced by J-P. Demailly and N. Pali [DP].

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