Log continuity of solutions of complex Monge-Ampère equations

Hoang-Son Do,Duc-Viet Vu
2023-12-07
Abstract:Let X be a compact Kaehler manifold with semipositive anticanonical line bundle. Let L be a big and semi-ample line bundle on X and $\alpha$ be the Chern class of L. We prove that the solution of the complex Monge-Ampère equations in $\alpha$ with Lp righthand side (p > 1) is $\log^M$-continuous for every constant M > 0. As an application, we show that every singular Ricci-flat metric in a semi-ample class in a projective Calabi-Yau manifold X is globally $\log^M$-continuous with respect to a smooth metric on X.
Complex Variables,Analysis of PDEs,Differential Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the logarithmic continuity of solutions to the complex Monge - Ampère equation in a semi - positive cohomology class. Specifically, the author studies the logarithmic \(M\)-continuity of solutions to the complex Monge - Ampère equation on a compact Kähler manifold \(X\), given a semi - positive anti - canonical line bundle \(K^*_X\) and a big and semi - ample line bundle \(L\). Here, the logarithmic \(M\)-continuity means that for any constant \(M>0\), there exists a constant \(C_M > 0\) such that for any two points \(x,y\in X\) on the manifold, the solution \(u\) satisfies the following condition: \[ |u(x)-u(y)|\leq C_M\left|\log\text{dist}(x,y)\right|^{-M} \] where \(\text{dist}(x,y)\) is the distance between \(x\) and \(y\) on the manifold. ### Main Results The main results of the paper can be summarized in the following theorem: **Theorem 1.1**: Let \((X,\omega)\) be a compact Kähler manifold such that \(K^*_X\) is semi - positive and \(L\) is a big and semi - ample line bundle. Suppose \(f\) is an \(L^p\) function (\(p > 1\)) and \(\theta\in c_1(L)\) is a smooth form. Then the unique solution \(u\) of the complex Monge - Ampère equation \[ (dd^cu+\theta)^n = f\omega^n,\quad\sup_X u = 0 \] is logarithmically \(M\)-continuous for any constant \(M > 0\). ### Applications As an application of the main results, the paper also proves that in Calabi - Yau manifolds, every singular Ricci - flat metric is globally logarithmically \(M\)-continuous in the semi - ample class. Specifically: **Corollary 1.3**: Let \((X,\omega)\) be a compact Kähler manifold such that \(K^*_X\) is semi - positive and \(L\) is a big and semi - ample line bundle. Suppose \(\omega_0\) is a singular Kähler - Einstein metric in \(c_1(L)\). Then \(\omega_0\) has a logarithmically \(M\)-continuous potential function. Moreover, if \(d_{\omega_0}\) represents the distance induced by \(\omega_0\) on \(X\setminus N\), then for any constant \(M > 0\), there exists a constant \(C_M>0\) such that \[ d_{\omega_0}(x,y)\leq C_M\left|\log\text{dist}(x,y)\right|^{-M} \] for all \(x,y\in X\setminus N\). ### Method Overview The main methods of the paper include: 1. **Approximation Method**: By Demailly's analytic approximation technique, the smooth solution \(u\) is approximated by smooth quasi - psh functions \(u_{\epsilon}\). 2. **Capacity Trick**: Using Kołodziej's capacity trick, the weak logarithmic continuity of the solution is proved. 3. **Transitivity of Logarithmic Continuity**: It is proved that a function satisfying weak logarithmic continuity is actually the required logarithmic continuity. These methods together ensure the logarithmic continuity of solutions to the complex Monge - Ampère equation, thus solving the problem proposed in the paper.