REAL HOMOGENOUS SPACES, GALOIS COHOMOLOGY,
AND REEDER PUZZLES

arXiv:1406.4362v5 [] 4 Aug 2016

MIKHAIL BOROVOI AND ZACHI EVENOR
Abstract. Let G be a simply connected absolutely simple algebraic group defined over
the field of real numbers R. Let H be a simply connected semisimple R-subgroup of
G. We consider the homogeneous space X = G/H. We ask: how many connected
components has X(R)?
We give a method of answering this question. Our method is based on our solutions
of generalized Reeder puzzles.

0. Introduction
In this paper by a semisimple or reductive group we always mean a connected semisimple
or reductive group, respectively. Let G be a simply connected absolutely simple algebraic
group over the field of real numbers R. Let H ⊂ G be a simply connected semisimple
R-subgroup. We consider the homogeneous space X = G/H, which is an algebraic variety
over R. The topological space X(R) of R-points of X need not be connected. We ask
Question 0.1. How many connected components has X(R)?
The group of R-points G(R) acts on the left on X(R), and we consider the orbits of
this action. By Lemma 16.1 below, the set of connected components of X(R) is the set of
orbits G(R)\X(R) of G(R) in X(R). On the other hand, there is a canonical bijection


∼
(1)
G(R)\X(R) → ker H 1 (R, H) → H 1 (R, G) ,

see Serre [Se94, Section I.5.4, Corollary 1 of Proposition 36], where H 1 (R, G) denotes the
first (nonabelian) Galois cohomology of G. We see that Question 0.1 is equivalent to the
following question:


Question 0.2. What is the cardinality of the finite set ker H 1 (R, H) → H 1 (R, G) ?

In this paper we give a method of answering Question 0.2 and hence, Question 0.1.
Namely, we give an explicit description of the Galois cohomology sets H 1 (R, G) for all
simply connected R-groups G, permitting one to compute the kernel in Question 0.2. We
describe H 1 (R, G) using our solutions of generalized Reeder puzzles.
Let G be a simply connected, absolutely simple, simply-laced, compact R-group. Let
T ⊂ G be a maximal torus. Let Π be a basis of the root system R(GC , TC ). Let D =
D(GC , TC , Π) be the Dynkin diagram of G with the set of vertices numbered by 1, 2, . . . , n,
then D is simply-laced, i.e. it has no multiple edges. By a labeling of D we mean a family
a = (ai )i=1,...,n , where ai ∈ Z/2Z. In other words, at any vertex i we write a label ai = 0, 1.
We consider the set L(D) of the labelings of D, it is an n-dimensional vector space over
the field Z/2Z.
For any vertex i we define the move Mi applied to a labeling a: if the vertex i has an
odd number of neighbors with 1, Mi changes ai (from 0 to 1 or from 1 to 0), otherwise
2010 Mathematics Subject Classification. 14M17, 11E72, 20G20.
Key words and phrases. Real homogeneous space, Reeder puzzle, simply connected real group, real
Galois cohomology, labelings of a Dynkin diagram.
Borovoi was partially supported by the Hermann Minkowski Center for Geometry. Both Borovoi and
Evenor were partially supported by the Israel Science Foundation (grant No. 870/16).
1

2

MIKHAIL BOROVOI AND ZACHI EVENOR

it does nothing. Clearly Mi (Mi (a)) = a. We say that two labelings a, a′ are equivalent
if we can pass from a to a′ by a finite sequence of moves. This is indeed an equivalence
relation on L(D). We denote the corresponding set of equivalence classes by Cl(D). It is
the set of orbits of the Weyl group W acting on L(D), and we denote it also by Orb(D)
in Sections 7–15 below. The set Cl(D) has a neutral element [0], the class of the zero
labeling 0. To solve the puzzle means to describe the set of equivalence classes Cl(D) and
to describe each equivalence class.
This is original Reeder’s puzzle [R05], except that Reeder formulated his puzzle for
any simply-laced graph, not necessarily a simply-laced Dynkin diagram. For a compact,
simply connected, simply-laced group G with Dynkin diagram D, the pointed set Cl(D)
is in a bijection with H 1 (R, G) . In order to deal with non-simply-laced and noncompact
groups, we generalize the puzzle.
We permit non-simply-laced Dynkin diagrams. Then, when counting the number of
neighbors with 1 of a given vertex i, we do not count the shorter neighbors of i connected
with i by a double edge. In other words, “the long roots don’t see the short roots”.
We consider also colored Dynkin diagrams, which correspond to non-compact inner
forms of compact groups. A coloring of a Dynkin diagram D is a family
t = (ti )i=1,...,n ,

ti ∈ Z/2Z.

If ti = 1, we color vertex i in black, otherwise we leave it white. When vertex i is white,
the move Mi acts as above. When i is black, the move Mi changes ai if i has an even
number of neighbors with 1, and does nothing otherwise. We write sometimes L(D, t) for
the set L(D) with this Reeder puzzle. We denote the corresponding set of equivalence
classes by Cl(D, t). If t = 0 = (0, . . . , 0), we have Cl(D, 0) = Cl(D). Note that if D has
a black vertex i, then the move Mi takes the zero labeling 0 to a nonzero labeling and
hence does not respect the group structure in L(D).
We recall the definition of H 1 (R, G), cf. [Se94, Section III.4.5]. Let G be a linear
algebraic group over R. We denote by G(C) the set of C-points of G. The first Galois cohomology set H 1 (R, G) is, by definition, Z 1 (R, G)/ ∼, where the set of 1-cocycles Z 1 (R, G)
is defined by Z 1 (R, G) = {z ∈ G(C) | zz̄ = 1}, and two 1-cocycles z, z ′ ∈ Z 1 (R, G) are
cohomologous (we write z ∼ z ′ ) if z ′ = gzḡ −1 for some g ∈ G(C). Here the bar denotes the
complex conjugation in G(C); note that G(R) = {g ∈ G(C) | ḡ = g}. By definition, the
neutral element [1] ∈ H 1 (R, G) is the class of the neutral cocycle 1 ∈ Z 1 (R, G) ⊂ G(C).
We write G(R)2 for the set of elements g ∈ G(R) such that g2 = 1. Then gḡ = g2 = 1,
hence G(R)2 ⊂ Z 1 (R, G), and so we obtain a canonical map G(R)2 → H 1 (R, G).
Let G be a simply connected absolutely simple R-group. For simplicity we assume in
the Introduction that G is an inner form of a compact group. Then G has a compact
maximal torus T , see Subsection 3.1. Choose a basis Π of the root system R = R(GC , TC ).
We obtain an isomorphism
∼

γ : L(D) → T (R)2 ⊂ Z 1 (R, G),
see formula (3) in Section 2. This isomorphism induces a map L(D) → H 1 (R, G), which
is surjective by a result of Kottwitz [Ko86, Lemma 10.2]. By Theorem 3.2 the fibers of
this map are equivalence classes of the Reeder puzzle for (D, t) for a certain coloring t of
D. In other words, we obtain a bijection
∼

Cl(D, t) → H 1 (R, G).
Moreover, for a suitable basis Π the coloring t can be obtained from a Kac diagram by
removing vertex 0, see Section 5.1. In Sections 7–15 we solve case by case the generalized
Reeder puzzles for all such pairs (D, t). Namely, in each case we give a set Ξ of representatives for all equivalence classes in Cl(D, t) and describe explicitly the equivalence class
[0] ⊂ L(D, t) of the zero labeling 0.

REAL GALOIS COHOMOLOGY

3

Now let H be a simply connected semisimple R-subgroup of a simply connected absolutely simple R-group G. For simplicity, we assume in the Introduction that H is absolutely
simple and that G and H are inner forms of compact groups. Then G contains a compact
maximal torus TG and H contains a compact maximal torus TH . We may and shall assume
that TH ⊂ TG . We denote by (DH , tH ) and (DG , tG ) the corresponding Reeder puzzles.
For a good choice of bases ΠH and ΠG we obtain colorings tH and tG coming from Kac
diagrams (in particular, not more than one vertex of each of DH and DG is black).
We describe our method of answering Question 0.2. The embedding TH ֒→ TG induces
an embedding TH (R)2 ֒→ TG (R)2 . Thus we obtain an injective homomorphism
ι : L(DH ) → L(DG ),
which can be computed explicitly. Using results of Sections 7–15 for the group H, we construct a finite subset Ξ ⊂ L(DH , tH ) containing exactly one representative of each equivalence class for the corresponding Reeder puzzle. For any ξ ∈ Ξ ⊂ L(DH , tH ) we compute
ι(ξ) ∈ L(DG , tG ). Using results of Sections 7–15 for the group G, namely, the description
of the equivalence class [0] of 0 in L(G, tG ) , we can check whether ι(ξ) ∈ L(DG , tG ) lies
in [0] or not. We obtain a subset Ξ0 of Ξ consisting of all ξ ∈
 Ξ such that ι(ξ) ∈ [0]. One
can show (see Section 16) that Ξ0 is in a bijection with ker H 1 (R, H) → H 1 (R, G) and
therefore, the cardinality of Ξ0 answers Questions 0.2 and 0.1.
Note that in order to answer Question 0.2, we compute in Sections 7–15 the sets Cl(D, t)
for inner forms of a compact group and certain sets Cl(D, τ, t) for outer forms. Since
each of these sets is in a bijection with the corresponding Galois cohomology set, we
in particular compute the cardinalities of the Galois cohomology sets H 1 (R, H) for all
absolutely simple simply connected R-groups H. These cardinalities have been known.
The Galois cohomology of classical groups and adjoint groups is well known. S. Garibaldi
and N. Semenov [GS10, Example 5.1] computed H 1 (R, H) for a certain nonsplit simply
connected group H of type E7 . B. Conrad [Co16, Proof of Lemma 4.9] computed H 1 (R, H)
for the split simply connected groups H of types of E6 and E7 . The cardinalities of the
Galois cohomology sets for “most” of simple R-groups, in particular, for all absolutely
simple simply connected R-groups, were recently computed by J. Adams [A13] by a method
different from ours. Our results agree with the previous results, in particular with the
tables of Adams [A13]. Later, after the first version of the present paper appeared in
arXiv, Borovoi and Timashev [BT15] proposed a combinatorial method based on the
notion of a Kac diagram, permitting one to compute easily the cardinality of H 1 (R, H)
when H is an inner form of any compact semisimple R-group, not necessarily simply
connected. However, it seems that neither of these alternative approaches permits one
to answer Question 0.1 about (G/H)(R), except for the case when H 1 (R, G) = 1 (which
happens only when G = SL(n) or G = Sp(2n, R)).
The rest of the paper is structured as follows. In Section 1 we recall results of [Bo88]. In
Sections 2 and 3 we compute the moves Mi in the case when G is compact and when it is
a noncompact inner form of a compact group, respectively. In particular, in Section 3 we
prove Theorem 3.2 describing the pointed set H 1 (R, G) for an inner form G of a compact
simply connected simple group in terms of the corresponding generalized Reeder puzzle.
In Section 4 we prove Theorem 4.6, which reduces computing the Galois cohomology
of an outer form of a compact, simply connected, simple R-group to computing Galois
cohomology of an inner form of another compact group. In Section 5 we describe the
generalized Reeder puzzle for G in terms of the Kac diagram of G from [OV90, Table
7]. In Sections 7–15 we solve the generalized Reeder puzzles for all isomorphism classes
of simply connected absolutely simple R-groups G. We state the assertions necessary for
our calculations, but omit straightforward proofs for brevity. In the last Section 16 we
describe our method of answering Questions 0.2 and 0.1 for all simply connected H (not
necessarily simple), and we give examples of calculations using results of Sections 7–15.

4

MIKHAIL BOROVOI AND ZACHI EVENOR

1. Galois cohomology of reductive real groups
In this section we state briefly the necessary results of [Bo88]. For details see [Bo88] or
[Bo14].
Let G be a reductive group over R. Let T be a fundamental torus of G, i.e., a maximal
torus of G (defined over R) containing a maximal compact torus T0 of G. Then T is the
centralizer of T0 in G; see [Bo14, Section 7]. Let T1 be the largest split subtorus of T . We
write T (R)2 for the group of elements of T (R) of order dividing 2.
Lemma 1.1 ([Bo88, Lemma 1.1], see also [Bo14, Lemma 3(a)]). The map T (R)2 →
∼
H 1 (R, T ) induces a canonical isomorphism T (R)2 /T1 (R)2 → H 1 (R, T ).
Set N0 = NG (T0 ), W0 = N0 /T . We have W0 (C) = W0 (R); see [Bo14, Section 7].
We define a left action of the group W0 (R) on the set H 1 (R, T ). Let w ∈ W0 (R) be
represented by n ∈ N0 (C) and let ξ ∈ H 1 (R, T ), ξ = [z], where z ∈ Z 1 (R, T ) is a cocycle
and [z] denotes the cohomology class of z. We set
(2)

w ∗ ξ := [nzn̄−1 ] = [nzn−1 · nn̄−1 ],

where the bar denotes the complex conjugation in G(C). This is a well-defined action;
see [Bo14, Construction 8]. (Note that in general the action ∗ does not respect the group
structure on H 1 (R, T ). ) It is easy to see that the images of ξ and w ∗ ξ in H 1 (R, G)
coincide. Therefore, we obtain a canonical map
W0 (R)\H 1 (R, T ) → H 1 (R, G).
Proposition 1.2 ([Bo88, Theorem 1], see also [Bo14, Theorem 9]). The map
W0 (R)\H 1 (R, T ) → H 1 (R, G)
induced by the map H 1 (R, T ) → H 1 (R, G) is a bijection.
2. Weyl action for compact groups
We change our notation. In Sections 2 – 5, G is a simply connected, simple, compact
(i.e., anisotropic) linear algebraic group over R.
Let T be a maximal torus of G. Let X ∗ = X∗ (TC ) := Hom(TC , Gm,C ) denote the character group of TC , where Gm,C is the multiplicative group over C. Let R = R(GC , TC ) ⊂ X ∗
denote the root system of GC with respect to TC , then we have a root decomposition
M
Lie GC = Lie TC ⊕
gβ .
β∈R

Let Π ⊂ R be a basis of R (a system of simple roots). Note that Π does not have to
be a basis of X ∗ . Write Π = {α1 , . . . , αn }, then a simple root αi is a homomorphism
αi : TC → Gm,C . Let R+ ⊂ R denote the set of positive roots with respect to the basis Π,
and let B ⊂ GC denote the corresponding Borel subgroup of GC containing TC , then
M
Lie B = Lie TC ⊕
gβ .
β∈R+

Let D = D(GC , TC , Π) = D(GC , TC , B) denote the Dynkin diagram of GC with respect to
TC and Π, then the set of vertices of D is Π. Let W = W (G, T ) = N/T denote the Weyl
group, where N is the normalizer of T in G. By abuse of notation we write W also for
the group of points W (R) = W (C).
Let X∗ = X∗ (TC ) := Hom(Gm,C , TC ) denote the cocharacter group of T . There is a
canonical pairing
h , i : X ∗ × X∗ → Z,

(χ, x) 7→ hχ, xi ∈ Z,

χ ∈ X ∗ , x ∈ X∗

REAL GALOIS COHOMOLOGY

5

defined by
χ ◦ x = (z 7→ z hχ,xi ) : Gm,C → Gm,C .
∨
∨
We have a canonical basis Π∨ = {α∨
1 , . . . , αn } of the dual root system R , where the
simple coroot α∨
i : Gm,C → TC is the coroot corresponding to the simple root αi ; see
∨
[Sp98, Sections 7.4 and 7.5]. Note that hαi , α∨
i i = 2. Since G is simply connected, Π
is a basis of X∗ (this is one of the definitions of a simply connected semisimple algebraic
group, cf. [Sp79, Section 2.15]).
Lemma 2.1 (well-known). Let G, T, N , and W be as above (in particular, G is compact).
Then for any w ∈ W (R) = W (C) there exists a representative n ∈ N (R) (and not just in
N (C)).
Proof. The group W is generated by the reflections r1 , . . . , rn , hence, it suffices to find
such an n for a reflection w = ri . This reduces to the case where G = SU2 and T is the
diagonal torus, when we can take


0 1
n=
.
−1 0


Since G is compact, by Borel and Serre [BS64, Theorem 6.8, Example (a)], see also
Serre [Se94, III.4.5, Example (a)] (or by Lemma 1.1 and Proposition 1.2 above, where T
∼
is compact, N0 = N , and W0 = W ) we have a bijection W \T (R)2 → H 1 (R, G). Here W
acts on T (R)2 in the standard way. Namely, since G is compact, by Lemma 2.1 we can
choose a representative n of w ∈ W in N (R), and for a ∈ T (R)2 we set
w ∗ a = nan̄−1 = nan−1 .
Therefore, we are interested in the standard action of W on T (R)2 . We identify X∗ /2X∗
∨
with T (R)2 by x + 2X∗ 7→ x(−1) ∈ T (R)2 for x ∈ X∗ . The canonical Z-basis α∨
1 , . . . , αn
∨
∨
of X∗ gives a Z/2Z-basis of X∗ /2X∗ , which we shall again write as α1 , . . . , αn .
By a labeling of the Dynkin diagram D we mean a vector a = (ai )i=1,...,n , where ai ∈
Z/2Z, i.e., ai = 0, 1. In other words, at each vertex i of D we write a label ai ∈ Z/2Z. We
denote the abelian group of labelings of D by L(D). We have a canonical isomorphism
∼

1

γ : L(D) → T (R)2 ⊂ Z (R, G),

(3)

a 7→ a =

n
Y
i=1

ai
α∨
.
i (−1)
∼

By abuse of notation we denote by γ both the isomorphism γ : L(D) → T (R)2 and the
∼
embedding γ : L(D) → T (R)2 ֒→ Z 1 (R, G). Thus with a ∈PL(D) we associate a = γ(a) ∈
1
T (R)2 ⊂ Z (R, G). We also associate with a the element k ak α∨
k ∈ X∗ /2X∗ .
We wish to compute the orbits of W in T (R)2 with respect to the standard left action. The Weyl group W is generated by the reflections ri = rαi . We define the moves
Mi : L(D) → L(D) on the set of labelings L(D) by Mi a = a′ , where
(4) 



