CONJUGATION OF SEMISIMPLE SUBGROUPS
OVER REAL NUMBER FIELDS OF BOUNDED DEGREE

arXiv:1802.05894v1 [math.GR] 16 Feb 2018

MIKHAIL BOROVOI, CHRISTOPHER DAW, AND JINBO REN

Abstract. Let G be a linear algebraic group over a field k of characteristic 0. We
show that any two connected semisimple k-subgroups of G that are conjugate over an
algebraic closure of k are actually conjugate over a finite field extension of k of degree
bounded independently of the subgroups. Moreover, if k is a real number field, we show
that any two connected semisimple k-subgroups of G that are conjugate over the field of
real numbers R are actually conjugate over a finite real extension of k of degree bounded
independently of the subgroups.

0. Introduction
In this article, by a semisimple algebraic group, we always mean a connected semisimple
group.
Let k be a field and let G be a linear algebraic group over k. Let H and H ′ be two
algebraic k-subgroups of G. Let K/k be a field extension. We say that H and H ′ are
conjugate over K if there exists an element g ∈ G(K) such that
′
HK
= g · HK · g −1 .

We start with the following finiteness results for the set of conjugacy classes of semisimple subgroups:
Proposition 0.1. Let G be a linear algebraic group over an algebraically closed field k of
characteristic 0. Then the set C(G) of G(k)-conjugacy classes of semisimple k-subgroups
of G is finite.
Corollary 0.2. Let k be either the field of real numbers R or a p-adic field (that is, a
finite extension of the field of p-adic numbers Qp ). Let G be a linear algebraic group over
k. Then the set C(G) of G(k)-conjugacy classes of semisimple k-subgroups of G is finite.
Proposition 0.1 and Corollary 0.2 will be proved in Section 1.
Our main results are Theorems 0.3 and 0.5 below.
Theorem 0.3. Let k be a field of characteristic 0 and let k̄ be a fixed algebraic closure of
k. Let G be a linear algebraic group over k. There exists a natural number d depending
only on Gk̄ with the following property: if H and H ′ are two semisimple k-subgroups of G
that are conjugate over k̄, then they are conjugate over a finite extension K/k of degree
[K : k] ≤ d.
In Section 2, we shall deduce Theorem 0.3 from Proposition 0.1 and the following
theorem:
Theorem 0.4. Let k be a field of characteristic 0 and let k̄ be a fixed algebraic closure
of k. Let N be a linear algebraic group over k. Then there exists a natural number
d = d(Nk̄ ) such that any cohomology class ξ ∈ H 1 (k, N ) can be killed by a finite field
2010 Mathematics Subject Classification. 11E72, 20G30.
Key words and phrases. Semisimple subgroup, Galois cohomology, real number field.
1

2

MIKHAIL BOROVOI, CHRISTOPHER DAW, AND JINBO REN

extension of degree at most d (that is, there exists a field extension K = K(N, ξ) of k of
degree [K : k] ≤ d such that the image of ξ in H 1 (K, N ) is 1).
We shall prove Theorem 0.3 in Section 2 by applying Theorem 0.4 to the normalizer
N = NG (H) of H in G. For a proof of Theorem 0.4, see Section 3.

We need a version of Theorem 0.3 for real number fields. A real number field is a finite
extension k/Q contained in the field of real numbers R.

Theorem 0.5. Let G be a linear algebraic group over a real number field k ⊂ R. There
exists a natural number dR depending only on GC with the following property: if H and H ′
are two semisimple k-subgroups of G that are conjugate over R, then they are conjugate
over a finite real extension K/k, k ⊂ K ⊂ R, of degree [K : k] ≤ dR .
In Section 2, we shall deduce Theorem 0.5 from Corollary 0.2 and the following theorem:
Theorem 0.6. Let k ⊂ R be a real number field. Let N be a linear algebraic group
over k. Then there exists a natural number dR = dR (NC ) such that any cohomology class
ξ ∈ H 1 (k, N ) vanishing over R can be killed by a finite real extension of degree at most
dR .
We shall prove Theorem 0.6 in Section 6.
Now let k be a real number field and let G be a linear algebraic group over k. Consider
the set C(GR ) of G(R)-conjugacy classes of semisimple R-subgroups of G; by Corollary
0.2, this set is finite. Let C0 ⊂ C(GR ) denote the set of those c ∈ C(GR ) for which there
exists a semisimple subgroup in c defined over k. For each c ∈ C0 , let us choose such a
semisimple k-subgroup Hc ⊂ G in c. We obtain a finite set of subgroups Ω = {Hc | c ∈ C0 }
with the following property: any semisimple k-subgroup of G is conjugate over R to some
Hc ∈ Ω. The next corollary follows immediately from Theorem 0.5.
Corollary 0.7. Let k be a real number field and let G be a linear algebraic group over
k. Let Ω = {Hc | c ∈ C0 } be a finite set of semisimple k-subgroups of G as above. Then
there exists a natural number d = d(GC ) such that any semisimple k-subgroup H ⊂ G is
conjugate to some Hc (c ∈ C0 ) over a finite real extension K/k, k ⊂ K ⊂ R, of degree
[K : k] ≤ d.
This paper was motivated by earlier work of Daw and Ren on the Zilber-Pink conjecture
for Shimura varieties. The relevance of Corollary 0.7 is explained in Section 12 of their
article [4].
Acknowledgements. Mikhail Borovoi was partially supported by the Hermann Minkowski
Center for Geometry and by the Israel Science Foundation (grant No. 870/16). Christopher Daw is grateful to the University of Reading for financial support. Jinbo Ren would
like to thank his supervisor Emmanuel Ullmo for regular discussions and constant support
during the preparation of this article and he would like to thank Yongqi Liang for several
useful discussions. He was partially supported by grants from Région l’Île de France. The
authors are grateful to Vladimir Chernousov for the proof of Proposition 3.5, to Friedrich
Knop for his MathOverflow answer [9] to Jinbo Ren’s question, and to Sean Lawton for
the reference to Richardson’s paper [11].
1. Conjugation over an algebraically closed field
and over a local field
.
1.1. Proof of Proposition 0.1. Write g = Lie(G); the group G(k) acts on g by the adjoint
representation. Let h ⊂ g be a Lie subalgebra; h acts on itself, on g, and on the quotient

CONJUGATION OF SEMISIMPLE SUBGROUPS

3

space g/h, so we may consider the cohomology space H 1 (h, g/h). By Richardson [11],
Corollary (b) in the introduction, there exist only finitely many G(k)-conjugacy classes of
Lie subalgebras h ⊂ g such that H 1 (h, g/h) = 0.

If h is semisimple, then for any h-module M , we have H 1 (h, M ) = 0 (see Chevalley and
Eilenberg [3], Theorem 25.1). In particular, we have H 1 (h, g/h) = 0. It follows that there
exist only finitely many G(k)-conjugacy classes of semisimple Lie subalgebras of g.

