O centralizatorach skonczonych podgrup GL(n,Z)

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

O centralizatorach skonczonych podgrupGL(n, Z)

Rafał Lutowski

Instytut Matematyki Uniwersytetu Gdanskiego

III Północne Spotkania GeometryczneOlsztyn, 22-23 czerwca 2009

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

1 WprowadzenieGrupy podstawowe płaskich rozmaitosciAfiniczne równowaznosci płaskich rozmaitosciSkonczone grupy automorfizmów zewnetrznychReprezentacje grup skonczonych

2 Podgrupy centralizatorów w GL(n,Z)TwierdzenieLemat SchuraDowód twierdzenia

3 PrzykładyGrupa alternujaca A5

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Płaskie rozmaitosci i grupy Bieberbacha

X – zwarta, spójna rozmaitosc Riemanna z krzywiznasekcyjna równa zero (płaska rozmaitosc).Γ = π1(X) – grupa podstawowa X – grupa Bieberbacha.X jest izometryczne z Rn/Γ.Γ wyznacza X z dokładnoscia do afinicznej równowaznosci.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Grupy Bieberbacha

DefinicjaGrupa Bieberbacha to beztorsyjna grupa zdefiniowana przezkrótki ciag dokładny

0 −→ Zn −→ Γ −→ G −→ 1.

G – skonczona podgrupa GL(n,Z).G działa na Zn przez mnozenie macierzy.Element α ∈ H2(G,M) odpowiadajacy powyzszemurozszerzeniu jest specjalny, tzn. resGHα 6= 0 dla kazdejnietrywialnej podgrupy H grupy G.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Grupa odwzorowan afinicznych

Aff(X) – grupa odwzorowan afinicznych X.Aff(X) jest grupa Lie.

Aff0(X) – składowa identycznosci Aff(X).Aff0(X) jest torusem.Wymiar Aff0(X) równa sie β1(X) – pierwszej liczbie Bettiego X(β1(X) = rkZ(Γ)).

Twierdzenie (Charlap, Vasquez 1973)

Aff(X)/Aff0(X) ∼= Out(Γ)

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Skonczone grupy odwzorowan afinicznych

WniosekAff(X) jest skonczona wtedy i tylko wtedy, gdy

1 β1(X) = 0 oraz2 |Out(Γ)| <∞.

Problem (Szczepanski 2006)

Które grupy skonczone realizuja sie jako grupy automorfizmówzewnetrznych grup Bieberbacha z trywialnym centrum.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Wyznaczanie Out(Γ)

Twierdzenie (Charlap, Vasquez 1973)

0 −→ H1(G,Zn) −→ Out(Γ) −→ Nα/G −→ 1.

Nα – stabilizator α ∈ H2(G,Zn) wzgledem działaniaNGL(n,Z)(G) zdefiniowanego nastepujaco

n ∗ a(g1, g2) = n · a(n−1g1n, n−1g2n).

H1(G,Zn) jest grupa skonczona.Indeks [NGL(n,Z)(G) : Nα] jest skonczony.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Wyznaczanie Out(Γ)

Twierdzenie (Charlap, Vasquez 1973)

0 −→ H1(G,Zn) −→ Out(Γ) −→ Nα/G −→ 1.

Nα – stabilizator α ∈ H2(G,Zn) wzgledem działaniaNGL(n,Z)(G) zdefiniowanego nastepujaco

n ∗ a(g1, g2) = n · a(n−1g1n, n−1g2n).

H1(G,Zn) jest grupa skonczona.Indeks [NGL(n,Z)(G) : Nα] jest skonczony.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Skonczone grupy automorfizmów zewnetrznych

Przez naturalna reprezentacje grupy G < GL(n,Z) bedziemyrozumieli odwzorowanie τ = idG.

Twierdzenie (Szczepanski ’96)Nastepujace warunki sa równowazne:

1 Grupa Out(Γ) jest nieskonczona.2 Normalizator NGL(n,Z)(G) grupy G w GL(n,Z) jest

nieskonczony.3 Q-rozkład reprezentacji τ zawiera dwie izomorficzne składowe

lub istnieje Q-nieprzywiedlna składowa, rozkładalna nad R.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Skonczone grupy automorfizmów zewnetrznych

