ScalingStacks

Proof. [03UB]

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.33 3 We thank to Ofer Gabber for suggesting the proof below It suffices to prove that nn-dimensional cells are dense in BB, where n=dimXn=\dim X. For any open U⊂B,U≠∅U\subset B,\,\,U\neq\emptyset we have Hcn​(U,π∗​(ΩXn))≃Hcn​(π−1​(U),ΩXn)H_{c}^{n}(U,\pi_{\ast}(\Omega^{n}_{X}))\simeq H_{c}^{n}(\pi^{-1}(U),\Omega^{n}_{X}).

The last group is nontrivial, because for any non-empty open V⊂Xa​nV\subset X^{an} the integration map ∫:Hcn​(V,ΩXn)→K\int:H_{c}^{n}(V,\Omega^{n}_{X})\to K is onto. Therefore dim(U)≥n\dim(U)\geq n. ■\blacksquare

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