Now let H1 and H2 be two semisimple subgroups of G. Let h1 and h2 denote their
respective Lie algebras. Assume that h1 and h2 are conjugate under G(k), that is, there
exists g ∈ G(k) such that Ad(g)(h1 ) = h2 ). Since char(k) = 0, a connected algebraic
subgroup H ⊂ G is uniquely determined by its Lie algebra Lie(H) ⊂ g (see Humphreys
[7], Section 13.1). It follows that g H1 g−1 = H2 . We see that if Lie(H1 ) and Lie(H2 ) are
conjugate, then H1 and H2 are conjugate. We conclude that there are only finitely many
conjugacy classes of semisimple subgroups of G, which proves the proposition.

1.2. Let k be a field of characteristic 0 and let k̄ be a fixed algebraic closure of k. Let G
be a linear algebraic group over k. Let C be a conjugacy class of connected k̄-subgroups
′
H of Gk̄ that contains a subgroup Hk̄ defined over k. Then C is the set of k̄-points of a
k-variety V on which G acts transitively by
′

′

g ∗ H = g · H · g−1 .

The stabilizer of the k-point H of this variety is N = NG (H). Therefore, we may identify
V with G/N . We identify the set of k-subgroups H ′ ⊂ G that are conjugate to H over
k with (G/N )(k), and we identify the set of G(k)-conjugacy classes of such k-subgroups
with the set of orbits of G(k) in (G/N )(k).
1.3. Proof of Corollary 0.2. Let k be either the field of real numbers R or a p-adic field.
By Serre [14], III.4.4, Theorem 5, the set of orbits of G(k) in (G/N )(k) in Subsection
1.2 is finite. Therefore, the set of G(k)-conjugacy classes of connected k-subgroups in a
G(k̄)-conjugacy class is finite.
Let Ck denote the set of G(k)-conjugacy classes of connected algebraic k-subgroups and
let Ck̄ denote the corresponding set for k̄. Then we have a canonical map
Ck → Ck̄ .

As explained above, since k is either the field of real numbers R or a p-adic field, all the
fibers of this map are finite. By Proposition 0.1, the set of G(k̄) conjugacy classes of
connected semisimple k̄-subgroups is finite, and the corollary follows.

2. Reductions
2.1. We show that, in order to prove Theorem 0.3, it suffices to prove Theorem 0.4.
Indeed, by Proposition 0.1, the set C of conjugacy classes of semisimple subgroups of Gk̄
is finite. Therefore, it suffices to show that, if H, H ′ ⊂ G are two k-subgroups in a given
G(k̄)-conjugacy class c ∈ C, then they are conjugate over a finite extension K of k of
degree at most dc , where dc depends only on Gk̄ and c.
Set
Y = {g ∈ G(k̄) | gHg−1 = H ′ }
and write N = NG (H). Then Y is a variety defined over k on which the k-group N acts
on the right by
g 7→ gn,
(g ∈ G(k̄), n ∈ N (k̄)).
This action is simply transitive (over k̄). Hence, Y is a principal homogeneous space
(torsor) of N , and so we obtain a cohomology class ξ = ξ(H, H ′ ) ∈ H 1 (k, N ). The two
subgroups H and H ′ are conjugate over a field extension K of k if and only if Y has a

4

MIKHAIL BOROVOI, CHRISTOPHER DAW, AND JINBO REN

K-point, hence, if and only if the extension K/k kills ξ. Since, by Theorem 0.4, the class
ξ can be killed by a finite extension K/k of degree at most d(Nk̄ ), the subgroups H and
H ′ are conjugate over this field K. Clearly, Nk̄ depends (up to isomorphism) only on Gk̄
and c.

2.2. We show that, in order to prove Theorem 0.5, it suffices to prove Theorem 0.6. Indeed,
by Corollary 0.2, the set CR of G(R)-conjugacy classes of semisimple subgroups of GR is
finite. Therefore, it suffices to show that, if H, H ′ ⊂ G are two semisimple k-subgroups
of G in a given G(R)-conjugacy class c ∈ CR , then they are conjugate over a finite real
extension K of k of degree at most dR,c , where dR,c depends only on GC and c.
As above, starting from two semisimple k-subgroups H, H ′ ⊂ G, which are conjugate
over R, we obtain a cohomology class
ξ ∈ ker[H 1 (k, N ) → H 1 (R, N )],
where N = NG (H). By Theorem 0.6, the class ξ can be killed by a finite real extension
K/k of degree at most dR (NC ). Then the subgroups H and H ′ are conjugate over this
field K. Clearly, NC depends (up to isomorphism) only on GC and the conjugacy class of
H over C.

3. Killing a first cohomology class over an arbitrary field
of characteristic 0
In this section, we prove Theorem 0.4, which we state here in a more precise form.
Theorem 3.1. Let k̄ be an algebraically closed field of characteristic 0. Let G be a linear
algebraic group over k̄. Then there exists a natural number d = d(G) with the following
property:
(∗) For any subfield k ⊂ k̄ such that k̄ is an algebraic closure of k, for any k-form G of
G, and for any cohomology class ξ ∈ H 1 (k, G), the class ξ can be killed by a finite field
extension K/k of degree at most d.
First, we prove Theorem 3.1 for finite groups.
Lemma 3.2. Let G be a finite k̄-group. Then G satisfies (∗) with d = |G|.
Proof. Let G be a k-form of G. A cohomology class ξ ∈ H 1 (k, G) defines a torsor T = Tξ
of G. By definition, we have |T (k̄)| = |G|. For any point t ∈ T (k̄), the Gal(k̄/k)-orbit of
t has cardinality at most |G|, hence, t is defined over a finite extension of k in k̄ of degree
at most |G|. Since this extension kills ξ, the proof is complete.

In what follows, we shall need two known results.
Lemma 3.3 (Sansuc [12], Lemme 1.13). Let G be a connected linear algebraic group over
a perfect field k and let U be its unipotent radical. Then the canonical map H 1 (k, G) →
H 1 (k, G/U ) is bijective.
Proposition 3.4 (Minkowski, cf. Friedland [5]). For any natural number r, there is a
constant β = β(r) > 0 such that every finite subgroup of GLr (Z) has cardinality at most
β.
Now we deal with the case when G is connected.
Proposition 3.5. Let G be a connected k̄-group of rank r (that is, the dimension of a
maximal torus of G is r). Then G satisfies (∗) with d = β(r)2 .

CONJUGATION OF SEMISIMPLE SUBGROUPS

5

Proof. (due to Vladimir Chernousov, private communication). By Lemma 3.3, we may
and shall assume that G is reductive. Let G be a k-form of G and let ξ ∈ H 1 (k, G)
be a cohomology class. Let T ⊂ G be a maximal torus defined over k and let X(T ) =
Hom(Tk̄ , Gm,k̄ ) denote the character group of T (as an abelian group it is isomorphic to
Zr ). We have a homomorphism
Gal(k̄/k) → Aut X(T ) ≃ GLr (Z)

