1 Introduction
1.1 Statement of the main results
For a set
$A\subset \mathbb{R}^{m}$
we define the algebraic part
$A^{\text{alg}}$
of
$A$
to be the union of all connected semialgebraic subsets of
$A$
of positive dimension. We define the transcendental part
$A^{\text{trans}}$
of
$A$
to be
$A\setminus A^{\text{alg}}$
.
Recall that the height of a (reduced) rational number
$a/b\in \mathbb{Q}$
is defined to be
$\max (|a|,|b|)$
. For a vector
$x$
of rational numbers we denote by
$H(x)$
the maximum among the heights of the coordinates. For a set
$A\subset \mathbb{C}^{m}$
we denote the set of
$\mathbb{Q}$
-points of
$A$
by
$A(\mathbb{Q}):=A\cap \mathbb{Q}^{m}$
and use the notation
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn1.gif?pub-status=live)
For
$A\subset \mathbb{R}^{m+n}$
and
$y\in \mathbb{R}^{n}$
we denote the
$y$
-fiber of
$A$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn2.gif?pub-status=live)
In this paper we develop a new approach to the proof of the following theorem.
Theorem 1. Let
$A\subset \mathbb{R}^{m+n}$
be a bounded subanalytic set and
$\unicode[STIX]{x1D700}>0$
. There exists an integer
$N(A,\unicode[STIX]{x1D700})$
such that for any
$y\in \mathbb{R}^{n}$
,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn3.gif?pub-status=live)
The result of Theorem 1 is not new. In fact, it was conjectured in [Reference PilaPil04, Conjecture 1.2] and proved, in a more general form, in the work of Pila and Wilkie [Reference Pila and WilkiePW06], where the same result is shown to hold for any
$A$
definable in an O-minimal structure. Our goal in the present paper is to develop an alternative complex analytic approach to this theorem. In particular, while the proof in [Reference Pila and WilkiePW06] requires the use of
$C^{r}$
parametrizations of subanalytic sets, we are able to carry out the arguments completely within the analytic category. The proof of Theorem 1 is given at the end of § 5.3. As a first illustration of the advantage of this approach, we prove the following complex analog of a recent result of [Reference Cluckers, Pila and WilkieCPW16].
Theorem 2 (Cf. [Reference Cluckers, Pila and WilkieCPW16, Theorem 2.3.2]).
Let
$X\subset \mathbb{C}^{m+n}$
be a locally analytic subset and
$K\Subset X$
be a compact subset. Suppose
$\dim _{\mathbb{C}}X_{y}\leqslant k$
for every
$y\in \mathbb{C}^{n}$
. Then there exists a constant
$C=C(K)$
such that for any
$y\in \mathbb{C}^{n}$
, if
$H>2$
, then
$K_{y}(\mathbb{Q},H)$
is contained in the union of at most
$C$
complex algebraic hypersurfaces of degree at most
$(\log H)^{k/(m-k)}$
in
$\mathbb{C}^{m}$
.
The proof of Theorem 2 is given following Corollary 13. In [Reference Cluckers, Pila and WilkieCPW16, Theorem 2.3.2] a result similar to Theorem 2 is stated for real globally subanalytic sets. The dimensions are taken over
$\mathbb{R}$
and the algebraic hypersurfaces constructed are real. We give the complex version for variation, and also since in most applications the sets involved are, in fact, complex analytic. Note that in this case the complex analytic version gives more than the real version: the degree of the hypersurface is the same as in [Reference Cluckers, Pila and WilkieCPW16, Theorem 2.3.2], but intersecting with a complex-algebraic hypersurface imposes two independent real-algebraic conditions. We also remark that the real version [Reference Cluckers, Pila and WilkieCPW16, Theorem 2.3.2] could also be derived with our method by the same complexification arguments used in our proof of Theorem 1.
Our principal motivation for the complex-analytic approach developed in this paper is the Wilkie conjecture on the improvement of the asymptotic
$O(H^{\unicode[STIX]{x1D700}})$
to polylogarithmic for certain structures (see § 1.2 for details). Theorem 2 can be seen as a natural first inductive step toward this conjecture. However, pursuing this induction further requires analyzing the behavior of the constant
$C(A)$
with respect to the complexity of the set
$A$
; a problem which requires finer analysis that cannot be carried out in the generality of general analytic sets (as illustrated by counterexamples due to Pila [Reference PilaPil04, Example 7.5]). In a closely related preprint [Reference Binyamini and NovikovBN17] we build on the ideas developed in this paper to prove the Wilkie conjecture for sets definable using the restricted exponential and sine functions; a problem which had previously seemed quite challenging due to the difficulty of computing
$C^{r}$
parametrizations.
In § 1.2 we present some motivations for our approach. In § 1.3 we briefly review the method of Bombieri–Pila–Wilkie and, in particular, explain the point at which
$C^{r}$
-parametrizations are required. In § 1.4 we give an outline of the complex-analytic approach developed in this paper and explain how it avoids the use of
$C^{r}$
-parametrizations.
Note.
Shortly after the appearance of the first version of this manuscript (and the closely related preprint [Reference Binyamini and NovikovBN17]) on the arXiv, the independently developed preprint [Reference Cluckers, Pila and WilkieCPW16] by Cluckers, Pila and Wilkie appeared. Some of the methods appear to be related: in particular the ‘quasi-parametrization theorem’ [Reference Cluckers, Pila and WilkieCPW16, Theorem 2.2.3] appears similar to our notion of a decomposition datum, and the diophantine application [Reference Cluckers, Pila and WilkieCPW16, Theorem 2.3.2] is also a consequence of our approach. We wish to clarify that Theorem 2 was not included in the original version of this manuscript and appeared (in the real version) originally in [Reference Cluckers, Pila and WilkieCPW16]; in a later version we included the complex Theorem 2 to illustrate how our approach can be used to derive similar results.
1.2 Motivation
There are two directions in which one might hope to improve the Pila–Wilkie estimate
$\#A^{\text{trans}}(\mathbb{Q},H)\leqslant N(A,\unicode[STIX]{x1D700})H^{\unicode[STIX]{x1D700}}$
.
-
∙ Effective estimates: one may hope to obtain effective estimates for the constant
$N(A,\unicode[STIX]{x1D700})$ in terms of the complexity of the equations/formulas used to define
$A$ .
-
∙ Sharper asymptotics: one may hope to improve the asymptotic dependence on
$H$ if
$A$ is definable in a suitably tame structure. As a notable example, the Wilkie conjecture states that if
$A$ is definable in
$\mathbb{R}_{\exp }$ , then
$\#A^{\text{trans}}(\mathbb{Q},H)=N(A)(\log H)^{\unicode[STIX]{x1D705}(A)}$ .
Both of these directions have been considered in the literature, see e.g. [Reference ButlerBut12, Reference Jones and ThomasJT12, Reference PilaPil10, Reference PilaPil07]. However, as discussed in § 1.3, the proof of the Pila–Wilkie theorem in arbitrary dimensions requires the use of
$C^{r}$
-reparametrizations, whose complexity is difficult to control even in the semialgebraic case. For this reason, most of the work (to the best of the authors’ knowledge) has been restricted to
$A$
of (real) dimension one or two.
Our primary goal in this paper is to develop an approach that replaces the use of
$C^{r}$
-parametrization by direct considerations on the local complex-analytic geometry of
$A$
. In the preprint [Reference Binyamini and NovikovBN17] we use this approach to prove the Wilkie conjecture for sets definable using the restricted exponential and sine functions, where Proposition 11 provides the key inductive step. The estimates in [Reference Binyamini and NovikovBN17] are also effective in a suitable sense. We believe that the analytic approach may also play a significant role in advancing toward an effective version of the Pila–Wilkie theorem for Noetherian functions.
Finally, while in this paper we work in the complex analytic setting, our arguments are essentially algebraic; tracing to the Weierstrass preparation and division theorems. One may hope that such an approach could allow a more direct generalization to different algebraic contexts where the analytic notion of
$C^{r}$
-parametrization may be more difficult to recover. In particular, we consider it an interesting direction to check whether the method developed in this paper can offer an alternative approach to the work of Cluckers et al. [Reference Cluckers, Comte and LoeserCCL15] on non-archimedean analogs of the Pila–Wilkie theorem. We remark in this context that in our primary model-theoretic reference [Reference Denef and van den DriesDvdD88], the complex-analytic and
$p$
-adic contexts are treated in close analogy.
1.3 Exploring rational points following Bombieri–Pila and Pila–Wilkie
1.3.1 The case of curves
Let
$X\subset \mathbb{R}^{2}$
be compact irreducible real-analytic curve. Building upon earlier work by Bombieri and Pila [Reference Bombieri and PilaBP89], Pila [Reference PilaPil91] considered the problem of estimating
$\#X(\mathbb{Q},H)$
. More specifically, he showed that if
$X$
is transcendental, then for every
$\unicode[STIX]{x1D700}>0$
there exists a constant
$C(X,\unicode[STIX]{x1D700})$
such that
$\#X(\mathbb{Q},H)\leqslant C(X,\unicode[STIX]{x1D700})H^{\unicode[STIX]{x1D700}}$
. Bombieri and Pila’s method involves constructing a collection of
$H^{\unicode[STIX]{x1D700}}$
hypersurfaces
$\{H_{k}\}$
of degree
$d=d(\unicode[STIX]{x1D700})$
such that
$X(\mathbb{Q},H)$
is contained in
$\bigcup _{k}H_{k}$
. We briefly recall the key idea, starting with the notion of an interpolation determinant.
Suppose first that
$X$
can be written as the image of an analytic map
$\mathbf{f}=(f_{1},f_{2}):[0,1]\rightarrow X$
(the general case will be treated later by subdivision). For simplicity, we will suppose that
$f_{1},f_{2}$
extend to holomorphic functions in the disc of radius
$2$
around the origin, with absolute value bounded by
$M$
.
Let
$\mathbf{g}:=(g_{1},\ldots ,g_{\unicode[STIX]{x1D707}})$
be a collection of functions and
$\mathbf{p}:=(p_{1},\ldots ,p_{\unicode[STIX]{x1D707}})$
a collection of points. We define the interpolation determinant
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn4.gif?pub-status=live)
Let
$d\in \mathbb{N}$
and set
$\unicode[STIX]{x1D707}=d(d+1)/2$
, the dimension of the space of polynomials in two variables of degree at most
$d$
. We define the polynomial interpolation determinant of degree
$d$
to be
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn5.gif?pub-status=live)
Note that
$\unicode[STIX]{x1D6E5}^{d}(\mathbf{f},\mathbf{p})=0$
if and only if the points
$\mathbf{f}(p_{1}),\ldots ,\mathbf{f}(p_{\unicode[STIX]{x1D707}})$
all lie on a common algebraic hypersurface of degree at most
$d$
. More generally, if
$P\subset I$
and
$\unicode[STIX]{x1D6E5}^{d}(\mathbf{f},\mathbf{p})=0$
for every
$\mathbf{p}\subset P$
, then the points
$\mathbf{f}(p):p\in P$
all lie on a common algebraic hypersurface of degree at most
$d$
.
Let
$H\in \mathbb{N}$
. Our goal is to construct a collection of algebraic hypersurfaces
$H_{k}$
whose union contains
$X(\mathbb{Q},H)$
. By the above, it will suffice to subdivide
$I$
into intervals
$I_{k}$
such that for any
$\mathbf{p}\subset I_{k}$
, if
$H(\mathbf{p})\leqslant H$
, then
$\unicode[STIX]{x1D6E5}^{d}(\mathbf{f},\mathbf{p})=0$
. We begin with the following key estimate on the polynomial interpolation determinant.
Lemma 1 (Cf. Lemma 9).
Let
$I\,\subset \,[0,1]$
be an interval of length
$\unicode[STIX]{x1D6FF}\,<\,1/2$
, and
$\mathbf{p}\,=\,(p_{1},\ldots ,p_{\unicode[STIX]{x1D707}})\in I^{\unicode[STIX]{x1D707}}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn6.gif?pub-status=live)
Proof. By translation we may suppose that
$I=[-\unicode[STIX]{x1D6FF},\unicode[STIX]{x1D6FF}]$
and that
$f_{1},f_{2}$
are holomorphic in the unit disc
$D\subset \mathbb{C}$
with absolute value bounded by
$M$
. Denote by
$\Vert \cdot \Vert$
the maximum norm on the disc of radius
$\unicode[STIX]{x1D6FF}$
around the origin.
Every function in
$\mathbf{g}$
is holomorphic in
$D$
with absolute value bounded by
$M^{d}$
. Consider the Taylor expansions
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn7.gif?pub-status=live)
and
$R_{j}(g_{i})$
are the Taylor residues. From the Cauchy estimates we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn8.gif?pub-status=live)
Expand the determinant
$\unicode[STIX]{x1D6E5}^{d}(\mathbf{f},\mathbf{p})$
by linearity using (7), to obtain a sum of
$(\unicode[STIX]{x1D707}+1)^{\unicode[STIX]{x1D707}}$
summands with each
$g_{i}$
replaced by either
$m_{j_{i}}(g_{i})$
or
$R_{\unicode[STIX]{x1D707}}(g_{i})$
. Note that any summand where two different indices
$j_{k},j_{l}$
agree vanishes identically since the corresponding functions
$m_{j_{k}}(g_{k}),m_{j_{l}}(g_{l})$
are linearly dependent. Therefore, any non-zero summand must contain a term of order at least one, a term of order at least two, and so on. Then an easy computation using (8) and the Laplace expansion for each determinant gives (6).◻
Let
$I,\mathbf{p}$
be as in Lemma 1 and suppose
$\mathbf{f}(p_{1}),\ldots ,\mathbf{f}(p_{\unicode[STIX]{x1D707}})\in X(\mathbb{Q},H)$
. Using the bounded heights of
$\mathbf{f}(p_{j})$
one proves (cf. Lemma 10) that either
$\unicode[STIX]{x1D6E5}^{d}(f,\mathbf{p})=0$
or
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn9.gif?pub-status=live)
Comparing (6) and (9) and recalling that
$\unicode[STIX]{x1D707}\sim d^{2}$
we have either
$\unicode[STIX]{x1D6E5}^{d}(f,\mathbf{p})=0$
or
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn10.gif?pub-status=live)
where we treat
$M$
as
$O(1)$
. Thus, if
$\unicode[STIX]{x1D6FF}=H^{-\unicode[STIX]{x1D6FA}(1/d)}$
, then
$\unicode[STIX]{x1D6E5}^{d}(f,\mathbf{p})$
must vanish for any
$\mathbf{p}$
as above. Thus, as explained above, all points
$\mathbf{f}(p)\in X(\mathbb{Q},H)$
with
$p\in I$
belong to a single algebraic hypersurface
$H_{k}\subset \mathbb{R}^{2}$
of degree at most
$d$
.
Fix
$\unicode[STIX]{x1D700}>0$
and subdivide
$I$
into
$H^{\unicode[STIX]{x1D700}}$
subintervals
$I_{k}$
of length
$\unicode[STIX]{x1D6FF}=H^{-\unicode[STIX]{x1D700}}$
. Then, by the above, all points of
$X(\mathbb{Q},H)$
belong to a union of
$H^{\unicode[STIX]{x1D700}}$
hypersurfaces
$H_{k}\subset \mathbb{R}^{2}$
of degree
$d=O(1/\unicode[STIX]{x1D700})$
. If
$X$
is irreducible and transcendental, then it intersects each
$H_{k}$
properly, and the number of intersections between
$X$
and
$H_{k}$
is uniformly bounded by some constant
$C(X,d)$
depending only on
$X$
and
$d$
(for instance, by Gabrielov’s theorem). Thus, we have
$\#X(\mathbb{Q},H)\leqslant C(X,\unicode[STIX]{x1D700})H^{\unicode[STIX]{x1D700}}$
.
To handle the case of a general compact irreducible analytic curve
$X\subset \mathbb{R}^{2}$
we note that any such curve can be covered by images of analytic maps
$\mathbf{f}:[0,1]\rightarrow X$
and the preceding arguments apply.
1.3.2 Higher dimensions
It is natural to attempt to generalize the proof of § 1.3.1 to sets
$X\subset \mathbb{R}^{m}$
of dimension
$\ell >1$
by induction over
$\ell$
. Namely, the estimates (6) and (9) can be generalized in a relatively straightforward manner, replacing the map
$\mathbf{f}:(0,1)\rightarrow X$
by an arbitrary analytic map
$\mathbf{f}:(0,1)^{\ell }\rightarrow X$
parametrizing an
$\ell$
-dimensional set
$X$
. One similarly obtains
$H^{\unicode[STIX]{x1D700}}$
hypersurfaces
$H_{k}$
of some fixed degree
$d=d(\unicode[STIX]{x1D700})$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn11.gif?pub-status=live)
One would then seek to continue treating each intersection
$X\cap H_{k}$
by induction on the dimension. However, at this point a problem arises: even if the original set
$X$
was parametrized by an analytic map
$\mathbf{f}:(0,1)^{\ell }\rightarrow X$
it is not clear that
$X\cap H_{k}$
could be parametrized in a similar manner. Moreover, if one does obtain a parametrization for each intersection
$X\cap H_{k}$
, then the induction constant
$C(X\cap H_{k},\unicode[STIX]{x1D700})$
would now depend on the specific parametrizations chosen for
$X\cap H_{k}$
, and one must show that these constants are uniformly bounded over all
$H_{k}$
of the given degree
$d$
.
In fact, it is not always possible to choose analytic, or even
$C^{\infty }$
-smooth, parametrizations for the fibers of a family in a uniform manner; even for semialgebraic families of curves. This fundamental limitation was observed in the work of Yomdin [Reference YomdinYom87a]. Consider for example the family of hyperbolas
$X_{\unicode[STIX]{x1D700}}:=(-1,1)^{2}\cap \{x^{2}-y^{2}=\unicode[STIX]{x1D700}\}$
. If one attempts to write
$X_{\unicode[STIX]{x1D700}}$
as a union of images
$\operatorname{Im}\unicode[STIX]{x1D719}_{j}$
for
$C^{\infty }$
-smooth functions
$\unicode[STIX]{x1D719}_{1},\ldots ,\unicode[STIX]{x1D719}_{N_{\unicode[STIX]{x1D700}}}:(0,1)\rightarrow X_{\unicode[STIX]{x1D700}}$
with the maximum norms of the derivatives of every order bounded by
$1$
, then
$N_{\unicode[STIX]{x1D700}}$
necessarily tends to infinity as
$\unicode[STIX]{x1D700}\rightarrow 0$
. Thus, it would not be possible to parametrize all fibers of this family in a uniform manner and apply to them the methods of § 1.3.1.
Surprisingly, a theorem due to Yomdin and Gromov [Reference YomdinYom87a, Reference YomdinYom87b, Reference GromovGro87] states that one can recover the uniformity of
$N_{\unicode[STIX]{x1D700}}$
if one replaces the
$C^{\infty }$
condition by
$C^{r}$
-smoothness for a fixed
$r$
, at least for semialgebraic families. In [Reference Pila and WilkiePW06], Pila and Wilkie generalized this result to the O-minimal setting. Namely, they show [Reference Pila and WilkiePW06, Corollary 5.1] that for any set
$X\subset (0,1)^{m}$
of dimension
$\ell$
definable in an O-minimal structure and any
$r\in \mathbb{N}$
, one can cover
$X$
by images of
$C^{r}$
-maps
$\unicode[STIX]{x1D719}_{1},\ldots ,\unicode[STIX]{x1D719}_{N}:(0,1)^{\ell }\rightarrow X$
where
$N=N(X,r)$
and every
$\unicode[STIX]{x1D719}_{j}$
has
$C^{r}$
-norm bounded by
$1$
in
$(0,1)^{\ell }$
. Moreover (see [Reference Pila and WilkiePW06, Corollary 5.2]), if
$X$
varies in a definable family (and
$r$
is fixed), then
$N$
can be taken to be uniformly bounded over the entire family.
One can now check that in the proof sketched in § 1.3.1 the analyticity assumption can be replaced by
$C^{r}$
-smoothness (with bounded norms) for sufficiently large
$r=r(\unicode[STIX]{x1D700})$
. The intersections
$X\cap H_{k}$
can all be seen as fibers of a single definable family by adding parameters for the coefficients of
$H_{k}$
. One can thus parametrize each intersection
$X\cap H_{k}$
by a uniformly bounded number of
$C^{r}$
maps with unit norms, and the induction step can be carried out as sketched above.
Understanding the behavior of the parametrization complexity
$N(X,r)$
in terms of the geometry of the set
$X$
and the smoothness order
$r$
is a highly non-trivial problem, even in the original context of the Yomdin-Gromov theorem where
$X$
is semialgebraic, and certainly in the context of the O-minimal analog. It is this difficulty that prompted us to seek a more direct approach for resolving the problem of uniformity over families.
1.4 An approach using holomorphic decompositions
We return to the case of a compact irreducible real-analytic curve
$X\subset \mathbb{R}^{2}$
. Let
$p\in X$
and consider
$(X,p)$
as the germ of a complex-analytic curve. Then by Weierstrass preparation
$X$
can be written locally (up to a linear change of coordinate) in the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn12.gif?pub-status=live)
where
$a_{\unicode[STIX]{x1D708}-1},\ldots ,a_{0}$
are holomorphic in a neighborhood of
$p$
. By Weierstrass division it follows that any
$F$
holomorphic in a neighborhood of
$p$
can be written in the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn13.gif?pub-status=live)
where
$Q$
vanishes identically on
$(X,p)$
. Moreover, the coefficients
$c_{i,j}$
are bounded in terms of the norm of
$F$
(cf. Lemma 3). Let
$\unicode[STIX]{x1D6E5}_{p}\subset \mathbb{C}^{2}$
denote a complex polydisc where the decomposition (13) is possible for any holomorphic
$F$
. We suppose for simplicity that
$\unicode[STIX]{x1D6E5}_{p}$
has polyradius
$1$
(the general case can be treated by rescaling).
The polydiscs
$\unicode[STIX]{x1D6E5}_{p}$
serve as a replacement for the parametrizations of § 1.3.1: we will show that one can construct, in a completely analogous manner,
$H^{\unicode[STIX]{x1D700}}$
algebraic hypersurfaces of degree
$d=d(\unicode[STIX]{x1D700})$
containing all points of
$(\unicode[STIX]{x1D6E5}_{p}\,\cap \,X)(\mathbb{Q},H)$
. Thus, instead of covering
$X$
by images of analytic parametrizing maps, we are led to the problem of covering
$X$
by such ‘good neighborhoods’
$\unicode[STIX]{x1D6E5}_{p}$
.
The key argument is the following analog of Lemma 1. Let
$f_{1},f_{2}$
be two holomorphic functions on the polydisc of radius
$2$
around
$p$
and let their absolute values be bounded by
$M$
.
Lemma 2 (Cf. Lemma 9).
Let
$D\,\subset \,\unicode[STIX]{x1D6E5}_{p}$
be a polydisc of polyradius
$\unicode[STIX]{x1D6FF}\,<\,1/2$
, and
$\mathbf{p}\,=\,(p_{1},\ldots ,p_{\unicode[STIX]{x1D707}})\in (D\cap X)$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn14.gif?pub-status=live)
Proof. The proof is essentially the same as that of Lemma 1. We simply replace the Taylor expansion of the function
$f_{1},f_{2}$
by the expansions (13) (and note that
$Q$
vanishes on all points of
$\mathbf{p}$
). In (13) we have at most
$\unicode[STIX]{x1D708}$
terms of each order
$k$
(instead of one term of each order in the case of Taylor expansions), and this only introduces an extra factor depending on
$\unicode[STIX]{x1D708}$
into the asymptotic
$\unicode[STIX]{x1D6FF}^{\unicode[STIX]{x1D6FA}(\unicode[STIX]{x1D707}^{2})}$
in (14).◻
We now proceed as in § 1.3.1 taking
$f_{1}=x$
and
$f_{2}=y$
. In a similar manner, we can cover
$\unicode[STIX]{x1D6E5}_{p}\cap \mathbb{R}^{2}$
by
$H^{\unicode[STIX]{x1D700}}$
polydiscs
$D_{k}$
of polyradius
$H^{-\unicode[STIX]{x1D700}/2}$
, and for each
$D_{k}$
we find an algebraic hypersurface
$H_{k}$
of degree
$d=O(1/\unicode[STIX]{x1D700})$
such that
$(D_{k}\cap X)(\mathbb{Q},H)\subset H_{k}$
. Thus, we see that
$(\unicode[STIX]{x1D6E5}_{p}\cap X)(\mathbb{Q},H)$
is contained in a union of
$H^{\unicode[STIX]{x1D700}}$
algebraic hypersurfaces of degree
$d$
. Since
$X$
is compact it may be covered by finitely many of the polydiscs
$\unicode[STIX]{x1D6E5}_{p}$
, and we finally see that
$X(\mathbb{Q},H)$
is contained in a union of
$O(H^{\unicode[STIX]{x1D700}})$
algebraic hypersurfaces of degree
$d$
.
The main advantage of this approach becomes apparent when we consider families of curves. Namely, unlike in the case of analytic parametrizations, the argument above can be made uniform over analytic families. To illustrate this consider again the family of hyperbolas
$X_{\unicode[STIX]{x1D700}}:=(-1,1)^{2}\cap \{x^{2}-y^{2}=\unicode[STIX]{x1D700}\}$
. The unit polydisc around the origin
$\unicode[STIX]{x1D6E5}_{0}$
is a ‘good neighborhood’ in the sense above, uniformly for every
$\unicode[STIX]{x1D700}$
. Indeed, Weierstrass division with respect to
$y^{2}-x^{2}+\unicode[STIX]{x1D700}$
is possible regardless of the value of
$\unicode[STIX]{x1D700}$
and the norms of the division remain bounded even as
$\unicode[STIX]{x1D700}\rightarrow 0$
. A systematic application of Weierstrass division allows one to generalize this example to an arbitrary family.
The purpose of this paper is to pursue this complex-analytic perspective. In § 2 we define the notion of a decomposition datum (see Definition 4) generalizing the ‘good neighborhoods’
$\unicode[STIX]{x1D6E5}_{p}$
above for complex analytic sets of arbitrary dimension. We then prove in Theorem 3 that one can always cover (a compact piece of) a complex analytic set by finitely many such polydiscs, and that this can be done uniformly over analytic families (with a compact parameter space). In § 3 we show that in each such polydisc the rational points of height
$H$
can be described in analogy with the Bombieri–Pila method of § 1.3.1. In § 4 we prove a result analogous to the Pila–Wilkie theorem for complex analytic sets of arbitrary dimension (and their projections) by induction over dimension, in analogy with the Pila–Wilkie method of § 1.3.2. Finally in § 5 we show that any bounded subanalytic set can be complexified in an appropriate sense, and deduce Theorem 1 from the its complex-analytic version Theorem 4. The key technical tool for this reduction is a quantifier-elimination result of Denef and van den Dries [Reference Denef and van den DriesDvdD88].
2 Uniform decomposition in analytic families
2.1 Weierstrass division with norm estimates
If
$Z$
is a subset of a complex manifold
$\unicode[STIX]{x1D6FA}$
we denote by
${\mathcal{O}}(Z)$
the ring of germs of holomorphic functions in a neighborhood of
$Z$
. If
$Z$
is relatively compact in
$\unicode[STIX]{x1D6FA}$
we denote by
$\Vert \cdot \Vert _{Z}$
the maximum norm on
${\mathcal{O}}(\bar{Z})$
. We denote by
${\mathcal{O}}_{\unicode[STIX]{x1D6FA}}$
the structure sheaf of
$\unicode[STIX]{x1D6FA}$
, and if
$X\subset \unicode[STIX]{x1D6FA}$
is an analytic subset we denote by
${\mathcal{I}}_{X}\subset {\mathcal{O}}_{\unicode[STIX]{x1D6FA}}$
its ideal sheaf and by
${\mathcal{I}}_{X,p}$
the germ of
${\mathcal{I}}_{X}$
at
$p$
. Finally, for an ideal sheaf
${\mathcal{I}}\subset {\mathcal{O}}_{\unicode[STIX]{x1D6FA}}$
we denote by
$V({\mathcal{I}})$
the analytic set that it defines.
We say that a germ
$f\in \mathbb{C}\{z_{1},\ldots ,z_{n},w\}$
is regular of order
$d$
in
$w$
if
$f(0,w)=f_{1}(w)\cdot w^{d}$
with
$f_{1}(0)\neq 0$
. For two polydiscs
$\unicode[STIX]{x1D6E5}_{v}\subset \mathbb{C}$
and
$\unicode[STIX]{x1D6E5}_{h}\subset \mathbb{C}^{n}$
, we say that
$\unicode[STIX]{x1D6E5}:=\unicode[STIX]{x1D6E5}_{h}\times \unicode[STIX]{x1D6E5}_{v}$
is a Weierstrass polydisc for
$f$
if
$f(z,w)$
has exactly
$d$
roots in
$\unicode[STIX]{x1D6E5}_{v}$
for any fixed
$z\in \bar{\unicode[STIX]{x1D6E5}}_{h}$
. In particular,
$\unicode[STIX]{x1D6E5}$
is a Weierstrass polydisc for any sufficiently small
$\unicode[STIX]{x1D6E5}_{v}$
and sufficiently smaller
$\unicode[STIX]{x1D6E5}_{h}$
.
Lemma 3. Let
$f$
be regular of order
$d$
in
$w$
, and
$\unicode[STIX]{x1D6E5}:=\unicode[STIX]{x1D6E5}_{h}\times \unicode[STIX]{x1D6E5}_{v}$
a sufficiently small Weierstrass polydisc for
$f$
. Then:
-
(1) the map
(15)is finite;$$\begin{eqnarray}\unicode[STIX]{x1D70B}:\{f=0\}\cap \unicode[STIX]{x1D6E5}\rightarrow \mathbb{C}^{n},\quad \unicode[STIX]{x1D70B}(z,w)=z\end{eqnarray}$$
-
(2) there exists a constant
$C$ such that any
$g\in {\mathcal{O}}(\bar{\unicode[STIX]{x1D6E5}})$ can be decomposed in the form
(16)with$$\begin{eqnarray}g=qf+\mathop{\sum }_{k=0}^{d-1}g_{j}w^{j},\quad g_{j}=g_{j}(z)\end{eqnarray}$$
$\Vert g_{j}\Vert _{\unicode[STIX]{x1D6E5}},\Vert q\Vert _{\unicode[STIX]{x1D6E5}}\leqslant C\cdot \Vert g\Vert _{\unicode[STIX]{x1D6E5}}$ .
Proof. Since
$\unicode[STIX]{x1D6E5}$
is taken to be sufficiently small we may assume without loss of generality that
$f$
is a Weierstrass polynomial of order
$d$
in
$w$
. Then the first statement is classical and the second is the extended Weierstrass preparation theorem in [Reference Gunning and RossiGR09, II.D. Theorem 1].◻
2.2 Decomposition data
We denote by
$\mathbf{z}$
a fixed system of affine coordinates on
$\mathbb{C}^{n}$
. We say that
$\mathbf{x}$
is a standard coordinate system on
$\mathbb{C}^{n}$
if it is obtained from
$\mathbf{z}$
by an affine unitary transformation. Given
$\mathbf{x}$
, we say that
$(\unicode[STIX]{x1D6E5},\unicode[STIX]{x1D6E5}^{\prime })$
is a pair of polydiscs if
$\unicode[STIX]{x1D6E5}\subset \unicode[STIX]{x1D6E5}^{\prime }$
are two polydiscs with the same center in the
$\mathbf{x}$
coordinates.
For a co-ideal
${\mathcal{M}}\subset \mathbb{N}^{n}$
and
$k\in \mathbb{N}$
we denote by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn17.gif?pub-status=live)
and by
$H_{{\mathcal{M}}}(k):=\#{\mathcal{M}}^{{\leqslant}k}$
its Hilbert–Samuel function. The function
$H_{{\mathcal{M}}}(k)$
is eventually a polynomial in
$k$
, and we denote its degree by
$\dim {\mathcal{M}}$
.
If
$(X,p)$
is the germ of an analytic set in
$\mathbb{C}^{n}$
, then there exists a co-ideal
${\mathcal{M}}$
with
$\dim {\mathcal{M}}=\dim X$
such that every
$F\in {\mathcal{O}}_{p}$
can be decomposed as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn18.gif?pub-status=live)
where
$Q$
vanishes identically on
$X$
. For instance, one may choose
${\mathcal{M}}$
to be the complement of the diagram of initial exponents of
${\mathcal{I}}_{X,p}$
, in which case the claim above is a consequence of Hironaka division. The following definition generalizes this notion from the context of germs to the context of a fixed polydisc.
Definition 4. Let
$X\subset \mathbb{C}^{n}$
be a locally analytic subset,
$\mathbf{x}$
a standard coordinate system,
$(\unicode[STIX]{x1D6E5},\unicode[STIX]{x1D6E5}^{\prime })$
a pair of polydiscs centered at the
$\mathbf{x}$
-origin, and
${\mathcal{M}}\subset \mathbb{N}^{n}$
a co-ideal. We say that
$X$
admits decomposition with respect to the decomposition datum
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn19.gif?pub-status=live)
if there exists a constant denoted by
$\Vert {\mathcal{D}}\Vert$
such that for every holomorphic function
$F\in {\mathcal{O}}(\bar{\unicode[STIX]{x1D6E5}}^{\prime })$
there is a decomposition
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn20.gif?pub-status=live)
where
$Q$
vanishes identically on
$X\cap \unicode[STIX]{x1D6E5}$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn21.gif?pub-status=live)
We define the dimension of the decomposition datum denoted by
$\dim {\mathcal{D}}$
to be
$\dim {\mathcal{M}}$
.
Since
${\mathcal{H}}_{{\mathcal{M}}}(k)$
is eventually a polynomial of degree
$\dim {\mathcal{M}}$
, the function
${\mathcal{H}}_{{\mathcal{M}}}(k)-{\mathcal{H}}_{{\mathcal{M}}}(k-1)$
counting monomials of degree
$k$
in
${\mathcal{M}}$
is eventually a polynomial of degree
$\dim {\mathcal{M}}-1$
. If
$\dim {\mathcal{M}}\geqslant 1$
we denote by
$e({\mathcal{D}})$
the minimal constant satisfying
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn22.gif?pub-status=live)
where
$L(n,k):=\binom{n+k-1}{n-1}$
denotes the dimension of the space of monomials of degree
$k$
in
$n$
variables. In the case
$\dim {\mathcal{D}}=0$
the co-ideal
${\mathcal{M}}$
is finite and we denote by
$e({\mathcal{D}})$
its size.
Example 5. Suppose
$X$
admits decomposition with respect to the decomposition datum
${\mathcal{D}}$
, and
$\dim {\mathcal{D}}=0$
. Then
$N=\#(X\cap \unicode[STIX]{x1D6E5})$
is finite and satisfies
$N\leqslant e({\mathcal{D}})$
. Indeed, by (20) any polynomial on
$\mathbb{C}^{n}$
can be interpolated on
$X\cap \unicode[STIX]{x1D6E5}$
by the
$e({\mathcal{D}})$
monomials of
${\mathcal{M}}$
. Since the linear space of polynomials restricted to
$X\cap \unicode[STIX]{x1D6E5}$
has dimension
$N$
, it follows that
$N\leqslant e({\mathcal{D}})$
.
2.3 Decomposition data for analytic families
If
$X\subset \mathbb{C}^{n}$
is a locally analytic subset and
$k\in \mathbb{N}$
, we denote by
$X^{{\leqslant}k}$
the union of the components of
$X$
that have dimension
$k$
or less. Note that
$X^{{\leqslant}k}$
is locally analytic as well.
Let
$\unicode[STIX]{x1D6FA}\subset \mathbb{C}^{n}$
be an open subset and
$\unicode[STIX]{x1D6EC}$
a complex analytic space. We denote by
$\unicode[STIX]{x1D70B}_{\unicode[STIX]{x1D6FA}},\unicode[STIX]{x1D70B}_{\unicode[STIX]{x1D6EC}}$
the projections from
$\unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
to
$\unicode[STIX]{x1D6FA},\unicode[STIX]{x1D6EC}$
, respectively. For
$X\subset \unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
and
$\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}$
we denote the
$\unicode[STIX]{x1D706}$
-fiber of
$X$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn23.gif?pub-status=live)
The following theorem is our main result on uniform decomposition in families. It says roughly that if one considers a compact piece of an analytic family
$X$
, then each fiber
$X_{\unicode[STIX]{x1D706}}$
at every point
$p$
admits decomposition with respect to some decomposition datum
${\mathcal{D}}$
with
$\dim {\mathcal{D}}=\dim X_{\unicode[STIX]{x1D706}}$
, with the size of the polydisc
$\unicode[STIX]{x1D6E5}$
bounded from below and
$\Vert {\mathcal{D}}\Vert ,e({\mathcal{D}})$
bounded from above uniformly over the (compact) family.
Theorem 3. Let
$X\subset \unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
be an analytic subset,
$K\Subset \unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
a compact subset and
$k\in \mathbb{N}$
. There exists a positive radius
$r>0$
and constants
$C_{D},C_{H}>0$
with the following property. For any
$(p,\unicode[STIX]{x1D706})\in K$
there exists a decomposition datum
${\mathcal{D}}$
such that:
-
(1)
$\unicode[STIX]{x1D6E5}=\unicode[STIX]{x1D6E5}^{\prime }$ is centered at
$p$ , and
$B_{r}(p)\subset \unicode[STIX]{x1D6E5}\subset \unicode[STIX]{x1D6FA}$ ;
-
(2)
$\dim {\mathcal{M}}_{i}\leqslant k$ ,
$\Vert {\mathcal{D}}\Vert \leqslant C_{D}$ and
$e({\mathcal{D}})\leqslant C_{H}$ ;
-
(3)
$(X_{\unicode[STIX]{x1D706}})^{{\leqslant}k}$ admits decomposition with respect to
${\mathcal{D}}$ .
We first consider the problem of constructing decomposition data of dimension
$k$
for fibers of a family
$X$
, under the assumption that all fibers of
$X$
have dimension bounded by
$k$
. This basic case essentially reduces to Hironaka division. For completeness, we give a proof using Weierstrass division.
Lemma 6. Let
$X\subset \unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
be an analytic subset,
$k\in \mathbb{N}$
and suppose
$\dim X_{\unicode[STIX]{x1D706}}\leqslant k$
for every
$\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}$
. Then for any
$p\in \unicode[STIX]{x1D6FA}$
and compact
$K_{\unicode[STIX]{x1D6EC}}\Subset \unicode[STIX]{x1D6EC}$
a there exists a finite collection of decomposition data
$\{{\mathcal{D}}_{i}\}$
such that:
-
(1)
$\unicode[STIX]{x1D6E5}_{i}=\unicode[STIX]{x1D6E5}_{i}^{\prime }$ is centered at
$p$ and contained in
$\unicode[STIX]{x1D6FA}$ ;
-
(2)
$\dim {\mathcal{M}}_{i}\leqslant k$ ;
-
(3) for every
$\unicode[STIX]{x1D706}\in K_{\unicode[STIX]{x1D6EC}}$ the fiber
$X_{\unicode[STIX]{x1D706}}$ admits decomposition with respect to some
${\mathcal{D}}_{i}$ .
Proof. Let
$\mathbf{z}$
be a standard coordinate system centered at
$p$
. We proceed by induction on
$n$
. If
$n=k$
, then the claim holds with any choice of
$\mathbf{x}$
,
${\mathcal{M}}=\mathbb{N}^{n}$
, and
$\unicode[STIX]{x1D6E5}=\unicode[STIX]{x1D6E5}^{\prime }$
any polydisc contained in
$\unicode[STIX]{x1D6FA}$
. The expansion (20) is given by the usual Taylor expansion for
$F$
around the origin with
$Q\equiv 0$
. The inequality (21) is given by the Cauchy estimates.
Suppose
$n>k$
. By compactness it will suffice to prove the claim in a neighborhood of each
$\unicode[STIX]{x1D706}\in K_{\unicode[STIX]{x1D6EC}}$
. Fix
$\unicode[STIX]{x1D706}_{0}\in K_{\unicode[STIX]{x1D6EC}}$
. Since
$\dim X_{\unicode[STIX]{x1D706}_{0}}<n$
there exists
$G\in {\mathcal{I}}_{X,p}$
such that
$G|_{\unicode[STIX]{x1D706}=\unicode[STIX]{x1D706}_{0}}\not \equiv 0$
. By a unitary change of the
$z$
-coordinates, we may suppose that
$G$
is regular with respect to
$z_{n}$
, of some order
$d$
. Then by Lemma 3 the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn24.gif?pub-status=live)
is finite when restricted to an appropriate polydisc
$D=D_{z}\times D_{\unicode[STIX]{x1D706}}$
, where
$D_{z}=D_{h}\times D_{v}$
and
$D_{h},D_{\unicode[STIX]{x1D706}}$
are chosen to be sufficiently smaller than
$D_{v}$
. Then
$Y:=\unicode[STIX]{x1D70B}_{n}(X\cap D)$
is analytic in
$D_{h}\times D_{\unicode[STIX]{x1D706}}$
by the proper mapping theorem.
Let
$K_{\unicode[STIX]{x1D706}_{0}}\subset D_{\unicode[STIX]{x1D706}}$
be some compact neighborhood of
$\unicode[STIX]{x1D706}_{0}$
. Since
$\unicode[STIX]{x1D70B}_{n}:X\rightarrow Y$
is finite we have
$\dim Y_{\unicode[STIX]{x1D706}}\leqslant \dim X_{\unicode[STIX]{x1D706}}\leqslant k$
for
$\unicode[STIX]{x1D706}\in K_{\unicode[STIX]{x1D706}_{0}}$
. Apply the inductive hypothesis with
$Y$
for
$X$
,
$K_{\unicode[STIX]{x1D706}_{0}}$
for
$K_{\unicode[STIX]{x1D6EC}}$
and
$D_{h}$
for
$\unicode[STIX]{x1D6FA}$
to obtain a finite collection of decomposition data
$\{\hat{{\mathcal{D}}}_{i}\}$
. We let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn25.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn26.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn27.gif?pub-status=live)
Note that since
$\hat{\unicode[STIX]{x1D6E5}}_{i}\subset D_{h}$
and
$D_{\unicode[STIX]{x1D706}}$
are chosen to be sufficiently smaller than
$D_{v}$
, Lemma 3 applies with the polydisc
$\unicode[STIX]{x1D6E5}_{i}\times D_{\unicode[STIX]{x1D706}}$
. Applying the lemma to
$F(x,\unicode[STIX]{x1D706})\equiv F(x)$
we obtain a decomposition
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn28.gif?pub-status=live)
with
$\Vert F_{j}\Vert _{\unicode[STIX]{x1D6E5}_{i}\times D_{\unicode[STIX]{x1D706}}}=O_{\unicode[STIX]{x1D706}_{0}}(\Vert F\Vert _{\unicode[STIX]{x1D6E5}_{i}})$
.
By construction,
$Y_{\unicode[STIX]{x1D706}}$
admits decomposition with respect to some
$\hat{{\mathcal{D}}}_{i}$
. Hence, we may decompose the functions
$F_{j}(\cdot )\equiv F_{j}(\cdot ,\unicode[STIX]{x1D706})$
as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn29.gif?pub-status=live)
where:
-
(1)
$\hat{{\mathcal{M}}}_{i}\subset \mathbb{N}^{n-1}$ is a co-ideal and
$\dim \hat{{\mathcal{M}}}_{i}\leqslant k$ ;
-
(2)
$Q_{j}$ vanishes identically on
$Y_{\unicode[STIX]{x1D706}}\cap \hat{\unicode[STIX]{x1D6E5}}_{i}$ ;
-
(3) we have
(30)$$\begin{eqnarray}\Vert c_{j,\unicode[STIX]{x1D6FC}}\hat{\mathbf{x}}_{i}^{\unicode[STIX]{x1D6FC}}\Vert _{\hat{\unicode[STIX]{x1D6E5}}_{i}}=O_{\unicode[STIX]{x1D706}_{0}}(\Vert F_{j}\Vert _{\hat{\unicode[STIX]{x1D6E5}}_{i}})=O_{\unicode[STIX]{x1D706}_{0}}(\Vert F\Vert _{\unicode[STIX]{x1D6E5}_{i}}).\end{eqnarray}$$
To observe the principal limitation of Lemma 6 consider the family
$X:=\{\unicode[STIX]{x1D706}_{1}x=\unicode[STIX]{x1D706}_{2}\}\subset \mathbb{C}_{x}\times \mathbb{C}^{2}$
. The fiber
$X_{(0,0)}$
is one-dimensional while every other fiber is zero-dimensional. We would like to produce decomposition data of dimension zero for the fibers away from the origin, with constants remaining uniformly bounded as we approach the origin. However, Lemma 6 only guarantees the existence of decomposition data of dimension one. The following proposition eliminates this limitation, producing for each fiber a decomposition datum of the correct dimension. The idea of the proof is to use blowing up to avoid the jump in the dimension of the fiber. For instance, the reader may observe that in the preceding example, after blowing up the origin
$\{\unicode[STIX]{x1D706}_{1}=\unicode[STIX]{x1D706}_{2}=0\}$
the strict transform
$\tilde{X}$
has only zero-dimensional fibers.
Proposition 7. Let
$X\subset \unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
be an analytic subset and
$k\in \mathbb{N}$
. Then for any
$p\in \unicode[STIX]{x1D6FA}$
and compact
$K_{\unicode[STIX]{x1D6EC}}\Subset \unicode[STIX]{x1D6EC}$
, there exists a finite collection of decomposition data
$\{{\mathcal{D}}_{i}\}$
such that:
-
(1)
$\unicode[STIX]{x1D6E5}_{i}=\unicode[STIX]{x1D6E5}_{i}^{\prime }$ is centered at
$p$ and contained in
$\unicode[STIX]{x1D6FA}$ ;
-
(2)
$\dim {\mathcal{M}}_{i}\leqslant k$ ;
-
(3) for every
$\unicode[STIX]{x1D706}\in K_{\unicode[STIX]{x1D6EC}}$ the set
$(X_{\unicode[STIX]{x1D706}})^{{\leqslant}k}$ admits decomposition with respect to some
${\mathcal{D}}_{i}$ .
Proof. Let
$m:=\dim \unicode[STIX]{x1D6EC}$
and
$d:=\max \{\dim X_{\unicode[STIX]{x1D706}}:\unicode[STIX]{x1D706}\in K_{\unicode[STIX]{x1D6EC}}\}$
. We proceed by induction on
$(m,d)$
with the lexicographic order. By compactness it will suffice to prove the claim in a neighborhood of each
$\unicode[STIX]{x1D706}\in K_{\unicode[STIX]{x1D6EC}}$
. Fix
$\unicode[STIX]{x1D706}_{0}\in K_{\unicode[STIX]{x1D6EC}}$
. Without loss of generality we may replace
$X$
by its germ at
$(p,\unicode[STIX]{x1D706}_{0})$
and
$\unicode[STIX]{x1D6EC},K_{\unicode[STIX]{x1D6EC}}$
by their germs at
$\unicode[STIX]{x1D706}_{0}$
. For a sufficiently small germ we have (by semicontinuity of the dimension)
$d=\dim X_{\unicode[STIX]{x1D706}_{0}}$
. If
$d\leqslant k$
, then the claim follows by Lemma 6, so we assume
$d>k$
.
We may assume without loss of generality that
$\unicode[STIX]{x1D6EC}$
is smooth. Indeed, otherwise let
$\unicode[STIX]{x1D70E}:M\rightarrow \unicode[STIX]{x1D6EC}$
be a desingularization [Reference HironakaHir64a, Reference HironakaHir64b] of
$\unicode[STIX]{x1D6EC}$
and
$\tilde{X}:=X\times _{\unicode[STIX]{x1D6EC}}M$
. Note that this does not change the pair
$(m,d)$
. Every fiber of
$X$
is a fiber of
$\tilde{X}$
, and it suffices to prove the claim for the compact set
$\unicode[STIX]{x1D70E}^{-1}(K_{\unicode[STIX]{x1D6EC}})$
.
We may also assume without loss of generality that
$\dim X<m+d$
. Indeed, if
$X$
has a component
$X^{\prime }$
of dimension
$m+d$
, then the fibers
$X_{\unicode[STIX]{x1D706}}^{\prime }$
must have pure dimension
$d$
so
$(X_{\unicode[STIX]{x1D706}}^{\prime })^{{\leqslant}k}=\emptyset$
. Thus, it is enough to prove the claim for the union of the components of
$X$
that have dimension strictly smaller than
$m+d$
.
Since
$d=\dim X_{\unicode[STIX]{x1D706}_{0}}$
there exists an affine linear projection
$\unicode[STIX]{x1D70B}_{d}:\mathbb{C}^{n}\rightarrow \mathbb{C}^{d}$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn31.gif?pub-status=live)
is finite. Hence,
$Y=\unicode[STIX]{x1D70B}(X)$
is the germ of an analytic subset at
$(0,\unicode[STIX]{x1D706}_{0})$
. In particular,
$\dim Y=\dim X<m+d$
so
$Y\neq \mathbb{C}^{d}\times \unicode[STIX]{x1D6EC}$
. Then there exists a non-zero
$G\in {\mathcal{I}}_{Y,(0,\unicode[STIX]{x1D706}_{0})}$
. Write
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn32.gif?pub-status=live)
and let
$I$
be the ideal generated by
$\{c_{\unicode[STIX]{x1D6FC}}\}$
in
${\mathcal{O}}_{\unicode[STIX]{x1D6EC},\unicode[STIX]{x1D706}_{0}}$
. Then the set
${\mathcal{C}}:=V(I)\subset \unicode[STIX]{x1D6EC}$
is an analytic space of dimension strictly smaller than
$m$
, and the claim follows for any
$\unicode[STIX]{x1D706}\in {\mathcal{C}}$
by induction on
$m$
. It remains to construct suitable decomposition data for any
$\unicode[STIX]{x1D706}\not \in {\mathcal{C}}$
.
Let
$\unicode[STIX]{x1D702}:\tilde{\unicode[STIX]{x1D6EC}}\rightarrow \unicode[STIX]{x1D6EC}$
denote the blowing up of
$I$
and
$X^{\prime }:=X\times _{\unicode[STIX]{x1D6EC}}\tilde{\unicode[STIX]{x1D6EC}}$
. Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn33.gif?pub-status=live)
be the strict transform of
$X$
(where
$\operatorname{Clo}$
denotes analytic closure). For any
$\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}\setminus {\mathcal{C}}$
, the fiber
$X_{\unicode[STIX]{x1D706}}$
is also a fiber of
$\tilde{X}$
. Thus, it will suffice to prove the claim for the family
$\tilde{X}$
and the compact set
$\unicode[STIX]{x1D702}^{-1}(K_{\unicode[STIX]{x1D6EC}})$
. Let
$\tilde{\unicode[STIX]{x1D706}}\in \tilde{\unicode[STIX]{x1D6EC}}$
and we will show that
$\dim \tilde{X}_{\tilde{\unicode[STIX]{x1D706}}}<d$
, and the claim thus follows by induction on
$d$
.
By definition of the blow-up
$\unicode[STIX]{x1D702}$
, the ideal
$I{\mathcal{O}}_{\tilde{\unicode[STIX]{x1D6EC}},\tilde{\unicode[STIX]{x1D706}}}$
is principal, hence generated by some
$c_{\unicode[STIX]{x1D6FC}}$
. Thus, we may write
$(\operatorname{id}\times \unicode[STIX]{x1D702})^{\ast }G=c_{\unicode[STIX]{x1D6FC}}\tilde{G}$
where
$\tilde{G}\in {\mathcal{O}}_{\mathbb{C}^{d}\times \tilde{\unicode[STIX]{x1D6EC}},(0,\tilde{\unicode[STIX]{x1D706}})}$
does not vanish identically on
$\mathbb{C}^{d}\times \{\tilde{\unicode[STIX]{x1D706}}\}$
. Since
$I=\langle c_{\unicode[STIX]{x1D6FC}}\rangle$
near
$\tilde{\unicode[STIX]{x1D706}}$
, the strict transform satisfies
$\tilde{X}\subset V((\unicode[STIX]{x1D70B}_{d}\times \operatorname{id})^{\ast }\tilde{G})$
and, thus,
$\unicode[STIX]{x1D70B}_{d}(\tilde{X}_{\tilde{\unicode[STIX]{x1D706}}})\subset \mathbb{C}^{d}\cap \{\tilde{G}=0\}$
. The map
$\unicode[STIX]{x1D70B}_{d}|_{\tilde{X}_{\tilde{\unicode[STIX]{x1D706}}}}$
is finite, being the restriction of a finite map
$\unicode[STIX]{x1D70B}_{d}|_{X_{\unicode[STIX]{x1D706}}}$
for some
$\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}$
, and we conclude that
$\dim \tilde{X}_{\tilde{\unicode[STIX]{x1D706}}}<d$
as claimed.◻
Finally, we finish the proof of Theorem 3.
Proof of Theorem 3.
By compactness there exists a ball
$B\subset \mathbb{C}^{n}$
such that
$p+B\subset \unicode[STIX]{x1D6FA}$
for every
$(p,\unicode[STIX]{x1D706})\in K$
. Let
$\unicode[STIX]{x1D6EC}^{\prime }=\unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
and
$K_{\unicode[STIX]{x1D6EC}^{\prime }}=K$
. Define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn34.gif?pub-status=live)
By definition,
$X_{(p,\unicode[STIX]{x1D706})}^{\prime }=(-p)+X_{\unicode[STIX]{x1D706}}$
in
$B$
. Apply Proposition 7 to
$X^{\prime },K_{\unicode[STIX]{x1D6EC}^{\prime }}$
with the point
$q=0$
to obtain a finite collection of decomposition data
$\{{\mathcal{D}}_{i}\}$
with
$\dim {\mathcal{D}}_{i}\leqslant k$
. Let
$C_{D},C_{H}$
be the minimum among the corresponding parameters
$\Vert {\mathcal{D}}_{i}\Vert ,e({\mathcal{D}}_{i})$
and choose some
$r>0$
such that
$B_{r}(0)\subset \unicode[STIX]{x1D6E5}_{i}$
for every
$i$
.
Now let
$(p,\unicode[STIX]{x1D706})\in K$
. By Proposition 7,
$(X_{(p,\unicode[STIX]{x1D706})}^{\prime })^{{\leqslant}k}$
admits decomposition with respect to some
${\mathcal{D}}_{i}$
. Define
${\mathcal{D}}$
as the
$p$
-translate of
${\mathcal{D}}_{i}$
, i.e.
$\unicode[STIX]{x1D6E5}=p+\unicode[STIX]{x1D6E5}_{i}$
and
$\mathbf{x}=p+\mathbf{x}_{i}$
. Then
$(X_{\unicode[STIX]{x1D706}})^{{\leqslant}k}=(p+X_{(p,\unicode[STIX]{x1D706})}^{\prime })^{{\leqslant}k}$
admits decomposition with respect to
${\mathcal{D}}$
as claimed.◻
3 Interpolation determinants and rational points
Let
$A\subset \mathbb{C}^{n}$
be a ball or polydisc around a point
$p\in \mathbb{C}^{n}$
and
$\unicode[STIX]{x1D6FF}>0$
. We let
$A^{\unicode[STIX]{x1D6FF}}$
denote the
$\unicode[STIX]{x1D6FF}^{-1}$
-rescaling of
$A$
around
$p$
, i.e.
$A^{\unicode[STIX]{x1D6FF}}:=p+\unicode[STIX]{x1D6FF}^{-1}(A-p)$
.
Let
$X\subset \mathbb{C}^{n}$
be an analytic subset and
${\mathcal{D}}$
a decomposition datum for
$X$
, and set
$m:=\dim {\mathcal{M}}$
. We suppose
$D$
is a polydisc in the
$\mathbf{x}$
coordinates, centered at
$p$
and
$D^{\unicode[STIX]{x1D6FF}}\subset \unicode[STIX]{x1D6E5}$
.
3.1 Norm estimates
In the following
$\Vert \cdot \Vert$
denotes
$\Vert \cdot \Vert _{D}$
and
$\Vert \cdot \Vert _{\unicode[STIX]{x1D6FF}}$
denotes
$\Vert \cdot \Vert _{D^{\unicode[STIX]{x1D6FF}}}$
. We remark that
$\Vert \mathbf{x}^{\unicode[STIX]{x1D6FC}}\Vert =\Vert \mathbf{x}^{\unicode[STIX]{x1D6FC}}\Vert _{\unicode[STIX]{x1D6FF}}\unicode[STIX]{x1D6FF}^{|\unicode[STIX]{x1D6FC}|}$
.
Proposition 8. Let
$f\in {\mathcal{O}}(\bar{\unicode[STIX]{x1D6E5}}^{\prime })$
and denote
$M:=\Vert f\Vert _{\unicode[STIX]{x1D6E5}^{\prime }}$
. For every
$k\in \mathbb{N}$
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn35.gif?pub-status=live)
where
$Q\in {\mathcal{O}}(\bar{\unicode[STIX]{x1D6E5}})$
vanishes on
$X\cap \unicode[STIX]{x1D6E5}$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn36.gif?pub-status=live)
Moreover,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn37.gif?pub-status=live)
Proof. The decomposition (35) is just (20). Then (21) gives
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn38.gif?pub-status=live)
where we used that fact that
$D^{\unicode[STIX]{x1D6FF}}\subset \unicode[STIX]{x1D6E5}$
in the middle inequality. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn39.gif?pub-status=live)
◻
3.2 Interpolation determinants
Let
$\mathbf{f}:=(f_{1},\ldots ,f_{\unicode[STIX]{x1D707}})$
be a collection of functions and
$\mathbf{p}:=(p_{1},\ldots ,p_{\unicode[STIX]{x1D707}})$
a collection of points. We define the interpolation determinant
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn40.gif?pub-status=live)
In the asymptotic notation
${\sim}_{m},O_{m},\unicode[STIX]{x1D6FA}_{m}$
in the following we use the subscript
$m$
to indicate that the implied constants depend only on
$m$
. The following lemma and its proof are direct analogs of the interpolation determinant estimates of [Reference Bombieri and PilaBP89]. We remark that in this paper we will not make explicit use of the estimates for the constants
$C,E$
in terms of
$\Vert {\mathcal{D}}\Vert ,e({\mathcal{D}})$
.
Lemma 9. Assume
$m>0$
. Suppose
$f_{i}\in {\mathcal{O}}(\bar{\unicode[STIX]{x1D6E5}}^{\prime })$
with
$\Vert f_{i}\Vert _{\unicode[STIX]{x1D6E5}^{\prime }}\leqslant M$
and
$p_{i}\in D\cap X$
for
$i=1,\ldots ,\unicode[STIX]{x1D707}$
. Assume
$\unicode[STIX]{x1D6FF}<1/2$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn41.gif?pub-status=live)
where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn42.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn43.gif?pub-status=live)
Proof. We set
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn44.gif?pub-status=live)
Since
$\sum _{l=0}^{j}L(m,l)=L(m+1,j)$
is a polynomial of degree
$m$
we have
$k{\sim}_{m}(\unicode[STIX]{x1D707}/e({\mathcal{D}}))^{1/m}$
.
We consider the expansions (35) for each
$f_{i}$
with
$k$
as above,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn45.gif?pub-status=live)
We note that
$Q_{i}$
vanishes identically on
$X\cap \unicode[STIX]{x1D6E5}$
and, in particular, at every
$p_{j}$
. By the definition of
$k$
, the number of remaining terms in (45) does not exceed
$\unicode[STIX]{x1D707}$
. We expand
$\unicode[STIX]{x1D6E5}(\mathbf{f},\mathbf{p})$
by linearity with respect to each column. We thus obtain a sum of at most
$\unicode[STIX]{x1D707}^{\unicode[STIX]{x1D707}}$
interpolation determinants
$\unicode[STIX]{x1D6E5}_{I}$
where each
$f_{i}$
is replaced by either a monomial term
$m_{\unicode[STIX]{x1D6FC}}(f_{i})$
or a residue term
$R_{k}(f_{i})$
. By (37) we have for
$i=1,\ldots ,\unicode[STIX]{x1D707}$
and for every
$\unicode[STIX]{x1D6FC}\in {\mathcal{M}}^{{<}k}$
,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn46.gif?pub-status=live)
We remark that these are estimates for the maximum norm in
$D$
and, in particular, they bound the absolute value of
$m_{\unicode[STIX]{x1D6FC}}(f_{i}),R_{k}(f_{i})$
at every point
$p_{j}$
.
Note that if the same index
$\unicode[STIX]{x1D6FC}$
is repeated in two different columns of
$\unicode[STIX]{x1D6E5}_{I}$
, then these columns are linearly dependent and
$\unicode[STIX]{x1D6E5}_{I}\equiv 0$
. Thus, for every non-zero
$\unicode[STIX]{x1D6E5}_{I}$
we can have at most
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn47.gif?pub-status=live)
monomial terms of order
$|\unicode[STIX]{x1D6FC}|=j$
. We now expand
$\unicode[STIX]{x1D6E5}_{I}$
by the Laplace expansion. By definition of
$k$
and by (46) we conclude that for each
$\unicode[STIX]{x1D6E5}_{I}$
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn48.gif?pub-status=live)
Since
$L(m,l)\cdot l$
is a polynomial of degree
$m$
in
$l$
, we conclude that
$S(m,k){\sim}_{m}e({\mathcal{D}})k^{m+1}$
.
Plugging in
$k{\sim}_{m}(\unicode[STIX]{x1D707}/e({\mathcal{D}}))^{1/m}$
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn49.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn50.gif?pub-status=live)
Summing over the (at most)
$\unicode[STIX]{x1D707}^{\unicode[STIX]{x1D707}}$
determinants
$\unicode[STIX]{x1D6E5}_{I}$
we obtain (41).◻
3.3 Polynomial interpolation determinants
Let
$d\in \mathbb{N}$
and fix an integer
$m<\ell \leqslant n$
. Let
$\unicode[STIX]{x1D707}$
denote the dimension of the space of polynomials of degree at most
$d$
in
$\ell$
variables,
$\unicode[STIX]{x1D707}=L(\ell +1,d)$
. Let
$\mathbf{f}:=(f_{1},\ldots ,f_{\ell })$
be a collection of functions and
$\mathbf{p}:=(p_{1},\ldots ,p_{\unicode[STIX]{x1D707}})$
a collection of points. We define the polynomial interpolation determinant of degree
$d$
to be
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn51.gif?pub-status=live)
Note that
$\unicode[STIX]{x1D6E5}^{d}(\mathbf{f},\mathbf{p})=0$
if and only if there exists a polynomial of degree at most
$d$
in
$\ell$
variables vanishing at the points
$\mathbf{f}(p_{1}),\ldots ,\mathbf{f}(p_{\unicode[STIX]{x1D707}})$
.
Lemma 10. Let
$H\in \mathbb{N}$
and suppose that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn52.gif?pub-status=live)
Then
$\unicode[STIX]{x1D6E5}^{d}(\mathbf{f},\mathbf{p})$
either vanishes or satisfies
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn53.gif?pub-status=live)
Proof. Let
$Q_{i,j}$
denote the denominator of
$f_{i}(p_{j})$
for
$i=1,\ldots ,\ell$
and
$j=1,\ldots ,\unicode[STIX]{x1D707}$
. By assumption
$Q_{i,j}\leqslant H$
. The row corresponding to
$p_{j}$
in
$\unicode[STIX]{x1D6E5}^{d}(\mathbf{f},\mathbf{p})$
consists of rational numbers with common denominator dividing
$Q_{j}:=\prod _{i}Q_{i,j}^{d}$
. Factoring out
$Q_{j}$
from each row we obtain a matrix with integer entries, whose determinant is either vanishing or at least one in absolute value. In the non-vanishing case we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn54.gif?pub-status=live)
◻
Comparing Lemmas 9 and 10 we obtain the following.
Proposition 11. Let
$M,H\geqslant 2$
, and suppose
$f_{i}\in {\mathcal{O}}(\bar{\unicode[STIX]{x1D6E5}}^{\prime })$
with
$\Vert f_{i}\Vert _{\unicode[STIX]{x1D6E5}^{\prime }}\leqslant M$
. Assume
$\unicode[STIX]{x1D6FF}<1/2$
. Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn55.gif?pub-status=live)
There exist a constant
$C_{1}>0$
depending only on
$\ell$
such that if
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn56.gif?pub-status=live)
then
$Y(\mathbb{Q},H)$
is contained in an algebraic hypersurface of degree at most
$d$
in
$\mathbb{C}^{\ell }$
. The same conclusion holds for
$m=0$
if instead of (56) we assume
$d\geqslant e({\mathcal{D}})$
.
Proof. We consider first the case
$m=0$
. In this case according to Example 5 the number of points in
$X\cap \unicode[STIX]{x1D6E5}$
is bounded by
$e({\mathcal{D}})$
. In particular, this bounds the number of points in
$Y$
, and all the more in
$Y(\mathbb{Q},H)$
. Thus, the claim holds with any
$d\geqslant e({\mathcal{D}})$
.
Now assume
$m>0$
and suppose toward contradiction that
$Y(\mathbb{Q},H)$
is not contained in an algebraic hypersurface of degree at most
$d$
in
$\mathbb{C}^{\ell }$
. Then by standard linear algebra it follows that there exist
$\mathbf{p}=(p_{1},\ldots ,p_{\unicode[STIX]{x1D707}})$
with
$p_{1},\ldots ,p_{\unicode[STIX]{x1D707}}\in X\cap D$
such that
$\{\mathbf{f}(p_{j}):j=1,\ldots ,\unicode[STIX]{x1D707}\}$
is a subset of
$Y(\mathbb{Q},H)$
and does not lie on the zero locus of a non-zero polynomial of degree
$d$
. Then
$|\unicode[STIX]{x1D6E5}^{d}(\mathbf{f},\mathbf{p})|\neq 0$
, and from Lemmas 10 and 9 we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn57.gif?pub-status=live)
Takings logarithms and using
$\unicode[STIX]{x1D707}{\sim}_{\ell }d^{\ell }$
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn58.gif?pub-status=live)
Noting that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn59.gif?pub-status=live)
and collecting all asymptotic constants into
$C_{1}$
we arrive at a contradiction with (56).◻
Corollary 12. Let
$\ell =m+1$
and suppose
$f_{i}\in {\mathcal{O}}(\bar{\unicode[STIX]{x1D6E5}}^{\prime })$
with
$\Vert f_{i}\Vert _{\unicode[STIX]{x1D6E5}^{\prime }}\leqslant M$
. Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn60.gif?pub-status=live)
For every
$\unicode[STIX]{x1D700}>0$
there exist two positive constants
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn61.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn62.gif?pub-status=live)
such that if
$\unicode[STIX]{x1D6FF}\leqslant CH^{-\unicode[STIX]{x1D700}}$
, then
$Y(\mathbb{Q},H)$
is contained in an algebraic hypersurface of degree at most
$d$
in
$\mathbb{C}^{m+1}$
.
Proof. By Proposition 11 for
$m>0$
it is enough to choose
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn63.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn64.gif?pub-status=live)
and for
$m=0$
it is enough to choose
$d=e({\mathcal{D}})$
and, e.g.,
$C=1$
.◻
Pursuing a different asymptotic direction for the parameters we also obtain the following corollary.
Corollary 13. Suppose
$m>0$
and
$f_{i}\in {\mathcal{O}}(\bar{\unicode[STIX]{x1D6E5}}^{\prime })$
with
$\Vert f_{i}\Vert _{\unicode[STIX]{x1D6E5}^{\prime }}\leqslant M$
. Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn65.gif?pub-status=live)
There exists a constant
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn66.gif?pub-status=live)
such that if
$\unicode[STIX]{x1D6FF}<C$
, then there exists an algebraic hypersurface of degree at most
$(\log H)^{m/(\ell -m)}$
in
$\mathbb{C}^{\ell }$
containing
$Y(\mathbb{Q},H)$
.
Proof. Choosing
$d=(\log H)^{m/(\ell -m)}$
in Proposition 11 we see that the right-hand side of (56) is majorated by a constant depending only on
$\ell ,e({\mathcal{D}}),\Vert {\mathcal{D}}\Vert ,M$
.◻
We are now ready to finish the proof of Theorem 2.
Proof of Theorem 2.
By Theorem 3 applied to the family
$K$
and the dimension
$k$
, there exists a positive radius
$r>0$
and constants
$C_{D},C_{H}>0$
with the following property. For any
$v=(x,y)\in K$
there exists a decomposition datum
${\mathcal{D}}_{v}$
such that:
-
(1)
$\unicode[STIX]{x1D6E5}_{v}=\unicode[STIX]{x1D6E5}_{v}^{\prime }$ is centered at
$x$ , and
$B_{r}(x)\subset \unicode[STIX]{x1D6E5}_{v}$ ;
-
(2)
$\dim {\mathcal{M}}_{i}\leqslant k$ ,
$\Vert {\mathcal{D}}\Vert _{v}\leqslant C_{D}$ and
$e({\mathcal{D}}_{v})\leqslant C_{H}$ ;
-
(3)
$X_{y}$ admits decomposition with respect to
${\mathcal{D}}$ .
Set
$D_{v}:=\unicode[STIX]{x1D6E5}_{v}^{2/C}$
, where
$C$
is the constant given in Corollary 13 with
$\ell =m$
and
$\mathbf{f}$
given by the standard coordinates on
$\mathbb{C}^{m}$
(note that
$C$
depends on
$C_{D},C_{H}$
but not on
$v$
). Then by Corollary 13 we see that
$(X_{y}\cap D_{v})(\mathbb{Q},H)$
is contained in an algebraic hypersurface of degree
$(\log H)^{k/(m-k)}$
. It now remains to cover
$K$
by some finite number
$C(K)$
of the discs
$D_{v}$
and apply the above to each of them.◻
4 Exploring rational points in admissible projections
We begin with a definition.
Definition 14. Let
$X\subset \mathbb{C}^{m}$
and
$W\subset \mathbb{C}^{m}$
be two sets. We define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn67.gif?pub-status=live)
to be the set of points of
$W$
such that
$X$
contains the germ of
$W$
around
$w$
, i.e. such that
$w$
has a neighborhood
$U_{w}\subset \mathbb{C}^{m}$
such that
$W\cap U_{w}\subset X$
.
If
$A\subset \mathbb{C}^{n}$
we denote by
$A_{\mathbb{R}}:=A\cap \mathbb{R}^{n}$
. We remark that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn68.gif?pub-status=live)
We will consider Definition 14 in two cases: for
$X\subset \mathbb{C}^{m}$
locally analytic and
$W\subset \mathbb{C}^{m}$
an algebraic variety, and for
$X\subset \mathbb{R}^{m}$
subanalytic and
$W\subset \mathbb{R}^{m}$
a semi-algebraic set.
Our principal motivation for Definition 14 is the following direct consequence (cf. Theorem 6).
Lemma 15. Let
$S\subset \mathbb{R}^{m}$
be a connected positive-dimensional semialgebraic set and
$A\subset \mathbb{R}^{m}$
. Then
$A(S)\subset A^{\text{alg}}$
.
We record some simple consequences.
Lemma 16. Let
$A,B,W\subset \mathbb{C}^{m}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn69.gif?pub-status=live)
If
$A\subset B$
is relatively open, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn70.gif?pub-status=live)
4.1 Projections from admissible graphs
Let
$\unicode[STIX]{x1D6FA}_{z}\subset \mathbb{C}^{m},\unicode[STIX]{x1D6FA}_{w}\subset \mathbb{C}^{n}$
be domains and set
$\unicode[STIX]{x1D6FA}:=\unicode[STIX]{x1D6FA}_{z}\times \unicode[STIX]{x1D6FA}_{w}\subset \mathbb{C}^{m+n}$
. Let
$\unicode[STIX]{x1D6EC}$
be an analytic space. We denote by
$\unicode[STIX]{x1D70B}_{z},\unicode[STIX]{x1D70B}_{w},\unicode[STIX]{x1D70B}_{\unicode[STIX]{x1D6EC}}$
the projections from
$\unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
to
$\unicode[STIX]{x1D6FA}_{z},\unicode[STIX]{x1D6FA}_{w},\unicode[STIX]{x1D6EC}$
, respectively. We denote by
$\unicode[STIX]{x1D70B}:\unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}\rightarrow \unicode[STIX]{x1D6FA}_{z}\times \unicode[STIX]{x1D6EC}$
the projection
$\unicode[STIX]{x1D70B}=\unicode[STIX]{x1D70B}_{z}\times \unicode[STIX]{x1D70B}_{\unicode[STIX]{x1D6EC}}$
.
Let
$U\subset \unicode[STIX]{x1D6FA}_{z}\times \unicode[STIX]{x1D6EC}$
be an open subset and
$\unicode[STIX]{x1D713}:U\rightarrow \unicode[STIX]{x1D6FA}_{w}$
a function, and denote its graph by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn71.gif?pub-status=live)
We denote by
$\tilde{\unicode[STIX]{x1D713}}:U\rightarrow \unicode[STIX]{x1D6E4}_{\unicode[STIX]{x1D713}}$
the map
$(z,\unicode[STIX]{x1D706})\rightarrow (z,\unicode[STIX]{x1D713}(z,\unicode[STIX]{x1D706}),\unicode[STIX]{x1D706})$
.
Definition 17. We say that
$\unicode[STIX]{x1D713}:U\,\rightarrow \,\unicode[STIX]{x1D6FA}_{w}$
is admissible if
$\unicode[STIX]{x1D6E4}\,=\,\unicode[STIX]{x1D6E4}_{\unicode[STIX]{x1D713}}$
is relatively compact in
$\unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
, and if there exists an analytic subset
$X_{\unicode[STIX]{x1D6E4}}\,\subset \,\unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
which agrees with
$\unicode[STIX]{x1D6E4}$
over
$U$
, i.e.
$X_{\unicode[STIX]{x1D6E4}}\,\cap \,\unicode[STIX]{x1D70B}^{-1}(U)=\unicode[STIX]{x1D6E4}$
.
4.2 Rational points on admissible projections
For the remainder of this section we fix an admissible
$\unicode[STIX]{x1D719}:U\rightarrow \unicode[STIX]{x1D6FA}_{w}$
. Our main result in this section is the following theorem.
Theorem 4. Let
$X\subset \unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
be an analytic family. Set
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn72.gif?pub-status=live)
Let
$\unicode[STIX]{x1D700}>0$
. There exist constants
$d=d(\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D700})$
and
$N=N(\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D700})$
with the following property. For any
$\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}$
and any
$H\in \mathbb{N}$
there exist at most
$NH^{\unicode[STIX]{x1D700}}$
many irreducible algebraic varieties
$V_{\unicode[STIX]{x1D6FC}}\subset \mathbb{C}^{m}$
with
$\deg V_{\unicode[STIX]{x1D6FC}}\leqslant d$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn73.gif?pub-status=live)
We begin the proof of Theorem 4 with the following proposition.
Proposition 18. Let
$X\subset \unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
be an analytic family and set
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn74.gif?pub-status=live)
Let
$W\subset \mathbb{C}^{m}$
be an irreducible algebraic variety.
Let
$\unicode[STIX]{x1D700}>0$
. There exist constants
$d=d(\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D700},\deg W)$
and
$N=N(\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D700},\deg W)$
with the following property. For any
$\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}$
and any
$H\in \mathbb{N}$
there exist
$NH^{\unicode[STIX]{x1D700}}$
hypersurfaces
$H_{\unicode[STIX]{x1D6FC}}\subset \mathbb{C}^{m}$
with
$\deg H_{\unicode[STIX]{x1D6FC}}\leqslant d$
such that
$W\not \subset H_{\unicode[STIX]{x1D6FC}}$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn75.gif?pub-status=live)
Proof. Since the statement involves only the intersection
$X\cap \unicode[STIX]{x1D6E4}$
we may without loss of generality replace
$X$
by
$X\cap X_{\unicode[STIX]{x1D6E4}}$
, and assume that
$X\cap \unicode[STIX]{x1D70B}^{-1}(U)\subset \unicode[STIX]{x1D6E4}$
.
Set
$k:=\dim W$
. Let
${\mathcal{C}}$
denote the projective (hence, compact) Chow variety (see [Reference Gelfand, Kapranov and ZelevinskyGKZ94, Ch. 4]) parametrizing all effective algebraic cycles of dimension
$k$
and degree equal to
$\deg W$
. We denote by
$R_{V}\in {\mathcal{C}}$
the point corresponding to a cycle
$V$
. Then the following family is analytic,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn76.gif?pub-status=live)
Clearly,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn77.gif?pub-status=live)
We apply Theorem 3 to
$X^{\prime }$
with the compact set
$\bar{\unicode[STIX]{x1D6E4}}\times {\mathcal{C}}$
and consider the conclusion for points of the form
$(p,\unicode[STIX]{x1D706},R_{W})$
for
$(p,\unicode[STIX]{x1D706})\in \bar{\unicode[STIX]{x1D6E4}}$
. We conclude that there exist
$r,C_{D},C_{H}>0$
depending only on
$\unicode[STIX]{x1D6E4},\deg W$
such that for any
$(p,\unicode[STIX]{x1D706})\in \bar{\unicode[STIX]{x1D6E4}}$
there exists a decomposition datum
${\mathcal{D}}$
satisfying:
-
(1)
$\unicode[STIX]{x1D6E5}=\unicode[STIX]{x1D6E5}^{\prime }$ is centered at
$p$ , and
$B_{r}(p)\subset \unicode[STIX]{x1D6E5}\subset \unicode[STIX]{x1D6FA}$ ;
-
(2)
$\dim {\mathcal{M}}_{i}<k$ ,
$\Vert {\mathcal{D}}\Vert \leqslant C_{D}$ and
$e({\mathcal{D}})\leqslant C_{H}$ ;
-
(3) the set
(78)admits decomposition with respect to$$\begin{eqnarray}Z_{\unicode[STIX]{x1D706}}=(X_{\unicode[STIX]{x1D706}}\cap (W\times \unicode[STIX]{x1D6FA}_{w}))^{{<}k}\end{eqnarray}$$
${\mathcal{D}}$ .
Fix
$\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}$
, let
$q\in Y_{\unicode[STIX]{x1D706}}\cap W$
, and suppose
$q\not \in \operatorname{Sing}W$
and
$q\not \in Y_{\unicode[STIX]{x1D706}}(W)$
. Then the germ of
$W$
at
$q$
is smooth
$k$
-dimensional and not contained in
$Y_{\unicode[STIX]{x1D706}}$
. Equivalently, its image
$\tilde{\unicode[STIX]{x1D713}}(W\times \{\unicode[STIX]{x1D706}\})\subset \unicode[STIX]{x1D6E4}$
is the germ of a smooth
$k$
-dimensional analytic set at
$\tilde{\unicode[STIX]{x1D713}}(q,\unicode[STIX]{x1D706})$
that is not contained in
$X_{\unicode[STIX]{x1D706}}$
. Since we assume
$X\subset \unicode[STIX]{x1D6E4}$
in a neighborhood of
$\tilde{\unicode[STIX]{x1D713}}(q,\unicode[STIX]{x1D706})$
, we conclude that the dimension of
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn79.gif?pub-status=live)
at
$\tilde{\unicode[STIX]{x1D713}}(q,\unicode[STIX]{x1D706})$
is strictly smaller than
$k$
, i.e.
$(q,\unicode[STIX]{x1D713}(q,\unicode[STIX]{x1D706}))\in Z_{\unicode[STIX]{x1D706}}$
and, thus,
$q\in \unicode[STIX]{x1D70B}(Z_{\unicode[STIX]{x1D706}})$
. In conclusion,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn80.gif?pub-status=live)
Fix a hypersurface
$H_{0}\subset \mathbb{C}^{m}$
containing
$\operatorname{Sing}W$
and not containing
$W$
. It is clear that one can choose
$H_{0}$
of some degree
$d_{0}$
depending only on
$\deg W$
.
Since
$\dim W=k$
, one can choose a subset of
$k$
coordinates on
$\mathbb{C}^{m}$
, say
$\mathbf{f}=(z_{1},\ldots ,z_{k})$
, such that
$\mathbf{f}:W\rightarrow \mathbb{C}^{k}$
is dominant. In particular, no non-zero polynomial in the coordinates
$\mathbf{f}$
vanishes on
$W$
. Since
$\bar{\unicode[STIX]{x1D6E4}}$
is compact, the coordinates
$\mathbf{f}$
are certainly bounded (in absolute value) in the
$r$
-neighborhood of
$\bar{\unicode[STIX]{x1D6E4}}$
by some number
$M$
. Fix some
$\unicode[STIX]{x1D700}^{\prime }>0$
whose value will be determined later, and let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn81.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn82.gif?pub-status=live)
be the two constants of Corollary 12.
Let
$\unicode[STIX]{x1D6FF}=CH^{-\unicode[STIX]{x1D700}^{\prime }}$
. Let
$p\in (\bar{\unicode[STIX]{x1D6E4}})_{\unicode[STIX]{x1D706}}$
and denote
$D_{p}=D_{\unicode[STIX]{x1D6FF}r}(p)\subset \unicode[STIX]{x1D6FA}$
. We apply Corollary 12 to
$\mathbf{f}$
and the set
$Z_{\unicode[STIX]{x1D706}}$
and conclude that there exists a polynomial
$P_{p}(\mathbf{f})$
of degree at most
$d$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn83.gif?pub-status=live)
We let
$H_{p}:=\{P_{p}=0\}\subset \mathbb{C}^{m}$
.
Finally, it remains to cover the compact set
$(\bar{\unicode[STIX]{x1D6E4}})_{\unicode[STIX]{x1D706}}$
by the polydiscs
$\{D_{p}:p\in S\}$
for some finite set
$S\subset (\bar{\unicode[STIX]{x1D6E4}})_{\unicode[STIX]{x1D706}}$
and take
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn84.gif?pub-status=live)
Then (80) and the choice of
$H_{0},H_{p}$
gives
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn85.gif?pub-status=live)
as claimed.
Since each
$D_{p}$
has radius at least
$CrH^{-\unicode[STIX]{x1D700}^{\prime }}$
and
$\bar{\unicode[STIX]{x1D6E4}}$
is compact, it is easy to see that one can choose a covering of size at most
$NH^{\unicode[STIX]{x1D700}^{\prime }(n+m)}$
, where
$N=N(Cr,\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D700}^{\prime })$
. Finally taking
$\unicode[STIX]{x1D700}^{\prime }=\unicode[STIX]{x1D700}/(n+m)$
we obtain the statement of the proposition.◻
The following lemma gives an inductive proof of Theorem 4, which is obtained for the case
$W=\mathbb{C}^{m}$
.
Lemma 19. Let
$X\subset \unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
be an analytic family and set
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn86.gif?pub-status=live)
Let
$W\subset \mathbb{C}^{n}$
be an irreducible algebraic variety.
Let
$\unicode[STIX]{x1D700}>0$
. There exist constants
$d=d(\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D700},\deg W)$
and
$N=N(\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D700},\deg W)$
with the following property. For any
$\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}$
and any
$H\in \mathbb{N}$
, there exist at most
$NH^{\unicode[STIX]{x1D700}}$
many irreducible algebraic varieties
$V_{\unicode[STIX]{x1D6FC}}\subset \mathbb{C}^{m}$
with
$\deg V_{\unicode[STIX]{x1D6FC}}\leqslant d$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn87.gif?pub-status=live)
Proof. We proceed by induction on
$\dim W$
. Apply Proposition 18 to obtain a family of at most
$N^{\prime }H^{\unicode[STIX]{x1D700}/2}$
hypersurfaces
$\{H_{\unicode[STIX]{x1D6FC}^{\prime }}\}\subset \mathbb{C}^{m}$
of degree
$d^{\prime }$
. Let
$\{W_{\unicode[STIX]{x1D6FC}}\}$
denote the union over
$\unicode[STIX]{x1D6FC}^{\prime }$
of the sets of irreducible components of
$W\cap H_{\unicode[STIX]{x1D6FC}^{\prime }}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn88.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn89.gif?pub-status=live)
Apply the inductive hypothesis to each
$W_{\unicode[STIX]{x1D6FC}}$
to obtain collections
$W_{\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD}}$
, of size at most
$N^{\prime \prime }H^{\unicode[STIX]{x1D700}/2}$
for each
$\unicode[STIX]{x1D6FC}$
, such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn90.gif?pub-status=live)
Finally, we take
$\{V_{\unicode[STIX]{x1D6FC}}\}$
to be the union of the sets
$\{W\}$
and
$\{W_{\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD}}\}$
. The size of
$\{V_{\unicode[STIX]{x1D6FC}}\}$
is bounded by
$1+d^{\prime }N^{\prime }N^{\prime \prime }H^{\unicode[STIX]{x1D700}}$
as claimed and (87) is satisfied by (89) and (90).◻
5 Subanalytic sets and
$L_{\text{an}}^{D}$
Let
$I=[-1,1]$
. For
$m\geqslant 0$
we let
$\mathbb{R}\{X_{1},\ldots ,X_{m}\}$
denote the ring of power series converging in a neighborhood of
$I^{m}$
. To each
$f\in \mathbb{R}\{X_{1},\ldots ,X_{m}\}$
we naturally associate the map
$f:I^{m}\rightarrow \mathbb{R}$
.
We recall the language
$L_{\text{an}}^{D}$
of [Reference Denef and van den DriesDvdD88]. The language includes a countable set of variables
$\{X_{1},X_{2},\ldots \}$
, a relation symbol
${<}$
, a binary operation symbol
$D$
, and an
$m$
-ary operation symbol
$f$
for every
$f\in \mathbb{R}\{X_{1},\ldots ,X_{m}\}$
satisfying
$f(I^{m})\subset I$
. We view
$I$
as an
$L_{\text{an}}^{D}$
-structure by interpreting
${<}$
and
$f$
in the obvious way and interpreting
$D$
as restricted division, namely
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn91.gif?pub-status=live)
We denote by
$L_{\text{an}}$
the language obtained from
$L_{\text{an}}^{D}$
by omitting
$D$
.
For every
$L_{\text{an}}^{D}$
-term
$t(X_{1},\ldots ,X_{m})$
we have an associated map
$t:I^{m}\rightarrow I$
that we denote by
$x\rightarrow t(x)$
. If
$t$
is an
$L_{\text{an}}$
-term, then this map is real analytic in
$I^{m}$
.
For an
$L_{\text{an}}^{D}$
-formula
$\unicode[STIX]{x1D719}(X_{1},\ldots ,X_{m})$
we write
$\unicode[STIX]{x1D719}(I^{m})$
for the set of points
$x\in I^{m}$
satisfying
$\unicode[STIX]{x1D719}$
. If
$A\subset I^{m}$
we write
$\unicode[STIX]{x1D719}(A):=\unicode[STIX]{x1D719}(I^{m})\cap A$
. We will use the following key result of [Reference Denef and van den DriesDvdD88].
Theorem 5.
$I$
has elimination of quantifiers in
$L_{\text{an}}^{D}$
. As a consequence, a set
$A\subset I^{m}$
is subanalytic in
$\mathbb{R}^{m}$
if and only if it is defined by a quantifier-free formula
$\unicode[STIX]{x1D719}$
of
$L_{\text{an}}^{D}$
.
5.1 Admissible formulas
Let
$U\subset \mathring{I}^{m}$
be an open subset. We define the notion of an
$L_{\text{an}}^{D}$
-term admissible in
$U$
by recursion as follows: a variable
$X_{j}$
is always admissible in
$U$
; a term
$f(t_{1},\ldots ,t_{m})$
is admissible in
$U$
if and only if the terms
$t_{1},\ldots ,t_{m}$
are admissible in
$U$
; and a term
$D(t_{1},t_{2})$
is admissible in
$U$
if
$t_{1},t_{2}$
are admissible in
$U$
and if
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn92.gif?pub-status=live)
for every
$x\in U$
. An easy induction gives the following.
Lemma 20. If
$t$
is admissible in
$U$
then the map
$t:U\rightarrow I$
is real analytic.
We will say that an
$L_{\text{an}}^{D}$
-formula
$\unicode[STIX]{x1D719}$
is admissible in
$U$
if all terms appearing in
$\unicode[STIX]{x1D719}$
are admissible in
$U$
. Here and below, when speaking about ‘terms appearing in
$\unicode[STIX]{x1D719}$
’ we consider not only the top-level terms appearing in the relations, but also every sub-term appearing in the construction tree of each term. The following proposition shows that when considering definable subsets of
$I$
one can essentially reduce to admissible formulas.
Proposition 21. Let
$U\subset \mathring{I}^{m}$
be an open subset and
$\unicode[STIX]{x1D719}(X_{1},\ldots ,X_{m})$
a quantifier-free
$L_{\text{an}}^{D}$
-formula. There exist open subsets
$U_{1},\ldots ,U_{k}\subset U$
and quantifier-free
$L_{\text{an}}^{D}$
-formulas
$\unicode[STIX]{x1D719}_{1},\ldots ,\unicode[STIX]{x1D719}_{k}$
such that
$\unicode[STIX]{x1D719}_{j}$
is admissible in
$U_{j}$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn93.gif?pub-status=live)
Proof. We prove the claim by induction on the number
$N$
of
$U$
-inadmissible terms in
$\unicode[STIX]{x1D719}$
. Clearly, if this number is zero we are done. Otherwise, let
$t$
be some minimal
$U$
-inadmissible term in
$\unicode[STIX]{x1D719}$
, i.e. such that all sub-terms appearing in
$t$
are
$U$
-admissible. Express
$\unicode[STIX]{x1D719}$
in the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn94.gif?pub-status=live)
for a quantifier-free
$L_{\text{an}}^{D}$
-formula
$\unicode[STIX]{x1D719}^{\prime }$
of
$m+1$
free variables. By the definition of admissibility it is clear that
$t=D(t_{1},t_{2})$
, and by minimality
$t_{1},t_{2}$
are admissible in
$U$
. We let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn95.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn96.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn97.gif?pub-status=live)
with
$U_{2}=U_{3}=U$
. Note that for readability we use the absolute value as a shorthand above, but it is clear that the relations can be expressed in terms of the unary minus operation corresponding to the function
$-:I\rightarrow I,x\rightarrow (-x)$
.
Since
$t_{1},t_{2}$
are admissible in
$U$
they define real analytic (in particular, continuous) functions there, and the relation defining
$U_{1}$
is indeed open. Moreover, in
$U_{1}$
the term
$t$
is admissible by definition and, hence, the number of
$U_{1}$
-inadmissible terms in
$\unicode[STIX]{x1D719}_{1}$
is strictly smaller than
$N$
. Similarly, the new relations introduced in
$\unicode[STIX]{x1D719}_{2}$
(respectively,
$\unicode[STIX]{x1D719}_{3}$
) are admissible in
$U$
, and since the inadmissible
$t$
is replaced by the admissible term
$1$
(respectively,
$0$
) the number of
$U_{2}$
(respectively,
$U_{3}$
) inadmissible terms is strictly smaller than
$N$
. It is an easy exercise to check that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn98.gif?pub-status=live)
The proof is now concluded by applying the inductive hypothesis to each pair
$\unicode[STIX]{x1D719}_{j},U_{j}$
for
$j=1,2,3$
.◻
5.2 Basic formulas and equations
We say that
$\unicode[STIX]{x1D719}$
is a basic
$D$
-formula if it has the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn99.gif?pub-status=live)
where
$t_{j},s_{j}$
are
$L_{\text{an}}^{D}$
-terms. It is easy to check the following.
Lemma 22. Every quantifier-free
$L_{\text{an}}^{D}$
-formula
$\unicode[STIX]{x1D719}$
is equivalent in the structure
$I$
to a finite disjunction of basic formulas. If
$\unicode[STIX]{x1D719}$
is
$U$
-admissible, then so are the basic formulas in the disjunction.
We say that
$\unicode[STIX]{x1D719}$
is a basic
$D$
-equation if
$k^{\prime }=0$
, i.e. if it involves only equalities. If
$\unicode[STIX]{x1D719}$
is a basic
$D$
-formula, we denote by
$\tilde{\unicode[STIX]{x1D719}}$
the basic
$D$
-equation obtained by removing all inequalities.
Let
$\unicode[STIX]{x1D719}$
be a
$U$
-admissible basic
$D$
-formula for some
$U\subset I^{m}$
. Then
$\tilde{\unicode[STIX]{x1D719}}$
is
$U$
-admissible as well. Moreover, since all the terms
$s_{j}$
evaluate to continuous functions in
$U$
, the strict inequalities of
$\unicode[STIX]{x1D719}$
are open in
$U$
and we have the following.
Lemma 23. Suppose
$\unicode[STIX]{x1D719}$
is
$U$
-admissible basic
$D$
-formula. Then
$\unicode[STIX]{x1D719}(U)$
is relatively open in
$\tilde{\unicode[STIX]{x1D719}}(U)$
.
The set defined by an admissible
$D$
-equation can be described in terms of admissible projections in the sense of § 4.1.
Proposition 24. Let
$U\subset \mathring{I}^{m+l}$
and
$\unicode[STIX]{x1D719}$
be a
$U$
-admissible
$D$
-equation,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn100.gif?pub-status=live)
In the notation of § 4.1, there exist:
-
(1) complex domains
(101)with$$\begin{eqnarray}\displaystyle \unicode[STIX]{x1D6FA}_{z}\subset \mathbb{C}^{m},\quad \unicode[STIX]{x1D6FA}_{w}\subset \mathbb{C}^{N},\quad \unicode[STIX]{x1D6EC}\subset \mathbb{C}^{l} & & \displaystyle\end{eqnarray}$$
$N\in \mathbb{N}$ and
$I^{m+l}\subset \unicode[STIX]{x1D6FA}_{z}\times \unicode[STIX]{x1D6EC}$ ;
-
(2) an open complex neighborhood
$U\subset U_{\mathbb{C}}\subset \unicode[STIX]{x1D6FA}_{z}\times \unicode[STIX]{x1D6EC}$ ;
-
(3) an analytic map
$\unicode[STIX]{x1D713}:U_{\mathbb{C}}\rightarrow \unicode[STIX]{x1D6FA}_{w}$ ;
-
(4) an analytic set
$X\subset \unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$ ;
such that
$\unicode[STIX]{x1D713}$
is admissible and
$Y:=\unicode[STIX]{x1D70B}(X\cap \unicode[STIX]{x1D6E4}_{\unicode[STIX]{x1D713}})$
satisfies
$Y_{\mathbb{R}}=\unicode[STIX]{x1D719}(U)$
.
Proof. Let
$\{s_{1},\ldots ,s_{N}\}$
denote all terms of the type
$s_{j}=D(s_{j,1},s_{j,2})$
appearing in
$\unicode[STIX]{x1D719}$
. For notational convenience we write
$X=X_{1},\ldots ,X_{m+n}$
and
$W=W_{1},\ldots ,W_{N}$
for variables on
$\mathbb{R}^{n+m}$
and
$\mathbb{R}^{N}$
.
For every term
$t(X)$
appearing in
$\unicode[STIX]{x1D719}$
we define an
$L_{\text{an}}$
term
$t^{\prime }(X,W)$
by recursion as follows: if
$t$
is a variable, then
$t^{\prime }:=t$
; if
$t=f(t_{1},\ldots ,t_{k})$
, then
$t^{\prime }=f(t_{1}^{\prime },\ldots ,t_{k}^{\prime })$
; finally, if
$t=s_{j}$
, then
$t^{\prime }=W_{j}$
. As
$L_{\text{an}}$
-terms, every term
$t^{\prime }$
corresponds to a real-analytic function
$t^{\prime }:I^{m+N+n}\rightarrow I$
. We let
$\unicode[STIX]{x1D6FA}_{z}\times \unicode[STIX]{x1D6FA}_{w}\times \unicode[STIX]{x1D6EC}$
denote some complex neighborhood of
$I^{m+N+n}$
to which every term
$t^{\prime }$
admits analytic continuation.
By Lemma 20, all terms appearing in
$\unicode[STIX]{x1D719}$
evaluate to real analytic maps from
$U$
to
$I$
. We define a map
$\unicode[STIX]{x1D713}:U\rightarrow \unicode[STIX]{x1D6FA}_{w}$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn102.gif?pub-status=live)
We note that
$\unicode[STIX]{x1D713}(U)\subset I^{N}$
and, by definition of
$U$
-admissibility, all the terms
$s_{j,2}$
evaluate to non-vanishing functions on
$U$
. Let
$U_{w}$
be a relatively compact neighborhood of
$I^{N}$
in
$\unicode[STIX]{x1D6FA}_{w}$
. Then there exists a relatively compact open neighborhood
$U_{\mathbb{C}}\subset \unicode[STIX]{x1D6FA}_{z}\times \unicode[STIX]{x1D6EC}$
of
$U$
such that:
-
(1)
$(U_{\mathbb{C}})_{\mathbb{R}}=U$ and
$\unicode[STIX]{x1D713}(U_{\mathbb{C}})\subset U_{w}$ ;
-
(2) all terms appearing in
$\unicode[STIX]{x1D719}$ admit analytic continuation to
$U_{\mathbb{C}}$ ;
-
(3) all the terms
$s_{j,2}$ evaluate to non-vanishing maps on
$U_{\mathbb{C}}$ .
Henceforth, we view
$U_{\mathbb{C}}$
as the domain of
$\unicode[STIX]{x1D713}$
. The graph
$\unicode[STIX]{x1D6E4}=\unicode[STIX]{x1D6E4}_{\unicode[STIX]{x1D713}}$
is relatively compact in
$\unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
, being contained in the product of the relatively compact sets
$U_{\mathbb{C}}\subset \unicode[STIX]{x1D6FA}_{z}\times \unicode[STIX]{x1D6EC}$
and
$U_{w}\subset \unicode[STIX]{x1D6FA}_{w}$
.
By construction of
$t^{\prime }$
it is clear that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn103.gif?pub-status=live)
We define the analytic subset
$X_{\unicode[STIX]{x1D6E4}}\subset \unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn104.gif?pub-status=live)
It is easy to check by induction that
$X_{\unicode[STIX]{x1D6E4}}$
agrees with
$\unicode[STIX]{x1D6E4}$
over
$U_{\mathbb{C}}$
(using (103) and the fact that
$s_{j,2}$
evaluate to non-vanishing maps on
$U_{\mathbb{C}}$
).
Finally, we define
$X\subset \unicode[STIX]{x1D6FA}\times \unicode[STIX]{x1D6EC}$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn105.gif?pub-status=live)
and set
$Y:=\unicode[STIX]{x1D70B}(X\cap \unicode[STIX]{x1D6E4})\subset \unicode[STIX]{x1D6FA}_{z}\times \unicode[STIX]{x1D6EC}$
. Then (103) at the points of
$U=(U_{\mathbb{C}})_{\mathbb{R}}$
gives
$Y_{\mathbb{R}}=\unicode[STIX]{x1D719}(U)$
.◻
5.3 Estimate for subanalytic sets
To state the general form of our main result we introduce the notion of complexity of a semi-algebraic set. We say that a semialgebraic set
$S\subset \mathbb{R}^{m}$
has complexity
$(m,s,d)$
if it defined by a semialgebraic formula involving
$s$
different relations
$P_{j}>0$
or
$P_{j}=0$
, where the polynomials
$P_{j}$
have degrees bounded by
$d$
.
Theorem 6. Let
$A\subset \mathbb{R}^{m+n}$
be a bounded subanalytic set and
$\unicode[STIX]{x1D700}>0$
. There exist constants
$d=d(A,\unicode[STIX]{x1D700})$
and
$N=N(A,\unicode[STIX]{x1D700})$
with the following property. For any
$y\in I^{n}$
and any
$H\in \mathbb{N}$
, there exist at most
$NH^{\unicode[STIX]{x1D700}}$
many smooth connected semialgebraic sets
$S_{\unicode[STIX]{x1D6FC}}\subset \mathbb{C}^{m}$
with complexity
$(m,d,d)$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn106.gif?pub-status=live)
Proof. Rescaling
$A$
by a sufficiently large integer,
$\tilde{A}:=(1/M)A$
we may assume that
$\tilde{A}\subset \mathring{I}^{n+m}$
. This clearly does not affect the heights of points by more than a constant factor, and it will suffice to prove the claim for
$\tilde{A}$
and then rescale the varieties
$\tilde{V}_{\unicode[STIX]{x1D6FC}}$
back to
$V_{\unicode[STIX]{x1D6FC}}:=MV_{\unicode[STIX]{x1D6FC}}$
. We thus assume without loss of generality that
$A\subset \mathring{I}^{n+m}$
.
By Theorem 5 we may write
$A=\unicode[STIX]{x1D719}(\mathring{I}^{m+n})$
for some quantifier-free
$L_{\text{an}}^{D}$
-formula
$\unicode[STIX]{x1D719}$
. By Proposition 21 and Lemma 22 we may write
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn107.gif?pub-status=live)
where
$\unicode[STIX]{x1D719}_{ji}$
is a
$U_{j}$
-admissible basic
$D$
-formula. By the first part of Lemma 16 it is clear that it will suffice to prove the claim with
$A$
replaced by each
$\unicode[STIX]{x1D719}_{ij}(U_{j})$
. We thus assume without loss of generality that
$\unicode[STIX]{x1D719}$
is already a
$U$
-admissible basic
$D$
-formula and prove the claim for
$A=\unicode[STIX]{x1D719}(U)$
.
Recall that
$\tilde{\unicode[STIX]{x1D719}}$
is a
$U$
-admissible
$D$
-equation. We write
$B=\tilde{\unicode[STIX]{x1D719}}(\mathring{I}^{m+n})$
. Applying Proposition 24 to
$\tilde{\unicode[STIX]{x1D719}}$
and using Theorem 4 we construct a locally analytic set
$Y\subset \mathbb{C}^{m+n}$
such that
$Y_{\mathbb{R}}=B$
, and for any
$y\in I^{n}$
there exist at most
$N^{\prime }H^{\unicode[STIX]{x1D700}}$
many irreducible algebraic varieties
$V_{\unicode[STIX]{x1D6FC}}\subset \mathbb{C}^{m}$
with
$\deg V_{\unicode[STIX]{x1D6FC}}\leqslant d^{\prime }$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn108.gif?pub-status=live)
with
$d,N$
as in Theorem 4. By (68) and
$Y_{\mathbb{R}}=B$
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn109.gif?pub-status=live)
Finally, we recall that
$A$
is relatively open in
$B$
by Lemma 23. Then the same is true for the fiber
$A_{y}\subset B_{y}$
, and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn110.gif?pub-status=live)
where the last equality is given by the second part of Lemma 16.
If we write each real-algebraic variety
${\mathcal{V}}_{\unicode[STIX]{x1D6FC}}$
as a union of smooth connected strata
${\mathcal{V}}_{\unicode[STIX]{x1D6FC}}=\bigcup _{j}S_{\unicode[STIX]{x1D6FC},j}$
, then we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn111.gif?pub-status=live)
It remains to note that since
$\deg V_{\unicode[STIX]{x1D6FC}}\leqslant d^{\prime }$
, the number and complexity of the strata
$S_{\unicode[STIX]{x1D6FC},j}$
is bounded by some number
$d$
depending only on
$d^{\prime }$
. This follows from general uniformity properties in the algebraic category, and, in fact, one may derive explicit (and polynomial in
$d^{\prime }$
) estimates for
$d$
(for details see [Reference Binyamini and NovikovBN17, Proposition 37]). Taking
$N=N^{\prime }d$
finishes the proof.◻
We can now finish the proof of Theorem 1.
Proof of Theorem 1.
By Theorem 6, for any
$y\in I^{n}$
and any
$H\in \mathbb{N}$
there exist at most
$NH^{\unicode[STIX]{x1D700}}$
many smooth connected semialgebraic sets
$S_{\unicode[STIX]{x1D6FC}}\subset \mathbb{C}^{m}$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170919053025873-0165:S0010437X17007333:S0010437X17007333_eqn112.gif?pub-status=live)
By Lemma 15, for any positive dimensional
$S_{\unicode[STIX]{x1D6FC}}$
we have
$A(S_{\unicode[STIX]{x1D6FC}})\subset A_{y}^{\text{alg}}$
. Thus
$\#A_{y}^{\text{trans}}(\mathbb{Q},H)$
is bounded by the number of zero-dimensional strata, i.e. by
$NH^{\unicode[STIX]{x1D700}}$
.◻
Acknowledgements
We wish to thank Yossi Yomdin and Pierre Milman for helpful discussions.