Representasjoner av den Modulære Gruppa

Like dokumenter
Geometri på ikke-kommutative algebraer

Oppgave 14 til 9. desember: I polynomiringen K[x, y] i de to variable x og y over kroppen K definerer vi undermengdene:

Utvidet løsningsforslag til Eksamen vår 2010

Grublegruppe 19. sept. 2011: Algebra I

MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile

Karakterer. Kapittel Homomorfier av grupper. 8.2 Representasjoner

Løsningsforslag øving 6

Traseringen til 2-dimesnsjonale representasjoner av kvosienter av k x, y

MAUMAT644 ALGEBRA vår 2016 Andre samling Runar Ile

x A e x = x e = x. (2)

UNIVERSITETET I BERGEN

4 Matriser TMA4110 høsten 2018

Repetisjon: om avsn og kap. 3 i Lay

TMA4110 Eksamen høsten 2018 EKSEMPEL 1 Løsning Side 1 av 8. Løsningsforslag. Vi setter opp totalmatrisen og gausseliminerer: x 1 7x 4 = 0

4.1 Vektorrom og underrom

Matriser. Kapittel 4. Definisjoner og notasjon

Lineær algebra. 0.1 Vektorrom

Løsningsforslag øving 7

Universitet i Bergen. Eksamen i emnet MAT121 - Lineær algebra

4.4 Koordinatsystemer