n
n
n
n
X
X
Y
Y
′


aj
aj 
∨
∨

a′j α∨
α
(−1)
i.e.,
r
α∨
(−1)
a
α
ri 
=
=
i
j j
j ∈ X∗ /2X∗ .
j
j
j=1

j=1

j=1

j=1

Note that if a′ = Mi a, then a = Mi a′ , because ri2 = 1. We say that two labelings
a, a′ ∈ L(D) are equivalent if we can relate them by a series of moves. The set of orbits
of W in T (R)2 is in a canonical bijection with the set of equivalence classes of labelings
a ∈ L(D) of the Dynkin diagram D of (GC , TC , Π) with respect to the moves.
The following Lemma 2.2 says that the moves defined in this sections are indeed the
moves of the Reeder puzzle on D.

6

MIKHAIL BOROVOI AND ZACHI EVENOR

Lemma 2.2. Let G be a simply connected, simple, compact R-group of absolute rank n,
and D its Dynkin diagram, as above. Define the moves Mi : L(D) → L(D) by (4). Then
we have a′j = aj for j 6= i, and a′i is given by
a′i = ai +

(5)

X′

ak

ki

(addition in Z/2Z), where

X′

ki

means that the sum is taken over all the neighbors

k 6= i of i except for the vertices k connected to i by a double edge such that the root αk is
shorter than αi .
Proof. A reflection ri acts on X∗ by
ri (y) = y − hαi , yiα∨
i ,
P
cf. [Sp98, Section 7.4.1]. If y = k ak α∨
k ∈ X∗ , then
X
∨
ri (y) = y −
ak hαi , α∨
k iαi ,

(6)

k

and the same formula holds if y =
clearly a′j = aj for j 6= i, and
(7)

P

k

ak α∨
k ∈ X∗ /2X∗ . If we write ri (y) =

a′i = ai +

X
(−ak )hαi , α∨
k i,

P

k

a′k α∨
k , then

k

so we need only to compute (in Z/2Z) the sum in (7).
We may assume that our root system R is a root system in a Euclidean space V . Then
hαi , α∨
ki =

2(αi , αk )
,
(αk , αk )

∨
where (αi , αk ) is the scalar product in V . If k = i, then hαi , α∨
k i = hαi , αi i = 2 ≡ 0
(mod 2). If two different vertices i and k are not connected by an edge, then hαi , α∨
k i = 0.
Thus the sum in (7) is taken over vertices k different from i that are connected to i by
an edge. Now we consider cases. If vertices i and k are connected by a single edge, then
hαi , α∨
k i = −1 [Bou68, VI.1.3, possibility (3) ], hence vertex k gives ak to the sum in (7).
∨
If they are connected by a triple edge, then either hαi , α∨
k i = −1 or hαi , αk i = −3 ≡ −1
(mod 2) [Bou68, VI.1.3, possibility (7) ], and again vertex k gives ak to the sum. If they
are connected by a double edge and the root αk is longer than αi , then hαi , α∨
k i = −1
[Bou68, VI.1.3, possibility (5) ], and again vertex k gives ak to the sum. However, if the
vertices i and k are connected by a double edge and the root αk is shorter than αi , then
hαi , α∨
k i = −2 ≡ 0 (mod 2) [Bou68, VI.1.3, possibility (5) ], hence vertex k gives nothing
to the sum in (7). We conclude that formula (7) can be written as (5).


Corollary 2.3. If G is as in Lemma 2.2, in particular G is compact, then the map (3)
∼
induces a bijection Cl(D) → H 1 (R, G), where the moves Mi act on L(D) by formula (5).

3. Weyl action for inner forms
In this section G, T , R, Π, D, and W are as in Section 2, in particular G is a simply
connected, simple, compact linear algebraic group over R.

REAL GALOIS COHOMOLOGY

7

3.1. The t-twisted action. Write Gad = G/ZG , T ad = T /ZG , where ZG denotes the
center of G. Then T ad is a maximal torus in the adjoint group Gad . Consider an inner
twisted form (inner twist) z G of G, where z ∈ Z 1 (R, Gad ). It is well known that z is
cohomologous to some t ∈ T ad (R)2 (see e.g., [Se94, III.4.5, Example (a)]). We fix such an
element t. Then z G ≃ t G. We have t G(C) = G(C), but the complex conjugation in t G(C)
is given by
g 7→ ∗ ḡ = Inn(t)(ḡ).
This means that if we lift t ∈ T ad (R)2 to some t̃ ∈ T (C), then the complex conjugation in
t G(C) is given by
∗
ḡ = t̃ ḡ t̃−1 .
Since t̃ ∈ T (C), we have t T = T , hence t T is a compact maximal torus in t G, hence
it is a fundamental torus of t G. Thus any inner form of a compact semisimple R-group
has a compact maximal torus. Let T0 of Section 1 be the maximal compact subtorus of
t T , then clearly T0 = t T = T . Let W0 := W0 ( t G, t T ) be the group W0 of Section 1, then
W0 = W (G, T ) = W , because W0 was defined in terms of T0 .
We consider the t-twisted action of W0 = W given by formula (2) on H 1 (R, t T ) =
H 1 (R, T ) = T (R)2 . Let w ∈ W (R) = W (C), w = nT , where n ∈ N (R). Then
n̄ = n,

∗

n̄ = t̃n̄t̃−1 = t̃nt̃−1 .

For a ∈ T (R)2 = T (C)2 the t-twisted action of w is given by
w ∗ a = n a ∗ n̄−1 = n a t̃ n̄−1 t̃−1 = n a t̃ n−1 t̃−1 = nan−1 · nt̃n−1 t̃−1 .

(8)

In particular, let rj ∈ W (R) = W (C) be the reflection corresponding to a simple root αj .
Write rj = nj T for some nj ∈ N (R). For a ∈ T (R)2 the t-twisted action of rj is given by
−1 −1
−1 −1
= nj an−1
rj ∗ a = nj a ∗ n̄−1
j · nj t̃nj t̃ .
j = nj a t̃ nj t̃

(9)
Note that

−1
rj ∗ a = rj (a) · nj t̃n−1
j t̃ ,

(10)

−1 −1
where rj (a) = nj an−1
j . In particular, we have rj ∗ 1 = nj t̃nj t̃ , so in general rj ∗ 1 6= 1
and therefore, the t-twisted action does not preserve the group structure in T (R)2 .
Define

t = (ti ) ∈ (Z/2Z)n ,

(11)

where (−1)ti = αi (t).

We regard t as a coloring of the diagram D. We color a vertex i in black if ti = 1, and
leave i uncolored (i.e., white) if ti = 0. Denote by t D := (D, t) the Dynkin diagram
D = D(GC , TC , Π) together with the coloring t . The notation t D suggests that we regard
t D = (D, t) as an (inner) twist of D by t .
We compute the moves corresponding to the t-twisted action. For each vertex i of D,
we define the move Mi by Mi a = a′ , where




n
n
n
n
Y
Y
X
X
′


aj 
aj
∨
∨

ri ∗ 
α∨
(−1)
i.e.,
r
∗
a′j α∨
α
(−1)
=
a
α
=
i
j j
j
j ∈ X∗ /2X∗ .
j
j=1

j=1

j=1

j=1

Lemma 3.1. For the t-twisted action of W and the move Mi just defined, we have, as
in Lemma 2.2, a′j = aj for j 6= i, while in formula (5) the term ti ∈ Z/2Z defined by
(−1)ti = αi (t) must be added. Thus we have
X′
(12)
a′i = ai + ti +
ak ,
ki

where the meaning of

X′

ki

is the same as in formula (5).

8

MIKHAIL BOROVOI AND ZACHI EVENOR


tj
−1 = α∨ (−1)
t̃
. We
Proof. By (3), (10) and Lemma 2.2 it suffices to show that nj t̃n−1
j
j
are indebted to Dmitry A. Timashev for the idea of the following proof.
Consider the C-torus TC . As above, we write X∗ for X∗ (TC ) = Hom(Gm,C , TC ). We
have a canonical isomorphism of abelian complex Lie groups
∼

X∗ ⊗ C× → T (C),

x ∈ X∗ , u ∈ C× = Gm,C (C).

x ⊗ u 7→ x(u),

Z

Thus we obtain an isomorphism of abelian complex Lie algebras (vector spaces over C)
∼

X∗ ⊗ C → Lie TC ,
Z

x ⊗ v 7→ dx(v),

x ∈ X∗ , v ∈ C, dx := d1 x : C = Lie Gm,C → Lie TC .

In particular, we obtain a canonical embedding
∼

X∗ ֒→ X∗ ⊗ C → Lie TC

(13)

x 7→ x ⊗ 1 7→ dx(1).

Z

Now it is an easy exercise to deduce from (6) and (13) that for 1 ≤ j ≤ n and for any
y ∈ Lie TC we have
rj (y) = y − hdαj , yidα∨
j (1),

(14)

where we write dαj for d1 αj : Lie TC → Lie Gm,C = C, and we write hdαj , yi for dαj (y) ∈ C.
Let ωk∨ ∈ Lie TC be the element such that hdαj , ωk∨ i = δjk , where δjk is Kronecker’s
delta symbol. We set
!
X
tk ωk∨ ∈ T (C), where i2 = −1.
t̃ = exp πi
k

Then

*

αj (t̃) = exp dαj , πi

X

tk ωk∨

k

+

= exp πi

X

!

tk hdαj , ωk∨ i

k

= exp(πi tj ) = (−1)tj ,

because the exponential map commutes with homomorphisms of Lie groups; see [OV90,
Section 1.2.7, p. 29, Problem 26]. It follows that the image of t̃ in T ad (C) is indeed t. By
(14) we have
!
X

−1
= rj (t̃)t̃−1 = exp πi
nj t̃n−1
tk rj (ωk∨ ) − ωk∨
j t̃
k

= exp −πi

X
k

−1
Thus nj t̃n−1
j t̃

!

tk hdαj , ωk∨ idα∨
j (1)


tj
= α∨
(−1)
, as required.
j


tj
∨
.
= exp tj dα∨
j (−πi) = αj (−1)



According to Lemma 3.1, the twisted action of Mi on a labeling a = (ai ) ∈ (Z/2Z)n is
given by formula (12). This means that for any vertex i of D, the action of Mi is given
by formula (5) if vertex i is white (i.e., ti = 0), and by formula
X′
(15)
a′i = ai + 1 +
ak ,
ki

if vertex i is black (i.e., ti = 1). In other words, this is exactly the generalized Reader
puzzle as described in the Introduction. We denote by L(D, t) (or L( t D)) the set of
labelings (Z/2Z)n with this twisted action of the moves Mi . By Lemma 3.1 the action
of Mi on L(D, t) is compatible with the t-twisted action of the reflection ri ∈ W on
T (R)2 = t T (R)2 with respect to the canonical bijection
Y
ai
∼
α∨
.
γt : L(D, t) → T (R)2 ⊂ Z 1 (R, t G) a 7→ a =
i (−1)
i

REAL GALOIS COHOMOLOGY

9
∼

By abuse of notation we denote by γt both the isomorphism γt : L( t D) → T (R)2 and the
∼
embedding γt : L( t D) → T (R)2 ֒→ Z 1 (R, G). We regard the twisted diagram t D = (D, t)
as the colored Dynkin diagram of the twisted group t G (with respect to T and Π). We
denote by Orb( t D) the set of equivalence classes (orbits) in L( t D) with respect to the
equivalence relation given by the moves of Lemma 3.1 (in the Introduction we denoted
this set of equivalence classes by Cl(D, t)).
The following theorem describes the Galois cohomology of an inner form t G of a compact, simply connected, simple R-group G in terms of labelings of the corresponding
colored Dynkin diagram t D.
Theorem 3.2. Let G, T , R, Π, D, and W be as in Section 2. Let t ∈ T ad (R)2 and let
t ∈ (Z/2Z)n be defined by (11). Let L(t D) be the set of labelings of the colored Dynkin
diagram t D with the moves given by formula (12). Then the canonical map
∼

γt : L( t D) → T (R)2 ֒→ Z 1 (R, t G)
induces a canonical bijection
∼

λt : Orb( t D) → H 1 (R, t G).
The theorem follows immediately from Proposition 1.2 and Lemma 3.1. We specify that
λt takes the orbit (class) of a labeling a = (aj ) to the cohomology class of the cocycle
n
Y

aj
(α∨
∈ T (R)2 ⊂ Z 1 (R, t G).
j (−1))

j=1

4. Weyl action for outer forms
In this section again G, T , R, Π, B, D, N and W are as in Section 2, in particular G
is a simply connected, simple, compact linear algebraic group over R, and B is the Borel
subgroup of GC containing TC , corresponding to the basis Π of R.
Let ρ ∈ Gal(C/R) denote the complex conjugation. Since G is defined over R, the
Galois group Gal(C/R) = {1, ρ} acts on Aut GC . The group of semi-automorphisms
SAut GC := (Aut GC ) ⋊ Gal(C/R) acts on D, see [BKLR, Proposition 3.1]. We describe
this action here.
We construct a homomorphism
ψS : SAut GC → Aut D.
Let s ∈ SAut GC . We have TC ⊂ B ⊂ GC . Consider the pair (s(TC ), s(B)). There exists
g ∈ G(C) such that
g · s(TC ) · g −1 = TC , g · s(B) · g−1 = B,
and if g′ ∈ G(C) is another such element, then g′ = t′ g for some t′ ∈ T (C). We obtain a
semi-automorphism
Inn(g) ◦ s ∈ SAut(GC , TC , B),
which induces a well-defined automorphism
ψS (s) ∈ Aut D.
The restriction of ψS to the subgroup Gal(C/R) ⊂ SAut G gives the ∗ -action of
Gal(C/R) on D, see [Ti66, Section 2.3]. Let
(16)

ψ : Aut GC → Aut D

denote the restriction of ψS to the subgroup Aut GC ⊂ SAut GC , then ψ is clearly
Gal(C/R)-equivariant with respect to the ∗ -action of Gal(C/R) on D. The homomorphism ψ fits into the exact sequence
(17)

ψ

1 → Gad (C) → Aut GC −−→ Aut D → 1

10

MIKHAIL BOROVOI AND ZACHI EVENOR

which admits a splitting, that is, a homomorphism φ : Aut D → Aut GC such that ψ ◦
φ = idAutD , see [DG70, Exposé XXIV, Theorem 1.3] or [Sp79, Corollary 2.14], or [Co14,
Proposition 1.5.5]. We construct a splitting of (17) of a special kind in the next lemma.
Lemma 4.1. Let G be as above, in particular compact and simply connected. Then there
exists a homomorphism
φ : Aut D → Aut GC , θ 7→ φθ
such that ψ ◦ φ = idAutD and for any θ ∈ Aut D the automorphism φθ ∈ Aut GC is defined
over R.
Proof. Consider the complexification gC of g = Lie G and the root decomposition
M
gC = Lie TC ⊕
gβ .
β∈R

Consider a “canonical system of generators” hi , ei , fi (i = 1, . . . , n) of gC satisfying
[hi , hj ] = 0,

[ei , fi ] = hi ,

[hi , ej ] = aji ej ,

[ei , fj ] = 0 for i 6= j

[hi , fj ] = −aji fj ,

see [OV90, Section 4.3.2]. Here (aij ) is the Cartan matrix,
fi ∈ g−αi ,

ei ∈ gαi ,

hi ∈ Lie TC ,

Π = {α1 , . . . , αn }.

Since G is compact, one can choose the generators hi , ei , fi such that
ρ

hi = −hi ,

ρ

ei = −fi ,

ρ

fi = −ei ,

see [OV90, Section 5.1.3, Problem 19].
Now let θ ∈ Aut D. We define an automorphism φθ of gC on the generators by
φθ (hi ) = hθ(i) ,

φθ (ei ) = eθ(i) ,

φθ (fi ) = fθ(i) .

Clearly φθ commutes with ρ, hence the automorphism φθ of gC is defined over R. The Rautomorphism φθ of g induces a unique automorphism of the connected simply connected
algebraic R-group G; by abuse of notation we denote this automorphism again by φθ . We
have φθ (T ) = T, φθ (B) = B, and it is clear from our construction of ψ that ψ(φθ ) = θ,
hence ψ ◦ φ = idAutD . Clearly
φ : Aut D → AutR G,

θ 7→ φθ

is a homomorphism.



Corollary 4.2. The complex conjugation ρ, when acting on D via the ∗ -action, acts on
Aut D trivially.
Proof. Indeed, if θ ∈ Aut D, then
ρ

θ = ρ (ψ(φθ )) = ψ( ρ (φθ )) = ψ(φθ ) = θ,

because φθ ∈ AutR G.



Let z G be an outer twisted form (outer twist) of G, where z ∈ Z 1 (R, Aut G) and
z∈
/ Z 1 (R, Inn G). The homomorphism ψ of (16) induces a map
Z 1 (R, Aut G) → Z 1 (R, Aut D) = (Aut D)2 .
We obtain an element τ = ψ(z) ∈ (Aut D)2 , then τ is a nontrivial involutive automorphism
of D. It acts on the set of vertices Π of D; we write αj 7→ ατ (j) , j = 1, . . . , n. We write
Πτ for the set of fixed points of τ in Π, and D τ for the corresponding Dynkin subdiagram.
∨
Furthermore, τ acts on Π∨ by α∨
j 7→ ατ (j) and on W = hrj ij=1,...,n by τ (rj ) = rτ (j) . We
τ
write W for the algebraic subgroup of fixed points of τ in W .
The homomorphism φ of Lemma 4.1 gives an involutive automorphism φτ of (G, T, B).
By abuse of notation, we shall denote this “diagrammatic” automorphism φτ again by τ .

REAL GALOIS COHOMOLOGY

