Example shows that this guess is false, since A /G as built there admits
a CM structure since supersingular elliptic curves over K always admit a CM
structure (as they descend to elliptic curves over the algebraic closure of Fp inside
K). Allowing isogenies does not eliminate the need for a finite extension when the
ground field K is not algebraically closed: Example. For a finite field κ, Example adapts to work over K =
κ(t) by beginning with an elliptic curve over κ (for which complex multiplication
by an imaginary quadratic field exists in general; see Corollary One can
do likewise over κ(t) with κ an algebraic closure of Fp.
Motivated by the above examples, Grothendieck proved a reasonable analogue
of Theorem in positive characteristic: Theorem (Grothendieck). Let A be an abelian variety over a field K with
char(K) = p 0, and assume A admits sufficiently many complex multiplications.
Then there exists a finite extension K of K, a finite subfield κ K , and an
abelian variety B over κ such that the scalar extensions A ×Spec(K) Spec(K ) and
B ×Spec(κ) Spec(K ) over K are isogenous.
For an exposition of Grothendieck’s proof, see [89]. The essential difficulty in
the proof in contrast with characteristic 0 is that the isogeny cannot be avoided,
even when K = K (due to Example The proof of Theorem is
immediately reduced to the case when K is finitely generated over Fp. Grothendieck
used the theory of potentially good reduction to find the required K /K and made
a descent from K to a finite subfield via a Chow trace (in the sense of [23, §6]).
1.7.3. There is a refinement of Grothendieck’s theorem, due to C-F. Yu, that clar-
ifies the role of the isogeny and proceeds in a simpler way by using moduli spaces
of abelian varieties. This refinement is given in 1.7.5. We will not need that result,
but the main ingredient in its proof is a technique to modify the endomorphism
ring that will be very useful later, so we now explain that technique.
As motivation, consider an abelian variety A of dimension g 0 over a field K
such that A admits sufficiently many complex multiplications, and let P
be a commutative semisimple Q-subalgebra with [P : Q] = 2g. The intersection
O := P End(A) is an order in P that may not be maximal (i.e., it may not equal
OP := OLi , where Li is the decomposition of P into a finite product of number
fields). It is natural to ask if there is an isogenous abelian variety for which the
non-maximality problem goes away. The following discussion addresses this issue. Example. Consider the preceding setup with K = C. In this case we
have an analytic uniformization
= V/Λ in which V is a C-vector space equipped
with a C-linear action by P and Λ is a lattice in V stable under the order O. Then
Λ := OP · Λ is an OP -stable lattice in V and V/Λ is an isogenous quotient of
on which OP naturally acts. This algebraizes to an isogenous quotient A of A such
that under the identification
) =
we have P End(A ) = OP .
We need an algebraic variant of the analytic construction in Example
Observe that OP · Λ is the image of the natural map OP ⊗O Λ V . Inspired
by this, we are led to ask if these is a way to enlarge an endomorphism ring via
Previous Page Next Page