Tian's uniform estimate conjecture for degenerate complex Monge–Ampère equations

At least 18 years old · documented by

Let (X,ωX)(X,\omega_X) be a polarized compact connected Kähler manifold of complex dimension nn, let (Y,ωY)(Y,\omega_Y) be a compact irreducible Kähler space of complex dimension m≤nm\leq n, and let π:X→Y\pi:X\rightarrow Y be a surjective holomorphic map. Let 0≤f∈Llog⁡n+εL(X,ωXn)0\leq f\in L\log^{n+\varepsilon}L(X,\omega_X^n) for some ε>0\varepsilon>0, with

1=∫XfωXn.1=\int_X f\omega_X^n.

For t∈(0,1)t\in(0,1), set

Kt:={π∗ωY+tωX}n>0.K_t:=\{\pi^*\omega_Y+t\omega_X\}^n>0.

The solutions ψt\psi_t of the complex Monge–Ampère equations

(π∗ωY+tωX+i∂∂ˉψt)n=KtfωXn(\pi^*\omega_Y+t\omega_X+i\partial\bar\partial\psi_t)^n=K_t f\omega_X^n

should satisfy Tian's uniform L∞L^{\infty}-estimate. Namely,

Osc⁡(ψt):=sup⁡Xψt−inf⁡Xψt≤C<+∞\operatorname{Osc}(\psi_t):=\sup_X\psi_t-\inf_X\psi_t\leq C<+\infty

for all t∈(0,1)t\in(0,1). This estimate is the conjecture of Tian referred to in the source; the surrounding text states that the authors' L∞L^{\infty}-estimate completely solves it, while the parser supplies no independent resolution status.

References

Primary source

Jean-Pierre Demailly and Nefton Pali, “Degenerate complex Monge-Ampère equations over compact Kähler manifolds”, arXiv:0710.5109 (2009).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.