ScalingStacks

Proposition 7.9 [037M]

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 7.9

Let ZZ be a compact analytic space over KK of pure dimension nn and let ๐’ž{\mathscr{C}} be the same integral ฮ“\Gamma-affine polytopal complex with support ฯ†tropโ€‹(Z){\varphi_{\rm trop}}(Z) as in 7.4. Then for every nโˆ’1n-1-dimensional polyhedron ฯ\rho of ๐’ž{\mathscr{C}} not contained in ฯ†tropโ€‹(โˆ‚Z){\varphi_{\rm trop}}(\partial Z), the balancing condition

โˆ‘ฯƒโˆˆ๐’žn,ฯƒโŠƒฯmฯƒโ€‹ฯ‰ฯ,ฯƒโˆˆNฯ\sum_{\sigma\in{\mathscr{C}}_{n},\,\sigma\supset\rho}m_{\sigma}\omega_{\rho,\sigma}\in N_{\rho}

from 3.7 holds in ฯ\rho.

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