ScalingStacks

Proof. [051P]

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.

Notice a principal S1S^{1} bundle is topologically determined by its first Chern class. It suffices to compare the first Chern classes of ℳ∗{\mathcal{M}^{*}} and 𝕃\mathbb{L} over the sphere bundle 𝒮ϵ\mathcal{S}_{\epsilon} for a small ϵ\epsilon. As in the proof of Lemma 4.2 th Gysin sequence gives

(4.45) 0→H2​(P,ℤ)→p∗H2​(𝒮ϵ,ℤ)→∫H0​(P,ℤ)≃ℤ→0.0\rightarrow H^{2}(P;\mathbb{Z})\xrightarrow{p^{*}}H^{2}(\mathcal{S}_{\epsilon};\mathbb{Z})\xrightarrow{\int}H^{0}(P;\mathbb{Z})\simeq\mathbb{Z}\rightarrow 0.

From the proof of Lemma 4.2 we know

(4.46) ∫c1​(ℳ∗)=∫𝒮ϵ​(p)12​π​Υ=−1.\int c_{1}({\mathcal{M}^{*}})=\int_{\mathcal{S}_{\epsilon}(p)}\frac{1}{2\pi}\Upsilon=-1.

Also by (2.49) we have

(4.47) ∫c1​(𝕃)=∫S2⊂ℝ312​π​Υ0=−1.\int c_{1}(\mathbb{L})=\int_{S^{2}\subset\mathbb{R}^{3}}\frac{1}{2\pi}\Upsilon_{0}=-1.

So

(4.48) ℳ∗=𝕃⊗p∗​L′{\mathcal{M}^{*}}=\mathbb{L}\otimes p^{*}L^{\prime}

for some U⁡(1)U(1) bundle L′L^{\prime} over PP. Now we restrict both ℳ∗{\mathcal{M}^{*}} and 𝕃\mathbb{L} to the subset H0⊂𝒰H_{0}\subset\mathcal{U} where y=0y=0 and z=z0z=z_{0} for a fixed z0<0z_{0}<0. We can identify H0H_{0} with HH by the projection map. Now we claim both restrictions have first Chern class equal to k−​c1​(𝕃2)k_{-}c_{1}(\mathbb{L}_{2}). For ℳ∗{\mathcal{M}^{*}} this follows from construction and for 𝕃\mathbb{L} we notice that z=z0<0z=z_{0}<0 implies that s2≠0s_{2}\neq 0 and s1=0s_{1}=0, so the projection map (s1,s2)↦|2​z0|1/2⋅s2(s_{1},s_{2})\mapsto|2z_{0}|^{1/2}\cdot s_{2} gives an isomorphism between the restriction of 𝕃\mathbb{L} and the unit circle bundle in 𝕃2\mathbb{L}_{2}. This also explains the choice of the weight of the S1S^{1} action in (4.42).

Now it follows from the claim that L′L^{\prime} is indeed a trivial principal S1S^{1} bundle, and this finishes the proof. ∎

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