arXiv:1803.07177v1 [] 19 Mar 2018

Flat manifolds with homogeneous holonomy
representation
R. Lutowski
Abstract
We show that a rational holonomy representation of any flat manifold except torus must have at least two non-equivalent irreducible
subrepresentations.

1

Introduction

Let n ∈ N. Let Γ ⊂ Isom(Rn ) be a crystallographic group, i.e. a discrete and
co-compact subgroup if isometries of the n-dimensional euclidean space Rn .
By Bieberbach theorems Γ ﬁts into the following short exact sequence
π

0 −→ M −→ Γ −→ G −→ 1

(1.1)

where G is a ﬁnite group and M is a maximal abelian normal subgroup of
Γ. Moreover, M is free abelian group of rank n and it admits a structure of
a faithful G-module, deﬁned by the conjugations in Γ. The representation
ϕ : G → GL(M) which corresponds to this module is called the integral
holonomy representation of Γ.
If Γ is torsion-free we call it a Bieberbach group. In this case the orbit
space X = Rn /Γ is a closed Riemannian manifold with sectional curvature
equal to zero, a flat manifold for short. Moreover Γ, which is isomorphic to
the fundamental group of X, determines the manifold up to aﬃne equivalence. It is worth to notice that the holonomy representation of X is equivalent to ϕ over the ﬁeld of real numbers.
We will say that G-module M is homogeneous if QG-module Q ⊗Z M has
only one homogeneous component, i.e. all of its irreducible submodules are
isomorphic. In the case when Γ is torsion-free and M is homogeneous, we
will call X a homogeneous flat manifold.
In this paper we prove the following theorem:
Theorem. The only homogeneous flat manifolds are flat tori.
1

The theorem is a generalization of the result presented in [4] where the
authors consider the case of Q ⊗Z M being irreducible.

2

Lattices

Remark 2.1. Since we consider tensor product over integers only, we will
omit the subscript Z from now on.
Let G be a ﬁnite group. For the convenience of our further considerations
we introduce a notion of a G-lattice, i.e. a G-module which is a free Z-module
of ﬁnite rank. A G-submodule M ′ of M is called a sublattice if it is pure as Zsubmodule. As a consequence of this deﬁnition, we will call M an irreducible
lattice if its only submodule of lower rank is 0 or, equivalently, Q ⊗ M is a
simple QG-module. This approach allows us to build a descending chain
M = Mk ⊃ Mk−1 ⊃ . . . ⊃ M0 = 0
of G-modules such that Mi−1 is a maximal sublattice of Mi and hence
Mi /Mi−1 is an irreducible G-lattice, for i = 1, . . . , k. Hence we can speak
about composition series and composition factors for lattices (see [2, §73] for
more detailed description).

3

Reduction

As in the previous section, let G be a ﬁnite group. For any G-lattice M
denote by Irr(G, M) the set of irreducible characters arising from constituents
of C ⊗ M. Note that if M is a homogeneous G-lattice and S is a composition
factor of M then Irr(G, M) = Irr(G, S). We immediately get the following
generalization of [4, Lemma 2.1]:
Lemma 3.1. Let M be a homogeneous G-lattice. Let p be a prime and Zp
– the ring of p-adic integers. Suppose that Zp ⊗ M contains an indecomposable direct summand in the principal Zp G-block. Then every irreducible
constituent of C ⊗ M is in the principal p-block of G.
Let Γ be a crystallographic group which ﬁts into the sequence (1.1) and
let α ∈ H 2 (G, M) be the cohomology class corresponding to this extension.
Then Γ is torsion-free if and only if α is special, i.e. the restriction of α to
every subgroup of G of prime order is non-zero (see [1, Theorem III.2.1] for
example).
Note that in the [4, Lemma 2.2] the irreducibility of a lattice was only
needed to use [4, Lemma 2.1]. Hence we can generalize it to the homogeneous
case:
2

