A Modular Andre-Oort Statement with Derivatives
Haden Spence


Stability of Electrodeposition at Solid-Solid Interfaces and Implications for Metal Anodes
    Venkatasubramanian Viswanathan
    December 30, 2023
==========================================================================================




 In unpublished notes, Pila discussed some theory surrounding the modular function j and its derivatives.  A focal point of these notes was the statement of two conjectures regarding j, j' and j”: a Zilber-Pink type statement incorporating j, j' and j”, which was an extension of an apparently weaker conjecture of André-Oort type.  In this paper, I first cover some background regarding j, j' and j”, mostly covering the work already done by Pila.  Then I use a seemingly novel adaptation of the o-minimal Pila-Zannier strategy to prove a weakened version of Pila's “Modular André-Oort with Derivatives” conjecture.  Under the assumption of a Schanuel-type conjecture, the central theorem of the paper implies Pila's conjecture in full generality, as well as a more precise statement on the same lines.




§ INTRODUCTION

The modular André-Oort Conjecture is a statement about the arithmetic and algebraic properties of the classical modular function 

    j:→ℂ.

The statement is the following.
[Pila, Modular André-Oort]
 Let Vℂ^n be an algebraic variety.  Then V contains only finitely many maximal special subvarieties.

While various partial <cit.> and conditional <cit.> results were known, this was first proven unconditionally and in full generality by Pila, in his 2011 paper <cit.>, using what is now a fairly standard strategy employing ideas of o-minimality and point-counting.  The connection with the j function is obscured behind the definition of “special subvariety”, which goes as follows.  It is well known that there are modular polynomials Φ_N∈ℤ[X,Y] with the property that 

    Φ_N(j(gτ),j(τ))=0

whenever g∈ is a primitive integer matrix of determinant N.   So, although j is a transcendental function, it is very well-behaved under the action of .  A fairly direct consequence of the existence of the polynomials Φ_N is the (also well known) fact that j(τ) is an algebraic integer whenever τ∈ is quadratic.

Loosely, a special subvariety of ℂ^n is a variety induced by these relations.  To be more precise, we have the following definition.

 Let n∈ℕ.

 Let S_0∪ S_1∪…∪ S_k be a partition of {1,…,n}, where k≥ 0 and S_i∅ for i>0.
 For each s∈ S_0, choose any point q_s∈.  For each i>0, let s_i be the least element of S_i and for each s_i s∈ S_i choose a geodesic matrix g_i,s∈.  A weakly -special subvariety of ^n is a set of the form
 
    {(τ_1,…,τ_n)∈^n:τ_s=q_s for s∈ S_0, τ_s=g_i,sτ_s_i for s∈ S_i, s s_i,i=1,…,k},

 for some given data S_i, q_s, g_i,s.
 
 A weakly -special subvariety is -special if the constant factors q_s are imaginary quadratic numbers for all s∈ S_0. 

One can define special (henceforth to be known as j-special) subvarieties in a similar way, as varieties in ℂ^n cut out by the modular polynomials Φ_N.  For our purposes, however, there is a simpler definition that suits better.  By abuse of notation, we will write j for the function

    (τ_1,…,τ_n)↦ (j(τ_1),…,j(τ_n)).

A j-special variety in ℂ^n is then the image under j of an -special variety; similarly a weakly j-special variety is the image under j of a weakly -special variety.  


