ScalingStacks

Proof. [049R]

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.

We shall use the homological nature of the Solomon functional and the fact that Hn+1​(X)=0H_{n+1}(X)=0. We pick 𝒞1,𝒞2,𝒞3\mathcal{C}_{1},\mathcal{C}_{2},\mathcal{C}_{3} such that

∂𝒞1=L−L0′,∂𝒞2=L0′−L0,∂𝒞3=L−L0.\partial\mathcal{C}_{1}=L-L_{0}^{\prime},\quad\partial\mathcal{C}_{2}=L_{0}^{\prime}-L_{0},\quad\partial\mathcal{C}_{3}=L-L_{0}.

Then 𝒞1+𝒞2\mathcal{C}_{1}+\mathcal{C}_{2} is homologous to 𝒞3\mathcal{C}_{3}, so we can replace 𝒞3\mathcal{C}_{3} by 𝒞1+𝒞2\mathcal{C}_{1}+\mathcal{C}_{2} to compute 𝒮L0​(L)\mathcal{S}_{L_{0}}(L), whence (22) follows. ∎

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