Section 5. (00NC) · ScalingStacks

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

5. Algebraic approximation

In this section, we approximate the Banach algebra norm $\vvvert\mathord{\cdot}\vvvert_{\phi_{X|Y}}$ by affinoid norms. This algebraic approximation exploits subtle consequences of existence of a ultra-metric orthogonal basis in $(V_{n}(L),\lVert\mathord{\cdot}\rVert_{n\phi})$ for some $n\in\mathbb{N}$ .

In this section $(k,\lvert\mathord{\cdot}\rvert)$ is assumed to be discretely valued. With this assumption, recall that $d+1$ classes of real numbers $\{\alpha(p_{0}),\dots,\alpha(p_{d})\}$ in $\mathbb{R}/H(k,\lvert\mathord{\cdot}\rvert)$ are said to be $\mathbb{Q}$ -independent if there exists no $(a_{0},\dots,a_{d})\in\mathbb{Q}^{d+1}$ and no $p\in H(k,\lvert\mathord{\cdot}\rvert)$ such that $\sum_{i\in\{0,\dots,d\}}a_{i}\cdot p_{i}=p$ . Recall that thanks to the discreteness of $\lvert\mathord{\cdot}\rvert$ , by Proposition 2.15, any finite dimensional ultrametric normed $k$ -vector space has an orthogonal basis.

5.1. Algebra norm induced by Fubini-Study metric

5.1.1. Case for $(\mathbb{P}^{d},\mathscr{O}(1))$

Let $\phi$ be a metric on $\mathscr{O}(1)$ , one studies the algebra norm $\vvvert\mathord{\cdot}\vvvert_{\phi}$ on $V_{{\scriptscriptstyle\bullet}}(\mathscr{O}(1))$ . One would like to show that with various assumptions, it is a Gauss algebra norm, namely the standard affinoid algebra norm on the polynomial algebra. Then the normed section algebra $(V_{{\scriptscriptstyle\bullet}}(\mathscr{O}(1)),\vvvert\mathord{\cdot}\vvvert_{\phi})$ will be a Tate affinoid algebra. (see Definition 2.38)

By Proposition 2.15, there exist an orthogonal basis $\{T_{i}\}_{i\in\{0,\dots,d\}}$ for the normed vector space $(V_{1}(\mathscr{O}(1)),\lVert\mathord{\cdot}\rVert_{\phi})$ . For any $i\in\{0,\dots,d\}$ , one denotes by $r_{i}$ the value $\lVert T_{i}\rVert_{\phi}$ , and by $\boldsymbol{r}\in(\mathbb{R}_{+})^{d+1}$ the multi-radius $(r_{0},\dots,r_{d})$ . One fixes such an orthogonal basis, and identify the graded $k$ -algebra $V_{{\scriptscriptstyle\bullet}}(\mathscr{O}(1))$ with $k[T_{0},\dots,T_{d}]$ . For any multi-index $J=(j_{0},\dots,j_{d})\in\mathbb{N}^{d+1}$ , one denotes by $\boldsymbol{T}^{J}$ the monomial element $\prod_{i\in\{0,\dots,d\}}(T_{i})^{j_{i}}\in V_{\lvert J\rvert}(\mathscr{O}(1))$ .

Note that in general, the sub-spaces $V_{n}(\mathscr{O}(1))$ are orthogonal with respect to $\vvvert\mathord{\cdot}\vvvert_{\phi}$ for different $n\in\mathbb{N}$ , while a Gauss algebra norm exhibits a much finer orthogonality: the sub-spaces generated by each mononial $\boldsymbol{T}^{J}$ should be orthogonal for different $J\in\mathbb{N}^{d+1}$ .

First, on monomial elements, the algebra norm $\vvvert\mathord{\cdot}\vvvert_{\phi}$ resembles a Gauss norm.

00LV

Proposition 5.1. For any $J\in\mathbb{N}^{d+1}$ , one has

\lVert\boldsymbol{T}^{J}\rVert_{|J|\phi}=\prod_{i\in\{0,\dots,d\}}\lVert T_{i}\rVert_{\phi}^{j_{i}}.