with finite image. By Proposition 3.4, this image is of cardinality at most β(r). It follows
that T and G split over some finite extension K/k of degree at most β(r).
1
1
Set ξK = ResK
k (ξ) ∈ H (K, G) = H (K, GK ) (that is, ξK the restriction of ξ from
Gal(k̄/k) to Gal(k̄/K)). By Steinberg’s theorem ([15], Theorem 11.1), the cohomology
class ξK of the split reductive K-group comes from some maximal torus (that is, there
exists a maximal torus T ′ ⊂ GK defined over K and a cohomology class ξ ′ ∈ H 1 (K, T ′ )
whose image in H 1 (K, GK ) is ξK ). Arguing as above, we conclude that T ′ splits over a
finite extension L/K of degree at most β(r). Since TL′ is a split torus, we have H 1 (L, T ′ ) =
′
1 by Hilbert’s Theorem 90 (see Serre [13], X.1, Proposition 2). Hence, ResL
K (ξ ) = 1, and
L
2
so ResL

K (ξK ) = 1. Thus, Resk (ξ) = 1, and [L : k] ≤ β(r) .

3.6. Proof of Theorem 3.1. We argue by dévissage. Let G be a k-form of G. Write
G′ = G0 (that is, the identity component of G) and G′′ = G/G0 . We have a short exact
sequence
1 → G′ → G → G′′ → 1,

(1)

which induces a cohomological exact sequence
0

H 1 (k, G′ ) → H 1 (k, G) → H 1 (k, G′′ ).
0

Clearly, G′k̄ = G and G′′k̄ = G/G . Let ξ ∈ H 1 (k, G) and let ξ ′′ denote the image of
0

ξ in H 1 (k, G′′ ). By Lemma 3.2 applied to the finite group G/G , the class ξ ′′ can be
0
killed by a finite extension K/k of degree at most |G/G |. We consider the restriction
K
K ′′
1
1
′′
ResK
k (ξ) ∈ H (K, G). Clearly, the image of Resk (ξ) in H (K, G ) is Resk (ξ ) = 1. From
the cohomological exact sequence
H 1 (K, G′ ) → H 1 (K, G) → H 1 (K, G′′ )

′
induced by the short exact sequence (1), we see that ResK
k (ξ) comes from some ξK ∈
H 1 (K, G′ ). By Proposition 3.5, there exists a finite extension L/K of degree at most β(r)2
′ , where r is the rank of G0 and β(r) is the constant afforded to us by Proposition
killing ξK
3.4. Therefore, the extension L/K kills ResK
k (ξ). We conclude that the extension L/k
0
2
of degree at most |G/G | · β(r) kills ξ. This completes the proofs of Theorems 3.1 and
0.3.


4. Killing a first cohomology class over a real number field
Our aim is to prove Theorem 0.6, which we state here in a more precise form.
Theorem 4.1. Let GC be a linear algebraic group over the field of complex numbers C.
Then there exists a natural number dR = dR (GC ) with the following property:
(∗R ) For any real number field k ⊂ R, any k-form G of GC , and any cohomology class
ξ ∈ H 1 (k, G) vanishing over R, the class ξ can be killed by a finite real extension K/k of
degree at most dR .
First, we introduce some notation:
We denote by Q the algebraic closure of Q in C.

6

MIKHAIL BOROVOI, CHRISTOPHER DAW, AND JINBO REN

Let k be a number field. We denote by V(k) the set of all places of k, by V∞ (k) the set
of all infinite places of k, by VR (k) the set of all real places of k, and by Vf (k) the set of
all finite places of k. For v ∈ V(k), we denote by kv the completion of k at v.
We shall need the following result:

Proposition 4.2 (Weak approximation theorem). Let S ⊂ V(k) be a finite subset and,
for any v ∈ S, let Uv ⊂ kv be a nonempty open subset. Then there exists α ∈ k such that
locv (α) ⊂ Uv , for all v ∈ S, where locv : k ֒→ kv is the canonical embedding.
Proof. See Cassels [2, Section 15, Theorem] for strong approximation, which implies weak
approximation.

We shall prove Theorem 4.1 in Section 6 by dévissage. For this, we shall need the
following results:
Lemma 4.3. Let GC be a finite group over C. Then GC satisfies (∗R ) with dR = |GC |.
Proof. Let k ⊂ R be a real number field, let G be a k-form of GC , and let ξ ∈ H 1 (k, G)
be a cohomology class vanishing over R. Then ξ defines a k-torsor T = Tξ of G such that
T (R) is nonempty. Let t ∈ T (R). Since T (C) is finite, t is defined over Q. Let kt denote
the fixed field of the stabilizer of t in Gal(Q/k). Then kt ⊂ R and
[kt : k] = |Gal(Q/k) · t| ≤ |T (C)| = |GC |.

Since t is defined over kt , the class ξ is killed by kt .



Proposition 4.4. Let GC be an algebraic torus over C of rank r and let β = β(r) be the
constant afforded to us by Proposition 3.4. Then GC satisfies (∗R ) with dR = 2r β.
Proof. Let k ⊂ R be a real number field and let G be a k-form of GC . Let L be a subfield
of C containing k over which the torus G splits. Arguing as in the proof of Proposition
3.5, we can construct L such that that [L : k] ≤ β. By Hilbert’s Theorem 90 we have
H 1 (L, G) = 1, hence, the extension L/k kills all cohomology classes ξ ∈ H 1 (k, G). In the
case when L ⊂ R, the proposition is proved. Therefore, we assume that L 6⊂ R, and we
set K = L ∩ R. Then K/k is a real extension of degree at√most β/2 < β. The field L
is an imaginary quadratic extension of K, that is, L = K( −α), where α ∈ K ⊂ R is
positive. Since the K-torus GK splits over the quadratic extension L/K, by Platonov and
Rapinchuk [10], §2.2, p. 76, we have
(1)

GK ≃ Glm,K × ResL/K (Gm )m × ResL/K (Gm )n ,

for some natural numbers l, m, and n. However, by Hilbert’s Theorem 90, H 1 (K, Gm ) = 1,
and, by the Faddeev-Shapiro lemma (see Serre [14], I.2.5, Proposition 10),
H 1 (K, ResL/K (Gm )) = 1
as well. It follows that
H 1 (K, G) = H 1 (K, G′ )n ,
(1)

where G′ = ResL/K (Gm ). Since n ≤ r, the proposition will follow if we can show that
any nonzero cohomology class ξ ∈ H 1 (K, G′ ) that vanishes over R can be killed by a real
quadratic extension of K.
As a variety over K, the one-dimensional torus G′ is defined by the equation
x2 + αy 2 = 1.
By Platonov and Rapinchuk [10], Lemma 2.5, p. 73,
H 1 (K, G′ ) = H 1 (L/K, G′ ) = K × /NL/K (L× ),

CONJUGATION OF SEMISIMPLE SUBGROUPS

7

where NL/K denotes the norm map from L to K. If ξ ∈ H 1 (K, G′ ) is the class of a cocycle
associated with c ∈ K × , then ξ is the class of the torsor Tc of G′ given by the equation
w2 + αz 2 = c.

