ScalingStacks

Proposition 1.24 . [04S7]

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

Proposition 1.24.

We have the following canonical decomposition of the boundary βˆ‚π’«nΒ―=⋃j=0nβˆ’1βˆ‚j𝒫nΒ―\partial\bar{\mathcal{P}_{n}}=\bigcup\limits_{j=0}^{n-1}\partial_{j}\bar{\mathcal{P}_{n}}, where βˆ‚j𝒫nΒ―\partial_{j}\bar{\mathcal{P}_{n}} is a (2​nβˆ’j)(2n-j)-dimensional smooth manifold such that each its connected component is a trivial TjT^{j}-fibration over 𝒫nβˆ’j\mathcal{P}_{n-j}. Different parts do not intersect: βˆ‚j𝒫nΒ―βˆ©βˆ‚k𝒫nΒ―=βˆ…\partial_{j}\bar{\mathcal{P}_{n}}\cap\partial_{k}\bar{\mathcal{P}_{n}}=\emptyset, if jβ‰ kj\neq k, but the closure of βˆ‚j𝒫nΒ―\partial_{j}\bar{\mathcal{P}_{n}} contains βˆ‚k𝒫nΒ―\partial_{k}\bar{\mathcal{P}_{n}} for all k≀jk\leq j. The number of connected components is (n+2j+2)\begin{pmatrix}n+2\\ j+2\end{pmatrix}.

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