Przez naturalna reprezentacje grupy G < GL(n,Z) bedziemyrozumieli odwzorowanie τ = idG.

Twierdzenie (Szczepanski ’96)Nastepujace warunki sa równowazne:

1 Grupa Out(Γ) jest nieskonczona.2 Centralizator CGL(n,Z)(G) grupy G w GL(n,Z) jest

nieskonczony.3 Q-rozkład reprezentacji τ zawiera dwie izomorficzne składowe

lub istnieje Q-nieprzywiedlna składowa, rozkładalna nad R.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Reprezentacje grup skonczonych

R – pierscien Z, Q, R, C, G – grupa skonczona.Homomorfizm % : G→ GL(n,R) nazywamy reprezentacjagrupy G.Reprezentacje %, τ nazywamy R-izomorficznymi, jezeli

∃Q∈GL(n,R)∀g∈G Q%(g) = τ(g)Q.

Reprezentacja % jest przywiedlna, jezeli jest izomorficznaz reprezentacja postaci

%1 ⊕ . . .⊕ %k.

Rn – R[G]-moduł.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Reprezentacje grup skonczonych

R – pierscien Z, Q, R, C, G – grupa skonczona.Homomorfizm % : G→ GL(n,R) nazywamy reprezentacjagrupy G.Reprezentacje %, τ nazywamy R-izomorficznymi, jezeli

∃Q∈GL(n,R) Q% = τQ.

Reprezentacja % jest przywiedlna, jezeli jest izomorficznaz reprezentacja postaci

%1 ⊕ . . .⊕ %k.

Rn – R[G]-moduł.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Charaktery

Charakterem reprezentacji % nazywamy funkcje χ% : G→ R

∀g∈Gχ%(g) = Tr(%(g)).

R = C – charaktery klasyfikuja reprezentacje.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Pytania

Mamy krótki ciag dokładny

0→ H1(G,Zn)→ Out(Γ)→ Nα/G→ 1

Czy Nα/G moze byc dowolna grupa?Niech

Cα = Nα ∩ CGL(n,Z)(G)

Czy Cα ·G/G ∼= Cα/Z(G) moze byc dowolna grupa?Czy istnieje grupa, która nie realizuje sie jako podgrupaskonczonego centralizatora dowolnej podgrupy GL(n,Z)?

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Pytania

Mamy krótki ciag dokładny

0→ H1(G,Zn)→ Out(Γ)→ Nα/G→ 1

Czy Nα/G moze byc dowolna grupa?Niech

Cα = Nα ∩ CGL(n,Z)(G)

Czy Cα ·G/G ∼= Cα/Z(G) moze byc dowolna grupa?Czy istnieje grupa, która nie realizuje sie jako podgrupaskonczonego centralizatora dowolnej podgrupy GL(n,Z)?

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Pytania

Mamy krótki ciag dokładny

0→ H1(G,Zn)→ Out(Γ)→ Nα/G→ 1

Czy Nα/G moze byc dowolna grupa?Niech

Cα = Nα ∩ CGL(n,Z)(G)

Czy Cα ·G/G ∼= Cα/Z(G) moze byc dowolna grupa?Czy istnieje grupa, która nie realizuje sie jako podgrupaskonczonego centralizatora dowolnej podgrupy GL(n,Z)?

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Struktura skonczonych centralizatorów

Niech A oznacza rodzine grup skonczonych, bez grupytrywialnej, taka ze dla kazdego A ∈ A mamyA ma dokładnie jedna C-nieprzywiedlna reprezentacje stopnia 1.Kazda C-nieprzywiedlna reprezentacja A moze byc zrealizowananad R.

{An}n≥5 ⊂ A (Riese, 2002).

TwierdzenieNiech G < GL(n,Z) bedzie grupa skonczona, taka ze CGL(n,Z)(G)jest skonczony. Wtedy

∀A<CGL(n,Z)(G)A 6∈ A.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Lemat Schura

Niech R oznacza pierscien, M i N – lewe R-moduły.

LematNiech f : M → N bedzie homomorfizmem R-modułów. Jezeli Mi N sa proste, to f jest izomorfizmem, badz f = 0. Ponadto, jezeliM = N oraz R = C[G] jest pierscieniem grupowym, dla pewnejgrupy skonczonej G, to f jest homotetia, tzn.

