rev day b.bmbakerereiner/reu/reu2019notes/reu2019day8.pdfrev 2019 day8 b.bmbakere matrixgroups over...
TRANSCRIPT
![Page 1: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/1.jpg)
REV 2019 Day 8B.Bmbakere
Matrix groups over finitefieldsand their representationtheoryC
The earlierproblem 2 was secretly
motivatedby rep n theory
Sal Schurpolynomialsare characters ofrepins Vof Glu
f n xn invertiblematriceswith entries
![Page 2: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/2.jpg)
Inthis project want tostudyrep1ns ofgroups like Glen gwhere Fg finitefieldwithof
elements
pk p aprime
Vaybriefmotivation
Theygive examplesoffinitesimplegroupsC no
nontrivialnormalsubgroups
classifiedCin thousands ofpagesfinishedaround2004 a s
![Page 3: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/3.jpg)
cyclicgroups ofprime order
alternatinggroups Ah n 25
finitegroupsofLietype
26 more examples sporadic1860 s Mathieu 5
19 Griess Monstergwup
NumbertheoryDiophantine equationsf solutions tointegerrational
rational
coefficientequations
![Page 4: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/4.jpg)
e g E yZx3tXH
easier EGFp txylyxkx.itmodp
crazyida make a generating
fee Fasano
acp madefrom EIDacn s madefrom aCpb
![Page 5: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/5.jpg)
AmazingconjectureBirch SwinnertonDyer
gOrderofvanishingofLCEdats
r gives Cuplofniklymanysolutions
the ofsolutions to ECON
LKeown ECQ E finitegroup
I I s 12
![Page 6: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/6.jpg)
Study L functionsfromDiophantine equations using
L functignstomrephtheory
madffomrephsotgroups
like Ancap1 go.imenaEeaiEsin
EiEs
theoyofGhdQp is
alotlikerephtheongotGLnCFp
![Page 7: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/7.jpg)
whatgroupswill westudywhatdo weknowabout
rephtheory.tlBegin with GbCFp
2 2 matrices
withde toirFp
If G is finiteII dimpf lat
firedrepinofirredrophs ofG conjugacy
classes ofG
![Page 8: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/8.jpg)
GEED013 1 57 Bsourbelgoup
FACT Bmhatdecomposition
Adt B w Bw Bwhere w GOT
disjointmion
and BWBfb.dz bybaEBdoublecoset
so can move totheotherBin the doubleasset
![Page 9: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/9.jpg)
MoregenerallyGlen fewBwBwhere B If fFEffpW permutationmatrices
in Glu fSu symmetricgroup
![Page 10: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/10.jpg)
EXERCISE I 8Rental
show GhettoFB UB Bb Show that for Gluffgif T Cams
cnormalizer of Tin G
then NatHT E Sn
W Weylgroup
c Compute Iadept
![Page 11: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/11.jpg)
RENEXERUSEIIa Determine theconjugagdassesotGbat
Whatgroupswill we studyA Groups G withBordsubgroups
B 2T atoms for somedefn of Bsothat
G wBwBwtf.NET T
![Page 12: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/12.jpg)
Which groupswarepossible
E AsubsetotthefiniteCoxetergroupsCoxetergroypsaregroupsgenerated byreflections
Theyharepresentationsgiven
by Coxeterdiagramsgraphswithvertices generating
reflection siedges Glabemled
Sjm
1
![Page 13: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/13.jpg)
Hip kids don'twrite m if m 3S SE SzS S2
a3 7
and don'twrite the edge at allif m 2 SEES D
There are 4 infinitefamiliesofgraphs groups whose graph isconnected irreducible wherethe
groupendsup being finite
![Page 14: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/14.jpg)
An l Esmee g AILS s2 sf sf 1
955 843E
S 7 7 1,2S2 1 7 G s
Bnkns s n
Dn 4 Inoatystallgogrnaoph
2
imsdihedrdgnapsgien.meF4 E6 Et EgGz 2,43
![Page 15: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/15.jpg)
Westudygroups ofthis typehaving Bmhat decomposition GUBuB
and w fromtheabove listhow
There are nice presentationsofthesegroups using
rootsystemsacted on by W seeRehmann
reference
thegroups Gare reallyfixedpomtsoffwbeninsaclngonreduc.tn
algebraicgroupsdefnedorertthavea nice presentation in termsofW
and its associated wotsystem
![Page 16: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/16.jpg)
RepintheayofsachGE.g.GLp
Pickalbig abdiansubgroupConsider 1 1007Itsiweduciblerepinsaretdine
FEET5 t
Kiki.E qx
XH XfaHdb
![Page 17: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/17.jpg)
To get more representationsinduceup to G i e
try Indf XNotsogood.becauseitbreducibk.tnsteaddosomething trickier
thinkof X as rep n of
B HE 73 It bEB write b tu teFfFoEB
ne U Effigyand define X b XHI
![Page 18: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/18.jpg)
Newda IndBG XThisturns out notobvioustobe an irreduciblerep not
dimension LGBT p thunless X Xzthen reducible get 1 dimiland a p dime
irreducible
Rt e9bAssumingtheabovefacts
about
IndBLX howmanyirreduciblerepins
of 0k are left
![Page 19: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/19.jpg)
Upshot BeginwithcharactersottomsT
mimeographsMacdonald11968
conjectured there is a correspondencebetweencharactersottori andirreduciblerepinsofreductive splitalgebraicgroupsoverfg
there are more tori insideGLIEDand its relatives
Gf1 1 2DuffyFD Ep
ez atomswith E Fp B
![Page 20: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/20.jpg)
ReupholsterStudytherephtheoryot
genlmlextusionsotGHFwhere GBasplitannected
reductivealgebraicgroup
e I zS GEq 71
Turnsout withseffGtobeafiniteabdgionp Ganterof
![Page 21: REV Day B.Bmbakerereiner/REU/REU2019notes/REU2019Day8.pdfREV 2019 Day8 B.Bmbakere Matrixgroups over finitefields Cand theirrepresentationtheory Theearlierproblem 2 was secretly motivatedbyrep](https://reader034.vdocuments.mx/reader034/viewer/2022050307/5f6ff34fc4a92104a6118d14/html5/thumbnails/21.jpg)
THM Steinberg's
Guff is trivialexceptfor 11exceptionsG simply
connected simple
algebraicgroupdefined overFg
e g Ay 4 StaffEAifeng.com
Atlas ofFiniteGroupRepins says
HI n 3 1015