In this paper, I will be investigating what happens when we consider not only j and its corresponding special varieties, but also the derivatives of j.  In this setup, the situation is rather more complicated.  To begin with, recall that j satisfies a certain 3rd order differential equation.  Hence it is enough to consider only j and its first two derivatives.  With this in mind, let us define a function which will be our central object of study for the paper:

    J=(j,j',j”):→ℂ^3,


    J(τ)=(j(τ),j'(τ),j”(τ)).

Again we will abuse notation and use J also to refer to the obvious map from ^n to ℂ^3n defined as J on each coordinate.

Much of the setup here is due to Pila; in unpublished notes, he compiled various properties of J and gave definitions of what a J-special variety should be.  Pila also made a conjecture analogous to <ref>, with respect to J.  For the rest of this section, I will give some of the setup covered by Pila in his notes.  Towards the end of the section I state Pila's conjecture and a weakened version of the conjecture which is the central theorem of the paper.



 §.§ Properties of J

The functions j' and j” are not fully modular functions.  Instead, they satisfy

    j'(γτ)=(cτ+d)^2j'(τ)

and

    j”(γτ)=(cτ+d)^4j”(τ)+2c(cτ+d)^3j'(τ),

where γ=[ a b; c d ]∈.  This says that j' is a meromorphic modular form of weight 2, while j” is a so-called quasimodular form of weight 4 and depth 1.  The behaviour of j' and j” at quadratic points is also worse than that of j; while j(τ) is algebraic at quadratic τ, j'(τ) and j”(τ) almost never are.  In fact, such points are always transcendental unless τ is in the -orbit of i or ρ=e^2π i/3 (see <cit.>).  However, thanks to a result of Masser, j”(τ) is always algebraic over j'(τ).  To be precise, we have a rational function p_c, in 3 variables (with c a positive real), defined as follows:

    p_c(W,X,Z)=16Z^2(X-7W+6912)W(W-1728)+iZc.

A brief calculation shows that

    p_τ(j(τ),χ^*(τ),j'(τ))=j”(τ)

for all τ.  Here and throughout, χ^* is an almost holomorphic modular (AHM) function defined by

    χ^*=1728·E_2^*E_4E_6E_4^3-E_6^2,

where the E_k are standard Eisenstein series and E_2^* is the weight 2 almost holomorphic modular form defined by

    E_2^*(τ)=E_2(τ)-3πτ.

We can decompose χ^* as 

    χ^*=χ-3π y· f,

where χ and f are, here and throughout, holomorphic functions defined by

    χ=1728·E_2E_4E_6E_4^3-E_6^2,     f=1728·E_4E_6E_4^3-E_6^2.

The function χ^* and related AHM functions have been studied in several places, by Masser <cit.>, Mertens and Rolen <cit.> and Zagier <cit.> among others.  I have studied χ^* in the context of an André-Oort result <cit.>; we will be making use of some results from that paper occasionally.

For the present, the most relevant fact is that χ^*(τ) is algebraic whenever τ is quadratic[This was essentially proven by Masser in the Appendix of <cit.>, which seems to have been the first investigation of the algebraic properties of AHM functions.].  As a consequence, we see that p_τ has coefficients in ℚ whenever τ is quadratic.  Hence, as claimed, tr.deg._ℚ(j(τ),j'(τ),j”(τ))=1 for quadratic τ∉·{i,ρ}.

By differentiating the modular polynomials, we see that J also has nice behaviour with respect to g∈.  We will briefly work out the details of this in the case of j'.  Let g∈ be a primitive integer matrix of determinant N.  Since

    Φ_N(j(τ),j(gτ))=0,

we see that

    ∂_X(Φ_N)(j(τ),j(gτ))j'(τ)+∂_Y(Φ_N)(j(τ),j(gτ))j'(gτ)d(gτ)dτ=0


    j'(gτ)=-λ_N(j(τ),j(gτ))j'(τ)m_g(τ),

where 
    λ_N=∂_X(Φ_N)∂_Y(Φ_N)

and 

    m_g(τ)=(cτ+d)^2 g=(d(gτ)dτ)^-1.

For j”, we have a similar relation, though a bit more complex.  In both cases, the nature of the relation differs depending on whether g is upper triangular.  If g fails to be upper triangular (ie. c 0) then the relation between the functions j'(gτ) and j'(τ) (respectively for j”) only exists over ℂ(τ).  Otherwise the relationship is over ℂ.  Hence

    tr.deg._ℂ(J(τ),J(gτ))=3

(considering τ as a variable in ) if g is upper triangular and

    tr.deg._ℂ(J(τ),J(gτ))=4

otherwise.

Since the behaviour of J is affected by whether or not a matrix is upper triangular, it makes sense to make the following definition.

 A weakly -special variety G is called a geodesic upper-triangular (GUT) variety if all of the g_i,s∈ arising in its definition (see <ref>) are upper triangular matrices.

We will be making use of GUT varieties quite often, later on in this paper.



 §.§ Special sets for J

In the classical case, the special sets were just the images, under j, of -special sets.  An important feature is that they are bi-algebraic; for -special sets G, both G and j(G) are algebraic sets defined over ℚ.  In the J case, as noted earlier, J(G) is not necessarily an algebraic set, let alone defined over ℚ.  The solution to this is fairly simple; just take Zariski closures over ℚ.  We are still following Pila, and will use the following notation, also of his design.

 For any subset S^n, define S to be the ℚ-Zariski closure of J(S).  That is, S is the smallest algebraic variety, defined over ℚ, which contains J(S).


 A J-special subvariety of ℂ^3n is an irreducible component of any set of the form G, where G is an -special set.

With this definition made, we might conjecture a direct analogue of <ref>, with j-special varieties replaced by J-special ones.  This fails for a fairly obvious reason.  Consider the variety Vℂ^3 defined just by

    X_1=j(τ),

for some fixed quadratic τ∈∖·{i,ρ}.  Then by modularity of j, V contains all the points J(γτ), γ∈.  In particular, taking Zariski closures, we have

    γτ V

for all γ∈.  Since

    γτ={(j(τ),w,p_γτ(j(τ),χ^*(τ),w)):w∈ℂ},

one sees that the various γτ are in fact distinct.  So V contains infinitely many distinct J-special sets.  They are maximal since =ℂ^3V.  

With this in mind, we need a version of <ref> which takes into account the action of .  The aforementioned conjecture of Pila is one such version.  To state it, we will need a definition.


Let 𝒮 be a collection of subsets of ^n.  We say 𝒮 is -finite if there is some finite subcollection 𝒯𝒮, such that every S∈𝒮 takes the form

    S=γ· T,

for some γ∈^n, T∈𝒯.  Otherwise, 𝒮 is -infinite.  
 
 Abusing notation slightly, we also use this terminology to apply to collections of points, equating points τ with singleton sets {τ} in the obvious way.


Now we can state Pila's conjecture.


 Let Vℂ^3n be a proper algebraic variety defined over ℚ.  There exists an -finite collection σ(V), consisting of proper -special varieties of ^n, with the following property.  Every J-special subvariety of V is contained in G for some G∈σ(V).

We will be approaching this conjecture using a variant of the Pila-Zannier strategy and o-minimality.  With a seemingly novel adaptation of the usual strategy, we are able to make some good progress.  The o-minimal methods are sufficient to give us good control over quadratic points of the form 

    (g_1σ,…,g_nσ).

In this case, the methods yield a bound on the size of the determinants of the g_i∈ and on the discriminant of σ.  This is a good step towards Conjecture <ref>.

There is significant difficulty, however, in dealing with points having a more complex -structure.  The difficulty lies in the possibility that, for two quadratic points τ,σ∈, it might happen that j'(τ) and j'(σ) are algebraically dependent even when τ and σ lie in distinct -orbits.  As we will discuss shortly, we do not expect this to happen, but it does not seem to be possible to exclude the possibility using o-minimal methods.  So we need the following definition.


 Let τ=(τ_1,…,τ_n)∈^n be a quadratic point.  Then τ may be written as 
 
    τ=(σ_1,g_1,1σ_1,…,g_1,r_1σ_1,…,σ_k,g_k,1σ_k,…,g_k,r_kσ_k),

 with g_i,j∈ and the σ_i lying in distinct -orbits.  We say τ is j'-generic if the numbers j'(σ_1),…,j'(σ_k) are algebraically independent over ℚ.

Now we can state the central theorem of the paper.


 Let Vℂ^3n be a proper algebraic variety defined over ℚ.  There exists an -finite collection σ(V), consisting of proper -special varieties of ^n, with the following property.  Every j'-generic -special point in J^-1(V) is contained in some G∈σ(V).

Note in particular that any special point of the form (g_1σ_1,…,g_nσ_1), with g_i∈, is automatically j'-generic, unless g_1σ_1 is in the -orbit of i or ρ.  Hence we have the following easy corollaries.  

 Let Vℂ^3n be a proper algebraic variety defined over ℚ.  There exists an -finite collection σ(V), consisting of proper -special varieties of ^n, with the following property.  Every -special point of the form (g_1σ,…,g_nσ)∈ J^-1(V), g_i∈, is contained in some G∈σ(V).
 
  This follows directly from <ref>, except for the possible existence of points with a coordinate lying in ·{i,ρ}.  But any such points are automatically contained within -finitely many proper -special varieties.
 


 Let Vℂ^3 be a proper algebraic variety defined over ℚ.  Then J^-1(V) contains only -finitely many -special points.


This last, of course, is simply Conjecture <ref> for n=1.  To get <ref> in full generality, we would need something like the following.
 Let τ_1,…,τ_n∈ be quadratic points, lying in distinct -orbits, none of which lies in the -orbit of i or ρ.  Then j'(τ_1),…,j'(τ_n) are algebraically independent over ℚ.

Otherwise put: “All quadratic points in ^n are j'-generic, except those with a coordinate in the -orbit of i or ρ.”  In this form, it is easy to see that the conjecture, together with Theorem <ref>, implies <ref>.


 Assume Conjecture <ref>.  Then Conjecture <ref> holds.
 
  Immediate from Theorem <ref>.
 



Should we believe Conjecture <ref>?  It is quite strong, having a similar flavour to existing modular Schanuel statements; but it does fit into the existing body of conjectures.  See, for instance, Bertolin's elliptico-toric conjecture (CET) <cit.>, from which Conjecture <ref> follows immediately.  In turn, CET is a special case of the Grothendieck-André period conjecture.  So <ref> fits well with what we might expect.  It is also much stronger than we need; to get Conjecture <ref>, various weaker transcendence statements would suffice.  The weaker statements are much less clean to state and fit less obviously into the existing literature, so we stick with Conjecture <ref> for this paper.


The paper is broken down as follows.  Section 2 is dedicated towards proving some Ax-Lindemann type results.  In this section lies the primary novelty of the paper; the Ax-Lindemann results we prove here are necessarily of a very new and unusual shape, in order to account for some problems that arise with point-counting.  This section is completely independent from Conjecture <ref> and does not involve considerations of j'-genericity.  It is in section 3, where we discuss the point-counting aspects, that the issue of j'-genericity arises.  Section 4 brings everything together to conclude the proof of <ref>.  The penultimate section of the paper, section 5, is dedicated towards proving a more precise version of Conjecture <ref>, under the assumption of Conjecture <ref>.  In the final section we apply this more precise result, together with a slight adaptation of work of Scanlon <cit.>, to produce versions of our results which are uniform in algebraic families.



Acknowledgements. I would like to take the opportunity to thank Jonathan Pila for his invaluable guidance and supervision, as well as for many excellent suggestions on the subject of this paper.  I would also like to thank Sebastian Eterović for several useful conversations on these topics.  Last but certainly not least, thanks go to my father Derek for our many discussions and his keen proof-reading eyes!



§ AX-LINDEMANN



 §.§ Technicalities

We begin with a few crucial definitions.


 A subset of ^n is a linear variety if, up to reordering of coordinates, it takes the form
 
    G={(g_1,1τ_1, … g_1,r_1τ_1,…,g_k,1τ_k,…,g_k,r_kτ_k,t_0,1,…,t_0,r_0):τ_i∈},

 where t_0,j∈ and g_i,j∈.
 A linear variety is called basic if r_0=0.  So a basic linear variety is defined by finitely many matrices g_i,j∈, together with a permutation of the coordinates.  We will often suppress the permutation of coordinates, assuming for simplicity that the variety takes exactly the form in (<ref>).
 
 Any linear variety G^n has an underlying basic variety attached to it, namely the B^k attained by ignoring the constant coordinates t_0,j.  We say that G is a translate of B (by the t_0,j), or that B is the basic variety underlying G.


As we will see in later sections, the usual counting methods don't work out perfectly when applied to the derivatives problem.  One would like to be able to count linear subvarieties contained in J^-1(V), but the methods are slightly too coarse for this.  One can, however, count those varieties which are, in some sense, approximately in J^-1(V).  This motivates the following.


 Let Vℂ^3n be an algebraic variety and B^k a basic linear variety, given by data g_i,j as in (<ref>).  For each g_i,j, take a complex number z_i,j and a real c_i,j>0.  Also take n-k triples of complex numbers (w_i,x_i,y_i).  

 We say B is adjacent to V via z_i,j,c_i,j,w_i,x_i,z_i if for all τ_i, we have, up to permutation of coordinates,
 
    […,j(g_i,jτ_i),j'(g_i,jτ_i)z_i,jm_g_i,j(τ_i),p_c_i,j(j(g_i,jτ_i),χ^*(g_i,jτ_i),j'(g_i,jτ_i)z_i,jm_g_i,j(τ_i)),…,w_i,x_i,y_i,…]∈ V.


 If this holds for some choice of the possible data z_i,j, c_i,j, w_i, x_i, z_i, we simply say B is adjacent to V, and write
 
    B↪ V.

 Finally, if G is a translate of a basic linear variety B by (σ_1,…,σ_d), we say G is adjacent to V if B is adjacent to V via any z_i,j, any c_i,j and (w_i,x_i,z_i)=J(σ_i).   In this case we again write
 
    G↪ V.


This rather intricate definition turns out to be crucial in carrying out a suitable variant of the usual o-minimal strategy used for André-Oort problems.  This is the main new idea of the paper: we follow the typical Pila-Zannier strategy for diophantine problems of this type, but rather than counting those -special varieties which are contained in J^-1(V) directly, we instead count the -special varieties which are adjacent to V.  The notion of adjacency is constructed so as to be definable, invariant under the action of  (on the g_i,j) and invariant under Galois action (on j and χ^*); those three conditions are precisely what we need to make the strategy work.


The first step of the strategy and the primary goal of this this section is to prove an “Ax-Lindemann-style” result pertaining to the notion of adjacency.  The idea is that the only linear varieties (or more generally, real algebraic arcs) that can be adjacent to some variety V should be accounted for by weakly -special varieties.  Given our overall goal - to count those linear varieties which are adjacent to V - this problem is directly analogous to the usual Ax-Lindemann theorems needed in the classical case.  Unsurprisingly, we will need to use some existing Ax-Lindemann results.  



 Let S^n be an arc of a real algebraic curve and let G be the smallest weakly -special variety containing S.  Suppose that G is a GUT variety.  (Recall: this simply means that the matrices defining G are upper triangular.)
 
 Let Vℂ^3n+1 be an algebraic variety such that
 
    (τ_1,J(τ_1),…,J(τ_n))∈ V

 for all (τ_1,…,τ_n)∈ S.  Then in fact this holds for all (τ_1,…,τ_n)∈ G.



 Let S^n be an arc of a real algebraic curve and let G be the smallest weakly -special variety containing S.
 Let Vℂ^2n be an algebraic variety such that
 
    (…,j(τ_j),χ^*(τ_j),…)∈ V

 for all (τ_1,…,τ_n)∈ S.  Then in fact this holds for all (τ_1,…,τ_n)∈ G.

Both of the above were proven in <cit.>, though the majority of the work towards <ref> was done by Pila in <cit.>.  Before we can apply these to prove our central Ax-Lindemann result, we will need some technical lemmas, the first of which is simply a strengthening of <ref>.


 Let S^n be an arc of a real algebraic curve and let G be the smallest weakly -special variety containing S.  Suppose that G is a GUT variety.
 
 Let Vℂ^4n+1 be an algebraic variety such that
 
    (τ_1,j(τ_1),j'(τ_1),χ(τ_1),f(τ_1),…,j(τ_n),j'(τ_n),χ(τ_n),f(τ_n))∈ V

 for all (τ_1,…,τ_n)∈ S.  Then in fact this holds for all (τ_1,…,τ_n)∈ G.
 
  Let F be a defining polynomial of V.  We will represent the various coordinates as follows.
  
   
  * The τ_1 coordinate will be represented by a variable T.
   
  * The j-coordinates (ie. the 2nd, 6th, coordinates, etc.) will be represented by variables J_1,…,J_n.
   
  * The j'-coordinates will be represented by variables K_1,…,K_n.
   
  * The χ-coordinates will be represented by variables X_1,…,X_n.
   
  * The f-coordinates will be represented by variables F_1,…,F_n.
  
  Since j,j',χ and f are algebraically dependent, there is an irreducible polynomial p with the property that
  
    p(j(τ),j'(τ),χ(τ),f(τ))=0

  for all τ.  
  Consider the variety Wℂ^4n+1 defined by 
  
    p(J_i,K_i,X_i,F_i)=0

  for each 1≤ i≤ n.  Clearly W=3n+1.  
  
  If we further impose the condition
  
    F(X_1,…,X_4n+1)=0,

  there are two possibilities.  Either the resulting variety W_F still has dimension 3n+1 or it has dimension 3n.  
  
  If W_F=3n+1, it is automatically the case that 
  
    F(τ_1,…,j(τ_k),j'(τ_k),χ(τ_k),f(τ_k),…)=0

  for all (τ_1,…,τ_n)∈^n.
  On the other hand, if W_F=3n, then W_F amounts to the imposition of a relation between 3 of the 4 functions.  That is, there are distinct A,B,C∈{J,K,X,F} and a polynomial H, in 3n+1 variables, such that W_F is defined by:
  
    (T,J_1,… F_n)∈ W

  and 
  
    H(T,A_1,B_1,C_1,…, A_n,B_n,C_n)=0.

  We then have, for the corresponding f_A,f_B,f_C∈{j,j',χ,f} that
  
    H(τ_1,…,f_A(τ_i),f_B(τ_i),f_C(τ_i),…)=0

  for all (τ_1,…,τ_n)∈ S.  By Theorem <ref>, this must then hold for all (τ_1,…,τ_n)∈ G.  In particular,
  
    F(τ_1,…,j(τ_i),j'(τ_i),χ(τ_i),f(τ_i),…)=0

  for all (τ_1,…,τ_n)∈ G.
  
  This holds for each defining polynomial F of V, so we're done. 
 



 Let S^n be an arc of a real algebraic curve and let ϕ be an algebraic function in 4n+1 variables.  Let G be the smallest weakly -special variety containing S, and suppose that G is a GUT variety. 
 Writing 
 
    π̃(τ_1,…,τ_n)=(j(τ_1),j'(τ_1),χ(τ_1),f(τ_1),…,j(τ_n),j'(τ_n),χ(τ_n),f(τ_n)),

 we suppose that, on some branch of ϕ,
 
    ϕ(τ_1,π̃(τ))=0

 for all τ=(τ_1,…,τ_n)∈ S.  Then this holds for all τ∈ G, excluding perhaps some exceptional set corresponding to branch points of ϕ.
 
  There exists an irreducible polynomial p such that
  
    p(ϕ(𝐗),𝐗)=0

  for all 𝐗.  Then in particular we have
  
    p(0,τ_1,π̃(τ))=0

  for all τ=(τ_1,…,τ_n)∈ S.  By Theorem <ref>, we have this relation for all τ∈ G.  
  
  We can pick a point 𝐪=(τ_1,…,τ_n)∈ S, a G-open neighbourhood U of 𝐪 and a ℂ-open neighbourhood V of 0 with the following property.  Whenever τ∈ U, the only root of 
  
    p(X,τ_1,π̃(τ))

  lying in V is root 0 (which is a root by the earlier discussion).  Now, for all τ∈^n, we have
  
    p(ϕ(τ_1,π̃(τ)),τ_1,π̃(τ))=0

  by definition of p.  In other words, ϕ(τ_1,π̃(τ)) is a root of (<ref>).  However, as τ∈ U gets arbitrarily close to 𝐪, the value of ϕ(τ_1,π̃(τ)) gets arbitrarily close to 0.  Hence it eventually lies in V.  The only root of (<ref>) within V is 0, whence for some G-open neighbourhood of 𝐪, we have
  
    ϕ(τ_1,π̃(τ))=0.

  By analytic continuation, this holds for all τ∈ G, excluding some exceptional set corresponding to the branch points and branch cuts of ϕ.  
 


We conclude this section with one more technical lemma.  While it may appear entirely unmotivated, hopefully the need for such a lemma will become clear during the proof of Theorem <ref>.

 Let S^n be an arc of a real algebraic curve and let ϕ be an algebraic function in 4n variables.  Suppose that
 
    τ_1=ϕ(…,j(τ_k),j'(τ_k),χ(τ_k),f(τ_k),…)

 for all (τ_1,…,τ_n)∈ S.  Let G be the smallest weakly -special variety containing S, and suppose that G is a GUT variety.  Then τ_1 is constant on S.
 
  Write y=τ_1 and suppose that y is nonconstant.  Let us retain the abbreviation 
  
    π̃(τ)=(j(τ_1),j'(τ_1),χ(τ_1),f(τ_1),…,j(τ_n),j'(τ_n),χ(τ_n),f(τ_n)).

  Then S can be parametrised as
  
    S={(x_1(y)+iy,x_2(y)+iy_2(y),…,x_n(y)+iy_n(y)):y∈ U}

  for some interval Uℝ and algebraic functions x_i, y_i.  
  
  Now, take one of the polynomials p(x_1,y_1,…,x_n,y_n) defining S.  We can write
  
    p[τ_1-iϕ(π̃(τ)),ϕ(π̃(τ)),x_2(ϕ(π̃(τ))),y_2(ϕ(π̃(τ))),…,x_n(ϕ(π̃(τ))),y_n(ϕ(π̃(τ)))]=0

  for all τ=(τ_1,…,τ_n)∈ S.  Otherwise put, we have an algebraic function ψ such that
  
    ψ(τ_1,π̃(τ))=0

  for all τ∈ S.  By Corollary <ref>, this holds for all τ∈ G, whence <ref> holds for all τ∈ G.

  
  By assumption, G is a GUT variety.  Since y is assumed to be nonconstant on S, the variable τ_1 cannot be constant on G.  So up to permutation of coordinates G looks like
  
    {(τ_1,g_2τ_1,…,g_kτ_1):τ_1∈}× H

  for some upper triangular matrices g_i∈ and some GUT variety H.
  
  For any τ_1∈, τ'∈ H and any t∈ℤ, we then have
  
    τ_t:=(τ_1+t,g_2(τ_1+t),…,g_k(τ_1+t),τ')∈ G.

  Since the g_i are upper triangular, we can find an integer N with the following property.  For every t∈ℤ, there exists k∈ℤ with
  
    g_i(τ_1+tN)=k+g_i(τ_1),

  for all i.  By the periodicity of j, j', χ and f, it follows that
  
    π̃(τ_tN)=π̃(τ_0)

  for all t∈ℤ.  So for all τ=(τ_1,…,τ_n)∈ G and all t∈ℤ we have
  
    p(τ_1+tN-iϕ(π̃(τ)),ϕ(π̃(τ)),x_2(ϕ(π̃(τ))),y_2(ϕ(π̃(τ))),…,x_n(ϕ(π̃(τ))),y_n(ϕ(π̃(τ))))=0.

  In particular, whenever τ=(x_1(y)+iy,x_2(y)+iy_2(y),…,x_n(y)+iy_n(y))∈ S, we have
  
    p(x_1(y)+tN,y,x_2(y),y_2(y),…,x_n(y),y_n(y))=0.

  This holds for every polynomial p defining S.  Since S has only one real dimension, it must therefore be a horizontal line in the τ_1 coordinate.  That is, y is constant.  Contradiction!
 




 §.§ Ax-Lindemann for Adjacency

We can now prove our main Ax-Lindemann theorem.  The idea is to show that a real algebraic arc in ^n which is `adjacent' to a variety V (in a suitable sense) must be contained in a weakly -special variety which is itself adjacent to V.

 Let Vℂ^3n be an algebraic variety.  Let S be an arc of a real algebraic curve lying in (×)^n.  Define 
 
    S={(g_1τ_1,…,g_nτ_n):(τ_1,g_1,…,τ_n,g_n)∈ S},

 and suppose that S is positive-dimensional; that is, not all of the g_jτ_j are constant on S.
 
 Further suppose that, for some c_i∈ℝ, 
 
    […,j(g_iτ_i),j'(g_iτ_i)m_g_i(τ_i),p_c_i(j(g_iτ_i),χ^*(g_iτ_i),j'(g_iτ_i)m_g_i(τ_i)),…]∈ V

 for all (τ_1,g_1,…,τ_n,g_n)∈ S.  
 
 Then there exists a weakly -special variety G with
 
    S G↪ V.











 
 Note. The functions j(g_jτ_j), χ^*(g_jτ_j) and j'(g_jτ_j)/m_g_j(τ_j) are unaffected if we replace g_j by γ g_j for any γ∈.  Hence we may assume that G, the smallest weakly -special variety containing S, is a GUT variety.  This will be useful several times throughout.

 
  Idea of Proof. First, we attempt to parametrise the relevant algebraic arcs in terms of the imaginary part y_j of one of the variables.  With suitable manipulations, we reach one of two outcomes: either a particular complex analytic relation involving just j, χ, f and j' holds, or y_j is equal to an algebraic function of j, χ, f and j'.  In the first case, the result comes fairly easily.  In the second case, we apply Lemma <ref> to see that y_j is constant; this situation can be dealt with easily.
 
  Given (…,τ_j,g_j,…)∈ S, let us write 
  
    g_jτ_j=σ_j=x_j+iy_j
 and 
  
    m_g_j(τ_j)=ρ_j=u_j+iv_j.

  We wish to parametrise the real algebraic arc
  
    S̃={(…,g_jτ_j,m_g_j(τ_j),…):(…,τ_j,g_j,…)∈ S} (×ℂ)^n

  in terms of one of the y_j.  Thus we first have to deal with the possibility that all of the y_j are in fact constant on S̃.  
  
  In this situation, let us first assume that the ρ_j are also constant.  Then we have
  
    […,j(σ_j),j'(σ_j)ρ_j,p_c_j(j(σ_j),χ(σ_j)-3f(σ_j)π y_j,j'(σ_j)ρ_j),…]∈ V

  for some constants y_j, ρ_j and all σ=(σ_1,…,σ_n)∈S.  Recall that G, the weakly -special closure of S, can be assumed to be a GUT variety.  So we can apply Theorem <ref> to see that (<ref>) holds for all σ∈ G.  
  
  Taking Zariski closures (over ℂ) in (<ref>), we get
  
    […,j(σ_j),w_j,p_c_j(j(σ_j),χ(σ_j)-3f(σ_j)π y_j,w_j),…]∈ V

  for all 𝐪∈ G and (w_1,…,w_n)∈ V_j(𝐪).  Here V_j(𝐪) is a variety depending only on the j(σ_j), which contains the point 
  
    (j'(σ_1)ρ_1,…,j'(σ_n)ρ_n).
  
  As in <cit.>, it is easy to find a sequence of matrices γ_t∈, t∈ℕ, such that 
  
    (χ(γ_tσ_1),…,χ(γ_tσ_n))→ (χ(σ_1),…,χ(σ_n))

  and
  
    (f(γ_tσ_1),…,f(γ_tσ_n))→ 0

  as t→∞.  So by continuity (and the invariance of j), we get
  
    […,j(σ_j),w_j,p_c_j(j(σ_j),χ(σ_j),w_j),…]∈ V

  for all 𝐪∈ G and 𝐰∈ W_j(𝐪).  By an isomorphism theorem from <cit.>, we get
  
    […,j(σ_j),w_j,p_c_j(j(σ_j),χ^*(σ_j),w_j),…]∈ V

  and hence
  
    […,j(σ_j),j'(σ_j)ρ_j,p_c_j(j(σ_j),χ^*(σ_j),j'(σ_j)ρ_j),…]∈ V,

  for all σ∈ G.  This says precisely that G↪ V.
  
  
  








  
  Next we deal with the situation where one of the y_j is nonconstant on S̃.  Without loss of generality, suppose it is y_1 and write y=y_1.  We can parametrise
  
    S̃={(x_1(y)+iy,u_1(y)+iv_1(y),…,x_n(y)+iy_n(y),u_n(y)+iv_n(y)):y∈ I},

  for some interval Iℝ and algebraic functions x_i,y_i,u_i,v_i.  Letting F be a defining polynomial of V, we have
  
    F[…,j(σ_j),j'(σ_j)u_j(y)+iv_j(y),p_c_j(j(σ_j),χ(σ_j)-3f(σ_j)π y_j(y),j'(σ_j)u_j(y)+iv_j(y)),…]=0,

  where we set y_1(y)=y.  We can rewrite this; there is an algebraic function s such that the above holds if and only if
  
    s(y,π̃(σ))=0

  for all σ=(σ_1,…,σ_n)∈S.  Here we are writing y=σ_1 and, as before:
  
    π̃(σ_1,…,σ_n)=(j(σ_1),j'(σ_1),χ(σ_1),f(σ_1),…,j(σ_n),j'(σ_n),χ(σ_n),f(σ_n)).

  
  Since s is an algebraic function, there is a nontrivial irreducible polynomial p_s such that 
  
    p_s(s(𝐗),𝐗)=0

  for all 𝐗.  In particular,
  
    p_s(0,y,π̃(σ))=0

  for all σ∈S and y=σ_1.  Since p_s is irreducible and nontrivial, we get a nontrivial q_s(𝐗)=p_s(0,𝐗).  (It is clear that p_s(t,𝐗) t.)
  
  Now we apply the following iterative procedure to q_s.
  
   
  * Inspect separately each coefficient r_k of T^k in q(T,…).  If 
    
    r_k(π̃(σ))=0

    for all σ∈S and all k, then terminate.  Otherwise, let q' be the polynomial produced by removing from q all coefficients r_k which have the above property.
   
  * If q' is irreducible, terminate.  Otherwise, there is a factor q” of q' with
    
    q”(y,π̃(σ))=0

    for all σ∈S and y=σ_1.  
   
  * We have a polynomial q”, which retains the property that
   
    q”(y,π̃(σ))=0

    for all σ∈S and y=σ_1.  Repeat from step 1, with q” instead of q.   
  
  This must eventually terminate, since step 2 will always reduce the degree of the polynomial in question.  So we have two possibilities.

  
  If we terminated at step 1, then working backwards we see that every coefficient r_k of T^k in q_s has the property that
  
    r_k(π̃(σ))=0

  for all σ∈S.  Using the fact that G is a GUT variety, we can apply Theorem <ref> to see that this holds for all σ∈ G.  In particular, 
  
    q_s(y,π̃(σ))=0

  for all y∈ℂ and all σ∈ G.  Otherwise put, 0 is a root of
  
    p_s(X,y,π̃(σ))

  for all y∈ℂ and all σ∈ G.
  
  Now we proceed much as we did in the proof of Corollary <ref>.  Choose a point 
  
    𝐚=(a_1,…,a_n)∈S,

  a G-open neighbourhood U of 𝐚 and a ℂ-open neighbourhood W of 0 with the following property.  Whenever σ=(σ_1,…,σ_n)∈ U, the only root of (<ref>) lying in W is 0 itself.
  
  Now recall that 
  
    s(y,π̃(σ))
 
  is a root of (<ref>) for all y and all σ.  This is just the definition of p_s.  Since s vanishes at 𝐚∈S, there is a G-open neighbourhood 
  
    𝐚∈ U' U

  such that
  
    s( a_1,π̃(σ))∈ W

  for all σ∈ U'.  But the only root of (<ref>) lying in W is the root 0.  So it must be the case that
  
    s( a_1,π̃(σ))=0

  for all σ∈ U' and hence for all σ∈ G.  
  
  Recalling the definition of S, we see that
  
    F[…,j(σ_j),j'(σ_j)u_j(y)+iv_j(y),p_c_j(j(σ_j),χ(σ_j)-3f(σ_j)π y_j(y),j'(σ_j)u_j(y)+iv_j(y)),…]=0,

  for all σ=(σ_1,…,σ_n)∈ G and for constants y_j=y_j( a_1) and ρ_j=u_j( a_1)+iv_j( a_1).  
  
  If we repeat this whole procedure for each defining polynomial of V, we get
  
    […,j(σ_j),j'(σ_j)ρ_j,p_c_j(j(σ_j),χ(σ_j)-3f(σ_j)π y_j,j'(σ_j)ρ_j),…]∈ V

  for all σ∈ G and constants y_j=y_j( a_1) and ρ_j=u_j( a_1)+iv_j( a_1).  Now we are in exactly the same position as we were for (<ref>), so we conclude as we did earlier.

  
  If we terminated at step 2, then we have an irreducible polynomial q such that
  
    q(y,π̃(σ))=0

  for all σ=(σ_1,…,σ_n)∈S.  Moreover, for every k, the coefficient r_k of T^k in q(T,…) has the property that
  
    r_k(π̃(σ))

  does not vanish identically for σ∈S.  Thus we can extract an algebraic function ϕ such that
  
    y=ϕ(π̃(σ))

  for all σ∈S and y=σ_1.  Now we may apply Lemma <ref> (once again using the fact that the weakly -special closure of S is a GUT variety) and see that y is constant on S, a contradiction.

  
  Finally we deal with the case where the y_j are all constant on S̃, but perhaps the ρ_j vary.  Say y_j=a_j.  Note, by hypothesis, that at least one of the σ_j is nonconstant on S̃.  Without loss of generality, let us say it is σ_1.
  
  We have the relation
  
    […,j(σ_j),j'(σ_j)ρ_j,p_c_j(j(σ_j),χ(σ_j)-3f(σ_j)π a_j,j'(σ_j)ρ_j),…]∈ V,

  holding for all (…,σ_j,ρ_j,…)∈S̃.  This is a complex analytic relation.  
  
  Consider the intersection of an irreducible algebraic variety Wℂ^2n with (×ℂ)^n.  A connected component of this intersection is called a complex algebraic  component.  Let A be the smallest complex algebraic component containing S̃.  Then by analytic continuation, (<ref>) holds for all (…,σ_j,ρ_j,…)∈ A.
  
  Since the weakly -special closure of S is a GUT variety G, the projection of A onto the σ_j coordinates also has G as its weakly -special closure.  Hence we can find a real algebraic arc
  
    T (×ℂ)^n

  with the following properties:
  
   
  * On T, the imaginary part of σ_1 is nonconstant.
   
  * Whenever (…,σ_j,r_j,…)∈ T, we have
   
    […,j(σ_j),j'(σ_j)ρ_j,p_c_j(j(σ_j),χ(σ_j)-3f(σ_j)π a_j,j'(σ_j)ρ_j),…]∈ V.

   
  * The projection of T onto the σ_j coordinates has G as its weakly -special closure.
  
  We can then parametrise T in terms of y=σ_1.  Exactly as before, we then rewrite the polynomial relation as an algebraic function s, yielding
  
    s(y,π̃(σ_1,…,σ_n))=0

  whenever (…,σ_j,r_j,…)∈ T and y=σ_1.  By the same analysis as earlier, we end up with a constant a such that
  
    s(a,π̃(σ_1,…,σ_n))=0

  for all (σ_1,…,σ_n)∈ G.  This in turn yields
  
    […,j(σ_j),j'(σ_j)ρ_j(a),p_c_j(j(σ_j),χ(σ_j)-3f(σ_j)π a_j,j'(σ_j)ρ_j(a)),…]∈ V

  for all (σ_1,…,σ_n)∈ G.  Since ρ_j(a) and a_j are constants, we can then conclude exactly as we did for (<ref>).












 

The above theorem will be used in our point-counting arguments in the next section, in order to take a real algebraic arc and produce from it a weakly -special variety with certain adjacency properties.  We will also need the following corollary, which we will eventually use to ensure that there are only finitely many basic linear varieties adjacent to our fixed variety V.


 Let Vℂ^3k be a variety and let B be a basic linear variety adjacent to V.  Suppose B is maximal with this property.  Then B is -special, ie. all of the g_i,j defining B lie in .
 
  Immediate from <ref>.
 





§ POINT-COUNTING

In this section, we will discuss the necessary o-minimality and point-counting considerations.  For familiar readers, the results here should fit well with expectations, though they are necessarily rather less neat than their equivalents in more classical settings.  We are assuming some basic familiarity with o-minimality and the Pila-Wilkie theorems; see <cit.>, <cit.> and <cit.>.

The first crucial fact we need is that all of the relevant functions are definable in an appropriate sense.  Namely, the restrictions of j, j', j”, χ^*, χ and f to any standard fundamental domain for the action of  on  are definable in (the o-minimal structure) .  We will use the “most standard” fundamental domain

    𝔽={τ∈:-1/2≤Reτ≤ 1/2, |τ|≥ 1}.

The definability can be seen in various ways; either as a consequence of the theory of elliptic curves and a result of Peterzil and Starchenko on definability of the Weierstrass ℘-function <cit.>, or via q-expansions.   Given this fact, the idea is a fairly standard one:

First assume that a variety contains an infinite set of special points.  Then the preimage of that variety (under J for instance), intersected with 𝔽^n, is a definable set in .  By taking Galois conjugates, one can force this definable set to contain many quadratic points of bounded height, in the sense of the Pila-Wilkie theorem.  So it will contain a real algebraic arc, allowing us to apply the Ax-Lindemann results of the previous section.

The missing ingredient so far is the Galois aspect.  Fortunately, much of this is already done for us; the points about which we need Galois information are just the j-special and χ^*-special points.  For control over these, we have the following.


 Let τ∈ be a quadratic point and consider the algebraic numbers j(τ) and χ^*(τ).  Let σ be a Galois conjugation acting on ℚ(j(τ))⊇ℚ(χ^*(τ)).  Let τ' be a quadratic point such that j(τ')=σ(j(τ)).  Then χ^*(τ')=σ(χ^*(τ)).

For a proof, see <cit.>.  This tells us, essentially, that to keep track of the Galois conjugates of χ^*(τ), we need only keep track of the Galois conjugates of j(τ).  We already have sufficiently good control of the Galois conjugates of j(τ); it is a consequence of the Siegel bound for class numbers of quadratic fields <cit.> that

    [ℚ(j(τ)):ℚ]≫ D^1/4,

where D is the discriminant of τ.  (In fact we can do much better, but this is sufficient for our purposes.)  Hence in particular, there will be ≫ D^1/4 Galois conjugates of a point (j(τ),χ^*(τ)), over any fixed number field.  This fact is central to our main “point-counting theorem”.  In this theorem we use the assumption of j'-genericity for the first, and only, time in the paper.


 Let Vℂ^3n be an algebraic variety defined over ℚ.  Then there is a number D=D(V) with the following property.  Let τ∈ J^-1(V) be a j'-generic quadratic point with discriminant greater than D, and suppose none of the coordinates of τ lies in ·{i,ρ}.  Then there is an -special variety G with
 
    τ∈ G ↪ V.

 
  Let K be a number field containing a field of definition for V.  
  
  Suppose we have a partition of {1,…, n},
  
    S_1∪…∪ S_k,

  with each S_i∅.  For each i, let s_i=min S_i and r_i=#S_i-1.  Given 
  
    σ=(σ_1,…,σ_k)∈^k

  and 
  
    g=(g_1,1,…,g_1,r_1,…,g_k,1,…,g_k,r_k)∈^n-k,

  define the following set:
  
    Z_σ,g={(τ,h)∈^k×^n-k:  h_i,j= g_i,j,
    […, j(τ_i),j'(τ_i),p_σ_i(j(τ_i),χ^*(τ_i),j'(τ_i)),…
    …, j(h_i,jτ_i),j'(h_i,jτ_i)m_g_i,j(σ_i)m_h_i,j(τ_i),p_ g_i,jσ_i(j(h_i,jτ_i),χ^*(h_i,jτ_i),j'(h_i,jτ_i)m_g_i,j(σ_i)m_h_i,j(τ_i)),…]∈ V}

  Consider this as a family of sets, fibred over ^k×^n-k.  There is one such family for each of the finitely many partitions of {1,…, n}, and we consider them all together.  They are certainly not definable families.  However, for a given partition, the family
  
    𝒵_σ,g={(τ,h)∈ Z_σ,g:τ_i, h_i,jτ_i∈𝔽, i≤ k, j≤ r_k}

  is definable in .

  
  Now let us consider a j'-generic special point τ∈ J^-1(V), of large discriminant D(τ).  Up to permutation of coordinates, τ looks like
  
    τ=(σ_1,g_1,1σ_1,…,g_1,r_1σ_1,…,σ_k,g_k,1σ_k,…,g_k,r_kσ_k),

  with the σ_i lying in distinct -orbits, and g_i,j∈.  So τ corresponds to a partition of {1,…, n} in the obvious way.  Writing g_i,j as primitive integer matrices, let N_i,j= g_i,j.  Recall that the j'-genericity of τ means that
  
    j'(σ_1),…,j'(σ_k)

  are algebraically independent over ℚ.  So we see that the ℚ-Zariski closure τ of J(τ) is the set of points of the form
  
    […,j(σ_i),w_i,p_σ_i(j(σ_i),χ^*(σ_i),w_i),…,j(g_i,jσ_i),-w_iλ_N_i,j(j(σ_i),j(g_i,jσ_i))m_g_i,j(σ_i),
    p_ g_i,jσ_i(j(g_i,jσ_i),χ^*(g_i,jσ_i),-w_iλ_N_i,j(j(σ_i),j(g_i,jσ_i))m_g_i,j(σ_i)),…],

  for some w_1,…,w_k∈ℂ.
  
  We will show that the existence of this τ implies that 𝒵_σ,g contains ≫ D(τ)^1/4 quadratic points of bounded height.  As is typical in the Pila-Zannier strategy, these new points will arise from Galois conjugates of j(τ).  To begin, we need to define a variety which keeps track of τ and its Galois conjugates.  Said variety will be a subvariety of ℂ^2n; we will write a general element of ℂ^2n as 
  
    (…,X_i,Y_i,…,X_i,j,Y_i,j,…),

  with i≤ k and j≤ r_i, matching the structure of the underlying partition of {1,…,n}.
  
  Let
  
    V_σ,g={(𝐗,𝐘)∈ℂ^2n:∀ w_1,…,w_k∈ℂ,
    […,X_i,w_i,p_σ_i(X_i,Y_i,w_i),…,X_i,j,-w_iλ_N_i,j(X_i,X_i,j)m_g_i,j(σ_i),
    p_ g_i,jσ_i(X_i,j,Y_i,j,-w_iλ_N_i,j(X_i,X_i,j)m_g_i,j(σ_i)),…]∈ V}.

  Then V_σ,g is a subvariety of ℂ^2n, defined over K(σ,σ).  This definition is set up to mirror the shape of τ.  Thus, since τ V, we see that V_σ,g must contain the point
  
    (j,χ^*)(τ).

  Hence V_σ,g also contains every Galois conjugate (over K(σ,σ)) of (j,χ^*)(τ).  By Proposition <ref>, such a Galois conjugate must take the form (j,χ^*)(τ'), for some quadratc τ' with D(τ')=D(τ).  Moreover, by the existence of the modular polynomial Φ_N, τ' must have the same  structure as τ.  That is:
  
    τ'=(σ_1',g_1,1'σ_1',…,g_1,r_1'σ_1',…,σ_k',g_k,1'σ_k',…,g_k,r_k'σ_k'),

  where the σ_i' are quadratic points and g_i,j'= g_i,jγ_i,j, for some γ_i,j∈.  Further, by the modularity of j and χ^*, we can ensure that σ_i'∈𝔽.
  

  
  For each τ' arising this way, let us take w_i=j'(σ_i') in the definition of V_σ,g.  Noting that
  
    -j'(σ_i')λ_N_i,j(j(σ_i'),j(g_i,j'τ))m_g_i,j(σ_i)=j'(g_i,j'σ_i')m_g_i,j(σ_i)m_g_i,j'(σ_i'),

  we see that (σ',g')∈ Z_σ,g.  Further, there is γ_i,j'∈ such that γ_i,j'g_i,j'σ_i'∈𝔽.  This yields (σ',γ'g')∈𝒵_σ,g.
    
  By (<ref>), there are ≫ D(τ)^1/4 Galois conjugates of (j,χ^*)(τ) over ℚ.  Since K(σ,σ) is an extension of K of degree at most 4n, we have
  
    [ℚ(j(τ)):K(σ,σ)]=[ℚ(j(τ)):ℚ]/c,

  where c is an absolute constant.  Hence there are ≫ D(τ)^1/4 points (σ',γ'g') lying in 𝒵_σ,g.
  
  Moreover, it is a consequence of Proposition 5.2 in <cit.> that the corresponding γ_i,j,γ_i,j' can be chosen to have height polynomial in D, whence (σ',γ' g') has height polynomial in D.  So the existence of τ∈ J^-1(V), with discriminant D(τ), ensures that 𝒵_σ,g contains ≫ D(τ)^1/4 points of bounded height (and degree at most 2).
  
  At this point, we can apply the uniform Pila-Wilkie Theorem.  Playing the upper bound from uniform Pila-Wilkie against the lower bound found above, we find a number D such that whenever τ∈ J^-1(V) has discriminant greater than D, the corresponding 𝒵_σ,g contains an arc T of a real algebraic curve.  Further, we can ensure that T contains the (σ',γ'g') corresponding to one of the τ' arising from the Galois conjugates of (j,χ^*)(τ).
  
  We would like to apply Theorem <ref> to some algebraic arc constructed from T.  Indeed, let 
  
    S={(…,τ_i,[ 1 0; 0 1 ],…,τ_i,h_i,j,…):(τ,h)∈ T},

  where h is the element of  corresponding to the image of h as an element of PGL_2(ℝ).  Also let
  
    S={(…,τ_i,…,h_i,jτ_i,…):(τ,h)∈ T}.

  Before we can apply Theorem <ref>, it only remains to check that S is indeed an arc, rather than just point.  This is easy to see; if τ_i and h_i,jτ_i are all constant on S, then h must be constant, up to determinant, on T.  Since the determinant of h_i,j is fixed in the definition of Z_τ_0,g_0, it follows that τ_i and h_i,j are both constant on T, whence T itself is just a point, which is a contradiction.
  
  So <ref> yields an -special set H with
  
    S G ↪ V.

  Since (σ',γ'g')∈ T, we have γτ'∈S for some γ∈^n.  Hence, some -translate H' of H contains τ', and remains adjacent to V.  Suppose that
  
    H'=B×{τ_k+1',…,τ_n'}

  for some basic -special variety B.  Since (j,χ^*)(τ') was a Galois conjugate of (j,χ^*)(τ), we can now apply the inverse Galois conjugation to see that
  
    B×{τ_k+1,…,τ_n}↪ V.

  For suitable γ, the -special variety
  
    G=γ B×{τ_k+1,…,τ_n}

  will contain τ and is still adjacent to V.  
 


























































































































































The above result is one of two crucial pieces of “counting” we need in order to prove <ref>.  The other half is the following proposition.  The idea is that <ref> will be used to count the number of isolated points that can arise in J^-1(V) (the“zero-dimensional pieces”), and this next proposition will count the “positive-dimensional pieces;” namely the basic -special varieties.  Together, <ref> and <ref> will act as the engine driving the inductive argument at the heart of the proof of <ref>.

 Let Vℂ^3n be a variety.  Consider the definable subset consisting of those proper basic linear varieties B^k (for any k) such that:
 
  
  * B meets 𝔽^k in its full dimension.
  
  * B is adjacent to V.
  
  * B is maximal with the above properties.
 
 Then there are only finitely many such B, and each is -special.
 
  By Corollary <ref>, the only basic linear B which are maximally adjacent to W are necessarily -special.  For such B, all the defining g_i,j are in , so the collection of such B is parametrised by a countable set.  
  The conditions specified are definable, (compare with, for instance, <cit.>) so we have a countable definable set, which is therefore finite.
 






§ BRINGING THE PROOF TOGETHER

As we bring everything together to prove our central theorem, let us recall the statement.


 Let Vℂ^3n be a proper algebraic variety defined over ℚ.  There exists an -finite collection σ(V), consisting of proper -special varieties of ^n, with the following property.  Every j'-generic -special point in J^-1(V) is contained in some G∈σ(V).
 
  First, let us note: we can safely ignore any τ∈ J^-1(V) which have a coordinate lying in ·{i,ρ}, since these all clearly lie in -finitely many proper -special subvarieties.

  
  We work by induction on n.  For n=1, we argue as follows.  
  
  Suppose that Vℂ^3 is an algebraic variety defined over ℚ and let D=D(V) be the number given to us by <ref>.  If J^-1(V) contains -infinitely many quadratic points, then in particular it contains one of discriminant greater than D.  Theorem <ref> then tells us that  is adjacent to V.  This implies that
  
    ∀τ∈, (j(τ),j'(τ)z,p_c(j(τ),χ^*(τ),j'(τ)z))∈ V

  for some c>0 and z∈ℂ.  Taking Zariski closures (over ℂ) this says that
  
    ∀ w∈ℂ,τ∈, (j(τ),w,p_c(j(τ),χ^*(τ),w))∈ V.

  In particular, for any τ with τ=c, we have
  
    (j(τ),j'(τ),p_c(j(τ),χ^*(τ),j'(τ)))∈ V.

  For such τ, p_c(j(τ),χ^*(τ),j'(τ))=j”(τ) by definition.  Hence
  
    J(τ)∈ V

  for all τ with τ=c.  By analytic continuation, this says that J() V, whence V=ℂ^3.

  
  So by induction we may assume the result holds for all Vℂ^3k, k<n.

The first stage is to construct a variety V^* which is designed to account for all possible positive-dimensional special subvarieties of V.  

Let 𝒢 be the finite collection of proper basic -special subvarieties (of some ^k) afforded by applying Proposition <ref> to V.   Then let

    𝒢_1^*={ω(γ·(B×^n-k)):B∈𝒢, B^k, γ∈^n,ω a permutation of the coordinates}.

Since 𝒢 was finite, 𝒢_1^* is -finite.

Next, consider the variety V_kℂ^3(n-k), defined over ℚ by 

    V_k={𝐗∈ℂ^3(n-k):The translate of ℂ^3k by 𝐗
     (for some choice of ordering of coordinates) is contained in V}.

Clearly V_k is a proper subvariety of ℂ^3(n-k).  By our inductive assumption, there is some -finite collection ℱ_k of proper -special subvarieties of ^n-k.  Every j'-generic -special point in J^-1(V_k) is contained in some F∈ℱ_k.  Let

    𝒢_2^*={ω(^k× F):F∈ℱ_k,1≤ k< n,ω a permutation of coordinates}.

Then 𝒢_2^* is -finite.

Let 

    𝒢^*=𝒢_1^*∪𝒢_2^*,

and let 

    V^*=⋃𝒢^*.

Since 𝒢^* consists of -finitely many proper -special subvarieties, V^* is a proper subvariety of ℂ^3n.  

Suppose now that J^-1(V∖ V^*) contains -infinitely many j'-generic quadratic points.  In particular, there is some j'-generic quadratic τ∈ V∖ V^* with D(τ)>D=D(V).  By <ref>, there is some -special set H with

    τ∈ H ↪ V.

Now, H is a translate of some basic -special variety B^k.  If B is a proper subvariety of ^k, then H should have been accounted for by 𝒢_1^*, whence J(H) V^*, which contradicts τ∉V^*.  So we must have B=^k.  

So, up to permutation of coordinates, we have

    H=^k×{τ_k+1,…,τ_n}.

As in the case n=1 above, the fact that H ↪ V (via some data including some positive real numbers c_i) tells us that

    J(σ_1,…,σ_k,τ_k+1,…,τ_n)∈ V

whenever σ_i=c_i.  By analytic continuation we then see that

    J(^k×{τ_k+1,…,τ_n}) V,

whence

    ℂ^3k×{J(τ_k+1,…,τ_n)} V.

So (τ_k+1,…,τ_n) is an -special point of J^-1(V_k).  Moreover, it is j'-generic since τ was.  Hence (τ_k+1,…,τ_n) should have been accounted for by 𝒢_2^*.  Hence τ∈ V^*, which is a contradiction.

So J^-1(V∖ V^*) can only contain -finitely many j'-generic quadratic points, whence the j'-generic quadratic points in J^-1(V) are accounted for by the -finite collection 𝒢^*, together with -finitely many additional points.












 


In the next section, we will state a more precise version of Conjecture <ref>, and prove it under the assumption of <ref>.  Before we can do so, we will take the time now to note the following.  Proposition <ref> clearly holds uniformly, and by using the uniform Pila-Wilkie Theorem, we can also get a uniform version of Theorem <ref>.  Using this uniformity, it is easy to get the following uniform version of <ref>.


 Let Vℂ^3n+k be an algebraic variety defined over ℚ, considered as an algebraic family of varieties, 
    V_𝐚ℂ^3n,   𝐚∈ℂ^k.

 For each positive integer r, there is an -finite collection σ_r(V), consisting of proper -special subvarieties of ^n, with the following property.  
 
 Whenever 𝐚∈ℚ^k satisfies max [ℚ(a_i):ℚ]≤ r and V_𝐚 is a proper subvariety of ℂ^3n, every j'-generic quadratic point in J^-1(V_𝐚) is contained in some G∈σ_r(V).





§ A MORE PRECISE STATEMENT

Readers familiar with the normal shape of André-Oort statements may have noticed that <ref> is rather weaker than one might expect.  Even taking into account the action of , a more natural analogue of the classical case might look like the following.


 Let Vℂ^3n be an algebraic variety defined over ℚ.  Then the collection of maximal J-special subvarieties of V is -finite.

This turns out to be false.  The reason for its failure is fairly simple; the modular relations that relate j'(gτ) (for some g∈) with j'(τ) include not just j(τ), j'(τ), j(gτ) and j'(gτ), but also include instances of m_g(τ)=(cτ+d)^2/N.  With the right polynomial, one can therefore enforce arbitrary relations between m_g(τ) and other m_h(σ) arising in other coordinates.

Similarly, the modular relation for j” introduces new variables to the equation.  Indeed, by differentiating the modular polynomials one can find a rational function μ_N (in 7 variables) such that

    j”(gτ)=μ_N(j(τ),j(gτ),j'(τ),j'(gτ),j”(τ),c,(cτ+d)),

where g=[ a b; c d ] is a primitive integer matrix of determinant N.  Moreover, μ_N is linear in the c-coordinate.  Hence we are able to enforce relations on the c that can arise, as well as the m_g(τ).  

Let us see some examples to illustrate this issue.

 
  
  * Let Wℂ^2 be an algebraic variety defined over ℚ.  Suppose that W has at least one solution (x,y) where x and y are both squares of quadratic points in .  Fix two positive integers M and N. 
 
 Writing a general element of ℂ^12 as (X_1,Y_1,Z_1,…,X_4,Y_4,Z_4), consider the variety Vℂ^12 defined (over ℚ) by
 
    Φ_M(X_1,X_2)=0,   Φ_N(X_3,X_4)=0,

 
    (-Y_2Y_1λ_M(X_1,X_2),-Y_4Y_3λ_N(X_3,X_4))∈ W.

 Then the special points of J^-1(V) are precisely the points (τ,gτ,σ,hσ), where g and h are (arbitrary) primitive integer matrices with determinant M and N respectively, and τ, σ are quadratic points satisfying
 
    (m_g(τ),m_h(σ))∈ W.

 Since W has at least one solution which is a square of a quadratic point, we can certainly find τ and σ to solve this equation.  Indeed, by modifying τ and σ we can solve this equation for any g and h of the right determinant.  The resulting collection of special points is certainly -infinite, but no positive-dimensional -special variety is contained in J^-1(V).  
 
 This example therefore serves as a counterexample to the hypothetical statement <ref>.  Since the points all lie within the -translates of the -special set
 
    {(τ_1,gτ_1,τ_2,hτ_2):τ_i∈},

 our main theorem <ref> is still fine!  Let us see one more example.
 
  
  * Fix a quadratic point σ∈ and γ=[ a b; c d ]∈.  Then
  
    (cσ+d)^2=m_γ(σ)=j'(γσ)j'(σ)

  and 
  
    c=j”(γσ)-j”(σ)(cσ+d)^42(cσ+d)^3j'(τ),

  whence 
  
    c^2   =(j”(γσ)-j”(σ)(cσ+d)^4)^24(cσ+d)^6j'(σ)^2
       =(j”(γσ)-j”(σ)(j'(γσ)j'(σ))^2)^24(j'(γσ)j'(σ))^3j'(σ)^2.

  So for the appropriate rational function q we have
  
    c^2=q(j'(σ),j'(γσ), j”(σ),j”(γσ)).

  Given a variety Wℂ^2, defined over ℚ, we can then define Vℂ^9 by
  
    Φ_N(X_1,X_2),    X_3=j(σ),

  
    ∀ w∈ℂ, (-Y_2Y_1λ_N(X_1,X_2),q[w,Y_3, p_σ(j(σ),χ^*(σ),w),Z_3])∈ W.

  Then the -special points of J^-1(V) are exactly those points
  
    (τ,gτ,γσ),

  where g=[ a b; c d ] is any primitive integer matrix of determinant N, γ=[ A B; C D ]∈ and 
  
    ((cτ+d)^2,C^2)∈ W.

  Once again, if W is suitable then this is an -infinite collection, but no positive dimensional -special set lies in J^-1(V).  
 


With variants of the examples above, one can produce varieties whose special points satisfy almost any arbitrary relation, provided the relation is written in terms of variables c, (cτ+d) corresponding to matrices g∈, and C,D corresponding to some -translate of a fixed σ.

The idea of our stronger result is that these relations should be the only obstruction to a result like <ref>.  In order to state this precisely, we will need to go through some technicalities.

































Given a proper -special set G^n, there is an underlying partition of {1,…,n} which can be written as

    S_0∪ S_1∪…∪ S_h∪ T_1∪…∪ T_k,

with only S_0 allowed to be empty and only the T_i allowed to be singletons.  (The condition that G is proper is equivalent to requiring that k < n.)  For i>0, let r_i=# S_i-1 and let s_i be the smallest element of s_i.  Also associated to G are some matrices g_i,1,…,g_i,r_i∈, so that each coordinate in S_i (except the s_i coordinate) is defined by τ=g_i,jτ_s_i.

Given such a G and given a tuple of matrices

    γ=(γ_1,…,γ_#S_0,γ_1,1,…,γ_1,r_1,…,γ_h,1,…,γ_h,r_h)∈^#S_0+∑ r_i,

let c_i,d_i be the bottom row of γ_i, and c_i,j,d_i,j be the bottom row of the matrix γ_i,jg_i,j.


This is all building towards the following definitions.  


 A variety Wℂ^2# S_0+2∑ r_i, defined over ℚ, is called a G-variety.  For a G-variety W and a given γ∈^#S_0+∑ r_i (as above), we define W^γ^{s_1,…,s_h} to be the set of (τ_s_1,…,τ_s_h) such that

    (…,c_i,d_i,…,c_i,j, c_i,jτ_s_i+d_i,j,…)∈ W.


If γ is an element of the full group ^n, then it consists of γ'∈^#S_0+∑ r_i, as above, together with some more matrices

    α_s_1,…,α_s_h∈,

corresponding to the s_i-coordinates, and

    β_1,…β_k∈

corresponding to the singleton coordinates in the T_i.  For such a γ∈^n, we will abuse notation and write

    W^γ=(α_s_1,…,α_s_h)· W^γ'.

(The β_i have no meaningful effect.)  


 We will write
 
    (γ,W)={(τ_1,…,τ_n)∈^n: (τ_s_1,…,τ_s_h)∈ W^γ and every τ_i is quadratic}.



In the case where h=0, so that we have no τ-coordinates to work with, the variety W^γ only enforces conditions on the γ corresponding to the S_0-coordinates.  In this case, we will use the convention that

    (γ,W)=^n

if (…,c_i,d_i,…)∈ W, and

    (γ,W)=∅

otherwise.

Before we can state our more precise version of <ref>, we need one more definition.

A pair (G,W), with G a proper -special set and W a G-variety is said to be geodesically minimal if 

    ⋃_γ∈^n(γ,W)

is not contained in any -finite collection of proper -special varieties.




[Precise Modular André-Oort with Derivatives]
Assume Conjecture <ref>.  Let Vℂ^3n be an algebraic variety defined over ℚ.  Then there is a finite collection σ(V) of -special subvarieties of ^n, and for each G∈σ(V) an associated G-variety W_G, with the following properties.

 
  * For every G∈σ(V), (G,W_G) is geodesically minimal.
 
  * The set of quadratic points in J^-1(V) is precisely
 
    ⋃_G∈σ(V)
    γ∈^nγ· G∩(γ,W).




 Under the assumption of Conjecture <ref>, Theorem <ref> yields a finite collection σ(V) of proper -special subvarieties, such that the special points of J^-1(V) are contained in
 
    ⋃_G∈σ(V)
    γ∈^nγ· G.

 Let us look first at a single G∈σ(V), and associate some data to it, as in the definitions above.  Associated to G is a partition of {1,…,n},
 
    S_0∪ S_1∪…∪ S_h∪ T_1∪…∪ T_k,

 with T_i singletons, #S_i>1.  As above, we have some associated data
 
    s_i=min S_i,     r_i=# S_i-1  for i>0,

 
    σ_1,…,σ_#S_0∈ quadratic

 and
 
    g_i,j∈, a primitive integer matrix with determinant N_i,j, for 1≤ i ≤ h, 1≤ j≤ r_i.

 For ease of notation, we will assume that the coordinates are ordered nicely, with the first few coordinates in S_0, the next few in S_1, and so on.
 
 Recall: for each N, there is a rational function μ_N with the property that
 
    j”(gτ)=μ_N(j(τ),j(gτ),j'(τ),j'(gτ),j”(τ),c,(cτ+d))

 whenever g=[ a b; c d ] is a primitive integer matrix of determinant N.  Moreover, it will be useful later to know that
 
    μ_N(j(τ),j(gτ),j'(τ),j'(gτ)(c_0τ_0+d_0)^2(cτ+d)^2,j”(τ),c_0,(c_0τ_0+d_0))
    =j”(gτ)(c_0τ_0+d_0)^4(cτ+d)^4+j'(gτ)2(c_0τ_0+d_0)^3(c_0d-cd_0)(cτ+d)^3.

 This follows by a straightforward, if tedious, calculation.
 
 Given γ∈^n, and a point τ=(τ_1,…,τ_h)∈^h, define a variety
 
    V_γ,τℂ^3(h+k)

 as follows.  First, write γ as in (<ref>).  That is, γ consists of 
 
    γ'=(γ_1,…,γ_#S_0,γ_1,1,…,γ_1,s_1,…,γ_h,1,…,γ_h,s_h)∈^# S_0+∑ r_i,

 
    α_s_1,…,α_s_h∈
 corresponding to the s_i coordinates, and 
 
    β_1,…,β_k∈

 corresponding to the singleton coordinates in the T_i.  Let c_i, d_i be the bottom row of γ_i and c_i,j,d_i,j the bottom row of γ_i,jg_i,j.  
 
 
 Define V_γ,τ' by
 
    (X_1,Y_1,Z_1,…,X_h+k,Y_h+k,Z_h+k)∈ V_γ,τ'

    ⟺

 
    ∀ w_i,j∈ℂ with Φ_N_i,j(X_i,w_i,j), i≤ h,j≤ r_i,
    […,j(σ_i),j'(γ_iσ_i),j”(γ_iσ_i),…,X_i,Y_i,Z_i,…,w_i,j,-Y_i(c_i,jτ_s_i+d_i,j)^2λ_N_i,j(X_i,w_i,j),
    μ_N_i,j(X_i,w_i,j,Y_i,-Y_i(c_i,jτ_s_i+d_i,j)^2λ_N_i,j(X_i,w_i,j),Z_i,c_i,j,c_i,jτ_s_i+d_i,j),…
    …,X_h+i,Y_h+i,Z_h+i,…]∈ V.

 
 Taking ℚ-Zariski closures replaces the j'(γ_iσ_i) and j”(γ_iσ_i) by suitable rational functions involving σ_i, σ_i, χ^*(σ_i), c_i, d_i, and some complex numbers w which are allowed to be arbitrary.  Making these replacements we get a variety V_γ,τ, defined over ℚ, depending polynomially on c_i,d_i,c_i,j,(c_i,jτ_i+d_i,j) (and nothing else).  Thus each V_γ,τ is a fibre of an algebraic family of varieties V, defined over ℚ.  
 
 We now apply Theorem <ref> to V.  We get an -finite collection σ_2(V), consisting of -special subvarieties of ^(h+k), such that for all γ∈^n and all quadratic τ∈^h, either 
    V_γ,τ=ℂ^3(h+k)
 or the J-special subvarieties of V_γ,τ are accounted for by σ_2(V).  The H∈σ_2(V) correspond in the obvious way to an -finite collection 𝒢 of proper -special subvarieties of G.  We add all these H∈𝒢 to the overarching collection σ(V).

 
 Now, a quadratic point lying in 
    ⋃_γ∈^nγ· G∩ J^-1(V)
 corresponds to a quadratic point τ=(τ_1,…,τ_n)∈ G together with γ∈^n such that γτ∈ J^-1(V).  Such a pair (τ, γ) necessarily satisfies
 
    J(τ')∈ V_γ,τ,

 where
 
    τ'=(α_s_1τ_s_1,…,α_s_hτ_s_h,β_1τ_n-k+1,…,β_kτ_n).

 By the properties of σ_2(V), either τ'∈ H, for some H∈σ_2(V), or V_γ,τ=ℂ^3(h+k).  In the first case, we have τ∈ H, for some H∈𝒢.  
 
 Define a set
 
    R={(τ,γ)∈^n×^n:τ is quadratic, τ∈ G, J(γτ)∈ V, 
    
    ∀ H∈𝒢,τ∉H}.

 If R is empty, we can stop here, removing G from σ(V) entirely; it contributes no special points other than those already accounted for by 𝒢.  
 
 If R∅, we continue.  By the properties of 𝒢, every (τ,γ)∈ R must satisfy
 
    V_γ,τ=ℂ^3(h+k).

 




































 





  Hence, in the definition of V_γ,τ, we can replace (X_1,…,Z_h+k) with J(z_1,…,z_h+k), for arbitrary z_i∈.  By (<ref>) and an easy calculation involving λ_N, we see that
 
    […,J(γ_iσ_i),…,J(z_i),…
    …,j(h_i,jz_i),j'(h_i,jz_i)(c_i,jτ_s_i+d_i,j)^2δ_i,j^2,j”(h_i,jz_i)(c_i,jτ_s_i+d_i,j)^4δ_i,j^4+2j'(h_i,jz_i)c_i,j(c_i,jτ_s_i+d_i,j)^3δ_i,j^2,…
    …,J(z_h+i),…]∈ V

 for all (z_1,…,z_h+k)∈^h+k.  Here h_i,j is an upper triangular matrix in the -orbit of g_i,j and δ_i,j is its lower-right entry. 
 
 As before, by taking ℚ-Zariski closures we can replace the J(γ_iσ_i) by some ℚ-rational functions of c_i and d_i.  Thus the above equation, for each choice of 𝐳=(z_1,…,z_h+k), defines a G-variety which we will call W_𝐳.  The intersection 
 
    W=⋂_𝐳∈^h+kW_𝐳

 is still a G-variety.  (It is nonempty since R is nonempty.)
 
 We have seen that every (τ,γ)∈ R satisfies 
 
    (τ_s_1,…,τ_s_h)∈ W^γ.

 Conversely, any quadratic 𝐳=(z_1,…,z_h), no matter its height, which is a solution of some W^γ, must come from a member of γ· G∩ J^-1(V).  Indeed, in this situation we have 
    […,J(γ_iσ_i),…,J(z_i),…
    …,j(h_i,jz_i),j'(h_i,jz_i)(c_i,jz_i+d_i,j)^2δ_i,j^2,j”(h_i,jz_i)(c_i,jz_i+d_i,j)^4δ_i,j^4+2j'(h_i,jz_i)c_i,j(c_i,jz_i+d_i,j)^3δ_i,j^2,…
    …,J(z_h+i),…]∈ V,

 for all (z_h+1,…,z_h+k)∈^k.
 
 Brief calculations involving the transformation laws for j' and j” show that 
 
    j'(h_i,jz_i)(c_i,jz_i+d_i,j)^2δ_i,j^2=j'(γ_i,jg_i,jz_i)(c_i,jz_i+d_i,j)^2(c_i,jz_i+d_i,j)^2=j'(γ_i,jg_i,jz_i)

 and that
 
    j”(h_i,jz_i)(c_i,jz_i+d_i,j)^4δ_i,j^4+2j'(h_i,jz_i)c_i,j(c_i,jz_i+d_i,j)^3δ_i,j^2=j”(γ_i,jg_i,jz_i)(c_i,jz_i+d_i,j)^4(c_i,jz_i+d_i,j)^4=j”(γ_i,jg_i,jz_i).

 Thus we get
 
    […,J(γ_iσ_i),…,J(z_i),…,j(γ_i,jg_i,jz_i),j'(γ_i,jg_i,jz_i),j”(γ_i,jg_i,jz_i),…,J(z_h+i),…]∈ V,

 for every (z_h+1,…,z_h+k)∈^k.  Hence 𝐳 corresponds to the point
 
    (…,γ_iσ_i,…,z_i,…,γ_ig_i,jz_i,…,z_h+i,…)∈γ· G∩ J^-1(V),

 for any choice of z_h+i.

 
 To sum up, we have seen that the quadratic points in γ· G∩ J^-1(V) consist precisely of:
 
  
  * Those quadratic points that lie in some H∈𝒢.  
  
  * Those points that corresponds to quadratic solutions of W^γ, that is
  
    γ· G∩(γ, W).

 
 We are not claiming that these possibilities are mutually exclusive!
 
 Before we are done with G, we must check whether (G,W) is geodesically minimal.  If it does happen to be geodesically minimal, we are done.  Otherwise, by definition, 
 
    ⋃_γ∈^n(γ, W)

 is contained in some -finite collection of proper -special subvarieties of ^h+k.  This is not a problem; we simply remove G from σ(V) entirely and replace it by the appropriate finite collection of proper subvarieties of G.

 
 This is as much as we can do with a given G∈σ(V).  It may be helpful to have a brief summary here.  For the given G we have done two things:
 
  
  * Either removed G from σ(V) entirely or associated to G an geodesically minimal G-variety W_G.
  
  * Added to σ(V) some finite collection 𝒢 of proper subvarieties of G.
 
 Moreover, the union of the -special subvarieties of γ· G∩ J^-1(V) is precisely
 
    γ· G∩(γ,W_G),

 together with the -special subvarieties of
 
    ⋃_H∈𝒢γ· H∩ J^-1(V).
 
 
 This is enough to conclude the theorem.  Simply perform the above process to each G∈σ(V) in turn, taking the G in descending order of dimension.  Since each G can add to σ(V) only finitely many varieties of strictly smaller dimension, the process will eventually terminate.







§ UNIFORMITY

In this final section, I will discuss uniform versions of the two main results of the document, Theorems <ref> and <ref>.  For this, we are closely following work of Scanlon, who gives in <cit.> a very general approach to uniformising results of this type.  Unfortunately, our setting does not fit perfectly into Scanlon's framework; the full strength of his result is therefore not available to us.  For our purposes it is enough that the central ideas in Scanlon's work do apply.  

There are two main lemmas of Scanlon's that we will use.  The first is Lemma 3.1 from <cit.>, which applies directly.  We write it out here for completeness.


 Let k be a field and K an algebraically closed field extension of k.  Let X be a variety over k and X_K its base change to K.  Let A X(K).  Suppose that Y X_K is constructible.  Then there is a natural number n, some constructible set Z X× X^n, defined over k, and some a∈ A^n such that Z_a(K)∩ A=Y(K)∩ A.

 See Lemma 3.1 from <cit.>


 
 
 The next lemma is the analogue of Lemma 3.2 from <cit.>.  The statement needs some very slight modification before it applies in our setting, but the proof of the modified lemma is essentially identical to the original.


 Let k K be algebraically closed fields, X=𝔸^s, B=𝔸^t and Y X× B a constructible subset.  Let A X(K).  Suppose that there exist α,β∈ A with the following property:
 
 For m∈ℕ and i≤ m, let p^(m)_i be the m-tuple
 
    (α,…,α,β,α,…,α),

 with the β arising in the ith place.  Let P^(m)_i be the k-Zariski closure of {p^(m)_i}.  Then 
 
    p^(m)_i∉P^(m)_j

 for any i j.
 
 Then there is a natural number n and a k-constructible set Z X× X^n such that for any b∈ B(K), there is a∈ A^n for which Y_b(K)∩ A=Z_a∩ A.
 
  Throughout this proof we will suppress notation, writing W=W(K) whenever W is a constructible set over K.
  
  Consider K as a structure in the language ℒ=(+,·,P_A,{a}_a∈ K), where each constant symbol a is to be interpreted as the corresponding element a∈ K and P_A is an s-ary predicate to be interpreted as the set A.  In this language, we can express the condition “x∈ A∩ W” for any affine variety W over K.  
  
  Let T be the ℒ-theory of K, and then let ℒ' be ℒ together with some new constant symbols b_1,…, b_t.  Write b=(b_1,…,b_t).
  
  Let 𝒞(k) be the set of k-constructible subsets of X× X^N (for some N) and consider the set
  
    Γ = T∪{∀ c∈ A^N  ∃ x∈ A   (x∈ Y_b∖ Z_c∨ x∈ Z_c∖ Y_b): Z∈𝒞(k)}.

  Suppose that Γ is not finitely satisfiable.  Let Γ_0 be a finite subset witnessing this.  Since T is the theory of K, Γ_0 cannot be contained in T, so it mentions some finitely many k-constructible sets Z_1,…,Z_l, with Z_i X× X^N_i.  Since  Γ_0 is not satisfiable, we have:
  
    ∀ b∈ B   ∃ i≤ l  ∃ c∈ A^N_i  ∀ x∈ A  ( x∉Y_b∖ Z_c∧ x∉(Z_i)_c∖ Y_b).

  In other words, for every b∈ B, there is some Z_i and some c∈ A^N_i such that
  
    A∩ (Z_i)_c=A∩ Y_b.

  Now let N=max{N_i:i≤ l} and let n=N+l.  Define 
  
    Z=⋃_i=1^lZ_i× X^N-N_i× P^(l)_i,

  with P^(l)_i as in the hypotheses of the lemma.  This Z is a constructible set defined over k, and satisfies the conclusion of the lemma: if b∈ B, then for some i, c, we have A∩ (Z_i)_c=A∩ Y_b. Letting c'=(c,α,…,α, p^(l)_i)∈ A^N+l, we get
  
    A∩ Z_c'=A∩ (Z_i)_c=A∩ Y_b.

  So suppose on the other hand that Γ is finitely satisfiable.  By the Compactness Theorem, it is satisfiable.  So we have an algebraically closed extension L⊇ K of K, a point b∈ B(L) and a set A^* X(L) such that, for every k-constructible Z X× X^N and c∈ (A^*)^N, we have
  
    Y_b(L)∩ A^* Z_c(L)∩ A^*.

  This contradicts Lemma <ref> (applied to k, L, A^*, X and Y_b).
 


Using this, we would like to get a uniform version of <ref>. This can indeed be done, though perhaps not in exactly the manner we might like.  

Given an algebraic family Vℂ^3n+k, we can apply <ref>, with 

    A={J(τ):τ∈^n  quadratic}.

For the resulting constructible set Z, we can write

    Z=⋃_i=1^rX_i∖ Y_i

for some varieties X_i, Y_i defined over ℚ.   If we apply <ref> (under the assumption of Conjecture <ref>) to each of the X_i and Y_i, we get a finite collection σ(V), consisting of pairs (G,H) of -special varieties, with corresponding G-varieties (W_G,W_H), such that the union of the -special subvarieties of J^-1(V_b), for any fibre b, is precisely the fibre of the set

    ⋃_(G,H)∈σ(V)[⋃_γ∈γ G∩Sp(γ,W_G)\⋃_γ∈γ H∩Sp(γ,W_H)]

at some quadratic τ=τ(b).  

This is not quite as good as we might like; one would prefer not to have the -special sets H in the picture.  These arise thanks to the fact that Z is only constructible, rather than Zariski closed.  It does not seem possible to get around this; the reason is essentially the same as the reason why the full strategy outlined in Scanlon's paper <cit.> does not work. 

Let G and H be -special varieties and take a corresponding G-variety W_G and H-variety W_H.  If it were the case that (G∩ H, W_G∩ W_H) was geodesically minimal whenever (G,W_G) and (H,W_H) were, then we would be able to apply the rest of Scanlon's work.  This is not necessarily the case, so the rest of Scanlon's work cannot be applied.  Hence the above seems likely to be the best possible uniform version of <ref>.

Theorem <ref>, however, can be uniformised more cleanly, since it is less precise.  




 Assume Conjecture <ref>.  Let Vℂ^3n+k be an algebraic variety (with arbitrary field of definition), considered as an algebraic family of fibres V_bℂ^3n.  There is a natural number N, and an -finite collection σ(V) of -special subvarieties of ^n+N, with the following property.

For every b∈ℂ^k with V_bℂ^3n, the -special points of J^-1(V_b) are contained in

    ⋃_G∈σ(V) G_τ,

where G_τ is the fibre of G at some fixed quadratic τ=τ(b)∈^N.
Moreover, all of the G_τ are proper subvarieties of ^n.
 
  Let Vℂ^3n+k be a variety, considered as an algebraic family of fibres V_bℂ^3n.  We will apply Lemma <ref>, with X=ℂ^3n, Y=V, K=ℂ, k=ℚ and
  
    A={J(τ):τ∈^n  quadratic}.

  To apply the lemma, we need to find two suitable points α,β∈ A.  This is easy; we only need the j-coordinates of α and β to be distinct.  So Lemma <ref> does apply; we get a ℚ-constructible set Zℂ^3(n+dn) such that, for every b∈ℂ^k, there is some a∈ A^d such that
  
    Z_a∩ A = V_b∩ A.

  Write
  
    Z=⋃_i=1^rX_i∖ Y_i,

  for some ℚ-varieties X_i and Y_i.  We will apply Theorem <ref> to each X_i and Y_i separately.  We get some finite sets σ(X_i) and σ(Y_i) of -special varieties, with associated G-varieties, exactly describing the special subvarieties of the Z_i in the manner described in the statement of Theorem <ref>.

  
  Now, given b∈ℂ^3d, let a∈ A^d be such that Z_a∩ A=V_b∩ A.  Let τ be a preimage of a under J.  
  
  First suppose that no σ(X_i) contains any G such that, for some γ∈^N, G_γτ=^n.   Then we are done; the special points of J^-1(V_b) are contained in the -finite collection of proper -special varieties
  
    {γ'· G_γτ:G∈σ(X_i), i≤ r,γ∈^N,γ'∈^n}.

  On the other hand, suppose that some σ(X_i) contains G such that, for some γ∈^N, G_γτ=^n.  Then the G-variety associated to G cannot impose any condition on the coordinates corresponding to ^n.  Hence by the properties laid out in <ref>, we must have (X_i)_a=ℂ^3n.  
  
  Now apply the same argument to Y_i.  There are 2 possibilities.  Either:
  
  
   
  * The special points of (Y_i)_a are contained in an -finite collection 
   
    {γ'· G_γτ:G∈σ(Y_i),i≤ r,γ∈^N,γ'∈^n},

   with each G_γτ being a proper -special subvariety of ^n, or
   
  * (Y_i)_a=ℂ^3n.
  
  In the first case, since the special points of (Y_i)_a are contained in a lower-dimensional set, it follows that the special points of Z_a are Zariski dense, whence V_b=ℂ^3n.  In the second case, (X_i)_a∖ (Y_i)_a contributes no new special points, so we can ignore this i and move on.
  
  Finally, note that if G_τ=^n for some τ, then it must be the case for every τ' that either G_τ'=^n or G_τ'=∅.  Thus, if some G∈σ(X_i) has the property that (for some τ), G_τ=^n, we can safely remove it.  By the previous arguments, all the special points will still be covered by the rest of the G∈⋃σ(X_i), except in the case where V_b=ℂ^3n.
  















  Hence the (-finite) collection
  
    σ(V)={γ· G: γ∈^n, G∈σ(X_i) for some i, and for every τ∈^N, G_τ^n}

  satisfies the conclusion of the proposition.
 



To conclude, we will state one final corollary of the above result, which simply says that Theorem <ref> holds for arbitrary varieties, rather than just those defined over ℚ.


 Assume Conjecture <ref>. Let Vℂ^3n be a proper algebraic variety (with arbitrary field of definition).  There exists an -finite collection σ(V), consisting of proper -special varieties of ^n, such that every -special point in J^-1(V) is contained in some G∈σ(V).
 
  Immediate.
 







../../bib/scabbrv