∃λ∈C∀m∈Mf(m) = λm.

WniosekNiech M i N beda półprostymi modułami, które nie majaizomorficznych podmodułów. Wtedy

HomR(M,N) = 0.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Izomorfizmy reprezentacji

K – ciało charakterystyki 0.G – grupa skonczona.% : G→ GL(n,K) – reprezentacja grupy G o nastepujacymrozkładzie nad K

% =k⊕i=1

mi%i.

%i : G→ GL(ni,K) – nieprzywiedlne, parami nieizomorficzne.mi%i =

⊕mij=1 %i.

B ∈ GL(n,K) wyznacza izomorfizm %:

B% = %B.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Izomorfizmy reprezentacji

LematB jest blokowa macierza diagonalna

B =k⊕i=1

Bi,

gdzie Bi ∈ GL(mini,K) wyznaczaja izomorfizmy reprezentacjimi%i.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Szkic dowodu

Załózmy, ze A < CGL(n,Z)(G) oraz A ∈ A. Pokazemy, zeCGL(n,Z)(G) jest nieskonczony.Niech τ = idG, % = idA beda naturalnymi reprezentacjami grupodpowiednio G i A.Niech %′ =

⊕ki=1mi%i bedzie rozkładem % nad Q, tzn.

∃Q∈GL(n,Q) %′ = Q−1%Q.

τ ′ = Q−1τQ.Poniewaz τ ′%′ = %′τ ′, wiec τ ′ =

⊕ki=1 τi, gdzie

τi(mi%i) = (mi%i)τi.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Szkic dowodu

Załozenie: %1 nie jest trywialna.Przypadek 1: %1 jest C-nieprzywiedlna. Wtedy

τ1 = np

gdzie n > 1 oznacza stopien reprezentacji %1,a p : G→ GL(m1,Q) jest reprezentacja grupy G.Przypadek 2: %1 jest R-przywiedlna. Wtedy mamy rozkład τ1 nadR:

τ1 =s⊕i=1

dipi.

Jezeli dla pewnego 1 ≤ j ≤ s, pj nie jest reprezentacja wymierna,to τ1 zawiera Q-nieprzywiedlna, ale R-przywiedlna reprezentacje.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Wniosek – reprezentacje centralizatorów

Wniosek: Centralizator CGL(n,Z)(G) jest nieskonczony.

WniosekR-nieprzywiedlna podreprezentacja reprezentacji naturalnejpodgrupy skonczonego centralizatora jest albo trywialna, badzC-przywiedlna.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Wniosek – reprezentacje centralizatorów

Wniosek: Centralizator CGL(n,Z)(G) jest nieskonczony.

WniosekR-nieprzywiedlna podreprezentacja reprezentacji naturalnejpodgrupy skonczonego centralizatora jest albo trywialna, badzC-przywiedlna.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Realizacja A5 jako Out(Γ)

Γ – grupa Bieberbacha zdefiniowana przez krótki ciagdokładny

0 −→ Zn −→ Γ −→ G −→ 1.

α ∈ H2(G,Zn) – klasa definiujaca Γ.(Zn)G = {z ∈ Zn|∀g∈G gz = z} = 0 – centrum Γ jest trywialne.Nα = {n ∈ NGL(n,Z)(G)|n ∗ α = α}.Cα = Nα ∩ CGL(n,Z)(G).

StwierdzenieJezeli Out(Γ) ∼= A5, to

Cα = Z(G).

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Izomorfizm Out(Γ) z A5

Mamy krótki ciag dokładny

0 −→ H1(G,Zn) −→ Out(Γ) −→ Nα/G −→ 1.

Out(Γ) ∼= A5 jest grupa prosta, wiec:H1(G,Zn) = 0.Nα/G ∼= A5.

Mozliwe sa tylko dwa przypadki:Cα = Z(G).Nα = G · Cα.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Izomorfizm Out(Γ) z A5

Mamy krótki ciag dokładny

0 −→ H1(G,Zn) −→ Out(Γ) −→ Nα/G −→ 1.

Out(Γ) ∼= A5 jest grupa prosta, wiec:H1(G,Zn) = 0.Nα/G ∼= A5.

Mozliwe sa tylko dwa przypadki:Cα = Z(G).Nα = G · Cα.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Centralne rozszerzenie przez A5

