![Page 1: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/1.jpg)
Symmetries of flat manifolds
A. Szczepański(joint work with R. Lutowski)
University of Gdańsk
CAU Kiel (Mathematischen Seminar)November 15, 2017
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 2: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/2.jpg)
Crystallographic group
Let us denote by E (n) the isometry group Isom(Rn) = O(n) nRn
of the n-dimensional Euclidean space.
DefinitionA crystallographic group of dimension n is a cocompact anddiscrete subgroup of E (n).
Example
1. Z n
2. If (B,(1/20
)), (I ,
(01
)) ∈ E (2), where B =
(1 00 −1
), then
the group Γ ⊂ E (2) generated by the above elements is acrystallographic group of dimension 2.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 3: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/3.jpg)
Crystallographic group
Let us denote by E (n) the isometry group Isom(Rn) = O(n) nRn
of the n-dimensional Euclidean space.
DefinitionA crystallographic group of dimension n is a cocompact anddiscrete subgroup of E (n).
Example
1. Z n
2. If (B,(1/20
)), (I ,
(01
)) ∈ E (2), where B =
(1 00 −1
), then
the group Γ ⊂ E (2) generated by the above elements is acrystallographic group of dimension 2.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 4: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/4.jpg)
Crystallographic group
Let us denote by E (n) the isometry group Isom(Rn) = O(n) nRn
of the n-dimensional Euclidean space.
DefinitionA crystallographic group of dimension n is a cocompact anddiscrete subgroup of E (n).
Example
1. Z n
2. If (B,(1/20
)), (I ,
(01
)) ∈ E (2), where B =
(1 00 −1
), then
the group Γ ⊂ E (2) generated by the above elements is acrystallographic group of dimension 2.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 5: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/5.jpg)
Bieberbach theorems
The first part of the eighteenth Hilbert problem was about thedescription of discrete and cocompact groups of isometries of Rn.The answer for the above Hilbert problem was given by theGerman mathematician L. Bieberbach in 1913.
Theorem
(Bieberbach) 1. If Γ ⊂ E (n) is a crystallographic group then theset of translations Γ ∩ (I × Rn) is a torsion free and finitelygenerated abelian group of rank n, and is a maximal abelian andnormal subgroup of finite index.
2. For any natural number n, there are only a finite number ofisomorphism classes of crystallographic groups of dimension n.
3. Two crystallographic groups of dimension n are isomorphic ifand only if they are conjugate in the group A(n) = GL(n,R) nRn.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 6: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/6.jpg)
Bieberbach theorems
The first part of the eighteenth Hilbert problem was about thedescription of discrete and cocompact groups of isometries of Rn.The answer for the above Hilbert problem was given by theGerman mathematician L. Bieberbach in 1913.
Theorem
(Bieberbach) 1. If Γ ⊂ E (n) is a crystallographic group then theset of translations Γ ∩ (I × Rn) is a torsion free and finitelygenerated abelian group of rank n, and is a maximal abelian andnormal subgroup of finite index.
2. For any natural number n, there are only a finite number ofisomorphism classes of crystallographic groups of dimension n.
3. Two crystallographic groups of dimension n are isomorphic ifand only if they are conjugate in the group A(n) = GL(n,R) nRn.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 7: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/7.jpg)
Bieberbach theorems
The first part of the eighteenth Hilbert problem was about thedescription of discrete and cocompact groups of isometries of Rn.The answer for the above Hilbert problem was given by theGerman mathematician L. Bieberbach in 1913.
Theorem
(Bieberbach) 1. If Γ ⊂ E (n) is a crystallographic group then theset of translations Γ ∩ (I × Rn) is a torsion free and finitelygenerated abelian group of rank n, and is a maximal abelian andnormal subgroup of finite index.
2. For any natural number n, there are only a finite number ofisomorphism classes of crystallographic groups of dimension n.
3. Two crystallographic groups of dimension n are isomorphic ifand only if they are conjugate in the group A(n) = GL(n,R) nRn.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 8: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/8.jpg)
Bieberbach theorems
The first part of the eighteenth Hilbert problem was about thedescription of discrete and cocompact groups of isometries of Rn.The answer for the above Hilbert problem was given by theGerman mathematician L. Bieberbach in 1913.
Theorem
(Bieberbach) 1. If Γ ⊂ E (n) is a crystallographic group then theset of translations Γ ∩ (I × Rn) is a torsion free and finitelygenerated abelian group of rank n, and is a maximal abelian andnormal subgroup of finite index.
2. For any natural number n, there are only a finite number ofisomorphism classes of crystallographic groups of dimension n.
3. Two crystallographic groups of dimension n are isomorphic ifand only if they are conjugate in the group A(n) = GL(n,R) nRn.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 9: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/9.jpg)
Bieberbach theorems
The first part of the eighteenth Hilbert problem was about thedescription of discrete and cocompact groups of isometries of Rn.The answer for the above Hilbert problem was given by theGerman mathematician L. Bieberbach in 1913.
Theorem
(Bieberbach) 1. If Γ ⊂ E (n) is a crystallographic group then theset of translations Γ ∩ (I × Rn) is a torsion free and finitelygenerated abelian group of rank n, and is a maximal abelian andnormal subgroup of finite index.
2. For any natural number n, there are only a finite number ofisomorphism classes of crystallographic groups of dimension n.
3. Two crystallographic groups of dimension n are isomorphic ifand only if they are conjugate in the group A(n) = GL(n,R) nRn.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 10: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/10.jpg)
Flat manifold
DefinitionA flat manifold Mn of dimension n is a compact connectedRiemannian manifold without boundary with sectional curvatureequal to zero.
Example
1. torus Rn/Zn ' S1 × S1 × · · · × S1︸ ︷︷ ︸n
2. Rn/Γ, where Γ ⊂ E (n) is a torsion free crystallographic group
Remark
Any flat manifold Mn ' Rn/Γ, where Γ = π1(Mn). Γ is a torsionfree crystallographic group of rank n.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 11: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/11.jpg)
Flat manifold
DefinitionA flat manifold Mn of dimension n is a compact connectedRiemannian manifold without boundary with sectional curvatureequal to zero.
Example
1. torus Rn/Zn ' S1 × S1 × · · · × S1︸ ︷︷ ︸n
2. Rn/Γ, where Γ ⊂ E (n) is a torsion free crystallographic group
Remark
Any flat manifold Mn ' Rn/Γ, where Γ = π1(Mn). Γ is a torsionfree crystallographic group of rank n.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 12: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/12.jpg)
Flat manifold
DefinitionA flat manifold Mn of dimension n is a compact connectedRiemannian manifold without boundary with sectional curvatureequal to zero.
Example
1. torus Rn/Zn ' S1 × S1 × · · · × S1︸ ︷︷ ︸n
2. Rn/Γ, where Γ ⊂ E (n) is a torsion free crystallographic group
Remark
Any flat manifold Mn ' Rn/Γ, where Γ = π1(Mn). Γ is a torsionfree crystallographic group of rank n.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 13: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/13.jpg)
Flat manifold
DefinitionA flat manifold Mn of dimension n is a compact connectedRiemannian manifold without boundary with sectional curvatureequal to zero.
Example
1. torus Rn/Zn ' S1 × S1 × · · · × S1︸ ︷︷ ︸n
2. Rn/Γ, where Γ ⊂ E (n) is a torsion free crystallographic group
Remark
Any flat manifold Mn ' Rn/Γ, where Γ = π1(Mn). Γ is a torsionfree crystallographic group of rank n.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 14: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/14.jpg)
Flat manifold
From the theorems of Bieberbach the fundamental groupπ1(Mn) = Γ (Bieberbach group) determines a short exact sequence
0→ Zn → Γp→ G → 0,
where Zn is a torsion free abelian group of rank n and G is a finitegroup with is isomorphic to the holonomy group of Mn.
Collorary
Any flat manifold Mn ' Rn/Γ ' Rn/Zn/Γ/Zn ' T n/G .
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 15: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/15.jpg)
Flat manifold
From the theorems of Bieberbach the fundamental groupπ1(Mn) = Γ (Bieberbach group) determines a short exact sequence
0→ Zn → Γp→ G → 0,
where Zn is a torsion free abelian group of rank n and G is a finitegroup with is isomorphic to the holonomy group of Mn.
Collorary
Any flat manifold Mn ' Rn/Γ ' Rn/Zn/Γ/Zn ' T n/G .
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 16: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/16.jpg)
Flat manifold
From the theorems of Bieberbach the fundamental groupπ1(Mn) = Γ (Bieberbach group) determines a short exact sequence
0→ Zn → Γp→ G → 0,
where Zn is a torsion free abelian group of rank n and G is a finitegroup with is isomorphic to the holonomy group of Mn.
Collorary
Any flat manifold Mn ' Rn/Γ ' Rn/Zn/Γ/Zn ' T n/G .
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 17: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/17.jpg)
Flat manifold
From the theorems of Bieberbach the fundamental groupπ1(Mn) = Γ (Bieberbach group) determines a short exact sequence
0→ Zn → Γp→ G → 0,
where Zn is a torsion free abelian group of rank n and G is a finitegroup with is isomorphic to the holonomy group of Mn.
Collorary
Any flat manifold Mn ' Rn/Γ ' Rn/Zn/Γ/Zn ' T n/G .
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 18: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/18.jpg)
Diagram
Let Γ be a crystallographic group. We have
0→ Zn → Γp→ G → 0.
Let hΓ : G → GL(n,Z) be the integral holonomy representationdefined by the formula
∀g∈G hΓ(g)(e) = g eg−1,
where g ∈ Γ, p(g) = g and e ∈ Zn. Since Zn is a maximal abeliansubgroup, hΓ is a faithfull representation.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 19: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/19.jpg)
Diagram
Let Γ be a crystallographic group. We have
0→ Zn → Γp→ G → 0.
Let hΓ : G → GL(n,Z) be the integral holonomy representationdefined by the formula
∀g∈G hΓ(g)(e) = g eg−1,
where g ∈ Γ, p(g) = g and e ∈ Zn. Since Zn is a maximal abeliansubgroup, hΓ is a faithfull representation.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 20: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/20.jpg)
Diagram
Let Γ be a crystallographic group. We have
0→ Zn → Γp→ G → 0.
Let hΓ : G → GL(n,Z) be the integral holonomy representationdefined by the formula
∀g∈G hΓ(g)(e) = g eg−1,
where g ∈ Γ, p(g) = g and e ∈ Zn. Since Zn is a maximal abeliansubgroup, hΓ is a faithfull representation.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 21: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/21.jpg)
Diagram
Let Γ be a crystallographic group. We have
0→ Zn → Γp→ G → 0.
Let hΓ : G → GL(n,Z) be the integral holonomy representationdefined by the formula
∀g∈G hΓ(g)(e) = g eg−1,
where g ∈ Γ, p(g) = g and e ∈ Zn. Since Zn is a maximal abeliansubgroup, hΓ is a faithfull representation.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 22: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/22.jpg)
Diagram
Let α ∈ H2(G ,Zn) be an element which corresponds with theabove short exact sequence. Let
N = {X ∈ GL(n,Z) | ∀f ∈ hΓ(G ) X f X−1 ∈ hΓ(G )}.
N acts on H2(G ,Zn) by formula
n ∗ [c](g1, g2) = n−1[c(ng1n−1, c(ng2n
−1],
where [c] ∈ H2(G ,Zn), n ∈ N, g1, g2 ∈ G . Finally let
Nα = {n ∈ N | n ∗ α = α}.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 23: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/23.jpg)
Diagram
Let α ∈ H2(G ,Zn) be an element which corresponds with theabove short exact sequence. Let
N = {X ∈ GL(n,Z) | ∀f ∈ hΓ(G ) X f X−1 ∈ hΓ(G )}.
N acts on H2(G ,Zn) by formula
n ∗ [c](g1, g2) = n−1[c(ng1n−1, c(ng2n
−1],
where [c] ∈ H2(G ,Zn), n ∈ N, g1, g2 ∈ G . Finally let
Nα = {n ∈ N | n ∗ α = α}.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 24: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/24.jpg)
Diagram
Let α ∈ H2(G ,Zn) be an element which corresponds with theabove short exact sequence. Let
N = {X ∈ GL(n,Z) | ∀f ∈ hΓ(G ) X f X−1 ∈ hΓ(G )}.
N acts on H2(G ,Zn) by formula
n ∗ [c](g1, g2) = n−1[c(ng1n−1, c(ng2n
−1],
where [c] ∈ H2(G ,Zn), n ∈ N, g1, g2 ∈ G . Finally let
Nα = {n ∈ N | n ∗ α = α}.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 25: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/25.jpg)
Diagram
Let α ∈ H2(G ,Zn) be an element which corresponds with theabove short exact sequence. Let
N = {X ∈ GL(n,Z) | ∀f ∈ hΓ(G ) X f X−1 ∈ hΓ(G )}.
N acts on H2(G ,Zn) by formula
n ∗ [c](g1, g2) = n−1[c(ng1n−1, c(ng2n
−1],
where [c] ∈ H2(G ,Zn), n ∈ N, g1, g2 ∈ G . Finally let
Nα = {n ∈ N | n ∗ α = α}.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 26: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/26.jpg)
Diagram
Let α ∈ H2(G ,Zn) be an element which corresponds with theabove short exact sequence. Let
N = {X ∈ GL(n,Z) | ∀f ∈ hΓ(G ) X f X−1 ∈ hΓ(G )}.
N acts on H2(G ,Zn) by formula
n ∗ [c](g1, g2) = n−1[c(ng1n−1, c(ng2n
−1],
where [c] ∈ H2(G ,Zn), n ∈ N, g1, g2 ∈ G . Finally let
Nα = {n ∈ N | n ∗ α = α}.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 27: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/27.jpg)
Diagram
From now, all crystallographic groups have a trivial center. It iseasy to see, that in this case (Zn)G = 0 and Inn(Γ) = Γ. We havea restriction homomorphism F : Aut(Γ)→ Aut(Zn). In 1973 L.Charlap and A.T.Vasquez proved that the kernel F0 of F isisomorphic to Z 1(G ,Zn) and the following diagram has exact rowsand columns. This is our main technical tool.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 28: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/28.jpg)
Diagram
From now, all crystallographic groups have a trivial center. It iseasy to see, that in this case (Zn)G = 0 and Inn(Γ) = Γ. We havea restriction homomorphism F : Aut(Γ)→ Aut(Zn). In 1973 L.Charlap and A.T.Vasquez proved that the kernel F0 of F isisomorphic to Z 1(G ,Zn) and the following diagram has exact rowsand columns. This is our main technical tool.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 29: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/29.jpg)
Diagram
From now, all crystallographic groups have a trivial center. It iseasy to see, that in this case (Zn)G = 0 and Inn(Γ) = Γ. We havea restriction homomorphism F : Aut(Γ)→ Aut(Zn). In 1973 L.Charlap and A.T.Vasquez proved that the kernel F0 of F isisomorphic to Z 1(G ,Zn) and the following diagram has exact rowsand columns. This is our main technical tool.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 30: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/30.jpg)
Diagram
From now, all crystallographic groups have a trivial center. It iseasy to see, that in this case (Zn)G = 0 and Inn(Γ) = Γ. We havea restriction homomorphism F : Aut(Γ)→ Aut(Zn). In 1973 L.Charlap and A.T.Vasquez proved that the kernel F0 of F isisomorphic to Z 1(G ,Zn) and the following diagram has exact rowsand columns. This is our main technical tool.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 31: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/31.jpg)
Diagram
0 0 0
0 Zn Γ G 0
0 Z 1(G ,Zn) Aut(Γ) Nα 0
0 H1(G ,Zn) Out(Γ) Nα/G 0
0 0 0
�� �� ��
//
��
//
��
//p
��
hΓ
//
//
��
//
��
//F
��
//
//
��
//
��
//
��
//
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 32: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/32.jpg)
Diagram
Lemma
Assume Z (Γ) = {e}, then1 H1(G ,Zn) ' (Qn/Zn)G = H0(G ,Qn/Zn);
2 Z 1(G ,Zn) ' {m ∈ Qn | ∀g∈G gm −m ∈ Zn} = A0(Γ) as Nα
modules;3 A(Γ) = NAff (Rn)(Γ) = {a ∈ Aff (Rn) | ∀γ∈Γaγa−1 ∈ Γ} '
Aut(Γ).
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 33: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/33.jpg)
Diagram
From the diagram and Bieberbach theorem we can see that fortorsion-free crystallogarphic group Γ we have the following groupsisomorphism
Out(Γ) ' Aff(M)/(S1)k ,
where M = Rn/Γ and k is the first Betti number of M.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 34: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/34.jpg)
Symmetries
TheoremFor every n 2 there exists a crystallographic group Γ ofdimension n with Z (Γ) = Out(Γ) = {e}.
Example
Let Γ1 = G1 n Z2 be the crystallographic group of dimension 2with holonomy group G1 = D12, where
D12 = gen
{[0 −11 −1
],
[−1 00 −1
],
[0 11 0
]}
is the dihedral group of order 12.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 35: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/35.jpg)
Comments
Definition
A group G is said to be complete if its center Z (G ) and outerautomorphism group are both trivial.
Complete groups were introduced by O. Holder in 1895. He hasproved already that the symmetric group Sn is complete providedn 6= 2 or 6. J. L. Dyer and E. Formanek proved in 1975 that if F isa non-cyclic free group then Aut(F ) is complete.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 36: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/36.jpg)
Comments
Definition
A group G is said to be complete if its center Z (G ) and outerautomorphism group are both trivial.
Complete groups were introduced by O. Holder in 1895. He hasproved already that the symmetric group Sn is complete providedn 6= 2 or 6. J. L. Dyer and E. Formanek proved in 1975 that if F isa non-cyclic free group then Aut(F ) is complete.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 37: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/37.jpg)
Comments
Definition
A group G is said to be complete if its center Z (G ) and outerautomorphism group are both trivial.
Complete groups were introduced by O. Holder in 1895. He hasproved already that the symmetric group Sn is complete providedn 6= 2 or 6. J. L. Dyer and E. Formanek proved in 1975 that if F isa non-cyclic free group then Aut(F ) is complete.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 38: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/38.jpg)
Comments
In 2005 M. Belolipetsky and A. Lubotzky proved that for everyn 2 and every finite group G there exist infinitely many discrete,cocompact and torsion free subgroups Γ ⊂Isom(Hn) withIsomHn/Γ ' G . Moreover, from Mostow rigidity, forn 3,Out(Γ) 'IsomHn/Γ. In particular for a trivial group G weobtain examples of complete groups.
In 2003 R. Waldmuller found an example of complete, torsion freecrystallographic group Γ of dimension 141 with holonomy groupM11 (Mathieu group)
0→ Z141 → Γ→ M11 → 0.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 39: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/39.jpg)
Comments
In 2005 M. Belolipetsky and A. Lubotzky proved that for everyn 2 and every finite group G there exist infinitely many discrete,cocompact and torsion free subgroups Γ ⊂Isom(Hn) withIsomHn/Γ ' G . Moreover, from Mostow rigidity, forn 3,Out(Γ) 'IsomHn/Γ. In particular for a trivial group G weobtain examples of complete groups.
In 2003 R. Waldmuller found an example of complete, torsion freecrystallographic group Γ of dimension 141 with holonomy groupM11 (Mathieu group)
0→ Z141 → Γ→ M11 → 0.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 40: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/40.jpg)
Comments
In 2005 M. Belolipetsky and A. Lubotzky proved that for everyn 2 and every finite group G there exist infinitely many discrete,cocompact and torsion free subgroups Γ ⊂Isom(Hn) withIsomHn/Γ ' G . Moreover, from Mostow rigidity, forn 3,Out(Γ) 'IsomHn/Γ. In particular for a trivial group G weobtain examples of complete groups.
In 2003 R. Waldmuller found an example of complete, torsion freecrystallographic group Γ of dimension 141 with holonomy groupM11 (Mathieu group)
0→ Z141 → Γ→ M11 → 0.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 41: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/41.jpg)
Comments
In 2005 M. Belolipetsky and A. Lubotzky proved that for everyn 2 and every finite group G there exist infinitely many discrete,cocompact and torsion free subgroups Γ ⊂Isom(Hn) withIsomHn/Γ ' G . Moreover, from Mostow rigidity, forn 3,Out(Γ) 'IsomHn/Γ. In particular for a trivial group G weobtain examples of complete groups.
In 2003 R. Waldmuller found an example of complete, torsion freecrystallographic group Γ of dimension 141 with holonomy groupM11 (Mathieu group)
0→ Z141 → Γ→ M11 → 0.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 42: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/42.jpg)
Proof
We shall need a few lemmas.
Lemma
Aut(Γ) is a crystallographic group if and only if Out(Γ) is a finitegroup.
Proof: We start with an observation that Z 1(G ,Zn) is a freeabelian group of rank n which is a faithful Nα module. First,assume that Aut(Γ) is a crystallographic group with the maximalabelian subgroup M. From Bieberbach’s theorems, M is the uniquenormal maximal abelian subgroup of Aut(Γ). Hence,M = Z 1(G ,Zn), and Out(Γ) is a finite group. The reverseimplication is obvious.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 43: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/43.jpg)
Proof
We shall need a few lemmas.
Lemma
Aut(Γ) is a crystallographic group if and only if Out(Γ) is a finitegroup.
Proof: We start with an observation that Z 1(G ,Zn) is a freeabelian group of rank n which is a faithful Nα module. First,assume that Aut(Γ) is a crystallographic group with the maximalabelian subgroup M. From Bieberbach’s theorems, M is the uniquenormal maximal abelian subgroup of Aut(Γ). Hence,M = Z 1(G ,Zn), and Out(Γ) is a finite group. The reverseimplication is obvious.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 44: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/44.jpg)
Proof
We shall need a few lemmas.
Lemma
Aut(Γ) is a crystallographic group if and only if Out(Γ) is a finitegroup.
Proof: We start with an observation that Z 1(G ,Zn) is a freeabelian group of rank n which is a faithful Nα module. First,assume that Aut(Γ) is a crystallographic group with the maximalabelian subgroup M. From Bieberbach’s theorems, M is the uniquenormal maximal abelian subgroup of Aut(Γ). Hence,M = Z 1(G ,Zn), and Out(Γ) is a finite group. The reverseimplication is obvious.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 45: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/45.jpg)
Proof
Lemma
Let G ,H be finite groups and H ⊂ G ⊂ GL(n,Z). If the groupNGL(n,Z)(H) is finite, then NGL(n,Z)(G ) is finite.
Proof: From the assumption, Aut(H) and Aut(G ) are finite andwe have monomorphisms:
NGL(n,Z)(H)/CGL(n,Z)(H)φ→ Aut(H)
and
NGL(n,Z)(G )/CGL(n,Z)(G )φ→ Aut(G ),
where φ is induced by φ(s)(g) = sgs−1, g ∈ G , s ∈ GL(n,Z). SinceCGL(n,Z)(G ) ⊂ CGL(n,Z)(H), our Lemma is proved.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 46: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/46.jpg)
Proof
Lemma
Let G ,H be finite groups and H ⊂ G ⊂ GL(n,Z). If the groupNGL(n,Z)(H) is finite, then NGL(n,Z)(G ) is finite.
Proof: From the assumption, Aut(H) and Aut(G ) are finite andwe have monomorphisms:
NGL(n,Z)(H)/CGL(n,Z)(H)φ→ Aut(H)
and
NGL(n,Z)(G )/CGL(n,Z)(G )φ→ Aut(G ),
where φ is induced by φ(s)(g) = sgs−1, g ∈ G , s ∈ GL(n,Z). SinceCGL(n,Z)(G ) ⊂ CGL(n,Z)(H), our Lemma is proved.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 47: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/47.jpg)
Proof
Lemma
Let G ,H be finite groups and H ⊂ G ⊂ GL(n,Z). If the groupNGL(n,Z)(H) is finite, then NGL(n,Z)(G ) is finite.
Proof: From the assumption, Aut(H) and Aut(G ) are finite andwe have monomorphisms:
NGL(n,Z)(H)/CGL(n,Z)(H)φ→ Aut(H)
and
NGL(n,Z)(G )/CGL(n,Z)(G )φ→ Aut(G ),
where φ is induced by φ(s)(g) = sgs−1, g ∈ G , s ∈ GL(n,Z). SinceCGL(n,Z)(G ) ⊂ CGL(n,Z)(H), our Lemma is proved.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 48: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/48.jpg)
Proof
Lemma
Let G ,H be finite groups and H ⊂ G ⊂ GL(n,Z). If the groupNGL(n,Z)(H) is finite, then NGL(n,Z)(G ) is finite.
Proof: From the assumption, Aut(H) and Aut(G ) are finite andwe have monomorphisms:
NGL(n,Z)(H)/CGL(n,Z)(H)φ→ Aut(H)
and
NGL(n,Z)(G )/CGL(n,Z)(G )φ→ Aut(G ),
where φ is induced by φ(s)(g) = sgs−1, g ∈ G , s ∈ GL(n,Z). SinceCGL(n,Z)(G ) ⊂ CGL(n,Z)(H), our Lemma is proved.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 49: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/49.jpg)
Proof
Collorary
If | Out(Γ) |<∞, then | Out(Aut(Γ)) |<∞.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 50: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/50.jpg)
Proof
Let Γ be a crystallographic group with a holonomy group G ofdimension n. Assume that the group H1(G ,Zn) = {e}, and thegroup Out(Γ) is finite.
Inductively, put Γ0 = Γ and Γi+1 =A(Γi ), for i 0.
Lemma
∃N such that ΓN+1 = ΓN .
Proof: We start from observations that for i > 0, Γi is acrystallographic group, Z (Γi ) = {e} and M0 = Mi , whereMi = A0(Γi−1) ⊂ Γi is the maximal abelian normal subgroup (asubgroup of translations). Let Gi = Γi/Mi . From definition we canconsider (Gi ) as a nondecreasing sequence of finite subgroups ofGL(n,Z). From Bieberbach theorems and from the diagram, thereis only a finite number of possibilties for Gi . Hence ∃N ∈ N suchthat ∀i>N Gi = GN . This finishes the proof.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 51: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/51.jpg)
Proof
Let Γ be a crystallographic group with a holonomy group G ofdimension n. Assume that the group H1(G ,Zn) = {e}, and thegroup Out(Γ) is finite.
Inductively, put Γ0 = Γ and Γi+1 =A(Γi ), for i 0.
Lemma
∃N such that ΓN+1 = ΓN .
Proof: We start from observations that for i > 0, Γi is acrystallographic group, Z (Γi ) = {e} and M0 = Mi , whereMi = A0(Γi−1) ⊂ Γi is the maximal abelian normal subgroup (asubgroup of translations). Let Gi = Γi/Mi . From definition we canconsider (Gi ) as a nondecreasing sequence of finite subgroups ofGL(n,Z). From Bieberbach theorems and from the diagram, thereis only a finite number of possibilties for Gi . Hence ∃N ∈ N suchthat ∀i>N Gi = GN . This finishes the proof.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 52: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/52.jpg)
Proof
Let Γ be a crystallographic group with a holonomy group G ofdimension n. Assume that the group H1(G ,Zn) = {e}, and thegroup Out(Γ) is finite.
Inductively, put Γ0 = Γ and Γi+1 =A(Γi ), for i 0.
Lemma
∃N such that ΓN+1 = ΓN .
Proof: We start from observations that for i > 0, Γi is acrystallographic group, Z (Γi ) = {e} and M0 = Mi , whereMi = A0(Γi−1) ⊂ Γi is the maximal abelian normal subgroup (asubgroup of translations). Let Gi = Γi/Mi . From definition we canconsider (Gi ) as a nondecreasing sequence of finite subgroups ofGL(n,Z). From Bieberbach theorems and from the diagram, thereis only a finite number of possibilties for Gi . Hence ∃N ∈ N suchthat ∀i>N Gi = GN . This finishes the proof.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 53: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/53.jpg)
Proof
Let Γ be a crystallographic group with a holonomy group G ofdimension n. Assume that the group H1(G ,Zn) = {e}, and thegroup Out(Γ) is finite.
Inductively, put Γ0 = Γ and Γi+1 =A(Γi ), for i 0.
Lemma
∃N such that ΓN+1 = ΓN .
Proof: We start from observations that for i > 0, Γi is acrystallographic group, Z (Γi ) = {e} and M0 = Mi , whereMi = A0(Γi−1) ⊂ Γi is the maximal abelian normal subgroup (asubgroup of translations). Let Gi = Γi/Mi . From definition we canconsider (Gi ) as a nondecreasing sequence of finite subgroups ofGL(n,Z). From Bieberbach theorems and from the diagram, thereis only a finite number of possibilties for Gi . Hence ∃N ∈ N suchthat ∀i>N Gi = GN . This finishes the proof.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 54: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/54.jpg)
Proof
Example
Let Γ2 = G2 n Z3 be the crystallographic group of dimension 3,with holonomy group G2 = S4 × Z2 generated by matrices0 1 0
0 −1 −11 1 0
, 0 0 1
0 −1 −1−1 0 1
.Here S4 denotes the symmetric group on four letters.
For i = 1, 2 we have
NGL(ni ,Z)(Gi ) = Gi and H1(Gi ,Zni ) = 0,
where ni is the rank of Γi . Hence A(Γi ) = Γi , and Out(Γi ) = {e},for i = 1, 2.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 55: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/55.jpg)
Proof
Now we are ready to finish the proof of Theorem. The casesn = 2, 3 are done in the above examples. Assume n 4.Assume Γ′ is a crystallographic group given by a short exactsequence
0→ Zn → Γ′ → Sn+1 → 0
with a holonomy representation s.t. H1(Sn+1,Zn) = 0. (It isenough to consider Sn+1 modul Zn+1 with permutation action onthe standard basis e1, e2, ..., en+1 divided by a submodule of rankone generated by {e1 + e2 + ...+ en+1}.)Hence, Γ′ satisfies the assumption of the last Lemma and thesequence Γ0 = Γ′, Γi+1 = A(Γi ) stabilizes, i.e., ∃N such that∀iN Γi = ΓN . Finally, Out(ΓN) = {e} and Z (ΓN) = {e}.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 56: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/56.jpg)
Proof
Now we are ready to finish the proof of Theorem. The casesn = 2, 3 are done in the above examples. Assume n 4.Assume Γ′ is a crystallographic group given by a short exactsequence
0→ Zn → Γ′ → Sn+1 → 0
with a holonomy representation s.t. H1(Sn+1,Zn) = 0. (It isenough to consider Sn+1 modul Zn+1 with permutation action onthe standard basis e1, e2, ..., en+1 divided by a submodule of rankone generated by {e1 + e2 + ...+ en+1}.)Hence, Γ′ satisfies the assumption of the last Lemma and thesequence Γ0 = Γ′, Γi+1 = A(Γi ) stabilizes, i.e., ∃N such that∀iN Γi = ΓN . Finally, Out(ΓN) = {e} and Z (ΓN) = {e}.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 57: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/57.jpg)
Problems and Question
1. Find a new example of a torsion free crystallographic group Γwith trivial center and trivial outer automorphism group.
2. For any finite group G find an example of (torsion free)crystallographic group Γ such that Out(Γ) = G.
3. Let G a finite group. Are there exist a natural number n and asubgroup A ⊂ Sn of the permutation group Sn, such that
NG (A)/A ' G ?
Here NG (A) is a normalizer of the subgroup A in Sn.
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds
![Page 58: Symmetries of flat manifoldsaszczepa/kiel17.pdf · description of discrete and cocompact groups of isometries of Rn. ... University of GdańskSymmetries of flat manifolds. Bieberbach](https://reader035.vdocument.in/reader035/viewer/2022070716/5edad34409ac2c67fa685dc1/html5/thumbnails/58.jpg)
Thank You
A. Szczepański (joint work with R. Lutowski) University of GdańskSymmetries of flat manifolds