28 1. ALGEBRAIC THEORY OF COMPLEX MULTIPLICATION
map that sends each y ∈ D to the trace of the K-linear map my : D → D defined by
d → yd. We have TrmD/K = n · TrdD/K, as may be checked by extending scalars
to Ks and directly computing with elementary matrices (see 184.108.40.206). Hence, in
the setting of interest with D =
and K = Z we see that it is equivalent
to prove positive-definiteness for the quadratic form x →
TrmD/Q = TrZ/Q ◦ TrmD/Z. The positive-definiteness for TrmD/Q can be verified
by replacing D with EndK
(AK), to which [82, §21, Thm. 1] applies.
Lemma 220.127.116.11 says that x → x∗ is a positive involution of D (relative to the
linear form TrdD/Q). The existence of such an involution severely constrains the
possibilities for D. First we record the consequences for the center Z.
18.104.22.168. Lemma. The center Z of D =
is either totally real or a CM
field, and in the latter case its canonical complex conjugation is induced by the
Rosati involution defined by any polarization of A over K.
Proof. Fix a polarization and consider the associated Rosati involution x → x∗
on the center Z of D. Clearly Z is stable under this involution. The positive-
definite TrdD/Q(xx∗) on D restricts to [D : Z] · TrZ/Q(xx∗) on Z, so TrZ/Q(xx∗)
is positive-definite on Z. If x∗ = x for all x ∈ Z then the rational quadratic
form TrZ/Q(x2) is positive-definite on Z, so by extending scalars to R we see that
is positive-definite. This forces the finite ´ etale R-algebra R ⊗Q Z to
have no complex factors. Hence, Z is a totally real field in such cases.
It remains to show that if the involution x →
is non-trivial on Z for some
choice of polarization then Z is a CM field (so the preceding argument would imply
that the Rosati involution arising from any polarization of A is non-trivial on Z)
and its intrinsic complex conjugation is equal to this involution on Z. Let
the subfield of fixed points in Z for this involution, so [Z :
= 2 and 2 TrZ+/Q
is the restriction to Z+ of TrZ/Q. Hence, TrZ+/Q(x2) is positive-definite on Z+,
is totally real. We aim to prove that Z has no real places, so we assume
otherwise and seek a contradiction.
Let v be a real place of Z. Since the involution x →
is non-trivial on Z and
the field Zv R has no non-trivial field automorphisms, the real place v on Z is not
fixed by the involution x →
Thus, the real place
obtained from v under the
involution is a real place of Z distinct from v, and so the positive-definiteness
implies (after scalar extension to R) the positive-definiteness of
where x →
on Zv × Zv∗ = R × R is the involution that
swaps the factors. In other words, this is the quadratic form (c, c ) → 2cc , which
by inspection is not positive-definite.
1.3.6. Albert’s classification. To go further with the proof of Theorem 1.3.4,
we need to review properties of endomorphism algebras of simple abelian varieties
over arbitrary fields.
22.214.171.124. Definition. An Albert algebra is a pair consisting of a division algebra D
of finite dimension over Q and a positive involution x →
For any Albert algebra D and any algebraically closed field K, there exists a
simple abelian variety A over K such that
is Q-isomorphic to D (with the