ScalingStacks

Theorem 5.11 . [00MD]

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

Theorem 5.11.

Suppose that (k,|⋅|)(k,\lvert\mathord{\cdot}\rvert) is discretely valued. Let ϕ\phi be an asymptotic Fubini-Study metric on LL. Then for any ϵ>0\epsilon>0, there exists nY∈ℕn_{Y}\in\mathbb{N} such that for any n≥nYn\geq n_{Y} and any tn∈Vn​(L|Y)t_{n}\in V_{n}(L|_{Y}), there exits sn∈Vn​(L)s_{n}\in V_{n}(L) such that sn|Y=tns_{n}|_{Y}=t_{n} and

∥sn∥n​ϕ≤en​ϵ⋅∥tn∥n​ϕ|Y.\lVert s_{n}\rVert_{n\phi}\leq\mathrm{e}^{n\epsilon}\cdot\lVert t_{n}\rVert_{n\phi|_{Y}}.

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