11

Then τ ∈ AutR (G, T )2 and τ acts on W . We write τ T , τ T ad , τ G, τ Gad , and τ W for the
corresponding twisted algebraic groups.
We consider the action of τ on Π and on Π∨ . The decomposition
Π = Πτ ∪ (Π r Πτ )
of the basis Π of the character group X∗ (T ad ) of the adjoint torus T ad induces a τ -invariant
decomposition into a direct product
T ad = T ad (D τ ) ×R T ad (D r D τ )

(18)

with X∗ (T ad (D τ )) = hΠτ i and X∗ (T ad (D r D τ )) = h Π r Πτ i. Here for a subset S ⊂
X∗ (T ad ), we denote by hSi the subgroup generated by S. Concerning the corresponding
τ -twisted tori, we see that τ T ad (D τ ) = T ad (D τ ) is a compact torus, while the R-torus
ad
τ
′
′
τ T (D r D ) is isomorphic to the Weil restriction of scalars RC/R T of some C-torus T .
It follows that
H 1 (R, τ T ad (D τ )) = T ad (D τ )(R)2 ,

while H 1 (R, τ T ad (D r D τ )) = 1,

and therefore, the embedding τ T ad (D τ ) ֒→ τ T ad induces a canonical isomorphism
(19)

∼

T ad (D τ )(R)2 = H 1 (R, τ T ad (D τ )) → H 1 (R, τ T ad ).

Similarly, we have a decomposition
Π∨ = Π∨ τ ∪ (Π∨ r Π∨ τ ),
where we write Π∨ τ for (Π∨ )τ . This decomposition of the basis Π∨ of the cocharacter
group X∗ (T ) induces a τ -invariant decomposition into a direct product
T = T (D τ ) × T (D r D τ )
with X∗ (T (D τ )) = h Π∨ τ i and X∗ (T (D r D τ )) = h Π∨ r Π∨ τ i. As above, we have
τ
τ
τ T (D ) = T (D ), hence
H 1 (R, τ T (D τ )) = T (D τ )(R)2 ,

while H 1 (R, τ T (D r D τ )) = 1.

The involutive automorphism τ of D acts on the set of labelings L(D), and we denote by
L(D)τ the subset of invariants. The homomorphism γ : L(D) → T (C)2 given by formula
(3) induces an isomorphism L(D)τ → τ T (R)2 (because the complex conjugation acts on
τ T (C)2 as τ ). We obtain a commutative diagram
(20)

L(D τ )

∼

O

/ T (D τ )(R)2
O

∼

/ H 1 (R, T (D τ ))
∼



L(D)τ

∼



/ τ T (R)2



/ H 1 (R, τ T )

with obvious maps.
For our z ∈ Z 1 (R, Aut GC ) and τ = φψ(z) we have ψ(z) = ψ(τ ). It follows from the
exact sequence (17) and [Se94, I.5.5, Corollary 2 of Proposition 39] that our outer form z G
of G is an inner twist of τ G, i.e. z G ≃ z ′ ( τ G) for some z ′ ∈ Z 1 (R, τ Gad ). By Proposition
1.2 the cocycle z ′ is cohomologous to some t ∈ Z 1 (R, τ T ad ) ⊂ Z 1 (R, τ Gad ), and by (19) we
may assume that t ∈ T ad (D τ )(R)2 ⊂ τ T ad (R)2 . We denote by Inn(t) the corresponding
inner automorphism of τ G of order dividing 2. We set σ = Inn(t) ◦ τ . Note that Inn(t) and
τ commute, hence σ is an outer automorphism of order 2 of G. We write σ G = Inn(t) (τ G)
for the corresponding twisted form of G, then σ ∼ z and σ G ≃ z G. For simplicity we also
write σ G = tτ G. We have σ G(C) = G(C), but the complex conjugation in σ G(C) is given
by
∗
ḡ = σ(ḡ) = Inn(t)(τ (ḡ)).
Note that Inn(t) acts trivially on τ T , hence also on τ W , because τ W ⊂ Aut(τ T ). We see
that tτ T = τ T and tτ W = τ W .

12

MIKHAIL BOROVOI AND ZACHI EVENOR

We consider the group W0 := W0 (tτ G) = W0 (τ G); see Section 1. We have W0 (C) =
W0 (R) = τ W (R); see [Bo14, Section 7]. Clearly τ W (R) = W τ (C), hence W0 (R) = W τ (C).
The group W0 (R) acts on H 1 (R, tτ T ) = H 1 (R, τ T ) as in formula (2), and it acts on the
set of labelings L(D τ ) via (20). We wish to describe this action explicitly.
Note that if D is of type A2n , then D τ = ∅, T (D τ ) = 1, H 1 (R, τ T ) = 1, H 1 (R, τ G) = 1
(in this case τ G ≃ SL2n+1 ). From now till the end of this section we shall assume that
D is not of type A2n . Then from the classification of Dynkin diagrams we know that for
any j ∈ D r D τ , the vertices j and τ (j) are not connected by an edge, and therefore, the
reflections rj and rτ (j) commute.
Lemma 4.3. Assume that D is not of type A2n . Then the group W0 (R) is generated by
the reflections ri for i ∈ D τ and by the products rj · rτ (j) for j ∈ D r D τ .
Proof. We have
W0 (R) = τ W (R) = W τ (C).
Now the lemma follows from [Ca72, Proposition 13.1.2].



Lemma 4.4. Assume that D is not of type A2n . Let j ∈ D r D τ . Then the product
rj · rτ (j) acts trivially on H 1 (R, σ T ) = H 1 (R, τ T ), where σ = Inn(t) ◦ τ .
Proof. Let b ∈ Z 1 (R, τ T ). By diagram (20) we may assume that b ∈ T (D τ )(R)
Q 2 ⊂ T (C)b 2 .
k
Let b = (bk ) ∈ (Z/2Z)D be the corresponding labeling of D such that b = k (α∨
k (−1)) .
We set wj,τ (j) = rj rτ (j) . Let Gj = Gαj denote the simple 3-dimensional subgroup of
G corresponding to the simple root αj . Choose a representative nj ∈ Gj (R) ∩ NG (T )(R)
of rj ∈ W (R). Set nτ (j) = τ (nj ) ∈ Gτ (j) (R), then τ (nτ (j) ) = nj , because τ 2 = 1. Since
the vertices j and τ (j) are not connected by an edge, the subgroups Gj and Gτ (j) of G
commute, hence nj and nτ (j) commute. Set nj,τ (j) := nj nτ (j) , then
τ (nj,τ (j)) = τ (nj nτ (j) ) = nτ (j) nj = nj nτ (j) = nj,τ (j) ,
hence nj,τ (j) ∈ NG (T )(R)τ and nj,τ (j) represents wj,τ (j).
We consider the action (2) of wj,τ (j) on H 1 (R, tτ T ). We write w for wj,τ (j) and n for
nj,τ (j). Recall that σ = Inn(t) ◦ τ , where t ∈ T ad (D τ )(R)2 ⊂ T ad (C)2 . We lift t to some
t̃ ∈ T (C). Then we have
w ∗ [b] := [nbn−1 · n Inn(t)(τ (n̄)−1 )] = [nbn−1 · nt̃τ (n̄)−1 t̃−1 ] = [nbn−1 · nt̃n−1 t̃−1 ],
because τ (n̄) = n. Thus the action (2) of w ∈ W0 (R) on Z 1 (R, tτ T ) is compatible with
the action (8) of w ∈ W (C) on T (C)2 .
We consider the t-twisted action (8) of W (C) on T (C)2 . Then Lemma 3.1 is applicable,
and it implies that the move Mj corresponding to the reflection rj ∈ W (C) can change
only the j-coordinate bj of b. Now consider wj,τ (j) = rτ (j) rj ∈ W0 (R) ⊂ W (C) for
j ∈ D r D τ , then we see that Mτ (j) Mj can change only the j- and the τ (j)-coordinates
of b. In particular, if we write b′ = (Mj Mτ (j) )b, then b′i = bi for any i ∈ D τ .
Since wj,τ (j) ∈ W0 (R) and b ∈ Z 1 (R, σ T ), we see that b′ := wj,τ (j) (b) is contained in
1
Z (R, σ T ). Since b′i = bi for any i ∈ D τ , by diagram (20) b′ ∼ b in Z 1 (R, σ T ). Thus
wj,τ (j) = rτ (j) rj acts trivially on H 1 (R, σ T ).

Lemma 4.5. Let a ∈ T (D τ )(R)2 ⊂ Z 1 (R, σ T ). Let i ∈ D τ , and write [a′ ] = ri [a], where
a′ ∈ T (D τ )(R)2 ⊂ Z 1 (R, σ T ), and [a] 7→ ri [a] refers to the action (2) of ri ∈ W0 (R) on
H 1 (R, σ T ). Write
Y
Y
a′j
aj
α∨
,
a′ =
α∨
a=
j (−1)
j (−1)
j∈D τ

j∈D τ

REAL GALOIS COHOMOLOGY

Then a′j = aj for j 6= i and

X′

a′i = ai + ti +

(21)

13

ak ,

ki, k∈D τ

where (−1)ti = αi (t) and the sum is taken over the neighbors k of i lying in D τ .

aj
Q
Proof. Write a = j∈D α∨
(−1)
, then aj = 0 for j ∈ D r D τ . Now let i ∈ D τ ,
j
then arguing as in the proof of Lemma 4.4, we see that the action (2) of ri ∈ W0 (R) is
compatible with the action (8), where n = ni ∈ Gi (R) ∩ NG (T )(R). By Lemma 3.1 this
action is given by formula (12), i.e., by formula (21), where the sum is taken over all
neighbors k of i in D. However, if k ∈ D r D τ , then ak = 0. We see that in formula (21)
we may take the sum only over neighbors k of i contained in D τ , as required.

The following theorem was announced in [Bo88]. It reduces computing the Galois
cohomology of an outer form of a simply connected compact group G to computing the
Galois cohomology of an inner form of some other simply connected compact group (of
type Al for some l).
Theorem 4.6 ([Bo88, Theorem 3]). Let G be a simply connected, simple, compact linear
algebraic group over R. Let T , R, Π and D be as in Section 2. Let τ be an automorphism
of order 2 of the Dynkin diagram D of GC (then D is simply-laced). Let l = #D τ . Let
G(D τ ) ⊂ G be the R-subgroup of type Al corresponding to the Dynkin subdiagram D τ
of D. Let t ∈ T ad (D τ )(R)2 ⊂ τ T ad (R)2 . Then the natural embedding t G(D τ ) ֒→ t τ G,
obtained by twisting by t from the embedding G(D τ ) ֒→ τ G, induces a bijection
∼

H 1 (R, t G(D τ )) → H 1 (R, t τ G).
Proof. The embedding T (D τ ) ֒→ τ T induces an isomorphism
∼

H 1 (R, T (D τ )) → H 1 (R, τ T ).

(22)

The group W (D τ )(R) acts on the left-hand side of (22); this group is generated by ri
for i ∈ D τ . The group W0 (R) acts on the right-hand side; by Lemma 4.3 this group is
generated by ri for i ∈ D τ and by rτ (j) rj for j ∈ D r D τ . By Lemma 4.4 the products
rτ (j) rj for j ∈ D r D τ act trivially on the right-hand side of (22). Comparing formulas
(12) and (21), we see that the actions of a reflection ri for i ∈ D τ on the left-hand side and
the right-hand side of (22) are compatible. Thus we obtain a bijection of the quotients:
∼

H 1 (R, t G(D τ )) = W (D τ )(R)\T (D τ )(R)2 → W0 (R)\H 1 (R, τ T ) = H 1 (R, t τ G),
where the left-hand and right-hand equalities are bijections of Proposition 1.2.



From diagram (20) and Theorem 4.6 we obtain a commutative diagram
(23)

L(D τ )

∼

O

/ T (D τ )(R)2
O

∼

/ H 1 (R, T (D τ ))

/ H 1 (R, t G(D τ ))
∼

∼



L(D)τ

∼



/ τ T (R)2



/ H 1 (R, τ T )



/ H 1 (R, tτ G)

Recall that t ∈ T ad (D τ )(R)2 . We define a coloring t = (tj )j∈Dτ (tj ∈ Z/2Z) of D τ as
in (11), i.e., by (−1)tj = αj (t).
Proposition 4.7.
(i) In diagram (23), the map L(D)τ → H 1 (R, tτ G) of the bottom
row of the diagram is surjective.
(ii) Two labelings a, a′ ∈ L(D)τ have the same image in H 1 (R, tτ G) if and only if
their images in L(D τ ) (i.e., their restrictions to D τ ) lie in the same equivalence
class in L(D τ , t). In particular, a labeling a ∈ L(D)τ maps to [1] ∈ H 1 (R, tτ G) if
and only if its restriction to D τ lies in the equivalence class of 0 in L(D τ , t).

14

MIKHAIL BOROVOI AND ZACHI EVENOR

Proof. (i) This follows from Lemma 1.1 and Proposition 1.2.
(ii) Indeed, by Theorem 3.2 two labelings b, b′ ∈ L(D τ ) have the same image in
H 1 (R, t G(D τ )) if and only if they lie in the same equivalence class in L(D τ , t).

We say that two labelings a, a′ ∈ L(D)τ are t-equivalent if their restrictions to D τ lie in
the same equivalence class in L(D τ , t). We denote by Cl(D, τ, t) the set of t-equivalence
classes in L(D)τ , then the restriction map L(D)τ → L(D τ ) induces a bijection
∼

Cl(D, τ, t) → Orb(D τ , t).

(24)

By Proposition 4.7 we have a bijection
∼

Cl(D, τ, t) → H 1 (R, tτ G).

(25)

∼

We obtain a bijection Orb(D τ , t) → H 1 (R, tτ G). We specify that this bijection takes the
class of a labeling b = (bα )α∈Πτ of D τ to the cohomology class of the cocycle
Y
(α∨ (−1))bα ∈ T (D τ )(R)2 ⊂ Z 1 (R, tτ G).
α∈Πτ

In the case when z G is an inner form of the compact group G, we again set τ = ψ(z) ∈
Aut(D), then τ = 1, and we set Cl(D, τ, t) = Orb(D, t) in this case. In particular, when
z G = G is compact, we have τ = 1, t = 1, t = 0, and we set Cl(D, τ, t) = Orb(D) in this
case. Then we have bijection (25) in all the cases.
5. Reeder puzzles from Kac diagrams
In this section G, T , R, Π, B, D, and W are as in Section 2, in particular G is a simply
connected, simple, compact linear algebraic group over R.
5.1. Inner forms. Let z G be a noncompact inner twisted form (inner twist) of G, where
z ∈ Z 1 (R, Gad ). By [Se94, III.4.5, Example (a)], z is cohomologous to some t ∈ T ad (R)2 ⊂
Z 1 (R, Gad ). We regard t ∈ T ad (R)2 ⊂ (Aut G)2 as an involutive inner automorphism of
G. Since z G is noncompact, we have t 6= 1. By Kac [Kac69], see also Helgason [He78,
Ch. X, § 5], Onishchik and Vinberg [OV90, Ch. 4, § 4 and Ch. 5, § 1], and Gorbatsevich,
Onishchik, and Vinberg [GOV94, Section 3.3.7], involutive inner automorphisms of G can
be described using Kac diagrams of types I and II in [OV90, Table 7]. (The Kac diagrams
of type III in [OV90, Table 7] correspond to involutive outer automorphisms.)
The relation between Kac diagrams and involutive inner automorphisms is as follows,
e of G. Its vertices
see [OV90, Problem 5.1.38]. Consider the extended Dynkin diagram D
correspond to the roots α0 , α1 , . . . , αn , where α1 , . . . , αn are the simple roots and α0 is the
lowest root. There is a unique linear dependence
m0 α0 + m1 α1 + · · · + mn αn = 0
normalized so that m0 = 1, and then mj are positive integers tabulated in [OV90, Table
e is a family of nonnegative integral numerical marks q =
6]. A Kac 2-marking of D
n+1
e satisfying
(qj )j=0,1,...,n ∈ Z≥0 at the vertices j = 0, 1, . . . , n of D,
(26)

m0 q0 + m1 q1 + · · · + mn qn = 2.

A Kac 2-marking q determines a unique element t ∈ T ad (R)2 ⊂ Gad (R)2 such that
(27)

αj (t) = (−1)qj ,

j = 1, . . . , n.

Involutive inner automorphisms of G are classified, up to conjugacy, by Kac 2-markings
e Two Kac 2-markings p and q give conjugate inner automorphisms if and only if p
of D.
e see [GOV94, 3.3.6, Theorem 3.11].
can be obtained form q by an automorphism of D,

e acts transitively on the set {j ∈ D
e | mj = 1}.
Lemma 5.1. The group Aut D

REAL GALOIS COHOMOLOGY

15

Proof. By [Bou68, Section VI.2.3, Corollary of Proposition 6], the center Z(G) acts simply
e
transitively on this set when acting on D.

e It follows from (26) that there are three possibilities:
Let q be a Kac 2-marking of D.

e with mi = 1, and qj = 0 for all j 6= i.
(0) qi = 2 for some i ∈ D
(1) (Type I) qi = 1 for some i with mi = 2, and qj = 0 for all j 6= i.
(2) (Type II) qi1 = 1, qi2 = 1 for some i1 6= i2 with mi1 = 1, mi2 = 1, and qj = 0 for
all j 6= i1 , i2 .

