ScalingStacks

Example 3.12 (Negative vertex) . [04ID]

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

Example 3.12 (Negative vertex).

Let BB and Δ\Delta be as in Example 3.10. Clearly, ℝ2−Δ\mathbb{R}^{2}-\Delta has three connected components, which we denote C1,C2C_{1},C_{2} and C3C_{3}. Let C¯j=Cj∪∂Cj\bar{C}_{j}=C_{j}\cup\partial C_{j}. Viewing ℝ2\mathbb{R}^{2} embedded in BB as {0}×ℝ2\{0\}\times\mathbb{R}^{2}, consider the following three open subsets of B0B_{0}:

U1\displaystyle U_{1} =\displaystyle= ℝ3−(C¯2∪C¯3),\displaystyle\mathbb{R}^{3}-(\bar{C}_{2}\cup\bar{C}_{3}),
U2\displaystyle U_{2} =\displaystyle= ℝ3−(C¯1∪C¯3),\displaystyle\mathbb{R}^{3}-(\bar{C}_{1}\cup\bar{C}_{3}),
U3\displaystyle U_{3} =\displaystyle= ℝ3−(C¯1∪C¯2).\displaystyle\mathbb{R}^{3}-(\bar{C}_{1}\cup\bar{C}_{2}).

Let

V+\displaystyle V^{+} =\displaystyle= {x1>0},\displaystyle\{x_{1}>0\},
V−\displaystyle V^{-} =\displaystyle= {x1<0}.\displaystyle\{x_{1}<0\}.

Clearly Ui∩Uj=V+∪V−U_{i}\cap U_{j}=V^{+}\cup V^{-} when i≠ji\neq j. If T1T_{1} and T2T_{2} are as in (9), define the following coordinate charts on U1U_{1}, U2U_{2}, U3U_{3} respectively:

ϕ1\displaystyle\phi_{1} =\displaystyle= Id,\displaystyle\I,
ϕ2\displaystyle\phi_{2} =\displaystyle= {(T1−1)ton​V¯+∩U2Idon​V¯−∩U2\displaystyle\left\{\begin{array}[]{ll}(T_{1}^{-1})^{t}&\text{on}\ \bar{V}^{+}\cap U_{2}\\ \I&\text{on}\ \bar{V}^{-}\cap U_{2}\end{array}\right.
ϕ3\displaystyle\phi_{3} =\displaystyle= {Idon​V¯+∩U3(T2−1)ton​V¯−∩U3\displaystyle\left\{\begin{array}[]{ll}\I&\text{on}\ \bar{V}^{+}\cap U_{3}\\ (T_{2}^{-1})^{t}&\text{on}\ \bar{V}^{-}\cap U_{3}\end{array}\right.

We can check that the affine structure defined by these charts is such that, for fixed b∈B0b\in B_{0}, there exists a basis of Tb∗​B0T^{\ast}_{b}B_{0} with respect to which the holonomy representation is such that ρ∗​(gj)=Tj\rho^{\ast}(g_{j})=T_{j}, where gjg_{j} are as in Figure 3. In particular, the holonomy is given by the inverse transpose matrices of the holonomy in the previous example.

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