00LW

Proof. Take a complete non-Archimedean valued field extension $(K,\lvert\mathord{\cdot}\rvert_{K})$ of $(k,\lvert\mathord{\cdot}\rvert_{k})$ such that

\forall i\in\{0,\dots,d\},\quad\{r_{i}\}_{i\in\{0,\dots,d\}}\subseteq\lvert k^{\times}\rvert_{K},

hence for any $i\in\{0,\dots,d\}$ , there exist elements $\kappa_{i}\in K$ such that $\lvert\kappa_{i}\rvert_{K}=r_{i}$ . One denotes by $x(\boldsymbol{r})\in(\mathbb{P}^{d}_{k})^{\mathrm{an}}$ the point given by coordinates $[\kappa_{0}:\dots:\kappa_{d}]$ .

00LX

Claim 5.2. For any $i\in\{0,\dots,d\}$ , one has

\lVert T_{i}\rVert_{\phi}=r_{i}=\lvert T_{i}\rvert_{\phi}(x(\boldsymbol{r})).

In other words, the maximum of the function $\lvert T_{i}\rvert_{\phi}(x)$ on $(\mathbb{P}^{d}_{k})^{\mathrm{an}}$ is $r_{i}$ , and the maximum values of these $d+1$ functions can be attained at the same point $x(\boldsymbol{r})$ .

00LY

Proof. By the orthogonality of the basis $\{T_{i}\}_{i\in\{0,\dots,d\}}$ , we can compute

\begin{split}\lvert T_{i}\rvert_{\phi}(x(\boldsymbol{r}))&=\inf_{\begin{subarray}{c}(\sum_{m\in\{0,\dots,d\}}f_{m}\cdot T_{m})(x(\boldsymbol{r}))=(T_{i})(x(\boldsymbol{r}))\\ (f_{0},\dots,f_{d})\in k^{d+1}\end{subarray}}\Big\lVert\sum_{m\in\{0,\dots,d\}}f_{m}\cdot T_{m}\Big\rVert_{\phi}\\ &=\inf\limits_{\sum_{m\in\{0,\dots,d\}}f_{m}\kappa_{m}=\kappa_{i}}\max_{m\in\{0,\dots,d\}}\Big\{\lVert f_{m}\cdot T_{m}\rVert_{\phi}\Big\}\\ &=\inf\limits_{\sum_{m\in\{0,\dots,d\}}f_{m}\kappa_{m}=\kappa_{i}}\max_{m\in\{0,\dots,d\}}\Big\{\lvert f_{m}\rvert\lvert\kappa_{m}\rvert\Big\}\\ &=\inf\limits_{\sum_{m\in\{0,\dots,d\}}f_{m}(\kappa_{m}/\kappa_{i})=1}\max_{m\in\{0,\dots,d\}}\Big\{\lvert f_{m}\rvert\lvert\kappa_{m}/\kappa_{i}\rvert\cdot\lvert\kappa_{i}\rvert\Big\}\\ &=\lvert\kappa_{i}\rvert=r_{i}.\end{split}

The last equality is obtained by Lemma 3.13. ∎

By this Claim, for any multi-index $J$ , the function $\lvert\boldsymbol{T}^{J}\rvert_{\phi}(x)$ can attain its maximum value $\prod_{i\in\{0,\dots,d\}}r_{i}^{j_{i}}$ at the point $x(\boldsymbol{r})\in(\mathbb{P}_{k}^{d})^{an}$ as the product of maximum of factors of the monomial. By definition,

\lVert\boldsymbol{T}^{J}\rVert_{|J|\phi}=\sup_{x\in(\mathbb{P}^{d})^{an}}\lvert\boldsymbol{T}^{J}\rvert_{\phi}(x)=\prod_{i\in\{0,\dots,d\}}r_{i}^{j_{i}}=\prod_{i\in\{0,\dots,d\}}\lVert T_{i}\rVert_{\phi}^{j_{i}}.

∎