Since ξ vanishes over R, the torsor Tc has an R-point (w0 , z0 ), say. Then c = √
w02 + αz02 >
0.
√ We write R>0 for the set of positive real numbers. We take K1 = K( c), where
c ∈ R>0 . Then K√
1 is a real extension of K of degree [K1 : K] ≤ 2. Clearly, Tc has a
K1 -point, namely, ( c, 0). This completes the proof of the proposition.

Proposition 4.5. Let GC be a simply connected semisimple group over C. Then GC
satisfies (∗R ) with dR = 2.
Proof. Let k ⊂ R be a real number field, let G be a k-form of GC , and let ξ ∈ H 1 (k, G)
be a cohomology class vanishing over R. Let σ0 ∈ VR (k) denote the inclusion embedding
k ֒→ R. If k has only one real embedding σ0 , then, by the Hasse principle for simply
connected groups (see Platonov and Rapinchuk [10], Theorem 6.6, p. 286), ξ = 0, and
there is nothing to prove. Therefore, we assume that there exists σ1 ∈ VR (k) such that
σ1 6= σ0 . By Proposition 4.2 (weak approximation), there exists an element α ∈ k such
that σ0 (α) > 0 and such that σ(α) < 0, for all σ ∈ VRk \ {σ0 }. Since σ1 (α) < 0, we see that
√
√
the polynomial X 2 − α is irreducible over k. We set K = k( α), where α ∈ R>0 . Then
K is a real quadratic extension of k with precisely two real embeddings (namely, the two
extensions of σ0 ).
We obtain a commutative diagram:
H 1 (k, G)

ResK
k

/ H 1 (K, G)
locK
∞

lock∞

Q


v∈V∞ (k) H

1 (k , G)
v

/

Q


w∈V∞ (K) H

1 (K , G).
w

By the Hasse principle for simply connected groups (see [10], Theorem 6.6,
Q p. 286), the vertical arrows in the diagram are bijective. The bottom arrow takes (ξv ) ∈ v∈V∞ (k) H 1 (kv , G)
Q
to (ξw ) ∈ w∈V∞ (K) H 1 (Kw , G), where for a place w of K extending a place v of k, the
cohomology class ξw is the restriction of ξv from kv to Kw .
Q
Now let (ξv ) ∈ v∈V∞ (k) H 1 (kv , G) be the image of ξ ∈ H 1 (k, G) under lock∞ and let
Q
(ξw ) ∈ w∈V∞ (K) H 1 (Kw , G) be the image of (ξv ) as above. Let v0 ∈ V∞ (k) correspond
to σ0 . By assumption, ξv0 = 1, and so, if w0 , w0′ ∈ V∞ (K) are the two extensions of v0 to
K, then ξw0 and ξw0′ are both equal to 1. All of the other w ∈ V∞ (K) are complex, hence,
H 1 (Kw , G) = {1} and ξw = 1. Therefore, (ξw ) = 1 and, from the injectivity of locK
∞ , we
conclude that ResK
ξ
=
1,
as
required.

k
5. Killing a second cohomology class of a finite abelian group
Another key ingredient in the dévissage will be the following proposition.
Proposition 5.1. Let AC be a finite abelian algebraic group over C. Then, for any real
number field k ⊂ R, any k-form A of AC , and any cohomology class η ∈ H 2 (k, A) vanishing
over R, the class η can be killed by a finite real extension K/k of degree at most
eR (AC ) = |AC | · |AC |! .
We need a lemma.

8

MIKHAIL BOROVOI, CHRISTOPHER DAW, AND JINBO REN

Lemma 5.2 (cf. Sansuc [12], Lemma 1.6). Let k denote a real number field. If G is a
finite abelian k-group, then the localization map
is surjective.

H 1 (k, G) → H 1 (R, G)

5.3. Let k ⊂ C be a number field and let A be a k-form of AC . Since AC is finite,
A(C) = A(Q). We write |A| for |A(C)| and we write
A′ = X∗ (A) := HomQ (A, Gm ).

Then Gal(Q/k) naturally acts on A′ . In this article, we say that A is split if Gal(Q/k)
acts on A′ trivially. For example, µn is a split group over Q. We say that A splits over an
extension L/k contained in Q, or that L splits A, if Gal(Q/L) acts trivially on A′ .
Let Γ be a group. By a finite Γ-module we mean a finite abelian group B with an action
of Γ. We say that a Γ-module B is simple if it has no proper Γ-submodules.
Let A be a finite abelian algebraic group over a field k ⊂ Q. In this article, we say that
A is a simple abelian k-group if A has no proper k-subgroups. Clearly, a finite abelian
k-group is simple if and only if A′ is a simple Gal(Q/k)-module.
Lemma 5.4. Let AC be a finite abelian algebraic group over C. Then, for any real number
field k ⊂ R and any k-form A over k, there exists a real extension K/k of degree at most
|A|! and an extension L/K of degree at most 2 such that L splits A.
Proof. Let Aut(A′ ) denote the group of automorphisms of A′ as an abelian group and let
Sym(A′ ) denote the group of permutations of the finite set A′ . Then we have a homomorphism
ρA′ : Gal(Q/k) → Aut(A′ ) ⊂ Sym(A′ ).
Let L ⊂ Q denote the field corresponding to ker(ρA′ ). Then L splits A and
[L : k] = |im(ρA′ )| ≤ |Aut(A′ )| ≤ |Sym(A′ )| = |A′ |! = |A|!.

We set K = L ∩ R. Then K is a real number field of degree [K : k] ≤ |A|!. Furthermore,
[L : K] ≤ 2, which completes the proof.

Now Proposition 5.1 follows from the next proposition.
Proposition 5.5. Let AC be a finite abelian group over C. Then, for any real number
field k ⊂ R, any k-form A of AC such that A splits over an finite extension L/k of degree
≤ 2, and for any cohomology class η ∈ H 2 (k, A) vanishing over R, the class η can be killed
by a finite real extension K/k of degree at most |A|.
5.6. Reduction of Proposition 5.5 to the case when A is simple. Let k ⊂ R be a real number
field, let A be a k-form of AC splitting over an extension L/k of degree [L : k] ≤ 2, and let
η ∈ H 2 (k, A) be a cohomology class vanishing over R. Since A splits over L, the Galois
group Gal(Q/L) acts on A′ trivially. Hence, Gal(Q/k) acts on A′ via Γ := Gal(L/k). We
prove by dévissage that η can be killed by a real extension of degree at most |A|, assuming
that this is true in the case when A is a simple abelian finite k-group.
We argue by induction on |A|. Let A′2 ⊂ A′ be a minimal nonzero Γ-submodule. Then
is a simple Γ-module. Set

A′2

A1 = {a ∈ A |χ(a) = 1 ∀χ ∈ A′2 }.

Then A1 is a k-subgroup of A. Set A2 = A/A1 . Then A′2 = X∗ (A2 ). Since A′2 is a simple
Γ-module, the finite abelian k-group A2 is a simple abelian k-group. We have a short
exact sequence of finite abelian L-groups
(2)

