ScalingStacks

3.3 [0357]

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

A polyhedral complex ๐’Ÿ{\mathscr{D}} subdivides the polyhedral complex ๐’ž{\mathscr{C}} if they have the same support and if every polyhedron ฮ”\Delta of ๐’Ÿ{\mathscr{D}} is contained in a polyhedron of ๐’ž{\mathscr{C}}. In this case, we say that ๐’Ÿ{\mathscr{D}} is a subdivision of ๐’ž{\mathscr{C}}. All our constructions here will be compatible with subdivisions. This is no problem for the definition of superforms on ๐’ž{\mathscr{C}} as they depend only on the support |๐’ž||{\mathscr{C}}|.

A weight on a pure dimensional polyhedral complex ๐’ž{\mathscr{C}} is a function mm which assigns to every maximal polyhedron ฯƒโˆˆ๐’ž\sigma\in{\mathscr{C}} a number mฯƒโˆˆโ„คm_{\sigma}\in{\mathbb{Z}}. Then we get a canonical weight on every subdivision of ๐’ž{\mathscr{C}}. For a weighted polyhedral complex (๐’ž,m)({\mathscr{C}},m), only the polyhedra ฮ”โˆˆ๐’ž\Delta\in{\mathscr{C}} which are contained in a maximal dimensional ฯƒโˆˆ๐’ž\sigma\in{\mathscr{C}} with mฯƒโ‰ 0m_{\sigma}\neq 0 are of interest. They form a subcomplex ๐’Ÿ{\mathscr{D}} of ๐’ž{\mathscr{C}} and we define the support of (๐’ž,m)({\mathscr{C}},m) as the support of ๐’Ÿ{\mathscr{D}}. The polyhedra of ๐’žโˆ–๐’Ÿ{\mathscr{C}}\setminus{\mathscr{D}} will usually be neglected.

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