Gauss-Jordan eliminasjon; redusert echelonform. Forelesning, TMA4110 Fredag 18/9. Reduserte echelonmatriser. Reduserte echelonmatriser (forts.

4.1 Vektorrom og underrom

UNIVERSITET I BERGEN

MAT1120 Notat 2 Tillegg til avsnitt 5.4

MAT1120 Notat 1 Tillegg til avsnitt 4.4

MAT1120 Notat 1 Tillegg til avsnitt 4.4

= 3 11 = = 6 4 = 1.

Eksamen i MNFMA205/SIF5021, 19. mai 1999-Løsningsforslag a b Oppgave 2. (a) Vi skal vise at H = 0 a b under matrisemultiplikasjon. Vi har at det.

Eksamen i fag FY8104 Symmetri i fysikken Fredag 7. desember 2007 Tid:

Oppgaver i kommutativ algebra

4.1 Vektorrom og underrom

Repetisjon: Om avsn og kap. 3 i Lay

MAT1120 Repetisjon Kap. 1, 2 og 3

Lineærtransformasjoner

4-torsjonspunkter på elliptiske romkurver

4.4 Koordinatsystemer

8 Vektorrom TMA4110 høsten 2018

9 Lineærtransformasjoner TMA4110 høsten 2018

12 Diagonalisering av matriser og operatorer (Ch. 5.1, 5.2 og 8.5)

12 Lineære transformasjoner

Lineær uavhengighet og basis

OPPGAVER FOR FORUM

7 Ordnede ringer, hele tall, induksjon

MAT1120 Notat 2 Tillegg til avsnitt 5.4

Egenverdier for 2 2 matriser

Lineær algebra-oppsummering

GENERELLE VEKTORROM. Hittil har vi bare snakket om vektorrom av type

(a) R n defineres som mengden av kolonnevektorer. a 1 a 2. a n. (b) R n defineres som mengden av radvektorer

En rekke av definisjoner i algebra

4.1 Vektorrom og underrom

Notat i MA2201. Vegard Hagen. 27. mai La S være en mengde og la f, g, h : S S. Da er

13 Oppsummering til Ch. 5.1, 5.2 og 8.5

UNIVERSITETET I OSLO

Oppgaver MAT2500 høst 2011

MAUMAT644 ALGEBRA vår 2016 Fjerde samling Runar Ile

Oppgaver MAT2500. Fredrik Meyer. 29. august 2014

Eliminasjon av ubetsemthet

Forslag til løsninger, TMA4150 Algebra, 29. mai 2018 Side 1 av 5

Til enhver m n matrise A kan vi knytte et tall, rangen til A, som gir viktig informasjon.

A.3.e: Ortogonale egenfunksjonssett

Fasit til utvalgte oppgaver MAT1110, uka 13/4-16/4

MAT3000/ Våren 2013 Obligatorisk oppgavesett nr. 2 Løsningsskisse

Notat 05 for MAT Relasjoner, operasjoner, ringer. 5.1 Relasjoner

Geometri i rommet. Kapittel Vektorer i R 3. Lengden av v er gitt ved

Notat om Peanos aksiomer for MAT1140

Rom og lineæritet. Erik Bédos. Matematisk Institutt, UiO 2012.

For æresdoktoratet i Bergen 28 august 2008

KOHOMOLOGI AV KNUTEROM, ETTER VASSILIEV. John Rognes

MAT Onsdag 7. april Lineær uavhengighet (forts. 1.8 Underrom av R n, nullrom, basis MAT Våren UiO. 7.

x 1 x 2 x = x n b 1 b 2 b = b m Det kan være vanskelig (beregningsmessig) og bearbeide utrykk som inneholder

Mer om kvadratiske matriser

Dette krever ikke noe nytt aksiom. Hvorfor? Og hvorfor må vi anta at A ikke er tom? Merk at vi har:

UNIVERSITY OF OSLO. Faculty of Mathematics and Natural Sciences. Matlab-utskrift (1 side).

Vektorrom. Kapittel 7. Hva kan vi gjøre med vektorer?

HJEMMEOPPGAVER (utgave av ):

MAT-1004 Vårsemester 2017 Prøveeksamen

Grupper de første egenskaper

Stanley-Reisner ringer med sykliske gruppevirkninger

5.5 Komplekse egenverdier

Egenverdier og egenvektorer

Eksamensoppgave i TMA4150 Algebra

Mer om kvadratiske matriser

OPPGAVER FOR FORUM

Koszul-algebraer over endelige kropper

Løsning Eksamensrelevante oppgaver i ELE 3719 Matematikk Vektorer, matriser og lineær algebra Dato Februar Oppgave 1. (A) Vi leser av at

Semantikk Egenskaper ved predikatlogikk Naturlig deduksjon INF3170 / INF4171. Predikatlogikk: Semantikk og naturlig deduksjon.

Oblig 1 - MAT2400. Fredrik Meyer

Løsninger for eksamen i MAT Lineær algebra og M102 - Lineær algebra, fredag 28. mai 2004, Oppgave 1. M s = = 1 2 (cofm 2) T.

MAT-1004 Vårsemester 2017 Prøveeksamen

Oppgavesett. Kapittel Oppgavesett 1

Lineær Algebra og Vektorrom. Eivind Eriksen. Høgskolen i Oslo, Avdeling for Ingeniørutdanning

MAT 1110: Bruk av redusert trappeform

Til enhver m n matrise A kan vi knytte et tall, rangen til A, som gir viktig informasjon.

Vær OBS på at svarene på mange av oppgavene kan skrives på flere ulike måter!

UNIVERSITETET I OSLO

Litt GRUPPETEORI for Fys4170

Et noget ukomplett oppslagsverk for TMA4150 Algebra og tallteori. Ruben Spaans

TOPOLOGISK K-TEORI OG BOTT PERIODISITET. John Rognes. 8. mai 2003

Transkript:

Representasjoner av den Modulære Gruppa av Håkon Hobæk KORT MASTEROPPGAVE for graden Master i Matematikk (Master of Science) Det matematisk- naturvitenskapelige fakultet Universitetet i Oslo Mai 2009 Faculty of Mathematics and Natural Sciences University of Oslo

Innhold 1 Introduksjon 3 2 Grupper 4 2.1 Den modulære gruppa........................ 5 3 Representasjoner 6 4 Traseringen 8 4.1 Traser til grupper på to generatorer................. 9 5 Irredusible representasjoner av den modulære gruppa og undergrupper 10 5.1 1-dimensjonale irredusible representasjoner............. 11 5.2 2-dimensjonale irredusible representasjoner............. 11 5.3 3-dimensjonale irredusible representasjoner............. 13 5.4 Representasjoner av gruppa (2,3,p)................. 14 6 Ekstensjoner 15 6.1 Ekstensjoner av 1-dimensjonale representasjoner.......... 17 2

1 Introduksjon Representasjonsteori er et område innenfor matematikken hvor man representerer elementer i grupper og algebraer med lineære transformasjoner av vektorrom. I lineær algebra finnes det mye verktøy, og dette kan man bruke til for eksempel å finne undergrupper. Ved å benytte matriser kan man forenkle regningen eller ta i bruk dataprogrammer som regner ved hjelp av matriser. For noen typer grupper, for eksempel endelige og kompakte, er det en fyldig teori som fyller mange bøker. For andre typer grupper, for eksempel uendelig diskrete grupper, finnes det ikke en stor generell teori. Denne oppgava legger hovedvekt på endeligdimensjonale representasjoner av den modulære gruppa og noen av dens undergrupper. Etter en introduksjon til den modulære gruppa og representasjonsteori, kommer et kapittel om traseringen. Det vises, ved hjelp av Cayley-Hamiltons teorem, at man kan skrive trasen til potenser av matriser som lineære kombinasjoner av matriser av lavere potens. Dette fører til at karakteren til representasjoner av en uendelig gruppe kan bestemmes ut ifra karakteren til et endelig antall elementer. De mest interessante representasjonene er de irredusible, og alle klassene av 1-, 2- og 3-dimensjonale, irredusible representasjoner blir funnet i kapittel 5. Det blir også gitt konkrete eksempler på irredusible representasjoner av undergrupper som for eksempel S 3. Til slutt er det et kapittel om ekstensjoner og hvordan dette kan brukes til å finne indekomposable representasjoner. Ved hjelp av to representasjoner av dimensjon n og m kan man konstruere en indekomposabel representasjon av grad m + n. Den modulære gruppa er en uendelig, diskrete gruppe generert av to variable. For generatorene a og b i den modulære gruppa er a 2 = 1 og b 3 = 1. På grunn av dette vil vi i utregningene ofte støte på enhetsrøtter av grad 2, 3 og 6. Vi vil derfor bruke notasjonen 1 ω = 3 1, en rot av x 2 + x + 1, og 1 ν = 3 1, en rot av x 2 x + 1, gjennom hele oppgava. 3

2 Grupper En gruppe G er en mengde lukket under en binær operasjon : G G G slik at: (i) (s 1 s 2 ) s 3 = s 1 (s 2 s 3 ), s 1,s 2,s 3 G (ii) Det eksisterer et element e G slik at e s = s e = s, s G (iii) For hver s G så eksisterer det en s 1 G slik at s 1 s = s s 1 = e Enkle eksempler på grupper er med addisjon, GL 2 ( ) med multiplikasjon og {1,ω,ω 2 } med multiplikasjon. G kalles ordenen til gruppa og er antall elementer i gruppa. Begge de første eksemplene er grupper av uendelig orden, mens det siste eksemplet har et endelig antall elementer og er en gruppe av orden 3. Vi sier at ω er en generator for den siste gruppa ettersom alle elementene i gruppa er potenser av ω, mao: de er generert av ω. Lar vi s G og det eksisterer en n Æ slik at s n = e og s m e, m Æ, m < n sier vi at s har grad n. En monoide er en mengde med assosiativ multiplikasjon og en enhet. Med andre ord en mengde M hvor (i) og (ii), men ikke (iii), er oppfylt. Gitt en mengde A, så er den frie monoiden, også kalt mengden av ord på A, mengden W(A) av endelige sekvenser av elementer fra A. I W(A) er produktet gitt ved skjøting av ord og enheten er det tomme ordet. Et element w W(A) ser typisk ut som w = a 1 a 2..a n, hvor a i A. Lengden av ordet er n og det tomme ordet er det eneste ordet med lengde 0. Vi identifiserer A med mengden av ord med lengde 1. La (G i ) i I være en familie av grupper. La A være den disjunkte unionen A = i I G i. La være ekvivalensrelasjonen på W(A) definert ved we i w ww wabw wcw når e i er enheten i G i for en i I når a,b,c G i med ab = c for en i I for alle w,w W(A). Kvotienten W(A)/ er en gruppe og blir kalt det frie produktet av gruppene G i (i I) og skrives i I G i. Den inverse til et element a 1 a 2...a n i i I G i er a 1 n a 1 n 1...a 1 1. Et ord w = a 1a 2...a n W(A) med a j G ij sies å være redusert hvis i j+1 i j (1 j n 1) og a j ikke er et enhetselement. Lar vi for eksempel I = {1,2}, G 1 = {e 1,a} og G 2 = {e 2,b,b 2 } så er abab 2 aba på redusert form, mens abb 2 a og ae 2 ikke er det. Lemma 1 (Ping-pong-lemma). La Γ være en gruppe som virker på en mengde X, G 1,G 2 være to undergrupper av Γ av henholdsvis orden minst 3 og 2, og la G være den undergruppa generert av G 1 og G 2. Anta at det eksisterer to ikke-tomme undermengder X 1 og X 2 i X med X 2 X 1, slik at gx 2 X 1 g G 1, g 1, gx 1 X 2 g G 2, g 1. Da er G isomorf med det frie produktet G 1 G 2. 4

Bevis. La w være et ikke-tomt redusert ord med bokstaver fra den disjunkte unionen av G 1 \{1} og G 2 \{1}. Vi må vise at elementet i G definert ved ordet w ikke er 1. Hvis w = a 1 b 1 a 2 b 2...a k hvor a i G 1 \{1} og b j G 2 \{1} for alle i og j så er w(x 2 ) = a 1 b 1 a 2 b 2...a k (X 2 ) a 1 b 1 a 2 b 2...a k 1 b k 1 (X 1 ) a 1 b 1 a 2 b 2...a k 1 (X 2 )... a 1 (X 2 ) X 1 og ettersom X 2 X 1 så kan ikke w = 1. Hvis w = b 1 a 1 b 2 a 2...b k velg en a G 1 \{1}. Da er awa 1 1 ved forrige argument og w 1. Hvis w = a 1 b 1 a 2 b 2...a k b k, velg en a G 1 \{1,a 1 1 } og argumenter med awa 1 igjen. Hvis w = b 1 a 1 b 2 a 2...a k, velg en a G 1 \{1,a k } og gjør det samme. Det finnes mange grupper generert av to elementer av orden 2 og 3. Den minste er S 3 og den største er det frie produktet 2 3. I mellom fins det mange grupper og en samlebetegnelse for noen av dem er (2,3,p). Det er gruppa som er generert av to elementer a og b hvor a 2 = b 3 = (ab) p = 1. For p = 2 er (ab) 2 = 1. Det vil si at aba = b 1 og gruppa S 3 (2,3,2). 2.1 Den modulære gruppa En funksjon f : gitt ved f(z) = az + b, a,b,c,d og ad bc 0, cz + d kalles en LFT (Linear Fractional Transformation). Den modulære gruppa består av alle LFT er som har a,b,c,d og ad bc = 1. Lar vi f 1 (z) = a 1z+b 1 c 1 z+d 1 og f 2 (z) = a 2z+b 2 c 2 z+d 2 så får vi ved en utregning at at f 1 f 2 (z) = a 1 ( a2 z+b 2 c 2 z+d 2 ) + b 1 c a2 z+b 2 1 c 2 z+d 2 = a 1 (a 2 z + b 2 ) + b 1 (c 2 z + d 2 ) + d c 1 1 (a 2 z + b 2 ) d 1 (c 2 z + d 2 ) = (a 1a 2 + b 1 c 2 )z + (a 1 b 2 + b 1 d 2 ) (c 1 a 2 + d 1 c 2 )z + (c 1 b 2 + d 1 d 2 ). a1 b Tar vi de to matrisene 1 a2 b og 2 og multipliserer de så ser vi c 1 d 1 c 2 d 2 ( a1 b 1 c 1 d 1 ) ( a2 b 2 a1 a = 2 + b 1 c 2 a 1 b 2 + b 1 d 2 c 2 d 2 c 1 a 2 + d 1 c 2 c 1 b 2 + d 1 d 2 Nå er az b cz d cz+d så vi ser at den modulære gruppa er isomorf med PSL 2 ( )=SL 2 ( )/{I, I}, den projektive spesielle lineære gruppa, som består av 2 2-matriser med determinant lik 1 og hvor matriseparene A og A identifiseres. = az+b 5 ).

Proposisjon 1. SL 2 ( ) er generert av de to matrisene 0 1 1 1 A = og B = 1 0 1 0 a b Bevis. Anta at vi har en 2 2-matrise M = SL c d 2 ( ). Vi har 1 1 b a a na + b C = AB 5 =, MA = og MC 0 1 d c n =. Første del c nc + d av beviset ( går ut på å multiplisere M med A og C til vi får en matrise på a b formen ) 0 d. na b a Hvis d = c så er MC n A = for en n { 1,1}. 0 c Hvis d < c sett (s ij ) = S 1 = MA og hvis d > c sett (s ij ) = S 1 = M. Man velger deretter en n 1 slik at n 1 s 1 21 + s1 22 < s1 21 og setter S 2 = S 1 C n 1 A. Nå er s 2 21 < s2 22 og s2 21 < s1 21. Så lenge sp 1 21 0 velger vi en passende n p 1 og setter S p = S p 1 C n p 1 A. Da får vi at s p 21 < sp 1 21. { sn 22 } er en avtagende følge med 0 som nedre skranke. Det følger at det ekisterer en p slik at s p+1 21 = 0 og s t 21 0 for t < p + 1. ( Vi kan altså skrive MA q 1 C n 1 AC n 2 a b A...C np A = ) 0 d = R for q 1 {0,1}. R har determinant lik 1 og det følger derfor at a = d = ±1. A 2 = I så RA q 2 C n = I for en q 2 {0,2} og n(q 2 ) {b, b }. Det følger at M = C n(q2) A q 2 A 3 C np...a 3 C n 2 A 3 C n 1 A q 1. I PSL 2 ( ) er A 2 = B 3 = I så A 2 og B 3. La PSL 2 ( ) virke på Ê 2 og sett X 1 = 0 Ê og X 2 = Ê 0. Da er A X 2 X 1 og B X 1 X 2. Ved ping-pong-lemmaet er da PSL 2 ( ) isomorf med det frie produktet 2 3. 3 Representasjoner La V være et vektorrom over og la GL(V ) være gruppa av isomorfier fra V på seg selv. Hvis V har en endelig basis (e i ) av n elementer så er hver avbildning A : V V definert ved en n n-matrise (a ij ). For hvert element i basisen er A(e j ) = i a ije i. Gruppa GL(V ) kan derfor identifiseres med gruppa av invertible matriser av orden n. En lineær representasjon av G i V er en homomorfi ρ fra gruppa G inn i gruppa GL(V ). For hvert element i s G har vi et element ρ(s) GL(V ), eller ρ s, slik at Det følger da umiddelbart at ρ(s 1 s 2 ) = ρ(s 1 )ρ(s 2 ) s 1,s 2 G. ρ(1) = I n og ρ(s 1 ) = ρ(s) 1. Når ρ er gitt kaller vi V et representasjonsrom, eller bare en representasjon, av G. Anta nå at V har endelig dimensjon n. Da sier vi at graden til den lineære representasjonen fra G inn i GL(V ) er n. 6

La ρ og ρ være to representasjoner av samme gruppe G inn i GL(V ) og GL(V ). Vi sier at disse representasjonene er isomorfe hvis det eksisterer en lineær isomorfi τ : V V slik at τ ρ(s) = ρ (s) τ τ ρ(s) τ 1 = ρ (s) s G. Eksempler: En representasjon av grad 1 av en gruppe G er en homomorfi ρ : G. Hvis gruppa er endelig har ethvert element i s G endelig orden og ettersom s m = 1 for en m Æ så er ρ m s = 1 og ρ s er en enhetsrot for alle s G. Hvis vi setter ρ(s) = 1 for alle s G så får vi en representasjon kalt den trivielle representasjonen. La G være endelig av orden g, V være et vektorrom av dimensjon g med en basis (e s ) s G indeksert over elementene i G. For s G la ρ s være den lineære avbildningen fra V inn i V som sender e t på e st. Dette definerer en lineær representasjon kalt den regulære representasjonen av G. La ρ : G GL(V ) være en representasjon og W være et underrom av V. Vi sier at W er stabilt, eller invariant, under G hvis ρ s x W for alle x W og s G. Restriksjonen ρ W s av ρ s til W er da en isomorfi av W på seg selv og vi har ρ W st = ρw s ρw t. Derfor er ρ W : G GL(W) en lineær representasjon og W kalles en underrepresentasjon av V. Teorem 1. La G < og ρ : G GL(V ) være en representasjon og W være et stabilt underrom av V under G. Da eksisterer et komplement W c til W i V som er stabilt under G. Bevis. Se [1] En representasjon V kalles irredusibel, eller simpel, hvis V ikke har noe invariant, propert underrom under virkning av G. Ved å bruke teorem 1 fører dette til følgende teorem: Teorem 2. Enhver representasjon er en direkte sum av irredusible representasjoner. Bevis. La V være en lineær representasjon av G. Teoremet bevises ved induksjon på dim V. Teoremet er opplagt for dim V = 0 (0 er den direkte summen av den tomme familien av irredusible representasjoner). Anta derfor at dim V 1. Det er ingenting å bevise hvis V er irredusibelt. Vi antar derfor at V er redusibelt og har et invariant propert underrom W. Ved teorem 1 kan V skrives som en direkte sum av W W c hvor dim W < dimv og dim W c < dim V. Ved induksjonshypotesen er W og W c en direkte sum av irredusible representasjoner og det følger at V også er det. 7

La A = (a ij ) være en n n-matrise. Trasen til A, t A, er summen av egenverdiene til A, talt med multiplisiteter, eller ekvivalent t A = n i=1 a ii. La ρ : G GL(V ) være en representasjon av en endelig gruppe i V og sett χ ρ (s) = t ρs. Den komplekse funksjonen χ ρ kalles karakteren til ρ. Proposisjon 2. For karakteren χ til en representasjon ρ av grad n gjelder følgende: (i) χ(1) = n (ii) χ(s 1 ) = χ(s) (iii) χ(tst 1 ) = χ(s). Bevis. Se [1] En svært viktig grunn til innføringen av karakteren er at karakteren kan brukes til å skille klasser av representasjoner fra hverandre. Dette kommer til å bli brukt senere i oppgava. Proposisjon 3. To representasjoner med samme karakter er isomorfe. Bevis. Se [1] 4 Traseringen Det karakteristiske polynomet til en n n-matrise A er f(λ) = Det(A λi n ) = d A λin. Egenverdiene til A er løsningene [ ] på den a b karakteristiske likningen f(λ) = 0. Ser vi på tilfellet A = får vi at c d ([ ]) a λ b Det = ad aλ λd + λ 2 bc c d λ = λ 2 (a + d)λ + (ad bc) = λ 2 t A λ + d A. For en 3 3-matrise A kan man regne ut på akkurat samme måte at d A λi = λ 3 t A λ 2 + 1 2 (t2 A t A 2)λ d A. Neste teorem skal vi bruke til å vise at enhver potens av en n n-matrise A kan skrives som en lineær kombinasjon av A n 1,A n 2,...,I med koeffesienter generert av determinanten og trasen. Teorem 3 (Cayley-Hamilton). La A være en lineær operator på et endeligdimensjonalt vektorrom V, og la f(λ) være det karakteristiske polynomet til A. Da er f(a) = 0. Bevis. Se [3] 8

Ved å bruke Cayley-Hamiltons teorem har vi at A 2 = t A A d A I 2 for en 2 2-matrise A. For enhver n > 2 er A n = A n 2 A 2 = A n 2 (t A A d A ) = t A A n 1 d A A n 2. Det betyr at etter et endelig antall iterasjoner kan man skrive A n som en lineær kombinasjon av A og I 2. n Definér binomialkoeffesienten = 0 for i < 0 og i i til kun å summere over heltall. Da har vi følgende proposisjon. Proposisjon 4. La A være en 2 2-matrise. Da har vi at n 2 +1 A n = i=1 t n+1 2i A ( d A ) i 1 n i A + n + 1 2i n 2 i=1 t n 2i A ( d A ) i n 1 i I n 2i 2 Bevis. Proposisjonen skal bevises ved induksjon og vi må håndtere de to tilfellene hvor n er odde og n er par separat. Vi regner først ut for n = 3 for å se om det stemmer i dette tilfellet. A 3 = t A A 2 d A A = t A (t A A d A I 2 ) d A A = (t 2 A d A) A t A d A I 2 Ved å sette n = 3 i formelen ovenfor får vi 3 2 +1 A 3 = = i=1 2 i=1 t 3+1 2i A ( d A ) i 1 3 i A + 3 + 1 2i t 2(2 i) A ( d A ) i 1 3 i A + 2(2 i) 1 i=1 3 2 i=1 t 3 2i A ( d A) i 3 1 i I 3 2i 2 t 3 2i A ( d A) i 2 i 3 2i = t 2 A A + ( d A) A + t A d A I 2 = (t 2 A d A) A t A d A I 2 og det er riktig for n = 3. Antar vi nå at det stemmer for en vilkårlig n 3 så vil vi, med litt regning, finne ut at det også stemmer for n + 1. 4.1 Traser til grupper på to generatorer La A = [x 1,...,x m ] og A = [x k ij ], 1 i,j n, 1 k m være polynomringer i henholdsvis m og mn 2 variable. Vi kan lage en avbildning φ : A M n (A ) ved x k 11 x k 12 x k 1n x k 21 x k 22 x k 2n φ(x k ) =....... x k n1 x k n2 x k nn x k 11 x k 12 x k 1n x k 21 x k 22 x k 2n Sett S = Im φ, ringen generert av matrisene..... for alle k.. x k n1 x k n2 x k nn S kalles ringen av m generiske n n-matriser. La Cn m A være ringen generert av alle t s hvor s S. Cn m kalles traseringen av grad n til m generiske matriser. 9 I 2

Gruppa GL n (V ) virker på S ved g s = gsg 1 for g G, s S. Vi vet at d AB = d A d B og t ABC = t CAB. Det følger da at d BAB 1 = d A og t BAB 1 = t A. Det vil si at både trasen og determinanten er invariant under virkning av GL n (V ). Trasene til to isomorfe representasjoner er derfor like. Det samme gjelder for determinantene til to isomorfe representasjoner. La In m være ringen generert av bildet til funksjoner f : S A som er invariante under virkning av GL n (V ). Teorem 4. Invariantringen I n m er lik traseringen C n m. Bevis. Vi vet at C n m I n m. Det motsatte ble antatt av Artin [6] og bevist av Procesi [7]. La a og b være generatorene til en gruppe G, ρ : G M n ( ) og bruk notasjonen t a = t ρ(a) osv. Nå er t ABC = t CBA så for å finne et generelt uttrykk for t w for et ord w i G så holder det å se på ordene som er syklisk uavhengige. Ordene i G er på formen a q 0 b q 1 a q 2 b q 3...a qn 1 b qn hvor q i for 1 i n. Nå lar vi n = 2 og ser på de 2-dimensjonale representasjonene. Ved Cayley- Hamilton vet vi at A 2 = t A A d A I 2. Det følger at t A 2 = Tr(t A A d A I 2 ) = t 2 A 2d A = d A = t2 A t A 2. 2 Det vil si at determinanten selv er en trase. Anta nå at vi har et ord a q 0 b q 1 a q 2 b q 3...a qn 1 b qn som ovenfor. Ved å bruke Cayley-Hamilton kan vi erstatte a 2 (henholdsvis b 2 ) med t a a d a I (henholdsvis t b b d b I). Det følger at ordet kan brytes ned på formen n i=1 k ia i bab...ab i hvor a i {1,a}, b i {1,b} og k i [t a,d a,t b,d b ]. Det vil derfor holde å se på monomene på formen a i bab...ab i. Ser vi nå på t ai bab...ab i = t bab...abi a i = t bi a i bab...a ser vi at hvis b i = 1 a i eller b i 1 = a i så vil trasen til a i bab...ab i være lik trasen til bab..aba 2 eller b 2 ab..a som igjen kan brytes ned. Det vil si at trasen til ethvert ord kan skrives som en linær kombinasjon av trasene til monomer av formen (ab) q, a og b med koeffesienter k [t a,d a,t b,d b ]. Proposisjon 5. Traseringen C 2 2 = [t a,t a 2,t b,t b 2,t ab ]. Bevis. Ved proposisjon 4 har vi et uttrykk for (ab) q ved hjelp av t ab og d ab. Det følger at [t a,d a,t b,d b,t ab ] = [t a,t a 2,t b,t b 2,t ab ] = C 2 2. Korollar 1. Traseringen C 2 2 til den modulære gruppa er lik [t ab] Bevis. I tilfellet hvor a 2 = b 3 = 1 er de fire andre trasene allerede bestemt. For eksempel er t a 2 = t 1 = 2 og t a = 0 ved Cayley Hamiltons teorem. Tilsvarende gjør man for t b og t b 2. 5 Irredusible representasjoner av den modulære gruppa og undergrupper La G være en gruppe generert av a og b, og ρ : G GL(V ) M n ( ) være en representasjon av grad n. 10

Proposisjon 6. ρ er irredusibel hvis og bare hvis dim Im ρ = n 2. Bevis. Sett P = Im ρ. " ": Pv = V 0 v V ettersom Pv er et underrom. Altså er ρ surjektiv og dim Im ρ = n 2. " ": La 0 u U, hvor U er et underrom av V. Da har vi at V = Pu U og ρ er irredusibel. For n = 1 er dette trivielt. For n = 2 så må dim Im ρ = 4. Regningen fra avsnitt 4.1 viser at den 2-dimensjonale representasjonen av et ord i G vil være en lineær kombinasjon av 1, a, b og ab med koeffesienter k [t a,d a,t b,d b ]. Det betyr at {ρ 1,ρ a,ρ b,ρ ab } må utspenne M 2 ( ). Bruker vi notasjonen fra tidligere vil dette være ekvivalent med at vektorene 1 a 11 b 11 a 11 b 11 + a 12 b 21 { 0 0 a 12 a 21, b 11 b 11, a 11 b 12 + a 12 b 22 a 21 b 11 + a 22 b 21 } er lineært uavhengige. Det er tilfellet 1 a 22 b 11 a 21 b 12 + a 22 b 22 når 1 a 11 b 11 a 11 b 11 + a 12 b 21 Det 0 a 12 b 12 a 11 b 12 + a 12 b 22 0 a 21 b 21 a 21 b 11 + a 22 b 21 = Det (A.B B.A) 0, 1 a 22 b 22 a 21 b 12 + a 22 b 22 hvor den første likheten bare er utregning. Dette beviser følgende resultat: Proposisjon 7. 2 2-matrisene I,A,B og AB utspenner M 2 ( ) hvis og bare hvis Det (A.B B.A) 0 5.1 1-dimensjonale irredusible representasjoner La oss først se på de 1-dimensjonale representasjonene av den modulære gruppa. Generatorene a og b oppfyller a 2 = b 3 = 1 så ρ 2 a = ρ 3 b = 1 for enhver 1- dimensjonal representasjon ρ : G. Ettersom multiplikasjon er kommutativt i så vil isomorfe representasjoner være identisk like. Vi ser at ρ(a) = ±1 og ρ(b) = 3 1 og vi har da i alt seks unike 1-dimensjonale representasjoner. Tabellen under viser de seks representasjonene. ρ(b) = 1 ρ(b) = ω ρ(b) = ω 2 ρ(a) = 1 ρ 1 ρ 2 ρ 3 ρ(a) = 1 ρ 4 ρ 5 ρ 6 5.2 2-dimensjonale irredusible representasjoner Når vi kommer til det 2-dimensjonale tilfellet blir det straks vanskeligere. Ved å se på utledningen ovenfor har vi at a 2 = b 3 = 1 krever t a = 0, d a = 1, 11

t 2 b d b = 0 og t b d b = 1. Noe som gir t b = 3 1 og d b = t 2 b. Det vil si trasen til a p og b q er gitt for( alle p,q. ) a11 a Lar vi ρ a = 12 og løser likningene t a 21 a a = 0 og d a = 1 får vi 22 løsningene 1 a a 2 1,11 A 1 = 1,11 a 1,21, A 2 = a 1,21 a 1,11 1 a2,12 0 1 1 a3,12 og A 3. 0 1 b11 b Lar vi på samme måte ρ b = 12 og løser likningene t b 21 b b = 3 1 og 22 d b = t 2 b får vi ( ) b B 1 = 1,11 b2 1,11 +b 1,11+1 b ω b2,12 1,21 og B 2 = b 1,21 b 1,11 1 0 ω 2, når t b = 1 og d b = 1. For t b = ν og d b = ν 2 = ω har vi ) b (b 2 3,11 +νb 3,11+ν 1 B 3 = 3,11 b 1 b4,12 3,21, B 4 = b 3,11 + ν 0 ω b 3,21 ω b5,12 og B 5. 0 1 Hvis ρ a og ρ b er øvre-triangulære så vil representasjonen opplagt ikke være irredusibel. Vi har derfor 9 kombinasjoner som er mulige kandidater. ρ 1 a = A 1 ρ 1 b = B 1 ρ 2 a = A 1 ρ 2 b = B 2 ρ 3 a = A 1 ρ 3 b = B 3 ρ 4 a = A 1 ρ 4 b = B 4 ρ 5 a = A 1 ρ 5 b = B 5 ρ 6 a = A 2 ρ 6 b = B 1 ρ 7 a = A 2 ρ 7 b = B 3 ρ 8 a = A 3 ρ 8 b = B 1 ρ 9 a = A 3 ρ 9 b = B 3 Ved uttregningen ovenfor har vi at trasen til ethvert ord er entydig bestemt av de fem trasene {t a,t a 2,t b,t b 2,t ab }. Ved korollar 3 ser vi da at to representasjoner er like dersom de fem tilhørende trasene er like. Det holder derfor å se på karakteren til de fem ordene a, a 2, b, b 2 og ab. Vi vet at t a = 0 og t a 2 = 2 for alle representasjonene. Vi bruker notasjonen χ i s = Tr(ρ i (s)) og får tabellen 12

b b 2 ab 2a 11 b 11 a 21 b 21 b 2 21 a2 11 +b2 21 a2 21 b2 11 a2 21 b 11 a 2 21 +a 11a 21 b 21 a 21 b 21 χ 1 1 1 χ 2 1 1 a 11 ω + a 21 b 12 a 11 ω 2 χ 3 ν ν 1 2a 11 b 11 a 21 b 21 b 2 21 a2 11 +b2 21 a 212b 2 11 +a2 21 b 11ν + a 2 21 ν 1 a 11 a 21 b 21 ν a 21 b 21 χ 4 ν ν 1 a 11 + a 21 b 12 a 11 ω χ 5 ν ν 1 a 11 ω + a 21 b 12 a 11 χ 6 1 1 2b 11 + a 12 b 21 + 1 χ 7 ν ν 1 2b 11 + a 12 b 21 ν χ 8 1 1 2b 11 + a 12 b 21 1 χ 9 ν ν 1 2b 11 + a 12 b 21 + ν I tabellen ovenfor ser vi at χ i ab har mange frie parametere for alle i. Det betyr at vi kan fastsette alle parameterne utenom én og fortsatt kunne generere alle representasjonene. Det er derfor tre klasser av irredusible representasjoner som aldri er isomorfe: ρ 1 1 0 a =, ρ 1 ω s b 1 1 = 0 ω 2 ρ 2 1 0 a =, ρ 2 1 t b 1 1 = 0 ω ρ 3 1 0 a =, ρ 3 1 u b 1 1 = 0 ω 2. Representasjonen er irredusibel hvis Det(AB BA) 0. Det vil si så lenge s / {0, 2(2ω + 1)}, t / {0,2(ω 1)} og u / {0,2(ω 2 1)}. Karaktertabellen til de tre representasjonene ser slik ut: 1 a b b 2 ab χ 1 2 0 1 1 s + 2ω + 1 χ 2 2 0 1 + ω 1 + ω 2 t + 1 ω χ 3 2 0 1 + ω 2 1 + ω u + 1 ω 2 5.3 3-dimensjonale irredusible representasjoner For n = 3 er bildet av {1,a,b,b 2,ab,ba,b 2 a,bab,b 2 ab} en lineær basis for for M 3 ( )[5]. Det betyr at representasjonen til et hvert ord kan skrives som en lineær kombinasjon av representasjonene til basisen. Karakteren til en representasjon er da kun avhengig av karakteren til disse 9 monomene. Ved å løse likningene gitt ved ρ 2 a = 1, ρ3 b = 1 og Cayley-Hamilton får vi a 3 = t a a 2 1 2 (t2 a t a 2)a + d a = a = t a = ±1 b 3 = t b b 2 1 2 (t2 b t b 2)b + d b = 1 = t b = t b 2 = 0. 13

Akkurat som i tilfellet med n = 2 er nå karakteren til representasjonen til noen av ordene bestemt. Ved å se på de 9 monomene som utgjør basisen for M 3 ( ) så har vi at t ab = t ba, t b 2 a = t bab og t b 2 ab = t a. Det betyr at karakteren til en representasjon er éntydig bestemt av trasen til {1,a,b,b 2,ab,b 2 a} hvorav trasen til de fire første er bestemt. Ved regning, ved hjelp av f. eks Maple, ser man at matriser som oppfyller Cayley-Hamilton-kravene for a og b har henholdsvis minst 2 og 3 parametere. Trasen til ab og b 2 a inneholder minst 2 av disse for alle tilfellene. Man kan på samme måte som med n = 2 redusere representasjonene ned til to klasser ved passende konjugasjon og valg av parametre. De to klassene av representasjonene er 1 0 0 ρ 1 a = 0 1 0, 0 0 1 1 0 0 ρ 2 a = 0 1 0, 0 0 1 s 1 + s s 2 + 2t s + t + st ρ 1 b = 1 1 s 1 + t 0 2 1 u 1 + u u 2 + 2r u + r + ur ρ 2 b = 1 1 u 1 + r. 0 2 1 Ved å bruke Shemesh s teorem kan vi finne ut når representasjonene ikke er irredusible. Teorem 5 (Shemesh s teorem). [4] De to 3 3-matrisene A og B genererer M 3 ( ) hvis og bare hvis er invertible. 2 [A i,b j ] [A i,b j ] og i,j=1 2 [A i,b j ][A i,b j ] i,j=1 Her er [A,B] = AB BA og A er den hermittiske transponeringa til A. I tilfellet vårt er A 2 = 1, derfor blir likningene redusert til [A,B] [A,B] + [A,B 2 ] [A,B 2 ] og [A,B][A,B] + [A,B 2 ][A,B 2 ]. Ved å ta determinanten til disse matrisene og sette den lik 0 finner vi ut at ρ 1 og ρ 2 er redusible for linjene og s 1 (t) = 1 t, s 2 (t) = 1 + ω + 2ωt og s 3 (t) = 1 + ω 2 + 2ω 2 t u 1 (r) = 1 r, u 2 (r) = 1 + ω + 2ωr og u 3 (r) = 1 + ω 2 + 2ω 2 r. De 3 linjene krysser hverandre i ( 1 2,1), (ω,ω2 ) og (ω 2,ω). Karaktertabellen til de to representasjonene ser slik ut: 1 a b b 2 ab b 2 a χ 1 3 1 0 0 2s 2 + 4t + 2s χ 2 3 1 0 0 2u 2 4r 2u 14

5.4 Irredusible representasjoner av gruppa (2,3,p) La oss ta for oss de tre klassene med 2-dimensjonale representasjoner vi har ovenfor. Ved å løse (ab) p = 1 for forskjellige verdier av p kan vi finne 2- dimensjonale representasjoner av gruppene (2, 3, p). Noen tilfeldige eksempler er 1 0 ω 2ω 1 p = 2, ρ a =, ρ 1 1 b = 0 ω 2 1 0 1 ω 1 p = 6, ρ a =, ρ 1 1 b = 0 ω 1 0 1 ω 1 iω 2 p = 12, ρ a =, ρ 1 1 b =. 0 ω Så fort (ab) p = 1 er bestemt for en p så er også karakteren til ab bestemt. Det følger derfor fra proposisjon 4 at vi har et endelig antall 2-dimensjonale representasjoner av gruppa (2, 3, p). Ved å bruke de to klassene av representasjoner av dimensjon 3 kan man på samme måte finne representasjoner for forskjellige verdier av p. Noen tilfeldige eksempler på 3-dimensjonale representasjoner er 1 1 0 0 0 0 2 p = 3, ρ a = 0 1 0, ρ b = 1 1 1 2 0 0 1 0 2 1 1 1 1 1 0 0 2 4 4 p = 4, ρ a = 0 1 0, ρ b = 1 1 1 2 2 0 0 1 0 2 1 1 0 0 ν + 2 ν 2 ν+1 3ν 2 2 p = 5, ρ a = 0 1 0, ρ b = 1 1 ν 1 2. 0 0 1 0 2 1 6 Ekstensjoner La G være en gruppe og ρ : G GL(V ) være en representasjon. Vi kan lage en ringhomomorfi ρ : R End (V ), hvor R = G, ved ρ( g a gg) = g a gρ(g), a g,g G. Ved valg av en basis for V vil End (V ) M n ( ). La V og W være to -vektorrom av dimensjon n og m, og ρ 1 : G GL(V ) og ρ 2 : G GL(W). Vi kan se på V og W som R-moduler ved å definere rv = ρ 1 (r)v og rw = ρ 2 (r)w for r R og v V,w W. En ekstensjon av en modul V med en modul W er en korteksakt sekvens av moduler 0 W E V 0. 15

En ekstensjon E er ekvivalent med E dersom det er likheter for W og V og en isomorfi Γ mellom E og E. 0 W E V 0 id Γ id 0 W E V 0 Den enkleste ekstensjonen er den direkte summen E = W V med inklusjon og projeksjon: 0 W ι W V π V 0. Ved å bruke representasjonene ρ 1 og ρ 2 til V og W kan man lage en representasjon ρ til W V som er en utvidelse av de to. Det betyr at som R-modul må (ρ 2 (r)w,0) = ι(ρ 2 (r)w) = ρ(r)ι(w) = ρ(r)(w,0) og π(ρ(r)(0,v)) = ρ 1 (r)π(0,v) = ρ 1 (r)π(β(r,v),v) = ρ 1 (r)v for en funksjon β : R V W. La r,s R og v V. β må være linær i begge variable og vi har at (β(rs,v),rsv) = rs(0,v) = r(β(s,v),sv) = r(β(s,v),0) + r(0,sv) = (rβ(s,v) + β(r,sv),rsv). Definér β r : V W ved β r (v) = β(r,v) og ϕ : R Hom (V,W) ved at ϕ(r) = β r og (ϕ(r)s)(v) = β r (sv). Da ser vi at ϕ er en derivasjon, ϕ Der (R,Hom (V,W)). Hvis vi har en en ekvivalent ekstensjon så finnes det en isomorfi Γ slik at 0 W ι W V id Γ 0 W ι W V π V 0 id π V 0 er et kommutativt diagram. Det betyr at Γ ι(w) ( = ι id(w) ) = (w,0), 1 ψ π Γ(0,v) = id π(0,v) = v og Γ(w,v) = (w + ψ(v),v) = hvor ψ Hom (V,W) 0 1 ved samme utregning som ovenfor. Γ må også ha en R-modul struktur slik at Γ(r(w,v)) = rγ(w,v) for alle r R. Det følger at rψ ψr = 0. ρ2 0 Den enkleste utvidete representasjonen er ρ = ρ 2 ρ1 = 0 ρ ( 1 representasjon vil da være på formen ΓρΓ 1 ρ2 ψρ = 1 ρ 2 ψ 0 ρ 1 De indre derivasjonene, Inder (R,Hom (V,W)), er definért ved ).. En isomorf D Inder (R,Hom (V,W)) ψ Hom (V,W); D(r) = ψr rψ r R. 16

De indre derivasjonene tilsvarer basisskifter og Ext 1 R(V,W) := Der (R,Hom (V,W))/Inder (R,Hom (V,W)). ρ2 ϕ Representasjoner vi er interessert i vil derfor se ut som, hvor 0 ρ 1 ϕ Ext 1 R (V,W). 6.1 Ekstensjoner av 1-dimensjonale representasjoner La G være den modulære gruppa. Grupperingen G er isomorf med ringen R = [a,b]/(a 2 1,b 3 1) så vi kan betrakte R som grupperingen vår. Vi betrakter de to 1-dimensjonale -vektorrommene V og W som R-moduler ved bruk av to av de 1-dimensjonale representasjonene av den modulære gruppa. Vi lager en ekstensjon av V med W: 0 W W V V 0 og vil finne representasjoner ρ : G GL(W V ) hvor GL(W V ) M 2 ( ) ρ2 ϕ ved valg av basis. En representasjon vil da se ut som hvor ϕ t 0 ρ 1 ettersom en Hom (V,W). Vi kan se på de seks 1-dimensjonale representasjonene som punkter, hvor vi assosierer ρ 2 med (1,ω) osv. (1,1) (1,ω) (1,ω 2 ) ( 1,1) ( 1,ω) ( 1,ω 2 ) Når vi skal utvide to av de 1-dimensjonale representasjonene kan vi velge to punkter ut av de seks. Det er 15 måter å parre disse på, men det er kun 6 som gir en representasjon som ikke nødvendigvis er en direkte sum. Proposisjon 8. Ext 1 R (V,W) = 0 hvis og bare hvis punktene har ulik 1. og 2. koordinat. Bevis. Vi tar for oss de tre tilfellene hvor punktene har lik 1. koordinat, har lik 2. koordinat og har helt forskjellige koordinater. Uansett hvilke representanter vi velger, vil utregning og resultat bli likt. Vi ser derfor på tre muligheter. Utvider vi ρ 4 med ρ 5, begge med lik 1. koordinat, får vi 0 = ϕ(0) = ϕ(a 2 1) = aϕ(a) + ϕ(a)a = ρ 5 (a)ϕ(a) + ϕ(a)ρ 4 (a) = 2ϕ(a) = ϕ(a) = 0 0 = ϕ(0) = ϕ(b 3 1) = b 2 ϕ(b) + bϕ(b)b + ϕ(b)b 2 = ρ 5 (b) 2 ϕ(b) + ρ 5 (b)ϕ(b)ρ 4 (b) + ϕ(b)ρ 4 (b) 2 = (1 + ω + ω 2 )ϕ(b) = 0 = ϕ(b) kan velges fritt. 17

De indre derivasjonene gir oss [a,ψ] = aψ ψa = 0 [b,ψ] = bψ ψb = (ω 1)ψ. ( Det betyr ) at (0,ϕ(b))/(0,(ω 1)ψ) 0, ϕ = 0 og representasjonen er på formen ρ5 0, en triviell ekstensjon. 0 ρ 4 Prøver vi å utvide to som har lik 2. koordinat, for eksempel ρ 1 med ρ 4, så får vi 0 = ρ 4 (a)ϕ(a) + ϕ(a)ρ 1 (a) = 0 = ϕ(a) kan velges fritt 0 = ρ 4 (b) 2 ϕ(b) + ρ 4 (b)ϕ(b)ρ 1 (b) + ϕ(b)ρ 1 (b) 2 = 3ϕ(b) = ϕ(b) = 0 De indre derivasjonene gir oss [a,ψ] = aψ ψa = 2ψ [b,ψ] = bψ ψb = 0. Det ( gir nå ) at (ϕ(a),0)/( 2ψ,0) 0, ϕ = 0 og representasjonen er på formen ρ5 0. 0 ρ 4 Velger vi derimot to representasjoner som har ulike representasjoner for både a og b blir det annerledes. Tar vi ρ 2 med ρ 6 : 0 = ρ 6 (a)ϕ(a) + ϕ(a)ρ 2 (a) = 0 = ϕ(a) kan velges fritt 0 = ρ 6 (b) 2 ϕ(b) + ρ 6 (b)ϕ(b)ρ 2 (b) + ϕ(b)ρ 2 (b) 2 = (1 + ω + ω 2 )ϕ(b) = 0 = ϕ(b) kan velges fritt. De indre derivasjonene gir oss [a,ψ] = aψ ψa = 2ψ [b,ψ] = bψ ψb = (ω 2 ω)ψ. Dette gir (ϕ(a),ϕ(b))/( 2ψ,(ω 2 ω)ψ) og representasjonen er på formen ρ5 ϕ, hvor ϕ(a) og ϕ(b) er lineært avhengig og minst én er ulik 0. 0 ρ 4 Alle representasjonene vil ha lik karakter for a, mens karakteren for b vil være 1 + ω, 1 + ω 2 og 1. Dette er de samme karakterene som for de 2-dimensjonale irredusible representasjonene vi har funnet tidligere. De utvidete representasjonene er indekomposable, men ikke irredusible. De er øvre triangulære for både a og b. 18

Referanser [1] Serre, J.-P.: Linear Representations of Finite Groups Springer-Verlag New York, 1977 [2] Friedberg, A. H., Insel A. J., Spence, L. E.: Linear Algebra Illinois State University side 317 [3] Artin, M.: On Azumaya Algebras and Finite Dimensional Representations of Rings. Journal of Algebra 11 side 532-563 1969 [4] Procesi, C.: The invariant theory of n n matrices. Adv. in math. 19 side 306-381 1976 [5] Sletsjøe, A. B.: Finite dimensional representations of the projective modular group math.ag/0610587 [6] Aslaksen, H., Sletsjøe, A. B.: Generators of matrix algebras in dimension 2 and 3 Linear Algebra and its Applications 430 2009 19