ScalingStacks

Theorem 0.1 . [024V]

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

Let kk be a field equipped with a complete and non-archimedean absolute value |.||\raisebox{1.72218pt}{.}| (which could be trivial). Let XX be a projective scheme over Spec⁡k\operatorname{Spec}k and LL be an ample invertible sheaf on XX, equipped with a continuous and semi-positive metric |.|h|\raisebox{1.72218pt}{.}|_{h}. Let YY be a closed subscheme of XX and l∈H0​(Y,L|Y)l\in H^{0}(Y,L|_{Y}). For any ϵ>0\epsilon>0 there exists an integer n0≥1n_{0}\geq 1 such that, for any integer n≥n0n\geq n_{0}, the section l⊗nl^{\otimes n} extends to a section s∈H0​(X,L⊗n)s\in H^{0}(X,L^{\otimes n}) verifying ‖s‖h≤eϵ​n​‖l‖Y,hn\|s\|_{h}\leq{e}^{\epsilon n}\|l\|_{Y,h}^{n}.

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