ScalingStacks

3.1 [0355]

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

3.1

A polyhedral complex ๐’ž{\mathscr{C}} in Nโ„N_{\mathbb{R}} is a finite set of polyhedra with the following two properties: Every polyhedron in ๐’ž{\mathscr{C}} has all its closed faces in ๐’ž{\mathscr{C}}. If ฮ”,ฯƒโˆˆ๐’ž\Delta,\sigma\in{{\mathscr{C}}}, then ฮ”โˆฉฯƒ\Delta\cap\sigma is a closed face of ฮ”\Delta and ฯƒ\sigma. Note here that the empty set and also ฯƒ\sigma are allowed as closed faces of a polyhedron ฯƒ\sigma (see [Gu12], Appendix A, for details).

A polyhedral complex ๐’ž{\mathscr{C}} is called integral GG-affine for a subgroup GG of โ„{\mathbb{R}} if every polyhedron of ๐’ž{\mathscr{C}} is integral GG-affine. The support |๐’ž||{\mathscr{C}}| of ๐’ž{\mathscr{C}} is the union of all polyhedra in ๐’ž{\mathscr{C}}. The polyhedral complex ๐’ž{\mathscr{C}} is called pure dimensional of dimension nn if every maximal polyhedron in ๐’ž{\mathscr{C}} has dimension nn. We will often use the notation ๐’žk:={ฯƒโˆˆ๐’žโˆฃdim(ฯƒ)=k}{\mathscr{C}}_{k}:=\{\sigma\in{\mathscr{C}}\mid\dim(\sigma)=k\} for kโˆˆโ„•k\in{\mathbb{N}}.

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