Rossmann_Periodicities
Transcript of Rossmann_Periodicities
-
8/14/2019 Rossmann_Periodicities
1/15
Periodicities in trees associatedwith the classication of
p-groups by width, rank andobliquity
Tobias Romann
Report on Diploma Thesis
p-Groups: Rank, Width, and Obliquity
supervised by Professor Dr. Bettina Eick
TU Braunschweig
11 July 2008
-
8/14/2019 Rossmann_Periodicities
2/15
Introduction
Denition. Let G be a pro- p group.
The rank of G issup{d(U ) | U c G}.
The width of G issupi 1
log p (
| i (G) : i +1 (G)
|).
The obliquity of G issupi 1
log p (| i (G) : i (G)|)
where
i (G) = {N c G | N < i (G)}.
-
8/14/2019 Rossmann_Periodicities
3/15
The graph G( p,r,w,o ) Vertices correspond to nite p-groups of
rank r , width w, and obliquity o (up to
isomorphism).
An edge joins G/ c (G) to G where c is theclass of G.
Project: Analyse
G( p,r,w,o ).
(1) Determine the innite paths. Classify innite pro- p groups of rank r ,width w, and obliquity o up toisomorphism.
(2) Investigate the branches attached to theinnite paths. Is there a periodicity?
(3) Consider the remaining sporadic groups.
-
8/14/2019 Rossmann_Periodicities
4/15
Innite pro- p groups
Klaas et al.:
Classication of innite pro- p groups of nite rank, width, and obliquity up toisomorphism of their Lie algebras.
The possible Lie algebras correspond tomaximal groups.
Each innite pro- p group of nite rank,width, and obliquity can be obtained as asubgroup of one of these maximal groups.
Example:
There are two simple three-dimensional Liealgebras over Q p : sl 2 (Q p ) and sl 1 (D ).
Let G and H be the correspondingmaximal groups.
Leedham-Green & McKay: If p 3, thenG and H represent the two isomorphismclasses of innite pro- p groups of rank 3,width 2, and obliquity 0.
-
8/14/2019 Rossmann_Periodicities
5/15
G( p, 3, 2, 0) for p 3 Sanderson, Leedham-Green & McKay:
First investigation of the graph. Inparticular, they proved that branches havedepth at most 2 if p 5.
Detailed analysis using GAP , in particularANUPQ . Result: Branches seem to be periodic with
period 2.
Precise shapes . . .
-
8/14/2019 Rossmann_Periodicities
6/15
B 2 j (G)
G2 j
G2 j +1
G2 j +2
. . .
. . .
p times
G2 j +1
G2 j +2
( j 2, p 5)
-
8/14/2019 Rossmann_Periodicities
7/15
B 2 j (H )
H 2 j
H 2 j +1
H 2 j +2
. . .
. . .
p 1 times
H 2 j +1
H 2 j +2
( j 2, p 5)
-
8/14/2019 Rossmann_Periodicities
8/15
B 2 j (G)G2 j
G2 j +1
G2 j +2
G2 j +3
G2 j +4
4
3
2 2 2
( j 2, p = 3)
G2
G2
-
8/14/2019 Rossmann_Periodicities
9/15
B 2 j (H ) ( j 2) B 2 j 1 (H )
H 2 j
H 2 j +1
H 2 j +2
5
H 2 j 1
H 2
j
H 2 j +1
H 2 j +2
5 5
( p = 3)
-
8/14/2019 Rossmann_Periodicities
10/15
sl n (K )
Another interesting class of pro- p groups:The maximal groups with Lie algebra of the form sl n (K ).
Investigate the associated branches;ignore the rank, width, and obliquity andconsider only those groups with the rightlower central pattern.
An example: sl 2 (K ) for p = 3 andK = Q 3 (3).
Result: Graph seems to be periodic withperiod 4.
Explicit branches . . .
-
8/14/2019 Rossmann_Periodicities
11/15
Notation
n k n n . . .
. . .
k times
-
8/14/2019 Rossmann_Periodicities
12/15
sl 2(K ), p = 3 , K = Q 3(
3)
15 8 27 6
105
Class
6
7
8
4
27 20
165
186 369
6
Class
7
8
9
10
11
-
8/14/2019 Rossmann_Periodicities
13/15
sl 2(K ), p = 3 , K = Q 3(
3)
15 4 18 4 27 6
87
Class
8
9
10
5
15 8 27 16
200
189 369
7
Class
9
10
11
12
13
-
8/14/2019 Rossmann_Periodicities
14/15
sl n (K )
Klaas et al.: classication of maximalgroups of dimension 14.
Similar results occur for various choices of p, elds K with
|K : Q p
| 4, and n
3.
As these numbers increase, the groupsbecome less accessible.
(partial) data support the conjecture thatthese branches always repeat periodically
-
8/14/2019 Rossmann_Periodicities
15/15
Cohomology and
G( p, 3, 2, 0)
Let p 5 and Q be either G or H . A group in Bi (Q) is an extension of a
Q2 -module A by Q i .
Using the results of Sanderson, A is foundto be a Q2 -module quotient of 2 (Q)/ 4 (Q) or of 3 (Q)/ 5 (Q).
Theorem. H 2 (Q i , A)= H 2 (Q i +2 , A) for all
sufficiently large i.