ScalingStacks

Proof. [03GH]

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 Gysin sequence associated to (2.13) yields

(2.14) 0→H1​(𝕋2)→π∗H1​(Nilb3)→H0​(𝕋2)→∪eH2​(𝕋2)→⋯\displaystyle 0\rightarrow H^{1}(\mathbb{T}^{2})\xrightarrow{\pi^{*}}H^{1}(\Nil^{3}_{b})\rightarrow H^{0}(\mathbb{T}^{2})\xrightarrow{\cup e}H^{2}(\mathbb{T}^{2})\rightarrow\cdots

Since the Euler class ee of the bundle is bb times a generator of H2​(𝕋2)H^{2}(\mathbb{T}^{2}), the mapping ∪e:ℝ≅H0​(𝕋2)→H2​(𝕋2)≅ℝ\cup e:\mathbb{R}\cong H^{0}(\mathbb{T}^{2})\rightarrow H^{2}(\mathbb{T}^{2})\cong\mathbb{R} is just multiplication by bb, so this mapping is an isomorphism. Consequently, π∗:H1​(𝕋2)→H1​(Nilb3)\pi^{*}:H^{1}(\mathbb{T}^{2})\rightarrow H^{1}(\Nil^{3}_{b}) is also an isomorphism. Since Nilb3\Nil^{3}_{b} is a compact orientable 33-manifold, Poincaré duality implies that b1=b2b_{1}=b_{2}. ∎

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