On the classifying space for the family of virtually cyclic subgroups [Elektronische Ressource] / vorgelegt von Michael Weiermann

Michael Weiermann

Sujets

• Mathematics

Informations

• Publié par: westfalische_wilhelms-universitat_munster
• Publié le: 01 janvier 2006
• Nombre de lectures: 33
• Langue: English

Extrait

MathematikMathematikM?nsterOnFtheeiermannClassifyingMathematiscSpaceestf?liscfoonr2006theInformatikFhaftlicamiderlyWilhelms-UnivoforgelegtVirtuallyhaelCyclicNetterSubgroupshInauguraldissertationundzurderErlangungh-NaturwissenscdeshenDoktorgradesakult?tderWNaturwissenschenhaftenersit?timvFvacMichWbausereicagDekJanan:JanProf.ArthDr.ndlicJoacaghimPDCunBartelstzmErsterPr?fung:Gutac2007hPromotion:ter:2007Prof.Dr.Dr.urWToderl?fgahenng24.L?cuarkTZwdereiter31.Gutacuarhter:G E (G)F
F G G
G CW F
G
Tr
E (G) = EG GTr
G CW
G\EG = BG
EG cd (G) G
Z
cd (G) = 2Z
Fin G
E (G) = EGFin
E (G)Fin
E (G) VCycVCyc
K
∗C
K L
K L
E (G) E (G)Fin VCyc
G
E (G) E (G)FinVCyc
E (G)VCyc
E (G)F
forndclassifyingexplicitymodelsdelshapterwhicThesehcareonsmalltheinearsomeoutsense.yFaorrinstanace,pro-ifofoftenmisBaum-ConnesthConneseandfamilyofwhiccomputehtheoriesconsistswillonlyedofthetheforeeIntrivialvirtuallysubgroup,ofthenwithaThismohdelalsoforbistheiteer,ulationevoutwgroupoarrell-JonesH-t.respcanatbandeequivcfharacterizedrstupintowalenin-homotopwillymoeqauivgalencesubgroupsaswillbaeincgthat,aisfreedelequivgiv-delyleads-homotophomology-complexofwhicblyhonisgroup.non-equive.ariantotlygroupconiso-tractible.theThtheesethespaces,conjectureastopwofelltheasthetheirconjecturequotienalgebraictsctarepdelselymopredictomawet-groupsyaluating,thathevremeneInbhapter,eenestudieddforotherawilllongon.time.eAwwsomeell-knotionswnelstheoremlofisEilenalbthergfandfamilyGaneawstatessucthatdelthelominimalThedimensionisofobservasomemoroups,delossibleforaantothatfromequalsmothethecohomologicalAdimensionondenitionathisrelativfromsviousdirectobsourceofarrell-Jonesisbexceptbpdimensionossiblydelsifaithaandlastexists,devysexplanationaofalwanddelFwhenconjectures.theseeminimalspacestodinimensionformmighoftBaum-bisomorphismeabthree.theSimilarlyological,-theoryforreducedthe-homotopfamily-algebrasmoinaFofisomorphismallabnitethesubgroupsinofandh-theory,grouquestionsrings,onectivthe.tconjecturesyptheoneofymothesedels-forjsucbatevthcertainwnarianshohomologyeatbacanoIttionedhaspaces.vtheecbthiseenbcloselyexplainedinmorevetailestigatedmongbthingsyemanneylaterauthThen,orsth(seenext[L?c05]hapter,foreareviewsurvofey),construc-andofindnfoumerousobsituationsterminamojustdelsbforde.intowielongmobforupsogroofarise.inparticular,aenat-constructuralhgeometricalmowifaisycally.cyclic.Inthirdthishapterthesis,basedwtheeationfoforcusclassesongtheitproblempoftoconstructingduceexplicitmoyfordesirableectrespamenablespaceforaisotropenwhosedel-complexesclassifying-forofmo,.wherenotcategorylyistothecomputationfamilytheofeallgroupvirtuallywhiccyclicaresusummandsbgroups:thethisofcaseFdoassemesmap,notutseemyieldstooundsbtheethatvoeryforwdiscreteelleunderstocanovd.TheOnecreasoniswhotedyanitofisrelationinamenabletereactionssthetingandtoarrell-JonesstudymorphismtheseWclassifyingwillspacesthatisclassifyingthatLettheyPrefaceappmoarediiielsG F

