ScalingStacks

Proof of Lemma 2.2 . [03D1]

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

Proof of Lemma 2.2.

Two members UvU_{v} and VwV_{w} of this covering intersect if and only if

v∈(carrierΔ∨⁡w)∨⇔w∈(carrierΔ⁡v)∨⇔⟨v,w⟩=1,v\in(\operatorname{carrier}_{\Delta^{\vee}}w)^{\vee}\iff w\in(\operatorname{carrier}_{\Delta}v)^{\vee}\iff\langle v,w\rangle=1,

in which case they intersect in the contractible set starΣ⁡((,,,))\operatorname{star}_{\Sigma}((v,w)). So the claimed homotopy equivalence follows from the nerve lemma (cf. e.g. [Bjö95, Thm. 10.6]). ∎

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