Second, one calculates the algebra norm $\vvvert\mathord{\cdot}\vvvert_{\phi}$ on any (homogeneous) combination of monomials. For a general metric, one needs a $\mathbb{Q}$ -independence assumption to gain finer orthogonality.

00LZ

Proposition 5.3. Assume that $\{\alpha(\lVert T_{i}\rVert_{\phi})\}_{i\in\{0,\dots,d\}}$ are $\mathbb{Q}$ -independent in $\mathbb{R}/H(k,\lvert\mathord{\cdot}\rvert)$ . Let $S\subseteq\mathbb{N}^{d+1}$ be a finite set of multi-indices, then for any $J\in S$ any $f_{J}\in k$ , one has

\Big\vvvert\sum_{\begin{subarray}{c}J\in S\end{subarray}}f_{J}\cdot\boldsymbol{T}^{J}\Big\vvvert=\sup_{\begin{subarray}{c}J\in S\end{subarray}}\ \lVert f_{J}\cdot\boldsymbol{T}^{J}\rVert_{|J|\phi}.

In other words, the algebra norm $\vvvert\mathord{\cdot}\vvvert_{\phi}$ on $V_{{\scriptscriptstyle\bullet}}(\mathscr{O}(1))$ is a Gauss norm on $k[T_{0},\dots,T_{d}]$ of multi-radius $\boldsymbol{r}$ . The Banach $k$ -algebra $\widehat{V}_{{\scriptscriptstyle\bullet}}(\mathscr{O}(1),\phi)$ is an affinoid algebra.

00M0

Proof. By the $\mathbb{Q}$ -independence assumption and Proposition 5.1, for any two distinct multi-index $J$ and $J^{\prime}$ , and any two non-zero coefficients $f_{J}$ and $f_{J^{\prime}}$ in $k$ , we have

\lVert f_{J}\cdot\boldsymbol{T}^{J}\rVert_{|J|\phi}=\lvert f_{J}\rvert\cdot\prod_{i\in\{0,\dots,d\}}r_{i}^{j_{i}}\neq\lvert f_{J^{\prime}}\rvert\cdot\prod_{i\in\{0,\dots,d\}}r_{i}^{j^{\prime}_{i}}=\lVert f_{J^{\prime}}\cdot\boldsymbol{T}^{J^{\prime}}\rVert_{|J^{\prime}|\phi}.

By Lemma 2.13, the elements $\{\boldsymbol{T}^{J}\}_{J\in S}$ form an orthogonal basis for the normed vector space $(\bigoplus_{J\in S}k\cdot\boldsymbol{T}^{J},\vvvert\mathord{\cdot}\vvvert_{\phi})$ . So the equality in the conclusion holds. ∎

00M1

Corollary 5.4. With the same assumptions as above, the envelop metric $\mathcal{P}(\phi)$ is a Fubini-Study metric induced by $\lVert\mathord{\cdot}\rVert_{\phi}$ , and is continuous.

For a Fubini-Study metric, one does not need the $\mathbb{Q}$ -independence. For any $\boldsymbol{\delta}=(\delta_{0},\dots,\delta_{d})\in\mathbb{R}^{d+1}$ , one constructs a perturbed metric $\phi(\boldsymbol{\delta})$ as follows. Let $\lVert\mathord{\cdot}\rVert_{\phi(\boldsymbol{\delta})}$ be the norm on $V_{1}(\mathscr{O}(1))$ such that $\{T_{i}\}_{i\in\{1,\dots,d\}}$ is an orthogonal basis with new norms

\forall i\in\{0,\dots,d\},\quad\lVert T_{i}\rVert_{\phi}(\boldsymbol{\delta})=\mathrm{e}^{\delta_{i}}\lVert T_{i}\rVert_{\phi}.

Let $\phi(\boldsymbol{\delta})$ be the metric $\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{\phi(\boldsymbol{\delta})})$ on $\mathscr{O}(1)$ . Let $\lvert\boldsymbol{\delta}\rvert$ denote the number $\max_{i\in\{0,\dots,d\}}\lvert\delta_{i}\rvert\in\mathbb{R}_{+}$ .

