ScalingStacks

Proof. [04EB]

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 fLi​Lif_{L_{i}}L_{i} converges to fL​Lf_{L}L as currents,

∫LifLi​Ω→∫LfL​Ω.\int_{L_{i}}f_{L_{i}}\Omega\to\int_{L}f_{L}\Omega.

It suffices to justify ∫𝒞iλ∧Ω→∫𝒞λ∧Ω,\int_{\mathcal{C}_{i}}\lambda\wedge\Omega\to\int_{\mathcal{C}}\lambda\wedge\Omega, where ∂𝒞i=Li−L0\partial\mathcal{C}_{i}=L_{i}-L_{0}, and ∂𝒞=L−L0\partial\mathcal{C}=L-L_{0}.

Now the flat norm convergence gives Li−L=Ai+∂BiL_{i}-L=A_{i}+\partial B_{i} for some integral currents Ai,BiA_{i},B_{i}, with M​a​s​s​(Ai)+M​a​s​s​(Bi)→0Mass(A_{i})+Mass(B_{i})\to 0. Since [Li]=[L]=[L0]∈Hn​(X)[L_{i}]=[L]=[L_{0}]\in H_{n}(X), the homology class of AiA_{i} is zero. A version of the isoperimetric theorem (cf. Prop. 5.11 below) then says Ai=∂Bi′A_{i}=\partial B_{i}^{\prime} with M​a​s​s​(Bi′)≤C​M​a​s​s​(Ai)(n+1)/n→0Mass(B_{i}^{\prime})\leq CMass(A_{i})^{(n+1)/n}\to 0. Without loss of generality we absorb Bi′B_{i}^{\prime} into BiB_{i}. Then we can simply choose 𝒞i=𝒞+Bi\mathcal{C}_{i}=\mathcal{C}+B_{i}, which is legitimate since it satisfies ∂𝒞i=Li−L0\partial\mathcal{C}_{i}=L_{i}-L_{0}. The claim follows by

|∫Biλ∧Ω|≤C​M​a​s​s​(Bi)→0.|\int_{B_{i}}\lambda\wedge\Omega|\leq CMass(B_{i})\to 0.

∎

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