Lemma 3.2. Let M be a homogeneous G-lattice such that H 2 (G, M) contains
a special element. Let S denote a simple component in the socle Soc(G) (the
product of minimal normal subgroups) of G. Then we have:
(a) If ϑ ∈ Irr(G, M), then ϑ is in the principal p-block for every prime p
dividing |G|.
(b) If ψ ∈ Irr(S, M), then ψ is in the principal p-block for every prime p
dividing |G|.
(c) Let p be a prime dividing |S| such that a Sylow p-subgroup of S is
cyclic. Then there is Θ ∈ Irr(S, M) which has the following position on
the oriented Brauer tree:

(3.1)
1S

Θ

Denote by S(G) the set of those complex irreducible characters χ of G
such that for every prime p dividing |G|:
(1) χ is in the principal p-block;
(2) If Sylow p-subgroup of G is cyclic, then χ has the position given by the
position of Θ on the Brauer tree (3.1) of the principal p-block.
The base ﬁnding of [4], giving its main result, may be stated as follows:
Proposition 3.3 ([4, Section 3]). Let S be a non-abelian finite simple group.
Then S(S) = ∅.
Since for every ﬁnite group its socle is a product of simple groups, we
immediately get the following corollary.
Corollary 3.4. Let M be a homogeneous G-lattice such that H 2 (G, M) contains a special element. Then Soc(G) is a product of elementary abelian
groups.

3

4

Proof of the Theorem

In the case of non p-groups of the proof we follow [4, Section 4].
Let n ∈ N, Γ ⊂ Isom(Rn ) be a Bieberbach group which ﬁts into the short
exact sequence (1.1) and X = Rn /Γ be a homogeneous ﬂat manifold, i.e. M
is a homogeneous G-lattice. Denote by χ its character.
Assume that G is a non-trivial group. Then Soc(G) is non-trivial. Now
take any prime p dividing | Soc(G)| and a Sylow p-subgroup N of Soc(G).
By Corollary 3.4 N is characteristic in the socle, hence it is normal in G.
If q 6= p is another prime dividing the order of G then, by Lemma 3.2,
every ϑ ∈ Irr(G, M) is in the principal q-block and so, by [3, Lemma IV.4.12],
has N ⊂ Oq′ (G) in its kernel. But if k is the composition length of M then


X
χ = k
ϑ
ϑ∈Irr(G,M )

has N in its kernel and M is not a faithful G-module.
On the other hand, if G is a p-group and C is a cyclic and normal subgroup
of G then, by the Cliﬀord’s theorem (see [2, Theorem 49.2]), the restriction
χ′ of χ to C equals
χ′ = ϕ1 + ϕ2 + . . . + ϕl
where ϕ1 , . . . , ϕl are characters arising from irreducible components of the
QC-module Q ⊗ M. Moreover, they are pairwise conjugated, i.e.
∀1≤i,j≤l ∃g∈G ∀c∈C ϕi (c) = ϕj (gcg −1).

(4.1)

By [5, Theorem 7.1] if H 2 (C, M) 6= 0 then there exists 1 ≤ i ≤ l s.t. ϕi is
the trivial character. But then the formula (4.1) shows that ϕi is trivial for
every 1 ≤ i ≤ l. And again we get that M is not a faithful G-module.
The above considerations show that G must be the trivial group and
hence X is a ﬂat n-dimensional torus.

Acknowledgement
The author would like to thank Gerhard Hiss and Andrzej Szczepański for
helpful discussions.

References
[1] L.S. Charlap. Bieberbach groups and flat manifolds.
Springer-Verlag, New York, 1986.
4

Universitext.

[2] C.W. Curtis and I. Reiner. Representation theory of finite groups and
associative algebras. Pure and Applied Mathematics, Vol. XI. Interscience
Publishers, a division of John Wiley & Sons, New York-London, 1962.
[3] Walter Feit. The representation theory of finite groups, volume 25 of
North-Holland Mathematical Library. North-Holland Publishing Co.,
Amsterdam-New York, 1982.
[4] Gerhard Hiss and Andrzej Szczepański. On torsion free crystallographic
groups. J. Pure Appl. Algebra, 74(1):39–56, 1991.
[5] Saunders MacLane. Homology. Classics in Mathematics. Springer-Verlag
Berlin Heidelberg, reprint of the 1975 edition, 1995.

5