00M2

Lemma 5.5. Assume that $\phi$ is a Fubini-Study metric. For any $\epsilon>0$ , there exists $\boldsymbol{\delta}\in\mathbb{R}^{d+1}$ with $|\boldsymbol{\delta}|\leq\epsilon$ such that

\forall n\in\mathbb{N},\quad\dist(\lVert\mathord{\cdot}\rVert_{n\phi},\lVert\mathord{\cdot}\rVert_{n\phi(\boldsymbol{\delta})})\leq n\epsilon.

00M3

Proof. Choose an arbitrary $\boldsymbol{\delta}$ with $|\boldsymbol{\delta}|\leq\epsilon$ . Then

\dist(\lVert\mathord{\cdot}\rVert_{\phi},\lVert\mathord{\cdot}\rVert_{\phi(\boldsymbol{\delta})})\leq\epsilon.

By Proposition 3.12, we have

\dist(\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{\phi}),\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{\phi(\boldsymbol{\delta})}))=\dist(\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{\phi}),\phi(\boldsymbol{\delta}))\leq\epsilon,

by the assumption and Proposition 3.11,

\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{\phi})=\phi,

so the conlusion holds. ∎

00M4

Proposition 5.6. Assume that $\phi$ is a Fubini-Study metric. The conclusion of Proposition 5.3 holds without the assumption of $\mathbb{Q}$ -independence of $\{\alpha(\lVert T_{i}\rVert_{1})\}_{i\in\{0,\dots,d\}}$ .

00M5

Proof. Since $\lvert\mathord{\cdot}\rvert_{k}$ is discrete, for any $\epsilon>0$ , there exists $\boldsymbol{\delta}$ with $|\boldsymbol{\delta}|\leq\epsilon$ such that the elements $\{\alpha(\lVert T_{i}\rVert_{\phi(\boldsymbol{\delta})})\}_{i\in\{0,\dots,d\}}$ are $\mathbb{Q}$ -independent in $\mathbb{R}/H(k,\lvert\mathord{\cdot}\rvert)$ . By Proposition 5.5, for any $n\in\mathbb{N}$ and any $s_{n}=\sum_{\lvert J\rvert=n}f_{J}\cdot\boldsymbol{T}^{J}\in V_{n}(\mathscr{O}(1))$ ,

\mathrm{e}^{-n\epsilon}\Big\lVert\sum_{\lvert J\rvert=n}f_{J}\cdot\boldsymbol{T}^{J}\Big\rVert_{n\phi(\boldsymbol{\delta})}\leq\Big\lVert\sum_{\lvert J\rvert=n}f_{J}\cdot\boldsymbol{T}^{J}\Big\rVert_{n\phi}\leq\mathrm{e}^{n\epsilon}\Big\lVert\sum_{\lvert J\rvert=n}f_{J}\cdot\boldsymbol{T}^{J}\Big\rVert_{n\phi(\boldsymbol{\delta})}.

By Proposition 5.3, one has

\max_{\lvert J\rvert=n}\Big\{\mathrm{e}^{-n\epsilon}\lvert f_{J}\rvert\prod_{i\in\{0,\dots,d\}}(\mathrm{e}^{\delta_{i}}r_{i})^{j_{i}}\Big\}\leq\Big\lVert\sum_{\lvert J\rvert=n}f_{J}\cdot\boldsymbol{T}^{J}\Big\rVert_{n\phi}\leq\max_{\lvert J\rvert=n}\Big\{\mathrm{e}^{n\epsilon}\lvert f_{J}\rvert\prod_{i\in\{0,\dots,d\}}(\mathrm{e}^{\delta_{i}}r_{i})^{j_{i}}\Big\}.

Fix $n$ and let $\epsilon\to 0$ , one gets

\Big\lVert\sum_{\lvert J\rvert=n}f_{J}\cdot\boldsymbol{T}^{J}\Big\rVert_{n\phi}=\max_{\lvert J\rvert=n}\Big\{\lvert f_{J}\rvert\prod_{i\in\{0,\dots,d\}}r_{i}^{j_{i}}\Big\}.

