ScalingStacks

Proof. [03FI]

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.

First of all note that since X⁡(Uvβ)∩Za⊂(ℂ\{0})dX(U_{v}^{\beta})\cap Z_{a}\subset(\mathbb{C}\backslash\{0\})^{d}, both log⁡|z|\log|z| and Arg⁡(z)\operatorname{Arg}(z) are well defined. Also by (2) of Lemma 3.2 the values of the vector field 𝔛\mathfrak{X} are in (carrier⁡v)∨(\operatorname{carrier}v)^{\vee}. Hence, for any q∈Uvβ{q\in U_{v}^{\beta}} the ray ℱq\mathcal{F}_{q} is in Q(v|{0})λ​(β)Q^{\lambda}_{(v|\{0\})}(\beta) and the standard estimates on values of the monomials at z∈log−1⁡(Q(v|{0})λ​(β))z\in\log^{-1}(Q^{\lambda}_{(v|\{0\})}(\beta)) apply:

|amzm|≤e−β|avzv|, all m≠v,{0}.|a_{m}z^{m}|\leq e^{-\beta}|a_{v}z^{v}|,\text{ all }m\neq v,\{0\}.

Or putting them all together we have

|1av​zv​∑m≠v,{0}am​zm|≤|Δℤ|​e−β.\displaystyle\left|\frac{1}{a_{v}z^{v}}\sum_{m\neq v,\{0\}}a_{m}z^{m}\right|\leq|\Delta_{\mathbb{Z}}|e^{-\beta}.

Hence,

|log⁡(1+1av​zv​∑m≠v,{0}am​zm)|≤C′​(β)⋅|Δℤ|​e−β,\displaystyle\left|\log\left(1+\frac{1}{a_{v}z^{v}}\sum_{m\neq v,\{0\}}a_{m}z^{m}\right)\right|\leq C^{\prime}(\beta)\cdot|\Delta_{\mathbb{Z}}|e^{-\beta},

where C′​(β)→1C^{\prime}(\beta)\to 1 as β→∞\beta\to\infty. Writing the equation of ZaZ_{a} in X⁡(Uvβ)X(U_{v}^{\beta}) as

av​zv​(1+1av​zv​∑m≠v,{0}am​zm)=1a_{v}z^{v}\left(1+\frac{1}{a_{v}z^{v}}\sum_{m\neq v,\{0\}}a_{m}z^{m}\right)=1

or, equivalently,

log⁡(av​zv)=−log⁡(1+1av​zv​∑m≠v,{0}am​zm)\log(a_{v}z^{v})=-\log\left(1+\frac{1}{a_{v}z^{v}}\sum_{m\neq v,\{0\}}a_{m}z^{m}\right)

will give the claimed estimates. ∎

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