ScalingStacks

Lemma 3.1.4. [04PD]

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

Lemma 3.1.4.

Let B=τ1∪τ2B=\tau_{1}\cup\tau_{2} be the union of two nn-dimensional simplices along a face of codimension one. Assume we are given a ℤ\mathbb{Z}-affine structure on BB, compatible with those on the τi\tau_{i}’s.

Suppose there exists a sequence of (weighted) star subdivisions of τ1\tau_{1} such that B′≔Star⁡(τ1∩τ2)B^{\prime}\coloneqq\Star(\tau_{1}\cap\tau_{2}) (with respect to this subdivision) can be embedded in ℝn\mathbb{R}^{n} compatibly with the ℤ\mathbb{Z}-affine structure. Then this embedding extends to BB, and the ℤ\mathbb{Z}-affine structure on BB is uniquely recovered by this embedding.

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