So one has

\Big\vvvert\sum_{\lvert J\rvert<\infty}f_{J}\cdot\boldsymbol{T}^{J}\Big\vvvert_{n\phi}=\sup_{n\in\mathbb{N}}\max_{\lvert J\rvert=n}\Big\{\lvert f_{J}\rvert\prod_{i\in\{0,\dots,d\}}r_{i}^{j_{i}}\Big\}=\max_{\lvert J\rvert<\infty}\Big\{\lvert f_{J}\rvert\prod_{i\in\{0,\dots,d\}}r_{i}^{j_{i}}\Big\}.

Hence $\vvvert\mathord{\cdot}\vvvert_{\phi}$ is a Gauss norm of multi-radius $\boldsymbol{r}$ on $V_{{\scriptscriptstyle\bullet}}(\mathscr{O}(1))$ . ∎

5.1.2. Case for general $(X,L)$

00M6

Proposition 5.7. Assume that $\phi$ is a Fubini-Study metric. If $L$ is very ample, then $\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi)$ , $\widehat{V}(L_{X|Y},\phi_{X|Y})$ and $\widehat{V}_{{\scriptscriptstyle\bullet}}(L|_{Y},\phi|_{Y})$ are affinoid algebras.

00M7

Proof. By the assumption, the elements of $V_{1}(L)$ induces an embedding

\iota_{1}:X\rightarrow\mathbb{P}^{d_{1}}_{k}

such that $\iota_{1}^{*}\mathscr{O}(1)=L$ with $\mathrm{dim}_{k}V_{1}=d_{1}+1$ . Moreover there exists a norm $\lVert\mathord{\cdot}\rVert_{1}$ on $V_{1}(L)$ such that $\phi=\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{1})$ . View $\lVert\mathord{\cdot}\rVert_{1}$ as a norm on $V_{1}(\mathscr{O}(1))$ , we get a metric $\psi=\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{1})$ on $\mathscr{O}(1)$ . By construction $\psi|_{X}=\phi$ .

By Proposition 5.6, the Banach algebra $\widehat{V}_{{\scriptscriptstyle\bullet}}(\mathscr{O}(1),\vvvert\mathord{\cdot}\vvvert_{\psi})$ is an affinoid algebra. Hence the quotient Banach algebra $\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\vvvert\mathord{\cdot}\vvvert_{\psi,\mathbb{P}^{d_{1}}|X})$ is an affinoid algebra.

By Proposition 3.27, the algebra norm $\vvvert\mathord{\cdot}\vvvert_{\phi}$ is the spectral norm of $\vvvert\mathord{\cdot}\vvvert_{\psi,\mathbb{P}^{d_{1}}|X}$ . The later is an affinoid norm, hence is equivalent to its spectral norm by Proposition 2.58. So $\vvvert\mathord{\cdot}\vvvert_{\phi}$ is also an affinoid algebra norm. Thus $\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi)$ is an affinoid algebra.

Similarly, by Proposition 3.27, on $V_{{\scriptscriptstyle\bullet}}(L_{X|Y})$ , the algebra norm $\vvvert\mathord{\cdot}\vvvert_{\phi|_{Y}}$ is the spectral norm of $\vvvert\mathord{\cdot}\vvvert_{\phi,X|Y}$ , hence is itself an affinoid algebra norm. ∎

00M8

Corollary 5.8. Assume that $\phi$ is a Fubini-Study metric. If $L$ is just ample, then $\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi)$ , $\widehat{V}(L_{X|Y},\phi_{X|Y})$ and $\widehat{V}_{{\scriptscriptstyle\bullet}}(L|_{Y},\phi|_{Y})$ are affinoid algebras.

00M9

