ScalingStacks

Lemma 3.2 . [04SL]

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

The composition

λH=πℱ∘Log:H∘→Σn\lambda_{H}=\pi_{\mathcal{F}}\circ\operatorname{Log}:H^{\circ}\to\Sigma_{n}

is a stratified TnT^{n}-fibration in the sense of Definition 7. It satisfies to all conclusions of Theorem 3 except for the third one. The fibration λH\lambda_{H} can be deformed so that the third condition will also hold.

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