Mamy krótki ciag dokładny

1 −→ Z(G) −→ Cα −→ A5 −→ 1.

Cα – cetralne rozszerzenie centrum grupy G przez A5 – zalezytylko od klasy kohomologii β ∈ H2(A5, Z(G)) definiujacejpowyzszy ciag.Niech Zpq bedzie trywialnym A5-modułem, gdzie p jest liczbapierwsza, q ∈ N. Mamy

H2(A5,Zpq) ={

Z2, p = 20, p ≥ 3

Jezeli Z2 6↪→ Z(G) lub β = 0, to Cα = Z(G)×A5, co jestniemozliwe.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Grupa SL(2, 5)

Jezeli Z2 ↪→ Z(G) oraz β 6= 0, to% : SL(2, 5) ↪→ Cα.

SL(2, 5) = 〈a, b, c|a2c, b3, (ab)5, [a, c], [b, c], c2〉.Z(SL(2, 5)) = 〈c〉.Tablica charakterów SL(2, 5)

1 b a ba b2a c cb (ba)2 c(ba)2

χ1 1 1 1 1 1 1 1 1 1

χ2a 2 −1 0 −ω − ω4 ω + ω4 − 2 1 ω2 + ω3 −ω2 − ω3

χ2b 2 −1 0 −ω2 − ω3 ω2 + ω3 − 2 1 ω + ω4 −ω − ω4

χ3a 3 0 − 1 − ω2 − ω3 − ω2 − ω3 3 0 − ω − ω4 − ω − ω4

χ3b 3 0 − 1 − ω − ω4 − ω − ω4 3 0 − ω2 − ω3 − ω2 − ω3

χ4a 4 1 0 − 1 − 1 4 1 − 1 − 1

χ4 4 1 0 1 −1 − 4 −1 −1 1

χ5 5 − 1 1 0 0 5 − 1 0 0

χ6 6 0 0 −1 1 − 6 0 1 −1

c 7→ −I.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Grupa SL(2, 5)

Jezeli Z2 ↪→ Z(G) oraz β 6= 0, to% : SL(2, 5) ↪→ Cα.

SL(2, 5) = 〈a, b, c|a2c, b3, (ab)5, [a, c], [b, c], c2〉.Z(SL(2, 5)) = 〈c〉.Tablica charakterów SL(2, 5)

1 b a ba b2a c cb (ba)2 c(ba)2

χ1 1 1 1 1 1 1 1 1 1

χ2a 2 −1 0 −ω − ω4 ω + ω4 − 2 1 ω2 + ω3 −ω2 − ω3

χ2b 2 −1 0 −ω2 − ω3 ω2 + ω3 − 2 1 ω + ω4 −ω − ω4

χ3a 3 0 − 1 − ω2 − ω3 − ω2 − ω3 3 0 − ω − ω4 − ω − ω4

χ3b 3 0 − 1 − ω − ω4 − ω − ω4 3 0 − ω2 − ω3 − ω2 − ω3

χ4a 4 1 0 − 1 − 1 4 1 − 1 − 1

χ4 4 1 0 1 −1 − 4 −1 −1 1

χ5 5 − 1 1 0 0 5 − 1 0 0

χ6 6 0 0 −1 1 − 6 0 1 −1

c 7→ −I.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Grupa SL(2, 5)

Jezeli Z2 ↪→ Z(G) oraz β 6= 0, to% : SL(2, 5) ↪→ Cα.

SL(2, 5) = 〈a, b, c|a2c, b3, (ab)5, [a, c], [b, c], c2〉.Z(SL(2, 5)) = 〈c〉.Tablica charakterów SL(2, 5)

1 b a ba b2a c cb (ba)2 c(ba)2

χ1 1 1 1 1 1 1 1 1 1

χ2a 2 −1 0 −ω − ω4 ω + ω4 − 2 1 ω2 + ω3 −ω2 − ω3

χ2b 2 −1 0 −ω2 − ω3 ω2 + ω3 − 2 1 ω + ω4 −ω − ω4

χ3a 3 0 − 1 − ω2 − ω3 − ω2 − ω3 3 0 − ω − ω4 − ω − ω4

χ3b 3 0 − 1 − ω − ω4 − ω − ω4 3 0 − ω2 − ω3 − ω2 − ω3

χ4a 4 1 0 − 1 − 1 4 1 − 1 − 1

χ4 4 1 0 1 −1 − 4 −1 −1 1

χ5 5 − 1 1 0 0 5 − 1 0 0

χ6 6 0 0 −1 1 − 6 0 1 −1

c 7→ −I.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Centrum G

Z dokładnoscia do izomorfizmu, istnieja trzy Z-nieprzywiedlnereprezentacje grupy Z2, dane przez obraz generatora a tejgrupy:

(1) a 7→[1]

(2) a 7→[−1]

(3) a 7→[0 11 0

]Reprezentacja % zawiera podreprezentacje trywialna.W przeciwnym wypadku %(c) = −I ∈ G, a wiec grupa Γ niejest beztorsyjna.Element %(c) ∈ Z(G) jest macierza blokowa postaci

1 0 0 00 0 1 00 1 0 00 0 0 −1

lub[1 00 −1

].

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Elementy grupy G

Niech g ∈ G. W postaci blokowej g ma postac:

g =

g11 g12 g13 g14

g21 g22 g23 g24

g31 g32 g33 g34

g41 g42 g43 g44

.g · %(c) = %(c) · g, wiec

g =

g11 g12 g12 0g21 g22 g23 g24

g21 g23 g22 −g24

0 g42 −g42 g44

.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Elementy grupy G

Niech g ∈ G. W postaci blokowej g ma postac:

g =[g11 g12

g21 g22

].

g · %(c) = %(c) · g, wiec

g =[g11 00 g22

].

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Grupy kohomololgii

Pokazemy, ze H1(G,Zn) 6= 0.H2(G,Zn) ∼= H1(G,Qn/Zn).Centrum grupy Γ jest trywialne, wiec

H1(G,Zn) ∼= H0(G,Qn/Zn) = (Qn/Zn)G = {v ∈ Qn/Zn|gv = v}.Niech γ ∈ H1(G,Qn/Zn) odpowiada klasie α ∈ H2(G,Zn),h ∈ γ. Dla dowolnego g ∈ G mamy

(%(c)− 1)h(g) = (g − 1)h(%(c)).Otrzymujemy

%(c) =[1 00−1

]⇒[0 00−2

] [h1(g)h2(g)

]=[g11 − 1 0

0 g22 − 1

] [h1(%(c))h2(%(c))

]⇓

0 6=[v0

]∈ (Qn/Zn)G ⇒ H1(G,Zn) 6= 0

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Grupy kohomololgii

Pokazemy, ze H1(G,Zn) 6= 0.H2(G,Zn) ∼= H1(G,Qn/Zn).Centrum grupy Γ jest trywialne, wiec

H1(G,Zn) ∼= H0(G,Qn/Zn) = (Qn/Zn)G = {v ∈ Qn/Zn|gv = v}.Niech γ ∈ H1(G,Qn/Zn) odpowiada klasie α ∈ H2(G,Zn),h ∈ γ. Dla dowolnego g ∈ G mamy

(%(c)− 1)h(g) = (g − 1)h(%(c)).Otrzymujemy

%(c) =[1 00−1

]⇒[0 00−2

] [h1(g)h2(g)

]=[g11 − 1 0

0 g22 − 1

] [v0

]⇓

0 6=[v0

]∈ (Qn/Zn)G ⇒ H1(G,Zn) 6= 0

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Reprezentacje SL(2, 5) oraz G

Niech %′ bedzie rozkładem % nad Q postaci

%′ = 1⊕ %1,

gdzie %1 nie zawiera reprezentacji trywialnej.τ = idG – naturalna reprezentacja G.Niech τ ′ = Q−1τQ, gdzie %′ = Q−1%Q. Otrzymujemy

τ ′ = τ0 ⊕ τ1,

gdzie τ1%1 = %1τ1.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Macierz sprzezenia

Niech

Q =

q11 q12 q13 q14

q21 q22 q23 q24

q31 q32 q33 q34

q41 q42 q43 q44

bedzie postacia blokowa Q odpowiadajaca postaci %(c).Q%′(c) = %(c)Q, wiec

Q =

q11 q12 0 0q21 q22 q23 q24

q21 q22 −q23 −q24

0 0 q43 q44

.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Macierz sprzezenia

Niech

Q =

q11 q12 q13 q14

q21 q22 q23 q24

q31 q32 q33 q34

q41 q42 q43 q44

bedzie postacia blokowa Q odpowiadajaca postaci %(c).Q%′(c) = %(c)Q, wiec

Q =

q11 q12 0 0q21 q22 q23 q24

q21 q22 −q23 −q24

0 0 q43 q44

.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Pierwsza grupa kohomologii

τ ′ = Q−1τQ = τ0 ⊕ τ1.τ ′(G) < 〈τ0(g)⊕ 1, 1⊕ τ1(g)|g ∈ G〉 = Q−1G′Q.G < G′ oraz

(Qn/Zn)G′< (Qn/Zn)G.

Otrzymujemy

G′ =

⟨g11 g12 g12 0g21 −1− g23 g23 0g21 g23 −1− g23 00 0 0 1

,

1 0 0 00 1− g′23 g′23 g′24

0 g′23 1− g′23 −g′24

0 g′42 −g′42 g′44

⟩

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Pierwsza grupa kohomologii

τ ′ = Q−1τQ = τ0 ⊕ τ1.τ ′(G) < 〈τ0(g)⊕ 1, 1⊕ τ1(g)|g ∈ G〉 = Q−1G′Q.G < G′ oraz

H1(G′,Zn) ↪→ H1(G,Zn).

Otrzymujemy

G′ =

⟨g11 g12 g12 0g21 −1− g23 g23 0g21 g23 −1− g23 00 0 0 1

,

1 0 0 00 1− g′23 g′23 g′24

0 g′23 1− g′23 −g′24

0 g′42 −g′42 g′44

⟩

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Pierwsza grupa kohomologii

0 6= v ∈ 12Zk/Zk, k = deg(g23). Mamyg11 g12 g12 0g21 −1− g23 g23 0g21 g23 −1− g23 00 0 0 1

0vv0

=

2v− v− v0

1 0 0 00 1− g′23 g′23 g′24

0 g′23 1− g′23 −g′24

0 g′42 −g′42 g′44

0vv0

=

0vv0

Otrzymujemy

H1(G′,Zn) 6= 0⇒ H1(G,Zn) 6= 0.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Pierwsza grupa kohomologii

0 6= v ∈ 12Zk/Zk, k = deg(g23). Mamyg11 g12 g12 0g21 −1− g23 g23 0g21 g23 −1− g23 00 0 0 1

0vv0

=

0vv0

1 0 0 00 1− g′23 g′23 g′24

0 g′23 1− g′23 −g′24

0 g′42 −g′42 g′44

0vv0

=

0vv0

Otrzymujemy

H1(G′,Zn) 6= 0⇒ H1(G,Zn) 6= 0.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Podsumowanie

Nie kazda grupe skonczona mozna zrealizowac jakocentralizator pewnej podgrupy GL(n,Z).Nie kazda grupe skonczona mozna zrealizowac jako podgrupeskonczonego centralizatora pewnej podgrupy GL(n,Z).Jezeli A5 da sie zrealizowac jako grupa automorfizmówzewnetrznych pewnej grupy Bieberbacha z trywialnymcentrum, to Nα \G nie zawiera elementów przemiennych z G.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Podsumowanie

Nie kazda grupe skonczona mozna zrealizowac jakocentralizator pewnej podgrupy GL(n,Z).Nie kazda grupe skonczona mozna zrealizowac jako podgrupeskonczonego centralizatora pewnej podgrupy GL(n,Z).Jezeli A5 da sie zrealizowac jako grupa automorfizmówzewnetrznych pewnej grupy Bieberbacha z trywialnymcentrum, to Nα \G nie zawiera elementów przemiennych z G.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Podsumowanie

Nie kazda grupe skonczona mozna zrealizowac jakocentralizator pewnej podgrupy GL(n,Z).Nie kazda grupe skonczona mozna zrealizowac jako podgrupeskonczonego centralizatora pewnej podgrupy GL(n,Z).Jezeli A5 da sie zrealizowac jako grupa automorfizmówzewnetrznych pewnej grupy Bieberbacha z trywialnymcentrum, to Nα \G nie zawiera elementów przemiennych z G.

Wprowadzenie Podgrupy centralizatorów w GL(n, Z) Przykłady Podsumowanie

Dziekuje za uwage!