0 → A1 → A → A2 → 0.

CONJUGATION OF SEMISIMPLE SUBGROUPS

9

Let η ∈ H 2 (k, A) be a cohomology class such that locR (η) = 0. Let η2 denote the image
of η in H 2 (k, A2 ). Then locR (η2 ) = 0. Since A2 is a simple abelian finite k-group, there
exists (by assumption) a real extension k′ /k of degree at most |A2 | that kills η2 . From the
short exact sequence (2), we obtain a commutative diagram with exact rows:
H 1 (k, A2 )
Reskk



∆

/ H 2 (k, A1 )

′

H 1 (k′ , A2 )

∆

Reskk



H 1 (R, A2 )

/ H 2 (k, A)

′

/ H 2 (k ′ , A1 )

locR



ϕ

ϕ

Reskk



∆R

/ H 2 (R, A1 )

/ H 2 (k, A2 )

′

/ H 2 (k ′ , A)

locR



ψ

ψ

Reskk



/ H 2 (k ′ , A2 )

locR
ϕR


/ H 2 (R, A)

′

locR
ψR


/ H 2 (k, A2 ).

By construction,
′

′

ψ(Reskk (η)) = Reskk (η2 ) = 0.
′

It follows that Reskk (η) = ϕ(η1 ) for some η1 ∈ H 2 (k′ , A1 ). However, we may not assume
that locR (η1 ) = 0. Set η1,R = locR (η1 ). Since locR (η) = 0, we know that ϕR (η1,R ) = 0. It
follows that η1,R = ∆R (ξ2,R ), for some ξ2,R ∈ H 1 (R, A2 ). Since A2 is finite and abelian, by
Lemma 5.2, there exists ξ2 ∈ H 1 (k′ , A2 ) such that ξ2,R = locR (ξ2 ). We set η1′ = η1 − ∆(ξ2 ).
′
Then Reskk (η) = ϕ(η1′ ) and locR (η1′ ) = 0. Moreover, A1 splits over the extension Lk ′ /k′
of degree at most 2. Since |A1 | < |A|, the induction hypothesis implies that there exists
a real extension k′′ /k′ of degree at most |A1 | that kills η1′ . Then the extension k′′ /k′ also
′
kills Reskk (η) and the extension k′′ /k kills η. We have
[k′′ : k] = [k′′ : k′ ][k′ : k] ≤ |A1 | · |A2 | = |A|,

which proves Proposition 5.5 for A (assuming that it holds for simple abelian finite kgroups).

Now we must prove Proposition 5.5 for any simple abelian k-group A. We need the
following elementary lemma:
Lemma 5.7. Let Γ be a group of order order at most 2 and let B be a finite simple
Γ-module. Then |B| is a prime number.
Proof. The case |Γ| = 1 being trivial, we assume that Γ = {1, τ } is a group of order 2.
By the structure theorem for finite abelian groups, B is the direct product of its p-power
torsion subgroups (Sylow p-subgroups), all of which are Γ-submodules of B. Since B is
simple, it is equal to such a subgroup, that is, B is a p-group for some prime p. Since
the kernel of multiplication by p is a Γ-submodule of B, it must be all of B. Therefore,
B = (Z/pZ)r for some natural number r.
The action of Γ on B is given by an irreducible representation
ρ : Γ −→ GLr (Fp ).

For v ∈ (Z/pZ)r , v 6= 0, let W be the (nonzero) Fp -subspace of B spanned by v and ρ(τ )v.
Then W is Γ-invariant and, since ρ is irreducible, we conclude that W = B and, hence,
r = dimFp W ≤ 2.

Now suppose that r = 2. Then v and ρ(τ )v are linearly independent over Fp and
v + ρ(τ )v is nonzero. It follows that its Fp -span is a one-dimensional Γ-invariant Fp subspace of W , which contradicts the assumption that ρ is irreducible. Therefore, r = 1,
which concludes the proof.

The reduction in Subsection 5.6, together with Lemma 5.7, show that Propositions 5.5
and 5.1 follow from the next lemma.

10

MIKHAIL BOROVOI, CHRISTOPHER DAW, AND JINBO REN

Lemma 5.8. Let A be a finite abelian algebraic group of prime order p over a real number
field k ⊂ R and let η ∈ H 2 (k, A) be a cohomology class. In the case p = 2 assume that η
vanishes over R. In the case when p is odd assume that there exists an extension L/k of
degree at most 2 that splits A. Then there exists a real extension k′ /k of degree at most
|A| that kills η.
5.9. In order to prove Lemma 5.8, we need some results from local and global class field
theory.
Let A = µn and let η ∈ H 2 (k, A) = H 2 (k, µn ). The Kummer exact sequence
n

1 → µn → Gm,k −−→ Gm,k → 1
induces the exact sequence in Galois cohomology
n

0 = H 1 (k, Gm,k ) → H 2 (k, µn ) → Br(k) −−→ Br(k),
which shows that there is a canonical isomorphism
n

H 2 (k, µn ) = Br(k)n := ker[Br(k) −−→ Br(k)].
Thus, we may assume that η ∈ Br(k)n . We would like to construct an extension K/k of
degree n that kills η.
Let v ∈ V(k). We have a canonical localization map
locv : Br(k) → Br(kv )
and, hence, a map
loc : Br(k) →

Y

Br(kv ).

v

By the Brauer-Hasse-Noether theorem (see Harari [6, Theorem 14.11]), the latter map is
injective and there exists a finite set S = S(η) such that locv (η) = 0 if v ∈
/ S. We let
ηv ∈ Br(kv )n denote locv (η).
Now let v be a nonarchimedean place of k. From local class field theory, we know that
there is a canonical isomorphism
∼

invv : Br(kv ) → Q/Z
(see Harari [6, Theorem 8.9]). If Kw /kv is a finite extension, we obtain a commutative
diagram:
(3)

Br(kv )
w
ResK
kv

invv

/ Q/Z
[Kw :kv ]




Br(Kw )

invw

/ Q/Z,

where the right vertical arrow is multiplication by the degree [Kw : kv ] (again, see Harari
w
[6, Theorem 8.9]). In particular, if n | [Lw : kv ], then ResL
kv (ηv ) = 0.
We need the following well-known result.
Lemma 5.10. Let k be a number field and let n > 1 be a natural number. Let η ∈
H 2 (k, µn ) = Br(k)n , and let S ⊂ V(k) be a finite subset such that locv (η) = 0 for all
v∈
/ S. Write Sf = S ∩ Vf (k) and SR = S ∩ VR (k). Let K/k be an extension of degree n
such that:
(i) for every v ∈ Sf and every place w of K over v, we have [Kw : kv ] = n, and
(ii) for every v ∈ SR and every place w of K over v, we have Kw ≃ C.
Then the extension K/k kills η, that is, ResK
k (η) = 0.

CONJUGATION OF SEMISIMPLE SUBGROUPS

11

Proof. We have a commutative diagram:
Br(k)n

ResK
k

/ Br(K)n

