ScalingStacks

Proof of Theorem 7.3 . [04LW]

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 Theorem 7.3.

It only remains to show that ℱ~\mathcal{\tilde{F}} satisfies property (iii) of Definition 7.1, but this immediately follows from the construction. In fact, ℱ~|ℝ3−A′\tilde{\mathcal{F}}|_{\mathbb{R}^{3}-A^{\prime}} coincides with the fibration described in Example 6.21 restricted to a suitable neighborhood of the vertex. We observed that the latter fibration induces an affine structure on the base which is affine isomorphic to a negative vertex of Example 3.12 (or of Example 3.13). This concludes the proof. ∎

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