ScalingStacks

Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.

00R3

Notation. Denote the vertices of ∂Δλ∨\partial\Delta_{\lambda}^{\vee} as w0,…,wn+1w_{0},\ldots,w_{n+1}, which coincide with the outward normal vectors because ∂Δλ∨=−∂Δ∨\partial\Delta_{\lambda}^{\vee}=-\partial\Delta^{\vee}. Denote the vertices of Δ\Delta as m0,…,mn+1m^{0},\ldots,m^{n+1}, so that

⟨wi,mj⟩={1,i≠j,−(n+1),i=j.\langle w_{i},m^{j}\rangle=\begin{cases}1,\quad&i\neq j,\\ -(n+1),\quad&i=j.\end{cases}

Let Star​(wi)\text{Star}(w_{i}) be the star of wiw_{i} in the barycentric subdivision of ∂Δλ∨\partial\Delta_{\lambda}^{\vee}. Let S​i​n​g⊂S​i​n​g~Sing\subset\widetilde{Sing} be the subset of points not contained in the interior of any of these stars. The affine structure on ∂Δλ∨∖S​i​n​g~\partial\Delta_{\lambda}^{\vee}\setminus\widetilde{Sing} extends to ∂Δλ∨∖S​i​n​g\partial\Delta_{\lambda}^{\vee}\setminus Sing, by decreeing that on the interior of Star​(wi)\text{Star}(w_{i}) we use the coordinates for the chart Uw∞∩∂Δλ∨U_{w}^{\infty}\cap\partial\Delta_{\lambda}^{\vee}. As S​i​n​gSing has codimension two inside ∂Δλ∨\partial\Delta_{\lambda}^{\vee}, this makes ∂Δλ∨\partial\Delta_{\lambda}^{\vee} into a singular affine manifold.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.