loc

Q

loc


v∈V(k) Br(kv )n

/

Q


w∈V(K) Br(Kw )n .

Let SK ⊂ V(K) denote the set of places of K over S. It follows from hypothesis (i) and
the commutative diagram (3) that, for any v ∈ Sf and for any w over v, the restriction
map
(4)

Br(kv )n → Br(Kw )n

is the zero map. On the other hand, it follows from hypothesis (ii) that for any v ∈ SR and
for any w over v, the restriction map (4) is the zero map, because Br(Kw ) = Br(C) = 0.
We see that the map
Q
Q
/
w∈SK Br(Kw )n
v∈S Br(kv )n
Q
is the zero map. It follows that the image of η in w∈V(K) Br(Kw )n is zero. Since the
vertical arrows in the commutative diagram are injective, we conclude that ResK
k (η) =
0.

Lemma 5.11. Let k be a number field, let L/k be a finite extension, and let p be a prime
number such that [L : k] < p. Then, for any nonarchimedean place v of k, there exists
a nonempty open subset Uv = Uv (kv , p) ⊂ kv such that, for each α ∈ Uv , the polynomial
X p − α is irreducible over Lw , for each place w of L over v (in particular, it is irreducible
over kv ).
Proof. We divide the proof into two steps:
Step (1): Suppose that L = k. Let v be a nonarchimedean place of k. Since p is prime,
by Karpilovsky [8, Theorem 1.6], the polynomial X p − α is irreducible over kv if and only
if α ∈
/ (kv× )p (that is, α is not a p-th power in kv ). The open subgroup (kv× )p ⊂ kv× is closed
(because any open subgroup in a topological group is closed). We set Uv = kv× r (kv× )p
(which is then an open subset of kv ). It remains to show that Uv is not empty. We have
a surjective homomorphism
v : kv× → Z

such that the norm of an element x ∈ kv× is q −v(x) , where q is the cardinality of the residue
field of kv (see Serre [13], I, §1, and II, §1). Let π ⊂ kv× be an element such that v(π) = 1.
Then it is clear that π ∈
/ (kv× )p (that is, π ∈ Uv ), hence, the open subset Uv ⊂ kv is not
empty, which finishes the proof in this case.
Step (2): Suppose now that [L : k] < p. Let v be a nonarchimedean place of k and let
Uv be a nonempty open subset of kv such that, for each α ∈ Uv , the polynomial X n − α
is irreducible over kv (such a set is afforded to us by Step (1)). We show that, for every
α ∈ Uv and every place w of L over v, the polynomial X p − α is irreducible over Lw .
Indeed, suppose for the sake of contradiction that X p − α is reducible over Lw . Since p
is prime, by [8, Theorem 1.6], there exists β ∈ Lw such that β p = α. Since X p − α is
irreducible over kv , we conclude that kv (β)/kv is a field extension of degree p contained
in Lw . Then we obtain that
p = [kv (β) : kv ] ≤ [Lw : kv ] ≤ [L : k] < p,

which is clearly a contradiction. Therefore, we see that the polynomial X p −α is irreducible
over Lw , which concludes the proof.


12

MIKHAIL BOROVOI, CHRISTOPHER DAW, AND JINBO REN

5.12. Proof of Lemma 5.8. Let A be as in the lemma. Consider the localization map
Y
H 2 (k, A) →
H 2 (kv , A).
v∈V(k)

There exists a finite set S ⊂ V(k) such that locv (η) = 0 for v ∈
/ S (see Serre [14, II.6.1]).
We set SR = S ∩ VR (k) and Sf = S ∩ Vf (k). We may and shall assume that the set Sf is
not empty and we let v1 ∈ Sf . We separate our arguments into three cases.

Case (1): Suppose that p=2, in which case A = µ2 . Let σ0 : k ֒→ R denote the inclusion
embedding. For any real place v ∈ VR (k), let σv : k ֒→ R denote the corresponding real
embedding. Set
Σ = {σv | v ∈ SR }.

Then, by hypothesis, σ0 ∈
/ Σ. By Proposition 4.2 (weak approximation), there exists α ∈ k
such that σ0 (α) > 0, σ(α) < 0 for all σ ∈ Σ, and locv (α) ∈ Uv (kv , 2) for all v ∈ Sf , where
the subsets Uv (kv , 2) ⊂ kv are afforded to us by Lemma 5.11.√Since the polynomial
X2 − α
√
is irreducible over kv1 , it is irreducible over k. Set K = k( α), where α ∈ R>0 . Then
K is a real quadratic extension of k that, by Lemma 5.10, kills η.
Case (2): Suppose that p is odd and that A is split, that is, A ≃ µp . Then H 2 (kv , A) =
0 for all v ∈ VR (k), hence, we may assume that S = Sf . By Proposition 4.2 (weak
approximation), there exists α ∈ k such that locv (α) ∈ Uv (kv , p), for all v ∈ Sf = S,
where the subsets Uv (kv , p) ⊂ kv are those afforded to us by Lemma 5.11.√ Since the
polynomial
X p − α is irreducible over kv1 , it is irreducible over k. Set K = k( p α), where
√
p
α ∈ R. Then K is real extension of degree p of k that, by Lemma 5.10, kills η.

Case (3): Suppose that p is odd and that A is not split, that is, [L : k] = 2 and
Γ = Gal(L/k) acts nontrivially on A′ = Z/pZ. We write Γ = {1, τ }, where τ 2 = 1.
Then τ acts on on A′ = Z/pZ as multiplication by −1, because this is the only nontrivial
involutive automorphism of Z/pZ. We have H 2 (kv , A) = 0, for every v ∈ VR (k), because
the abelian group H 2 (kv , A) is annihilated by multiplication by the odd number p = |A|
and it is annihilated by multiplication by 2 = |Gal(C/R)| (see Atiyah and Wall [1],
Corollary 1 of Proposition 8). In other words, we may again assume that S = Sf . By
weak approximation, there exists α ∈ k such that locv (α) ∈ Uv (kv , p) for all v ∈ Sf = S,
where the subsets Uv (kv , p) ⊂ kv are those afforded to us by Lemma 5.11.√ Since the
polynomial
X p − α is irreducible over kv1 , it is irreducible over k. Set K = k( p α), where
√
p
α ∈ R. Then K is a real extension of k of degree [K : k] = p. Let w1 be a place of
L over v1 . Since √
the polynomial X p − α is irreducible over Lw1 , it is irreducible over L.
Consider F = L( p α). We have [F : L] = p, [F : k] = 2p, and [F : K] = 2. We obtain the
following commutative diagram:
H 1 (k, A)

ResK
k

/ H 1 (K, A)
ResF
K

ResL
k




H 1 (L, A)

ResF
L

/ H 1 (F, A).