In case (0) clearly t = 1 and hence, t G = G is compact, so we do not consider this case.
e in
In case (1) we have i 6= 0, because mi = 2, while m0 = 1. We color vertex i of D
e q) is a Kac diagram of type I.
black and leave the other vertices white. We say that (D,
In case (2) by Lemma 5.1 we may and shall assume that i1 = 0. We write i for i2 , then
i 6= 0. We color vertices i1 = 0 and i2 = i in black and leave all the other vertices white.
e q) is a Kac diagram of type II.
We say that (D,
The Kac diagrams of types I and II up to isomorphism are tabulated in [OV90, Table
7]. From now on, when we consider Kac diagrams of types I and II, we assume that they
e has exactly one nonzero black
are ones from that table. Then in both cases I and II, D
vertex i.
We compute the coloring t of D, induced by t, in terms of q. Comparing (27) and (11),
we obtain that
(−1)tj = (−1)qj

for j = 1, . . . , n.

Since tj = 0, 1 and qj = 0, 1, we see that tj = qj for j = 1, . . . , n. Thus the map
e → Z≥0 to the subset D of D.
e
t : D → {0, 1} is the restriction of q : D
e q)
We conclude that if a noncompact inner form t G of G is given by a Kac diagram (D,
of type I or II from [OV90, Table 7], then we can obtain a colored Dynkin diagram (D, t)
e q). We say that (D, t) is a twisting
of the twisted group t G by removing vertex 0 from (D,
diagram for t G. It has exactly one black vertex i. We call i the twisting vertex. The
coloring t of D defines the action of Lemma 3.1 of the Weyl group W on L(D); we say
that this action of W is twisted at i. The next proposition follows immediately from
Lemma 3.1.
Proposition 5.2. Let z G be a noncompact inner form of G. Then z G ≃ t G, where
e q) of type I or II in [OV90,
t ∈ T ad (R)2 , t 6= 1, and t comes from a Kac diagram (D,
e q) by
Table 7]. The corresponding colored Dynkin diagram (D, t) is obtained from (D,
removing vertex 0. It has a unique black vertex i. For the (twisted at i) action of W on
L(D, t), we have the same formula (5) for Mj for j 6= i as in Lemma 2.2. For Mi we
have, as in Lemma 2.2, a′j = aj for j 6= i, while in formula (5) for a′i we must add 1.
Namely, we have
X′
(28)
a′i = ai + 1 +
ak ,
ki

where the meaning of

X′

ki

is the same as in formula (5).

Construction 5.3. Assume we have a twisting diagram with a black vertex i:
···

i

◦ • ◦

···

We have formula (28) for Mi . In order to get formula (5) instead, we uncolor the vertex
i and augment our diagram by formally adding a new vertex which we call the boxed 1,

16

MIKHAIL BOROVOI AND ZACHI EVENOR

connected by a simple edge to vertex i:
···

i

◦ ◦ ◦

···

1
Here 1 in the box means that we put 1 as the label at this new vertex. Now the formula
for Mi becomes (5) where the boxed 1 is included in the sum. Thus this boxed 1 accounts
for twisting at i. Note that we do not add a move corresponding to the boxed 1, so the
label 1 at the boxed 1 cannot be changed by moves. We call the obtained diagram the
augmented diagram corresponding to the twisting vertex i.
Example 5.4. These are the Kac diagram, the twisting diagram and the augmented
diagram for the group EIII of type E6 (see Subsection 11.3 below):
1

2

• ◦

3

4

5

◦ ◦ ◦
◦6
•0

1

2

3

4

5

• ◦ ◦ ◦ ◦
◦6

1

1

2

3

4

5

◦ ◦ ◦ ◦ ◦
◦6

5.2. Outer forms. Let z G be an outer twisted form (outer twist) of G, where z ∈
Z 1 (R, Aut G). Using the homomorphism ψ : Aut GC → Aut D of (16), we obtain an
element τ = ψ(z) ∈ Z 1 (R, Aut D) = (Aut D)2 ; then τ 2 = 1. Since z G is an outer form,
τ 6= 1. Thus τ is a nontrivial involutive automorphism of D. We write Πτ for the set of
fixed points of τ in Π, and D τ for the corresponding Dynkin subdiagram. As in Section
4, we denote the “diagrammatic” automorphism φτ of (G, T, B) again by τ . There exists
t ∈ T ad (D τ )(R)2 such that z G ≃ tτ G, see Section 4. (Here T ad = T ad (D τ )×R T ad (DrD τ ),
see (18).)
By [Kac69], see also [He78, Ch. X, § 5], [OV90, Ch. 4, § 4 and Ch. 5, § 1], and [GOV94,
Section 3.3.11], involutive outer automorphisms σ = tτ ∈ (Aut G)2 can be described using
Kac diagrams of type III in [OV90, Table 7] as follows.
Set g = Lie G. The diagrammatic automorphism τ acts on T ad , and we consider the
torus (T ad )τ of dimension n′ = #Πτ + 21 #(Π − Πτ ). The nonzero weights α′ of (T ad )τC
in gC are the restrictions of the roots α of gC with respect to TCad . The restricted roots
form a (possibly nonreduced) root system, see [GOV94, Section 3.3.9, Theorem 3.14]. In
particular, for any restricted root α′ the coroot (α′ )∨ is defined. Write gτ and g−τ for the
+1 and −1 eigenspaces of τ , respectively. It is known (see [GOV94, Section 3.3.9]) that
gτC is a simple Lie algebra and the representation of Gτ in g−τ
C is irreducible.
The set Π′ = {α′1 , . . . , α′n′ } of distinct restrictions of simple roots {α1 , . . . , αn } to (T ad )τ
is in a bijection with the set of orbits of τ in Π = {α1 , . . . , αn }. This set Π′ is a set of
simple roots of gτC with respect to (T ad )τC (see [GOV94, Section 3.3.9]). Let α′0 denote the
′
′
′
lowest weight of (T ad )τC in g−τ
C . Then {α0 , α1 , . . . , αn′ } is an admissible system of roots in
the sense that the Cartan numbers hα′i′ , (α′j ′ )∨ i are non-positive for i′ 6= j ′ (see [GOV94,
f′ , see
Section 3.3.9]). The Cartan matrix is encoded by a twisted affine Dynkin diagram D
[GOV94, Section 3.1.7]. There is a unique linear dependence
m′0 α′0 + m′1 α′1 + · · · + m′n′ α′n′ = 0,

normalized so that m′0 = 1, then m′j ′ are positive integers.
Set
t = Lie T = Lie T ad ,

t0 = tτ = Lie (T ad )τ ,

t1 = {x ∈ t | τ (x) = −x},

Set V = it ⊂ tC , V0 = it0 , V1 = it1 , where = −1. Let V ∗ , V0∗ , and V1∗ denote the dual
spaces to the vector R-spaces V , V0 , and V1 , resp. Let Q = X∗ (TCad ) and Q0 = X∗ ((T ad )τC )
be the corresponding character groups, then Q embeds into V ∗ and Q0 embeds into V0∗ .
The Killing form is positive definite on V ⊂ tC ⊂ Lie GC . The orthogonal decomposition
i2

REAL GALOIS COHOMOLOGY

17

V = V0 ⊕ V1 with respect to the Killing form induces an identification V ∗ = V0∗ ⊕ V1∗ , and
the restriction map Q → Q0 is compatible with the orthogonal projection
V ∗ = V0∗ ⊕ V1∗ → V0∗
with respect to this identification. Note that all the simple roots α ∈ Π have the same
length (because D admits a nontrivial automorphism). We see that the restrictions (projections onto V0∗ = (V ∗ )τ ⊂ V ∗ ) of the τ -fixed roots α ∈ Πτ are longer than the restrictions
of the nonfixed roots α ∈ Π r Πτ .
The involutive outer automorphisms σ = tτ ∈ (Aut G)2 are classified, up to conjugacy,
f′ . A Kac 1-marking of D
f′ is a family of nonnegative integer
by Kac 1-markings of D
n′ +1
f′ , satisfying
numerical marks q = (qj ′ )j ′ =0,1,...,n′ ∈ Z≥0 at the vertices of D

(29)

m′0 q0 + m′1 q1 + · · · + m′n′ qn′ = 1.

f′ determines a unique element t ∈ (T ad )(R)τ such that
A Kac 1-marking of D
2
(30)

α′j ′ (t) = (−1)κ

with κ = qj ′ , j ′ = 1, . . . , n′ .

With q one associates the outer involutive automorphism σ = tτ of G. Two Kac 1f′ give conjugate automorphisms of G if and only if p can be
markings p and q of D
f′ , see [GOV94, 3.3.10, Theorem 3.16].
obtained from q by an automorphism of D
f′ , it follows from (29) that there exists a unique vertex i′ with
For a 1-marking q of D
f′ in black
m′i′ = 1 such that qi′ = 1; for all j ′ 6= i′ we have qj ′ = 0. We color vertex i′ of D
f′ , q) of type III. The
and leave all the other vertices white. We obtain a Kac diagram (D
Kac diagrams of type III up to isomorphism are tabulated in [OV90, Table 7]. From now
on, when we consider a Kac diagram of type III, we assume that it is from [OV90, Table
7].
f′ be the black vertex. We see from (30) that
Let i′ ∈ D
(31)

α′i′ (t) = −1,

α′j ′ (t) = 1 for 1 ≤ j ′ ≤ n′ , j ′ 6= i′ .

Clearly, if i′ = 0, then α′j ′ (t) = 1 for all j ′ 6= 0, hence t = 1. We use the English (not
Russian) version of [OV90]. In the English version of [OV90, Table 7] the vertices of
Kac diagrams are numbered, and one can easily see from the table that when i′ 6= 0, the
restricted root α′i′ is long, hence α′i′ is the restriction to TCad of some τ -fixed root αi ∈ D τ .
The element t ∈ (T ad )τ (R)2 is determined by (31). For any αj ∈ Π r Πτ , let α′j ′ denote
the restriction of αj to (T ad )τC , then the restricted root α′j ′ is short, hence j ′ 6= i′ and
therefore, αj (t) = α′j ′ (t) = 1. We see that t ∈ T ad (D τ )(R)2 and
(32)

αi (t) = −1,

αj (t) = 1 for all j ∈ D τ , j 6= i.

Thus we can compute the Galois cohomology of z G as follows. We take the Kac diagram
of z G from [OV90, Table 7] (the English version). We remove vertex 0 and all vertices
corresponding to the short roots. What remains is a simply-laced colored Dynkin diagram
(D τ , t) with one black vertex or without black vertices; this is a colored Dynkin diagram
for t G(D τ ), where tτ G ≃ z G. The map t : D τ → {0, 1} is the restriction of the map
f′ → Z≥0 to the subset D τ of D
f′ . If t = 0 (no black vertices), then the moves Mj
q: D
of the Reeder puzzle for (D τ , t) are given by formula (5) for D τ . If t 6= 0, i.e, there is
one black vertex i in D τ , then the moves Mj for j ∈ D τ , j 6= i are given by formula (5),
while the move Mi is given by formula (28). In these formulas the sum is taken over the
neighbors k lying in D τ . By solving the Reeder puzzle for (D τ , t), we compute
Orb(D τ , t) ∼
= H 1 (R, t G(D τ )) ∼
= H 1 (R, tτ G) ≃ H 1 (R, z G).

18

MIKHAIL BOROVOI AND ZACHI EVENOR

Example 5.5. These are the Kac diagram for the group tτ G = EIV of type E6 (see
Subsection 11.4 below) and the twisting diagram for t G(D τ ) = G(D τ ) with trivial twisting,
i.e., the uncolored Dynkin diagram A2 :
0

1

2

3

4

• ◦ ◦ ks ◦ ◦

3

4

◦ ◦

Example 5.6. These are the Kac diagram for the group tτ G = EI of type E6 (see
Subsection 11.5 below), the twisting diagram for t G(D τ ), and the augmented diagram for
τ
t G(D ):
1

0

2

3

4

◦ ◦ ◦ ks ◦ •

3

4

3

◦ •

4

◦ ◦

1

6. Orbits: definitions and terminology
Starting with the next section, we solve the Reeder puzzles case by case, i.e., describe
the sets of equivalence classes Cl(D, τ, t). Proposition 4.7 reduces the case of an outer
form of a compact group to the case of an inner form of another compact group. In
the case of an inner form we determine the set Orb(D, t) of the orbits of the group W
generated by the moves Mi (i.e., reflections rαi ) acting on the set L( t D). Here L( t D) is
the set of labelings a = (a1 , . . . , an ) corresponding to a twisting diagram t D with vertices
i = 1, . . . n, where ai ∈ Z/2Z and each i corresponds to the simple root αi . We number
the vertices of D as in Onishchik and Vinberg [OV90, Table 1].
By (connected) components of a labeling of a Dynkin diagram we mean the connected
components of the graph obtained by removing the vertices with zeros and the corresponding edges. For example, the following labeling of A9 has 3 connected components:
1

1

0

1 0

0

1

1

1

7−→

1

1

1

1

1

1.

For some diagrams D the number of components of a labeling is an invariant of the action
of W . For some others, the parity of the number of components is an invariant.
By a fixed labeling we mean a fixed point of the action of W , that is, a labeling which is
fixed under all moves Mi . For example, for the action of Lemma 2.2 on A5 , the labelings
0

0

0

0 0

and

1

0 1

0

1

are fixed.
We say that two vertices i, j of a Dynkin diagram D are neighbors if they are connected
by an edge (single or multiple). We say that i is a vertex of degree d if it has exactly d
neighbors. We are especially interested in vertices of degree 3. The Dynkin diagrams Dn
(n ≥ 4), E6 , E7 and E8 have vertices of degree 3. Now let D be a Dynkin diagram with
a vertex i of degree 3, and let a be a labeling of D that looks near i like
(33)

...

(34)

...

1

1 1 ...
1
The move Mi of Lemma 2.2 splits the component of i to three components (because D
has no cycles):
1

0 1 ...
1
and therefore increases the number of components by 2. We call this process splitting at
i. The reverse process is called unsplitting.
Let G be a group with twisting diagram t D and the set of labelings L( t D). We denote
by Orb( t D) the set of orbits in L( t D) under the action of the Weyl group, i.e., the set
of equivalence classes of labelings with respect to the moves. We denote the number of
orbits by #Orb( t D).
In Sections 7 – 15 below we describe the pointed sets Cl(D, τ, t) for simply connected
groups of types An – G2 . Since these sections may be regarded as parts of a table, most

REAL GALOIS COHOMOLOGY

19

proofs are omitted. In Section 7 we introduce notation which will be used in subsequent
sections.
7. Groups of type An
(0)

7.1. The compact group SU(n + 1) of type An . Here n ≥ 1. The Dynkin diagram
is
1

◦

···

n

◦

The Weyl group acts by the moves that are described in Lemma 2.2. We denote the
(0)
compact form of the complex group of type An by An . The superscript 0 shows that the
group is compact and the diagram is uncolored.
(0)

Lemma 7.1. For An :
(a) The moves do not change the number of components.
(b) Every component can be reduced to length 1, e.g.
0−1−1−1−0

7→

0−0−1−0−0 .

(c) Components may be pushed so that the space between components is of length 1,
e.g.
1−0−0−1−0

7→

1−0−1−0−0 .
(0)

Notation 7.2. By ξrn (or just ξr ) we mean the labeling of An of the form
ξr

=

1

1−0

0 ······

1
r

0

···

which has r components packed maximally to the left, namely,
(
1 if i = 1, 3, . . . , 2r − 1 ,
n
(ξr )i =
0 otherwise .
(0)

By ηrn (or just ηr ) we mean the labeling of An which has r components packed maximally
to the right, namely
(
1 if i = n, n − 2, . . . , n − 2(r − 1) ,
n
(ηr )i =
0 otherwise .
η27 = 0−0−0−0−1−0−1.

Example 7.3. ξ37 = 1−0−1−0−1−0−0,
(0)

Lemma 7.4. Two labelings of An are equivalent if and only if they have the same number
(0)
of components. In particular, any labeling of An with r components is equivalent to ξrn
and to ηrn .
(0)

Thus, in An the number of components is an invariant which fully characterizes orbits.
(0)

Corollary 7.5. The orbit of zero in L(An ) consists of one labeling ξ0 . As representatives of orbits we can take ξ0 , ξ1 , . . . , ξr , where r = ⌈n/2⌉. We have
(
k + 1 if n = 2k ,
(35)
#Orb(A(0)
n ) = r + 1 = ⌈n/2⌉ + 1 =
k + 2 if n = 2k + 1 .

20

MIKHAIL BOROVOI AND ZACHI EVENOR
(m)

7.2. The group SU(m, n + 1 − m) ( 1 ≤ m ≤ ⌈n/2⌉ ) with twisting diagram An .
The group G is the special unitary group SU(m, n + 1 − m) of the diagonal Hermitian
form with m times −1 and n + 1 − m times +1 on the diagonal. Our results are valid for
all 1 ≤ m ≤ n, though SU(m, n + 1 − m) ≃ SU(n + 1 − m, m) and therefore, it suffices to
consider only the case 1 ≤ m ≤ ⌈n/2⌉. The Kac diagram of G is
0

♣ • ◆◆◆◆
◆◆◆
♣♣♣
m
1 ♣♣♣♣
◆n

◦

···

•

◦

···

(m)

see [OV90, Table 7]. We obtain the twisting diagram An
Kac diagram:
1

◦

···

m

•

···

by removing vertex 0 from the

n

◦

(m)

The superscript in An refers to the twisting (black) vertex m in the twisting diagram,
with respect to the numbering of Onishchik and Vinberg [OV90]. We construct the augmented diagram
1

◦

···

m

◦

···

n

◦

1
as in Construction 5.3, i.e. by formally adding a new vertex with constant label 1, called
boxed 1, connected to the twisting vertex by a simple edge. This retains the set of labelings
and the set of orbits.
(m)

Notation 7.6. Let a = (ai ) ∈ L(An ). We have a schematic diagram:
(36)

LHS

am RHS
1
where LHS denotes the left-hand side and RHS denotes the right-hand side. We denote
by l(a) the number of components of a in LHS (to the left of the twisting vertex m), and
by r(a) the number of components of a in RHS (to the right of the twisting vertex m), in
both cases not taking into account the component of the boxed 1.
(m)

Remark 7.7. For An :
(i) Any labeling a is equivalent to a labeling a′ with a′m = 0.
(ii) For the schematic diagram (36), if l(a) ≥ 1 and r(a) ≥ 1, then the rightmost
component in LHS and the leftmost component in RHS can be made to cancel each
other out by unsplitting at vertex m (which is a vertex of degree 3 for 1 < m < n).
In other words, if l(a), r(a) ≥ 1, then a is equivalent to some labeling a′ with
l(a′ ) = l(a) − 1 and r(a′ ) = r(a) − 1.
(iii) A component cannot pass from one hand side to the opposite hand side. In other
words, if a ∼ a′ , then r(a) − l(a) = r(a′ ) − l(a′ ).
(m)

Proposition 7.8. Two labelings a, a′ ∈ L(An ) are equivalent if and only if is r(a) −
l(a) = r(a′ ) − l(a′ ), and this invariant r(a) − l(a) can take values between −⌈(m − 1)/2⌉
and ⌈(n − m)/2⌉.
Notation 7.9. Let p, q be integers, 0 ≤ p ≤ ⌈(m − 1)/2⌉ and 0 ≤ q ≤ ⌈(n − m)/2⌉. We
write
(37)

(p|q) :=

ηpm−1

0 ξqn−m
1

We have l(p|q) = p and r(p|q) = q.
(m)

Corollary 7.10. For An :
(i) The orbit of zero is the set of the labelings a such that l(a) = r(a).

REAL GALOIS COHOMOLOGY

21

(ii) As representatives of orbits we can take
(0|q) =
(p|0) = ηp 0 ξ0 ,
0 ξ0 ,
1
1
with 1 ≤ p ≤ ⌈(m − 1)/2⌉ and 1 ≤ q ≤ ⌈(n − m)/2⌉.
(iii) The number of orbits is
(0|0) =

(38)

η0

η0

0 ξq
1

#Orb(An(m) ) = ⌈(m − 1)/2⌉ + 1 + ⌈(n − m)/2⌉


k + 1 if n = 2k ,
=
k + 1 if n = 2k + 1 and m is odd,


k + 2 if n = 2k + 1 and m is even.

7.3. Outer forms of SU(n + 1). Here τ is the nontrivial involutive automorphism of the
Dynkin diagram D = An , where n ≥ 2.
Case G = SL(n+1), n = 2k. Then D τ = ∅, and it is well known that H 1 (R, SL(n+1)) =
1 (this follows, for example, from [Se94, III.1.1, Proposition 1]).
Case G = SL(n + 1), n = 2k + 1. Then #D τ = 1, D τ = • , and again it is well known
that H 1 (R, SL(n + 1)) = 1.
Case G = SL(k + 1, H), where H denotes the Hamilton quaternions. Then n = 2k + 1,
#D τ = 1, D τ = ◦, #Orb(A1 ) = 2. The orbit of zero in L(A1 ) consists of 0. The class of
zero in L(D)τ consists of the labelings whose restriction to D τ is 0, namely with ak+1 = 0.
The other class consists of the labelings with ak+1 = 1.
8. Groups of type Bn
(0)

8.1. The compact group Spin(2n + 1) of type Bn . The Dynkin diagram is
1

◦

···

n−1

◦

n
3+ ◦
,

where n ≥ 2.
(0)
(0)
We write a labeling b ∈ L(Bn ) as b = (a⇒κ), where a ∈ L(An−1 ) and κ ∈ {0, 1}.
Note that the labeling
(0)

ℓ1 = (ξ0 ⇒1) =

(0−...−0⇒1)

(0)

(0)

(0)

is a fixed labeling. We denote by [ℓ1 ] ∈ Orb(Bn ) the orbit of ℓ1 (consisting of one
(0)
(0)
labeling), and also, by slight abuse of notation, the subset { [ℓ1 ] } ⊂ Orb(Bn ) consisting
of this orbit.
(0)
(0)
We also note that if a ∈ L(An−1 ), a 6= 0, then (a⇒1) is equivalent to (a⇒0) in L(Bn ).
(0)

(0)

Proposition 8.1. The map ϕ : L(An−1 ) → L(Bn ) defined by
a 7−→ (a⇒0)
(0)

∼

(0)

(0)

induces a bijection ϕ∗ : Orb(An−1 ) → Orb(Bn ) r [ℓ1 ] on the orbits.
(0)

Corollary 8.2. For Bn :
(i) The orbit of zero consists of the fixed labeling ξ0 ⇒0.
(ii) As representatives of orbits we can take
ξ0 ⇒1,

ξ0 ⇒0,

ξ1 ⇒0,

ξ2 ⇒0 ,

... ,

ξr ⇒0

with r = ⌈(n − 1)/2⌉.
(iii)
#Orb(B(0)
n )=

(0)
#Orb(An−1 ) +

(
k+2
1=
k+2

if n = 2k ,
if n = 2k + 1 .

22

MIKHAIL BOROVOI AND ZACHI EVENOR
(m)

8.2. The group Spin(2m, 2n + 1 − 2m) ( 1 ≤ m < n ) with twisting diagram Bn .
The group G is the universal covering Spin(2m, 2n + 1 − 2m) of the special orthogonal
group SO(2m, 2n + 1 − 2m) of the diagonal quadratic form with 2m times −1 and 2n +
1 − 2m times +1 on the diagonal. The twisting diagram and the augmented diagram are:
1

◦

m

•

···

···

n−1

n
3+ ◦

◦

1

2

◦ ◦

m

◦

···

n−1

◦

···

n
3+ ◦

1
(see [OV90, Table 7] and Construction 5.3).
Note that if m is even, the labeling
(m)

ℓ1

=

0

1

···

1

···

0
1

0 +3 1

(m)

(m)

is a fixed labeling. Note also that if b = (a⇒1) ∈ L(Bn ) and b 6= ℓ1 , then b ∼ (a⇒0).
(m)

(m)

Proposition 8.3. The map ϕ : L(An−1 ) → L(Bn ) defined by
a 7−→ (a +3 0)
induces an injection
(m)

Orb(An−1 ) → Orb(Bn(m) )
(m)

(m)

which is bijective when m is odd, and whose image is Orb(Bn ) r [ℓ1 ] when m is even.
We write
(39)

(m)

where a = (p|q) ∈ L(An−1 ), κ ∈ {0, 1}.

(p|q>κ) := a⇒κ,

(m)

It follows from Proposition 8.3 that as a set of representatives for the orbits in L(Bn )
we can take the labelings of the form a +3 0, where a runs over the set of representatives
(m)
of orbits in L(An−1 ) from Corollary 7.10, and when m is even we should add the fixed
(m)

labeling ℓ1

(m)

∈ L(Bn ). Explicitly, we obtain:
(m)

Corollary 8.4. The orbit of zero in L(Bn ) is the set of the labelings b = (a +3 κ )
(m)
with r(a) = l(a). As representatives of orbits in L(Bn ) we can take (p|0 > 0) for
(m)
0 ≤ p ≤ ⌈(m − 1)/2⌉, (0|q > 0) for 0 < q ≤ ⌈(n − 1 − m)/2⌉, and ℓ1 when m is even.
Corollary 8.5. We have:
#Orb(Bn(m) ) =

(
(m)
#Orb(An−1 )

(m)
#Orb(An−1 )

Using Corollary 7.10(iii), we obtain

k



k + 2
#Orb(Bn(m) ) =

k+1



k+2

if
if
if
if

if m is odd,
+1

if m is even.

n = 2k and m is odd,
n = 2k and m is even,
n = 2k + 1 and m is odd,
n = 2k + 1 and m is even.
(n)

8.3. The group Spin(2n, 1) with twisting diagram Bn . The twisting diagram and
the augmented diagram are:
1

◦

···

n−1

◦

n
3+ •

1

◦

···

n−1

◦

n
3+ ◦

1

(see [OV90, Table 7] and Construction 5.3).
(n)

If n = 2k, we have a fixed labeling in L(Bn )
(n)

ℓ1

=

1

0

1

0−1

···

0 1 +3 1

1

=

ξk ⇒1− 1

∈ L(B(n)
n ) .

REAL GALOIS COHOMOLOGY
(0)

23

(n)

Proposition 8.6. Define a map ϕ : L(An−1 ) → L(Bn ) by
ϕ(a) = ( a⇒0− 1 ) ,
then the induced map
(0)

ϕ∗ : Orb(An−1 ) → Orb(B(n)
n )
(n)

is injective. If n is odd, then ϕ∗ is bijective; if n is even, the image of ϕ∗ is Orb(Bn ) r
(n)
[ℓ1 ].
(n)

Proposition 8.7. The orbit of zero in L(Bn ) consists of two labelings:
0 ···

0 +3 0

and

1

···

0

0 +3 1

1 .

(n)

Corollary 8.8. As representatives of orbits in L(Bn ) we can take
ξ0 3+ 0

1 ,

ξ1 3+ 0
(n)

where r = ⌈(n − 1)/2⌉, together with ℓ1
Corollary 8.9.
#Orb(Bn(n) )

1 ,

... ,

ξr 3+ 0

1

when n is even.

(
(0)
#Orb(An−1 ) + 1 = k + 2
=
(0)
#Orb(An−1 ) = k + 1

if n = 2k ,
if n = 2k + 1 .

9. Groups of type Cn
(0)

9.1. The compact group Sp(n) with diagram Cn . The group G is the compact
“quaternionic” group Sp(n) of type Cn (n ≥ 3) with Dynkin diagram
1

◦
(0)

···

n−1

◦

ks

n

◦.

(n−1)

Construction 9.1. Let L(An−1 ) ⊔ L(An−1 ) denote the disjoint union of the sets of
(0)

(n−1)

labelings L(An−1 ) and L(An−1 ). We define a map
(0)

(n−1)

ϕ : L(An−1 ) ⊔ L(An−1 ) → L(C(0)
n )
(n−1)

(0)

sending a ∈ L(An−1 ) to a ⇐ 0 and sending a′− 1 ∈ L(An−1 ) to a′ ⇐ 1. Clearly ϕ is a
bijection.
(0)

(n−1)

Note that for any a ∈ L(An−1 ) and a′− 1 ∈ L(An−1 ), the labelings a ⇐ 0 and a′ ⇐ 1
(0)

are not equivalent in L(Cn ).
Proposition 9.2. The bijection ϕ of Construction 9.1 induces a bijection on orbits
(0)

(n−1)

∼

ϕ∗ : Orb(An−1 ) ⊔ Orb(An−1 ) → Orb(C(0)
n ).
(0)

Corollary 9.3. For Cn :
(i) The orbit of zero is just 0.
(ii) As representatives for orbits we can take
ξ0 ⇐ 0,

ξ1 ⇐ 0,

··· ,

ξr ⇐ 0,

ξ1 ⇐ 1,

··· ,

ξs ⇐ 1,

where r = ⌈(n − 1)/2⌉, and
ξ0 ⇐ 1,

where s = ⌈n/2⌉ − 1.
(0)
(n−1)
(0)
(iii) #Orb(Cn ) = #Orb(An−1 ) + #Orb(An−1 ) = n + 1.
(Of course, it is well known that #H 1 (R, G) = n + 1 in this case, this follows, for
example, from [Se94, III.1.1, Proposition 1].)

24

MIKHAIL BOROVOI AND ZACHI EVENOR
(m,n)

9.2. The diagram An
. (We shall need this diagram in Subsection 9.3.) Denote by
(m,n)
An
the Dynkin diagram An with two black vertices m and n, where 1 ≤ m < n:
1

◦

m−1

m

◦

···

m+1

•

◦

n−1

n

◦

···

(m,n)

•.
(m,n)

We denote by L(An
) the set of labelings a = (ai ) of An
. We consider the moves
Mi given by formula (5) for white vertices and by formula (28) for black vertices. We
construct the augmented diagram
1

◦

···

m

◦

n

◦

···

1 ,

1
by adding 1 two times, and now the moves Mi are given by formula (5) for all i = 1, . . . , n.
(m,n)

We consider the orbits (equivalence classes) in L(An
the labeling
(m,n)

ℓ1

1 0

=

1−0

···

1

). Note that when m is odd,

1

···

1

1

1

1
is a fixed labeling.
(m,n)

Lemma 9.4. For An
, we can take the following labelings as representatives of orbits:
(0|0), (p|0) for p = 1, ..., ⌈(m − 1)/2⌉ and (0|q) for q = 1, ..., ⌈(n − 1 − m)/2⌉, and when m
is odd, also the fixed labeling ℓ1 .
(m)

9.3. The group Sp(m, n − m) ( 1 ≤ m ≤ ⌊n/2⌋ ) with twisting diagram Cn . The
group G is the “quaternionic” group Sp(m, n − m), the unitary group of the diagonal
quaternionic Hermitian form with m times −1 and n − m times +1 on the diagonal. The
twisting diagram and the augmented diagram are:
1

◦

···

m

•

n−1

◦

···

ks

n

1

◦

◦

···

m

◦

···

n−1

◦

ks

n

◦

1
(see [OV90, Table 7] and Construction 5.3).
Proposition 9.5. The bijection
(m)

(m,n−1)

ϕ : L(An−1 ) ⊔ L(An−1

) → L(Cn(m) )
(m,n−1)

(m)

sending a ∈ L(An−1 ) to a ⇐ 0 and sending a′− 1 ∈ L(An−1
bijection
(m)

(m,n−1)

ϕ∗ : Orb(An−1 ) ⊔ Orb(An−1

) to a′ ⇐ 1, induces a

∼

) → Orb(Cn(m) ).

(m)

Denote (p|q<κ) = a⇐κ, where a = (p|q) ∈ L(An−1 ) and κ ∈ {0, 1}. For example, for

(3)

C5 we have
(1|0<1) =

0

1

0 0 ks 1 .
1

(m)

Corollary 9.6. For Cn :
(i) The orbit of zero is
(m)

{ (a ⇐ 0) | a ∈ L(An−1 ), l(a) = r(a) }.
(ii) As representatives of orbits we can take (p|0<0) with p = 0, ..., ⌈(m − 1)/2⌉,
(0|q < 0) with q = 1, ..., ⌈(n − 1 − m)/2⌉, (p|0 < 1) with p = 0, ..., ⌈(m − 1)/2⌉,

REAL GALOIS COHOMOLOGY

25

(0|q<1) with q = 1, ..., ⌊(n − 1 − m)/2⌋ = ⌈(n − 2 − m)/2⌉, and when m is odd,
the fixed labeling
(m,n)

ℓ1

=

1

0

1−0

1

···

1 ···

1 ks 1 .

1
(iii)

(m)
#Orb(Cn )

=

(m)
#Orb(An−1 )

(m,n−1)
+ #Orb(An−1
)

= n + 1.

(Of course, it is well known that #H 1 (R, G) = n + 1 in this case, this follows, for
example, from [Se94, III.1.1, Proposition 1].)
(n)

9.4. The split group Sp(2n, R) with twisting diagram Cn . The twisting diagram
and the augmented diagram are
1

◦

···

n−1

◦

n

1

•
ks

◦

···

n−1

◦

ks

n

◦

1

(n)
#Orb(Cn )

In this case there is only one orbit,
= 1 (it is well known that H 1 (R, G) = 1
in this case, see for example [Se94, III.1.2, Proposition 3]).
10. Groups of type Dn
(0)

10.1. The compact group Spin(2n) of type Dn . The group G is the spin group
Spin(2n), the universal covering of the special orthogonal group SO(2n), where n ≥ 4.
The Dynkin diagram of G is
1

◦

···

n−3

◦

n−2

n−1

◦
◦n

◦

This diagram has a vertex of degree 3, the vertex n − 2. For brevity we introduce the
(0)
n−2
following notation: if a ∈ L(An−2 ), a = (ai )i=1
, κ, λ ∈ {0, 1}, we write
κ
:= a1 · · · an−2 κ .
(40)
a
λ
λ
(0)

Note that for Dn the labelings
0
1
1
0
(0)
(0)
and ℓ4 = ξ0n−2 = 0...0
ℓ2 = 0 = ξ0n−2 = 0...0
0
0
1
1
are fixed labelings. If n is even, n = 2k, then the labelings
1
0
(0)
(0)
n−2 1
n−2 0
ℓ1 = ξk−1
= 10..10
and ℓ3 = ξk−1
= 10..10
0
0
1
1
are fixed labelings.
Proposition 10.1. Define a map
(0)

ϕ : L(An−2 ) −→ L(D(0)
n ),
(0)

0
a 7−→ a .
0

(0)

Then the induced map ϕ∗ : Orb(An−2 ) → Orb(Dn ) is injective. If n is even, n = 2k,
then the image of ϕ∗ is
n
o
(0)
(0)
(0)
Orb(D(0)
n ) r [ℓ4 ], [ℓ1 ], [ℓ3 ] .
If n is odd, n = 2k + 1, then the image of ϕ∗ is

(0)

Orb(D(0)
n ) r [ℓ4 ].
(0)

Corollary 10.2. For Dn :

26

MIKHAIL BOROVOI AND ZACHI EVENOR
(0)

(i) The orbit of zero is just the labeling ℓ2 = 0.
(ii) Representatives of orbits are:
(0)
– For n = 2k+1 we can take the following representatives coming from L(An−2 ):
ξ0n−2

0
0
= 0...0 ,
0
0

ξ1n−2

0
0
= 10...0 ,
0
0

ξkn−2

...,

0
0
= 101..01
0
0

(0)

and the fixed labeling ℓ4 .
(0)
– For n = 2k we can take the following representatives coming from L(An−2 ):
ξ0n−2

0
0
= 0...0 ,
0
0

ξ1n−2

0
0
= 10..0 ,
0
0

(0)

(0)

n−2
ξk−1

...,

0
0
= 10..10 ,
0
0

(0)

and the fixed labelings ℓ4 , ℓ1 , and ℓ3 .
(iii) We have
(
(0)
#Orb(An−2 ) + 3 = k + 3
#Orb(D(0)
)
=
n
(0)
#Orb(An−2 ) + 1 = k + 2

if n = 2k ,
if n = 2k + 1 .

(0)

Example 10.3. For D5 we have representatives of orbits
0
0
1
0
000 , 100 , 101 , 000 .
0
0
0
1
(0)

For D6 we have representatives of orbits
0
0
0
0000 , 1000 , 1010 ,
0
0
0

1010

1
,
0

1010

0
,
1

0000

1
.
1
(m)

10.2. The group Spin(2m, 2n − 2m) ( 1 ≤ m ≤ ⌊n/2⌋ ) with twisting diagram Dn .
The group G is Spin(2m, 2n − 2m), the universal covering of the special orthogonal group
SO(2n, 2n − 2m) of the diagonal quadratic form with 2m times −1 and 2n − 2m times
+1 on the diagonal. The twisting diagram and the augmented diagram are:
1

◦

···

m

•

n−2

n−1

◦
◦n

···

1

◦

◦

m

◦

···

···

1

(see [OV90, Table 7] and Construction 5.3).
(m)

Remark 10.4. For Dn :
(a) When m is even, we have fixed labelings
(m)

ℓ2

=

1

1−0

···

0

1 0

···

0

(m)

ℓ4

=

1

0

1−0

···

0 0

1

···

0 1 .
1

1
(b) When n − m is even, we have fixed labelings
(m)

ℓ1

=

ξ0

0

1

0

1−0

···

1 0

(m)

ℓ3

=

ξ0

0 1

1
(Cases (a) and (b) can occur together.)

1

0

1
and
0

1−0

···

0

0

1
and

0

1

0 0 .
1

n−2

◦
◦n

n−1

◦

REAL GALOIS COHOMOLOGY

27

(m)

(m)

(m)

Note that [ℓ2 ] is in the image of the map ϕ∗ of Theorem 10.5 below, while [ℓ1 ], [ℓ3 ]
(m)
and [ℓ4 ] are not.
(m)

(m)

Theorem 10.5. Consider the map ϕ : L(An−2 ) → L(Dn ) defined by a 7→ a 00 . Then
(m)

(m)

the induced map on orbits ϕ∗ : Orb(An−2 ) → Orb(Dn ) is injective, and its image is the
(m)

(m)

(m)

(m)

whole set Orb(Dn ) except for the fixed labelings ℓ1 , ℓ3 , and ℓ4
see Remark 10.4.
(m)

when they occur;
(m)

Proof. We prove the injectivity. Let d = a κλ ∈ L(Dn ), where a ∈ L(An−2 ) . Set
δ(d) = (κ + λ mod 2)(1 − dn−2 ) + r(a) − l(a),
where κ + λ mod 2 ∈ {0, 1} ⊂ Z, dn−2 = an−2 ∈ {0, 1} ⊂ Z. It is easy to check that δ(d)
(m)
does not change under the moves in L(Dn ). Clearly we have δ(a 00 ) = r(a)− l(a). Now if
(m)

(m)

a, a′ ∈ L(An−2 ) and a 6∼ a′ in L(An ), then by Proposition 7.8 r(a)−l(a) 6= r(a′ )−l(a′ ),
(m)

hence δ(a 00 ) 6= δ(a′ 00 ), and therefore, (a 00 ) 6∼ (a′ 00 ) in L(Dn ).
We prove the assertion about the image. There are two cases: (1) n − m is odd, and
(2) n − m is even.
(m)

(m)

Case (1): n − m is odd. Let d ∈ L(Dn ). We prove that either d ∼ (. . . 00 ) or d = ℓ4 .
Up to equivalence, we may assume that
κ
κ
(41)
d = a = al 0 ar ,
λ
λ
1
(0)

(0)

where al ∈ L(Am−1 ) is the left-hand side of a, ar ∈ L(An−2−m ) is the right-hand side
of a, and κ, λ ∈ {0, 1}. If κ = λ = 0, then d = a 00 , as required. If κ = 1, λ = 0, then
(0)

ar κ = ar 1 ∼ (. . . 0) in L(An−m−1 ), because n − m − 1 is even. Thus d ∼ (. . . 00 ), as
required. The case κ = 0, λ = 1 is similar to the case κ = 1, λ = 0.
Now assume that κ = λ = 1. If ar 6= 0, then ar ∼ (. . . 1). Thus d ∼ (. . . 1 11 ) ∼ (. . . 1 00 ),
as required. If ar = 0 and either m is odd or m is even and al 6= ξm/2 , then we may assume
that dm−1 = (al )m−1 = 0. Then, applying moves, we can change dm to 1, then change
dm+1 to 1, . . . then change dn−2 to 1, and finally we obtain that d ∼ (. . . 1 11 ) ∼ (. . . 1 00 ),
(m)

as required. If ar = 0, m is even and al = ξm/2 , then d = ℓ4 , which completes the proof
in Case (1).
(m)

Case (2): n − m is even. Let d ∈ L(Dn ). Up to equivalence, we may assume that d
(m)
is as in (41). If κ = λ = 0, we have nothing to prove. If κ = λ = 1 and d 6= ℓ4 , then
0
the argument in Case (1) shows that d ∼ (. . . 0 ), as required. Two cases remain: κ = 1,
λ = 0, and κ = 0, λ = 1. They are similar; we treat only the case κ = 1, λ = 0.
(m)

(m)

Consider aκ = a1 ∈ L(An−1 ). Using moves in L(An−1 ), we can reduce a1 to a labeling
which has either 0 components right to the vertex m, or 0 components left to m. In the
former case d ∼ (. . . 00 ), as required. In the latter case, if d is as in (41) and ar 1 has less
than k := (n − m)/2 components, then ar 1 ∼ (. . . 0) and d ∼ (. . . 00 ), as required. If ar 1
(m)

has k components, then ar 1 = ξk . Since al = 0, we see that d = ℓ1 . This completes the
proof in Case (2).

(m)

Corollary 10.6. Set A0 = {a ∈ L(An−2 ) | l(a) = r(a)} (this is the orbit of zero in
(m)

(m)

L(An−2 )). We write a = (ai ). Then the orbit of zero in L(Dn ) is

 

1 0
0 1
a , a | a ∈ A0 ∪ a , a | a ∈ A0 , an−2 = 1 .
0 1
0 1

28

MIKHAIL BOROVOI AND ZACHI EVENOR

Set
κ
κ
:= a ∈ L(Dn(m) ),
λ
λ
see formulas (37) and (40).

(42)

(m)

where a = (p|q) ∈ L(An−2 ), κ, λ ∈ {0, 1},

(p|q)

(m)

Corollary 10.7. For L(Dn ), as representatives of orbits we can take the labelings
(p|0) 00 for 0 ≤ p ≤ ⌊m/2⌋ = ⌈(m − 1)/2⌉, the labelings (0|q) 00 for 1 ≤ q ≤ ⌈((n − 2) −
(m)

m)/2⌉, and the fixed labelings ℓ4
Corollary 10.8.

(m)

(m)

and ℓ1 , ℓ3



k + 2
(m)
#Orb(Dn ) = k + 3


k

when they occur; see Remark 10.4.

if n = 2k + 1 ,
if n = 2k and m is even,
if n = 2k and m is odd.
(n)

10.3. The group Spin∗ (2n) with twisting diagram Dn . The group G is the “quaternionic” spin group Spin∗ (2n), the universal covering of SO∗ (2n), the special unitary group
of the diagonal quaternionic skew-Hermitian form in n variables
ix1 x̄1 + · · · + ixn x̄n .
The twisting diagram and augmented diagram are:
1

◦

···

n−3

n−2

◦

◦
•n

n−1

1

◦

◦

n−3

◦

···

n−2

◦
◦

n−1

◦

1

(see [OV90, Table 7] and Construction 5.3).
(n)

We consider the following labelings of Dn :
m1 =

0

···

0

(n)

Proposition 10.9. For Dn

0
0
1

0

and

m2 =

1

···

0 0
0
1

0

there are exactly two orbits:

1. The orbit of zero which consists of the labelings with odd number of components
(including the boxed 1) and we can take m1 as a representative.
2. The other orbit that consists of the labelings with even number of components
(including the boxed 1) and we can take m2 as a representative.
10.4. The group Spin(2m + 1, 2(n − m) − 1). Here 0 ≤ m ≤ ⌊(n − 1)/2⌋. The group G
is an outer form of the compact group Spin(2n) of type Dn . Here for n > 4 we consider
the nontrivial involutive automorphism τ of the Dynkin diagram Dn , while for n = 4 τ is
a nontrivial involutive automorphism of D4 . The Kac diagram is:
1

0

◦ ks ◦

···

m

•

···

n−2

◦

3+ n−1
◦

see [OV90, Table 7]. We erase vertex 0 and also the “short” vertex n − 1 (which comes
from D r D τ ).
(0)

If m = 0, we obtain D τ = An−2 (non-twisted). By formula (35)
#Orb(D τ ) = ⌈(n − 2)/2⌉ + 1.
The orbit of zero in L(D τ ) is 0. The class of 0 in L(D)τ consists of the labelings with
zero restriction to D τ . As representatives of equivalence classes we can take ξ0 , ξ1 ,
. . . , ξr , where r = ⌈(n − 2)/2⌉. These representatives lie in L(D τ ) and hence in L(D)τ .

REAL GALOIS COHOMOLOGY

29

If m 6= 0, then after erasing the vertices 0 and n − 1 of the Kac diagram we obtain
(m)
the twisted diagram An−2 . We add boxed 1 as a neighbor to vertex m and obtain the
augmented diagram
1

◦

m

◦

···

n−2

◦

···

1
By formula (38)
#Orb(D τ ) = ⌈(m − 1)/2⌉ + 1 + ⌈(n − 2 − m)/2⌉


if n = 2k ,
k
=
k
if n = 2k + 1 and m is odd,


k + 1 if n = 2k + 1 and m is even.
(m)

The orbit of zero in L(D, t) consists of the labelings a ∈ L(An−2 ) such that l(a) = r(a),
see Notation 7.6. The class of zero in L(D)τ consists of the labelings d whose restriction
a = resDτ (d) to D τ satisfy l(a) = r(a). As representatives of equivalence classes
we can take (p|0) where 0 ≤ p ≤ ⌈(m − 1)/2⌉, and (0|q) where 1 ≤ q ≤ ⌈(n − 2 − m)/2⌉.
Again, these representatives lie in L(D τ ) and hence in L(D)τ .
11. Groups of type E6
(0)

11.1. The compact group of type E6 . The Dynkin diagram of G is
1

2

3

4

5

◦ ◦ ◦ ◦ ◦
◦6
(0)

Proposition 11.1 (Reeder [R05]). The diagram E6

has 3 orbits. The orbits are:

1. The orbit of zero consisting of 0, which is a fixed labeling.
2. The orbit consisting of all the labelings with 1 or 3 components with representative
ℓ1 =

1

0

0 0 0
0
3. The orbit consisting of all the labelings with 2 components with representative
ℓ2 =

0

1

0 0
1

0

Remark 11.2. The moves in L(En ) for n = 6, 7, 8 preserve the parity of the number of
components.
Remark 11.3. By [R05, Example 4.4] each of the graphs D = E6 and D = E8 is
nonsingular (namely, a certain quadratic form introduced by Reeder is nonsingular). By
[R05, Theorem 7.3 and Lemma 2.2(2)] in in both cases we have exactly 3 orbits in L(D):
{0}, the orbit consisting of all nonzero labelings with even number of components, and
the orbit consisting of all labelings with odd number of components.
(2)

11.2. The group EII with twisting diagram E6 . A maximal compact subgroup is
of type A1 A5 . The twisting diagram and the augmented diagram are:
1

2

3

4

5

◦ • ◦ ◦ ◦
◦6

1

2

3

4

5

◦ ◦ ◦ ◦ ◦
1 ◦
6

(see [OV90, Table 7] and Construction 5.3).
(2)

Proposition 11.4. The diagram E6 has 3 orbits. The orbits are:

30

MIKHAIL BOROVOI AND ZACHI EVENOR

1. The orbit of zero consisting of all the labelings with 1 or 3 components (including
the boxed 1).
2. The orbit consisting of the labelings with 2 components excluding the fixed labeling
ℓ′1 , with representative
ℓ3 =

1

1
1

0 0
1

0

ℓ′1 =

1

0
1

0 0
0

0

3. The fixed labeling

(1)

11.3. The group EIII of Hermitian type with twisting diagram E6 . A maximal
compact subgroup of G is of type D5 T 1 . The twisting diagram and the augmented diagram
are:
1

2

3

4

5

• ◦ ◦ ◦ ◦
◦6

1

2

3

4

5

◦ ◦ ◦ ◦ ◦
◦6

1

(see [OV90, Table 7] and Construction 5.3).
(1)

Proposition 11.5. The diagram E6 has 3 orbits. The orbits are:
1. The orbit of zero consisting of the labelings with 1 or 3 components excluding
the fixed labeling ℓ′2 .
2. The orbit consisting of all the labelings with 2 components with representative
ℓ′3 =

1 1

1

0
1

0

0

ℓ′2 =

1 0

1

0
1

0

0

3. The fixed labeling

11.4. The group EIV of type E6 . This is an outer form of the compact group of type
E6 with maximal compact subgroup of type F4 . The Kac diagram is
0

• ◦ ks ◦ ◦
We denote by τ the nontrivial automorphism of the Dynkin diagram D = E6 . We erase
3

6

vertex 0 and the other “short” vertex of the Kac diagram. We obtain D τ = ◦ ◦ and
#Orb(D τ ) = 2. The orbit of zero in L(D τ ) consists of one labeling 0 of D τ . The
equivalence class of zero in L(D)τ consists of the labelings whose restriction to D τ is
0.
11.5. The split group EI of type E6 . This is an outer form of the compact group of
type E6 with maximal compact subgroup of type C4 . The Kac diagram is
0

◦ ◦ ks ◦ •
We erase vertex 0 and the other “short” vertex of the Kac diagram. We obtain (D τ , t) =
3

6

◦ •.

The augmented diagram is
3

6

◦ ◦

1
We have
= 2. The orbit of zero in L(D τ , t) consists of the labelings with one
component (including the boxed 1). The equivalence class of zero in L(D)τ consists
of the labelings a such that either a3 = 0 or a6 = 1.
Note that H 1 (R, EI) was earlier computed by B. Conrad [Co16, Proof of Lemma 4.9].
#Orb(D τ , t)

REAL GALOIS COHOMOLOGY

31

12. Groups of type E7
(0)

12.1. The the compact group of type E7 . The Dynkin diagram is
2

1

3

4

5

6

◦ ◦ ◦ ◦ ◦ ◦
◦7
(0)

Proposition 12.1 (Weng [W11]). The diagram E7 has 4 orbits. The orbits are:
1. The orbit of zero consisting of the fixed labeling 0.
2. The fixed labeling
ℓ3 = 1 0 1 0 0 0
1
3. The orbit consisting of the labelings with 1 or 3 components excluding the fixed
labeling ℓ3 , with representative
ℓ1 =

1 0

0

0 0 0
0
4. The orbit consisting of all the labelings with 2 or 4 components, with representative
ℓ2 =

0 0

1

0
1

0

0

Remark 12.2. By a lemma of Chih-wen Weng [W11], for any (uncolored) simply-laced
tree (not necessarily a Dynkin diagram) containing E6 as a subgraph, any movable (nonfixed) labeling is equivalent either to a labeling with one component or to a labeling with
two components.
(7)

12.2. The split group EV with twisting diagram E7 . A maximal compact subgroup
is of type A7 . The twisting diagram and the augmented diagram are:
1

2

3

4

5

1

6

2

3

4

5

6

◦ ◦ ◦ ◦ ◦ ◦
◦

◦ ◦ ◦ ◦ ◦ ◦
•7

1

(see [OV90, Table 7] and Construction 5.3).
(7)

Proposition 12.3. The diagram E7 has 2 orbits. The orbits are:
1. The orbit of zero is the orbit consisting of all the labelings with 1 or 3 components
(including the boxed 1).
2. The orbit consisting of all the labelings with 2 or 4 components (including the boxed
1), with representative
m3 =

0

1 0

1
0
1

0

1 .

Note that H 1 (R, EV ) was earlier computed by B. Conrad [Co16, Proof of Lemma 4.9].
(2)

12.3. The group EV I with twisting diagram E7 . A maximal compact subgroup is
of type A1 D6 . The twisting diagram and augmented diagram are:
1

2

3

4

5

6

◦ • ◦ ◦ ◦ ◦
◦7
(see [OV90, Table 7] and Construction 5.3).

1

2

3

4

5

6

◦ ◦ ◦ ◦ ◦ ◦
1
◦7

32

MIKHAIL BOROVOI AND ZACHI EVENOR
(2)

Proposition 12.4. The diagram E7 has 4 orbits. The orbits are:
1. The orbit of zero consisting of the labelings with 1 or 3 or 5 components (including the boxed 1), excluding the fixed labeling ℓ′2 (see below).
2. The fixed labeling
ℓ′1 = 1 0 0 0 0 0
0
1
3. The fixed labeling
ℓ′2 = 0 0 1 0 0 0
1
1
4. The orbit consisting of the labelings with 2 or 4 components (including the boxed
1) excluding the fixed labeling ℓ′1 , with representative
ℓ′3 =

1 0
1

1

0
1

0

0

Note that H 1 (R, EV I) was earlier computed by Garibaldi and Semenov [GS10, Example
5.1] by a different method.
(1)

12.4. The group EV II of Hermitian type with twisting diagram E7 . A maximal
compact subgroup is of type E6 T 1 . The twisting diagram and augmented diagram are:
1

2

3

4

5

6

• ◦ ◦ ◦ ◦ ◦
◦7

1

1

2

3

4

5

6

◦ ◦ ◦ ◦ ◦ ◦
◦7

(see [OV90, Table 7] and Construction 5.3).
(1)

Proposition 12.5. The diagram E7 has 2 orbits. The orbits are:
1. The orbit of zero consisting of all the labelings with 1 or 3 components (including
the boxed 1).
2. The orbit consisting of all the labelings with 2 or 4 components (including the boxed
1), with representative
m′3 =

0

1

1

0 1
0

0

1

13. Groups of type E8
(0)

13.1. The compact group of type E8 . The Dynkin diagram is
1

2

3

4

5

6

7

◦ ◦ ◦ ◦ ◦ ◦ ◦
◦8
(0)

Proposition 13.1 (Reeder [R05]). The diagram E8

has 3 orbits. The orbits are:

1. The orbit of zero which contains only 0.
2. The orbit consisting of all the labelings with odd number of components, with representative
ℓ3 = 0 1 0 1 0 0 0 .
1
3. The orbit consisting of all the labelings with nonzero even number of components,
with representative
ℓ2 =

0

0

0

0

0 1
1

0 .

REAL GALOIS COHOMOLOGY

33
(7)

13.2. The split group EV III with twisting diagram E8 . A maximal compact subgroup is of type D8 . The twisting diagram and the augmented diagram are:
1

2

3

4

5

6

7

2

1

◦ ◦ ◦ ◦ ◦ ◦ •
◦8

3

4

5

6

7

◦ ◦ ◦ ◦ ◦ ◦ ◦
◦8

1

(see [OV90, Table 7] and Construction 5.3).
(7)

Proposition 13.2. The diagram E8 has 3 orbits. The orbits are:
1. The orbit of zero consisting of the labelings with odd number of components
(including the boxed 1), excluding the fixed labeling ℓ′2 .
2. The fixed labeling
ℓ′2 =

0 0

0 1 0 1
1
3. The orbit consisting of all the labelings with even number of components, with
representative
m3 = 0 1 0 1 0 1 0 1
0
0

0

(1)

13.3. The group EIX with twisting diagram E8 . A maximal compact subgroup is
of type A1 E7 . The twisting diagram and the augmented diagram are:
1

2

3

4

5

6

7

• ◦ ◦ ◦ ◦ ◦ ◦
◦8

1

2

3

4

5

6

7

◦ ◦ ◦ ◦ ◦ ◦ ◦
◦8

1

(see [OV90, Table 7] and Construction 5.3).
(1)

Proposition 13.3. The diagram E8 has 3 orbits. The orbits are:
1. The orbit of zero consisting of all the labelings with odd number of components
(including the boxed 1).
2. The fixed labeling
ℓ′3 =

1

0 1

0

1

m′3 =

1

0 1

0

1

0 0 0
1
3. The orbit consisting of the labelings with even number of components, excluding
the fixed labeling ℓ′3 , with representative
0
0

1 0

14. Groups of type F4
(0)

14.1. The compact group of type F4 . The Dynkin diagram is
1

2

3

4

◦ ◦ ks ◦ ◦ .
(0)

Proposition 14.1. The diagram F4 has 3 orbits. The orbits are:
1. The orbit of zero which contains only
2. The orbit
{ 1−0 ⇐ 0−0 ,

0−0 ⇐ 0−0 .

1−1 ⇐ 0−0 ,

0−1 ⇐ 0−0 } .

3. The orbit that contains the rest, with representative ℓ2 = 1−0 ⇐ 1−0 .

34

MIKHAIL BOROVOI AND ZACHI EVENOR
(4)

14.2. The split group F I with twisting diagram F4 . A maximal compact subgroup
is of type C3 A1 . The twisting diagram and the augmented diagram are:
2

1

3

4

1

◦ ◦ ks ◦ •

2

3

4

◦ ◦ ks ◦ ◦

1

(see [OV90, Table 7] and Construction 5.3).
(4)

Proposition 14.2. The diagram F4 has 3 orbits. The orbits are:
1. The orbit of zero which consists of the labelings of the form a ⇐ a′ , where
1

a ∈ L( ◦

3

2

4

a′ ∈ L( ◦

◦ ),

◦

1 ),

and a′ has only one component.
2. The fixed labeling ℓ′2 = 1−0 ⇐ 1−0− 1 .
3. The orbit
{ 0−0 ⇐ 1−0− 1 ,

0−1 ⇐ 1−0− 1 ,

1−1 ⇐ 1−0− 1 } .

(1)

14.3. The group F II with twisting diagram F4 . A maximal compact subgroup is
of type B4 . The twisting diagram and the augmented diagram are:
2

1

3

4

• ◦ ks ◦ ◦

1

1

2

3

4

◦ ◦ ks ◦ ◦

(see [OV90, Table 7] and Construction 5.3).
(1)

Proposition 14.3. The diagram F4 has 3 orbits. The orbits are:
1. The orbit of zero consisting of
{ 1 −0−0 ⇐ 0−0 ,

1 −1−0 ⇐ 0−0 ,

1 −1−1 ⇐ 0−0 } .

ℓ′1

2. The fixed labeling
= 1 −0−1 ⇐ 0−0 .
3. The orbit that contains the rest, with representative ℓ′3 =

1 −1−1 ⇐ 1−0 .

15. Groups of type G2
(0)

15.1. The compact group of type G2 . The Dynkin diagram is
1

2

◦ ❴jt ◦ .
(0)

The description of orbits is similar to the case A2 , because 3 ≡ 1 (mod 2). We have
(0)
#Orb(G2 ) = 2. The two orbits are
{ 0−0 }

and

{ 1−0 ,

1−1 ,

0−1 } .

(2)

15.2. The split group with twisting diagram G2 . A maximal compact subgroup is
of type A1 A1 . The twisting diagram and the augmented diagram are:
1

2

◦ ❴jt •

1

2

◦ ❴jt ◦

1

(see [OV90, Table 7] and Construction 5.3). The description of orbits is similar to the
(2)
(2)
case A2 . We have #Orb(G2 ) = 2. The two orbits are
{ 0−0− 1 ,

0−1− 1 ,

1−1− 1 }

and

{ 1−0− 1 } .

16. Connected components in real homogeneous spaces
Let G be a simply connected absolutely simple algebraic group over R. Let H ⊂ G be
a simply connected semisimple R-subgroup. Set X = G/H. In this section we describe
our method of calculation of the number of connected components #π0 (X(R)), and give
examples.

REAL GALOIS COHOMOLOGY

35

16.1. Triple (D, τ, t). Let G be a simply connected absolutely simple R-group.
If G is an outer form of a compact group G0 , we can write G = tτ G0 as in Section 4,
where τ is an automorphism of order 2 of the Dynkin diagram D of GC . The element
t ∈ T ad (R)2 defines a coloring t of D τ , and we may assume that the coloring comes from
a Kac diagram. We obtain a triple (D, τ, t).
If G is an inner form of a compact group G0 , we can write G = t G0 as in Section 3,
and the element t ∈ T ad (R)2 defines a coloring t of D. In this case we set τ = 1, then
again t is a coloring of D τ , and again we may assume that the coloring comes from a Kac
diagram. Again we obtain a triple (D, τ, t).
∼
In both cases we have the bijection (25) Cl(D, τ, t) → H 1 (R, G).
16.2. Describing the connected components. Let H be a simply connected semisimple R-subgroup of a simply connected absolutely simple R-group G. We do not assume
that H is simple and that H and G are inner forms of compact groups.
Let H = H1 × · · · × Hr be the decomposition of H into the product of simple R-groups.
We may and shall assume that each Hi is absolutely simple. Let TH be a fundamental
Q
torus of H, i.e., a maximal torus containing a maximal compact torus. Then TH = i Ti
where each Ti ⊂ Hi is a fundamental torus of Hi . We present Hi as a twisted form of
a compact group as in Subsection 16.1 and obtain a triple (Di , τi , ti ), where Di is the
Dynkin diagram of Hi , τi is an automorphism of Di with τi2 = 1, and ti is a coloring
τi ∼
of Diτi . Then we
i (disjoint
Q have an isomorphism L(Di ) → Ti (R)2 . We set DH = ⊔i DL
union), τH = i τi ∈ Aut(D) (direct product of automorphisms), L(DH ) =
i L(Di ),
L
∼
τ
τ
τ
i
H
H
→ TH (R)2 . We
then L(DH ) =
i L(Di ) , and we have an isomorphism L(DH )
τH
have a coloring tH of DH
: a vertex v ∈ Di ⊂ DH is black in DH if and only if it
is black in Di . We write also L(DH , τH , tH ) for L(DH ). We define Cl(DH , τH , tH ) to
Q
∼
be i Cl(Di , τi , ti ), then we have a bijection Cl(DH , τH , tH ) → H 1 (R, H). Using results
of Sections 7–15, for each i we find a set of representatives
Ξi ⊂ L(Di , τi , ti )τi of all
Q
equivalence classes in Cl(Di , τi , ti ). We set Ξ = i Ξi ⊂ L(DH , τH , tH )τH , then Ξ is a
set of representatives of all equivalence classes in Cl(DH , τH , tH ), i.e., the composite map
Ξ ֒→ L(DH , τH , tH )τH → Cl(DH , τH , tH ) is bijective.
Let TG be a fundamental torus of G. We may and shall assume that TH ⊂ TG . We
present G as a twisted form of a compact R-group, then we have a triple (DG , τG , tG ).
Using results of Sections 7–15, we compute the class of zero [0]G ⊂ L(DG , τG , tG )τG .
The embedding TH (R)2 ֒→ TG (R)2 induces an injective homomorphism
ι : L(DH )τH → L(DG )τG ,
which can be computed explicitly. Let Ξ0 denote the preimage in Ξ of [0]G ⊂ L(DG , τG , tG )τG
under the map Ξ ֒→ L(DH , τH , tH )τH → L(DG , τG , tG )τG , see the commutative diagram:
Ξ

/ L(DH , τH , tH )τH

/ Cl(DH , τH , tH )

∼

/ H 1 (R, H)

ι



L(DG , τG , tG )τG


/ Cl(DG , τG , tG )

∼


/ H 1 (R, G)



We see that Ξ0 is in a bijection with ker H 1 (R, H) → H 1 (R, G) , and therefore, the
cardinality of Ξ0 answers Questions 0.2 and 0.1.
16.3. Generalities on reductive groups and Galois cohomology. Let G be a simply
connected semisimple algebraic R-group, H ⊂ G be an R-subgroup. The group G(R) of
R-points acts on the left on (G/H)(R).
Lemma 16.1. Any orbit of G(R) in (G/H)(R) is a connected component of (G/H)(R).

36

MIKHAIL BOROVOI AND ZACHI EVENOR

Proof. Write X = G/H. Let x ∈ X(R), then we have a map
φx : G(R) → X(R),

g 7→ g · x.

The differential of φx at any point g ∈ G(R) is surjective, hence by the implicit function
theorem the map φx is open, hence the orbits of G(R) in X(R) are open, hence they are
open and closed. Since G is semisimple and simply connected, by [BT72, Corollary 4.7] or
[PR94, Proposition 7.6] the group G(R) is connected, hence the orbits of G(R) in X(R)
are connected, hence they are the connected components of X(R).

Lemma 16.2. Let ϕ : S → T be a homomorphism of k-tori over an algebraically closed
field k (of arbitrary characteristic), and let ϕ∗ : X∗ (S) → X∗ (T ) denote the induced homomorphism of the cocharacter groups. Then
∼

(i) There is a canonical isomorphism Hom( (X∗ (ker ϕ))tors , Q/Z) → (coker ϕ∗ )tors ,
where by Ators we denote the torsion subgroup of an abelian group A.
(ii) # (coker ϕ∗ )tors = # (X∗ (ker ϕ))tors .
Proof. Set T1 = im ϕ, then T1 is a subtorus of T , and there exists a subtorus T2 ⊂ T
such that T = T1 ×k T2 . Let ϕ1 : S → T1 be the canonical surjective homomorphism, then
coker ϕ∗ = coker ϕ1,∗ ⊕ X∗ (T2 ), whence
∼ (coker ϕ1,∗ )tors .
(coker ϕ∗ )tors =
Therefore, we may assume that ϕ is surjective. Write K = ker ϕ. From the short exact
sequence
ϕ
1 → K → S −−→ T → 1
we obtain a short exact sequence
ϕ∗

0 → X∗ (T ) −−→ X∗ (S) → X∗ (K) → 0,
whence, by taking Hom(·, Z), we obtain an exact sequence for the functor ExtZ (see e.g.
[ML63, Theorem III.3.2])
ϕ∗

Hom(X∗ (S), Z) −−→ Hom(X∗ (T ), Z) → Ext1Z (X∗ (K), Z) → Ext1Z (X∗ (S), Z) = 0,
where the last equality follows from the fact that X ∗ (S) is a free abelian group. We have
Hom(X∗ (S), Z) = X∗ (S) and Hom(X∗ (T ), Z) = X∗ (T ). For a finitely generated abelian
group A we have Ext1Z (A, Z) = Hom(Ators , Q/Z) [ML63, Exercise 4 in Section III.9],
whence
(coker ϕ∗ )tors = coker ϕ∗ = Ext1Z (X ∗ (K), Z) = Hom(X∗ (K)tors , Q/Z),
which proves (i), and (ii) follows immediately.



Corollary 16.3. Let ϕ : H → G be a homomorphism of reductive C-groups with finite
kernel. Let TH ⊂ H and T ⊂ G be maximal tori such that ϕ(TH ) ⊂ T . Let ϕ∗ : X∗ (TH ) →
X∗ (T ) denote the induced homomorphism of the cocharacter groups. Then # ker[ϕ : H →
G] = # (coker ϕ∗ )tors .
Proof. Write K = ker ϕ = ker[TH → T ], then
# ker[ϕ : H → G] = #K = #X∗ (K) = # (coker ϕ∗ )tors ,
where the last equality follows from Lemma 16.2(ii).



Construction 16.4. Let G be a simply connected absolutely simple R-group. Let T ⊂ G
be a fundamental torus, R = R(GC , TC ) be the root system, Π ⊂ R be a basis, D =
D(R, Π) be the Dynkin diagram. We may and shall assume that G = tτ G0 , where G0 is a
compact group, τ ∈ (Aut D)2 , and t ∈ T ad (R)2 , see Section 4. Let ΠH ⊂ Π be a τ -invariant
subset, and let RH ⊂ R denote the subset consisting of integer linear combinations of
simple roots α ∈ ΠH (then RH is a root system with basis ΠH ). Let H1 denote the

REAL GALOIS COHOMOLOGY

37

algebraic subgroup of GC generated by TC and the unipotent “root” subgroups Uβ for all
roots β ∈ RH . Let H denote the derived subgroup of H1 . Then by [MT, Proposition
12.6] H is a semisimple group with root system RH . Since G is simply connected, by
[MT, Proposition 12.14] H is simply connected as well. Since the complex conjugation ρ
acts on R by ρ(β) = −τ (β) for β ∈ R, the subset RH of R is ρ-invariant, and hence, the
subgroups H1 and H are defined over R.
Lemma 16.5. Let

ψ

1 → A → B −−−→ C → 1
be a short exact sequence of algebraic R-groups, where A is finite and central in B. If the
order #A(C) of A(C) is odd, then the induced map
ψ∗ : H 1 (R, B) → H 1 (R, C)
is bijective.
Proof. Since A is central, we have a cohomology exact sequence
ψ∗

C(R) → H 1 (R, A) → H 1 (R, B) −−→ H 1 (R, C) → H 2 (R, A);
see [Se94, I.5.7, Proposition 43]. Since #Gal(C/R) = 2 and #A(C) is odd, by [AW67,
Section 6, Corollary 1 of Proposition 8] we have H 1 (R, A) = 1 and H 2 (R, A) = 1. It follows
that the map ψ∗ is surjective and that ker ψ∗ = 1. We show that any fiber of ψ∗ contains
only one element. Indeed, let β ∈ H 1 (R, B) and let b ∈ Z 1 (R, B) be a cocycle representing
β. By [Se94, I.5.5, Corollary 2 of Proposition 39], the fiber ψ∗−1 (ψ∗ (β)) is in a bijection
with the quotient of H 1 (R, A) by an action of the group b C(R). Since H 1 (R, A) = 1, our
fiber ψ∗−1 (ψ∗ (β)) indeed contains only one element. Thus ψ∗ is bijective.

In Subsections 16.4 – 16.7 we give examples of calculations of #π0 ( (G/H)(R) ) using
results of Sections 7–15.
16.4. Example with E7 . Let G = EV , the split simply connected simple R-group with
(7)
compact maximal torus T , of type E7 with twisting diagram and augmented diagram
1

2

3

4

5

6

◦ ◦ ◦ ◦ ◦ ◦
◦

◦ ◦ ◦ ◦ ◦ ◦
•7

1

see Subsection 12.2. Let ΠG = {α1 , . . . , α7 } be the simple roots (numbered as on the
twisting diagram above). We remove vertex 3. Set ΠH = ΠG r {α3 }, and let H be
the corresponding semisimple R-subgroup, see Construction 16.4, with maximal torus TH
(0)
(1)
(contained in T ) and with twisting diagram of type A2 ⊔ A4

◦ ◦

◦ ◦ ◦
•

◦ ◦

◦ ◦ ◦
◦

and augmented diagram:

1

Then the semisimple group H is simply connected, see Construction 16.4. We have
(0)
H = H1 ×H2 , where H1 is a compact groups of type A2 and H2 is a twisted (noncompact)
(1)
(0)
group of type A4 . By Subsection 7.1, for H1 we have #Orb(A2 ) = 2 with a set of
representatives
Ξ1 = { 0−0, 1−0 }.

38

MIKHAIL BOROVOI AND ZACHI EVENOR
(1)

By Subsection 7.2, for H2 we have #Orb(A4 ) = 3 with a set of representatives
Ξ2 = { 1 −0−0−0−0,
(0)

1 −0−1−0−0,

(1)

1 −0−1−0−1 }.

(0)

(1)

We set Ξ = Ξ1 × Ξ2 ⊂ L(A2 ⊔ A4 ) = L(A2 ) × L(A4 ), hence #Ξ = 2 · 3 = 6. We
write down Ξ:
1 −0−0−0−0
1 −0−1−0−0
1 −0−1−0−1
1 −0−0−0−0
1 −0−1−0−0
1 −0−1−0−1

0−0
0−0
0−0
1−0
1−0
1−0

(7)

We must compute the subset Ξ0 of Ξ consisting of the labelings whose images in L(E7 )
(0)
(1)
(7)
are contained in the orbit of zero [0]. The homomorphism L(A2 ⊔ A4 ) → L(E7 ) is
(0)
(1)
(7)
(7)
induced by the embedding A2 ⊔ A4 ֒→ E7 . By Subsection 12.2 the labelings of E7
in the orbit of zero are those with 1 or 3 components (including the boxed 1). Thus Ξ0
(0)
(1)
consists of the following labelings of A2 × A4 :
1 −0−0−0−0
1 −0−1−0−1
1 −0−1−0−0

0−0
0−0
1−0
We conclude that



#π0 ( (G/H)(R) ) = # ker H 1 (R, H) → H 1 (R, G) = #Ξ0 = 3.

Similar calculations show that if we remove vertex 2 instead of vertex 3, then #π0 ( (G/H)(R) ) =
2, and if we remove vertex 1 instead of vertex 3, then #π0 ( (G/H)(R) ) = 1, i.e. (G/H)(R)
will be connected.
16.5. Examples with Spin∗ (2n). Let G = Spin∗ (2n) (n ≥ 4), the simply connected
(n)
“quaternionic” R-group of type Dn with twisting diagram and augmented diagram
1

◦

···

n−3

◦

n−2

n−1

◦
•n

◦

◦

···

◦ ◦ ◦
◦
1

see Subsection 10.3. Let ΠG = {α1 , . . . , αn } be the simple roots (numbered as on the
twisting diagram above). We remove vertex n − 1. Set ΠH = ΠG r {αn−1 }, and let H be
the corresponding semisimple R-subgroup, see Construction 16.4, with twisting diagram
(1)
of type An−1
1

◦

n−2

n

◦

···

•

and augmented diagram
1

◦

···

n−2

◦

n

◦

1 .

Then the semisimple R-subgroup H is simply connected, see Construction 16.4. By Sub(1)
section 7.2 we can take for representatives of orbits in L(An−1 ) the set
Ξ = {ηi | 1 ≤ i ≤ ⌈n/2⌉} ,

REAL GALOIS COHOMOLOGY

39

where ηi denotes the labeling with i components (including the boxed 1) maximally packed
(n)
to the right. By Subsection 10.3, the orbit of zero in L(Dn ) is the set of labelings with
odd number of components (including the boxed 1). Thus
Ξ0 = {ηi | 1 ≤ i ≤ ⌈n/2⌉ , i is odd} .
We see that #Ξ0 is the number of odd numbers i between 1 and ⌈n/2⌉, i.e., #Ξ0 = ⌈n/4⌉.
We conclude that
#π0 ( (G/H)(R) ) = # ker[H 1 (R, H) → H 1 (R, G)] = #Ξ0 = ⌈n/4⌉ .
Now, instead of removing vertex n − 1, let us remove vertex m with 1 ≤ m ≤ n − 2:
1

◦

···

m−1

m+1

◦

◦

···

n−3

◦

n−2

◦
•n

n−1

◦

(0)

We obtain a subgroup H = H1 × H2 , where H1 is of type Am−1 (where m − 1 = 0 is
(n−m)

possible) and H2 is of type Dn−m
removed vertex we can take

(where n − m = 2 is possible). On the left of the

Ξ1 = {ξk | 0 ≤ k ≤ ⌈(m − 1)/2⌉}
(0)

for representatives of orbits in L(Am−1 ), see Subsection 7.1. On the right of the removed
vertex we can take
Ξ2 = {ℓ1 , ℓ2 }
(n−m)

for representatives of orbits in L(Dn−m ) (where the labeling ℓ1 has one component and
ℓ2 has two components, including the boxed 1), see Subsection 10.3. By Subsection 10.3
(n)
applied to G, the orbit of zero in L(Dn ) is the set of labelings with odd number of
components (including the boxed 1). Now with any ξk ∈ Ξ1 we associate the pair (ξk , ℓ) ∈
Ξ1 × Ξ2 , where ℓ is either ℓ1 or ℓ2 such that the total number of components in ξk and ℓ
∼
is odd. We obtain a bijection Ξ1 → Ξ0 . Thus in this case
#π0 ( (G/H)(R) ) = # ker[H 1 (R, H) → H 1 (R, G)]
= #Ξ0 = #Ξ1 = ⌈(m − 1)/2⌉ + 1 = ⌈(m + 1)/2⌉.
In particular, if m = n − 2, we obtain #π0 ( (G/H)(R) ) = ⌈(n − 1)/2⌉.
16.6. Example with Spin(2m+1, 2n+1). Let G = Spin(2m+1, 2n+1) (m ≥ 2, n ≥ 3),
which is an outer form of a compact group. The Kac diagram of G is
0

1

◦ ks ◦

···

m

•

···

ℓ−1

◦

ℓ
3+ ◦
,

see Subsection 10.4 where ℓ = m + n, see [OV90, Table 7]. We write G = tτ G0 as in
Construction 16.4. We remove the τ -stable vertex m + n − k (2 ≤ k < n) of the Dynkin
diagram and denote the obtained semisimple C-subgroup by H, then by Construction 16.4
the subgroup H is simply connected and defined over R, and we have H = SU(m, n −
k) × Spin(2k + 2). We are interested in π0 ( (G/H)(R) ). By Theorem 4.6 applied to G
∼
and H we have a bijection π0 ( (G′ /H ′ )(R) ) → π0 ( (G/H)(R) ), where G′ = SU(m, n)
(m)
(m)
of type Am+n−1 and H ′ = H1 × H2 with H1 = SU(m, n − k) of type Am+n−k−1 and
(0)

H2 = SU(k) of type Ak−1 . Although probably one can compute #π0 ( (G′ /H ′ )(R) ) using
real algebraic geometry, we compute this number using Galois cohomology. Namely, for
(m)
H1 of type Am+n−k−1 we can take
Ξ1 = {(p|0) | 0 ≤ p ≤ ⌈(m − 1)/2⌉} ∪ {(0|q) | 1 ≤ q ≤ ⌈(n − k − 1)/2⌉}

40

MIKHAIL BOROVOI AND ZACHI EVENOR
(0)

(m)

for representatives of orbits in L(Am+n−k−1 ), see Subsection 7.2. For H2 of type Ak−1 we
can take
Ξ2 = {ξi | 0 ≤ i ≤ ⌈(k − 1)/2⌉}
(0)

for representatives of orbits in L(Ak−1 ), see Subsection 7.1. For G′ , the orbit of zero in
(m)

L(Am+n−1 ) is the set of labelings with the same number of components on the left and
on the right of m, see Subsection 7.2. Thus
Ξ0 = {((p|0), ξp ) ∈ Ξ1 × Ξ2 }.
Here 0 ≤ p ≤ ⌈(m − 1)/2⌉, 0 ≤ p ≤ ⌈(k − 1)/2⌉, hence
#Ξ0 = 1 + min(⌈(m − 1)/2⌉, ⌈(k − 1)/2⌉) = min(⌈(m + 1)/2⌉, ⌈(k + 1)/2⌉).
We conclude that
#π0 ( (G/H)(R) ) = #π0 ( (G′ /H ′ )(R) ) = #Ξ0 = min(⌈(m + 1)/2⌉, ⌈(k + 1)/2⌉).
(7)

16.7. Example with E8 . Let G = EV III, the split form E8
maximal torus T , with Kac diagram and augmented diagram
0

1

2

3

4

5

6

7

◦ ◦ ◦ ◦ ◦ ◦ ◦ •
◦8

of E8 with compact

◦ ◦ ◦ ◦ ◦ ◦ ◦
◦

1

see Subsection 13.2. In this example, in contrast to the two previous examples, we construct an R-subgroup H of G of the same rank, and not of smaller rank. We remove vertex
4 from the Kac diagram (the extended Dynkin diagram), and we do not erase vertex 0.
This means that we consider the semisimple C-subgroup H of G, generated by TC and
the unipotent “root” subgroups Uβ with β ∈ RH , where RH is the set of β ∈ R that are
integer linear combinations of the roots αi , 0 ≤ i ≤ 8, i 6= 4, where α1 , . . . , α8 are the
simple roots and α0 is the lowest root. Since −RH = RH , the C-subgroup H is defined
over R. We obtain a maximal connected algebraic subgroup H of G [GOV94, Table 5]
with twisting diagram
0

1

2

3

◦ ◦ ◦ ◦

5

6

7

◦ ◦ •
◦8

and augmented diagram
(43)

◦ ◦ ◦ ◦

◦ ◦ ◦
◦

1

e denote
We compute the fundamental group π1 (HC ) of the semisimple group H. Let H
the universal covering of H. Consider the composite morphism
e → H → G,
ϕ: H

e such that ϕ(TeH ) = T . We denote by
and let TeH denote the maximal torus of H
e
ϕ∗ : X∗ (TH ) → X∗ (T ) the induced homomorphism of the cocharacter groups. The cocharacter group X∗ (TeH ) has a basis
(44)

∨
∨
∨ c
∨
∨
∨
∨
∨
α∨
0 , α1 , α2 , α3 , α4 , α5 , α6 , α7 , α8 ,

c∨ means that α∨ is removed from the list. The cocharacter group X∗ (T ) has a
where α
4
4
∨
basis α1 , . . . , α∨
8 , while the subgroup im ϕ∗ ⊂ X∗ (T ) is generated by the cocharacters (44).
∨
∨
There is a linear relation between α∨
0 , α1 , . . . , α8 , in which the removed simple coroot
∨
∨
α4 appears with coefficient 5, while α0 appears with coefficient 1; see [OV90, Table 6]
or [Bou68, Planche VII, (IV)]. We see that im ϕ∗ ⊂ X∗ (T ) contains α∨
i for i 6= 4, and it
∨ . Thus im ϕ is a subgroup of index 5 in X (T ). By Corollary
,
but
not
α
contains 5α∨
∗
∗
4
4

REAL GALOIS COHOMOLOGY

41

e → H is of order 5, hence π1 (HC ) is of
16.3 the kernel of the canonical epimorphism H
order 5.
e → H 1 (R, H)
Since the order 5 of ker ϕ is odd, by Lemma 16.5 the induced map H 1 (R, H)
is bijective, whence
e → H 1 (R, G)].
# ker[H 1 (R, H) → H 1 (R, G)] = # ker[H 1 (R, H)

e → H 1 (R, G)]. We have H
e =H
e1 × H
e 2 , where H
e 1 is compact
We compute # ker[H 1 (R, H)
(0)
(4)
e 2 is of type A . By Subsection 7.1 we can take
of type A4 and H
4
Ξ1 = { 0−0−0−0,

1−0−0−0,

1−0−1−0 }

