ScalingStacks

Remark 2.5 . [04HP]

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

Remark 2.5.

One can explicitly describe the above compactification as follows. For any point p∈Σp\in\Sigma there is a neighborhood U⊂YU\subset Y of pp such that U≅ℝ3×ℂn−2U\cong\mathbb{R}^{3}\times\mathbb{C}^{n-2} and U∩ΣU\cap\Sigma can be identified with {0}×ℂn−2\{0\}\times\mathbb{C}^{n-2}. By unicity of π\pi, there is a commutative diagram

π−1​(U)→≅ℂ2×ℂn−2π↓π¯↓U→≅ℝ3×ℂn−2\begin{CD}\pi^{-1}(U)@>{\cong}>{}>\mathbb{C}^{2}\times\mathbb{C}^{n-2}\\ @V{\pi}V{}V@V{\bar{\pi}}V{}V\\ U@>{\cong}>{}>\mathbb{R}^{3}\times\mathbb{C}^{n-2}\end{CD} (1)

where π¯​(z1,z2,ζ)=(|z1|2−|z2|2,z1​z2,ζ)\bar{\pi}(z_{1},z_{2},\zeta)=(|z_{1}|^{2}-|z_{2}|^{2},z_{1}z_{2},\zeta), ζ∈ℂn−2\zeta\in\mathbb{C}^{n-2}.

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