ScalingStacks

Proof. [02TW]

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.

Since the condition of being semipositive is closed, it is enough to check it in the open set X0anX_{0}^{{\text{\rm an}}}. We choose an integral basis of M=N∨M=N^{\vee}. This determines isomorphisms

X0an≃(ℂ×)n,X0​(ℝ≥0)≃(ℝ>0)n,Nℂ≃ℂn,Nℝ≃ℝn.X_{0}^{{\text{\rm an}}}\simeq(\mathbb{C}^{\times})^{n},\quad X_{0}(\mathbb{R}_{\geq 0})\simeq(\mathbb{R}_{>0})^{n},\quad N_{\mathbb{C}}\simeq\mathbb{C}^{n},\quad N_{\mathbb{R}}\simeq\mathbb{R}^{n}.

Let z1,…,znz_{1},\dots,z_{n} be the coordinates of X0anX_{0}^{{\text{\rm an}}} and u1,…,unu_{1},\dots,u_{n} the coordinates of NℝN_{\mathbb{R}} determined by these isomorphisms. With these coordinates the map

val:X0an→Nℝ{\operatorname{val}}\colon X_{0}^{{\text{\rm an}}}\to N_{\mathbb{R}}

is given by

val⁡(z1,…,zn)=−12​(log⁡(z1​z¯1),…,log⁡(zn​z¯n)).{\operatorname{val}}(z_{1},\dots,z_{n})=\frac{-1}{2}(\log(z_{1}\bar{z}_{1}),\dots,\log(z_{n}\bar{z}_{n})).

As usual, we denote L¯=(L,∥⋅∥){\overline{L}}=(L,\|\cdot\|). Set g=gL¯,s=log⁡‖s‖g=g_{{\overline{L}},s}=\log\|s\|. Then, the integral valued first Chern class is given by

(5.30) 12​π​i​c1​(L¯)=1π​i​∂∂¯​g=−iπ​∑k,l∂2g∂zk​∂z¯l​d​zk∧d​z¯l.\frac{1}{2\pi i}c_{1}(\overline{L})=\frac{1}{\pi i}\partial\bar{\partial}g=\frac{-i}{\pi}\sum_{k,l}\frac{\partial^{2}g}{\partial z_{k}\partial\bar{z}_{l}}\,\text{\rm d}z_{k}\land\,\text{\rm d}\bar{z}_{l}.

The standard orientation of the unit disk 𝔻⊂ℂ\mathbb{D}\subset\mathbb{C} is given by d​x∧d​y=(i/2)​d​z∧d​z¯\,\text{\rm d}x\land\,\text{\rm d}y=(i/2)\,\text{\rm d}z\land\,\text{\rm d}\bar{z}. Hence, the metric of L¯{\overline{L}} is semipositive if and only if the matrix G=(∂2g∂zk​∂z¯l)k,lG=(\frac{\partial^{2}g}{\partial z_{k}\partial\bar{z}_{l}})_{k,l} is semi-negative definite. Since

(5.31) ∂2g∂zk​∂z¯l=14​zk​z¯l​∂2ψ∂uk​∂u¯l,\frac{\partial^{2}g}{\partial z_{k}\partial\bar{z}_{l}}=\frac{1}{4z_{k}\bar{z}_{l}}\frac{\partial^{2}\psi}{\partial u_{k}\partial\bar{u}_{l}},

if we write Hess⁡(ψ)=(∂2ψ∂uk​∂u¯l)k,l\operatorname{Hess}(\psi)=(\frac{\partial^{2}\psi}{\partial u_{k}\partial\bar{u}_{l}})_{k,l} and Z=diag⁡((2​z1)−1,…,(2​zn)−1)Z=\operatorname{diag}((2z_{1})^{-1},\dots,(2z_{n})^{-1}), then G=Z¯t​Hess⁡(ψ)​ZG=\bar{Z}^{t}\operatorname{Hess}(\psi)Z. Therefore GG is semi-negative definite if and only if Hess⁡(ψ)\operatorname{Hess}(\psi) is semi-negative definite, hence, if and only if ψ\psi is concave. ∎

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