arXiv:1501.01346v4 [math.NT] 16 Sep 2016

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY
PRODUCTS
JÁN MINÁČ AND NGUYỄN DUY TÂN
Dedicated to Alexander Merkurjev
A BSTRACT. For all primes p and for all fields, we find a sufficient and necessary condition of the existence of a unipotent Galois extension of degree p6. The main goal of
this paper is to describe an explicit construction of such a Galois extension over fields
admitting such a Galois extension. This construction is surprising in its simplicity and
generality. The problem of finding such a construction has been left open since 2003.
Recently a possible solution of this problem gained urgency because of an effort to extend new advances in Galois theory and its relations with Massey products in Galois
cohomology.

1. I NTRODUCTION
From the very beginning of the invention of Galois theory, one problem has emerged.
For a given finite group G, find a Galois extension K/Q such that Gal(K/Q ) ≃ G. This
is still an open problem in spite of the great efforts of a number of mathematicians and
substantial progress having been made with specific groups G. (See [Se3].) A more general problem is to ask the same question over other base fields F. This is a challenging
and difficult problem even for groups G of prime power order.
In this paper we make progress on this classical problem in Galois theory. Moreover this progress fits together well with a new development relating Massey products in Galois cohomology to basic problems in Galois theory. For all primes p and all
fields in the key test case of n = 4, we construct Galois extensions with the unipotent
Galois group U n (F p ) assuming only the existence of some Galois extensions of order
p3 . This fits into a program outlined in [MT1] and [MT2], for the systematic construction of Galois p-closed extensions of general fields, assuming only knowledge of Galois
extensions of degree less than or equal to p3 and the structure of pth power roots of
unity in the base field. Thus both the methods and the results in this paper pave the
way to a program for obtaining the structure of maximal pro-p-quotients of absolute
Galois groups for all fields. We shall now describe some previous work of a number of
mathematicians which has influenced our work, as well as its significance for further
developments and applications.
JM is partially supported by the Natural Sciences and Engineering Research Council of Canada
(NSERC) grant R0370A01. NDT is partially supported by the National Foundation for Science and Technology Development (NAFOSTED) grant 101.04-2014.34.
1

2

JÁN MINÁČ AND NGUYỄN DUY TÂN

Recently there has been substantial progress in Galois cohomology which has changed
our perspective on Galois p-extensions over general fields. In some remarkable work,
M. Rost and V. Voevodsky proved the Bloch-Kato conjecture on the structure of Galois
cohomology of general fields. (See [Voe1, Voe2].) From this work it follows that there
must be enough Galois extensions to make higher degree Galois cohomology decomposable. However the explicit construction of such Galois extensions is completely
mysterious. In [MT1], [MT2] and [MT5], two new conjectures, the Vanishing n-Massey
Conjecture and the Kernel n-Unipotent Conjecture were proposed. These conjectures
in [MT1] and [MT2], and the results in this paper, lead to a program of constructing these previously mysterious Galois extensions in a systematic way. In these papers it is shown that the truth of these conjectures has some significant implications
on the structure of absolute Galois groups. These conjectures are based on a number of previous considerations. One motivation comes from topological considerations. (See [DGMS] and [HW].) Another motivation is a program to describe various
n-central series of absolute Galois groups as kernels of simple Galois representations.
(See [CEM, Ef, EM1, EM2, MSp, NQD, Vi].) If the Vanishing n-Massey Conjecture is
true, then by a result in [Dwy], we obtain a program of building up n-unipotent Galois
representations of absolute Galois groups by induction on n. This is an attractive program because we obtain a procedure of constructing larger Galois p-extensions from
smaller ones, efficiently using the fact that certain a priori natural cohomological obstructions to this procedure always vanish.
Recall that for each natural number n, U n (F p ) is the group of upper triangular n × nmatrices with entries in F p and diagonal entries 1. Then U3 (F2 ) is isomorphic to the
dihedral group of order 8, and if p is odd, then U3 (F p ) is isomorphic to the Heisenberg group H p3 of order p3 . For all n ≥ 4 and all primes p, we can think of U n (F p ) as

"higher Heisenberg groups" of order pn(n−1)/2 . It is now recognized that these groups
play a very special role in current Galois theory. Because U n (F p ) is a Sylow p-subgroup
of GLn (F p ), and every finite p-group has a faithful linear n-dimensional representation
over F p , for some n, we see that every finite p-group can be embedded into U n (F p )
for some n. Besides, the Vanishing n-Massey Conjecture and the Kernel n-Unipotent
Conjecture also indicate some deeper reasons why U n (F p ) is of special interest. The
constructions of Galois extensions with the Galois group U3 (F p ) over fields which admit them, are well-known in the case when the base field is of characteristic not p. They
are an important basic tool in the Galois theory of p-extensions. (See for example [JLY,
Sections 6.5 and 6.6]. Some early papers related to these topics like [MNg] and [M] now
belong to classical work on Galois theory.)
In [GLMS, Section 4], a construction of Galois extensions K/F, char( F) 6= 2, with
Gal(K/F) ≃ U4 (F2 ), was discovered. Already at that time, one reason for searching for this construction was the motivation to find ideas to extend deep results on
the characterization of the fixed field of the third 2-Zassenhaus filtration of an absolute Galois group GF as the compositum of Galois extensions of degree at most 8 (see

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

3

[Ef, EM2, MSp, Vi]), to a similar characterization of the fixed field of the fourth 2Zassenhaus filtration of GF . In retrospect, looking at this construction, one recognizes
some elements of the basic theory of Massey products. However at that time the authors of [GLMS] were not familiar with Massey products. It was realized that such a
construction would also be desirable for U4 (F p ) for all p rather than U4 (F2 ), but none
has been found until now.
In [GLMS], in the construction of a Galois field extension K/F with Gal(K/F) ≃
U4 (F2 ), a simple criteria was used for an element in F to be a norm from a bicyclic
extension of degree 4 modulo non-zero squares in the base field F. However in [Me],
A. Merkurjev showed that a straightforward generalization of this criteria for p odd
instead of p = 2, is not true in general. Therefore it was not clear whether such an
analogous construction of Galois extensions K/F with Gal(K/F) ≃ U4 (F p ) was possible for p odd.
On the other hand, a new consideration in [HW], [MT1] and [MT2] led us to formulate the Vanishing n-Massey Conjecture, and the most natural way to prove this conjecture for n = 3 in the key non-degenerate case would be through constructing explicit
Galois U4 (F p )-extensions. In fact we pursued both cohomological variants of proving the Vanishing 3-Massey Conjecture and the Galois theoretic construction of Galois
U4 (F p )-extensions.
The story of proving this conjecture and finally constructing Galois U4 (F p )-extensions
over all fields which admit them, is interesting. First M. J. Hopkins and K. G. Wickelgren
in [HW] proved a result which implies that the Vanishing 3-Massey Conjecture with respect to prime 2, is true for all global fields of characteristic not 2. In [MT1] we proved
that the result of [HW] is valid for any field F. At the same time, in [MT1] the Vanishing n-Massey Conjecture was formulated, and applications on the structure of the
quotients of absolute Galois groups were deduced. In [MT3] we proved that the Vanishing 3-Massey Conjecture with respect to any prime p is true for any global field F
containing a primitive p-th root of unity. In [EMa1], I. Efrat and E. Matzri provided
alternative proofs for the above-mentioned results in [MT1] and [MT3]. In [Ma], E.
Matzri proved that for any prime p and for any field F containing a primitive p-th root
of unity, every defined triple Massey product contains 0. This established the Vanishing
3-Massey Conjecture in the form formulated in [MT1]. Shortly after [Ma] appeared on
the arXiv, two new preprints, [EMa2] and [MT5], appeared nearly simultaneously and
independently on the arXiv as well. In [EMa2], I. Efrat and E. Matzri replace [Ma] and
provide a cohomological approach to the proof of the main result in [Ma]. In [MT5] we
also provide a cohomological method of proving the same result. We also extend the
vanishing of triple Massey products to all fields, and thus remove the restriction that
the base field contains a primitive p-th root of unity. We further provide applications on
the structure of some canonical quotients of absolute Galois groups, and also show that
some special higher n-fold Massey products vanish. Finally in this paper we are able to
provide a construction of the Galois U4 (F p )-extension M/F for any field F which admits such an extension. We use this construction to provide a natural new proof, which

4

JÁN MINÁČ AND NGUYỄN DUY TÂN

we were seeking from the beginning of our search for a Galois theoretic proof, of the
vanishing of triple Massey products over all fields.
Some interesting cases of "automatic" realizations of Galois groups are known. These
are cases when the existence of one Galois group over a given field forces the existence
of some other Galois groups over this field. (See for example [Je, MS2, MSS, MZ, Wh].)
However, nontrivial cases of automatic realizations coming from an actual construction
of embedding smaller Galois extensions to larger ones, are relatively rare, and they are
difficult to produce. In our construction we are able, from knowledge of the existence
of two Heisenberg Galois extensions of degree p3 over a given base field F as above, to
find possibly another pair of Heisenberg Galois extensions whose compositum can be
automatically embedded in a Galois U4 (F p )-extension. (See also Remark 3.3.) Observe
that in all proofs of the Vanishing 3-Massey Conjecture we currently have, constructing
Heisenberg Galois extensions of degree p3 has played an important role. For the sake of
a possible inductive proof of the Vanishing n-Massey Conjecture, it seems important to
be able to inductively construct Galois U n (F p )-extensions. This has now been achieved
for the induction step from n = 3 to n = 4, and it opens up a way to approach the
Vanishing 4-Massey Conjecture.
Another motivation for this work which combines well with the motivation described
above, comes from anabelian birational considerations. Very roughly in various generality and precision, it was observed that small canonical quotients of absolute Galois
groups determine surprisingly precise information about base fields, in some cases entire base fields up to isomorphisms. (See [BT1, BT2, CEM, EM1, EM2, MSp, Pop].) But
these results suggest that some small canonical quotients of an absolute Galois group
together with knowledge of the roots of unity in the base field should determine larger
canonical quotients of this absolute Galois group. The Vanishing n-Massey Conjecture
and the Kernel n-Unipotent Conjecture, together with the program of explicit constructions of Galois U n (F p )-extensions, make this project more precise. Thus our main results, Theorems 3.7, 3.9, 4.3 and 5.5, contribute to this project.
A further potentially important application for this work is the theory of Galois pextensions of global fields with restricted ramification and questions surrounding the
Fontaine-Mazur conjecture. (See [Ko], [La], [McL], [Ga],[Se2].) For example in [McL,
Section 3], there is a criterion for infinite Hilbert p-class field towers over quadratic
imaginary number fields relying on the vanishing of certain triple Massey products.
The explicit constructions in this paper should be useful for approaching these classical
number theoretic problems.
Only relatively recently, the investigations of the Galois realizability of some larger
p-groups among families of small p-groups, appeared. (See the very interesting papers
[Mi1], [Mi2], [GS].) In these papers the main concern is understanding cohomological
and Brauer group obstructions for the realizability of Galois field extensions with prescribed Galois groups. In our paper the main concern is the explicit constructions and
their connections with Massey products. In other recent papers [CMS] and [Sch], the

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

5