(0)

as a set of representatives of orbits in L(A4 ). By Subsection 7.2 we can take
Ξ2 = { 0−0−0−0− 1 ,

0−0−1−0− 1 ,

1−0−1−0− 1 }

(4)

as a set of representatives of orbits in L(A4 ). Set Ξ = Ξ1 × Ξ2 . We denote Ξ0 the
(7)
preimage in Ξ of the orbit of zero in L(E8 ). By Subsection 13.2 the orbit of zero [0] ⊂
(7)
L(E8 ) consists of the labelings with odd number of components (including the boxed 1),
excluding the fixed labeling ℓ′2 . The subset of Ξ consisting of labelings with odd number
of components has the following 5 labelings:
0−0−0−0
0−0−0−0
0−0−0−1
0−1−0−1
0−1−0−1
and one of them ( 0−0−0−0
We conclude that

0−0−0−0− 1
1−0−1−0− 1
0−0−1−0− 1
0−0−0−0− 1
1−0−1−0− 1

1−0−1−0− 1 ) is the preimage of ℓ′2 . We see that Ξ0 = 4.

#π0 ( (G/H)(R) ) = # ker[H 1 (R, H) → H 1 (R, G)]
e → H 1 (R, G)] = #Ξ0 = 4.
= # ker[H 1 (R, H)

