UNIVERSITÉ DE LA MEDITERRANNEE

Loïc Poulain

Description

Niveau: Supérieur, Master
UNIVERSITÉ DE LA MEDITERRANNEE AIX-MARSEILLE II U.F.R Sciences de Luminy Rapport de stage de Master 1 TOURS DE GROUPES ET DIAGRAMMES DE BRATTELI Loïc POULAIN D'ANDECY Master Physique et Sciences de la Matière Parcours Physique Théorique et Mathématique sous la direction de : Oleg OGIEVETSKY Centre de Physique Théorique, CNRS Luminy, F-13288 Marseille Cedex 9 du m as -0 04 90 05 6, v er sio n 1 - 7 J un 2 01 0

• nouvelle approche


• groupes symétriques


• algèbre de gelfand-tsetlin


• permutation


• théorie des représentations


• algèbre matricielle


• fond de la nouvelle approche


• tours d'algèbres locales

Sujets

• Master
• Poulain
• Évariste Galois
• Permutation
• Représentation de groupe
• Algèbre matricielle

Informations

• Publié par: dumas_ccsd
• Nombre de lectures: 70
• Poids de l'ouvrage: 1 Mo

Extrait

,UNIVERSIT?sousDEMati?reLAtreMEDITERRANNEEetAIX-MARSEILLEysiqueI:ITh?orique,U.F.R9SciencesdedearcoursLuminetydirectionRappOGIEVETSKYortPhdeLuminstageMarseilledysiqueeSciencesMasterla1PTOURSPhDETh?oriqueGRMath?matiqueOUPESlaETdeDIAOlegGRAMMESCenDEdeBRAysiqueTTELICNRSLo?cyPOULAINF-13288D'ANDECYCedexMasterPh
dumas-00490056, version 1 - 7 Jun 2010An
An
A3
A4
A5
A A6 7
A5
A5
A5
A5
....et...setlin...pro...e.Alg?bre.des.....Classes.............des.des.....Repr?sen...repr?sen.....des...de...32.........duction...Diagramme6amme2.2monstrationTh?orieD.1des.repr?sen.tationsde:.appro.c.he.ded'uneOkourounkeso6v-V.ershik......setlin.......u.......Gelfand-T.......5.2.39.3.T.ours.d'alg?bresdeloerspcales.et.stationnairectivesour12sym?triques3.1ourD?nitions37et38exemplesde.de.........D.2...................5.elle.he.th?orie.des.29.conjugaison.................5.2.de........12.3.2.Diagramme5.2.1desetlinBratteli..............Alg?bre.de...............de.group.............33.Gelfand-T.3.et.es.......6.e.35.Bratteli.c16up3.3BBaseBrattelidecGelfand-TessetlinDetTh?or?mealg?breConstructiondtationse1Gelfand-Ttationsetlindes...................tation.T................20393.3.15Construction.dans.le.ca.s2d'un.diagramme.simple27.D?but.nouv.ap.c.p.la.des.tations.group.altern?s.5.1.de.dans.e......20.3.3.2.Exemples.de.bases.de.Gelfand-T.setlin..........29.G?n?rateurs.alg?bres.Gelfand-T.........................32.Alg?bre.Gelfand-T22de3.3.3qG?n?ralisation.de.la.base.de.Gelfand-T.setlin.lorsque.le.diagramme.n'est.pas.simple.235.2.24deCosetlindessym?trig?n?tiques.de.de.Co.23.4.1.Co.de.de.Mo.o.re....32.Alg?bre.Gelfand-T.de.Le...........................5.2.4.de.setlin.2.et.tro.p.ectiv...............34.Conclusion.p.rsp.es.A24de4.2pLelacoha?nedegrodeesCarmic36haelDiagr.de.p.la.ha?ne.group.altern?s.C.?.du.5.4.D.explicite.repr?sen.irr?ductibles.In.38.Repr?sen.4.mati?res..................................26.4.339NouvRepr?seneau6coablede.g?n?tique...................2.1.g?n?tique.............D.3.tation.de......................................40..
dumas-00490056, version 1 - 7 Jun 20105
4
5
6
6
d?ca?dregsph?res?om?trie,?l?menlesysiquesolidesarrademoPlatonPlaton.sonsontceluilesaith?rpl'astronomeolymo?dresor?guliersdeconestv?exes.aIlsph?reyleenquealaductionMysterium:sleunst?tra?dre,auxle?taiencubPlatone,aul'oo:cta?dre,quel'icosa?dresenetPlatonleTdoled?ca?dreDieu(vlesoirnomm?[1]).etErempln?taitraisonsi?cle).depropleurgresthsolaire?tismedeetsolidesdeetleurLessym?trie,connilsdistancesonpartles?t?tr?s?tudi?sitecture,depuisenlongtempsetparplesgroupg?om?tresdeetsilespmath?maticiens.eineEnLed?pitmisdecorrespleurecnom,carilsressemsem?blenc'esttpagevdansoirAristote?t??l?menconnenuspparerslesparp(th?orieeuplesd'actualit?n?olithiquesdud'r?cemmenK?cossedansquioson(1596)tduconstruitsurdeslmoDansd?leslesentpierrelesdeparcesetsolidesondaienaudEnmoins?1000Ainsi,anstreax?evsolidesannostesPlaton.tFig.ts1(arc:pr?cieuses..),lestr?scinqysiquesolidessolide,deL'?tudePlaton.deDans?dreslasurphilosophiedede3Platon,l'Airilstjouendouxtl'onuneutr?lepprimordiallescartir.ildoassoestcieparunendeondancecesvsolidesle?outcc'esthacunquidesbletroplus?l?menunets:ph"leysiquesutilis?(Foureu,nTrerre,constellationsEautout,Ciel".Air)a([2]).cetAinsi,tla(?therbr?lfran?ais)ureaduostul?Fl'Univeu?taitestiassocetci?et?quilaencorep?oniXIX?menPlustet,duJ.t?traepler?dosare.sonL'EauCs'?cmohappaphicumeunded?lelasyst?memainbas?lorsquelesl'onovideseutPlaton.lacesaisir,d?lecomme1si?taienelleles?taitdansconstitu?eautresdes?par?smindesusinscritesIncirconscrites.sph?resuescobtenucorresplestborbitesouleses:plan?tesc'estuesl'icosa?dre.l'?pPque.alesrenconplan?testraste,tlasTleserredes'?mietteDeetjours,sesolidcassedeensonpencoreetitspr?sengrainsautourennoustrehlespierresdoigtsmais:ssiPlaton?tudi?sluiphasso(phciedulecristallographie)Cubmath?matique.e.mEnn,dernel'ocescta?dreolyrepr?senr?gulierstebas?el'Airleurscareslessym?triecompc'est-?-direosants
dumas-00490056, version 1 - 7 Jun 2010n Sn
Sn
O(n) Sn
nR GL(n)
S 1 0n
n Sn
+1 A Sn n
S f 1; +1g 1n
A Sn n
A 55
S A4 4
dansenirl'?tudlatranspth?oriel'undesdgroupunesrappnis?reetsedeutationsleurssi?clerepr?sensontations.iL'exempleenfondamenquetald'ordredepgroup?rieure,esenisproestesler?solubilit?gtauxrouputationselessym?triquede:sym?triec'estNotonslecgrouplui,eduduteesym?triesgroupbijectionsd?nir(onsimplexeditUneaussiqueposenermbutations)lad'und?butensemGaloisble?quationsniLes?ondreves?l?mennestsdesdansetlui-m?me.distingueIlpestgroupnot?r?exions,inletq.cubPlesardoledual.th?or?meedeleCa,yleyinsonLea?dre.que4toutcesgroupeet,et?tra?drenil'onestr?gulier.unnsous-groupspend'unpgroupseeended'unppairermEnutations.desLn?eeugroupEve?tudi?senradicauxlaisolyn?mialespveutjets?treourvucettecolesmmepunrasous-groupl'?quation.edesdudegroupeseapporthogonalt.quigrouppacetotals?dreea(l'actionddecompterl'estdeappsureuntanveecteurl'autre,deetgonalesonosym?tries,seetfaitLeparsonps'aermleutationsym?triedesd?ca?dreveecteursfaitdepbase,Leuretriainsidolesematricest?tra?drede,rthuteoetsdendernierscorrespt,ondanptdauxdimension?l?mencetselledeouountidimensisonmoinstrdesestmatricesaintvlesersiblesermaquivd?compectleunnomduitbrenomsformareunedeseuositions.lefait,foisth?oriedansgroupcesthaqueauligndeXIX?meetlorsquedesaristenapartoutlaailleurs).parLedesgprou?peeariable.altern?obd'ordrefondamentrapestr?ple?sous-groupquestionetdegroupesdedermconstitu?desparcilesde?Dansle?msym?triesensolidestsPlaton,dongrouptsym?triqueslealtern?sd?terminanaratssenestOn?galele?sym?trieledu;olyilparestortnot?ubel'enseme.sansLalesrestrictionquidusouvd?terminanttel?desgroupmatricespropre.auqu'engroupteuKepler.dualdedeestleappeel?el'olata?dresignaturetd'unem?mespainsierml'icosa?dreutation.leOnd?ca?dre.at?tra?dre,queesttouteproprepIlermvutationquepgroupeutdesepropred?compdooserestengroupproaltern?duit5,de?tudetranspilositionserm1les,t?tra?dresetclatssignatureunestd?ca?dre.legroupmorphisdemdueestdeingroupquieermdelesesommets,olysondoncetervsym?triepropreestDedans.solairplus,syst?medeuxler?sultats:g?n?ralisen2enquionassoeutciel'analogueFig.uutationen?csupdeuc'est?l?menqueetappstablesunautres.r?gulier4n-simplexepDansleespaceesteleosous-groupaue1dettanarianositionpuncontenermnequiauxhangetranspxositions.tsAinsi,laisselelesgroupealtern?
dumas-00490056, version 1 - 7 Jun 2010n n n + 1 n + 1
n 1
Sn
An
S S An n 1 n
RLRL =LRLR
^ ^(R;F )
^ ^F = R
i:e:
eceset.deIloestopr?gulierlienlorsqu'idiusionlpestude21,plussurunstationnairepMoolytopsure13,rb?oguliertiques(vdi?renoiret[1]).OkOngroupaelonsalorslalag?n?rateurspropri?t?ttesuivteant?grateec:sous-espacePropri?t?.reLenepargrsonoupD'autreseypdeindispsym?triesurd'unrappn-simplexedurappro?engulierdeestalg?bresletigrd?nitionoupBratteli,etque4,telsaltern,([25]),etterviensonunegrth?orieoupdansebdedesym?tectralrdeietouspraoprped'alg?breest;len'appartiennengrLesoupdansed?nistsnoinde.uneAr?exionceMurphjour,lalal'opth?orieLiedesarepr?sentationtationstidesagroupdeeseloppsym?triquesetetpaltern?snestlecompl?temenleteabl'ou-r?exion.tie.suivOnloconnait[24]),toutesjetslescrepr?senbasetationssetlin.irr?ductibles,coplesusr?glesledeceluibrancet,hemenitdansd'unparticuleserorepr?sendanstationnoirr?ductibletoredesyst?mesplesdelorsquedansconsid?reexeavparam?treconDans,laetcompatibleaunuestssid?nirdansgequanelopplaquell.deLapform?treuleconstructiondecasFoinrobdeeniusdepq-d?form?sermet16,deencalculerunelativr?exionaleuraccidendesescaract?restoujoudeduc?quationhaqueEnn,repr?sendetation.sonLespobdujetsetfondamenBtauxalg?bressontiquestDansles2,diagrammeslaetpartableaux(pr?sendenYeoung.anPlusler?cemnouvmenhet,parA.oOkVounktortivconstructiet?l?menA.yVd?g?n?r?ershiksym?triques,onnon-d?g?n?r?tHecretrouvque?vcertainsudesnr?sultatsnousconnlausteptourourelesensgroupdiagrammesequesym?triquetauxparelleunequinouvel?selleGelfand-Tapprodeclahe,analysonsquig?n?tiquesatationsl'arelations)vgroupanstageded'expliquer([25])l'apparitionCarmicdesediagrammesceet?quationtableauxndetYlaoungde([3,sur4,demi-d5]).iDe([9]),plus,laildesesteudsattelen([10]),dulesqueincettebappro?cordhel'puissnel'?quations'adapterr?exionauxvautresungroupspes([11]).de[12,Co14],xeter,notionainsipairequ'?deunem?mecertaine?classepasd'alg?bresutilis?e:ourlesunetoursld'alg?bres?blomatriciellecalestiqueetourstationnaires.eElleeaucoupanotions?t?lin?aireadapt?eeuvatvg?n?ralis?esdimensioncettepg?n?ralislequellealg?bretatricieltsquanestecoursucc?scetteauxmcasledestiquealg?bresd?niedel'?quationHecr?exion.kespaceseMink([6,wski7])?tudi?set[15,des17]alg?brestdefaitBirman-Murakparami-W?qenzla([8]).oLesdepropri?t?s([18]).deisomorphismeslotelscalit?groupetquandeutilisestationnarit?rsjouenconstructionttuner?ledeimp([19]).ortandest?rateursdansJucys-cetteynouvtelleensablesapproourcconstructionhe,calculmaistielcedequi?rateursemRSTblelesfondamendetalquanaus([20,si22]).estll'existencesectiond'unnousensemelonsblepr?sendeusuelleg?n?rateursg?n?rateursdesrelationssous-alg?brestacommoutativd'Artin)esgroupmaximales,sym?trique,quivsonttr?sumerdansfondlelacaselledescgroupd?ves?esym?triquesA.lesounk?l?menvtsA.deershik,Jucys-Murphinsistanyenetaquiculiersonlatoldesi?stsauxJucys-Murphalg?bresdansdecasHecdeskesedansanescasd?g?n?r?es.desDansdelekcasainsinon-led?g?n?r?a(auecniv?qeauadesoalg?bresdedeEnsuite,Hecrappkdanse,sectionouanencoreladesdegroupd'alg?bresescaledettresses),(auladeconstructionded'?l?mendetsainsided'obJucys-Murphfondamenydefaitnouvinapprotervhe,enirsonl'?quationappditela?quationdedesetlinr?exionl'alg?bre(deGelfand-TlaDansformesectionvnousl'endeuxestdes-simplexe(unpr?sen,parpuiset5connappara?tdesdansesde?tr