authors succeeded to treat the cases of characteristic equal to p or not equal to p, nearly
uniformly. This is also the case with our paper.
Our paper is organized as follows. In Section 2 we recall basic notions about norm
residue symbols and Heisenberg extensions of degree p3 . (For convenience we think
of the dihedral group of order 8 as the Heisenberg group of order 8.) In Section 3 we
provide a detailed construction of Galois U4 (F p )-extensions beginning with two "compatible" Heisenberg extensions of degree p3 . Section 3 is divided into two subsections.
In Subsection 3.1 we provide a construction of the required Galois extension M/F over
any field F which contains a primitive p-th root of unity. In Subsection 3.2 we provide
such a construction for all fields of characteristic not p, building on the results and methods in Subsection 3.1. In Example 3.8 we illustrate our method on a surprisingly simple
construction of Galois U4 (F2 )-extensions over any field F with char( F) 6= 2. In Section
4 we provide a required construction for all fields of characteristic p. After the original
and classical papers of E. Artin and O. Schreier [ASch] and E. Witt [Wi], these constructions seem to add new results on the construction of basic Galois extensions M/F with
Galois groups U n (F p ), n = 3 and n = 4. These are aesthetically pleasing constructions
with remarkable simplicity. They follow constructions in characteristic not p, but they
are simpler. See also [JLY, Section 5.6 and Appendix A1] for another procedure to obtain
these Galois extensions. In Section 5 we provide a new natural Galois theoretic proof of
the vanishing of triple Massey products over all fields in the key non-degenerate case.
We also complete the new proof of the vanishing of triple Massey products in the case
when a primitive p-th root of unity is contained in the base field. Finally we formulate a
necessary and sufficient condition for the existence of a Galois U4 (F p )-extension M/F
which contains an elementary p-extension of any field F (described by three linearly
independent characters), and we summarize the main results in Theorem 5.5.
Acknowledgements: We would like to thank M. Ataei, L. Bary-Soroker, S. K. Chebolu,
I. Efrat, H. Ésnault, E. Frenkel, S. Gille, J. Gärtner, P. Guillot, D. Harbater, M. J. Hopkins, Ch. Kapulkin, I. Kříž, J. Labute, T.-Y. Lam, Ch. Maire, E. Matzri, C. McLeman,
D. Neftin, J. Nekovář, R. Parimala, C. Quadrelli, M. Rogelstad, A. Schultz, R. Sujatha,
Ng. Q. Thắng, A. Topaz, K. G. Wickelgren and O. Wittenberg for having been able to
share our enthusiasm for this relatively new subject of Massey products in Galois cohomology, and for their encouragement, support, and inspiring discussions. We are
very grateful to the anonymous referee for his/her careful reading of our paper, and
for providing us with insightful comments and valuable suggestions which we used to
improve our exposition.
Notation: If G is a group and x, y ∈ G, then [ x, y] denotes the commutator xyx −1 y−1 . For
any element σ of finite order n in G, we denote Nσ to be the element 1 + σ + · · · + σn−1
in the integral group ring Z [ G ] of G.
For a field F, we denote Fs (respectively GF ) to be its separable closure (respectively its
absolute Galois group Gal( Fs /F)). We denote F× to be the set of non-zero elements of

6

JÁN MINÁČ AND NGUYỄN DUY TÂN

F. For a given profinite group G, we call a Galois extension E/F, a (Galois) G-extension
if the Galois group Gal(E/F) is isomorphic to G.
For a unital commutative ring R and an integer n ≥ 2, we denote U n ( R) as the group
of all upper-triangular unipotent n × n-matrices with entries in R. For any (continuous)
representation ρ : G → U n ( R) from a (profinite) group G to U n ( R) (equipped with
discrete topology ), and 1 ≤ i < j ≤ n, let ρij : G → R be the composition of ρ with the
projection from U n ( R) to its (i, j)-coordinate.
2. H EISENBERG

EXTENSIONS

The materials in this section have been taken from [MT5, Section 3].
2.1. Norm residue symbols. Let F be a field containing a primitive p-th root of unity ξ.
For any element a in F× , we shall write χ a for the character corresponding to a via the
Kummer map F× → H 1 (GF , Z/pZ )√= Hom(GF , Z/pZ). From now on we assume that
p
a is not in ( F× ) p . The extension F( √
a)/F is√a Galois extension with the Galois group
hσa i ≃ Z/pZ, where σa satisfies σa ( p a) = ξ p a.
The character χ a defines a homomorphism χ a ∈ Hom(GF , 1p Z/Z ) ⊆ Hom(GF , Q/Z )
by the formula
χa =

1
χa .
p

Let b be any element in F× . Then the norm residue symbol may be defined as

(a, b) := (χa , b) := b ∪ δχa .
Here δ is the coboundary homomorphism δ : H 1 (G, Q/Z ) → H 2 (G, Z ) associated to
the short exact sequence of trivial G-modules
0 → Z → Q → Q/Z → 0.
The cup product χ a ∪ χb ∈ H 2 (GF , Z/pZ ) can be interpreted as the norm residue
symbol (a, b). More precisely, we consider the exact sequence
x 7→ x p

0 −→ Z/pZ −→ Fs× −→ Fs× −→ 1,
where Z/pZ has been identified with the group of p-th roots of unity µ p via the choice
of ξ. As H 1 (GF , Fs× ) = 0, we obtain
i

×p

0−→ H 2 (GF , Z/pZ ) −→ H 2 (GF , Fs× ) −→ H 2 (GF , Fs× ).
Then one has i (χ a ∪ χb ) = (a, b) ∈ H 2 (GF , Fs× ). (See [Se1, Chapter XIV, Proposition 5].)

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

7

2.2. Heisenberg extensions. In this subsection we recall some basic facts about Heisenberg extensions. (See [Sha, Chapter 2, Section 2.4] and [JLY, Sections 6.5 and 6.6 ].)
Assume that a,
b are elements in F× , which are linearly independent modulo ( F× ) p .
√
√
p
Let K = F( p a, b). Then
K/F
is a Galois extension whose Galois √
group is√
generated
√
√
√
√
√
√
p
p
p
p
p
p
p
p
by σa and σb . Here σa ( b) = b, σa ( a) = ξ a; σb ( a) = a, σb ( b) = ξ b.
1 x z
2

We consider a map U3 (Z/pZ ) → (Z/pZ ) which sends 0 1 y  to ( x, y). Then
0 0 1
we have the following embedding problem
GF
ρ̄



0
/

Z/pZ
/

U3 (Z/pZ )
/

(Z/pZ)2
/

1,

where ρ̄ is the map (χ a , χb ) : GF → Gal(K/F) ≃ (Z/pZ )2 . (The last isomorphism
Gal(K/F) ≃ (Z/pZ )2 is the one which sends σa to (1, 0) and σb to (0, 1).)
Assume that
√ χa ∪ χb = 0. Then the norm residue symbol (a, b) is trivial. Hence there
exists α in F( p a) such that NF ( √
p a ) /F (α ) = b (see [Se1, Chapter XIV, Proposition 4 (iii)]).
We set
p−2
√
p−2
p−1
p−2
A0 = α σa (α
) · · · σa (α) = ∏ σai (α p−i −1 ) ∈ F( p a).
i =0

Lemma 2.1. Let f a be an element in F× . Let A = f a A0 . Then we have
NF ( √
p a ) /F (α )
b
σa ( A)
=
= p.
p
A
α
α
σa ( A)
σa ( A0 )
Proof. Observe that
=
. The lemma then follows from the identity
A
A0

( s − 1)

p−2

∑ ( p − i − 1) s

i =0

i

=

p−1

∑ si − ps0 .



i =0

Proposition 2.2. Assume that χ a ∪ χb = 0. Let f a be an element in F× . Let A = f a A0 be
defined as above. Then the homomorphism ρ̄ := (χ a , χb ) : GF → Z/pZ × Z/pZ lifts to a
Heisenberg extension ρ : GF → U3 (Z/pZ ).
√
p
Sketch of Proof. Let L := K ( A)/F. Then L/F is Galois extension. Let σ̃a ∈ Gal( L/F)
(resp.
σ̃b ∈ Gal
( L/F)) be an extension of σa (resp.
σb ).
Since σb ( A) = A, we have
√
√
√
p √
p
p
p
p
j
σ̃b ( A ) = ξ A, for some j ∈ Z. Hence σ̃b ( A ) = A. This implies that σ̃b is of
order p.
√
p
√
√
√
b
b
p
p
p
p
i
On the other hand, we have σ̃a ( A ) = σa ( A) = A p . Hence σ̃a ( A ) = ξ A
,
α
α
√
p √
p
p
for some i ∈ Z. Then σ̃a ( A ) = A. Thus σ̃a is of order p.

JÁN MINÁČ AND NGUYỄN DUY TÂN

8

√
√
p
p
If we set σA := [σ̃a , σ̃b ], then σA ( A) = ξ −1 A. This implies that σA is of order p.
Also one can check that
[σ̃a , σA ] = [σ̃b , σA ] = 1.
We can define an isomorphism ϕ : Gal( L/F)



1 1 0
1 0



0
1
0
σa 7→
, σb 7→ 0 1
0 0 1
0 0
ϕ

→ U3 (Z/pZ) by letting



0
1 0 1
1 , σA 7→ 0 1 0 .
1
0 0 1

Then the composition ρ : GF → Gal( L/F) → U3 (Z/pZ ) is the desired lifting of ρ̄.
Note that [ L : F] = p3 . Hence there are exactly p extensions of σa ∈ Gal(E/F) to the
automorphisms in Gal( L/F) since [ L : E] = p3 /p2 = p. Therefore for later use, we can
choose an extension,√still denoted by σa ∈ Gal( L/F), of σa ∈ Gal(K/F) in such a way
p
√
√
b
p
p
that σa ( A) = A
.

α
3. T HE

CONSTRUCTION OF

U4 (F p )- EXTENSIONS :

THE CASE OF CHARACTERISTIC

6= p

3.1. Fields containing primitive p-th roots of unity. In this subsection we assume that
F is a field containing a primitive p-th root ξ of unity. The following result can be
deduced from Theorem 5.5, but for the convenience of the reader we include a proof
here.
Proposition 3.1. Assume that there exists a Galois extension M/F such that Gal( M/F) ≃
U4 (F p ). Then there exist a, b, c ∈ F× such that a, b, c are linearly independent modulo ( F× ) p
√
√ √
p
and (a, b) = (b, c) = 0. Moreover M contains F( p a, b, p c).
Proof. Let ρ be the composite ρ : GF ։ Gal( M/F) ≃ U4 (F p ). Then ρ12 , ρ23 and ρ34 are
elements in Hom(GF , F p ). Hence there are a, b and c in F× such that χ a = ρ12 , χb = ρ23
and χc = ρ34 . Since ρ is a group homomorphism, by looking at the coboundaries of ρ13
and ρ24 , we see that
χ a ∪ χ b = χ b ∪ χ c = 0 ∈ H 2 ( G F , F p ).

This implies that (a, b) = (b, c) = 0 by [Se1, Chapter XIV, Proposition 5].
Let ϕ := (χ a , χb , χc ) : GF → (F p )3 . Then ϕ is surjective. By Galois correspondence,
we have
√ √
√
p
Gal( Fs /F( p a, b, p c)) = ker χ a ∩ ker χb ∩ ker χc = ker ϕ.
√
√ √
p
This implies that Gal( F( p a, b, p c)/F) ≃ (F p )3 . Hence by Kummer theory, we see
√ √
√
p
that a, b and c are linearly independent modulo ( F× ) p . Clearly, M contains F( p a, b, p c).

Conversely we shall see in this section that given these necessary conditions for the
existence of U4 (F p )-Galois extensions over F, as in Proposition 3.1, we can construct a
Galois extension M/F with the Galois group isomorphic to U4 (F p ).

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

9