Proof. By assumption, $L^{\otimes M}$ is very ample. So $\widehat{V}_{{\scriptscriptstyle\bullet}}^{(M)}(L,\phi)$ , $\widehat{V}_{{\scriptscriptstyle\bullet}}^{(M)}(L_{X|Y},\phi_{X|Y})$ and $\widehat{V}_{{\scriptscriptstyle\bullet}}^{(M)}(L|_{Y},\phi|_{Y})$ are affinoid algebras. Since $V_{{\scriptscriptstyle\bullet}}(L)$ is integral and is finite over $V_{{\scriptscriptstyle\bullet}}^{(M)}(L)$ , by Proposition 2.45, the Banach algebras $\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi)$ , $\widehat{V}(L_{X|Y},\phi_{X|Y})$ and $\widehat{V}_{{\scriptscriptstyle\bullet}}(L|_{Y},\phi|_{Y})$ are Banach finite over $\widehat{V}_{{\scriptscriptstyle\bullet}}^{(M)}(L,\phi)$ , $\widehat{V}_{{\scriptscriptstyle\bullet}}^{(M)}(L_{X|Y},\phi_{X|Y})$ and $\widehat{V}_{{\scriptscriptstyle\bullet}}^{(M)}(L|_{Y},\phi|_{Y})$ respectively. Hence they are affinoid algebras. ∎

00MA

Proposition 5.9. Assume that $\phi$ is a Fubini-Study metric. Then there exist $C(\phi,Y)>0$ such that for any $\underline{t}\in V_{{\scriptscriptstyle\bullet}}(L_{X|Y})$ , there exists $\underline{s}\in V_{{\scriptscriptstyle\bullet}}(L)$ with

\vvvert\underline{s}\vvvert_{\phi}\leq C(\phi,Y,X)\cdot\vvvert\underline{t}\vvvert_{\phi|_{Y}}.

In particular, for any $n\in\mathbb{N}$ and $t_{n}\in V_{{\scriptscriptstyle\bullet}}(L_{X|Y})$ , there exists $s_{n}\in V_{{\scriptscriptstyle\bullet}}(L)$ with

\lVert s_{n}\rVert_{n\phi}\leq C(\phi,Y,X)\cdot\lVert t_{n}\rVert_{n\phi|_{Y}}.

00MB

Proof. By Corollary 5.8, the Banach algebra norm $\vvvert\mathord{\cdot}\vvvert_{\phi_{X|Y}}$ is an affinoid algebra norm. By Proposition 2.58, there exists $C(\phi,Y)>0$ such that

\vvvert\mathord{\cdot}\vvvert_{\phi_{X|Y}}\leq C(\phi,Y,X)\cdot\vvvert\mathord{\cdot}\vvvert_{\phi_{X|Y};\mathrm{sp}}.

Since $\vvvert\mathord{\cdot}\vvvert_{\phi_{X|Y};\mathrm{sp}}=\vvvert\mathord{\cdot}\vvvert_{\phi|_{Y}}$ by Corollary 3.27, one gets the bounds. ∎

00MC

Remark 5.10. With the metric finiteness properties of affinoid algebra norm, here the upper bound for metric extension of a Fubini-Study metric is much better than what was expected, compared to (3) or even to (2), for its (in)depence on $n\in\mathbb{N}$ . This independence suggest that it would be reasonable to compare this affinoid algebra technique in this non-Archimedean setting with the use of Ohsawa-Takegoshi $L^{2}$ extension technique in the complex analytic setting.

5.2. Algebra norm induced by asymptotic Fubini-Study metric

With the extra assumption of discreteness for the base valued field, one can give another proof of Theorem 4.5.

00MD

Theorem 5.11. Suppose that $(k,\lvert\mathord{\cdot}\rvert)$ is discretely valued. Let $\phi$ be an asymptotic Fubini-Study metric on $L$ . Then for any $\epsilon>0$ , there exists $n_{Y}\in\mathbb{N}$ such that for any $n\geq n_{Y}$ and any $t_{n}\in V_{n}(L|_{Y})$ , there exits $s_{n}\in V_{n}(L)$ such that $s_{n}|_{Y}=t_{n}$ and

\lVert s_{n}\rVert_{n\phi}\leq\mathrm{e}^{n\epsilon}\cdot\lVert t_{n}\rVert_{n\phi|_{Y}}.

