ScalingStacks

Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.

00RI

Remark 4.5. We discuss some intuition about log scales. Let P∈XsP\in X_{s} lie in Uw,δsU_{w,\delta}^{s}, then a log scale |zmi|∼|zmi​(P)||z^{m_{i}}|\sim|z^{m_{i}}(P)| around PP refers to the subregion

{12|zmi(P)|≲|zmi|≲2|zmi(P)|,1≤i≤n}.\{\frac{1}{2}|z^{m_{i}}(P)|\lesssim|z^{m_{i}}|\lesssim 2|z^{m_{i}}(P)|,\quad 1\leq i\leq n\}.

Now log⁡|zmi|\log|z^{m_{i}}| vary by order O⁡(s)O(s) within Uw,δsU_{w,\delta}^{s}, so there are an enormous number of log scales. The long range behaviour of XsX_{s} is similar to (ℂ∗)n(\mathbb{C}^{*})^{n}, with half of the dimensions compactified into TnT^{n}. On the other hand, over one log scale XsX_{s} behaves qualitatively like the unit disc in ℂn\mathbb{C}^{n}. The concept of local oscillation of a function refers to the oscillation within one log scale. In particular the Lipschitz bound (23) implies a local oscillation bound

osc|zmi|∼|zmi​(P)|​ϕ¯≤C​s−1.\text{osc}_{|z^{m_{i}}|\sim|z^{m_{i}}(P)|}\bar{\phi}\leq Cs^{-1}.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.