From now on we assume that we are given elements a, b and c in F× such that a, b and
c are linearly independent modulo ( F× ) p and that (a, b) = (b, √
c) = 0. We shall construct
√
√
p
p
a Galois U4 (F p )-extension M/F such that M contains F( a, b, p c).
√ √
√
√ √
√
p
p
First we note that F( p a, b, p c)/F is a Galois extension with Gal( F( p a, b, p c)/F)
generated by σa , σb , σc . Here
√
√
√
√
√
√
p
p
σa ( p a) = ξ p a, σa ( b) = b, σa ( p c) = p c;
√
√
√
√
√
√
p
p
σb ( p a) = p a, σb ( b) = ξ b, σb ( p c) = p c;
√
√
√
√
√
√
p
p
σc ( p a) = p a, σc ( b) = b, σc ( p c) = ξ p c.
√
√
√ √
Let E = F( p a, p c). Since (a, b) = (b, c) = 0, there are α in F( p a) and γ in F( p c)
(see [Se1, Chapter XIV, Proposition 4 (iii)]) such that
√
NF ( √
p a ) /F (α ) = b = NF ( p c) /F (γ ).

Let G be the Galois group Gal(E/F). Then G = h√
σa , σc i, where σa ∈ G (respec√
√
p
p
tively σc ∈√G) is the restriction of σa ∈ Gal( F( a, b, p c )/F) (respectively σc ∈
√ p √
Gal( F( p a, b, p c)/F)).
√
p
Our next goal is to find an element δ in E× such that the Galois closure of E( δ) is
our desired U4 (F p )-extension of F. We define
C0 =

p−2

√

∏ σci (γ p−i−1 ) ∈ F( p a),
i =0

and define B := γ/α. Then we have the following result, which follows from Lemma 2.1
(see [Ma, Proposition 3.2] and/or [MT5, Lemma 4.2]).
Lemma 3.2. We have
σa ( A0 )
(1)
= Nσc ( B).
A0
σc (C0 )
(2)
= Nσa ( B)−1 .
C0



Remark 3.3. We would like to informally explain the meaning of the next lemma. From
our hypothesis (a, b) = 0 = (b, c) and from
Subsection 2.2, we√see that we can obtain
√
√
√ √
√
p
p
p
p
F( b, p c, p C0 ) of F. Here
two Heisenberg extensions L1 = F( a, b,√ A0 ) and L2 = √
we have chosen specific elements A0 ∈ F( p a) and C0 ∈ F( p c). However we may not
be able to embed the compositum of L1 and L2 into our desired Galois extension M/F
with Gal( M/F) ≃ U4 (F p ). We know that we can modify the element A0 by any element
f a ∈ F× and the element C0 by any element f c ∈ F× obtaining elements A = f a A0 and
C = f c C0 instead of A0 and C0 . This new choice of elements may change the √
fields L1
√
p
p
and
L2 but the new fields will still be Heisenberg extensions containing F( a, b) and
√
√
p
F( b, p c) respectively. The next lemma will provide us with a suitable modification
of A0 and C0 . From the proof of Theorem 3.7 we shall see that the compositum of

JÁN MINÁČ AND NGUYỄN DUY TÂN

10

these modified Heisenberg extensions can indeed be embedded into a Galois extension
M/F with Gal( M/F) ≃ U4 (F p ). This explains our comment in the introduction in the
paragraph related to the "automatic realization of Galois groups".
Lemma 3.4. Assume that there exist C1 , C2 ∈ E× such that
B=

σa (C1 ) C2
.
C1 σc (C2 )

Then Nσc (C1 )/A0 and √
Nσa (C2 )/C0 are in F× . Moreover, if we let A = Nσc (C1 ) ∈ F(
and C = Nσa (C2 ) ∈ F( p c)× , then there exists δ ∈ E× such that
σc (δ)
−p
= AC1 ,
δ
σa (δ)
−p
= CC2 .
δ
Proof. By Lemma 3.2, we have
σa ( A0 )
= Nσc ( B) = Nσc
A0

σa (C1 )
C1



Nσc

Nσc (C1 )
= σa
A0



Nσc (C1 )
A0





C2
σc (C2 )



=

σa ( Nσc (C1 ))
.
Nσc (C1 )

This implies that

Hence



.

√
√
Nσc (C1 )
∈ F ( p c )× ∩ F ( p a )× = F × .
A0
By Lemma 3.2, we have
σc (C0 )
= Nσa ( B−1 ) = Nσa
C0



C1
σa (C1 )



Nσa



σc (C2 )
C2



This implies that
Nσa (C2 )
= σc
C0
Hence



Nσa (C2 )
C0



.

√
√
Nσa (C2 )
∈ F ( p a )× ∩ F ( p c )× = F × .
C0
Clearly, one has
−p

Nσa (CC2 ) = 1,
−p

Nσc ( AC1 ) = 1.

=

σc ( Nσa (C2 ))
.
Nσa (C2 )

√
p

a )×

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

11

We also have
−p

σa ( AC1 )
−p

AC1

−p



− p

C2
σa ( A) σa (C1 ) − p C
−p =
A
C1
σc (C) σc (C2 )
σc (CC2 )
p
b γ
= p B− p
α b
= 1.
CC2

Hence, we have
−p

σa ( AC1 )
−p

AC1

=

−p

σc (CC2 )
−p

CC2

.

From [Co, page 756] we see that there exists δ ∈ E× such that
σc (δ)
−p
= AC1 ,
δ
σa (δ)
−p
= CC2 ,
δ
as desired.



Remark 3.5. The result of I. G. Connell which we use in the above proof, is a variant of
Hilbert’s Theorem 90. This result was independently discovered by S. Amitsur and D.
Saltman in [AS, Lemma 2.4]. (See also [DMSS, Theorem 2] for the case p = 2.)
Lemma 3.6. There exists e ∈ E× such that B =
the following statements are true.

σa σc (e)
. Furthermore, for such an element e
e

(1) If we set C1 := σc (e) ∈ E× , C2 := e−1 ∈ E× , then B =
p−2

(2) If we set C1 := e ∈ E× , C2 := (eB)σc (eB) · · · σc

σa (C1 ) C2
.
C1 σc (C2 )

(eB) ∈ E× , then B =

Proof. We have
Nσa σc ( B) =

Nσa (α)
b
Nσa σc (α)
=
= = 1.
Nσa σc (γ)
Nσc (γ)
b

Hence by Hilbert’s Theorem 90, there exists e ∈ E× such that B =

σa σc (e)
.
e

(1) Clearly, we have
σa (C1 ) C2
σa σc (e)
σa (σc (e)) e−1
=
=
= B.
−
1
C1 σc (C2 )
σc (e) σc (e )
e

σa (C1 ) C2
.
C1 σc (C2 )

12

JÁN MINÁČ AND NGUYỄN DUY TÂN

σa σc (e)
p−1
, we see that eB = σa σc (e). Hence σc (eB) = σa (e). Therefore
e
eB
σa (e)
σa (C1 ) C2
.

B=
=
p
−
1
e σc (eB)
C1 σc (C2 )
√
√
√
√
p
p
p
p
Theorem 3.7. Let the notation and assumption be as in
Lemma
3.4.
Let
M
:
=
E
(
δ,
A,
C,
b ).
√
√
√
p
p
p
Then M/F is a Galois extension, M contains F( a, b, c), and Gal( M/F) ≃ U4 (F p ).

(2) From B =

Proof. Let W ∗ be the F p -vector space in E× /(E× ) p generated by [b] E , [ A] E , [C] E and [δ] E .
Here for any 0 6= x in a field L, we denote [ x ] L the image of x in L× /( L× ) p . Since
(1)

σc (δ) = δAC1

−p

(by Lemma 3.4),

(2)

σa (δ) = δCC2
b
σa ( A) = A p
α
b
σc (C) = C p
γ

−p

(by Lemma 3.4),

(3)
(4)

(by Lemma 2.1),
(by Lemma 2.1),

we see that W ∗ is in fact an F p [ G ]-module. Hence M/F is a Galois extension by Kummer theory.
Claim: dimF p (W ∗ ) = 4. Hence [ L : F] = [ L : E][ E : F] = p4 p2 = p6 .
Proof of Claim: From our hypothesis that dimF p h[ a] F , [b] F , [c] F i = 3, we see that h[b] E i ≃
F p.
Clearly, h[b] E i ⊆ (W ∗ )G . From (3) one gets the relation

[σa ( A)] E = [ A] E [b] E .

This implies that [ A] E is not in (W ∗ )G . Hence dimF p h[b] E , [ A] E i = 2.
From (4) one gets the relation

[σc (C)] E = [C] E [b] E .
This implies that [C] E is not in (W ∗ )σc . But we have h[b] E , [ A] E i ⊆ (W ∗ )σc . Hence
dimF p h[b] E , [ A] E , [C] E i = 3.

Observe that the element (σa − 1)(σc − 1) annihilates the F p [ G ]-module h[b] E , [ A] E , [C] E i,
while by (1) and (3) one has

(σa − 1)(σc − 1)[δ] E =

σa ([ A] E )
= [b] E .
[ A] E

Therefore one has
dimF p W ∗ = dimF p h[b] E , [ A] E , [C] E , [δ] E i = 4.

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

13

√
√
√ √ √
√
p
p
p
p
a, A, b) and H b,c = F( p c, p C, b). Let
√
√
√
√
√
√ √ √
p
p
p
p
p
p
N := H a,b H b,c = F( p a, p c, b, A, C ) = E( b, A, C).

