ScalingStacks

Proof. [05DI]

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.

If dimℝS<n\dim_{\mathbb{R}}S<n, then

Hn​(X,ℂ)=Hn​(Tr​(S),ℂ)=Hn​(S,ℂ)={0}H^{n}(X,\mathbb{C})=H^{n}(T_{r}(S),\mathbb{C})=H^{n}(S,\mathbb{C})=\{0\}

for any r>0r>0, where Tr​(S)={p∈X|d​i​s​tg0​(p,S)≤r}T_{r}(S)=\{p\in X|dist_{g_{0}}(p,S)\leq r\}. Let r0>r1>σr_{0}>r_{1}>\sigma such that Tr1​(S)⊂Bg0​(x0,r0)T_{r_{1}}(S)\subset B_{g_{0}}(x_{0},r_{0}), and Fr0,k​(Tr1​(S))⊃Bg~k​(xk,σ)F_{r_{0},k}(T_{r_{1}}(S))\supset B_{\tilde{g}_{k}}(x_{k},\sigma) for k≫1k\gg 1. Then the inclusion maps induce homeomorphisms on cohomology groups

Hn​(M,ℂ)⟶Hn​(Fr0,k​(Tr1​(S)),ℂ)⟶Hn​(Bg~k​(xk,σ),ℂ),H^{n}(M,\mathbb{C})\longrightarrow H^{n}(F_{r_{0},k}(T_{r_{1}}(S)),\mathbb{C})\longrightarrow H^{n}(B_{\tilde{g}_{k}}(x_{k},\sigma),\mathbb{C}),
and[Ω~k]↦[Ω~k|Fr0,k​(Tr1​(S))]↦[Ω~k|Bg~k​(xk,σ)]≠0.{\rm and}\ \ \ [\tilde{\Omega}_{k}]\mapsto[\tilde{\Omega}_{k}|_{F_{r_{0},k}(T_{r_{1}}(S))}]\mapsto[\tilde{\Omega}_{k}|_{B_{\tilde{g}_{k}}(x_{k},\sigma)}]\neq 0.

Thus [Ω~k|Fr0,k​(Tr1​(S))]≠0[\tilde{\Omega}_{k}|_{F_{r_{0},k}(T_{r_{1}}(S))}]\neq 0 in Hn​(Fr0,k​(Tr1​(S)),ℂ)H^{n}(F_{r_{0},k}(T_{r_{1}}(S)),\mathbb{C}), which contradicts to

Hn​(Fr0,k​(Tr1​(S)),ℂ)≅Hn​(Tr1​(S),ℂ)={0}.H^{n}(F_{r_{0},k}(T_{r_{1}}(S)),\mathbb{C})\cong H^{n}(T_{r_{1}}(S),\mathbb{C})=\{0\}.

∎

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