---
abstract: 'By analogy with the program of McKinnon-Roth [@McKinnon-Roth], we define and study approximation constants for points of a projective variety $X$ defined over ${\mathbf{K}}$ the function field of an irreducible and non-singular in codimension $1$ projective variety defined over an algebraically closed field of characteristic zero. In this setting, we use an effective version of Schmidt’s subspace theorem, due to J.T.-Y. Wang, to give a sufficient condition for such approximation constants to be computed on a proper $\mathbf{K}$-subvariety of $X$. We also indicate how our approximation constants are related to volume functions and Seshadri constants.'
address: 'Department of Mathematics and Statistics, University of New Brunswick, Fredericton, NB, Canada'
author:
- Nathan Grieve
title: Diophantine approximation constants for varieties over function fields
---

[^1]

Introduction {#intro}
============

The aim of this article is to study the complexity of approximating rational points of a projective variety defined over a function field of characteristic zero. Our motivation is work of McKinnon-Roth [@McKinnon-Roth] and our main results, which we state in §\[main:results\], show how the subspace theorem can be used to prove *Roth type theorems*, by analogy with those formulated in the number field setting, see [@McKinnon-Roth p. 515].

Indeed, we obtain lower bounds for approximation constants of rational points. More precisely, we show how extensions of the subspace theorem can be used to obtain lower bounds which are independent of fields of definition and which can be expressed in terms of local measures of positivity; we also give sufficient conditions for approximation constants to be computed on a proper subvariety. As it turns out, these kinds of theorems are related to rational curves lying in projective varieties, see §\[motivation\] and Corollary \[corollary1.3\].

As we explain in §\[motivation\], an important aspect to the Roth type theorems obtained in [@McKinnon-Roth], in the number field setting, is a theorem of Faltings-Wüstholz, [@Faltings:Wustholz Theorem 9.1]. Understanding the role that this theorem plays in the work [@McKinnon-Roth] was one of the original sources of motivation for the present article. On the other hand, one key feature to our approach here is that we use Schmidt’s subspace theorem, for function fields, to derive a function field analogue of [@Faltings:Wustholz Theorem 9.1]. We then use this result, Corollary \[corollary5.5\], to prove Roth type theorems in a manner similar to what is done in [@McKinnon-Roth].

Motivation
----------

The starting point for this article is [@Faltings:Wustholz Theorem 9.1], an interesting theorem of Faltings-Wüstholz, and its relation to work of McKinnon-Roth [@McKinnon-Roth]. To motivate and place what we do here in its proper context let us describe the results of [@McKinnon-Roth] in some detail. To this end, let ${\mathbf{K}}$ be a number field, $\overline{{\mathbf{K}}}$ an algebraic closure of ${\mathbf{K}}$, $X$ an irreducible projective variety defined over ${\mathbf{K}}$, and $x \in X(\overline{{\mathbf{K}}})$. The main focus of [@McKinnon-Roth] is the definition and study of an extended real number $\alpha_x(L)$ depending on a choice of ample line bundle $L$ on $X$ defined over ${\mathbf{K}}$. The intuitive idea is that the invariant $\alpha_x(L)$ provides a measure of how expensive it is to approximate $x$ by infinite sequences of distinct ${\mathbf{K}}$-rational points of $X$. A key insight of [@McKinnon-Roth] is that this arithmetic invariant is related not only to local measures of positivity for $L$ about $x$, namely the Seshadri constant $\epsilon_x(L)$, and $\beta_x(L)$ the relative asymptotic volume constant of $L$ with respect to $x$, but also to the question of existence of rational curves in $X$, passing through $x$ and defined over ${\mathbf{K}}$.

More specifically, in [@McKinnon-Roth], [@Faltings:Wustholz Theorem 9.1] was used to prove [@McKinnon-Roth Theorem 6.2] which asserts: if $g$ denotes the dimension of $X$, then either $$\alpha_x(L) {\geqslant}\beta_x(L) {\geqslant}\frac{g}{g+1} \epsilon_x(L)$$ or $$\alpha_x(L) = \alpha_x(L|_{W})$$ for some proper ${\mathbf{K}}$-subvariety $W$ of $X$. A consequence of this result is [@McKinnon-Roth Theorem 6.3] which states that $\alpha_x(L) {\geqslant}\frac{1}{2}\epsilon_x(L)$ with equality if and only if both $\alpha_x(L)$ and $\epsilon_x(L)$ are computed on a ${\mathbf{K}}$-rational curve $C$ such that $C$ is unibranch at $x$, $\kappa(x) \not = {\mathbf{K}}$, $\kappa(x) \subseteq {\mathbf{K}}_v$, and $\epsilon_{x,C}(L|_{C}) = \epsilon_{x,X}(L)$. (Here $\kappa(x)$ denotes the residue field of $x$ and ${\mathbf{K}}_v$ the completion of ${\mathbf{K}}$ with respect to $v$ a place of ${\mathbf{K}}$.)

In light of these results D. McKinnon has conjectured:

[**Conjecture**]{} (Compare also with [@McKinnon-Roth-Louiville Conjecture 4.2])[**.**]{} Let $X$ be a smooth projective variety defined over a number field ${\mathbf{K}}$, $\overline{{\mathbf{K}}}$ an algebraic closure of ${\mathbf{K}}$, $x \in X(\overline{{\mathbf{K}}})$, and $L$ an ample line bundle on $X$ defined over ${\mathbf{K}}$. If $\alpha_x(L) < \infty$, then there exists a ${\mathbf{K}}$-rational curve $C \subseteq X$ containing $x$ and also containing a *sequence of best approximation to $x$*.

Our purpose here is to give content to these concepts in the setting of projective varieties defined over function fields.

Statement of results and outline of their proof {#main:results}
-----------------------------------------------

Our main results rely on work of Julie Wang [@Wang:2004] and provide an analogue of [@McKinnon-Roth Theorem 6.2] for the case of projective varieties defined over function fields.

To describe our results in some detail, let $\overline{{\mathbf{k}}}$ be an algebraically closed field of characteristic zero and $Y \subseteq {\mathbb{P}}^r_{\overline{{\mathbf{k}}}}$ an irreducible projective variety and non-singular in codimension $1$. Let ${\mathbf{K}}$ denote the function field of $Y$, $\overline{{\mathbf{K}}}$ an algebraic closure of ${\mathbf{K}}$, let $X \subseteq {\mathbb{P}}^n_{{\mathbf{K}}}$ be a geometrically irreducible subvariety, and let $L={{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)|_{ X}$.

Given a prime (Weil) divisor $\mathfrak{p} \subseteq Y$ and a point $x \in X(\overline{{\mathbf{K}}})$ we define an extended non-negative real number $\alpha_x(L) = \alpha_{x,X}(L;\mathfrak{p})=\alpha_x(L;\mathfrak{p}) \in [0,\infty]$, depending on $L$, which, roughly speaking, gives a measure of the cost of approximating $x$ by an infinite sequence of distinct ${\mathbf{K}}$-rational points $\{y_i\} \subseteq X({\mathbf{K}})$ with unbounded height and converging to $x$.

Our goal is two fold: on the one hand we would like to relate $\alpha_x(L;\mathfrak{p})$ to local measures of positivity of $L$ about $x$ and, on the other hand, we would like to give sufficient conditions for $\alpha_x(L;\mathfrak{p})$ to be computed on a proper ${\mathbf{K}}$-subvariety of $X$. This is achieved by analogy with the program of [@McKinnon-Roth].

More precisely we relate $\alpha_x(L;\mathfrak{p})$ to two invariants of $x$ with respect to $L$. To do so, let ${\mathbf{F}}$ be the field of definition of $x$ and $X_{\mathbf{F}}$ the base change of $X$ with respect to the field extension ${\mathbf{K}}\rightarrow {\mathbf{F}}$. Next, let $\pi : \widetilde{X} = \mathrm{Bl}_x(X) \rightarrow X_{\mathbf{F}}$ denote the blow-up of $X_{\mathbf{F}}$ at the closed point corresponding to $x \in X(\overline{{\mathbf{K}}})$ and let $E$ denote the exceptional divisor of $\pi$. If $\gamma \in {\mathbb{R}}_{{\geqslant}0}$, then let $L_\gamma$ denote the ${\mathbb{R}}$-line bundle $\pi^*L_{\mathbf{F}}-\gamma E$; here $L_{\mathbf{F}}$ denotes the pullback of $L$ to $X_{\mathbf{F}}$ and, in what follows, we let $L_{\gamma,\overline{{\mathbf{K}}}}$ denote the pullback of $L_\gamma$ to $\widetilde{X}_{\overline{{\mathbf{K}}}}$ the base change of $\widetilde{X}$ with respect to ${\mathbf{K}}\rightarrow \overline{{\mathbf{K}}}$.

The first invariant, the *relative asymptotic volume constant of $L$ with respect to $x$*, is defined by McKinnon-Roth in [@McKinnon-Roth] to be: $$\beta_x(L) = \int_0^{\gamma_{\mathrm{eff}}} \frac{\mathrm{Vol}(L_{\gamma})} {\mathrm{Vol}(L)} d\gamma;$$ here $\mathrm{Vol}(L_\gamma)$ and $\mathrm{Vol}(L)$ denote the volume of the line bundles $L_{\gamma}$ and $L$ on $\widetilde{X}$ and $X$ respectively and the real number $\gamma_{\mathrm{eff}}$ is defined by: $$\gamma_{{{\mathrm{eff}}}} = \gamma_{{{\mathrm{eff}}},x}(L) = \sup \{\gamma \in {\mathbb{R}}_{{\geqslant}0} : L_{\gamma,\overline{{\mathbf{K}}}} \text{ is numerically equivalent to an effective divisor} \}.$$ The second invariant is the *Seshadri constant of $x$ with respect to $L$*: $$\epsilon_x(L) = \sup \{ \gamma \in {\mathbb{R}}_{{\geqslant}0} : L_{\gamma, \overline{{\mathbf{K}}}} \text{ is nef}\}\text{.}$$

Having described briefly our main concepts, our main result, which we prove in §\[proof:main:results\], reads:

\[theorem1.1\] Let ${\mathbf{K}}$ be the function field of an irreducible projective variety $Y \subseteq {\mathbb{P}}^r_{\overline{{\mathbf{k}}}}$, defined over an algebraically closed field $\overline{{\mathbf{k}}}$ of characteristic zero, assume that $Y$ is non-singular in codimension $1$ and fix a prime divisor $\mathfrak{p} \subseteq Y$. Fix an algebraic closure $\overline{{\mathbf{K}}}$ of ${\mathbf{K}}$ and suppose that $X \subseteq {\mathbb{P}}^n_{{\mathbf{K}}}$ is a geometrically irreducible subvariety, that $x \in X(\overline{{\mathbf{K}}})$, and that $L = {{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)|_{X}$. In this setting, either $$\alpha_x(L;\mathfrak{p}) {\geqslant}\beta_x(L) {\geqslant}\frac{\dim X}{\dim X + 1}\epsilon_x(L)$$ or $$\alpha_{x,X}(L;\mathfrak{p}) = \alpha_{x,W}(L|_{W};\mathfrak{p})$$ for some proper subvariety $W \subsetneq X$.

In particular, note that Theorem \[theorem1.1\] implies that $\alpha_x(L;\mathfrak{p})$ is computed on a proper ${\mathbf{K}}$-subvariety of $X$ provided that $\alpha_x(L;\mathfrak{p}) < \beta_x(L)$.

By analogy with [@McKinnon-Roth], Theorem \[theorem1.1\] has the following consequence:

\[corollary1.2\] In the setting of Theorem \[theorem1.1\], we have that $\alpha_x(L;\mathfrak{p}) {\geqslant}\frac{1}{2} \epsilon_x(L)$. If equality holds then $\alpha_{x,X}(L;\mathfrak{p}) = \alpha_{x,C}(L|_{ C};\mathfrak{p})$ for some curve $C \subseteq X$ defined over ${\mathbf{K}}$.

In the case that ${\mathbf{K}}$ has transcendence degree $1$, Corollary \[corollary1.2\] takes the more refined form:

\[corollary1.3\] Assume that ${\mathbf{K}}$ is the function field of a smooth projective curve over an algebraically closed field of characteristic zero. Let $X$ be a geometrically irreducible projective variety defined over ${\mathbf{K}}$ and $L$ a very ample line bundle on $X$ defined over ${\mathbf{K}}$. If $x$ is a $\overline{{\mathbf{K}}}$-rational point of $X$, then the inequality $\alpha_x(L) {\geqslant}\frac{1}{2}\epsilon_x(L)$ holds true. If equality holds, then $\alpha_{x,X}(L) = \alpha_{x,B}(L|_B)$ for some rational curve $B\subseteq X$ defined over ${\mathbf{K}}$.

Theorem \[theorem1.1\] and Corollary \[corollary1.2\] are proven in §\[proof:main:results\], while we prove Corollary \[corollary1.3\] in §\[9.6\]. Our techniques used to prove Theorem \[theorem1.1\] and Corollary \[corollary1.2\] are similar to those used to establish [@McKinnon-Roth Theorem 6.3]. Indeed, we first define approximation constants for projective varieties defined over a field ${\mathbf{K}}$ of characteristic zero together with a set $M_{\mathbf{K}}$ of absolute values which satisfy the product rule. The definition we give here extends that given in [@McKinnon-Roth] for the case that ${\mathbf{K}}$ is a number field. We then restrict our attention to the case that ${\mathbf{K}}$ is a function field. In this setting, the effective version of Schmidt’s subspace theorem given in [@Wang:2004], and which is applicable to function fields of higher dimensional varieties, plays the role of the theorem of Faltings-Wüstholz [@Faltings:Wustholz Theorem 9.1]. More precisely, in §\[5\] we first give an extension of the subspace theorem obtained in [@Wang:2004]. We then use this extension to obtain a function field analogue of the Faltings-Wüstholz theorem. Finally, we apply this result, in a manner similar to what is done in [@McKinnon-Roth], to obtain Theorem \[theorem1.1\] and Corollary \[corollary1.2\].

A key aspect to deducing Corollary \[corollary1.3\] from Corollary \[corollary1.2\], is to first establish Theorem \[theorem9.4\] which determines the nature of approximation constants for rational points of Abelian varieties over function fields of curves. This theorem and its proof are similar to the corresponding statement in the number field setting, see for instance [@Serre:Mordell-Weil-Lectures Second theorem on p. 98].

As some additional comments, again to place our results in their proper context, let us emphasize that in order for the results of this article to have content one encounters the question of existence of ${\mathbf{K}}$-rational points for varieties defined over function fields. To this end we recall the main result of [@Graber:Harris:Starr] which asserts that if ${\mathbf{K}}$ is the function field of a complex curve, then every rationally connected variety defined over ${\mathbf{K}}$ has a ${\mathbf{K}}$-rational point.

[**Acknowledgements.**]{} This paper has benefited from comments and suggestions from Steven Lu, Mike Roth and Julie Wang. I also thank Mike Roth for suggesting the problem to me. Portions of this work were completed while I was a postdoctoral fellow at McGill University and also while I was a postdoctoral fellow at the University of New Brunswick where I was financially supported by an AARMS postdoctoral fellowship. Finally, I thank anonymous referees for carefully reading this work and for their comments, suggestions and corrections.

Preliminaries: Absolute values, product formulas, and heights {#2}
=============================================================

In this section, to fix notation and conventions which we will require in subsequent sections, we recall some concepts and results about absolute values, product formulas, and heights. Some standard references, from which much of our presentation is based, are [@Lang:Algebra], [@Lang:Diophantine], and [@Bombieri:Gubler]. Throughout this section ${\mathbf{K}}$ denotes a field of characteristic zero. In §\[2.4\]–\[2.7\] we will place further restrictions on ${\mathbf{K}}$. Indeed, there ${\mathbf{K}}$ will also be a function field.

[[**.**]{} ]{}\[2.1\] [**Absolute values.**]{} By an *absolute value on ${\mathbf{K}}$* we mean a real valued function $$|\cdot|_{v} : {\mathbf{K}}\rightarrow {\mathbb{R}}$$ having the properties that:

1.  [$|x|_{v} {\geqslant}0$ for all $x \in {\mathbf{K}}$ and $|x|_{v} = 0$ if and only if $x = 0$;]{}

2.  [$|xy|_{v} = |x|_{v}|y|_{v}$, for all $x,y \in {\mathbf{K}}$; ]{}

3.  [$|x+y|_{v} {\leqslant}|x|_{v} + |y|_{v}$, for all $x,y \in {\mathbf{K}}$.]{}

We say that an absolute value $|\cdot|_{v}$ is *non-archimedean* if it has the property that: $$|x+y|_{v} {\leqslant}\max(|x|_{v},|y|_{v} ) \text{, for all $x,y\in{\mathbf{K}}$.}$$ If an absolute value is not non-archimedean, then we say that it is *archimedean*. Every absolute value $|\cdot|_{v}$ defines a metric on ${\mathbf{K}}$; the distance of two elements $x,y\in{\mathbf{K}}$ with respect to this metric is defined to be $|x-y|_{v}$. If $|\cdot|_{v}$ is an absolute value on ${\mathbf{K}}$, then we let ${\mathbf{K}}_{v}$ denote the completion of ${\mathbf{K}}$ with respect to $|\cdot |_{v}$.

[[**.**]{} ]{}\[2.2\][**The product formula.**]{} Let $M_{{\mathbf{K}}}$ denote a collection of absolute values on ${\mathbf{K}}$. We assume that our set $M_{{\mathbf{K}}}$ has the property that if $x \in {\mathbf{K}}^\times$ then $|x|_v = 1$ for almost all $|\cdot|_v \in M_{{\mathbf{K}}}$. We do not require $M_{{\mathbf{K}}}$ to consist of inequivalent absolute values. We say that *$M_{{\mathbf{K}}}$ satisfies the product formula* if for each $x \in {\mathbf{K}}^{\times}$ we have: $$\label{eqn2.1}
\prod\limits_{|\cdot|_{v} \in M_{{\mathbf{K}}}} |x|_{v} = 1 \text{.}$$ [**Remark.**]{} Note that the definition given above is similar to [@Artin:Whaples Axiom 1, p. 473] except that we do not require $M_{{\mathbf{K}}}$ to consist of inequivalent absolute values. The definition we give here is motivated by the discussion given in [@Lang:Diophantine p. 24].

[[**.**]{} ]{}\[2.3\][**Heights.**]{} Let $M_{\mathbf{K}}$ be a set of absolute values on ${\mathbf{K}}$ which satisfies the product rule and ${\mathbb{P}}^n_{{\mathbf{K}}} = \mathrm{Proj} \  {\mathbf{K}}[x_0,\dots,x_n]$. If $y = [y_0:\cdots : y_n] \in {\mathbb{P}}^n({\mathbf{K}})$ then let $$\label{eqn2.2}
H_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(y) = \prod\limits_{|\cdot|_{v} \in M_{\mathbf{K}}} \max\limits_i |y_i|_{v}.$$ The fact that $M_{\mathbf{K}}$ satisfies the product rule ensures that the righthand side of equation is well defined. The number $H_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(y)$ is called the *multiplicative height of $y$ with respect to ${{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)$ and $M_{\mathbf{K}}$* and the function $$\label{eqn2.3} H_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)} : {\mathbb{P}}^n({\mathbf{K}}) \rightarrow {\mathbb{R}}$$ is called the *multiplicative height function of ${\mathbb{P}}^n_{{\mathbf{K}}}$ with respect to the tautological line bundle and the set $M_{\mathbf{K}}$*. If $X \subseteq {\mathbb{P}}^n_{{\mathbf{K}}}$ is a projective variety then the multiplicative height of $x \in X({\mathbf{K}})$ with respect to $L = {{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)|_{ X}$ is defined by pulling back the function and is denoted by $H_L(x)$.

[[**.**]{} ]{}\[2.4\][**Example.**]{} Let $\overline{{\mathbf{k}}}$ be an algebraically closed field of characteristic zero, $Y$ an irreducible projective variety over $\overline{{\mathbf{k}}}$ and non-singular in codimension $1$. By a *prime (Weil) divisor* of $Y$ we mean a closed integral subscheme $\mathfrak{p} \subseteq Y$ of codimension $1$.

Let $\eta$ denote the generic point of $Y$ and ${\mathbf{K}}= {{\mathcal O}}_{Y,\eta}$ the field of fractions of $Y$. If $\eta_{\mathfrak{p}}$ denotes the generic point of a prime divisor $\mathfrak{p}\subseteq Y$, then its local ring ${{\mathcal O}}_{Y,\eta_\mathfrak{p}} \subseteq {{\mathcal O}}_{Y,\eta}$ is a discrete valuation ring and we let $$\label{eqn2.4} 
{\mathrm{ord}}_{\mathfrak{p}} : {\mathbf{K}}^\times \rightarrow {\mathbb{Z}}$$ denote the valuation determined by ${{\mathcal O}}_{Y,\eta_{\mathfrak{p}}}$.

Fix an ample line bundle $\mathcal{L}$ on $Y$. If $\mathfrak{p} \subseteq Y$ is a prime divisor, then we let $\deg_{\mathcal{L}}(\mathfrak{p})$ denote the degree of $\mathfrak{p}$ with respect to $\mathcal{L}$, see for instance [@Bombieri:Gubler A.9.38]. Next fix $0 < \mathbf{c} < 1$ and for each prime divisor $\mathfrak{p}\subseteq Y$, let $$\label{eqn2.5}
|x|_{\mathfrak{p},{\mathbf{K}}} = \begin{cases}
\mathbf{c}^{{\mathrm{ord}}_{\mathfrak{p}}(x) \deg_{\mathcal{L}}(\mathfrak{p})} & \text{ for $x \not = 0$} \\
0 & \text{ for $x = 0$.}
\end{cases}$$ The absolute values $|\cdot|_{\mathfrak{p},{\mathbf{K}}}$, defined for each prime divisor $\mathfrak{p}\subseteq Y$ and depending on our fixed ample line bundle $\mathcal{L}$, are non-archimedean, proper and the set $$\label{eqn2.6}
M_{(Y,\mathcal{L})} = \{ |\cdot|_{\mathfrak{p},{\mathbf{K}}} : \mathfrak{p}\subseteq Y \text{ is a prime divisor}\}$$ is a proper set of absolute values which satisfies the product rule.

Since the set $M_{(Y,\mathcal{L})}$ satisfies the product rule we can define the multiplicative and logarithmic height functions of ${\mathbb{P}}^n_{\mathbf{K}}$ with respect to the tautological line bundle ${{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{K}}}(1)$. Specifically if $y=[y_0:\dots:y_n] \in {\mathbb{P}}^n({\mathbf{K}})$, then the multiplicative height of $y$ is given by $$\label{eqn2.7}
H_{{{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{K}}}(1)}(y) = \prod\limits_{|\cdot|_{\mathfrak{p},{\mathbf{K}}} \in M_{(Y,\mathcal{L})}} \max\limits_i |y_i|_{\mathfrak{p}, {\mathbf{K}}},$$ the logarithmic height of $y$ is given by $$\label{eqn2.8}
h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(y) = - \sum\limits_{|\cdot|_{\mathfrak{p},{\mathbf{K}}} \in M_{(Y,\mathcal{L})}} \min\limits_i ({\mathrm{ord}}_{\mathfrak{p}}(y_i)\deg_{\mathcal{L}}(\mathfrak{p}))$$ and the logarithmic and multiplicative height functions are related by $$\label{eqn2.9}
- \log_{\mathbf{c}} H_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(y) = h_{{{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{K}}}(1)}(y).$$

[[**.**]{} ]{}\[2.5\][**Example.**]{} We continue with the situation of §\[2.4\], we let $\overline{{\mathbf{K}}}$ be an algebraic closure of the function field ${\mathbf{K}}$ and we fix $\mathbf{F} / {\mathbf{K}}$, $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$, a finite extension of ${\mathbf{K}}$. Let $\phi : Y' \rightarrow Y$ be the normalization of $Y$ in $\mathbf{F}$. As in §\[2.4\], every ample line bundle $\mathcal{L}'$ on $Y'$ determines a proper set of absolute values $M_{(Y',\mathcal{L}')}$ which satisfies the product rule. In this setting, we denote elements of $M_{(Y',\mathcal{L}')}$ by $|\cdot|_{\mathfrak{p}',\mathbf{F}}$ for $\mathfrak{p}'$ a prime divisor of $Y'$.

In particular, we can take $\mathcal{L}' = \phi^*\mathcal{L}$ for $\mathcal{L}$ an ample line bundle on $Y$. In this case, if $\mathfrak{p}'$ is a prime divisor of $Y'$ lying over $\mathfrak{p}$ a prime divisor of $Y$, we then set $$\label{eqn2.10}
|x|_{\mathfrak{p}'/\mathfrak{p}} = 
|\mathrm{N}_{\mathbf{F}_{\mathfrak{p}'}/{\mathbf{K}}_{\mathfrak{p}}}(x)|_{\mathfrak{p}, {\mathbf{K}}}^{1/[\mathbf{F}_{\mathfrak{p}'}:{\mathbf{K}}_{\mathfrak{p}}]} 
= |x|_{\mathfrak{p}',\mathbf{F}}^{1/[\mathbf{F}_{\mathfrak{p}'}:{\mathbf{K}}_{\mathfrak{p}}]};$$ here $\operatorname{N}_{\mathbf{F}_{\mathfrak{p}'}/{\mathbf{K}}_{\mathfrak{p}}}$ denotes the field norm from $\mathbf{F}_{\mathfrak{p}'}$ to ${\mathbf{K}}_{\mathfrak{p}}$.

As explained in [@Bombieri:Gubler §1.3.6], the absolute value $$\label{eqn2.11}
|\cdot|_{\mathfrak{p}'/\mathfrak{p}} : \mathbf{F} \rightarrow {\mathbb{R}}$$ extends the absolute value $$\label{eqn2.12}
|\cdot|_{\mathfrak{p},{\mathbf{K}}} : {\mathbf{K}}\rightarrow {\mathbb{R}}.$$

We can also normalize the absolute values of $\mathbf{F}$ relative to ${\mathbf{K}}$. In particular, given a prime divisor $\mathfrak{p}'$ of $Y'$ we let $|\cdot|_{\mathfrak{p}',{\mathbf{K}}}$ denote the absolute value $$\label{eqn2.13}
|x|_{\mathfrak{p}',{\mathbf{K}}} = |x|_{\mathfrak{p}',\mathbf{F}}^{1/[\mathbf{F}:{\mathbf{K}}]} \text{, for $x \in \mathbf{F}$,}$$ compare with [@Bombieri:Gubler Example 1.4.13].

[[**.**]{} ]{}\[2.6\][**Height functions and field extensions.**]{} Since the sets $M_{(Y,\mathcal{L})}$ and $M_{(Y',\mathcal{L}')}$, defined in §\[2.4\] and §\[2.5\], satisfy the product formula we can consider the height functions that they determine. To compare these height functions, we first note that, as explained in [@Bombieri:Gubler Example 1.4.13], given a prime divisor $\mathfrak{p} \subseteq Y$, the set of places of $\mathbf{F}$ lying over the place of ${\mathbf{K}}$ determined by $\mathfrak{p}$ is in bijection with the set of prime divisors of $Y'$ lying over $\mathfrak{p}$. Given a prime divisor $\mathfrak{p}$ of $Y$ and a prime divisor $\mathfrak{p}'$ of $Y'$ we sometimes use the notation $\mathfrak{p}' | \mathfrak{p}$ to indicate that $\mathfrak{p}'$ lies above $\mathfrak{p}$.

Next, note that by [@Bombieri:Gubler Corollary 1.3.2], given a prime divisor $\mathfrak{p}$ of $Y$, we have $$\label{eqn2.14}
\sum_{\mathfrak{p}' | \mathfrak{p}} [\mathbf{F}_{\mathfrak{p}'} : {\mathbf{K}}_{\mathfrak{p}}] = [\mathbf{F}:{\mathbf{K}}].$$ Also, since the absolute value $|\cdot|_{\mathfrak{p}'/\mathfrak{p}} = |\cdot|_{\mathfrak{p}',\mathbf{F}}^{1/[\mathbf{F}_{\mathfrak{p}'} :{\mathbf{K}}_{\mathfrak{p}}] } $ extends the absolute value $|\cdot|_{\mathfrak{p}, {\mathbf{K}}}$, it follows, using and , that if $H_{{\mathbb{P}}^n_{{\mathbf{K}}}(1)}(\cdot)$ denotes the height function on ${\mathbb{P}}^n({\mathbf{K}})$ determined by $M_{(Y,\mathcal{L})}$ and if $H_{{{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{F}}}(1)}(\cdot)$ denotes the height function on ${\mathbb{P}}^n(\mathbf{F})$ determined by $M_{(Y',\mathcal{L}')}$, then $$\label{eqn2.15}
H_{{{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{K}}}(1)}(y) = H_{{{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{F}}}(1)}(y)^{1/[\mathbf{F} : {\mathbf{K}}]},$$ for all $y = [y_0:\dots:y_n] \in {\mathbb{P}}^n({\mathbf{K}})$.

At the level of logarithmic heights, the relation implies that $$\label{eqn2.16}
[\mathbf{F} : {\mathbf{K}}]  h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(y) = h_{{{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{F}}}(1)}(y),$$ for all $y \in {\mathbb{P}}^n({\mathbf{K}})$.

[[**.**]{} ]{}\[2.7\][**Height functions, field extensions, and projective varieties.**]{} Considerations similar to §\[2.6\] apply to an arbitrary projective variety $X$ over ${\mathbf{K}}$. In particular, given a very ample line bundle $L$ on $X$, and defined over ${\mathbf{K}}$, let $H_L(\cdot)$ and $h_L(\cdot)$ denote, respectively, the multiplicative and logarithmic heights obtained by pulling back $H_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}(1)}}(\cdot)$ and $h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(\cdot)$ with respect to some embedding $X \hookrightarrow {\mathbb{P}}^n_{{\mathbf{K}}}$ afforded by $L$.

Similarly, if $X_{\mathbf{F}}= X\times_{{\operatorname{Spec}}{\mathbf{K}}} {\operatorname{Spec}}\mathbf{F}$ denotes the base change of $X$ with respect to the extension $\mathbf{F} / {\mathbf{K}}$ and $L_{\mathbf{F}}$ the pullback of $L$ to $X_{\mathbf{F}}$, then we denote by $H_{L_{\mathbf{F}}}(\cdot)$ and $h_{L_{\mathbf{F}}}(\cdot)$, respectively, the height functions determined by pulling back $H_{{{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{F}}}(1)}(\cdot)$ and $h_{{{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{F}}}(1)}(\cdot)$, respectively, with respect to any embedding $X \hookrightarrow {\mathbb{P}}^n_{\mathbf{F}}$ afforded by $L_{\mathbf{F}}$.

From this point of view, we have the relations $$\label{eqn1.10}
H_{L}(y) = H_{L_{\mathbf{F}}}(y)^{1/ [\mathbf{F}:{\mathbf{K}}]}$$ and $$\label{eqn1.11}
[\mathbf{F}:{\mathbf{K}}] h_L(y) = h_{L_{\mathbf{F}}}(y),$$ for all $y \in X({\mathbf{K}})$, compare with and .

Distance functions and approximation constants {#3}
==============================================

Let ${\mathbf{K}}$ be a field of characteristic zero and $|\cdot|$ a non-archimedean absolute value on ${\mathbf{K}}$. In this section we define, by analogy with [@McKinnon-Roth], projective distance functions and approximation constants, with respect to $|\cdot|$, for pairs $(X,L)$ for $X$ a projective variety over ${\mathbf{K}}$ and $L$ a very ample line bundle on $X$. In §\[4\] we record some properties of these distance functions which are needed in subsequent sections.

[**Projective distance functions.**]{} We define (normalized) distance functions for projective varieties over ${\mathbf{K}}$ with respect to non-archimedean places of ${\mathbf{K}}$. The reason we include a discussion about normalizing our distance functions is so that we can state Lemma \[lemma3.1\] below which we need later in §\[4\]. In that section we also record various properties of these distance functions; these properties are needed in §\[9\] where we establish Corollary \[corollary1.3\].

[[**.**]{} ]{}\[3.5\] Given a nontrivial absolute value $|\cdot|_{v,{\mathbf{K}}}$ on ${\mathbf{K}}$, we also denote by $|\cdot|_{v,{\mathbf{K}}}$ an extension of $|\cdot|_{v,{\mathbf{K}}}$ to $\overline{{\mathbf{K}}}$ an algebraic closure of ${\mathbf{K}}$. We fix a collection of non-archimedean places of ${\mathbf{K}}$ which we denote by $M_{{\mathbf{K}}}$. Let $\mathbf{F} / {\mathbf{K}}$, $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$, be a finite dimensional extension and $w$ a place of $\mathbf{F}$ lying over $v$. We let $\mathbf{F}_w$ and $\mathbf{K}_v$ denote, respectively, the completions of $\mathbf{F}$ and ${\mathbf{K}}$ with respect to $w$ and $v$. Finally, we write $M_\mathbf{F}$ for the set of places of $\mathbf{F}$ lying above elements of $M_{\mathbf{K}}$.

[[**.**]{} ]{}\[3.6\] For each $v \in M_{\mathbf{K}}$ and each $w \in M_\mathbf{F}$, lying over $v$, we define absolute values by $$\label{eqn3.1}
||x||_w = |\mathrm{N}_{\mathbf{F}_w / {\mathbf{K}}_v}(x)|_{v,{\mathbf{K}}}$$ and $$\label{eqn3.2}
|x|_{w,{\mathbf{K}}} = |\mathrm{N}_{\mathbf{F}_w / {\mathbf{K}}_v}(x)|_{v,{\mathbf{K}}}^{1/[\mathbf{F} : {\mathbf{K}}]};$$ here $\operatorname{N}_{\mathbf{F}_w/{\mathbf{K}}_v}$ denotes the field norm from $\mathbf{F}_w$ to ${\mathbf{K}}_v$. The absolute value $|\cdot|_{w,{\mathbf{K}}}$ is a representative of $w$ and the absolute value $$\label{eqn3.3}
||\cdot||_w^{1/[\mathbf{F}_w : {\mathbf{K}}_v]}$$ is a representative of $w$ extending $|\cdot|_{v,{\mathbf{K}}}$. In particular, $$\label{eqn3.4}
|x|_{v,{\mathbf{K}}} = ||x||_v = ||x||_w^{1/[\mathbf{F}_w : {\mathbf{K}}_v]},$$ for $x \in {\mathbf{K}}$, [@Bombieri:Gubler 1.3.6, p. 6].

[[**.**]{} ]{}\[3.7\] We can use the absolute values defined by to define projective distance functions corresponding to places $w \in M_{\mathbf{F}}$. When we do this, we say that this distance function is *normalized relative to $\mathbf{F}$* and we denote it by $d_w(\cdot,\cdot)$ or $d_v(\cdot,\cdot)_\mathbf{F}$ for a place $v$ lying below $w$ if we wish to emphasize the fact that it is normalized relative to $\mathbf{F}$. More specifically, given $w \in M_{\mathbf{F}}$, we fix an extension of $||\cdot||_w$ to $\overline{{\mathbf{K}}}$ and we define $$d_w (\cdot, \cdot) : {\mathbb{P}}^n(\overline{{\mathbf{K}}}) \times {\mathbb{P}}^n(\overline{{\mathbf{K}}}) \rightarrow [0,1]$$ by $$\label{eqn3.5}
d_v(x,y)_{\mathbf{F}} = d_w(x,y) = \frac{\max_{0{\leqslant}i < j {\leqslant}n}(||x_i y_j - x_j y_i||_w )}{\max_{0{\leqslant}i {\leqslant}n}(||x_i||_w) \max_{0 {\leqslant}j {\leqslant}n}(||y_j||_w)},$$ for $x = [x_0:\dots:x_n]$ and $y=[y_0:\dots : y_n] \in {\mathbb{P}}^n(\overline{{\mathbf{K}}})$ and $v \in M_{\mathbf{K}}$ lying below $w$.

We remark:

\[lemma3.1\] If $v \in M_{\mathbf{K}}$ and $w \in M_\mathbf{F}$ lies over $v$ then $$d_v(\cdot,\cdot)_{\mathbf{K}}^{[\mathbf{F}_w : {\mathbf{K}}_v]} = d_v(\cdot,\cdot)_{\mathbf{F}} = d_w(\cdot,\cdot).$$

Immediate from the definitions.

[[**.**]{} ]{}\[3.8\] If $X$ is a projective variety defined over ${\mathbf{K}}$ and $L$ a very ample line bundle on $X$, then every embedding $$\label{eqn3.5'}
X \hookrightarrow {\mathbb{P}}^n_{{\mathbf{K}}},$$ obtained by choosing a basis of a very ample linear system with $\dim V = n+1$, determines, by pulling back the distance function defined in , a projective distance function on $X$ $$\label{eqn3.5''}
d_v(\cdot,\cdot) = d_{|\cdot|_v}(\cdot,\cdot) : X(\overline{{\mathbf{K}}}) \times X(\overline{{\mathbf{K}}}) \rightarrow [0,1].$$ Such functions also behave in the same way as Lemma \[lemma3.1\] with respect to normalizing with respect to field extensions.

[[**.**]{} ]{}\[3.8’\][**Approximation constants.**]{} Let $(X,L)$ be a pair consisting of a projective variety $X$ and $L$ a very ample line bundle on $X$. We assume that $(X,L)$ is defined over ${\mathbf{K}}$. Fix an embedding $X \hookrightarrow {\mathbb{P}}^n_{{\mathbf{K}}}$ determined by a very ample linear system $V \subseteq {\mathrm{H}}^0(X,L)$, fix a set $M_{\mathbf{K}}$ of absolute values on ${\mathbf{K}}$ satisfying the product rule and, as in §\[2.3\], let $H_L(\cdot)$ denote the multiplicative height of $X$ with respect to $L = {{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{K}}}(1)|_X$ and our set $M_{\mathbf{K}}$. Given a non-archimedean absolute value, $|\cdot|_v \in M_{\mathbf{K}}$ let $d_{|\cdot|_v}(\cdot,\cdot)$ denote the corresponding distance function defined in . Here we define approximation constants and our definition extends that given in [@McKinnon-Roth Definitions 2.8 and 2.9].

[**Definition.**]{} Fix $x \in X(\overline{{\mathbf{K}}})$. For every infinite sequence $\{y_i\} \subseteq X({\mathbf{K}})$ of distinct points with unbounded height and $d_{|\cdot|_v}(x,y_i) \to 0$ (which we sometimes denote by $\{y_i\} \to x$) define: $$\label{alpha:x:seq} \alpha_x(\{y_i\},L) = \inf \{\gamma \in {\mathbb{R}}: d_{|\cdot|_v}(x,y_i)^{\gamma} H_L(y_i) \text{ is bounded from above} \}$$ and define $$\alpha_{x,X}(L; |\cdot|_{v})=\alpha_x(L;|\cdot|_v) = \alpha_x(L)$$ by: $$\begin{gathered}
\label{alpha:x}  \alpha_x(L) = \inf \{ \alpha_x(\{y_i\},L) :  \{y_i\}\subseteq X({\mathbf{K}}) \text{ is an infinite sequence } \\
\text{of distinct points with unbounded height and $d_{|\cdot|_v}(x,y_i) \to 0$}  \} \text{.}\end{gathered}$$

The intuitive idea is that $\alpha_x(L)$ provides a measure of the cost of approximating $x \in X(\overline{{\mathbf{K}}})$ by infinite sequences of distinct ${\mathbf{K}}$-rational points with unbounded height and converging to $x$.

[**Remarks.**]{}

1.  [As a matter of convention, if $\{y_i\} \subseteq X({\mathbf{K}})$ is an infinite sequence of distinct points with unbounded height and not converging to $x$, then we define $\alpha_x(\{y_i\},L) = \infty$. Similarly, if there exists no infinite sequence of distinct points $\{y_i\}\subseteq X({\mathbf{K}})$ with unbounded height and converging to $x$, then we define $\alpha_x(L) = \infty$.]{}

2.  [In the definitions and , the reason that we restrict our attention to infinite sequences of distinct points with unbounded height is that, in general, for instance when ${\mathbf{K}}$ is a function field, there may exist infinite sequences of distinct points with bounded height. On the other hand, if $\{y_i\} \subseteq X({\mathbf{K}})$ is an infinite sequence of distinct points with unbounded height, then $\{y_i\}$ admits a subsequence $\{y_i'\}$ with $H_L(y_i') \to \infty$.]{}

3.  [Let $\{y_i\} \subseteq X({\mathbf{K}})$ be an infinite sequence of distinct points with unbounded height and $\{y_i\} \to x$. It then follows from the definitions that if $\{y_i'\} \subseteq X({\mathbf{K}})$ is a subsequence of distinct points with unbounded height then $\{y_i'\} \to x$ and $\alpha_x(\{y_i'\},L) {\leqslant}\alpha_x(\{y_i\},L)$, for all $x \in X(\overline{{\mathbf{K}}})$. ]{}

4.  [If ${\mathbf{K}}$ is a number field and $\{y_i\} \subseteq X({\mathbf{K}})$ an infinite sequence of distinct points then the sequence $\{H_L(y_i)\}$ is unbounded and thus the definitions and extend those given in [@McKinnon-Roth Definitions 2.8 and 2.9].]{}

[[**.**]{} ]{}\[3.9\][**Example.**]{}\[PP1:eg\] In the case that ${\mathbf{K}}$ is a number field and $x \in {\mathbb{P}}^n({\mathbf{K}})$, then in [@McKinnon-Roth Lemma 2.13], it is shown that $\alpha_x({{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)) = 1$. The same is true for the case that ${\mathbf{K}}$ is the function field of a smooth projective complex curve $C$. To see why, as in the proof of [@McKinnon-Roth Lemma 2.13], we have $\alpha_x({{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)) {\geqslant}1$. To see that this lower bound can be achieved, as in [@McKinnon-Roth Lemma 2.13] it suffices to treat the case $n=1$ and $x = [1:0]$. To see that $\alpha_x({{\mathcal O}}_{{\mathbb{P}}^1_{{\mathbf{K}}}}(1)) = 1$, let $p$ be the point of $C$ corresponding to the absolute value which we used to define $\alpha_x({{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1))$. Let $g$ be the genus of $C$ and let $d>2g$ be an integer. Let $s \in {\mathbf{K}}$ denote the global section of ${{\mathcal O}}_C(dp)$ with $\mathrm{div}(s)=dp$. Then ${\mathrm{ord}}_p(s) = d$ and ${\mathrm{ord}}_q(s) = 0$ for $p \not= q$. Since $d > 2g$, $h^0(C,{{\mathcal O}}_C(dp)){\geqslant}g+2$ and thus $|dp|$ is base point free so we can find a $t \in {\mathbf{K}}$ which is a global section of ${{\mathcal O}}_C(dp)$ and which does not vanish at $p$. Let $y_i=[1,s^it^{-i}]$, for $i {\geqslant}0$. Then $d_{|\cdot|_p}(x,y_i) \to 0$ and $H_{{{\mathcal O}}_{{\mathbb{P}}^1_{{\mathbf{K}}}}}(y_i) \to \infty$ as $i \to \infty$ and also $d_{|\cdot|_p}(x,y_i) H_{{{\mathcal O}}_{{\mathbb{P}}^1_{{\mathbf{K}}}}(1)}(y_i) = 1$ for all $i$.

[[**.**]{} ]{}\[3.10’\][**Example.**]{} Let ${\mathbf{K}}$ be the function field of a smooth projective curve over an algebraically closed field with characteristic $0$. In §9 we compute $\alpha_x(L)$ for $x \in A(\overline{{\mathbf{K}}})$, for $A$ an abelian variety defined over ${\mathbf{K}}$ and $L$ a very ample line bundle on $A$. Specifically, we establish an approximation theorem similar to [@Serre:Mordell-Weil-Lectures p. 98], proven there in the number field setting, and it follows that $\alpha_x(L) = \infty$, see Theorem \[theorem9.4\] and Corollary \[corollary9.4’\].

[[**.**]{} ]{}\[3.10\][**Example.**]{}\[curve:function:field:setting\] Let $C$ be a non-singular curve defined over ${\mathbf{K}}$, the function field of a smooth projective curve over an algebraically closed field with characteristic $0$ and suppose that the genus of $C$ is at least one. If $L$ is a very ample line bundle on $C$ and $x \in C(\overline{{\mathbf{K}}})$, then $\alpha_x(L) = \infty$ as we prove in Theorem \[theorem9.1’\]. To get a sense for some of the ideas involved, we consider the Abel-Jacobi map $C \rightarrow A$, here $A = \operatorname{Jac}(C)$ is the Jacobian of $C$. Let $\Theta$ be the theta divisor of $A$ and identify $C$ with its image in $A$. Then, in this notation, we have that $\alpha_x(\Theta^{\otimes 3}|_C) {\geqslant}\alpha_x(\Theta^{\otimes 3})$, compare with [@McKinnon-Roth Proposition 2.14 (c)]. Now note that since $\alpha_x(\Theta^{\otimes 3}) = \infty$, see §\[3.10’\] or Theorem \[theorem9.4\] and Corollary \[corollary9.4’\], it follows that $\alpha_x(\Theta^{\otimes 3}|_C) = \infty$ too. Finally, it follows, from our definition of approximation constants in conjunction with properties of height functions, that $\alpha_x(L) = \infty$ for all very ample line bundles $L$ on $C$. The same is true for singular curves with geometric genus at least $1$, see Theorem \[theorem9.1’\].

Properties of projective distance functions {#4}
===========================================

In this section we record some properties of the distance functions defined in and . In the number field setting, similar properties were established in [@McKinnon-Roth §2]. The only major difference between what we do here and what is done there is that we work with bounded sets instead of compact sets. We omit the proof of these properties since they are evident adaptations of the corresponding statements given in [@McKinnon-Roth §2]. The main reason that we record these properties is that they are needed to establish Lemma \[lemma6.1\] and Theorem \[theorem9.4\]. Throughout this section we fix a field ${\mathbf{K}}$ of characteristic zero, an algebraic closure $\overline{{\mathbf{K}}}$ of ${\mathbf{K}}$ and a place $v$ of ${\mathbf{K}}$ which we extend to $\overline{{\mathbf{K}}}$ and also denote by $v$. In what follows we also fix an absolute value $|\cdot| = |\cdot|_v$ on $\overline{{\mathbf{K}}}$ representing $v$.

[[**.**]{} ]{}\[4.1\] Let $X$ be a projective variety over ${\mathbf{K}}$. Besides the Zariski topology on $X(\overline{{\mathbf{K}}})$ we have a topology which is induced by that of ${\mathbf{K}}$ with respect to $v$. We call this topology the *$v$-topology* on $X$ and it is the topology which is induced locally by open balls with respect to closed embeddings of affine open subsets of $X$ into affine spaces and the max norm with respect to $|\cdot|$. This topology is independent of the embeddings and the equivalence class of $|\cdot|$. As ${\mathbf{K}}$ need not be compact with respect to the $v$-topology, the $v$-topology on $X(\overline{{\mathbf{K}}})$ need not be compact in general. On the other hand, to understand $X(\overline{{\mathbf{K}}})$ in terms of $|\cdot|$ it is useful instead to work with the concept of *bounded sets* of $X$, in the sense of [@Bombieri:Gubler Definition 2.6.2] or [@Serre:Mordell-Weil-Lectures §6.1].

[[**.**]{} ]{}\[4.2\] For the sake of completeness, we include some discussion about *bounded sets* and we first consider the affine case. To this end, let $U$ be an affine ${\mathbf{K}}$-variety with coordinate ring ${\mathbf{K}}[U]$. We say that a subset $E \subseteq U(\overline{{\mathbf{K}}})$ is *bounded* in $U$, if for every $f \in {\mathbf{K}}[U]$, the function $|f|$ is bounded on $E$. If $\{f_1,\dots, f_N\}$ are generators of ${\mathbf{K}}[U]$ as a ${\mathbf{K}}$-algebra and if the inequality $$\sup_{P \in E} \max_{j=1,\dots, N} |f_j(P)| < \infty$$ holds true for a subset $E \subseteq U(\overline{{\mathbf{K}}})$, then $E$ is bounded in $U$, [@Bombieri:Gubler Lemma 2.2.9]. Also if $\{U_\ell\}$ is a finite open covering of $U$ and if $E$ is bounded in $U$, then there are bounded subsets $E_\ell$ of $U_\ell$ such that $E = \bigcup_\ell E_\ell$, [@Bombieri:Gubler Lemma 2.2.10].

Next, given an arbitrary variety $X$ over ${\mathbf{K}}$, a subset $E \subseteq X(\overline{{\mathbf{K}}})$ is called *bounded* in $X$, if there is a finite covering $\{U_i \}_{i \in I}$ of $X$ by affine open subsets and sets $E_i$ with $E_i \subseteq U_i(\overline{{\mathbf{K}}})$ such that $E_i$ is bounded in $U_i$ and $E = \bigcup_{i \in I} E_i$, [@Bombieri:Gubler Definition 2.6.2]. If $E$ is bounded in $X$, then for every finite covering $\{U_i\}_{i \in I}$ of $X$ by affine open subsets, there is a subdivision $$E = \bigcup_{i \in I} E_i,$$ with $E_i \subseteq U_i(\overline{{\mathbf{K}}})$ such that each $E_i$ is bounded in $U_i$, [@Bombieri:Gubler Remark 2.6.3].

Finally, as explained in [@Bombieri:Gubler Example 2.6.5], see also [@Serre:Mordell-Weil-Lectures §6], the set ${\mathbb{P}}^n(\overline{{\mathbf{K}}})$ is bounded in ${\mathbb{P}}^n_{{\mathbf{K}}}$ and one way to see this is to use the standard affine covering $$X_i := \{ x =[x_0:\dots : x_n] \in {\mathbb{P}}^n_{{\mathbf{K}}} : x_i \not = 0 \},$$ for $i \in \{0,\dots, n \}$, of ${\mathbb{P}}^n_{\mathbf{K}}$ together with the decomposition $$E_i := \{ x \in {\mathbb{P}}^n_{{\mathbf{K}}} : |x_i | = \max\limits_{j=0,\dots,n} |x_j| \}$$ of $E := {\mathbb{P}}^n(\overline{{\mathbf{K}}})$.

One consequence of the boundedness of ${\mathbb{P}}^n(\overline{{\mathbf{K}}})$ is that the set of $\overline{{\mathbf{K}}}$-rational points $X(\overline{{\mathbf{K}}})$ for $X$ a projective variety over ${\mathbf{K}}$ is bounded; it also follows that if $X$ is a projective variety defined over ${\mathbf{K}}$ and $x \in X(\overline{{\mathbf{K}}})$ a $\overline{{\mathbf{K}}}$-rational point of $X$, then there exists an affine open subset $U\subseteq X$ with $x \in U(\overline{{\mathbf{K}}})$ and a subset $E \subseteq U(\overline{{\mathbf{K}}})$ bounded in $U$ and containing $x$. We refer to such a subset as a *bounded neighbourhood of $x$* in what follows.

[[**.**]{} ]{}\[4.3\] The key point to establishing our desired properties of the distance functions, which we defined in §\[3.7\] and §\[3.8\], is Lemma \[lemma4.1\] below. To state it, let $X$ be a variety over ${\operatorname{Spec}}{\mathbf{K}}$ and $U$ an affine open subset of $X_{\mathbf{F}} = X \times_{{\operatorname{Spec}}{\mathbf{K}}} {\operatorname{Spec}}\mathbf{F}$ for some finite extension $\mathbf{F} / {\mathbf{K}}$ with $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$. Suppose given two collections of elements $u_1,\dots, u_r$ and $u_1',\dots, u_s'$ of $\Gamma(U,{{\mathcal O}}_{X_{\mathbf{F}}})$ which generate the same ideal.

\[lemma4.1\] In the above setting, the functions $$\label{eqn4.1}
\max(|u_1(\cdot)|_v,\dots,|u_r(\cdot)|_v)$$ and $$\label{eqn4.2}
\max(|u_1'(\cdot)|_v,\dots,|u_s'(\cdot)|_v)$$ are equivalent on every subset $E \subseteq U(\overline{{\mathbf{K}}})$ which is bounded in $U$.

In light of the discussion given in §\[4.2\], the proof of Lemma \[lemma4.1\] is an evident adaptation of the proof of [@McKinnon-Roth Lemma 2.2].

[[**.**]{} ]{}\[4.4\] Now let $L$ and $L'$ be two very ample line bundles on a projective variety $X$, defined over ${\mathbf{K}}$, $V\subseteq {\mathrm{H}}^0(X,L)$ and $W \subseteq {\mathrm{H}}^0(X,L')$ two very ample linear systems, $s = \dim V -1$, $r = \dim W - 1$ and fix two embeddings $j : X \hookrightarrow {\mathbb{P}}^s$ and $j' : X \hookrightarrow {\mathbb{P}}^r$ obtained by choosing bases for $V$ and $W$ respectively. We wish to compare the distance functions determined by the embeddings $j$ and $j'$. We denote these distance functions by $d_v(\cdot,\cdot)$ and $d_v'(\cdot,\cdot)$ respectively. The main point is Proposition \[proposition4.3\] which shows that the functions $d_v(\cdot,\cdot)$ and $d_v'(\cdot,\cdot)$ are equivalent. Before stating Proposition \[proposition4.3\], we record:

\[lemma4.2\] Let $\mathbf{F}/{\mathbf{K}}$ be a finite extension, $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$. Then for every point $x \in X(\mathbf{F})$ and every rational map $f: {\mathbb{P}}^s \dashrightarrow {\mathbb{P}}^r$ defined at $j(x)$ and such that $f\circ j = j'$ near $x$, there is a subset $E \subseteq X(\overline{{\mathbf{K}}}) \times X(\overline{{\mathbf{K}}})$ bounded in $X \times X$ and containing $(x,x)$ such that $d_v(\cdot,\cdot)$ and $d_v'(\cdot,\cdot)$ are equivalent on $E$.

The proof of Lemma \[lemma4.2\] uses Lemma \[lemma4.1\] and is an evident adaptation of the proof of [@McKinnon-Roth Lemma 2.3].

As mentioned, the distance functions determined by distinct embeddings are equivalent:

\[proposition4.3\] Let $d_v$ and $d_v'$ be two distance functions coming from different embeddings of $X$. Then for all finite extensions $\mathbf{F}/{\mathbf{K}}$, $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$, $d_v$ is equivalent to $d_v'$ on $X(\mathbf{F}) \times X(\mathbf{F})$.

The proof of Proposition \[proposition4.3\] uses Lemma \[lemma4.2\] and, considering the discussion of §\[4.2\], is an evident adaptation of the proof of [@McKinnon-Roth Proposition 2.4].

[[**.**]{} ]{}\[4.5\] Proposition \[proposition4.5\] below, which is useful for working with distance functions locally, is a consequence of the following useful auxiliary observation.

\[lemma4.4\] Let $x$ be a point of $X(\overline{{\mathbf{K}}})$ and $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$ a finite extension of ${\mathbf{K}}$ over which $x$ is defined. Then there exists an affine open subset $U$ of $X_{\mathbf{F}} = X \times_{{\operatorname{Spec}}{\mathbf{K}}} {\operatorname{Spec}}\mathbf{F}$ containing $x$ and elements $u_1,\dots,u_r$ of $\Gamma(U,{{\mathcal O}}_{X_{\mathbf{F}}})$ which generate the maximal ideal of $x$ and positive real constants $c {\leqslant}C$ so that $$c d_v(x,y) {\leqslant}\min(1,\max(|u_1(y)|_v,\dots,|u_r(y)|_v) ) {\leqslant}C d_v(x,y),$$ for all $y \in U(\mathbf{F})$.

This is an evident adaptation of the proof of [@McKinnon-Roth Lemma 2.5] and uses Lemma \[lemma3.1\].

Lemma \[lemma4.4\] is needed to prove the following useful result.

\[proposition4.5\] Let $x$ be a point of $X(\overline{{\mathbf{K}}})$ and $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$ a finite extension of ${\mathbf{K}}$ over which $x$ is defined. Let $U$ be an affine open subset of $X_{\mathbf{F}} = X \times_{{\operatorname{Spec}}{\mathbf{K}}} {\operatorname{Spec}}\mathbf{F}$ containing $x$. Let $u_1,\dots,u_r$ be elements of $\Gamma(U,{{\mathcal O}}_{X_{\mathbf{F}}})$ which generate the maximal ideal of $x$. Then for every sequence of points $\{x_i \} \subseteq U({\mathbf{K}})$ such that $d_v(x,x_i) \to 0$ as $i \to \infty$, the functions $$\label{eqn4.6}
d_v(x,\cdot)$$ and $$\label{eqn4.7}
\max(|u_1(\cdot)|_v,\dots, |u_r(\cdot)|_v)$$ are equivalent on $\{x_i\}$.

In particular, there exists positive constants $c {\leqslant}C$ so that for all $i {\geqslant}0$, we have that $$c d_v(x,x_i) {\leqslant}\max(|u_1(x_i)|_v,\dots, |u_r(x_i)|_v) {\leqslant}C d_v(x,x_i).$$

This is an evident adaptation of [@McKinnon-Roth Lemma 2.6] and relies on Lemma \[lemma4.4\].

Wang’s effective Schmidt’s subspace theorem {#5}
===========================================

In subsequent sections we study the approximation constants that we defined in §\[3.8\] for the case that ${\mathbf{K}}$ is a function field. Our approach relies on a slight extension of a theorem of Julie Wang [@Wang:2004] and here we describe this extension. First we make some preliminary remarks.

[[**.**]{} ]{}\[5.1\] Our setting is that of §\[2.4\]. In particular, $\overline{{\mathbf{k}}}$ is an algebraically closed field of characteristic zero, $Y$ is an irreducible projective variety over $\overline{{\mathbf{k}}}$, non-singular in codimension $1$ and we have fixed an ample line bundle $\mathcal{L}$ on $Y$. We also let $M_{(Y,\mathcal{L})}$ denote the set of absolute values of the form $$\label{5.1}
|\cdot|_{\mathfrak{p},{\mathbf{K}}} : {\mathbf{K}}\rightarrow {\mathbb{R}},$$ for ${\mathbf{K}}$ the field of fractions of $Y$ and $\mathfrak{p}$ a prime divisor of $Y$, defined in .

[[**.**]{} ]{}\[5.2\][**$\mathfrak{p}$-adic metrics.**]{} Important to our extension of the subspace theorem is the concept of $\mathfrak{p}$-adic metrics. Such metrics are determined by prime divisors of $Y$. To define such metrics first let ${\mathbb{P}}^n_{{\mathbf{K}}} = \operatorname{Proj} {\mathbf{K}}[x_0,\dots,x_n]$. Every prime divisor $\mathfrak{p}$ of $Y$ determines a $\mathfrak{p}$-adic metric on the tautological line bundle ${{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)$ given locally by: $$\label{eqn5.2}
||\sigma(y)||_{\mathfrak{p},{\mathbf{K}}} = \frac{|\sigma(y)|_{\mathfrak{p},{\mathbf{K}}}}{\max_{j,k}|a_j y_k|_{\mathfrak{p},{\mathbf{K}}}} = \min_{j,k}\left( \frac{|\sigma(y)|_{\mathfrak{p},{\mathbf{K}}}}{|a_j y_k|_{\mathfrak{p},{\mathbf{K}}}} \right),$$ for nonzero $$\sigma = \sum_{j=0}^n a_j x_j \in {\mathrm{H}}^0({\mathbb{P}}^n,{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)), \text{ with } a_j \in {\mathbf{K}}.$$

Fix an extension of $|\cdot|_{\mathfrak{p},{\mathbf{K}}}$ to $\overline{{\mathbf{K}}}$ and, by abuse of notation, denote this extension also by $|\cdot|_{\mathfrak{p},{\mathbf{K}}}$. Having fixed such an extension, we obtain a $\mathfrak{p}$-adic metric on ${{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{F}}}(1)$ for all finite extensions $\mathbf{F} / {\mathbf{K}}$, $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$. We also denote this metric by $||\cdot||_{\mathfrak{p},{\mathbf{K}}}$ and it is defined by for all nonzero sections $$\sigma = \sum_{j=0}^n a_j x_j \in {\mathrm{H}}^0({\mathbb{P}}^n_{\mathbf{F}},{{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{F}}}(1)), \text{ with } a_j \in \mathbf{F}.$$

If $X \subseteq {\mathbb{P}}^n_{{\mathbf{K}}}$ is a subvariety and $L = {{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)|_X$, then we let $||\cdot||_{\mathfrak{p},{\mathbf{K}}}$ denote the $\mathfrak{p}$-adic metric $||\cdot||_{\mathfrak{p},{\mathbf{K}}}$ on $L$ obtained by pulling back the metric . Similarly, given a finite extension $\mathbf{F} / {\mathbf{K}}$, $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$, we let $||\cdot||_{\mathfrak{p},{\mathbf{K}}}$ denote the $\mathfrak{p}$-adic metric on $L_{\mathbf{F}}$, the pull-back of $L$ to $X_{\mathbf{F}} = X \times_{{\operatorname{Spec}}{\mathbf{K}}} {\operatorname{Spec}}\mathbf{F}$, obtained by a fixed extension of $|\cdot|_{\mathfrak{p},{\mathbf{K}}}$ to an absolute value on $\overline{{\mathbf{K}}}$.

[[**.**]{} ]{}\[5.3\] [**Weil functions.**]{} We also need to make some remarks concerning Weil functions. To do so, let $$\sigma = \sum_{j=0}^n a_j x_j \in {\mathrm{H}}^0({\mathbb{P}}^n_{{\mathbf{K}}},{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)) \text{, with $a_j \in {\mathbf{K}}$},$$ be a nonzero section and let $\operatorname{Supp}(\sigma)$ denote the hyperplane that it determines. The *Weil function* of $\sigma$ with respect to a prime divisor $\mathfrak{p}$ of $Y$ has domain ${\mathbb{P}}^n({\mathbf{K}}) \backslash \operatorname{Supp}(\sigma)({\mathbf{K}})$ and is defined by $$\label{eqn5.3}
\lambda_{\sigma,|\cdot|_{\mathfrak{p},{\mathbf{K}}}}(y) = ( {\mathrm{ord}}_{\mathfrak{p}}(\sigma(y)) - \min_j({\mathrm{ord}}_{\mathfrak{p}}(y_j))- \min_j(\operatorname{ord}_{\mathfrak{p}}(a_j)))\deg_{\mathcal{L}}(\mathfrak{p}).$$

The Weil function $\lambda_{\sigma,|\cdot|_{\mathfrak{p}},{\mathbf{K}}}$ and the $\mathfrak{p}$-adic metric $||\cdot||_{\mathfrak{p},{\mathbf{K}}}$ are related by $$\label{eqn5.4}
\lambda_{\sigma,|\cdot|_{\mathfrak{p},{\mathbf{K}}}}(y) = \log_{\mathbf{c}} || \sigma(y)||_{\mathfrak{p},{\mathbf{K}}},$$ for each $y \in {\mathbb{P}}^n({\mathbf{K}})\backslash \operatorname{Supp}(\sigma)({\mathbf{K}})$.

When we fix an extension of $|\cdot|_{\mathfrak{p},{\mathbf{K}}}$ to an absolute value $|\cdot|_{\mathfrak{p},{\mathbf{K}}} : \overline{{\mathbf{K}}} \rightarrow {\mathbb{R}}$ we can use the relation to consider Weil functions of nonzero sections $$\sigma = \sum_{j=0}^n a_j x_j \in {\mathrm{H}}^0({\mathbb{P}}^n_{\mathbf{F}},{{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{F}}}(1)), \text{ with $a_j \in \mathbf{F}$,}$$ for $\mathbf{F} / {\mathbf{K}}$, $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$, a finite extension.

In particular, given a nonzero section $\sigma \in {\mathrm{H}}^0({\mathbb{P}}^n_{\mathbf{F}},{{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{F}}}(1))$, we define its Weil function with respect to $\mathfrak{p}$ to be the function $\lambda_{\sigma,|\cdot|_{\mathfrak{p}},{\mathbf{K}}}$ defined by $$\label{eqn5.5}
\lambda_{\sigma,|\cdot|_{\mathfrak{p},{\mathbf{K}}}}(y) = \log_{\mathbf{c}}||\sigma(y)||_{\mathfrak{p},{\mathbf{K}}},$$ for all $y \in {\mathbb{P}}^n(\mathbf{F})\backslash \operatorname{Supp}(\sigma)(\mathbf{F})$.

[[**.**]{} ]{}\[5.4\][**The subspace theorem.**]{} Before we establish our extension of the subspace theorem we state the main result of [@Wang:2004]. Here we state this result in a slightly more general form than considered in [@Wang:2004] and [@Ru:Wang:2012]. Indeed, there $Y$ is assumed to be non-singular and the absolute values are considered with respect to a very ample line bundle on $Y$. Here we assume that $Y$ is non-singular in codimension $1$ and we consider absolute values with respect to an ample line bundle $\mathcal{L}$ on $Y$. This more general setting is important to what we do here.

\[theorem5.1\] Fix a finite set $S$ of prime divisors of $Y$, a collection of linear forms $\sigma_1,\dots,\sigma_q$ in ${\mathbf{K}}[x_0,\dots,x_n]$ and let ${\mathbb{P}}^n_{{\mathbf{K}}} = \operatorname{Proj} {\mathbf{K}}[x_0,\dots,x_n]$. There exists an effectively computable finite union of proper linear subspaces $Z \subsetneq {\mathbb{P}}^n_{\mathbf{K}}$ such that the following holds true: Given $\epsilon > 0$, there exists effectively computable constants $a_\epsilon$ and $b_\epsilon$ such that for every $x \in {\mathbb{P}}^n({\mathbf{K}}) \backslash Z({\mathbf{K}})$ either:

1.  [$h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(x) {\leqslant}a_\epsilon$ or]{}

2.  [$\sum\limits_{\mathfrak{p} \in S} \max\limits_J \sum\limits_{j \in J} \lambda_{\sigma_j,|\cdot|_{\mathfrak{p},{\mathbf{K}}}}(x) {\leqslant}(n+1+\epsilon) h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(x) + b_{\epsilon}$;]{} here the maximum is taken over all subsets $J \subseteq \{1,\dots,q\}$ such that the $\sigma_j$, for $j\in J$, are linearly independent.

This is implied by the main result of [@Wang:2004] and the remark [@Wang:2004 bottom of p. 812]. See also [@Ru:Wang:2012 Theorem 17] and [@Ru:Wang:2012 Remark 1].

[**Remark.**]{} As explained in [@Ru:Wang:2012 Remark 18], the constants $a_\epsilon$ and $b_\epsilon$ appearing in Theorem \[theorem5.1\] depend on $\epsilon$, the degree, with respect to $\mathcal{L}$, of a canonical class of $Y$, the sum of the degrees of the $\mathfrak{p} \in S$ with respect to $\mathcal{L}$, and the heights of the linear forms $\sigma_1,\dots,\sigma_q \in {\mathbf{K}}[x_0,\dots,x_n]$, respect to $\mathcal{L}$, as defined by [@Ru:Wang:2012 (1.5) and (1.6)]. For a description of the union of linear subspaces $Z$ appearing in Theorem \[theorem5.1\], we refer to [@Wang:2004 §3].

[[**.**]{} ]{}\[5.5\] By changing the order of quantifiers slightly in Theorem \[theorem5.1\] and using our conventions about Weil functions given in §\[5.3\], especially the definition given in , we can extend Wang’s subspace theorem so as to allow for linear forms having coefficients in $\overline{{\mathbf{K}}}$. We state this result in Theorem \[theorem5.2\] below and I am grateful to Julie Wang for her interest in an earlier version of this work, for telling me that such an extension should follow from her [@Wang:2004 p. 811], and for suggesting a method of proof. Having, in §\[5.2\] and §\[5.3\], properly defined the concepts we need the proof of Theorem \[theorem5.2\] is standard and can be compared with [@Bombieri:Gubler Remark 7.2.3].

\[theorem5.2\] Fix a finite set $S$ of prime divisors of $Y$, fix a collection of linear forms $\sigma_1,\dots,\sigma_q \in \overline{{\mathbf{K}}}[x_0,\dots,x_n]$ and let ${\mathbb{P}}^n_{\overline{{\mathbf{K}}}} = \operatorname{Proj} \overline{{\mathbf{K}}}[x_0,\dots,x_n]$. Then given $\epsilon > 0$, there exists an effectively computable finite union of proper linear subspaces $W \subsetneq {\mathbb{P}}^n_{\mathbf{K}}$ and effectively computable positive constants $a_\epsilon$ and $b_\epsilon$ such that for every $x \in {\mathbb{P}}^n({\mathbf{K}}) \backslash W({\mathbf{K}})$ either:

1.  [$h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(x) {\leqslant}a_{\epsilon}$ or]{}

2.  [$\sum\limits_{\mathfrak{p} \in S} \max\limits_J \sum\limits_{j \in J} \lambda_{\sigma_j,|\cdot|_{\mathfrak{p},{\mathbf{K}}}}(x)  {\leqslant}(n+1+\epsilon)h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(x) + b_\epsilon $;]{}

here the maximum is taken over all subsets $J \subseteq \{1,\dots, q\}$ such that the $\sigma_j$, for $j \in J$, are linearly independent.

[**Remark.**]{} In Theorem \[theorem5.2\], the Weil functions are given by and they depend on our fixed choice of extension $|\cdot|_{\mathfrak{p},{\mathbf{K}}} : \overline{{\mathbf{K}}} \rightarrow {\mathbb{R}}$ of the absolute value $|\cdot|_{\mathfrak{p},{\mathbf{K}}} : {\mathbf{K}}\rightarrow {\mathbb{R}}$ to $\overline{{\mathbf{K}}}$.

Let $\mathbf{F} / {\mathbf{K}}$, $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$ be a finite Galois extension containing the coefficients of each of the $\sigma_j$ and let $\phi : Y' \rightarrow Y$ be the normalization of $Y$ in $\mathbf{F}$. Let $S'$ be the set of prime divisors of $Y'$ lying over the elements of $S$. For each $\mathfrak{p} \in S$ and each $\mathfrak{p}' \in S'$ lying over $\mathfrak{p}$ recall that the absolute value $|\cdot|_{\mathfrak{p}'/\mathfrak{p}} : {\mathbf{F}}\rightarrow {\mathbb{R}}$, given by , extends the absolute value $|\cdot|_{\mathfrak{p},{\mathbf{K}}}$.

Furthermore the extension $\mathbf{F}/{\mathbf{K}}$ is Galois. Thus, by [@Bombieri:Gubler Corollary 1.3.5], there exists for each $\mathfrak{p} \in S$ and each $\mathfrak{p}' \in S'$ lying over $\mathfrak{p}$ an $g_{\mathfrak{p}'/\mathfrak{p}} \in \operatorname{Gal}(\mathbf{F} /{\mathbf{K}})$ so that $$\label{eqn5.6}
|x|_{\mathfrak{p},{\mathbf{K}}} = |g_{\mathfrak{p}'/\mathfrak{p}}(x)|_{\mathfrak{p}'/\mathfrak{p}} \text{, for $x \in \mathbf{F}$.}$$ On the other hand, considering , we have $$\label{eqn5.7}
|\cdot|_{\mathfrak{p}'/\mathfrak{p}} = |\cdot|_{\mathfrak{p}',\mathbf{F}}^{1/[\mathbf{F}_{\mathfrak{p}'}:{\mathbf{K}}_{\mathfrak{p}}]}$$ and it follows that $$\label{eqn5.8}
|x|_{\mathfrak{p},{\mathbf{K}}} = |g_{\mathfrak{p}'/\mathfrak{p}}(x)|_{\mathfrak{p}',\mathbf{F}}^{1/[\mathbf{F}_{\mathfrak{p}'} : {\mathbf{K}}_{\mathfrak{p}}]} \text{, for all $x \in \mathbf{F}$.}$$

For each $\mathfrak{p} \in S$ and each $\mathfrak{p}' \in S'$ lying over $\mathfrak{p}$ let $g_{\mathfrak{p}'/\mathfrak{p}} \in \operatorname{Gal}(\mathbf{F} / {\mathbf{K}})$ be so that holds true and set $$\label{eqn5.9}
\sigma_{\mathfrak{p}',j} = g_{\mathfrak{p}'/\mathfrak{p}}(\sigma_j).$$ Then $\sigma_{\mathfrak{p}',j}$ is the linear form in $\mathbf{F}[x_0,\dots,x_n]$ obtained by applying $g_{\mathfrak{p}'/\mathfrak{p}}$ to the coefficients of $\sigma_j$.

Let $x \in {\mathbb{P}}^n({\mathbf{K}})$ be such that $x \not \in \operatorname{Supp}(\sigma_j)$ for $j=1,\dots,q$. Then, considering , the definition and the relation , it follows that $$\label{eqn5.10}
\left(\sum\limits_{\mathfrak{p} \in S} \max\limits_J \sum\limits_{j \in J} \lambda_{\sigma_j,|\cdot|_{\mathfrak{p},{\mathbf{K}}}}(x) \right)[\mathbf{F} : {\mathbf{K}}] = \sum\limits_{\mathfrak{p}' \in S'} \max\limits_J \sum\limits_{j \in J} \lambda_{\sigma_{\mathfrak{p}',j},|\cdot|_{\mathfrak{p}',\mathbf{F}}} (x);$$ here the maximum in the left hand side of is taken over all $J \subseteq \{1,\dots,q\}$ so that the $\sigma_j$, $j \in J$, are linearly independent, whereas the maximum in the righthand side of equation is taken over all $J \subseteq \{1,\dots,q\}$ so that the $\sigma_{\mathfrak{p}',j}$ for $j \in J$ and fixed $\mathfrak{p}'$, are linearly independent.

The righthand side of is at most $$\label{eqn5.11}
\sum\limits_{\mathfrak{p}' \in S'} \max\limits_J \sum\limits_{(\mathfrak{q}',j) \in J'} \lambda_{\sigma_{\mathfrak{q}',j,|\cdot|_{\mathfrak{p}',\mathbf{F}}}}(x);$$ here the maximum in is taken over all subsets $J' \subseteq \{ (\mathfrak{q}',j) : \mathfrak{q}' \in S', 1 {\leqslant}j {\leqslant}q \}$ for which the $\sigma_{\mathfrak{q}',j}$ are linearly independent.

Considering , , and , it follows, by applying Theorem \[theorem5.1\] over $\mathbf{F}$ with respect to the linear forms $\sigma_{\mathfrak{p}',j}$, $\mathfrak{p}' \in S'$, $j=1,\dots q$, that there exists an effectively computable union of linear subspaces $Z \subseteq {\mathbb{P}}^n_{\mathbf{F}}$ so that for all $\epsilon > 0$ there exists effectively computable constants $a_\epsilon$ and $b_\epsilon$ such that for every $x \in {\mathbb{P}}^n({\mathbf{K}}) \backslash Z({\mathbf{K}})$ either

1.  [$h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(x) {\leqslant}\frac{a_\epsilon}{[\mathbf{F}:{\mathbf{K}}]}$ or]{}

2.  [$\sum\limits_{\mathfrak{p} \in S} \max\limits_J \sum\limits_{j \in J} \lambda_{\sigma_j,|\cdot|_{\mathfrak{p},{\mathbf{K}}}} (x) {\leqslant}(n+1+\epsilon) h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(x) + \frac{b_\epsilon}{[\mathbf{F}:{\mathbf{K}}]}$,]{}

where the maximum in (b) above is taken over all $J \subseteq \{1,\dots,q\}$ for which the $\sigma_j$ are linearly independent. In particular the above hold for our given fixed $\epsilon > 0$. To produce such a $W$ defined over ${\mathbf{K}}$, write $Z = \bigcup_i \Lambda_i$ for linear subspaces $\Lambda_i \subseteq  {\mathbb{P}}^n_{\mathbf{F}}$ and for each $i$ replace $\Lambda_i$ by the linear span of all solutions $x \in \Lambda_i({\mathbf{K}})\bigcap {\mathbb{P}}^n({\mathbf{K}})$ to the system:

1.  [$h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(x) > \frac{a_\epsilon}{[\mathbf{F}:{\mathbf{K}}]}$ and]{}

2.  [$\sum\limits_{\mathfrak{p} \in S} \max\limits_J \sum\limits_{j \in J} \lambda_{\sigma_j, |\cdot|_{\mathfrak{p},{\mathbf{K}}}}(x) > (n+1+\epsilon) h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}(1)}}(x) + \frac{b_\epsilon}{[\mathbf{F}:{\mathbf{K}}]}$.]{}

The union of such linear spaces $W$ is defined over ${\mathbf{K}}$ and the conclusion of Theorem \[theorem5.2\] holds true for all $x \in {\mathbb{P}}^n({\mathbf{K}}) \backslash W({\mathbf{K}})$.

[[**.**]{} ]{}\[5.6\] We now consider consequences of Theorem \[theorem5.2\]. To begin with we have the following result which we state in multiplicative form.

\[corollary5.3\] Let $\mathbf{F} / {\mathbf{K}}$, $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$, be a finite extension, fix a finite set $S$ of prime divisors of $Y$, and fix a collection of linearly independent linear forms $\sigma_1,\dots,\sigma_q \in \mathbf{F} [x_0,\dots,x_n]$. Then given $\epsilon > 0$, there exists a proper subvariety $Z \subsetneq {\mathbb{P}}^n_{{\mathbf{K}}}$ and positive constants $A_\epsilon$ and $B_\epsilon$ such that if $y \in {\mathbb{P}}^n({\mathbf{K}})$ satisfies the conditions

1.  [$H_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(y) > A_{\epsilon}$; and]{}

2.  [$\prod_{\mathfrak{p}\in S}   \prod_{j =1}^q ||\sigma_j(y)||_{\mathfrak{p},{\mathbf{K}}} < B_{\epsilon} H_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(y)^{-n-1-\epsilon}$; and]{}

3.  [$y \not \in \operatorname{Supp}(\sigma_i)$, for $i = 1,\dots, q$,]{}

then $y \in Z({\mathbf{K}})$.

Use the relation $h_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(y) = - \log_{\mathbf{c}} H_{{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)}(y)$ to write the conclusion of Theorem \[theorem5.2\] in multiplicative form.

Next, we give an extension of Corollary \[corollary5.3\]. Indeed, using Corollary \[corollary5.3\], we obtain a function field analogue of the Faltings-Wüstholz theorem, [@Faltings:Wustholz Theorem 9.1]. This result, which we state as Corollary \[corollary5.5\] below, should also be compared with the discussion given in [@Evertse:Ferretti:2002 bottom of p. 1301]. We also note that in formulating this result, for the sake of simplicity, we restrict our attention to the case of a single prime divisor. Finally, we remark that Corollary \[corollary5.5\] below plays a key role in our approach to proving Roth type theorems as we will see in Proposition \[proposition6.2\].

In order to state Corollary \[corollary5.5\], fix a non-degenerate projective variety $X \subseteq {\mathbb{P}}^n_{\mathbf{K}}$, let $L = {{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{K}}}(1)|_X$, fix a finite extension ${\mathbf{F}}$ of ${\mathbf{K}}$, ${\mathbf{F}}\subseteq \overline{{\mathbf{K}}}$, and let $L_{\mathbf{F}}$ denote the pullback of $L$ to $X_{\mathbf{F}}= X \times_{{\operatorname{Spec}}{\mathbf{K}}} {\operatorname{Spec}}{\mathbf{F}}$ via the base change ${\mathbf{K}}\rightarrow {\mathbf{F}}$. Let $H_L(\cdot) : X({\mathbf{K}}) \rightarrow {\mathbb{R}}$ denote the height function determined by $L$, fix a prime divisor $\mathfrak{p}$ of $Y$ and let $||\cdot||_{\mathfrak{p}, {\mathbf{K}}}$ be the $\mathfrak{p}$-adic metric on $L$ obtained by pulling back the metric given in . Finally, fix an extension of the absolute value $|\cdot|_{\mathfrak{p}, {\mathbf{K}}}$ to $\overline{{\mathbf{K}}}$. Then, in this way, we obtain an extension of the metric $||\cdot||_{\mathfrak{p},{\mathbf{K}}}$ to a $\mathfrak{p}$-adic metric on $L_{\mathbf{F}}$.

We can now state:

\[corollary5.5\] In the setting just described, in particular, $X \subseteq {\mathbb{P}}^n_{\mathbf{K}}$ is a non-degenerate projective variety, $L = {{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)|_X$ and $s_0,\dots,s_n \in {\mathrm{H}}^0(X,L)$ are the pull-back of the coordinate functions $x_0,\dots,x_n$, let $\sigma_1,\dots,\sigma_q \in {\mathrm{H}}^0(X_{\mathbf{F}},L_{\mathbf{F}})$ be a collection of $\mathbf{F}$-linearly independent combinations of the $s_0,\dots,s_n$. Fix real numbers $c_1,\dots,c_q {\geqslant}0$ with the property that $c_1+\dots+c_q > n+1$. If $\epsilon = c_1+\dots+c_q - n - 1$, then there exists a proper subvariety $Z \subsetneq X$ and positive constants $A_\epsilon$ and $B_\epsilon$ such that the following is true: if $y \in X({\mathbf{K}})$ satisfies the conditions:

1.  [$H_L(y) > A_\epsilon$; and]{}

2.  [$||\sigma_i(y)||_{\mathfrak{p},{\mathbf{K}}} < B_\epsilon H_L(y)^{-c_i} $, for $i = 1,\dots, q$; and ]{}

3.  [$y \not \in \operatorname{Supp}(\sigma_i)$, for $i=1,\dots, q$,]{}

then $y \in Z({\mathbf{K}})$.

Applying Corollary \[corollary5.3\] with $S = \{ \mathfrak{p} \}$ and using the definitions of $H_L(\cdot)$ and $||\cdot||_{\mathfrak{p},{\mathbf{K}}}$, we conclude that there exists a proper subvariety $Z \subsetneq X$ and positive constants $A_\epsilon$ and $B_\epsilon$ such that if $y \in X({\mathbf{K}})$ satisfies the conditions:

-   [ $H_L(y) > A_\epsilon$; and ]{}

-   [ $\prod_{j=1}^q ||\sigma_j(y) ||_{\mathfrak{p},{\mathbf{K}}} < B_\epsilon H_L(y)^{-n-1-\epsilon}$; and]{}

-   [ $y \not \in \operatorname{Supp}(\sigma_i)$, for $i = 1,\dots, q$, ]{}

then $y \in Z({\mathbf{K}})$.

Now suppose that $y \in X({\mathbf{K}})$ satisfies the conditions that:

-   [$H_L(y) > A_\epsilon$; and]{}

-   [ $ || \sigma_i(y)||_{\mathfrak{p}, {\mathbf{K}}} < B_\epsilon^{\frac{1}{q}}H_L(y)^{-c_i}$, for $i=1,\dots,q$; and ]{}

-   [ $y \not \in \operatorname{Supp}(\sigma_i)$, for $i = 1,\dots,q$.]{}

We then conclude that $y$ must be contained in $Z$, since if (b’) holds true, then it is also true that: $$\prod_{i=1}^q || \sigma_i(y)||_{\mathfrak{p}, {\mathbf{K}}} < B_\epsilon H_L(y)^{- \sum_{i=1}^q c_i} = B_\epsilon H_L(y)^{-n-1-\epsilon}.$$

Computing approximation constants for varieties over function fields {#6}
====================================================================

Let $\overline{{\mathbf{k}}}$ be an algebraically closed field of characteristic zero, $Y$ an irreducible projective variety over $\overline{{\mathbf{k}}}$ which is non-singular in codimension $1$ and $\mathcal{L}$ an ample line bundle on $Y$. Let ${\mathbf{K}}$ be the field of fractions of $Y$ and $X \subseteq {\mathbb{P}}^n_{\mathbf{K}}$ a geometrically irreducible projective variety.

In this section we give sufficient conditions for approximation constants $\alpha_x(L)$, for $x \in X(\overline{{\mathbf{K}}})$ and $L = {{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{K}}}(1)|_X$, to be computed on a proper ${\mathbf{K}}$-subvariety of $X$. Our conditions are related to existence of *vanishing sequences* which are *Diophantine constraints*. We define these concepts in §\[6.2\]. In §\[7\], especially Theorem \[theorem7.1\], we show how the relative asymptotic volume constants of McKinnon-Roth, [@McKinnon-Roth], can be used to give sufficient conditions for existence of such vanishing sequences which are Diophantine constraints.

Throughout this section we fix a prime divisor $\mathfrak{p} \subseteq Y$. We also fix an extension of $|\cdot|_{\mathfrak{p},{\mathbf{K}}}$, the absolute value of $\mathfrak{p}$ with respect to $\mathcal{L}$, which we defined in , to $\overline{{\mathbf{K}}}$ a fixed algebraic closure of ${\mathbf{K}}$.

[[**.**]{} ]{}\[6.1\] Since $X \subseteq {\mathbb{P}}^n_{{\mathbf{K}}}$, we obtain a projective distance function $$\label{eqn6.1} d_{\mathfrak{p}}(\cdot,\cdot) = d_{|\cdot|_{\mathfrak{p}}}(\cdot,\cdot) : X(\overline{{\mathbf{K}}}) \times X(\overline{{\mathbf{K}}}) \rightarrow [0,1]$$ by pulling back the function . The function is the projective distance function of $X$ with respect to $L = {{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)|_{ X}$, the prime divisor $\mathfrak{p} \subseteq Y$, and the sections $s_0,\dots, s_n \in {\mathrm{H}}^0(X,L)$ obtained by pulling back the coordinate functions $x_0,\dots,x_n \in {\mathrm{H}}^0({\mathbb{P}}^n_{{\mathbf{K}}},{{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1))$. If $x \in X(\overline{{\mathbf{K}}})$ and $\mathbf{F}$ its field of definition, then let $X_{\mathbf{F}} = X \times_{{\operatorname{Spec}}{\mathbf{K}}} {\operatorname{Spec}}\mathbf{F}$ and let $L_{\mathbf{F}}$ denote the pull-back of $L$ to $X_{\mathbf{F}}$ via the base change ${\operatorname{Spec}}\mathbf{F} \rightarrow {\operatorname{Spec}}\mathbf{K}$.

The following lemma is used in the proof of Proposition \[proposition6.2\]. Its main purpose is to show how, under suitable hypothesis, the metric $||\cdot||_{\mathfrak{p},{\mathbf{K}}}$ behaves with respect to the distance function $d_\mathfrak{p}(\cdot,\cdot)$.

\[lemma6.1\] In the above setting, fix $x \in X(\overline{{\mathbf{K}}})$, let $\mathbf{F}$ denote the field of definition of $x$ and suppose that a nonzero global section $\sigma = \sum_{j=0}^n a_j s_j \text{, with } a_j \in \mathbf{F}\text{,}$ of $L_{\mathbf{F}}$ vanishes to order at least $m$ at $x$. In particular, locally $\sigma \in \mathfrak{m}^m_x {{\mathcal O}}_{X_{\mathbf{F}},x}$ the $m$th power of the maximal ideal of the local ring of $x$. Let $\{y_i\} \subseteq X({\mathbf{K}})$ be an infinite sequence of distinct points with the property that $d_{\mathfrak{p}}(x,y_i) \to 0$ as $i \to \infty$. Then for all $\delta > 0$ and all $i \gg 0$, depending on $\delta$, $$||\sigma(y_i)||_{\mathfrak{p}, {\mathbf{K}}} {\leqslant}d_{\mathfrak{p}}(x,y_i)^{m-\delta}.$$

If $z \in X({\mathbf{K}})$ has homogeneous coordinates $z=[z_0:\dots : z_n]$ then locally we know: $$||\sigma(z)||_{\mathfrak{p}, {\mathbf{K}}} = \min_{j,k} \left(\left|  \frac{\sigma}{a_j s_k}(z)\right|_{\mathfrak{p}, {\mathbf{K}}} \right)$$ and locally by assumption at least one $$\frac{\sigma}{a_j s_k} \in \mathfrak{m}^m_{x} {{\mathcal O}}_{X_{\mathbf{F}},x}.$$ This fact together with Proposition \[proposition4.5\] implies that for all $i \gg 0$ $$||\sigma(y_i)||_{\mathfrak{p}, {\mathbf{K}}} {\leqslant}\mathrm{C} d_{\mathfrak{p}}(x,y_i)^m$$ for some constant $\mathrm{C}$ independent of $i$. We also have that $$d_{\mathfrak{p}}(x,y_i) \to 0$$ as $i \to 0$. Thus for $i \gg 0$, $d_{\mathfrak{p}}(x,y_i)$ is very small and so for all $\delta > 0$, $d_{\mathfrak{p}}(x,y_i)^{-\delta}$ will exceed $\mathrm{C}$ for all $i \gg 0$. In particular, $$||\sigma(y_i)||_{\mathfrak{p}, {\mathbf{K}}} {\leqslant}\mathrm{C} d_{\mathfrak{p}}(x,y_i)^m {\leqslant}d_{\mathfrak{p}}(x,y_i)^{m-\delta}$$ for all $i \gg 0$.

[[**.**]{} ]{}\[6.2\][**Vanishing sequences, Diophantine constraints and computing approximation constants.**]{} We now introduce the concept of *vanishing sequences* which are *Diophantine constraints*, see §\[6.2.2\] and §\[6.2.3\] respectively. The main motivation for these notions is that they, in conjunction with the subspace theorem, especially Corollary \[corollary5.5\], allow for sufficient conditions for approximation constants to be computed on a proper subvariety, see Proposition \[proposition6.2\] and Theorem \[theorem6.3\]. We should also emphasize that these results proven here are in some sense unsatisfactory because in order for them to be of use we are faced with the issue of constructing vanishing sequences which are Diophantine constraints. As we will see in §\[7\] one approach to resolving this issue is related to local positivity and especially the asymptotic volume constant in the sense of McKinnon-Roth [@McKinnon-Roth].

[[**.**]{} ]{}\[6.2.1\] In what follows, we fix $X \subseteq {\mathbb{P}}^n_{\mathbf{K}}$ a geometrically irreducible projective variety and we let $L = {{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{K}}}(1)|_X$. We also fix $x \in X(\overline{{\mathbf{K}}})$, we let $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$ be the field of definition of $x$, and we let $X_{\mathbf{F}}= X \times_{{\operatorname{Spec}}{\mathbf{K}}} {\operatorname{Spec}}\mathbf{F}$ denote the base change of $X$ with respect to the field extension $\mathbf{F} / {\mathbf{K}}$. Finally, we let $L_{\mathbf{F}}$ denote the pullback of $L$ to $X_{\mathbf{F}}$ via the base change map ${\mathbf{K}}\rightarrow {\mathbf{F}}$.

Fix an integer $m \in {\mathbb{Z}}_{>0}$ and let $s_0,\dots, s_N \in {\mathrm{H}}^0(X,L^{\otimes m})$ denote a basis of the ${\mathbf{K}}$-vector space ${\mathrm{H}}^0(X,L^{\otimes m})$. Let $\sigma_1,\dots,\sigma_q \in {\mathrm{H}}^0(X_{{\mathbf{F}}}, L^{\otimes m}_{{\mathbf{F}}})$ denote a collection of ${\mathbf{F}}$-linearly independent ${\mathbf{F}}$-linear combinations of the $s_0,\dots, s_N$. Fix rational numbers $\gamma_1,\dots,\gamma_q \in {\mathbb{Q}}_{>0}$ with the property that $m\gamma_j \in {\mathbb{Z}}$ for all $j$.

Having fixed our setting, we are now able to make two definitions.

### Definition {#6.2.2}

We say that data $(m,\gamma_\bullet,\sigma_\bullet)$ as in §\[6.2.1\] is a *vanishing sequence for $L$ at $x$ with respect to $m$ and the rational numbers $\gamma_1,\dots,\gamma_q \in {\mathbb{Q}}_{>0}$, and defined over ${\mathbf{F}}$* if locally the pullback of each $\sigma_i$ is an element of $\mathfrak{m}_x^{m \gamma_i} {{\mathcal O}}_{X_{\mathbf{F}},x}$.

### Definition {#6.2.3}

Fix a real number $R>0$ and fix a vanishing sequence $(m,\gamma_\bullet,\sigma_\bullet)$ for $L$ at $x$ with respect to $m$ and the rational numbers $\gamma_1,\dots,\gamma_q \in {\mathbb{Q}}_{>0}$. We say that the vanishing sequence $(m,\gamma_\bullet,\sigma_\bullet)$ is a *Diophantine constraint for $L$ with respect to $R$ and $m$ at $x$ and defined over ${\mathbf{F}}$* if there exists a proper subvariety $Z \subsetneq X$ and positive constants $A$ and $B$ so that if $y \in X({\mathbf{K}})$ satisfies the conditions that

1.  [$H_{L^{\otimes m}}(y) > A$; and]{}

2.  [$||\sigma_i(y)||_{\mathfrak{p},{\mathbf{K}}} < B H_{L^{\otimes m}}(y)^{-\gamma_iR}$, for $i = 1,\dots,q$; and]{}

3.  [$y \not \in \mathrm{Supp}(\sigma_i)$, for $i = 1,\dots,q$, ]{}

then $y \in Z({\mathbf{K}})$.

### Example

Suppose given a vanishing sequence $(m,\gamma_\bullet,\sigma_\bullet)$ for $L$ at $x$ with respect to $m$ and rational numbers $\gamma_1,\dots, \gamma_q \in {\mathbb{Q}}_{>0}$ and defined over ${\mathbf{F}}$. Fix a real number $R > 0$ and suppose that $$\gamma_1 + \dots + \gamma_q > \frac{h^0(X,L^{\otimes m})}{R}.$$ Then, as implied by Corollary \[corollary5.5\], the data $(m,\gamma_\bullet,\sigma_\bullet)$ is a Diophantine constraint for $L$ with respect to $R$ and $m$ at $x$ and defined over ${\mathbf{F}}$.

[[**.**]{} ]{}\[6.2.5\] As mentioned above, vanishing sequences and Diophantine constraints are related to approximation constants:

\[proposition6.2\] Let $x \in X(\overline{{\mathbf{K}}})$ have field of definition ${\mathbf{F}}$. Let $R>0$ be a real number, $m \in {\mathbb{Z}}_{>0}$ a positive integer and suppose that there exists a vanishing sequence $(m,\gamma_\bullet,\sigma_\bullet)$ for $L$ at $x$, with respect to $m$ and the rational numbers $\gamma_1,\dots,\gamma_q \in {\mathbb{Q}}_{>0}$ and defined over ${\mathbf{F}}$, which is also a Diophantine constraint with respect to $R$. Then there exists a proper Zariski closed subset $W \subsetneq X$ defined over ${\mathbf{K}}$, containing $x$ as a $\overline{{\mathbf{K}}}$-point, and with the property that $$\alpha_{x,X}(\{y_i\},L) {\geqslant}\frac{1}{R}$$ for all infinite sequences $\{y_i\} \subseteq X({\mathbf{K}}) \backslash W({\mathbf{K}})$ of distinct points with unbounded height.

Let $c_j = \gamma_j R$, for $j = 1,\dots, q$. The fact that the vanishing sequence $(m,\gamma_\bullet,\sigma_\bullet)$ is a Diophantine constraint with respect to $R$ implies that there exists positive constants $A$, $B$ and a proper Zariski closed subset $W \subsetneq X$ defined over ${\mathbf{K}}$ with the property that the collection of $y \in X({\mathbf{K}})$ having the properties that

1.  [$H_{L^{\otimes m}}(y) > A$; and ]{}

2.  [$||\sigma_i(y)||_{\mathfrak{p}, {\mathbf{K}}} < B H_{L^{\otimes m}}(y)^{-c_i} $, for $i=1,\dots,q$; and]{}

3.  [$y \not \in \bigcup_{i=1}^q \operatorname{Supp}(\sigma_i)$]{}

is contained in $W$. The collection of such $y$ is also contained in $W$ adjoined with $\bigcup_{i=1}^q\operatorname{Supp}(\sigma_i)$ which, since $X$ is irreducible, is a proper Zariski closed subset of $X$. Thus, by enlarging $W$ if necessary, we can assume that $W$ contains $\bigcup_{i=1}^q\operatorname{Supp}(\sigma_i)({\mathbf{K}})$ and $x$.

Suppose the proposition is false for this $W$. Then there exists an infinite sequence $\{y_i\} \subseteq X({\mathbf{K}}) \backslash W({\mathbf{K}})$ of distinct points with unbounded height such that $$\label{eqn6.2}
\alpha_{x,X}(\{y_i\},L) = \frac{1}{m}\alpha_{x,X}(\{y_i\},L^{\otimes m}) < \frac{1}{R}.$$ Trivially implies that $$\label{eqn6.2'}
\alpha_{x,X}(\{y_i\},L^{\otimes m}) < m/R$$ and using , in conjunction with the definition of $\alpha_{x,X}(\{y_i\},L^{\otimes m})$, it follows that $$\label{eqn6.2''}
d_{\mathfrak{p}}(x,y_i)^{\frac{m}{R}-\delta'} H_{L^{\otimes m}}(y_i) \to 0,$$ as $i \to \infty$ for all $0 < \delta' \ll 1$. Note also that the definition of $\alpha_{x,X}(\{y_i\},L^{\otimes m})$ implies that $$\label{eqn6.2'''}
d_{\mathfrak{p}}(x,y_i) \to 0,$$ as $i \to \infty$.

We now make the following deductions. To begin with, using Lemma \[lemma6.1\], we deduce that for all $\delta > 0$ and all $j$: $$\label{eqn6.3}
||\sigma_{j}(y_i)||^{\frac{1}{R\gamma_j}}_{\mathfrak{p}, {\mathbf{K}}} {\leqslant}d_{\mathfrak{p}}(x,y_i)^{\frac{m}{R} - \left(\frac{\delta}{R\gamma_j} \right)}$$ for all $i \gg 0$ depending on $\delta$. (Here we use the fact that $\sigma_{j} \in \mathfrak{m}^{m \gamma_j} {{\mathcal O}}_{X_{\mathbf{F}},x}$ combined with the fact so that the hypothesis of Lemma \[lemma6.1\] ia satisfied.)

Next choose $\delta$ so that each $\delta'_j = \frac{\delta}{R\gamma_j}$ is sufficiently small. Then, using and above, we deduce: $$\label{eqn6.4}
\frac{H_{L^{\otimes m}}(y_i) ||\sigma_{j}(y_i)||_{\mathfrak{p}, {\mathbf{K}}}^{\frac{1}{R\gamma_j}}}{B^{\frac{1}{R\gamma_j}}}
  {\leqslant}\frac{H_{L^{\otimes m}}(y_i)d_{\mathfrak{p}}(x,y_i)^{\frac{m}{R}-(\frac{\delta}{R\gamma_j})}}
{B^{\frac{1}{R\gamma_j}}} < 1\text{,}$$ for all $j$ and all $i \gg 0$.

Equation has the consequence that: $$||\sigma_{j}(y_i)||_{\mathfrak{p}, {\mathbf{K}}} < B H_{L^{\otimes m}}(y_i)^{-R \gamma_j}$$ for all $j$ and all $i \gg 0$. Since, by passing to a subsequence if necessary, $H_L(y_i) \to \infty$, as $i \to \infty$, it follows that $H_{L^{\otimes m}}(y_i) \to \infty$ too and so we must have that $y_i \in W$ for all $i \gg 0$. This is a contradiction.

[[**.**]{} ]{}\[6.2.6\] Proposition \[proposition6.2\] implies:

\[theorem6.3\] Let $X \subseteq {\mathbb{P}}^n_{\mathbf{K}}$ be a geometrically irreducible subvariety, put $L = {{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{K}}}(1)|_X$ and let $x \in X(\overline{{\mathbf{K}}})$. Fix a real number $R>0$ and a positive integer $m \in {\mathbb{Z}}_{>0}$. If $\alpha_{x,X}(L) < \frac{1}{R}$ and if there exists a vanishing sequence $(m,\gamma_\bullet,\sigma_\bullet)$ for $L$ at $x$ with respect to $m$ and defined over $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$, the field of definition of $x$, which is also a Diophantine constraint with respect to $R$, then $$\alpha_{x,X}(L) = \alpha_{x,W}(L|_{ W})$$ for some proper subvariety $W \subsetneq X$ having dimension at least $1$ containing $x$ as a $\overline{{\mathbf{K}}}$-point.

By assumption $\alpha_{x,X}(L) < \frac{1}{R}$ and there exists a vanishing sequence $(m,\gamma_\bullet,\sigma_\bullet)$ for $L$ at $x$ with respect to $m$ which is also a Diophantine constraint with respect to $R$. By Proposition \[proposition6.2\], there exists a proper subvariety $W \subsetneq X$ defined over ${\mathbf{K}}$ and containing $x$ as a $\overline{{\mathbf{K}}}$-point so that $$\alpha_{x,X}(\{y_i\},L) {\geqslant}\frac{1}{R}$$ for all infinite sequences $\{y_i\} \subseteq X({\mathbf{K}}) \backslash W({\mathbf{K}})$ of distinct points with unbounded height. As a consequence if $\alpha_{x,X}(\{y_i\},L) < \frac{1}{R}$ for $\{y_i\} \subseteq X({\mathbf{K}})$ an infinite sequence of distinct points with unbounded height, then almost all of the $y_i$ must lie in $W({\mathbf{K}})$. In particular $W({\mathbf{K}})$ must have an infinite number of ${\mathbf{K}}$-rational points and so $W$ has dimension at least $1$. Since $x \in W(\overline{{\mathbf{K}}})$ the definitions imply immediately that $\alpha_{x,X}(L) = \alpha_{x,W}(L|_{ W})$.

Asymptotic volume functions and vanishing sequences {#7}
===================================================

Let $\overline{{\mathbf{k}}}$ be an algebraically closed field of characteristic zero, $Y\subseteq {\mathbb{P}}^r_{\overline{{\mathbf{k}}}}$ an irreducible projective variety, non-singular in codimension $1$, ${\mathbf{K}}$ the field of fractions of $Y$, $X \subseteq {\mathbb{P}}^n_{\mathbf{K}}$ a geometrically irreducible projective variety and $L = {{\mathcal O}}_{{\mathbb{P}}^n_{\mathbf{K}}}(1)|_X$. In this section, we relate the theory we developed in §\[6\] to local measures of positivity for $L$ near $x \in X(\overline{{\mathbf{K}}})$. Our main result is Theorem \[theorem7.1\], which we prove in §\[7.2\], and which shows how the number $\beta_x(L)$ introduced by McKinnon-Roth can be used to construct a vanishing sequence for $L$ about $x$ which is also a Diophantine constraint. In §\[7.3\] we include a short discussion about $\epsilon_x(L)$, the Seshadri constant of $L$ about $x$, and indicate how it is related to the number $\beta_x(L)$. The reason for including this discussion is that the inequality given in below, established by McKinnon-Roth in [@McKinnon-Roth Corollary 4.4], is needed in §\[proof:main:results\] where we prove the results we stated in §\[motivation\].

[[**.**]{} ]{}\[7.1\][**Expectations and volume functions.**]{} Let $x \in X(\overline{{\mathbf{K}}})$, ${\mathbf{F}}$ the field of definition of $x$, $\pi : \widetilde{X} = \operatorname{Bl}_x(X) \rightarrow X_{\mathbf{F}}$ the blow-up of $X_{\mathbf{F}}$, the base change of $X$ with respect to the field extension ${\mathbf{K}}\rightarrow {\mathbf{F}}$, at the closed point of $X_{{\mathbf{F}}}$ corresponding to $x$, and let $E$ denote the exceptional divisor of $\pi$. In what follows we let ${\operatorname{N}}^1(\widetilde{X})_{\mathbb{R}}$ denote the real Neron-Severi space of ${\mathbb{R}}$-Cartier divisors on $\widetilde{X}$ modulo numerical equivalence and we let ${\operatorname{Vol}}(\cdot)$ denote the volume function $${\operatorname{Vol}}(\cdot) : {\operatorname{N}}^1(\widetilde{X})_{{\mathbb{R}}} \rightarrow {\mathbb{R}}.$$ In particular if $g$ equals the dimension of $\widetilde{X}$, and if $\ell$ denotes the numerical class of an integral Cartier divisor $D$ on $\widetilde{X}$, then $${\operatorname{Vol}}(\ell) = \limsup_{m\to \infty} \frac{h^0(\widetilde{X},{{\mathcal O}}_{\widetilde{X}}(mD))}{m^g / g!},$$ see [@Laz §2.2.C, p. 148]. If $\gamma \in {\mathbb{R}}_{{\geqslant}0}$, then let $L_\gamma$ denote the ${\mathbb{R}}$-line bundle $$L_\gamma = \pi^* L_{{\mathbf{F}}} - \gamma E$$ on $\widetilde{X}$; here $L_{\mathbf{F}}$ denotes the pullback of $L$ to $X_{\mathbf{F}}$. In what follows we also let $L_{\gamma,\overline{{\mathbf{K}}}}$ denote the pullback of $L_\gamma$ to $\widetilde{X}_{\overline{{\mathbf{K}}}}$ the base change of $\widetilde{X}$ with respect to ${\mathbf{K}}\rightarrow \overline{{\mathbf{K}}}$. In addition let $\gamma_{{{\mathrm{eff}}},x}(L)$ be defined by $$\gamma_{{{\mathrm{eff}}}} = \gamma_{{{\mathrm{eff}}},x}(L) = \sup \{\gamma \in {\mathbb{R}}_{{\geqslant}0} : L_{\gamma, \overline{{\mathbf{K}}}} \text{ is numerically equivalent to an effective divisor} \}.$$ As explained in [@McKinnon-Roth §4], we have:

1.  [$\gamma_{{{{\mathrm{eff}}}}} < \infty$;]{}

2.  [${\operatorname{Vol}}(L_\gamma) > 0$ for all $\gamma \in [0,\gamma_{{{{\mathrm{eff}}}}})$;]{}

3.  [${\operatorname{Vol}}(L_\gamma) = 0$ for all $\gamma > \gamma_{{{\mathrm{eff}}}}$; and]{}

4.  [${\operatorname{Vol}}(L_{\gamma_{{\mathrm{eff}}}}) = 0$.]{}

In [@McKinnon-Roth §4] the constant $\beta_x(L)$ is defined by: $$\beta_x(L) = \int^\infty_0 \frac{{\operatorname{Vol}}(L_\gamma)}{{\operatorname{Vol}}(L)} d \gamma = \int^{\gamma_{{{\mathrm{eff}}}}}_0  \frac{{\operatorname{Vol}}(L_\gamma)}{{\operatorname{Vol}}(L)} d \gamma \text{,}$$ see [@McKinnon-Roth p. 545, Definition 4.3, and Remark p. 548].

[[**.**]{} ]{}\[7.2\][**Volume functions and existence of vanishing sequences.**]{} We wish to show how the number $\beta_x(L)$ is related to vanishing sequences and Diophantine constraints. Indeed, we use techniques, similar to those employed in the proof of [@McKinnon-Roth Theorem 5.1], to prove:

\[theorem7.1\] Let $X \subseteq {\mathbb{P}}^n_{\mathbf{K}}$ be a geometrically irreducible subvariety and let $L = {{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)|_X$. Fix a real number $R > 0$ and a $\overline{{\mathbf{K}}}$-rational point $x \in X(\overline{{\mathbf{K}}})$. Let $\mathbf{F}$ denote the field of definition of $x$. If $\beta_x(L) > \frac{1}{R}$, then there exists a positive integer $m \in {\mathbb{Z}}_{>0}$ and a vanishing sequence $(m,\gamma_\bullet, \sigma_\bullet)$ for $L$ at $x$ with respect to $m$ and defined over $\mathbf{F} \subseteq \overline{{\mathbf{K}}}$ which is also a Diophantine constraint with respect to $R$.

Let $X_{\mathbf{F}}$ denote the base change of $X$ with respect to the finite field extension $\mathbf{F} / {\mathbf{K}}$ and let $\pi : \widetilde{X} \rightarrow X_{\mathbf{F}} $ be the blow-up of $X$ at the closed point of $X_{\mathbf{F}}$ corresponding to $x \in X(\mathbf{F})$. Let $E$ denote the exceptional divisor, let $L_{\mathbf{F}}$ denote the pull-back of $L$ to $X_{\mathbf{F}}$ and let $L_\gamma$ denote the ${\mathbb{R}}$-line bundle $ L_\gamma = \pi^* L_{\mathbf{F}} - \gamma E$ on $\widetilde{X}$, for $\gamma \in {\mathbb{R}}_{{\geqslant}0}$.

Since $X$ is assumed to be geometrically irreducible, we have: $$\beta_x(L) = \int_0^{\gamma_{\mathrm{eff}}} \frac{\operatorname{Vol}(L_\gamma)}{\operatorname{Vol}(L)} d \gamma = \int_0^{\gamma_{\mathrm{eff}}} f(\gamma) d \gamma;$$ here $$f(\gamma) = \frac{\operatorname{Vol}(L_\gamma)}{\operatorname{Vol}(L)}.$$

By assumption we have $\beta_x(L) > \frac{1}{R}$. This assumption in conjunction with [@McKinnon-Roth Lemma 5.5] implies existence of a positive integer $r$ and rational numbers $$0 < \gamma_1 < \dots < \gamma_r < \gamma_{\mathrm{eff},x}(L)$$ so that, if we set $\gamma_{r+1} = \gamma_{{{\mathrm{eff}}},x}(L)$, we have: $$\sum\limits_{j=1}^r c_j ( f(\gamma_j) - f(\gamma_{j+1})) > 1;$$ here $c_j = R\gamma_j$, for $j=1,\dots, r$.

We now have, for all $\gamma {\geqslant}0$: $$\lim\limits_{m \to \infty} \frac{ h^0(\widetilde{X},(L^{\otimes m})_{m \gamma})}{h^0(X, L^{\otimes m}) } = f(\gamma)$$ and it follows that by taking $m \gg 0$ we can ensure that each $$\frac{ h^0(\widetilde{X}, (L^{\otimes m})_{m\gamma_j})}{ h^0(X, L^{\otimes m}) }$$ is sufficiently close to $f(\gamma_j)$ so that: $$\label{claim3:eqn2}
1 < \frac{1}{h^0(X, L^{\otimes m})} \left( \sum\limits_{j=1}^r c_j (h^0(\widetilde{X}, (L^{\otimes m})_{m\gamma_j}) - h^0(\widetilde{X}, (L^{\otimes m})_{m\gamma_{j+1}}) )\right)\text{.}$$ In addition, by increasing $m$ if necessary we may assume that the $\gamma_j m$ are integers and also, by [@Laz Lemma 5.4.24, p. 310] for instance, that $$\label{claim3:eqn2'}\pi_* {{\mathcal O}}_{\widetilde{X}}(-m\gamma_j E) = \mathcal{I}_x^{m \gamma_j},$$ for all $j = 1,\dots,r$.

In what follows we fix such a large integer $m$ and our goal is to construct a vanishing sequence for $L$ at $x$ with respect to $m$ which is defined over $\mathbf{F}$ and which is a Diophantine constraint with respect to $R$. To this end, let $V$ denote the $\mathbf{F}$-vector space $\Gamma(X_{\mathbf{F}}, L_{\mathbf{F}}^{\otimes m})$, let $N = \dim V - 1$ and $V^j = \Gamma(\widetilde{X},(L^{\otimes m}  )_{m\gamma_j})$, for $j = 1,\dots, r$.

Using we deduce:

1.  [$V^j = {\mathrm{H}}^0(X_{\mathbf{F}}, \mathcal{I}_x^{m \gamma_j} \otimes L_{\mathbf{F}}^{\otimes m})$, for $j = 1,\dots, r$;]{}

2.  [$ V^{j+1} \subseteq V^j$, for $j = 1,\dots, r-1$; and]{}

3.  [each element $\sigma_j$ of $V^j$ is locally an element of $\mathfrak{m}_x^{m \gamma_j} {{\mathcal O}}_{X_{\mathbf{F}},x}$.]{}

Let $V^0 = V$, $\ell_j = \dim V^j$, for $j=0,\dots, r$, and let $s_{r,1},\dots, s_{r,\ell_r}$ be an $\mathbf{F}$-basis for $V^r$. We can extend this to a basis for $V^{r-1}$ which we denote by: $s_{r,1},\dots, s_{r,\ell_r},s_{r-1,\ell_r + 1},\dots, s_{r-1,\ell_{r-1}}. $ Recursively, we can construct an $\mathbf{F}$-basis for $V^j$ extending the $\mathbf{F}$-basis for $V^{j+1}$, for $j = 1,\dots, r-1$, and we denote such a basis as: $ s_{r,1},\dots, s_{r,\ell_r},\dots, s_{j,\ell_{j+1}+1},\dots, s_{j,\ell_j}$. In this way, we obtain $\ell_1$ $\mathbf{F}$-linearly independent elements of the $\mathbf{F}$-vector space $V$: $$s_{r,1},\dots, s_{r,\ell_r},\dots, s_{j,\ell_{j+1}+1},\dots, s_{j,\ell_j},\dots, s_{1,\ell_2 + 1},\dots, s_{1,\ell_1}.$$

Since the very ample line bundle $L^{\otimes m}$ is defined over ${\mathbf{K}}$, if $s_0,\dots, s_N$ denotes a ${\mathbf{K}}$-basis for the ${\mathbf{K}}$-vector space ${\mathrm{H}}^0(X,L^{\otimes m})$, then each of the $\mathbf{F}$-linearly independent sections $s_{j,k}$ of $L_{\mathbf{F}}^{\otimes m}$ is an $\mathbf{F}$-linear combination of the $s_0,\dots, s_N$.

Let $\ell_{r+1} = 0$, for each $1 {\leqslant}j {\leqslant}r$ and each $\ell_{j+1} + 1 {\leqslant}k {\leqslant}\ell_j$ let the sections $s_{j,k} \in V^j$ have weight $c_{j,k} = c_j$, and let $\eta_{j,k} = \gamma_j$. In this notation equation implies that: $$\sum\limits_{j = 1}^r \sum\limits_{k = \ell_{j+1} + 1}^{\ell_j} c_{j,k} > N+1$$ and it follows, in light of Corollary \[corollary5.5\], that $(m,\eta_\bullet,\sigma_\bullet)$ with $\eta_\bullet = ( \eta_{j,\ell})$ and $\sigma_\bullet = (s_{j,\ell})$, for $1 {\leqslant}j {\leqslant}r$ and $\ell_{j+1} + 1 {\leqslant}\ell {\leqslant}\ell_j$, is a vanishing sequence for $L$ with respect to $m$ at $x$ and defined over $\mathbf{F}$ which is also a Diophantine constraint with respect to $R$.

Theorem \[theorem7.1\] has the following consequence:

\[corollary7.2\] Fix a real number $R> 0$. Continuing with the assumptions that $X$ is geometrically irreducible and $x \in X(\overline{{\mathbf{K}}})$, if $\beta_x(L) > \frac{1}{R}$, then there exists a proper subvariety $W \subsetneq X$ defined over ${\mathbf{K}}$ and containing $x$ so that $$\alpha_{x,X}(\{y_i\},L) {\geqslant}\frac{1}{R}$$ for all infinite sequences $\{y_i\} \subseteq X({\mathbf{K}}) \backslash W({\mathbf{K}})$ of distinct points with unbounded height.

Consequence of Theorem \[theorem7.1\] and Proposition \[proposition6.2\].

[[**.**]{} ]{}\[7.3\][**Asymptotic volume functions and their relation to Seshadri constants.**]{} Here, in order to prepare for §\[proof:main:results\], we make a few remarks about Seshadri constants and how they are related to the asymptotic relative volume constants of McKinnon-Roth [@McKinnon-Roth]. To do so let $$\epsilon_x(L)= \sup \{\gamma \in {\mathbb{R}}_{{\geqslant}0}: L_{\gamma, \overline{{\mathbf{K}}}} \text{ is nef} \}$$ denote the Seshadri constant of $L$ at $x \in X(\overline{{\mathbf{K}}})$. We refer to [@McKinnon-Roth §3] and [@Laz] for more details regarding Seshadri constants. A basic result is that, if we identify $x$ with the closed point of $X_{\overline{{\mathbf{K}}}}$ that it determines, then $$\epsilon_{x,X}(L) =\inf\limits_{x \in C\subseteq X_{\overline{{\mathbf{K}}}}} \left\{ \frac{L_{\overline{{\mathbf{K}}}}.C}{\mathrm{mult}_x(C)} \right\},$$ where the infimum is taken over all reduced irreducible curves $C$ passing through $x$, see [@McKinnon-Roth Proposition 3.2] or [@Laz Proposition 5.1.5, p. 270] for instance.

In [@McKinnon-Roth Corollary 4.4] it is shown that $$\label{eqn7.2} \beta_x(L) {\geqslant}\frac{\dim X}{\dim X+1} \epsilon_x(L);$$ this inequality is important in the proof of our main results stated in §\[main:results\].

Proof of main results {#proof:main:results}
=====================

In this section we prove the main results of this paper, namely Theorem \[theorem1.1\] and Corollary \[corollary1.2\], which we stated in §\[main:results\]. For convenience of the reader we restate these results as Theorem \[theorem8.1\] and Corollary \[corollary8.1\] below. To prepare for these results, let ${\mathbf{K}}$ be the function field of an irreducible projective variety $Y \subseteq {\mathbb{P}}^r_{\overline{{\mathbf{k}}}}$ defined over an algebraically closed field $\overline{{\mathbf{k}}}$ of characteristic zero and non-singular in codimension $1$ and fix a prime divisor $\mathfrak{p} \subseteq Y$. Fix an algebraic closure $\overline{{\mathbf{K}}}$ of ${\mathbf{K}}$ and suppose that $X \subseteq {\mathbb{P}}^n_{{\mathbf{K}}}$ is a geometrically irreducible subvariety. The results we prove here show how the subspace theorem can be used to relate $\alpha_x(L)$, for $x \in X(\overline{{\mathbf{K}}})$ and $L = {{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)|_{ X}$, to $\beta_x(L)$.

\[theorem8.1\] Let ${\mathbf{K}}$ be the function field of an irreducible projective variety $Y \subseteq {\mathbb{P}}^r_{\overline{{\mathbf{k}}}}$, defined over an algebraically closed field $\overline{{\mathbf{k}}}$ of characteristic zero, assume that $Y$ is non-singular in codimension $1$ and fix a prime divisor $\mathfrak{p} \subseteq Y$. Fix an algebraic closure $\overline{{\mathbf{K}}}$ of ${\mathbf{K}}$ and suppose that $X \subseteq {\mathbb{P}}^n_{{\mathbf{K}}}$ is a geometrically irreducible subvariety, that $x \in X(\overline{{\mathbf{K}}})$, and that $L = {{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)|_{X}$. In this setting, either $$\alpha_x(L;\mathfrak{p}) {\geqslant}\beta_x(L) {\geqslant}\frac{\dim X}{\dim X + 1}\epsilon_x(L)$$ or $$\alpha_{x,X}(L;\mathfrak{p}) = \alpha_{x,W}(L|_{W};\mathfrak{p})$$ for some proper subvariety $W \subsetneq X$.

It suffices to show that if $\alpha_x(L;\mathfrak{p}) < \beta_x(L)$, then $X$ has dimension at least two and $\alpha_{x,X}(L) = \alpha_{x,W}(L|_{W})$ for some proper subvariety $W \subsetneq X$ having dimension at least $1$ and containing $x$. To this end, if $\alpha_x(L;\mathfrak{p}) < \beta_x(L)$, then we can choose $R> 0$ so that $$\alpha_x(L;\mathfrak{p}) < 1/R < \beta_x(L).$$ Since $\beta_x(L) > \frac{1}{R}$, Theorem \[theorem7.1\] implies existence of a vanishing sequence $(m,\gamma_\bullet, \sigma_\bullet)$ for $L$ at $x$ with respect to some positive integer $m$ which is also a Diophantine constraint with respect to $R$. In addition we have $\alpha_{x,X}(L; \mathfrak{p})<\frac{1}{R}$. The hypothesis of Theorem \[theorem6.3\] is satisfied and its conclusion implies that $\alpha_{x,X}(L) = \alpha_{x,W}(L|_{W})$ for some proper subvariety $W \subsetneq X$ having dimension at least $1$ and containing $x$.

Theorem \[theorem8.1\] has the following consequence:

\[corollary8.1\] In the setting of Theorem \[theorem8.1\], we have that $\alpha_x(L;\mathfrak{p}) {\geqslant}\frac{1}{2} \epsilon_x(L)$. If $\alpha_x(L;\mathfrak{p}) = \frac{1}{2} \epsilon_x(L)$, then $\alpha_{x,X}(L;\mathfrak{p}) = \alpha_{x,C}(L|_{ C};\mathfrak{p})$ for some curve $C \subseteq X$ defined over ${\mathbf{K}}$.

Follows from Theorem \[theorem8.1\] using induction. In more detail, let $g$ denote the dimension of $X$. If $g {\geqslant}1$, then $$\frac{g}{g+1}\epsilon_x(L) {\geqslant}\frac{1}{2}\epsilon_x(L).$$ Thus if $\alpha_x(L;\mathfrak{p}) {\geqslant}\frac{g}{g+1}\epsilon_x(L)$, then $\alpha_x(L;\mathfrak{p}) {\geqslant}\frac{1}{2}\epsilon_x(L)$. If $\alpha_x(L;\mathfrak{p}) < \frac{g}{g+1}\epsilon_x(L)$, then Theorem \[theorem8.1\] implies that $\alpha_x(L;\mathfrak{p}) = \alpha_{x,W}(L|_{W};\mathfrak{p})$ for some proper subvariety $W \subsetneq X$ and [@McKinnon-Roth Lemma 2.17] (proven for the case that ${\mathbf{K}}$ is a number field but equally valid for the case that ${\mathbf{K}}$ is a function field) implies that we may take $W$ to be irreducible over $\overline{{\mathbf{K}}}$. By induction, $\alpha_{x,W}(L|_{W};\mathfrak{p}) {\geqslant}\frac{1}{2}\epsilon_x(L|_{W})$. On the other hand, $\alpha_x(L;\mathfrak{p}) = \alpha_{x,W}(L|_{W};\mathfrak{p})$ and $\epsilon_x(L) {\leqslant}\epsilon_{x,W}(L|_{W})$, by [@McKinnon-Roth Proposition 3.4 (c)], and it follows that $$\alpha_x(L;\mathfrak{p}) = \alpha_{x,W}(L|_{W};\mathfrak{p}) {\geqslant}\frac{1}{2} \epsilon_{x}(L|_{W}) {\geqslant}\frac{1}{2}\epsilon_x(L).$$ Finally if $\alpha_x(L;\mathfrak{p}) = \frac{1}{2}\epsilon(L|_{W})$, then we conclude that $W$ is a curve defined over ${\mathbf{K}}$.

Approximation constants for Abelian varieties and curves {#9}
========================================================

Throughout this section, we let ${\mathbf{K}}$ be the function field of a smooth projective curve $C$ over an algebraically closed field $\overline{{\mathbf{k}}}$ of characteristic zero. We also fix an algebraic closure $\overline{{\mathbf{K}}}$ of ${\mathbf{K}}$. Our goal here is to use the properties of the distance functions, which we recorded in §\[4\], to prove an approximation theorem for rational points of an abelian variety $A$ over ${\mathbf{K}}$. This theorem, Theorem \[theorem9.4\], and its proof is very similar to what is done in the number field setting, see for example [@Serre:Mordell-Weil-Lectures p. 98–99]. We then use Theorem \[theorem9.4\] to study approximation constants for $\overline{{\mathbf{K}}}$-rational points of $B$ an irreducible projective curve over ${\mathbf{K}}$. Specifically, in §\[9.6\] we prove Corollary \[corollary1.3\] which we stated in §\[main:results\].

[[**.**]{} ]{}\[9.2\] We recall a special case of Roth’s theorem for ${\mathbb{P}}^1$ from which we deduce an approximation result, Theorem \[theorem9.2\], applicable to projective varieties over ${\mathbf{K}}$. To state Roth’s theorem for ${\mathbb{P}}^1$, fix $p \in C(\overline{{\mathbf{k}}})$ and let $$d_p(\cdot,\cdot) : {\mathbb{P}}^1(\overline{{\mathbf{K}}}) \times {\mathbb{P}}^1(\overline{{\mathbf{K}}}) \rightarrow [0,1]$$ denote the projective distance function that it determines.

\[theorem9.1\] Let ${\mathbf{K}}$ be the function field of a smooth projective curve over an algebraically closed field of characteristic zero. Let $x \in {\mathbb{P}}^1(\overline{{\mathbf{K}}})$ and $\delta > 2$. Then there is no infinite sequence $\{x_i \} \subseteq {\mathbb{P}}^1({\mathbf{K}})$ of distinct points with unbounded height so that $$d_p(x,x_i) \to 0 \text{ and }d_p(x,x_i)H_{{{\mathcal O}}_{{\mathbb{P}}^1}(1)}(x_i)^{\delta} {\leqslant}1,$$ for $i \to \infty$.

This is implied by the main theorem of [@wang:1996] for example.

As in [@Serre:Mordell-Weil-Lectures §7.3], combined with the local description of the distance functions given by Lemma \[lemma4.4\], Roth’s theorem for ${\mathbb{P}}^1$ implies:

\[theorem9.2\] Suppose that ${\mathbf{K}}$ is the function field of a smooth projective curve over an algebraically closed field of characteristic zero. Let $X \subseteq {\mathbb{P}}^n_{{\mathbf{K}}}$ be a projective variety and $L = {{\mathcal O}}_{{\mathbb{P}}^n_{{\mathbf{K}}}}(1)|_X$. If $x \in X(\overline{{\mathbf{K}}})$ and $\delta > 2$, then there is no infinite sequence $\{x_i\} \subseteq X({\mathbf{K}})$ of distinct points with unbounded height with $$d_p(x,x_i) \to 0 \text{ and } d_p(x,x_i) H_L(x_i)^\delta {\leqslant}1,$$ for $i \to \infty$.

As in [@Serre:Mordell-Weil-Lectures p. 98], using the local description of the distance functions $d_p(x,\cdot)$ given by Lemma \[lemma4.4\], Theorem \[theorem9.2\] follows from Theorem \[theorem9.1\] applied to the coordinates of the $x_i$.

Theorem \[theorem9.2\] can be used to give a lower bound for the approximation constant $\alpha_x(L)$.

\[corollary9.2’\] In the setting of Theorem \[theorem9.2\], $\alpha_x(L) {\geqslant}1/2$.

Immediate considering the definition of $\alpha_x(L)$ in conjunction with the fact that the approximation constant is the reciprocal of the approximation exponent.

[[**.**]{} ]{}\[9.3\] Our approximation theorem for rational points of an abelian variety $A$ over ${\mathbf{K}}$ is proved in a manner similar to what is done in the number field case, see for example [@Serre:Mordell-Weil-Lectures §7.3], and relies on the weak Mordell-Weil theorem. Specifically, we use Theorem \[theorem9.2\], combined with the properties of the distance functions that we stated in §\[4\], to prove the following result.

\[theorem9.4\] Let ${\mathbf{K}}$ be the function field of a smooth projective curve $C$ over an algebraically closed field $\overline{{\mathbf{k}}}$ of characteristic zero and fix $p \in C(\overline{{\mathbf{k}}})$. If $L$ is a very ample line bundle on an abelian variety $A$ over ${\mathbf{K}}$, $x \in A(\overline{{\mathbf{K}}})$ and $\delta > 0$, then there is no infinite sequence of distinct points $\{x_i \} \subseteq A({\mathbf{K}})$ with unbounded height and having the property that $$d_p(x,x_i) \to 0 \text{ and }d_p(x,x_i)H_L(x_i)^\delta {\leqslant}1,$$ for all $i \gg 0$.

Choose an embedding $A \hookrightarrow {\mathbb{P}}^n$ afforded by $L$, let $\delta > 0$, choose an integer $m {\geqslant}1$ with $(m^2-1)\delta > 3$, and let $\{x_i \} \subseteq A({\mathbf{K}})$ be a sequence of distinct points with unbounded height with the property that $$\label{eqn9.2} d_p(x,x_i) \to 0 \text{ and }d_p(x,x_i)H_L(x_i)^\delta {\leqslant}1,$$ as $i \to \infty$.

The weak Mordell-Weil theorem, [@Bombieri:Gubler Theorem 10.5.14], implies that the group $A({\mathbf{K}})/mA({\mathbf{K}})$ is finite. By passing to a subsequence with unbounded height if necessary, it follows that there exists $a \in A({\mathbf{K}})$ and $x_i' \in A({\mathbf{K}})$ so that $$\label{eqn9.3}
x_i = m x_i' + a,$$ for all $i$.

Let $d_p'(\cdot,\cdot)$ denote the distance function obtained by using the embedding $A \xrightarrow{\tau_a} A \hookrightarrow {\mathbb{P}}^n; $ here $\tau_a : A \rightarrow A$ denotes translation by $a \in A({\mathbf{K}})$ in the group law. The distance functions $d'_p(\cdot,\cdot)$ and $d_p(\cdot,\cdot)$ are equivalent by Proposition \[proposition4.3\]. Thus together with the fact that $d_p(x,x_i) \to 0$, as $i \to \infty$, implies that $ d_p(x-a,mx_i') \to 0,$ as $i \to \infty$. In particular $ \{mx_i'\} \to x - a,$ as $i \to \infty$.

Now note that since $A(\overline{{\mathbf{K}}})$ is a divisible group, there exists $b \in A(\overline{{\mathbf{K}}})$ so that $mb = x-a.$ As a consequence, since $ \{mx_i'\} \to x - a$ as $i \to \infty$, we have that $ d_p(mb,mx_i') \to 0,$ as $i \to \infty$.

Next consider the morphism $[m]_A : A \rightarrow A$, defined by multiplication by $m$ in the group law, near $b$. In particular using the fact that $[m]_A$ is étale in conjunction with Lemma \[lemma4.4\] and Proposition \[proposition4.5\], we deduce that $$\label{eqn9.3'}
d_{p}(b,x_i') \to 0,$$ as $i \to \infty$ too.

In more detail, let ${\mathbf{F}}$ be the field of definition of $b$. Lemma \[lemma4.4\] implies that there exists an affine open subset $U$ of $A_{\mathbf{F}}= A \times_{{\operatorname{Spec}}{\mathbf{K}}} {\operatorname{Spec}}{\mathbf{F}}$ and elements $u_1,\dots,u_r$ of $\Gamma(U,{{\mathcal O}}_{X_{\mathbf{F}}})$ which generate the maximal ideal of $b$ and positive constants $c{\leqslant}C$ so that the inequality $$\label{eqn9.4}
c d_p(b,x_i') {\leqslant}\min(1,\max(|u_1(x_i')|_p,\dots,|u_r(x_i')|_p)) {\leqslant}C d_p(b,x_i')$$ holds true for all $x_i ' \in U({\mathbf{K}})$. Now let $\mathfrak{m}_{mb}$ denote the maximal ideal of $mb$ and $\mathfrak{m}_b$ the maximal ideal of $b$. Then, since the morphism $[m]_A$ is étale, we have $\mathfrak{m}_{mb}\cdot{{\mathcal O}}_b = \mathfrak{m}_b$, see for example [@Hart Ex. III 10.3]. Thus, if $u_1',\dots,u_r'$ are generators for $\mathfrak{m}_{mb}$ the maximal ideal of $mb$, then their pullbacks $[m]_A^* u_1',\dots, [m]_A^* u_r'$ generate $\mathfrak{m}_b$ too.

We now consider implications of Lemma \[lemma4.1\]. Specifically, Lemma \[lemma4.1\] implies that the functions $$\label{eqn9.4'}\max(|u_1(\cdot)|_p,\dots,|u_r(\cdot)|_p)$$ and $$\label{eqn9.4''}\max(|[m]_A^* u_1'(\cdot)|_p,\dots, |[m]_A^* u_r'(\cdot)|_p)$$ are equivalent on every subset $E \subseteq U(\overline{{\mathbf{K}}})$ which is bounded in $U$. On the other hand, since $$\max(|[m]_A^* u_1'(x_i')|_p,\dots, |[m]_A^*u_r'(x_i')|_p) = \max(|u_1'(mx_i')|_p,\dots,|u_r'(mx_i')|_p ) \to 0,$$ as $i \to \infty$, it follows, by the equivalence of the functions and , that $$\label{eqn9.4'''}
 \max(|u_1(x_i')|_p,\dots,|u_r(x_i')|_p) \to \infty,$$ as $i \to \infty$ too. Combining and we have that $d_p(b,x_i') \to 0$ as $i \to \infty$ too.

Now, by the theory of Neron-Tate heights, see for instance [@Bombieri:Gubler §9.2 and §9.3], the function $\log H_L$ is quadratic up to a bounded function. In particular, since $x_i = mx_i' + a$, it follows that $\{x_i'\}$ has unbounded height and also that $$\label{eqn9.5}
\frac{\log H_L(x_i)}{\log H_L(x_i')} \to m^2,$$ and thus $$\label{eqn9.6}
H_L(x_i')^{m^2-1} {\leqslant}H_L(x_i),$$ for all $i \gg 0$.

Consider now the isogeny $\tau_a \circ [m]_A : A \rightarrow A $ and let $u_1,\dots,u_r$ be regular functions which generate the maximal ideal of $b$. By Proposition \[proposition4.5\], there exists a positive constant $c$ so that $$\label{eqn9.7}
c d_p(b,x_i') {\leqslant}\max(|u_1(x_i')|_p,\dots,|u_r(x_i')|_p).$$ On the other hand, since $\tau_a \circ [m]_A$ is an étale morphism we can choose $u_1,\dots, u_r$ so that there exists regular functions $u_1',\dots,u_r'$ which generate the maximal ideal of $x$ and which have the property that $$u_j'(mx_i'+a)=(\tau_a \circ [m]_A)^*u'_j(x_i') = u_j(x_i').$$ Thus, by Proposition \[proposition4.5\], there exists a positive constant $C$ so that $$\label{eqn9.8}
\max(|u_1(x_i')|_p,\dots,|u_r(x_i')|_p ) = \max(|u_1'(mx_i'+a)|_p,\dots,|u_r'(mx_i'+a)|_p) {\leqslant}C d_p(x,x_i).$$ Combining and we obtain $$\label{eqn9.9}
c d_p(b,x_i') {\leqslant}C d_p(x,x_i)$$ and, using , and , it follows from that, by passing to a subsequence if necessary so that $H_L(x_i') \to \infty$, $$d_p(b,x_i') \to 0 \text{ and } d_p(b,x_i') < H_L(x_i')^{-k} ,$$ for some $k > 2$ and all $i \gg 0$ which contradicts Theorem \[theorem9.2\].

Theorem \[theorem9.4\] has the following consequence which we will use in §\[9.5\] and §\[9.6\].

\[corollary9.4’\] In the setting of Theorem \[theorem9.4\], we have $\alpha_x(L) = \infty$.

Considering the definition of $\alpha_x(L)$ given in §\[3.8’\], the conclusion of Corollary \[corollary9.4’\] follows immediately from Theorem \[theorem9.4\].

[[**.**]{} ]{}\[9.5\] We now explain how Theorem \[theorem9.4\] and Corollary \[corollary9.4’\] allow for the calculation of the approximation constant $\alpha_x(L)=\alpha_x(L;p)$ for $L$ a very ample line bundle on $B$ an irreducible curve over ${\mathbf{K}}$ and $x \in B(\overline{{\mathbf{K}}})$. This is the content of Theorem \[theorem9.1’\] which is proved in a manner similar to [@McKinnon-Roth Theorem 2.16].

\[theorem9.1’\] Let ${\mathbf{K}}$ be the function field of a smooth projective curve over an algebraically closed field of characteristic zero. If $\alpha_x(L) < \infty$ for $L$ a very ample line bundle on $B$ an irreducible curve over ${\mathbf{K}}$ and $x \in B(\overline{{\mathbf{K}}})$, then $B$ has geometric genus equal to zero.

Let $\phi : \widetilde{B} \rightarrow B$ be the normalization morphism. Since the pullback of $L$ to $\widetilde{B}$ via $\phi$ is ample, [@Hart Ex. III 5.7 (d)], and since $\alpha_x(L) = N \alpha_x(L^{\otimes N})$, for $N > 0$, without loss of generality we may assume that the pullback of $L$ to $\widetilde{B}$ is very ample.

We next note that given an infinite sequence $\{x_i \} \subseteq B({\mathbf{K}})$ of distinct points with unbounded height and $\{x_i\} \to x$, we may, by passing to a subsequence with unbounded height, assume that none of the $x_i$ are the finitely many points where $\phi$ is not an isomorphism. We may also assume that the sequence $\{\phi^{-1}(x_i)\}$ converges with respect to $d_p(\cdot,\cdot)$, the distance function on $\widetilde{B}$ determined by $\phi^* L$, to one of the points $q \in \phi^{-1}(x)$. Indeed, if the branch corresponding to $q$ has multiplicity $m_q$, then locally $\phi$ is described by functions in the $m_q$th power of the maximal ideal of $q$. Consequently, as can be deduced from Lemma \[lemma4.4\], $d_p(x,\phi(q_i))$ is equivalent to $d_p(q,q_i)^{m_q}$ as $i \to \infty$. Conversely, it is clear that given an infinite sequence $\{q_i\} \subseteq \widetilde{B}$ of distinct points with unbounded height and $\{q_i\} \to q$ for some $q \in \phi^{-1}(x)$, we then have that $\{\phi(q_i)\} \to x$.

Thus, to compute $\alpha_x(L)$, it suffices to consider $\alpha_x(\{x_i\},L)$ for those infinite sequences of distinct points with unbounded height $\{x_i\} \subseteq B(\overline{{\mathbf{K}}})$ which arise from infinite sequences $\{q_i \} \subseteq \widetilde{B}({\mathbf{K}})$ with unbounded height and converging to some $q \in \widetilde{B}(\overline{{\mathbf{K}}})$ with $q \in \phi^{-1}(x)$.

Now given such a sequence $\{q_i \} \to q$, we have $$\label{eqn5.1} H_{\phi^*L}(q_i) \sim H_L(\phi(q_i)),$$ for all $i$.

Since $d_p(x,\phi(q_i))$ is equivalent to $d_p(q,q_i)^{m_q}$ as $i \to \infty$, this fact combined with implies that $$\label{eqn9.2'}
\alpha_x(\{\phi(q_i)\},L) \sim \frac{1}{m_q} \alpha_q(\{q_i\}, \phi^*L)$$ and so, by considering the Abel-Jacobi map of $\widetilde{B}$, compare with the discussion given in §\[3.10\], Corollary \[corollary9.4’\] implies that the righthand side of is infinite if $B$ has geometric genus at least $1$.

[[**.**]{} ]{}\[9.6\] Having established Theorem \[theorem9.1’\], we are now able to refine Corollary \[corollary1.2\] and, in particular, establish Corollary \[corollary1.3\].

\[theorem9.1”\] Assume that ${\mathbf{K}}$ is the function field of a smooth projective curve over an algebraically closed field of characteristic zero. Let $X$ be a geometrically irreducible projective variety defined over ${\mathbf{K}}$ and $L$ a very ample line bundle on $X$ defined over ${\mathbf{K}}$. If $x$ is a $\overline{{\mathbf{K}}}$-rational point of $X$, then the inequality $\alpha_x(L) {\geqslant}\frac{1}{2}\epsilon_x(L)$ holds true. If equality holds, then $\alpha_{x,X}(L) = \alpha_{x,B}(L|_B)$ for some rational curve $B\subseteq X$ defined over ${\mathbf{K}}$.

By Corollary \[corollary8.1\], the given inequalities hold true and if equality holds true then the approximation constant is computed on an irreducible curve $B$ defined over ${\mathbf{K}}$ and passing through $x$. On the other hand, since $\epsilon_x(L) < \infty$ it follows that $\alpha_x(L)$ must be finite too and so $B$ must be rational by Theorem \[theorem9.1’\].

[10]{}

E. Artin and G. Whaples, *Axiomatic characterization of fields by the product formula for valuations*, Bull. Amer. Math. Soc. **51** (1945), 469–492.

E. Bombieri and W. Gubler, *Heights in [D]{}iophantine geometry*, Cambridge University Press, Cambridge, 2006.

J.-H. Evertse and R. G. Ferretti, *Diophantine inequalities on projective varieties*, Int. Math. Res. Not. (2002), no. 25, 1295–1330.

G. Faltings and G. Wüstholz, *Diophantine approximations on projective spaces*, Invent. Math. **116** (1994), 109–138.

T. Graber, J. Harris, and J. Starr, *Families of rationally connected varieties*, J. Amer. Math. Soc. **16** (2003), no. 1, 57–67.

R. Hartshorne, *Algebraic geometry*, Springer-Verlag, New York, 1977.

S. Lang, *Fundamentals of [D]{}iophantine geometry*, Springer-Verlag, New York, 1983.

[to3em]{}, *Algebra*, Springer-Verlag, New York, 2002.

R. Lazarsfeld, *Positivity in algebraic geometry [I]{}*, Springer-Verlag, Berlin, 2004.

D. McKinnon and M. Roth, *Seshadri constants, diophantine approximation, and [R]{}oth’s theorem for arbitrary varieties*, Invent. Math. **200** (2015), no. 2, 513–583.

[to3em]{}, *An analogue of [L]{}iouville’s theorem and an application to cubic surfaces*, Eur. J. Math **2** (2016), no. 4, 929–959.

M. Ru and J. T.-Y. Wang, *An effective [S]{}chmidt’s subspace theorem for projective varieties over function fields*, Int. Math. Res. Not. IMRN (2012), no. 3, 651–684.

J. P. Serre, *Lectures on the [M]{}ordell-[W]{}eil theorem*, Vieweg, Wiesbaden, 1997.

J. T.-Y. Wang, *An effective [R]{}oth’s theorem for function fields*, Rocky Mountain J. Math. **26** (1996), no. 3, 1225–1234.

[to3em]{}, *An effective [S]{}chmidt’s subspace theorem for function fields*, Math. Z. (2004), no. 246, 811–844.

[^1]: *Mathematics Subject Classification (2010):* Primary 14G05, Secondary 14G40.