Let H a,b = F(

Then N/F is a Galois extension of degree p5 . This is because Gal( N/E) is dual to the
F p [ G ]-submodule h[b] E , [ A] E , [C] E i via Kummer theory, and the proof of the claim above
shows that dimF p h[b] E , [ A] E , [C] E i = 3. We have the following commutative diagram
Gal( N/F)

//

Gal( H a,b /F)




Gal( H b,c /F)

//

Gal( F(


√
p

b)/F).

So we have a homomorphism η from Gal( N/F) to the pull-back Gal( H b,c /F) ×Gal ( F ( √
p
b)/F )

Gal( H a,b /F):

η : Gal( N/F) −→ Gal( H b,c /F) ×Gal( F ( √
p
Gal( H a,b /F),
b)/F )
which make the obvious diagram commute. We claim that η is injective. Indeed, let σ
be an element in ker η. Then σ | H a,b = 1 in Gal( H a,b /F), and σ | H b,c = 1 in Gal( H b,c /F).
Since N is the compositum of H a,b and H b,c , this implies that σ = 1, as desired.
Gal( H a,b /F)| = p5 = |Gal( N/F)|, we see that η
Since |Gal( H b,c /F) ×Gal( F ( √
p
b )/F )
is actually an isomorphism. As in the proof of
Proposition 2.2, we can choose an ex√
√
p
a,b
p
√
tension σa ∈ Gal( H /F) of σa ∈ Gal( F( a, b)/F) (more precisely, of σa | F ( √
p a, p b) ∈
√
√
p
Gal( F( p a, b)/F)) in such a way that
√
p
√
√
b
p
p
σa ( A ) = A
.
α
Since the square commutative diagram above is a pull-back, we can choose an extension
σa ∈ Gal( N/F) of σa ∈ Gal( H a,b /F) in such a way that
σa | H b,c = 1.

Now we can choose any extension σa ∈ Gal( M/F) of σa ∈ Gal( N/F). Then we have
√
p
√
√
b
p
p
σa ( A ) = A
and σa | H b,c = 1.
α
√
√
p
Similarly, we can choose an extension σc ∈ Gal( M/F) of σc ∈ Gal( F( b, p c)/F) in
such a way that
√
p
√
√
b
p
p
σc ( C) = C
, and σc | H a,b = 1.
γ

14

JÁN MINÁČ AND NGUYỄN DUY TÂN

We define σb ∈ Gal( M/E) to be the element which is dual to [b] E via Kummer theory.
In other words, we require that
√
√
p
p
σb ( b) = ξ b,
√ √
√
p
and σb acts trivially on p A, p C and δ. We consider√σb as an element in Gal( M/F),
√ p √
then it is clear that σb is an extension of σb ∈ Gal( F( p a, b, p c )/F). Let W = Gal( M/E),
and let H = Gal( M/F), then we have the following exact sequence
1 → W → H → G → 1.

By Kummer theory, it follows that W is dual to W ∗ , and hence W ≃ (Z/pZ )4 . In
particular, we have | H | = p6 .
Recall that from [BD, Theorem 1], we know that the group U4 (F p ) has a presentation
with generators s1 , s2 , s3 subject to the following relations
p

p

p

s1 = s2 = s3 = 1,
(R)

[s1 , s3 ] = 1,
[s1 , [s1 , s2 ]] = [s2 , [s1 , s2 ]] = 1,
[s2 , [s2 , s3 ]] = [s3 , [s2 , s3 ]] = 1,
[[s1 , s2 ], [s2 , s3 ]] = 1.

Note that |Gal( M/F)| = p6 . So in order to show that Gal( M/F) ≃ U4 (F p ), we shall
show that σa , σb and σc generate Gal( M/F) and that they satisfy these above relations.
Claim: The elements σa , σb and σc generate Gal( M/F).
Proof of Claim: Let K be the maximal p-elementary subextension of M. Note that Gal( M/F)
is a p-group. So in order to show that σa , σb and σc generate Gal( M/F), we only need to
show that (the restrictions of) these elements generate Gal(K/F) by the Burnside basis
theorem. (See e.g. [Ha, Theorem 12.2.1] or
[Ko, Theorem 4.10].) We shall now determine
√
p
p
the field K. By Kummer theory, K = F( ∆), where ∆ = ( F× ∩ M× )/( F× ) p . Let [ f ] F
be any element in ∆, where f ∈ F× ∩ ( M× ) p ⊆ E× ∩ ( M× ) p . By Kummer theory, one
has W ∗ = (E× ∩ ( M× ) p )/(E× ) p . Hence we can write

[ f ] E = [δ]ǫEδ [ A]ǫEA [C]ǫEC [b]ǫEb ,

ǫ

where ǫδ , ǫ A , ǫC , ǫb ∈ Z. By applying (σa − 1)(σc − 1) on [ f ] E we get [1] E = [b] Eδ . (See
the proof of the first claim of this proof.) Thus ǫδ is divisible by p, and one has

[ f ] E = [ A]ǫEA [C]ǫEC [b]ǫEb .
ǫ

By applying σa − 1 on both sides of this equation, we get [1] E = [b] EA . Thus ǫ A is divisible
by p. Similarly, ǫC is also divisible by p. Hence f = bǫb e p for some e ∈ E. Since b and f
are in F, e p is in F× ∩ (E× ) p and [e p ] F is in h[ a] F , [c] F i. Therefore [ f ] F is in h[ a] F , [b] F , [c] F i
and
∆ = h[ a] F , [b] F , [c] F i.

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

15

√
√ √
p
So K = F( p a, b, p c). Then it is clear that σa , σb and σc generate Gal(K/F) and the
claim follows.
Claim: The order of σa is p.
√
p √
p
p
Proof of Claim: As in the proof of Proposition 2.2, we
see
that
σ
(
A
)
=
A.
a
√
√
√
−p
p
p
p
−1
i
Since σa (δ) = δCC2 (equation (2)), one has σa ( δ ) = ξ δ CC2 for some i ∈ Z.
This implies that
√
√
√
p
p
p
σa2 ( δ) = ξ i σa ( δ)σa ( C)σa (C2 )−1
√
√
p
p
= ξ 2i δ( C)2 C2−1 σa (C2 )−1 .
Inductively, we obtain

√
√
p
p √
p
p
σa ( δ) = ξ pi δ( C ) p Nσa (C2 )−1
√
p
= δ(C) Nσa (C2 )−1
√
p
= δ.
p

Therefore, we can conclude that σa = 1, and σa is of order p.
Claim: The order of σb is p.
√
√
√
√
p
p
p
Proof of Claim: This is clear because σb acts trivially on A, p C, δ, E and σb ( b) = ξ b.
Claim: The order of σc is p.
√
p √
p
p
Proof of Claim: As in the proof of Proposition 2.2, we
see
that
σ
(
C
)
=
C.
c
√
√
√
−p
p
p
p
−1
j
Since σc (δ) = δAC1 (equation (1)), one has σc ( δ) = ξ δ AC1 for some j ∈ Z.
This implies that
√
√
√
p
p
p
σc2 ( δ) = ξ j σc ( δ)σc ( A )σc (C1 )−1
√
√
p
p
= ξ 2j δ( A)2 C1−1 σc (C1 )−1 .
Inductively, we obtain

√
√
p
p
p √
p
σc ( δ) = ξ pj δ( A) p Nσc (C1 )−1
√
p
= δ( A) Nσc (C1 )−1
√
p
= δ.
p

Therefore, we can conclude that σc = 1, and σc is of order p.
Claim: [σa , σc ] = 1.
√
√
Proof of Claim: It is enough to check that σa σc ( p δ) = σc σa ( p δ).

JÁN MINÁČ AND NGUYỄN DUY TÂN

16

We have

√
√
√
p
p
p
σa σc ( δ) = σa (ξ j δ AC1−1 )
√
√
p
p
= ξ j σa ( δ)σa ( A)σa (C1 )−1
√
√ pb
√ √
p
j i p
−1 p
= ξ ξ δ CC2
A
σa (C1 )−1
α
√
p
√
√ √
b
p
p
i+ j p
δ C A
=ξ
(σa (C1 )C2 )−1
α
√
p
√
√ √
b (C1 σc (C2 ))−1
p
p
i+ j p
δ C A
=ξ
α
B
√
p
√
√
√
b
p
p
p
= ξ i+ j δ C A
(C1 σc (C2 ))−1 .
γ
On the other hand, we have

√
√
√
p
p
p
σc σa ( δ) = σc (ξ i δ CC2−1 )
√
√
p
p
= ξ i σc ( δ)σc ( C)σc (C2 )−1
√
p
√
√
√
b
p
p
p
i j
−1
σc (C2 )−1
= ξ ξ δ AC1
C
γ
√
p
√ √
√
b
p
p
i+ j p
=ξ
(C1 σc (C2 ))−1 .
δ A C
γ
√
√
Therefore, σa σc ( p δ ) = σc σa ( p δ), as desired.
Claim: [σa , [σa , σb ]] = [σb , [σa , σb ]] = 1.
Proof of Claim: Since G is abelian, it follows that [σa , σb ] is in W. Now both σb and [σa , σb ]
are in W. Hence [σb , [σa , σb ]] = 1 because W is abelian.
Now we show that [σa , [σa , σb ]] = 1. Since the Heisenberg group U3 (F p ) is a nilpotent
group of nilpotent length √
2, we see
that [σa , [σa , σb ]] = 1 on H a,b and H b,c . So it is enough
√
p
p
to check that [σa , [σa , σb ]]( δ) = δ.
From the choice of σb , we see that

√
√
√
p
p
p
σb σa ( δ) = σa ( δ) = σa σb ( δ ).
√
√
√
p
p
Hence, [σa , σb ]( δ) = δ. Since σa and σb act trivially on p C, and σb acts trivially on E,
we see that
√
√
p
p
[σa , σb ]( C ) = C, and [σa , σb ](C2−1 ) = C2−1 .

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

17

We have

√
√
√
p
p
p
[σa , σb ]σa ( δ) = [σa , σb ](ξ i δ CC2−1 )
√
√
p
p
= [σa , σb ](ξ i )[σa , σb ]( δ)[σa , σb ]( C )[σa , σb ](C2−1 )
√
√
p
p
= ξ i δ CC2−1
√
p
= σa ( δ)
√
p
= σa [σa , σb ]( δ).
√
√
p
p
Thus [σa , [σa , σb ]]( δ) = δ, as desired.

Claim: [σb , [σb , σc ]] = [σc , [σb , σc ]] = 1.
Proof of Claim: Since G is abelian, it follows that [σb , σc ] is in W. Now both σb and [σb , σc ]
are in W. Hence [σb , [σb , σc ]] = 1 because W is abelian.
Now we show that [σc , [σb , σc ]] = 1. Since the Heisenberg group U3 (F p ) is a nilpotent
group of nilpotent length √
2, we see
that [σc , [σb , σc ]] = 1 on H a,b and H b,c . So it is enough
√
p
p
to check that [σc , [σb , σc ]]( δ) = δ.
From the choice of σb , we see that
√
√
√
p
p
p
σb σc ( δ) = σc ( δ) = σc σb ( δ).
√
√
√
p
p
p
Hence, [σb , σc ]( δ) = δ. Since σb and σc act trivially on A, and σb acts trivially on E,
we see that
√
√
p
p
[σb , σc ]( A) = A, and [σb , σc ](C1−1 ) = C1−1 .
We have
√
√
√
p
p
p
[σb , σc ]σc ( δ) = [σb , σc ](ξ j δ AC1−1 )
√
√
p
p
= [σb , σc ](ξ j )[σb , σc ]( δ)[σb , σc ]( A)[σb , σc ](C1−1 )
√
√
p
p
= ξ j δ AC1−1
√
p
= σc ( δ )
√
p
= σc [σa , σb ]( δ).
√
√
p
p
Thus [σc , [σb , σc ]]( δ) = δ, as desired.
Claim: [[σa , σb ], [σb , σc ]] = 1.
Proof of Claim: Since G is abelian, [σa , σb ] and [σb , σc ] are in W. Hence [[σa , σb ], [σb , σc ]] = 1
because W is abelian.
An explicit isomorphism ϕ : Gal( M/F) → U4 (F p ) may be defined as






1 0 0 0
1 0 0 0
1 1 0 0




 0 1 0 0
 , σb 7→ 0 1 1 0 , σc 7→ 0 1 0 0 .
σa 7→ 
 0 0 1 1
0 0 1 0 
 0 0 1 0
0 0 0 1
0 0 0 1
0 0 0 1

JÁN MINÁČ AND NGUYỄN DUY TÂN

18


Example 3.8. Let the notation and assumption be as in Lemma 3.4. Let us consider the
α
. (Observe that α + γ 6= 0.) In fact,
case p = 2. In Lemma 3.6, we can choose e =
α+γ
one can easily check that
α
γ α
σa σc (
)=
.
α+γ
αα+γ
(1) If we choose C1 = σc (e) and C2 = e−1 as in Lemma 3.6 part (1), then we have
α2 γ
,
(α + γ)(αγ + b)
(α + γ)(αγ + b)
.
C = Nσa (C2 ) = Nσa (e−1 ) =
bα
α+γ
. In fact, we have
In Lemma 3.4, we can choose δ = e−1 =
α
σc (δ)
= σc (e)−1 e = σc (e)−2 eσc (e) = C1−2 Nσc (e) = AC1−2 ,
δ
σa (δ)
= σa (e−1 )e = e−1 σa (e−1 )e2 = Nσa (e−1 )C2−2 = CC2−2 .
δ
Therefore
s
r
r
√ √ √ √
√
α2 γ
(α + γ)(αγ + b)
α+γ
M = F( b, A, C, δ) = F( b,
,
,
)
(α + γ)(αγ + b)
bα
α
r
√
√
α+γ p
= F( b,
, αγ + b, αγ).
α
A = Nσc (C1 ) = Nσc (e) =

(2) If we choose C1 = e =
then we have

α
γ
and C2 = eB =
as in Lemma 3.6 part (2),
α+γ
α+γ

A = Nσc (C1 ) = Nσc (e) =

α2 γ
,
(α + γ)(αγ + b)

γ2 α
C = Nσa (C2 ) = Nσa (eB) =
.
(α + γ)(αγ + b)
In Lemma 3.4, we can choose δ = (α + γ)−1 . In fact, we have
γ(α + γ)
σc (δ)
=
= AC1−2 ,
δ
αγ + b
σa (δ)
α (α + γ)
=
= CC2−2 .
δ
αγ + b

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

19

Therefore
s

s
α2 γ
αγ2 √
,
, α + γ ).
αγ + b
αγ + b
√
√ √ √
Observe also that M is the Galois closure of E( δ) = F( a, c, α + γ ).

