ScalingStacks

Example 1 . [04QT]

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

Consider the function

H⁡(x1,…,xn+1)=max⁡{0,x1,…,xn+1}.H(x_{1},\dots,x_{n+1})=\max\{0,x_{1},\dots,x_{n+1}\}.

This is a convex piecewise-linear function ℝn+1→ℝ\mathbb{R}^{n+1}\to\mathbb{R}. We define the primitive complex Σn⊂ℝn+1\Sigma_{n}\subset\mathbb{R}^{n+1} as the corner locus of HH, i.e. the set of points where HH is not smooth is Σn\Sigma_{n}.

Note that Σn\Sigma_{n} is a balanced proper polyhedral complex in ℝn+1\mathbb{R}^{n+1}. Its kk-cells are formed by the points where at least n+2−kn+2-k of the functions 0,x1,…,xn+10,x_{1},\dots,x_{n+1} achieve the value of HH. In fact, it is easy to see that topologically Σn\Sigma_{n} is the cone over the (n−1)(n-1)-skeleton of the (n+1)(n+1)-simplex. The fact that Σ\Sigma is balanced follows from Proposition 1.2.

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