Acknowledgements. The authors are very grateful to Dmitry A. Timashev for his help
in proving Lemma 3.1 and also for reading Subsection 5.2 and correcting an inaccuracy.
We thank the anonymous referee for careful reading the paper and for his/her comments,
which helped to improve the exposition. We note that Erwann Rozier computed in 2009
the cardinalities #Orb( t D) for some colored graphs t D (in particular, for all Dynkin
diagrams and twisting diagrams) under the guidance of the first-named author.
References
[A13]
[AW67]

J. Adams, Galois and θ cohomology of real groups, arXiv:1310.7917[].
M. F. Atiyah and C. T. C. Wall, Cohomology of groups, in: Algebraic Number Theory, edited by J.
W. S. Cassels and A. Fröhlich, Academic Press, London; Thompson Book Co., Inc., Washington,
D.C., 1967.
[BS64]
A. Borel et J.-P. Serre, Théorèmes de finitude en cohomologie galoisienne, Comment. Math.
Helv. 39 (1964), 111–164.
[BT72] A. Borel et J. Tits, Compléments à l’article: “Groupes réductifs”, Inst. Hautes Études Sci. Publ.
Math. 41 (1972), 253–276.
[Bo88]
M. V. Borovoi, Galois cohomologies of real reductive groups, and real forms of simple Lie algebras,
Functional Anal. Appl. 22:2 (1988), 135–136.
[Bo14]
M. Borovoi, Galois cohomology of reductive algebraic groups over the field of real numbers,
arXiv:1401.5913[].
[BKLR] M. Borovoi, B. Kunyavskiı̆, N. Lemire, and Z. Reichstein, Stably Cayley groups in characteristic
zero, Int. Math. Res. Not. IMRN 2014, 5340–5397.