Let SL denote the set of all places w of L extending those places v ∈ S of k. The
2
k-group A splits over L, that is, AL ≃ µp,L . Consider ηL = ResL
k (η) ∈ H (L, A) = Br(L)p .
Then locw (ηL ) = 0 for all w ∈
/ SL . On the other hand, by construction, the polynomial
√
p
X − α is irreducible over Lw for all w ∈ SL . It follows that the field Fu := Lw ( p α) is of
degree p over Lw for all w ∈ SL . By Lemma 5.10 the extension F/L kills ηL . This means
2
that the quadratic extension F/K kills ηK = ResK
k (η) ∈ H (K, A).

CONJUGATION OF SEMISIMPLE SUBGROUPS

13

Now we consider the Hochschild-Serre spectral sequence (see Harari [6], Theorem 1.44,
p. 32)
H r (Γ, (H s (F, A)) ⇒ H r+s (K, A),

where Γ = Gal(F/K) = Gal(L/k). From the spectral sequence, we obtain an exact
sequence of terms in low degrees


H 2 (Γ, A(F )) → ker H 2 (K, A) → (H 2 (F, A))Γ → H 1 (Γ, H 1 (F, A))
(see Sansuc [12], proof of Lemma 6.3). Since |A| = p, both H 2 (Γ, A(F )) and H 1 (Γ, H 1 (F, A))
are annihilated by multiplication by p. Since Γ is of order 2, they are also annihilated by
multiplication by 2 (see Atiyah and Wall [1], Corollary 1 of Proposition 8). Therefore,
H 2 (Γ, A(F )) = 0 and H 1 (Γ, H 1 (F, A)) = 0. From the exact sequence, we conclude that
ker[H 2 (K, A) → (H 2 (F, A))Γ ] = 0. Since ηK ∈ ker[H 2 (K, A) → (H 2 (F, A))Γ ], we conclude that ηK = 0. That is, η is killed by the real extension K/k of degree p = |A|. This
completes the proofs of Lemma 5.8 and Proposition 5.1.

6. Dévissage
In this section, we carry out the dévissage and prove Theorem 4.1. Before doing so, we
shall need three further results.
Lemma 6.1. Let k denote a real number field and let G be a finite k-group. Then any
R-point of G is defined over a real number field whose degree over k is at most |GC |.
Proof. Let t ∈ G(R). Then t ∈ G(Q) and is defined over the fixed field kt of its stabilizer

in Gal(Q/k). It follows that [kt : k] ≤ |GC |.
The following well-known result is sometimes referred to as real approximation.
Lemma 6.2 (cf. Sansuc [12], Corollaire 3.5(iii)). Let k denote a real number field. If G
is a connected linear algebraic k-group, then G(k) is dense in G(R).
We shall need some basic properties of nonabelian Galois cohomology. Let A and B be
two k-groups such that A is normal in B. Set C = B/A. We obtain a cohomological exact
sequence
H 1 (k, A) −→ H 1 (k, B) −→ H 1 (k, C)
and we have a right action ∗ of C(k) on H 1 (k, A) (see Serre [14], I, 5.5).

Lemma 6.3 (cf. Serre [14], I.5.5, Proposition 39 (ii)). Two classes ξ1 , ξ2 ∈ H 1 (k, A) have
the same image in H 1 (k, B) if any only if they are in the same C(k)-orbit.
If A is contained in the center of B, we have an action, also denoted ∗, of H 1 (k, A) on
the set H 1 (k, B) (see Serre [14], I.5.7).
Lemma 6.4 (cf. Serre [14], Proposition 42 (ii), I.5.7 ). If A ⊂ Z(B), two classes ξ1 , ξ2 ∈
H 1 (k, B) have the same image in H 1 (k, C) if any only if they are in the same H 1 (k, A)orbit.
Now we perform the dévissage. First, we reduce Theorem 4.1 to the case when G is
connected.
Lemma 6.5. Assume that Theorem 4.1 is true for connected groups and let GC be a linear
algebraic group over C (not necessarily connected). Then GC satisfies (∗R ) with
dR = dR (G0C ) · |GC /G0C |2 .

14

MIKHAIL BOROVOI, CHRISTOPHER DAW, AND JINBO REN

Proof. Let k ⊂ R be a real number field, let G be a k-form of GC , and let ξ ∈ H 1 (k, G)
be a cohomology class vanishing over R. From the short exact sequence
1 −→ G0 −→ G −→ G/G0 −→ 1,

we obtain a commutative diagram with exact rows:
δ

(G/G0 )(k)

/ H 1 (k, G0 )

locR

ϕ

locR



(G/G0 )(R)

δR

ψ

/ H 1 (k, G)

/ H 1 (k, G/G0 )

locR


/ H 1 (R, G0 )

ϕR

locR



ψR

/ H 1 (R, G)


/ H 1 (R, G/G0 ).

By Proposition 4.3, after possibly replacing k by a real extension of degree at most
|GC /G0C |, we may and shall assume that ξ = ϕ(ξ0 ), for some ξ0 ∈ H 1 (k, G0 ). By assumption, the class (ξ0 )R := locR (ξ0 ) ∈ H 1 (R, G0 ) maps to 1 ∈ H 1 (R, G). It follows that
(ξ0 )R = δR (g), for some g ∈ (G/G0 )(R). By Lemma 6.1, after possibly replacing k by a
real extension of degree at most |GC /G0C |, we may and shall assume that g ∈ (G/G0 )(k).
By Lemma 6.3, the class ξ0′ := ξ0 ∗ g−1 ∈ H 1 (k, G0 ) maps to ξ under ϕ and vanishes over
R. By assumption, ξ0′ can be killed by a real extension K/k of degree at most dR (G0C ).
Clearly, K also kills ξ, which completes the proof.

Next we reduce Theorem 4.1 to the case when G is reductive. We write Ru (G) for the
unipotent radical of G and we write Gred = G/Ru (G), which is a connected reductive
k-group.
Lemma 6.6. Assume that Theorem 4.1 is true for reductive groups and let GC be a
connected linear algebraic group over C (not necessarily reductive). Then GC satisfies
(∗R ) with
dR (GC ) = dR (Gred
C ).
Proof. The lemma follows immediately from Lemma 3.3.



Next we reduce Theorem 4.1 to the case when G is semisimple.
Lemma 6.7. Assume that Theorem 4.1 is true for semisimple groups and let GC be a
reductive group over C. Write Gss
C = [GC , GC ] for the commutator subgroup of GC (which
ss
is a semisimple C-group). Write Gtor
C = GC /GC (which is a C-torus). Then GC satisfies
(∗R ) with
tor
dR = dR (Gss
C ) · dR (GC ).

Proof. Let k ⊂ R be a real number field, let G be a k-form of GC , and let ξ ∈ H 1 (k, G) be
a cohomology class vanishing over R. Write Gss = [G, G] for the commutator subgroup of
tor = G/Gss (which is a
G (which is a semisimple k-group and a k-form of Gss
C ). Write G
tor
k-torus and a k-form of GC ). From the short exact sequence
π

1 → Gss → G −−→ Gtor → 1,

we obtain a commutative diagram with exact rows:
G(k)

π

/ Gtor (k)

locR



G(R)

δ

/ H 1 (k, Gss )

locR
π


/ Gtor (R)

ϕ

/ H 1 (k, G)

locR
δR


/ H 1 (R, Gss )

ψ

/ H 1 (k, Gtor )

locR
ϕR


/ H 1 (R, G)

locR
ψR


/ H 1 (R, Gtor ).

Let ξ ∈ H 1 (k, G) be a cohomology class such that locR (ξ) = 1. Consider ψ(ξ) ∈
By Proposition 4.4, after possibly replacing k by a real extension of degree

H 1 (k, Gtor ).

CONJUGATION OF SEMISIMPLE SUBGROUPS

15

ss
at most dR (Gtor
C ), we may and shall assume that ψ(ξ) = 1. Thus, ξ = ϕ(ξ ), for some
ss
1
ss
ss
ss
ss
cohomology class ξ ∈ H (R, G ). If we set ξR = locR (ξ ), then ψR (ξR ) = 1 and, hence,
ξRss = δR (tR ) for some tR ∈ Gtor (R).

Since the homomorphism π : G → Gtor is surjective, the implicit function theorem
implies that the subgroup π(G(R)) ⊂ Gtor (R) is open. Taking into account Lemma 6.2
(real approximation), we see that Gtor (k)·π(G(R)) = Gtor (R). Choose t ∈ Gtor (k) such that
tR ∈ t·π(G(R)). Then δR (t) = δR (tR ). By Lemma 6.4, the class ξ1ss := t−1 ∗ξ ss ∈ H 1 (k, Gss )
maps to ξ under ϕ and vanishes over R. Since Gss is semisimple, by assumption, ξ1ss can
be killed by a real extension K/k of degree at most dR (Gss
C ). Then K also kills ξ, which
completes the proof.

Finally, we treat the case of a semisimple group.
Lemma 6.8. Let GC be a semisimple C-group. Consider the (simply connected) universal
eC of GC . Let AC be the (central) kernel of the surjective homomorphism G
eC →
covering G
GC (which is a finite abelian C-group). Then GC satisfies (∗R ) with dR = 2eR (A).

Proof. Let k ⊂ R be a real number field, let G be a k-form of GC , and let ξ ∈ H 1 (k, G) be
a cohomology class vanishing over R. Consider the (simply connected) universal covering
e of G. Let A be the (central) kernel of the surjective homomorphism G
e → G (which is a
G
finite abelian k-group and a k-form of AC ). We have a commutative diagram with exact
rows:
ψ
ϕ
e
/ H 1 (k, G) ∆ / H 2 (k, A)
/ H 1 (k, G)
H 1 (k, A)
locR

locR



H 1 (R, A)

ϕR


/ H 1 (R, G)
e

locR

locR
ψR


/ H 1 (R, G)

∆R


/ H 2 (R, A).

By Proposition 5.1, after possibly replacing k with a finite real extension of degree
at most eR (AC ), we may and shall assume that ∆(ξ) ∈ H 2 (k, A) is trivial. Therefore,
e maps to
e By assumption, (ξ̃)R := locR (ξ̃) ∈ H 1 (R, G)
ξ = ψ(ξ̃), for some ξ˜ ∈ H 1 (k, G).
1
1
1 ∈ H (R, G). It follows that (ξ̃)R = ϕR (aR ), for some aR ∈ H (R, A). By Lemma 5.2,
there exists a ∈ H 1 (k, A) such that locR (a) = aR . By Lemma 6.3, the element ξ ′ = a−1 ∗ ξ̃
e maps to ξ under ψ and vanishes over R. Now, Proposition 4.5 implies that
in H 1 (k, G)
′
ξ can be killed by a finite real extension K/k of degree at most 2. Then K also kills ξ,
which completes the proof.

Proof of Theorem 4.1. The theorem follows from Lemmas 6.5, 6.6, 6.7, and 6.8.



References
[1] M. F. Atiyah and C. T. C. Wall. Cohomology of groups. In Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965), pages 94–115. Thompson, Washington, D.C., 1967.
[2] J. W. S. Cassels. Global fields. In Algebraic Number Theory (Proc. Instructional Conf., Brighton,
1965), pages 42–84. Thompson, Washington, D.C., 1967.
[3] C. Chevalley and S. Eilenberg. Cohomology theory of Lie groups and Lie algebras. Trans. Amer. Math.
Soc., 63:85–124, 1948.
[4] C. Daw and J. Ren. Applications of the hyperbolic Ax-Schanuel conjecture. arXiv:1703.08967
[math.NT].
[5] S. Friedland. The maximal orders of finite subgroups in GLn (Q). Proc. Amer. Math. Soc.,
125(12):3519–3526, 1997.
[6] D. Harari. Cohomologie galoisienne et théorie du corps de classes. Savoirs Actuels (Les Ulis). EDP
Sciences, Les Ulis; CNRS Éditions, Paris, 2017.
[7] J. E. Humphreys. Linear Algebraic Groups, volume 21 of Graduate Texts in Mathematics. SpringerVerlag New York, 1975.

