ScalingStacks

1.1.2. Edges [03YD]

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

1.1.2. Edges

Along an edge Δ⊂𝔇\mathfrak{\Delta}\subset\mathfrak{D}, the singular fibres have the topology of T3T^{3} with T2T^{2} collapsed to S1S^{1}, alternatively written as I1×S1I_{1}\times S^{1}, where I1I_{1} refers to the nodal elliptic curve or equivalently S2S^{2} with two points identified. Notice the singularity on the fibre is not isolated. These singular fibres have Betti numbers (b1,b2)=(2,2)(b_{1},b_{2})=(2,2) and Euler characteristic 0. The T3T^{3}-fibration is locally described as the Kodaira type I1I_{1} degenerating family of elliptic curves over a disc D2⊂ℂD^{2}\subset\mathbb{C}, Cartesian product with the trivial S1S^{1}-bundle S1×ℝ→ℝS^{1}\times\mathbb{R}\to\mathbb{R}. The monodromy around the edge Δ⊂𝔇\mathfrak{\Delta}\subset\mathfrak{D} acting on H1​(T3)≃ℤ3H_{1}(T^{3})\simeq\mathbb{Z}^{3} can be written in a suitable basis as

[110010001].\begin{bmatrix}1&1&0\\ 0&1&0\\ 0&0&1\end{bmatrix}.

For an alternative viewpoint which ties in better with the Gibbons-Hawking construction (see later Sections 1.2), the base is B⊂ℝ3B\subset\mathbb{R}^{3}, and the total space MM is a singular S1S^{1}-bundle over S1×B×S1S^{1}\times B\times S^{1}, where the S1S^{1}-fibres collapse to points along the codimension 3 locus {0}×Δ×S1⊂S1×B×S1\{0\}\times\mathfrak{\Delta}\times S^{1}\subset S^{1}\times B\times S^{1}. In the 3 transverse directions, the singular S1S^{1}-bundle structure is topologically modelled on the Hopf map

(1.1) πℂ2:ℂ2→ℝ×ℂ,(z0,z1)↦(12​(|z1|2−|z0|2),z0​z1).\pi_{\mathbb{C}^{2}}:\mathbb{C}^{2}\to\mathbb{R}\times\mathbb{C},\quad(z_{0},z_{1})\mapsto\left(\frac{1}{2}(|z_{1}|^{2}-|z_{0}|^{2}),z_{0}z_{1}\right).

The Chern class c1∈H2​(S1×B×S1∖({0}×Δ×S1),ℤ)c_{1}\in H^{2}(S^{1}\times B\times S^{1}\setminus(\{0\}\times\mathfrak{\Delta}\times S^{1}),\mathbb{Z}) evaluates to 1 on a suitably oriented S2S^{2}-cycle linking {0}×Δ×S1\{0\}\times\mathfrak{\Delta}\times S^{1} inside S1×B×S1S^{1}\times B\times S^{1}.

Remark 1.4.

In this review Section topology refers to the continuous topology. There are subtleties with extending the smooth structure on the singular S1S^{1}-bundle across the discriminant locus (cf. Section 2.3).

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