42

MIKHAIL BOROVOI AND ZACHI EVENOR

[BT15]

M. Borovoi and D. A. Timashev, Galois cohomology of real semisimple groups,
arXiv:1506.06252[].
[Bou68] N. Bourbaki, Groupes et algèbres de Lie, Chap. IV–VI, Hermann, Paris, 1968.
[Ca72]
R. W. Carter, Simple Groups of Lie Type, Pure and Applied Mathematics, Vol. 28, John Wiley
& Sons, London, 1972.
[Co14]
B. Conrad, Reductive group schemes, Autour des schémas en groupes. Vol. I, 93–444, Panor.
Synthèses, 42/43, Soc. Math. France, Paris, 2014.
[Co16]
B. Conrad, Non-split reductive groups over Z, Autour des schémas en groupes. Vol. II,193–253,
Panor. Synthèses, 46, Soc. Math. France, Paris, 2016.
[DG70] M. Demazure et A. Grothendieck (Eds.), Séminaire de géométrie algébrique du Bois Marie 1962–
64, Schémas en groupes (SGA3), Lecture Notes Math., vol. 151, 152, 153, Springer-Verlag,
Berlin–New York, 1970. Re-edition: Documents Mathématiques 7,8, Soc. Math. France, Paris,
2011.
[GS10] S. Garibaldi and N. Semenov, Degree 5 invariant of E8 , Int. Math. Res. Not. IMRN 2010,
3746–3762.
[GOV94] V. V. Gorbatsevich, A. L. Onishchik, and E. B. Vinberg, Structure of Lie groups and Lie algebras,
Lie Groups and Lie Algebras III, Encyclopaedia of Mathematical Sciences, Vol. 41, SpringerVerlag, Berlin, 1994.
[He78]
S. Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces, Pure and Applied Mathematics, 80, Academic Press, New York-London, 1978.
[Kac69] V. G. Kac, Automorphisms of finite order of semisimple Lie algebras, Functional Anal. Appl.,
3:3 (1969), 252–254.
[Ko86]
R. E. Kottwitz, Stable trace formula: elliptic singular terms, Math. Ann. 275 (1986), 365–399.
[ML63] S. Mac Lane, Homology, Grundlehren der mathematischen Wissenschaften, Bd. 114, Academic
Press, New York; Springer-Verlag, Berlin-Göttingen-Heidelberg, 1963.
[MT]
G. Malle and D. Testerman, Linear Algebraic Groups and Finite Groups of Lie Type, Cambridge
Studies in Advanced Mathematics, 133, Cambridge University Press, Cambridge, 2011.
[OV90] A. L. Onishchik and E. B. Vinberg, Lie Groups and Algebraic Groups, Springer Series in Soviet
Mathematics, Springer-Verlag, Berlin, 1990.
[PR94] V. Platonov and A. Rapinchuk, Algebraic Groups and Number Theory, Pure and Applied Mathematics, 139, Academic Press, Boston, MA, 1994.
[R05]
M. Reeder, Level-two structure of simply-laced Coxeter groups, J. Algebra 285 (2005), 29–57.
[Se94]
J.-P. Serre, Cohomologie galoisienne, LNM 5, 5-ème ed., Springer-Verlag, Berlin, 1994.
[Sp79]
T. A. Springer, Reductive groups, in: Automorphic Forms, Representations and L-functions
(Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 1, pp. 3-27, Proc.
Sympos. Pure Math. 33, Amer. Math. Soc., Providence, RI, 1979.
[Sp98]
T. A. Springer, Linear Algebraic Groups, Second ed., Progress in Math., 9, Birkhäuser, Boston,
MA, 1998.
[Ti66]
J. Tits, Classification of algebraic semisimple groups, in: Algebraic Groups and Discontinuous
Subgroups (Proc. Sympos. Pure Math., Boulder, Colo., 1965) pp. 33–62 Amer. Math. Soc.,
Providence, R.I., 1966.
[W11]
C.-w. Weng, Reeder’s puzzle on a tree, jupiter.math.nctu.edu.tw/~ weng/powerpoint/DMEC_2011.pdf.
Borovoi: Raymond and Beverly Sackler School of Mathematical Sciences, Tel Aviv University, 6997801 Tel Aviv, Israel
E-mail address: borovoi@post.tau.ac.il
Evenor: Raymond and Beverly Sackler School of Mathematical Sciences, Tel Aviv University, 6997801 Tel Aviv, Israel
E-mail address: zachi.evenor@gmail.com

