ScalingStacks

Proof. [03E3]

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.

Choose 0<δ<1/20<\delta<1/2 so that the 2​δ2\delta-realization of bsd⁡(T,T)\operatorname{bsd}(T,T) satisfies the conclusion of Lemma 3.5 for K=∂𝒱K=\partial\mathcal{V} and N=p2​(N2​(∂𝒱))N=p_{2}(N_{2}(\partial\mathcal{V})).

By construction of 𝔛δ\mathfrak{X}^{\delta}, the set of values on one of the polyhedra 𝔖\mathfrak{S}ϵ+ℝ≥ϵ/2τ{}_{\epsilon}+\mathbb{R}_{\geq\epsilon/2}\tau is contained in the set of values on its boundary which is contained in τ\tau. Statement (1) follows from ⟨\langle𝔖\mathfrak{S},τ⟩=1,\tau\rangle=1.

For (2), let n∈Vw\N2​(∂𝒱)n\in V_{w}\backslash N_{2}(\partial\mathcal{V}). Then p2​(n)p_{2}(n) belongs to a cell ((𝔗\mathfrak{T},w),w) of the 2​δ2\delta-realization of bsd⁡(T,T)\operatorname{bsd}(T,T), so that 𝔛δ​(n)=w\mathfrak{X}^{\delta}(n)=w. Also, say, n∈U¯vn\in\overline{U}_{v}. If we parameterize ℱn​(t)\mathcal{F}_{n}(t) such that ℱn​(0)=n\mathcal{F}_{n}(0)=n (and ℱ˙n​(t)=𝔛⁡(ℱn​(t))\dot{\mathcal{F}}_{n}(t)=\mathfrak{X}(\mathcal{F}_{n}(t))), then, by (1), ⟨v,ℱn​(t)⟩=λ⁡(v)+t\langle v,\mathcal{F}_{n}(t)\rangle=\lambda(v)+t. So ℱn​(t)−t​τ^\mathcal{F}_{n}(t)-t\widehat{\tau} stays in the hyperplane ⟨v,⋅⟩=1\langle v,\cdot\rangle=1, where τ=carrierT⁡(CLOSE\tau=\operatorname{carrier}_{T}(𝔗\mathfrak{T})).

For t>0t>0, ℱn​(t)=n+t​w\mathcal{F}_{n}(t)=n+tw. For −δ<t<0-\delta<t<0, let ℓ∈(ℝd)∗\ell\in(\mathbb{R}^{d})^{*} be a linear functional which takes the values 00 on ww, and 11 on the opposite side of 𝔗\mathfrak{T}. Then ℓ⁡(p2​(n))<1−2​δ\ell(p_{2}(n))<1-2\delta, and dd​t​ℓ​(p2​(ℱn​(t)−t​τ^))=ℓ⁡(w−τ^)=1\frac{d}{dt}\ell(p_{2}(\mathcal{F}_{n}(t)-t\widehat{\tau}))=\ell(w-\widehat{\tau})=1. So in this time range, ℱn​(t)=n+t​w\mathcal{F}_{n}(t)=n+tw as well. For t<−δt<-\delta, ℱn​(t)\mathcal{F}_{n}(t) belongs to Δλδ∨\Delta^{\vee}_{\lambda^{\delta}} by (1). ∎

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