1.7. A THEOREM OF GROTHENDIECK AND A CONSTRUCTION OF SERRE 79
Example 126.96.36.199 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:
188.8.131.52. Example. For a finite field κ, Example 184.108.40.206 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 220.127.116.11). One can
do likewise over κ(t) with κ an algebraic closure of Fp.
Motivated by the above examples, Grothendieck proved a reasonable analogue
of Theorem 18.104.22.168 in positive characteristic:
22.214.171.124. Theorem (Grothendieck). Let A be an abelian variety over a field K with
char(K) = p 0, and assume A admits suﬃciently 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 . The essential diﬃculty in
the proof in contrast with characteristic 0 is that the isogeny cannot be avoided,
even when K = K (due to Example 126.96.36.199). The proof of Theorem 188.8.131.52 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 suﬃciently 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.
184.108.40.206. 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 220.127.116.11.
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