ScalingStacks

Proposition 3.1.1. [04PB]

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 3.1.1.

Let ρ𝒳\rho_{\mathscr{X}} be the retraction associated with the model 𝒳\mathscr{X}, and endow ​S​k​(X)\emph{Sk}(X) with the β„€\mathbb{Z}-affine structure induced by ρ𝒳\rho_{\mathscr{X}} away from the codimension 2 faces of Sk⁑(𝒳)\Sk(\mathscr{X}). Then Star⁑(Ο„C)\Star(\tau_{C}) is β„€\mathbb{Z}-affine isomorphic to the union of the simplices <v0,v1,…,vn><v_{0},v_{1},\ldots,v_{n}> and <v1,…,vn,v∞><v_{1},\ldots,v_{n},v_{\infty}> in ℝn\mathbb{R}^{n} where

v0=(1,0,…,0)v_{0}=(1,0,\ldots,0), v1=(0,1,…,0)v_{1}=(0,1,\ldots,0),…, vn=0v_{n}=0 and v∞=(βˆ’1,b1,…,bnβˆ’1)v_{\infty}=(-1,b_{1},\ldots,b_{n-1}).

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