16

MIKHAIL BOROVOI, CHRISTOPHER DAW, AND JINBO REN

[8] G. Karpilovsky. Topics in Field Theory. Mathematics Studies 155, Notas de Matemática. NorthHolland, Amsterdam, 1989.
[9] F. Knop. (https://mathoverflow.net/users/89948/friedrich-knop), A finiteness property for
semi-simple algebraic groups, URL (version: 2016-04-28): https://mathoverflow.net/q/237585.
[10] V. Platonov and A. Rapinchuk. Algebraic groups and number theory, volume 139 of Pure and Applied
Mathematics. Academic Press, Inc., Boston, MA, 1994.
[11] R. W. Richardson, Jr. A rigidity theorem for subalgebras of Lie and associative algebras. Illinois J.
Math., 11:92–110, 1967.
[12] J.-J. Sansuc. Groupe de Brauer et arithmétique des groupes algébriques linéaires sur un corps de
nombres. J. Reine Angew. Math., 327:12–80, 1981.
[13] J.-P. Serre. Local Fields. Graduate Texts in Mathematics, 67. Springer-Verlag, New York-Berlin, 1979.
[14] J.-P. Serre. Galois cohomology. Springer Monographs in Mathematics. Springer-Verlag, Berlin, English
edition, 2002.
[15] R. Steinberg. Regular elements of semisimple algebraic groups. Inst. Hautes Etudes Sci. Publ. Math.
No. 25, 1965, 49–80. Republished in [14], Appendix 1.
Borovoi: Raymond and Beverly Sackler School of Mathematical Sciences, Tel Aviv University, 6997801 Tel Aviv, Israel
E-mail address: borovoi@post.tau.ac.il
Daw: Department of Mathematics and Statistics, University of Reading, Whiteknights,
PO Box 217, Reading, Berkshire RG6 6AH, United Kingdom
E-mail address: chris.daw@reading.ac.uk
Ren: Institut des Hautes Études Scientifiques, Le Bois-Marie 35, route de Chartres, 91440
Bures-sur-Yvette, France
E-mail address: renjinbo@ihes.fr

