ScalingStacks

Verified tagged author-source HTML · 2007.01384v1 · cited publication edition alignment unverified.

009K

Lemma 2.5. (Concavity of d​e​t1/ndet^{1/n}) On an open domain, suppose u,vu,v are continuous ω\omega-psh functions, with

ωun=f​ωn,ωvn=g​ωn\omega_{u}^{n}=f\omega^{n},\quad\omega_{v}^{n}=g\omega^{n}

for f,g∈L∞f,g\in L^{\infty}. Then for 0<s<10<s<1, we have ωs​u+(1−s)​vn≥(s​f1/n+(1−s)​g1/n)n​ωn\omega_{su+(1-s)v}^{n}\geq(sf^{1/n}+(1-s)g^{1/n})^{n}\omega^{n}.

009L

Proof. In the smooth case this is a pointwise inequality expressing the concavity of A↦det1/nAA\mapsto\det^{1/n}A on the set of Hermitian matrices. In general one shows this by an approximation argument [30, Lemma 1.2]. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.