00ME

Proof. Recall that one can find $M\in\mathbb{N}$ such that $L^{\otimes M}$ is very ample and for any $n\geq M$ , the restriction map from $V_{n}(L)$ to $V_{n}(L|_{Y})$ is surjective.

By the asymptotic Fubini-Study assumption, there exist norms $\{\lVert\mathord{\cdot}\rVert_{n}\}_{n\in\mathbb{N}}$ on $V_{n}(L)$ such that $\phi$ is given by $\mathcal{P}(\{\lVert\mathord{\cdot}\rVert_{n}\}_{n\in\mathbb{N}})$ . Let $\psi_{n}$ denote the metric $\frac{1}{n}\mathrm{FS}(\lVert\mathord{\cdot}\rVert)_{n}$ on $L$ . By the continuity assumption, the convergence to envelop metric is uniform (see §3.1 12.). So for any $\epsilon>0$ , there exists $M^{\prime}\geq M$ such that

\dist(\psi_{M^{\prime}},\phi)\leq\frac{1}{3}\epsilon,

hence for any $n\in\mathbb{N}$ , one has

\dist(\lVert\mathord{\cdot}\rVert_{n\psi_{M^{\prime}}},\lVert\mathord{\cdot}\rVert_{n\phi})\leq\frac{1}{3}n\epsilon,\quad\dist(\lVert\mathord{\cdot}\rVert_{n\psi_{M^{\prime}},X|Y},\lVert\mathord{\cdot}\rVert_{n\phi,X|Y})\leq\frac{1}{3}n\epsilon.

By Corollary 5.8, the Banach algebra $\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},(\psi_{M^{\prime}})_{X|Y})$ is an affinoid algebra. By Proposition 5.9, there exists $C_{M^{\prime}}(X,Y,\phi)>0$ such that

\forall\underline{t}\in V_{{\scriptscriptstyle\bullet}}(L_{X|Y}),\quad\vvvert\underline{t}\vvvert_{\psi_{M^{\prime}},X|Y}\leq C_{M^{\prime}}\cdot\vvvert\underline{t}\vvvert_{\psi_{M^{\prime}},X|Y;\mathrm{sp}}=\vvvert\underline{t}\vvvert_{\psi_{M^{\prime}},Y}.

Combining this comparison with above estimates, one has that for every $n\geq n_{Y}:=\lceil\ln(C_{M^{\prime}})/(\epsilon/3)\rceil$

\begin{split}\lVert t_{n}\rVert_{n\phi,X|Y}&\leq\mathrm{e}^{\frac{1}{3}n\epsilon}\cdot\lVert t_{n}\rVert_{n\psi_{M^{\prime}},X|Y}\\ &\leq\mathrm{e}^{\frac{1}{3}n\epsilon}\cdot C_{M^{\prime}}\cdot\lVert t_{n}\rVert_{n\psi_{M^{\prime}}|_{Y}}\\ &\leq\mathrm{e}^{\frac{2}{3}n\epsilon}\cdot C_{M^{\prime}}\cdot\lVert t_{n}\rVert_{n\phi|_{Y}}\\ &\leq\mathrm{e}^{n\epsilon}\cdot\lVert t_{n}\rVert_{n\phi|_{Y}}.\end{split}

Hence there exists $s_{n}\in V_{n}(L)$ with $\lVert s_{n}\rVert_{n\phi}\leq\mathrm{e}^{n\epsilon}\cdot\lVert t_{n}\rVert_{n\phi|_{Y}}$ . ∎

5. Algebraic approximation

5.1. Algebra norm induced by Fubini-Study metric

5.1.1. Case for (ℙd,𝒪⁡(1))(\mathbb{P}^{d},\mathscr{O}(1))

5.1.2. Case for general (X,L)(X,L)

5.2. Algebra norm induced by asymptotic Fubini-Study metric

5.1.1. Case for $(\mathbb{P}^{d},\mathscr{O}(1))$

5.1.2. Case for general $(X,L)$