map(X×Y,Z)→ map X,map(Y,Z)
CW CW
oforkL?h,inenthe?tz,categoryratiofBauer,compactlyBenediktgeneratedthankspacesOinltro?ducedald,iornSau[Ste67].er.Inmthuciseiermanncategorysuc,andtheueladjunctionArthwF?rster,yshaelaangalwMar-willh,ehmidt,WandConventionsnallyroups.Clemeng(andamenablecareoftopconsists06ifyydelaonat-iseingalwdiscussions:a,ysTaBartels,homeomorphism,Dessai,andhimtheHenriques,prohim,ductolfofk,tkwMeyoHolgerandRumpf,ifMarco-complexesScisVagaWiwneaHelk-spacesBaumeisterPrefacefamilytoecause)thedoanocurrenabmem-.erserthehaelologymingfortuamainall-formercomplex.dFturthermore,bgroupsofwilltopalwgroupaM?nsterysalwbysetainingassumedhtofriendbyemospherediscrete,bandopallforgroupManactionsAmannonNospacesB?rcenasareorres,actionsurfromTilmantheAnandleftMarcusunlessJoacotherwiseGrunewstated.Andr?AMiccknoJoacwledgementsClaraIWamgespL?ceciallyTibiMacno,debtedcustoer,mPlitt,yReicadvisorPhilippProf.RomanWer,olfgangScL?cDirkk,hwithoutMarcowhoseariscoconstanJuliatebencouragemenItouldandliksupptooStefanierter,thisswandorkycalthoughertainlybcouldmostnotthemhanotvtoembheenoutimagined.ologyItM?nster,isctobalso20aMicpleasureWtoivexpressE (G) E (G)VCyc Fin
K L
....Mo...Bibliography...........11281.2.Equiv4.1arianblyt.Homology.Theories......of.Constructing...l.34...............A...Groups...i....4.1.2.1.Spaforcesiiioofv.er.atheCategory....of.......Amenable.A.....4.2.......nes.....Assem.Contents.....48.A4.1.2.2.ConstructionColiofofEquiv.arian.t.Homology.Theo.ri3efos..F.Classifying.Classifying.28.dels.en....7.1.2.3.FComputationormeulationgyof.the.Isomorp.hismAConjectures..............40.ctions.of8.1.3.Homotop.y.Colimits....to.............4.2.1.bly.........46.Maps.g.an...........Isotrop.f......9.2.MovdelsmfotsrGroupsClassifying.Spaces.14.2.1.The.Case.of.the.F.a.mi23lyConstructingofdelsFiniterSubgroups..Subgroups.amilies.from.Spaces.1.1.Spaces.1.Preface.3.1.Mo.out.Giv.Ones..14.2.1.1.Group.s.acting.on.T.rees3.2.of.Relativ.Homo.o.Groups.............3.3.Class.Groups..............14.2.1.2.W.ord-h.yp.erb.olic.Groups4.A.44.Denition.Amenable.ctions.....................44.Relations.Assem.Maps....16.2.1.3.Crystallograph.i.c.Groups........46.Baum-Con.Assem.Map................-Theory..4.2.2.bly.in.l4.3ebraicerties-Amenabledctions.........47.Prop.of17A2.2.The.Case.of.the.F.a.mi.ly.of.Virtually.Cyclic4.4Subgyroupso.Amenable.ctions............18.2.3.A54Mo59delforE (G)F
F G
E (G)→ pt FF
G
E (G)F
G CW
F
G G
−1H∈ F g Hg∈ F g∈ G K∈ F
K⊂H
F
Tr, Fin, Cyc, VCyc, All,
G
:F H⊂ G F∩H ={K∩H|K∈ F}
Sub(H) := All∩H
GCW G CW G X
S
G ∅ = X ⊂ X ⊂ X ⊂ ...⊂ X = X−1 0 1 nn≥0
allhomology,tsetarianhequivnitecertainwithon,mapsthe,mindtheafamilytheareeconsistinghaofsubgroupallwnitesubgroup,(indiscretetheifBaum-Connessubcase)ioratall-cvirtuallysomecyclictheo(indotheeryFisomorphismarrell-Jones.case)tsoulybgroupsallofandhely.groupFinallya,ofwsubgewithwill,deneofthe1.2homouptopthatyvcolimitinducedofcaspaces.spacealsooevforerandaofcategoryevandwhatre-ofprotovwe.somegofconsistingitsthewniteell-knosubgroupwncyclicpropsubgroupserties,respuBearsitnvirtuallygconthesubgroupnotionTheoftoaofclassifyingofspaceectofgaclassicategoryw.this1.1.Classifying.Spaceswfo-complex).rturnFisamiliesnotionsofbasicSubgroupstThetropurpwilloseriofSpacestheThesefollothesewingtheniswithtotodenevthearrell-JonesclassifyingevspaceFwhicBaum-Connesisomorphisms,andeconjecturesbforshouldery.theTexplainoExamplesbsucefamiliesmoreareprecise,anweeNext,willupdeneritdenotingtofamiliesboneofatrivialmapsall-subgroups,blycyclicassems,-complex.virtuallyMoreosubgroupsvaller,ofso-called,proectivh.1initsthaexis-atenceisandcyclicunivitersaltainspropcyclicertofyindex.willrestrictionbrieyabaegroupreviewroupsed.isDenitionfamily1.1to(Frespamilyspaceofnsubgroups).fyAthefamilyandthateofincludessuball,grFirstoupshandoforkaDenitiongroup(state-isthroughoutaAcollection-ofwillsubgroupsomplexoaf-spaceconjecturestogetherwhicah-inisarianclosedltrationunderduceconbjinuesgationwthehapter,jectionthisInyClassifyingi.e.ifand1takingsubgroups,thesucprothatofsofX = colim X X X Gn∈N n n n−1
a
n−1 XG/H ×S n−1i
i∈In
a
n XG/H ×Di n
i∈In
G CW CW G
e g∈ G ge∩e =∅ gx = x
x∈e
G CW X G\X
nG/H ×Di
n X n X =X X =Xn n n−1
F
G E (G) G CWF
HX X H∈/ F
H∈ F
E (G) G CW XF
E (G)F
• X F
• Y G CW F
G Y→X G
HX X
HH∈ F X CW
nG G/H×S →X
nG S → map(G/H,X) =
H HX π (X )n
HX E (G) X → ptF
H∈ F
[Y,X] → [Y,pt] GG G
G G CW
E (G) GF
G CW F
E (G) GF
E (G)F
E (G) GF
F
moingospwacaebajustwithis-complexhomotopahaspisisawhosemeequiv-delaas.-,complexforthee.g.succellh-mapsthatltheyxed-pThisoinmantelsetositionisis-complexLetisisemptspaceyIfifsuc-jectionAomotop/-dimensional/theoremandthatisiconerytractibleyif-us,It/in.-Lemmaare1.4an(Univtersalepropexistenceerthasytoofexists/adjoinmapbpushoutofawhicisupthere.).1.3Theisi.e.is-for-cells,6tthe-cforomplexaarianequiv-isoaThismothedelfamiliesforProp.equivinducedhingandattacisy-skbbififandofonlyfifofthee.folmolowingcalledholds:eacfromobThehisotrofopyonegryoupscellsofimmediatelyobtainedtbdelselongequivtoustis-homotop,t.andmoandforififSpacesnotisw:anyTherClassifyingm-tly1tor,a-cfamilyomplexewithbisotrsubgroups).opyfamilygrforoupshbuniqueelongingtotoycompact,Hence,(ClassifyingthenDenitiontheryetrivial.iscellularpraedelciselymapsonehisthat-mapthenhasproforbutalleacupistohify-homotopy.alencePralloifof..IfimpliesniteyisWhiteheadasforin(cf.the[L?c89,assumptions,2.3])thentheitmaremainsptoteshonwenthateletoneandbevisetconeentractible-homotopforclassestoesaidoistyp.niteSince-complexes.bijectiv-complexThisaadeAfor-isof.grissifyaterminal2jectforthefor-homotopgrcategoryclaswithfamily6homotop-complexesyisotropgroupsgroupsvinanish..Hoimplieswthatevyer,wbmoyforassumption,arianthereyismabdelnitely-mapymoalenAThe.of-actiondofssubgroupsonly,itwhic,halsois,dicultfurthermore,shouniquePropup1.5.toeofa-homotopoyforthealen.equivItsshoanywoupthatandallitssub-complex,oupsit.sucesto‘
:X = G/H X G CW0 nH∈F
HF π (X ) H∈ Fk n
n H0≤ k≤ n− 1 H ∈ F f : S →X |i∈IH,i n
Hπ (X ) G CW X Gn n+1n
a fH,iH,in XG/H×S n
H∈F,i∈I
a
n+1 XG/H×D n+1
H∈F,i∈I
gf fH,i H,i
n HH∈ F S → Xn+1
HXn
n+1D Xn
E (G)F
E (G)F
• G/G E (G) F = AllF
• EG :=E (G) G CWTr
G
G G→EG→BG
:• EG = E (G) G CWFin
G G EG =EG
H ⊂ G s: G/H → G
X H G G× X GH
G G/H× X g· (α,x) :=

−1gα,s(gα) gs(α)x
K⊂G
a
−1K s(α) Ks(α)∼(G× X) X=H
α∈G/H,
−1s(α) Ks(α)⊂H
acximarepresenapproto,anwthateyobtaintheaofmotrivialdeloup,for.cellulartlytheandyojebducto-.dTheregroupsiifsof.alsoyaendfunctorialwconstructionLofinclusionmoadelsctionforetine.map-spanaturtothomotopicw,Fissuc