ScalingStacks

Proof. [04EN]

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.

The isoperimetric theorem [71, Thm 6.1] guarantees the existence of an integral current A′A^{\prime} supported in BRB_{R} such that ∂A′=∂A\partial A^{\prime}=\partial A and for which

M​a​s​s​(A′)(n−1)/n≤C​M​a​s​s​(∂A).Mass(A^{\prime})^{(n-1)/n}\leq CMass(\partial A).

Notice the metric uniform equivalence means we do not need to be careful to distinguish the Hausdorff measure for the Euclidean metric and the Calabi-Yau metric. Let TT denote the cone over the current A−A′A-A^{\prime}, then ∂T=A−A′\partial T=A-A^{\prime}, and thus by the quantitative calibrated condition,

M​a​s​s​(A)≤1sin⁡ϵ​∫ARe​Ω=1sin⁡ϵ​∫A′Re​Ω+1sin⁡ϵ​∫∂TRe​Ω≤1sin⁡ϵ​M​a​s​s​(A′)+1sin⁡ϵ​∫Td​Re​Ω≤1sin⁡ϵ​C​M​a​s​s​(∂A)n/(n−1),\begin{split}&Mass(A)\leq\frac{1}{\sin\epsilon}\int_{A}\text{Re}\Omega=\frac{1}{\sin\epsilon}\int_{A^{\prime}}\text{Re}\Omega+\frac{1}{\sin\epsilon}\int_{\partial T}\text{Re}\Omega\\ \leq&\frac{1}{\sin\epsilon}Mass(A^{\prime})+\frac{1}{\sin\epsilon}\int_{T}d\text{Re}\Omega\leq\frac{1}{\sin\epsilon}CMass(\partial A)^{n/(n-1)},\end{split}

which is the isoperimetric inequality. ∎

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