√
√ √ √ √
M = F( b, A, C, δ) = F( b,

3.2. Fields of characteristic not p. Let F0 be an arbitrary field of characteristic 6= p. We
fix a primitive p-th root of unity ξ, and let F = F0 (ξ ). Then F/F0 is a cyclic extension
of degree d = [ F : F0 ]. Observe that d divides p − 1. We choose an integer ℓ such
that dℓ ≡ 1 mod p. Let σ0 be a generator of H := Gal( F/F0 ). Then σ0 (ξ ) = ξ e for an
e ∈ Z \ pZ.
Let χ1 , χ2 , χ3 be elements in Hom(GF0 , F p ) = H 1 (GF0 , F p ). We assume that χ1 , χ2 , χ3
are F p -linearly independent and χ1 ∪ χ2 = χ2 ∪ χ3 = 0. By [MT4, Lemma 2.6], the
homomorphism (χ1 , χ2 , χ3 ) : GF0 → (F p )3 is surjective. Let L0 be the fixed field of ( F0 )s
under the kernel of the surjection (χ1 , χ2 , χ3 ) : GF0 → (F p )3 . Then L0 /F0 is Galois
with Gal( L0 /F0 ) ≃ (F p )3 . We shall construct a Galois extension M0 /F0 such that
Gal( M0 /F0 ) ≃ U4 (F p ) and M0 contains L0 .
The restrictions res GF (χ1 ), res GF (χ2 ), res GF (χ3 ) are elements in Hom(GF , F p ). They
are F p -linearly independent and res GF (χ1 ) ∪ res GF (χ2 ) = res GF (χ2 ) ∪ res GF (χ3 ) = 0.
By Kummer theory there exist a, b, c in F× such that res GF (χ1 ) = χ a , res GF (χ2 ) = χb ,
res GF (χ3 ) = χc . Then we have (a, b) = (b, c) = 0 in H 2 (GF , F p ).
√
√ √
p
Let L = L0 (ξ ). Then L = F( p a, b, p c), and L/F is Galois with Gal( L/F) ≃
Gal( L0 /F0 ) ≃ (F p )3 .
Claim 1: L/F0 is Galois with Gal( L/F0 ) ≃ Gal( F/F0 ) × Gal( L/F).
Proof of Claim: Since L0 /F0 and F/F0 are Galois extensions of relatively prime degrees,
the claim follows.
d−1

We define Φ := ℓ[ ∑ ei σ0−i ] ∈ Z [ H ]. The group ring Z [ H ] acts on F in the obvious
i =0

way, and if we let H act trivially on L0 we get an action on L also. Then Φ determines a
map
Φ : L → L, x 7→ Φ( x ).
For convenience, we shall denote x̃ := Φ( x ).
The claim above implies that Φσ = σΦ for every σ ∈ Gal( L/F).

× )p.
Claim 2: We have ã = a modulo ( F× ) p ; b̃ = b modulo ( F× ) p , c̃ = c modulo ( F√
p
Proof of Claim: A similar
argument as√in the proof of Claim 1 shows that F( a)/F0 √
is
√
p
p
p
Galois with Gal( F( a)/F0 ) = Gal( F( a)/F) × Gal ( F/F0 ). Since both groups Gal
√( F( a )/F)
and Gal( F/F0 ) are cyclic and of coprime orders, we see that the extension F( p a)/F0
is cyclic. By Albert’s result (see [Alb, pages 209-211] and [Wat, Section 5]), we have

JÁN MINÁČ AND NGUYỄN DUY TÂN

20

i

i

σ0 a = ae modulo ( F× ) p . Hence for all integers i, σ0i (a) = ae mod ( F× ) p . Thus σ0−i (ae ) =
a mod ( F× ) p . Therefore, we have
#ℓ
#ℓ "
"
ã = Φ(a) =

d−1

i

∏ σ0−i (ae )
i =0

=

d−1

∏a

= adℓ = a mod ( F× ) p .

i =0

Similarly, we have b̃ = b modulo ( F× ) p , c̃ = c modulo ( F× ) p .
σ0 x̃
d
= σ0 ( x ℓ(1−e )/p ) p ∈ L p .
e
x̃
Proof of Claim: This follows from the following identity in the group ring Z [ H ],

Claim 3: For every x ∈ L, we have
d−1

(σ0 − e)( ∑ ei σ0−i ) = σ0 (1 − ed ) ≡ 0 mod p.
i =0

By our construction of Galois U4 (F p )-extensions over fields containing a primitive pth root of unity (see Subsection 3.1), we have α, γ, B, ..., A, C, δ such that if
we √
let M
:=
√
√
√
√
√
p
p
p
p
p
p
L( A, C, δ), then M/F is a Galois U4 (F p )-extension. We set M̃ := L( Ã, C̃, δ̃).
Claim 4: M̃/F is Galois with Gal( M̃/F) ≃ U4 (F p ).
Proof of Claim: Since Φ commutes with every σ ∈ Gal( L/F), this implies that M̃/F
is Galois. This, together with Claim 2, also implies that Gal( M̃/F) ≃ U4 (F p ) because the construction of M̃ over F is obtained in the same way as in the construction
of M, except that we replace the data { a, b, c, α, γ, B, ...} by their "tilde" counterparts
{ã, b̃, c̃, α̃, γ̃, B̃, ...}.
Claim 5: M̃/F0 is Galois with Gal( M̃/F0 ) ≃ Gal( M̃/F) × Gal( F/F0 ).
Proof of Claim: By Claim 3, we see that σ0 x̃ = x̃ e modulo ( L× ) p for every x̃ in the F p vector subspace W̃ ∗ of L× /( L× ) p generated by Ã, C̃, and δ̃. Hence W̃ ∗ is an F p [Gal( L/F0 )]module. Therefore M̃/F0 is Galois by Kummer theory.
We also have the following exact sequence of groups
1 → Gal( M̃/F) → Gal( M̃/F0 ) → Gal( F/F0 ) → 1.

Since |Gal( M̃/F)| and |Gal( F/F0 )| are coprime, the above sequence is split by SchurZassenhaus’s theorem. (See [Za, IV.7,Theorem 25].) The Galois group Gal( M̃/F0 ) is
the semidirect product of Gal( M̃/F) and H = Gal( F/F0 ), with H acting on Gal( M̃/F)
by conjugation. We need to show that this product is in fact direct, i.e., that the action of H on Gal( M̃/F) is trivial. Note that H has an order coprime to p, and H acts
trivially on Gal( L/F) (see Claim 1) which is the quotient of Gal( M̃/F) by its Frattini
subgroup. Then a result of P. Hall (see [Ha, Theorem 12.2.2]) implies that H acts trivially on Gal( M̃/F).
From the discussion above we obtain the following result.

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

21

Theorem 3.9. Let the notation be as above. Let M0 be the fixed field of M̃ under the subgroup
of Gal( M̃/F0 ) which is isomorphic to Gal( F/F0 ). Then M0 /F0 is Galois with Gal( M0 /F0 ) ≃
Gal( M̃/F) ≃ U4 (F p ), and M0 contains L0 .
Proof. Claim 5 above implies that M0 /F0 is Galois with Gal( M0 /F0 ) ≃ Gal( M̃/F) ≃
U4 (F p ). Since H ≃ Gal( M̃/M0 ) acts trivially on L0 , we see that M0 contains L0 .
Let σ1 := σa | M0 , σ2 := σb | M0 and σ3 := σc | M0 . Then σ1 , σ2 and σ3 generate Gal( M0 /F0 ) ≃
U4 ( Fp ). We also have
χ1 (σ1 ) = 1, χ1 (σ2 ) = 0, χ1 (σ3 ) = 0;
χ2 (σ1 ) = 0, χ2 (σ2 ) = 1, χ2 (σ3 ) = 0;
χ3 (σ1 ) = 0, χ3 (σ2 ) = 0, χ3 (σ3 ) = 1.
(Note that for each i = 1, 2, 3, χi is trivial on Gal( M/M0 ), hence χi (σj ) makes sense for
every j = 1, 2, 3.) An explicit isomorphism ϕ : Gal( M0 /F0 ) → U4 (F p ) may be defined
as






1 0 0 0
1 0 0 0
1 1 0 0




 0 1 0 0
 , σ2 7→ 0 1 1 0 , σ3 7→ 0 1 0 0 .
σ1 7→ 
 0 0 1 1
 0 0 1 0
 0 0 1 0
0 0 0 1
0 0 0 1
0 0 0 1



4. T HE

CONSTRUCTION OF

U4 (F p )- EXTENSIONS : T HE

CASE OF CHARACTERISTIC

p

In this section we assume that F is of characteristic p > 0. Although by a theorem of
Witt (see [Wi] and [Ko, Chapter 9, Section 9.1]), we know that the Galois group of the
maximal p-extension of F is a free pro-p- group, finding specific constructions of Galois
p-extensions over F can still be challenging. The following construction of an explicit
Galois extension M/F with Galois group U4 (F p ) is an analogue of the construction in
Subsection 3.1 when we assumed that a p-th root of unity is in F. However we find
the details interesting, and therefore for the convenience of the reader, we are including
them here. Observe that even the case of the explicit construction of Heisenberg extensions of degree p3 in characteristic p is of interest. In the case when F has characteristic
not p, the constructions of Heisenberg extensions of degree p3 are now classical, important tools in Galois theory. We did not find any such constructions in the literature in
the case of characteristic p. Nevertheless the construction in Subsection 4.2 seems to be
simple, useful and aesthetically pleasing. What is even more surprising is that the field
construction of Galois U4 (F p )-extensions over a field F of characteristic p in Subsection
4.3 is almost equally simple. We have to check more details to confirm the validity of this
construction, but the construction of the required Galois extension M itself, is remarkably simple. The possibility of choosing generators in such a straightforward manner
(as described in Theorem 4.3) is striking. It is interesting that the main construction in
Section 3 carries over with necessary modifications in the case of characteristic p.

22

JÁN MINÁČ AND NGUYỄN DUY TÂN

4.1. A brief review of Artin-Schreier theory. (For more details and the origin of this
beautiful theory, see [ASch].) Let F be a field of characteristic p > 0. Let ℘(X ) = X p − X
be the Artin-Schreier polynomial. For each a in F of characteristic p, we let θa be a root
of ℘(X ) = a. We also denote [ a] F to be the image of a in F/℘( F). For each subgroup
U of F/℘( F), let FU := F(θu : [u] F ∈ U ). Then the map U 7→ FU is a bijection between
subgroups of F/℘( F) and abelian extensions of F of exponent dividing p. There is a
pairing
Gal( FU /F) × U → F p ,

defined by hσ, ai = σ(θa ) − θa , which is independent of the choice of root θa . ArtinSchreier theory says that this pairing is non-degenerate.
Now assume that F/k is a finite Galois extension. The Galois group Gal( F/k) acts naturally on F/℘( F). As an easy exercise, one can show that such an extension FU , where
U is a subgroup of F/℘( F), is Galois over k if and only if U is actually an F p [Gal( F/k)]module.
4.2. Heisenberg extensions in characteristic p > 0. For each a ∈ F, let χ a ∈ Hom(GF , F p )
be the corresponding element associated with a via Artin-Schreier theory. Explicitly, χ a
is defined by
χ a (σ ) = σ (θ a ) − θ a .
Assume that a, b are elements in F, which are linearly independent modulo ℘( F). Let
K = F(θa , θb ). Then K/F is a Galois extension whose Galois group is generated by σa
and σb . Here σa (θb ) = θb , σa (θa ) = θa + 1; σb (θa ) = θa , σb (θb ) = θb + 1.
We set A = bθa . Then
σa ( A) = A + b, and σb ( A) = A.
Proposition 4.1. Let the notation be as above. Let L = K (θ A ). Then L/F is Galois whose
Galois group is isomorphic to U3 (F p ).
Proof. From σa ( A) − A = b ∈ ℘(K ), and σb ( A) = A, we see that σ( A) − A ∈ ℘(K )
for every σ ∈ Gal(K/F). This implies that the extension L := K (θ A )/F is Galois. Let
σ̃a ∈ Gal( L/F) (resp. σ̃b ∈ Gal( L/F)) be an extension of σa (resp. σb ). Since σb ( A) = A,
p
we have σ̃b (θ A ) = θ A + j, for some j ∈ F p . Hence σ̃b (θ A ) = θ A . This implies that σ̃b is
of order p.
On the other hand, we have

℘(σ̃a (θ A )) = σa ( A) = A + b.
Hence σ̃a (θ A ) = θ A + θb + i, for some i ∈ F p . Then
p

σ̃a (θ A ) = θ A + pθb + pi = θ A .

This implies that σ̃a is also of order p. We have
σ̃a σ̃b (θ A ) = σ̃a ( j + θ A ) = i + j + θ A + θb ,
σ̃b σ̃a (θ A ) = σ̃b (i + θ A + θb ) = i + j + θ A + 1 + θb .

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

23

We set σ̃A := σ̃a σ̃b σ̃a−1 σ̃b−1 . Then
σ̃A (θ A ) = θ A − 1.
This implies that σ̃A is of order p and that Gal( L/F) is generated by σ̃a and σ̃b . We also
have
σ̃a σ̃A = σ̃A σ̃a , and σ̃b σ̃A = σ̃A σ̃b .
We can define an isomorphism ϕ : Gal( L/F)



1 1 0
1
σ̃a 7→ 0 1 0 , σ̃b 7→ 0
0 0 1
0

→ U3 (Z/pZ) by letting



0 0
1 0 1
1 1 , σ̃A 7→ 0 1 0 .
0 1
0 0 1

Note that [ L : F] = p3 . Hence there are exactly p extensions of σa ∈ Gal(K/F) to the
automorphisms in Gal( L/F) since [ L : K ] = p3 /p2 = p. Therefore for later use, we can
choose an extension of σa ∈ Gal(K/F), which we shall denote σa ∈ Gal( L/F) with a
slight abuse of notation, in such a way that σa (θ A ) = θ A + θb .

Remark 4.2. It is interesting to compare our choices of generators A of Heisenberg extensions over given bicyclic extensions in the case of characteristic p and the case when
the base field in fact contains a primitive p-th root of unity. See the proofs of Proposition 2.2 and the proposition above. Although the form of A in Proposition 2.2 is more
complicated than the strikingly simple choice above, the basic principle for the search
of a suitable A is the same in both cases. We
need to guarantee that σa ( A)/A ∈ (K × ) p
√
and σa ( A) − A ∈ ℘(K ) in order that K ( p A) and K (θ A ) are Galois over F. Further,
in order to guarantee that σa and σb will not commute, we want σa ( A)/A = bk p , for
some k ∈ K × , where σb acts trivially on k. Similarly in the characteristic p case we want
σa ( A) − A = b + ℘(k), where σb (k) = k. If char( F) = p, then this is always possible in a
simple way above with k even being 0. (See also [JLY, Appendix A.1, Example], where
the authors discuss a construction of quaternion Q8 -extensions over fields of characteristic 2.) In the case when F contains a primitive p-th root of unity, the search for a
suitable A leads to the norm condition NF ( √
p a ) /F (α ) = b. For some related considerations see [MS1, Section 2].
4.3. Construction of Galois U4 (F p )-extensions. We assume that we are given elements
a, b and c in F such that a, b and c are linearly independent modulo ℘( F). We shall construct a Galois U4 (F p )-extension M/F such that M contains F(θa , θb , θc ).
First we note that F(θa , θb , θc )/F is a Galois extension with Gal( F(θa , θb , θc )/F) generated by σa , σb , σc . Here
σa (θa ) = 1 + θa , σa (θb ) = θb , σa (θc ) = θc ;
σb (θa ) = θa , σb (θb ) = 1 + θb , σb (θc ) = θc ;
σc (θa ) = θa , σc (θb ) = θb , σc (θc ) = 1 + θc .

JÁN MINÁČ AND NGUYỄN DUY TÂN

24

Recall that A = bθa . We set C := bθc . We set δ := ( AC)/b = bθa θc ∈ E := F(θa , θc ).
Then we have
σa (δ) − δ = bσa (θa )σa (θc ) − bθa θc = b[σa (θa ) − θa ]θc = bθc = C,
σc (δ) − δ = bσc (θa )σc (θc ) − bθa θc = bθa [σc (θc ) − θc ] = bθa = A.

Finally set G := Gal(E/F).

Theorem 4.3. Let M := E(θδ , θ A , θC , θb ). Then M/F is a Galois extension, M contains
F(θa , θb , θc ), and Gal( M/F) ≃ U4 (F p ).

Proof. Let W ∗ be the F p -vector space in E/℘(E) generated by [b] E , [ A] E , [C] E and [δ] E .
Since
σc (δ) = δ + A,
σa (δ) = δ + C,
σa ( A) = A + b,
σc (C) = C + b,
we see that W ∗ is in fact an F p [ G ]-module. Hence M/F is a Galois extension by ArtinSchreier theory.
Claim: dimF p (W ∗ ) = 4. Hence [ L : F] = [ L : E][ E : F] = p4 p2 = p6 .
Proof of Claim: From our hypothesis that dimF p h[ a] F , [b] F , [c] F i = 3, we see that h[b] E i ≃
F p.
Clearly, h[b] E i ⊆ (W ∗ )G . From the relation

[σa ( A)] E = [ A] E + [b] E ,

we see that [ A] E is not in (W ∗ )G . Hence dimF p h[b] E , [ A] E i = 2.
From the relation
[σc (C)] E = [C] E + [b] E ,
we see that [C] E is not in (W ∗ )σc . But we have h[b] E , [ A] E i ⊆ (W ∗ )σc . Hence
dimF p h[b] E , [ A] E , [C] E i = 3.

Observe that the element (σa − 1)(σc − 1) annihilates the F p [ G ]-module h[b] E , [ A] E , [C] E i,
while
(σa − 1)(σc − 1)[δ] E = σa ([ A] E ) − [ A] E = [b] E ,

we see that

dimF p W ∗ = dimF p h[b] E , [ A] E , [C] E , [δ] E i = 4.
Let H a,b = F(θa , θ A , θb ) and H b,c = F(θc , θC , θb ). Let
N := H a,b H b,c = F(θa , θc , θb , θ A , θC ) = E(θb , θ A , θC ).

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

25

Then N/F is a Galois extension of degree p5 . This is because Gal( N/E) is dual to the
F p [ G ]-submodule h[b] E , [ A] E , [C] E i via Artin-Schreier theory, and the proof of the claim
above shows that dimF p h[b] E , [ A] E , [C] E i = 3. We have the following commutative diagram
Gal( N/F)

//

Gal( H a,b /F)



Gal( H b,c /F)


//

Gal( F(θb )/F).

So we have a homomorphism η from Gal( N/F) to the pull-back Gal( H b,c /F) ×Gal ( F (θb )/F )
Gal( H a,b /F):
η : Gal( N/F) −→ Gal( H b,c /F) ×Gal( F (θb )/F ) Gal( H a,b /F),

which make the obvious diagram commute. We claim that η is injective. Indeed, let σ
be an element in ker η. Then σ | H a,b = 1 in Gal( H a,b /F), and σ | H b,c = 1 in Gal( H b,c /F).
Since N is the compositum of H a,b and H b,c , this implies that σ = 1, as desired.
Since |Gal( H b,c /F) ×Gal( F (θb )/F ) Gal( H a,b /F)| = p5 = |Gal( N/F)|, we see that η is
actually an isomorphism. As in the proof of Proposition 4.1, we can choose an extension
σa ∈ Gal( H a,b /F) of σa ∈ Gal( F(θa , θb )/F) in such a way that
σa (θ A ) = θ A + θb .

Since the square commutative diagram above is a pull-back, we can choose an extension
σa ∈ Gal( N/F) of σa ∈ Gal( H a,b /F) in such a way that
σa | H b,c = 1.

Now we can choose any extension σa ∈ Gal( M/F) of σa ∈ Gal( N/F). Then we have
σa (θ A ) = θ A + θb and σa | H b,c = 1.

Similarly, we can choose an extension σc ∈ Gal( M/F) of σc ∈ Gal( F(θb , θc )/F) in
such a way that
σc (θC ) = θC + θb , and σc | H a,b = 1.
We define σb ∈ Gal( M/E) to be the element which is dual to [b] E via Artin-Schreier
theory. In other words, we require that
σb (θb ) = 1 + θb ,
and σb acts trivially on θ A , θC and θδ . We consider σb as an element in Gal( M/F), then
it is clear that σb is an extension of σb ∈ Gal( F(θa , θb , θc )/F). Let W = Gal( M/E), and
let H = Gal( M/F), then we have the following exact sequence
1 → W → H → G → 1.

By Artin-Schreier theory, it follows that W is dual to W ∗ , and hence W ≃ (Z/pZ )4 . In
particular, we have | H | = p6 .

JÁN MINÁČ AND NGUYỄN DUY TÂN

26

Recall that from [BD, Theorem 1], we know that the group U4 (F p ) has a presentation with generators s1 , s2 , s3 subject to the relations (R) displayed in the proof of Theorem 3.7. Note that |Gal( M/F)| = p6 . So in order to show that Gal( M/F) ≃ U4 (F p ),
we shall show that σa , σb and σc generate Gal( M/F) and they satisfy these relations (R).
The proofs of the following claims are similar to the proofs of analogous claims in the
proof of Theorem 3.7. Therefore we shall omit them.
Claim:
Claim:
Claim:
Claim:
Claim:
Claim:
Claim:
Claim:

The elements σa , σb and σc generate Gal( M/F).
The order of σa is p.
The order of σb is p.
The order of σc is p.
[σa , σc ] = 1.
[σa , [σa , σb ]] = [σb , [σa , σb ]] = 1.
[σb , [σb , σc ]] = [σc , [σb , σc ]] = 1.
[[σa , σb ], [σb , σc ]] = 1.

An explicit isomorphism ϕ : Gal( M/F) → U4 (F p ) may be defined as
1
0
σa 7→ 
0
0


1
1
0
0

0
0
1
0


0
0
 , σb 7→
0
1

1
0

0
0


0
1
0
0

0
1
1
0

5. T RIPLE M ASSEY


0
0
 , σc 7→
0
1

1
0

0
0


0
1
0
0

0
0
1
0


0
0
.
1
1



PRODUCTS

Let G be a profinite group and p a prime number. We consider the finite field F p
as a trivial discrete G-module. Let C • = (C• (G, F p ), ∂, ∪) be the differential graded
algebra of inhomogeneous continuous cochains of G with coefficients in F p (see [NSW,
Ch. I, §2] and [MT1, Section 3]). For each i = 0, 1, 2, . . ., we write H i (G, F p ) for the
corresponding cohomology group. We denote by Z1 (G, F p ) the subgroup of C1 (G, F p )
consisting of all 1-cocycles. Because we use trivial action on the coefficients F p , we have
Z1 (G, F p ) = H 1 (G, F p ) = Hom(G, F p ). Let x, y, z be elements in H 1 (G, F p ). Assume
that
x ∪ y = y ∪ z = 0 ∈ H 2 (G, F p ).
In this case we say that the triple Massey product h x, y, zi is defined. Then there exist
cochains a12 and a23 in C1 (G, F p ) such that
∂a12 = x ∪ y and ∂a23 = y ∪ z,

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

27

in C2 (G, F p ). Then we say that D := { x, y, z, a12 , a23 } is a defining system for the triple
Massey product h x, y, zi. Observe that
∂( x ∪ a23 + a12 ∪ z) = ∂x ∪ a23 − x ∪ ∂a23 + ∂a12 ∪ z − a12 ∪ ∂z

= 0 ∪ a23 − x ∪ (y ∪ z) + ( x ∪ y) ∪ z − a12 ∪ 0
= 0 ∈ C2 (G, F p ).

Therefore x ∪ a23 + a12 ∪ z is a 2-cocycle. We define the value h x, y, ziD of the triple
Massey product h x, y, zi with respect to the defining system D to be the cohomology
class [ x ∪ a23 + a12 ∪ z] in H 2 (G, F p ). The set of all values h x, y, ziD when D runs over
the set of all defining systems, is called the triple Massey product h x, y, zi ⊆ H 2 (G, F p ).
Note that we always have

h x, y, zi = h x, y, ziD + x ∪ H 1 (G, F p ) + H 1 (G, F p ) ∪ z.

We also have the following result.

Lemma 5.1. If the triple Massey products h x, y, zi and h x, y′ , zi are defined, then the triple
Massey product h x, y + y′ , zi is defined, and

h x, y + y′ , zi = h x, y, zi + h x, y′ , zi.

′ , a′ }) be a defining system for h x, y, zi
Proof. Let { x, y, z, a12 , a23 } (respectively { x, y′ , z, a12
23
′ , a + a′ } is a defining system for
(respectively h x, y′ , zi). Then{ x, y + y′ , z, a12 + a12
23
23
′
h x, y + y , zi. We also have

h x, y, zi + h x, y′ , zi =[ x ∪ a23 + a12 ∪ z] + x ∪ H 1 (G, F p ) + H 1 (G, F p ) ∪ z

′
′
+ [ x ∪ a23
+ a12
∪ z] + x ∪ H 1 (G, F p ) + H 1 (G, F p ) ∪ z

′
′
=[ x ∪ (a23 + a23
) + (a12 + a12
) ∪ z] + x ∪ H 1 (G, F p ) + H 1 (G, F p ) ∪ z

as desired.

=h x, y + y′ , zi,



The following lemma is a special case of a well-known fact (see [Fe, Lemma 6.2.4 (ii)])
but for the sake of convenience we provide its proof.
Lemma 5.2. If the triple Massey product h x, y, ziis defined, then for any λ ∈ F p the triple
Massey product h x, λy, zi is defined, and

h x, λy, zi ⊇ λh x, y, zi.

Proof. Let D = { x, y, z, a12 , a23 } be any defining system for h x, y, zi. Clearly D ′ :=
{ x, λy, z, λa12 , λa23 } is a defining system for h x, λy, zi, and
λh x, y, ziD = λ[ x ∪ a23 + a12 ∪ z] = [ x ∪ (λa23 ) + (λa12 ) ∪ z] = h x, λy, ziD′ .

Therefore λh x, y, zi ⊆ h x, λy, zi.



28

JÁN MINÁČ AND NGUYỄN DUY TÂN

A direct consequence of Theorems 3.7, 3.9 and 4.3, is the following result which
roughly says that every "non-degenerate" triple Massey product vanishes whenever it
is defined.
Proposition 5.3. Let F be an arbitrary field. Let χ1 , χ2 , χ3 be elements in Hom(GF , F p ). We
assume that χ1 , χ2 , χ3 are F p -linearly independent. If the triple Massey product hχ1 , χ2 , χ3 i is
defined, then it contains 0.
Proof. Let L be the fixed field of ( F)s under the kernel of the surjection (χ1 , χ2 , χ3 ) : GF →
(F p )3 . Then Theorems 3.7, 3.9 and 4.3 imply that L/F can be embedded in a Galois
U4 (F p )-extension M/F. Moreover there exist σ1 , σ2 , σ3 in Gal( M/F) such that they generate Gal( M/F), and
χ1 (σ1 ) = 1, χ1 (σ2 ) = 0, χ1 (σ3 ) = 0;
χ2 (σ1 ) = 0, χ2 (σ2 ) = 1, χ2 (σ3 ) = 0;
χ3 (σ1 ) = 0, χ3 (σ2 ) = 0, χ3 (σ3 ) = 1.
(Note that for each i = 1, 2, 3, χi is trivial on Gal( M/M0 ), hence χi (σj ) makes sense for
every j = 1, 2, 3.) An explicit isomorphism ϕ : Gal( M/F) → U4 (F p ) can be defined as






1 0 0 0
1 0 0 0
1 1 0 0




 0 1 0 0
 , σ2 7→ 0 1 1 0 , σ3 7→ 0 1 0 0 .
σ1 7→ 
 0 0 1 1
 0 0 1 0
 0 0 1 0
0 0 0 1
0 0 0 1
0 0 0 1
ϕ

Let ρ be the composite homomorphism ρ : Gal F → Gal( M/F) ≃ U4 (F p ). Then one can
check that
ρ12 = χ1 , ρ23 = χ2 , ρ34 = χ3 .
(Since all the maps ρ, χ1 , χ2 , χ3 factor through Gal( M/F), it is enough to check these
equalities on elements σ1 , σ2 , σ3 .) This implies that h−χ1 , −χ2 , −χ3 i contains 0 by [Dwy,
Theorem 2.4]. Hence hχ1 , χ2 , χ3 i also contains 0.


For the sake of completeness we include the following proposition, which together
with Proposition 5.3, immediately yields a full new proof for a result which was first
proved by E. Matzri [Ma]. Matzri’s result says that defined triple Massey products vanish over all fields containing a primitive p-th root of unity. Alternative cohomological
proofs for Matzri’s result are in [EMa2] and [MT5]. Our new proof given in this section
of the crucial "non-degenerate" part of this result (see Proposition 5.3), which relies on
explicit constructions of U4 (F p )-extensions, is a very natural proof because of Dwyer’s
result [Dwy, Theorem 2.4]. Observe that in [MT5] we extended this result to all fields.
Proposition 5.4. Assume that dimF p h[ a] F , [b] F , [c] F i ≤ 2. Then if the triple Massey product
hχa , χb , χc i is defined, then it contains 0.

Proof. We can also assume that a, b and c are not in ( F× ) p . The case that p = 2, was
treated in [MT1]. So we shall assume that p > 2.

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

29

Case 1: Assume that a and c are linearly dependent modulo ( F× ) p . This case is considered in [MT5, Proof of Theorem 4.10]. We include a proof here for the convenience of
the reader. Let ϕ = { ϕ ab , ϕbc } be a defining system for hχ a , χb , χc i. We have
resker χ a (hχ a , χb , χc i ϕ ) = res ker χ a (χ a ∪ ϕbc + ϕ ab ∪ χc )

= res ker χa (χa ) ∪ res ker χa ( ϕbc ) + res ker χa ( ϕ ab ) ∪ res ker χa (χc )
= 0 ∪ res ker χa ( ϕbc ) + res ker χa ( ϕ ab ) ∪ 0
= 0.

Then [Se1, Chapter XIV, Proposition 2], hχ a , χb , χc i ϕ = χ a ∪ χ x for some x ∈ F× . This
implies that hχ a , χb , χc i contains 0.
Case 2: Assume that a and c are linearly independent. Then [b] F is in h[ a] F , [c] F i. Hence
there exist λ, µ ∈ F p such that
χb = λχ a + µχc .
Then we have

hχa , χb , χc i = hχa , λχa , χc i + hχa , µχc , χc i ⊇ λhχa , χa , χc i + µhχa , χc , χc i.

(The equality follows from Lemma 5.1 and the inequality follows from Lemma 5.2.) By
[MT5, Theorem 5.9] (see also [MT5, Proof of Theorem 4.10, Case 2]), hχ a , χ a , χc i and
hχa , χc , χc i both contain 0. Hence hχa , χb , χc i also contains 0.


Theorem 5.5. Let p be an arbitrary prime and F any field. Then the following statements are
equivalent.
(1) There exist χ1 , χ2 , χ3 in Hom(GF , F p ) such that they are F p -linearly independent, and
if charF 6= p then χ1 ∪ χ2 = χ2 ∪ χ3 = 0.
(2) There exists a Galois extension M/F such that Gal( M/F) ≃ U4 (F p ).
Moreover, assume that (1) holds, and let L be the fixed field of ( F)s under the kernel of the
surjection (χ1 , χ2 , χ3 ) : GF → (F p )3 . Then in (2) we can construct M/F explicitly such that
L is embedded in M.
If F contains a primitive p-th root of unity, then the two above conditions are also equivalent
to the following condition.
√ √
√
p
(3) There exist a, b, c ∈ F× such that [ F( p a, b, p c) : F] = p3 and (a, b) = (b, c) = 0.
If F of characteristic p, then the two above conditions (1)-(2) are also equivalent to the following
condition.
(3’) There exist a, b, c ∈ F× such that [ F(θa , θb , θc ) : F] = p3 .

Proof. The implication that (1) implies (2), follows from Theorems 3.7, 3.9 and 4.3.

Now assume that (2) holds. Let ρ be the composite ρ : GF ։ Gal( M/F) ≃ U4 (F p ).
Let χ1 := ρ12 , χ2 := ρ23 and χ3 := ρ34 . Then χ1 , χ2 , χ3 are elements in Hom(GF , F p ),

JÁN MINÁČ AND NGUYỄN DUY TÂN

30

and (χ1 , χ2 , χ3 ) : GF → (F p )3 is surjective. This implies that χ1 , χ2 , χ3 are F p -linearly
independent by [MT4, Lemma 2.6].
On the other hand, since ρ is a group homomorphism, we see that
Therefore (1) holds.

χ1 ∪ χ2 = χ2 ∪ χ3 = 0.

Now we assume that F contains a primitive p-th root of unity. Note that for any a, b ∈
F× , χ a ∪ χb = 0, if and only if (a, b) = 0 (see Subsection 2.1). Then (1)
is equivalent to (3)
√
√
√
p
p
by Kummer theory in conjunction with an observation that [ F( a, b, p c) : F] = p3 , if
and only if χ a , χb , χc are F p -linearly independent.
Now we assume that F of characteristic p > 0. Then (1) is equivalent to (3’) by ArtinSchreier theory in conjunction with an observation that [ F(θa , θb , θc ) : F] = p3 , if and
only if χ a , χb , χc are F p -linearly independent.

R EFERENCES
[Alb]
[AS]
[ASch]
[BD]
[BT1]
[BT2]
[Co]
[CEM]
[CMS]
[DGMS]
[DMSS]
[Dwy]
[Ef]
[EMa1]

A. A. Albert, Modern Higher Algebra, University of Chicago Press, Chicago, 1937.
S. A. Amitsur and D. Saltman, Generic abelian crossed products and p-algebras, J. Algebra 51 (1)
(1978), 76-87.
E. Artin and O. Schreier, Eine Kennzeichnung der reell abgeschlossenen K orper, Abh. Math. Sem.
Univ. Hamburg 5 (1927) pp. 225-231. Reprinted in: Artin’s Collected Papers (Eds. S. Lang
and J. Tate), Springer-Verlag, New York, 1965, pp. 289-295.
D. K. Biss and S. Dasgupta, A presentation for the unipotent group over rings with identity, J.
Algebra 237 (2001), 691-707.
F. Bogomolov and Y. Tschinkel, Reconstruction of higher-dimensional function fields, Moscow
Math. Journal 11, no. 2 (2011), 185-204.
F. Bogomolov and Y. Tschinkel, Introduction to birational anabelian geometry, Current developments in algebraic geometry, 17-63, Math. Sci. Res. Inst. Publ., 59, Cambridge Univ. Press,
Cambridge, 2012.
I. G. Connell, Elementary generalizations of Hilbert’s theorem 90, Canad. Math. Bull. 8 (1965),
749-757.
S. K. Chebolu, I. Efrat and J. Mináč, Quotients of absolute Galois groups which determine the entire
Galois cohomology, Math. Ann. 352 (2012), no. 1, 205-221.
S. K. Chebolu, J. Mináč and A. Schultz, Galois p-groups and Galois modules, to appear in Rocky
Mountain J. Math., arXiv:1411.6495.
P. Deligne, P. Griffiths, J. Morgan and D. Sullivan, Real homotopy theory of Kähler manifolds,
Invent. Math. 29 (1975), 245-274.
R. Dwilewicz, J. Mináč, A. Schultz and J. Swallow, Hilbert 90 for biquadratic extensions, American Mathematical Monthly 114 (7) (2007), 577-587.
W. G. Dwyer, Homology, Massey products and maps between groups, J. Pure Appl. Algebra 6
(1975), no. 2, 177-190.
I. Efrat, The Zassenhaus filtration, Massey products, and representations of profinite groups, Adv.
Math. 263 (2014), 389-411.
I. Efrat and E. Matzri, Vanishing of Massey products and Brauer groups, Can. Math. Bull. 58
(2015), 730-740.

CONSTRUCTION OF UNIPOTENT GALOIS EXTENSIONS AND MASSEY PRODUCTS

[EMa2]
[EM1]
[EM2]
[Fe]
[Ga]
[GLMS]
[GS]
[Ha]
[HW]
[Je]
[JLY]
[Ko]
[La]
[M]
[MNg]
[Ma]
[McL]
[Me]
[Mi1]
[Mi2]
[MZ]
[MSp]
[MS1]
[MS2]
[MSS]
[MT1]

31

I. Efrat and E. Matzri, Triple Massey products and absolute Galois groups, to appear in J. Eur.
Math. Soc., arXiv:1412.7265.
I. Efrat and J. Mináč, On the descending central sequence of absolute Galois groups, Amer. J. Math.
133 (2011), no. 6, 1503-1532.
I. Efrat and J. Mináč, Galois groups and cohomological functors, to appear in Trans. Amer. Math.
Soc., DOI:http://dx.doi.org/10.1090/tran/6724, arXiv:1103.1508v1.
R. Fenn, Techniques of Geometric Topology, London Math. Soc. Lect. Notes 57, Cambridge 1983.
J. Gärtner, Higher Massey products in the cohomology of mild pro-p-groups J. Algebra 422 (2015),
788-820.
W. Gao, D. Leep, J. Mináč and T. L. Smith, Galois groups over nonrigid fields, Proceedings of
the International Conference on Valuation Theory and its Applications, Vol. II (Saskatoon,
SK, 1999), 61-77, Fields Inst. Commun., 33, Amer. Math. Soc., Providence, RI, 2003.
H. G. Grundman and T. L. Smith, Galois realizability of groups of order 64, Cent. Eur. J. Math.
8(5) (2010), 846-854.
M. Hall, The Theory of Groups, The Macmillan Company, New York, 1963.
M. Hopkins and K. Wickelgren, Splitting varieties for triple Massey products, J. Pure Appl.
Algebra 219 (2015), 1304-1319.
C. U. Jensen, Finite groups as Galois groups over arbitrary fields, Proceedings of the International
Conference on Algebra, Part 2 (Novosibirsk, 1989) Contemp. Math., vol. 131, Amer. Math.
Soc., Providence, RI, 1992, pp. 435-448.
C. U. Jensen, A. Ledet and N. Yui, Generic Polynomials: Constructive Aspects of the Inverse Galois
Problem, MSRI Publications Volume 45, Cambridge University Press, 2002.
H. Koch, Galois theory of p-extensions, Springer Monographs in Mathematics (2001).
J. Labute, Linking Numbers and the Tame Fontaine-Mazur Conjecture, Ann. Math. Québec (2014),
38: 61-71.
R. Massy, Construction de p-extensions galoisiennes d’un corps de caractéristique différente de p, J.
Algebra 109 (1987), no. 2, 508-535.
R. Massy, and T. Nguyen-Quang-Do, Plongement d’une extension de degré p2 dans une surextension non abélienne de degré p3 : étude locale-globale, J. Reine Angew. Math. 291 (1977), 149-161.
E. Matzri, Triple Massey products in Galois cohomology, preprint (2014), arXiv:1411.4146.
C. McLeman, p-tower groups over quadratic imaginary number fields, Ann. Sci. Math. Québec 32
(2008), no. 2, 199-209.
A. S. Merkurjev, Certain K-cohomology groups of Severi-Brauer varieties, Proc. Symp. Pure Math.
58.2 (1995), 319-331.
I. M. Michailov, Four non-abelian groups of order p4 as Galois groups, J. Algebra 307 (2007),
287-299.
I. M. Michailov, Galois realizability of groups of orders p5 and p6 , Cent. Eur. J. Math. 11(5) (2013),
910-923
I. M. Michailov and N. P. Ziapkov, On realizability of p-groups as Galois groups, Serdica Math.
J. 37 (2011), 173-210.
J. Mináč and M. Spira, Witt rings and Galois groups, Ann. of Math. (2) 144 (1996), no. 1, 35-60.
J. Mináč and J. Swallow, Galois module structure of pth-power classes of extensions of degree p,
Israel J. Math. 138 (2003), 29-42.
J. Mináč and J. Swallow, Galois embedding problems with cyclic quotient of order p, Israel J. Math.
145 (2005), 93-112.
J. Mináč, A. Schultz and J. Swallow, Automatic realizations of Galois groups with cyclic quotient
of order pn , J. Théor. Nombres Bordeaux 20 (2008), no. 2, 419-430.
J. Mináč and N. D. Tân, Triple Massey products and Galois theory, to appear in J. Eur. Math.
Soc., arXiv:1307.6624.

JÁN MINÁČ AND NGUYỄN DUY TÂN

32

[MT2]
[MT3]
[MT4]
[MT5]
[NSW]
[NQD]
[Pop]
[Sch]
[Se1]
[Se2]
[Se3]
[Sha]
[Vi]
[Voe1]
[Voe2]
[Wat]
[Wh]
[Wi]
[Za]

J. Mináč and N. D. Tân, The Kernel Unipotent Conjecture and Massey products on an odd rigid
field (with an appendix by I. Efrat, J. Mináč and N. D. Tân), Adv. Math. 273 (2015), 242-270.
J. Mináč and N. D. Tân, Triple Massey products over global fields, Doc. Math 20 (2015) 1467-1480.
J. Mináč and N. D. Tân, Counting Galois U4 (F p )-extensions using Massey products,
preprint(2014), arXiv:1408.2586.
J. Mináč and N. D. Tân, Triple Massey products vanish over all fields, to appear in J. London
Math. Soc, arXiv:1412.7611.
J. Neukirch, A. Schmidt and K. Wingberg, Cohomology of number fields, Grundlehren der
Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 323,
Springer-Verlag, Berlin, 2000.
T. Nguyen Quang Do, Étude Kummerienne de la q-suite centrale descendante d’un group de Galois,
Publ. Math. Besançon. Algèbre et théorie des nombres, vol. 2012/2, Presses Univ. FrancheComté, Besançon, 2012, 123-139.
F. Pop, On the birational anabelian program initiated by Bogomolov I, Invent. Math. 187 (2012),
no. 3, 511-533.
A. Schultz, Parameterizing solutions to any Galois embedding problem over Z/pn Z with elementary p-abelian kernel, J. Algebra 411 (2014), 50-91.
J.-P. Serre, Local fields, translated from the French by M. J. Greenberg, Graduate Texts in
Mathematics, 67, Springer-Verlag, New York-Berlin, 1979.
J.-P. Serre, Galois cohomology, translated from the French by P. Ion and revised by the author, corrected reprint of the 1997 English edition, Springer Monographs in Mathematics,
Springer-Verlag, Berlin, 2002.
J.-P. Serre, Topics in Galois Theory, Second edition, Research Notes in Mathematics, vol. 1, A
K Peters Ltd., Wellesley, MA, 2008. With notes by Henri Darmon.
R. Sharifi, Twisted Heisenberg representations and local conductors, Ph.D. thesis, The University
of Chicago (1999).
F. R. Villegas, Relations between quadratic forms and certain Galois extensions, a manuscript, Ohio
State University, 1988, http://www.math.utexas.edu/users/villegas/osu.pdf.
V. Voevodsky, Motivic cohomology with Z/2-coefficients, Publ. Math. Inst. Hautes Études Sci.
No. 98 (2003), 59-104.
V. Voevodsky, On motivic cohomology with Z/l-coefficients, Ann. of Math. (2) 174 (2011), no. 1,
401-438.
W. C. Waterhouse, The normal closures of certain Kummer extensions, Canad. Math. Bull. 37
(1994), no. 1, 133-139.
G. Whaples, Algebraic extensions of arbitrary fields, Duke Math. J. 24 (1957), 201- 204.
E. Witt, Konstruktion von galoisschen Körpern der Charakteristik p zu vorgegebener Gruppe der
Ordnung p f , J. Reine Angew. Math. 174 (1936), 237-245.
H. Zassenhaus, The Theory of Groups, Chelsea Publishing Company, 1949.

D EPARTMENT OF M ATHEMATICS , W ESTERN U NIVERSITY, L ONDON , O NTARIO , C ANADA N6A 5B7
E-mail address: minac@uwo.ca
D EPARTMENT OF M ATHEMATICS , W ESTERN U NIVERSITY,
AND I NSTITUTE OF M ATHEMATICS , V IETNAM A CADEMY OF
Q UOC V IET, 10307, H ANOI - V IETNAM
E-mail address: duytan@math.ac.vn

L ONDON , O NTARIO , C ANADA N6A 5B7
S CIENCE AND T ECHNOLOGY, 18 H OANG

