Claim 4.2.1 . [027X]

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

Claim 4.2.1.

For any ${\epsilon^{\prime}}>0$ , there are a positive integer $N$ and $s_{N}\in H^{0}(X,L^{\otimes N})$ such that

\left.{s_{N}}\right|_{{Y}}=l^{\otimes N}\quad\text{and}\quad\|s_{N}\|_{h^{N}}\leq e^{N{\epsilon^{\prime}}}(\|l\|_{Y,h})^{N}.