ScalingStacks

1.1.4. Negative vertices [03YG]

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.4. Negative vertices

We recount here the historical perspective of Gross and Ruan on negative vertices, to be modified in Section 1.1.5. Let 𝔇⊂B\mathfrak{D}\subset B be a graph with one vertex emitting 3 edges. Topologically, we present 𝔇\mathfrak{D} as

𝔇=𝔇1∪𝔇2∪𝔇3∪{0}={y1=0,y2>0}∪{y2=0,y1>0}∪{y1=y2<0}∪{0}⊂ℝy1,y22×{0}⊂ℝ2×ℝ=B.\begin{split}\mathfrak{D}&=\mathfrak{D}_{1}\cup\mathfrak{D}_{2}\cup\mathfrak{D}_{3}\cup\{0\}=\{y_{1}=0,y_{2}>0\}\cup\{y_{2}=0,y_{1}>0\}\cup\{y_{1}=y_{2}<0\}\cup\{0\}\\ &\subset\mathbb{R}^{2}_{y_{1},y_{2}}\times\{0\}\subset\mathbb{R}^{2}\times\mathbb{R}=B.\end{split}

Let e1,e2e_{1},e_{2} be a basis of H1​(T2,ℤ)H_{1}(T^{2},\mathbb{Z}). Let S⊂B×T2S\subset B\times T^{2} be a ‘pair of pants’ (namely a surface homeomorphic to the complement of 3 points in S2S^{2}) sitting over 𝔇⊂B\mathfrak{D}\subset B, such that S∩(𝔇i×T2)S\cap(\mathfrak{D}_{i}\times T^{2}) is a cylinder 𝔇i×S1\mathfrak{D}_{i}\times S^{1}, where the S1S^{1} factor inside T2T^{2} has homology class e2,e1,−e1−e2e_{2},e_{1},-e_{1}-e_{2} for i=1,2,3i=1,2,3 respectively. The fact that these 3 classes add up to zero means the 3 cylinders 𝔇i×S1\mathfrak{D}_{i}\times S^{1} can be joined together over {0}×T2\{0\}\times T^{2}. The fibre of S→𝔇S\to\mathfrak{D} over 0∈𝔇0\in\mathfrak{D} is a ‘figure 8 diagram’.

Then the total space M−M^{-} is built as a singular S1S^{1}-bundle over B×T2B\times T^{2}, which restricts to a principal S1S^{1}-bundle over the complement of the codimension 3 locus S⊂B×T2S\subset B\times T^{2}, and along SS the S1S^{1}-fibres collapse to points. The first Chern class of the S1S^{1}-bundle evaluates trivially on T2⊂B×T2T^{2}\subset B\times T^{2} but nontrivially on the S2S^{2}-cycle wrapping SS. In the 3 transverse directions, the S1S^{1} fibration is modelled topologically on (1.1).

By construction M−M^{-} fibres over BB with generic fibre T3T^{3}, where T3T^{3} itself is an S1S^{1}-bundle over T2T^{2}. The class of this S1⊂T3S^{1}\subset T^{3} is denoted e3e_{3}. The singular fibre of M−→BM^{-}\to B over 0∈B0\in B is obtained by taking the bundle T3→T2T^{3}\to T^{2}, and collapse down its S1S^{1}-fibres over a ‘figure 8 diagram’ inside T2T^{2}. This singular fibre has Betti numbers (b1,b2)=(2,1)(b_{1},b_{2})=(2,1) and Euler characteristic −1-1 (hence the name ‘negative vertex’). The homology classes e1,e2e_{1},e_{2} lift to H1​(T3)H_{1}(T^{3}). The monodromies around the edges 𝔇1,𝔇2,𝔇3\mathfrak{D}_{1},\mathfrak{D}_{2},\mathfrak{D}_{3} acting on H1​(T3,ℤ)H_{1}(T^{3},\mathbb{Z}) are given in the basis e1,e2,e3e_{1},e_{2},e_{3} of H1​(T3,ℤ)H_{1}(T^{3},\mathbb{Z}) as

[100010101],[1000100−11], and ​[100010−111].\begin{bmatrix}1&0&0\\ 0&1&0\\ 1&0&1\end{bmatrix},\quad\begin{bmatrix}1&0&0\\ 0&1&0\\ 0&-1&1\end{bmatrix},\text{ and }\begin{bmatrix}1&0&0\\ 0&1&0\\ -1&1&1\end{bmatrix}.

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