ScalingStacks

Lemma 7.6 . [04LG]

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

Let ℱ\mathcal{F} denote the fibration obtained in Lemma 7.4. Given a positive real number m>Mm>M, there exists a perturbation ℱ~\tilde{\mathcal{F}} of ℱ\mathcal{F} (perhaps defined over a smaller neighborhood of the plane {b1=0}\{b_{1}=0\}), such that

  • (i)

    ℱ~\tilde{\mathcal{F}} is topologically conjugate to ℱ\mathcal{F};

  • (ii)

    there are open neighborhoods Bh,mB_{h,m}, Bv,mB_{v,m} and Bd,mB_{d,m} of Δh,m\Delta_{h,m}, Δv,m\Delta_{v,m} and Δd,m\Delta_{d,m} respectively so that the fibrations ℱ~h,m\tilde{\mathcal{F}}_{h,m}, ℱ~v,m\tilde{\mathcal{F}}_{v,m} and ℱ~d,m\tilde{\mathcal{F}}_{d,m} are smooth.

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