ScalingStacks

Proof. [021R]

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

Proof.

(of Corollary 1.5) Define F=logdetuα​β¯F=\log\det u_{\alpha\bar{\beta}}, first we show that FF is a constant. By the assumption, we can take a sequence of rs→∞r_{s}\rightarrow\infty, and a constant MM, such that

(6.13) sups≥11rs2​n​∫Brs​(0)(Δ​u)p+(∑k1uk​k¯)p≤M.\sup_{s\geq 1}\frac{1}{r_{s}^{2n}}\int_{B_{r_{s}}(0)}(\Delta u)^{p}+\big(\sum_{k}\frac{1}{u_{k\bar{k}}}\big)^{p}\leq M.

Define us​(z)=1rs2​u​(rs​z)u_{s}(z)=\frac{1}{r_{s}^{2}}u(r_{s}z). Let Δs:=usi​j¯∂i​j¯\Delta_{s}:=u_{s}^{i\bar{j}}\partial_{i\bar{j}}, the Laplace operator in ℂn\mathbb{C}^{n} defined by the metric −1​∂∂¯​us\sqrt{-1}\partial\bar{\partial}u_{s}. Also we denote Fs:=logdet∂α​β¯usF_{s}:=\log\det\partial_{\alpha\bar{\beta}}u_{s}, then Fs​(z)=F⁡(rs​z)F_{s}(z)=F(r_{s}z). Hence Δs​Fs=0\Delta_{s}F_{s}=0 in B1​(0)B_{1}(0), and (6.13) implies

(6.14) sups≥1∫B1(Δ​us)p+(∑k1(us)k​k¯)p≤M.\sup_{s\geq 1}\int_{B_{1}}(\Delta u_{s})^{p}+\big(\sum_{k}\frac{1}{(u_{s})_{k\bar{k}}}\big)^{p}\leq M.

Proposition 6.1 shows that there exists a positive constant C7C_{7}, independent of ss, such that 1C7≤(us)i​j¯≤C7\frac{1}{C_{7}}\leq(u_{s})_{i\bar{j}}\leq C_{7} and |∇Fs|≤C7|\nabla F_{s}|\leq C_{7} in B12​(0)B_{\frac{1}{2}}(0). Rescaling back, we find that |∇F|≤C7rs|\nabla F|\leq\frac{C_{7}}{r_{s}} in B12​rs​(0)B_{\frac{1}{2}r_{s}}(0). Sending s→∞s\rightarrow\infty, we get ∇F≡0\nabla F\equiv 0 on ℂn\mathbb{C}^{n}. Namely we have det∂α​β¯us=c\det\partial_{\alpha\bar{\beta}}u_{s}=c for some c>0c>0 on B1B_{1}. Then we may use Evans-Krylov theorem to conclude for some α>0\alpha>0

supk[−1​∂∂¯​us]α,B14≤M1.\sup_{k}[\sqrt{-1}\partial\bar{\partial}u_{s}]_{\alpha,B_{\frac{1}{4}}}\leq M_{1}.

In terms of uu, this implies

rsα​|ui​j¯​(z1)−ui​j¯​(z2)||z1−z2|α≤M, for any z1,z2∈Brs4​(0).r_{s}^{\alpha}\frac{|u_{i\bar{j}}(z_{1})-u_{i\bar{j}}(z_{2})|}{|z_{1}-z_{2}|^{\alpha}}\leq M,\textrm{ for any $z_{1},\,z_{2}\in B_{\frac{r_{s}}{4}}(0)$.}

Letting s→∞s\rightarrow\infty, we obtain ui​j¯​(z1)=ui​j¯​(z2)u_{i\bar{j}}(z_{1})=u_{i\bar{j}}(z_{2}), for any z1,z2∈ℂnz_{1},\,z_{2}\in\mathbb{C}^{n}. This implies the Levi Hessian of uu is constant. ∎

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