Non compact manifolds proper homotopy equivalent to geometrically simply connected polyhedra and proper realizability

Louis Funar1

Description

Niveau: Supérieur, Doctorat, Bac+8
Non-compact 3-manifolds proper homotopy equivalent to geometrically simply connected polyhedra and proper 3-realizability of groups Louis Funar1, Francisco F. Lasheras2 and Dusˇan Repovsˇ3 ? 1Institut Fourier BP 74, UFR Mathematiques, Univ.Grenoble I 38402 Saint-Martin-d'Heres Cedex, France 2Departamento de Geometria y Topologia, Universidad de Sevilla, Apdo 1160, 41080 Sevilla, Spain 3Faculty of Mathematics and Physics, University of Ljubljana, P.O. Box 2964, Ljubljana 1001, Slovenia May 14, 2009 Abstract The principal result of this paper is a homotopy criterion for detecting the tameness of non-compact 3-manifolds which extends the one worked out by L.Funar and T.L.Thickstun for open 3-manifolds. A group is properly 3-realizable if it is the fundamental group of a compact 2-polyhedron whose universal covering is proper homotopy equivalent to a 3-manifold. As a consequence of the main result a properly 3-realizable group which is also quasi-simply filtered has pro-(finitely generated free) fundamental group at infinity and semi-stable ends. Conjecturally the quasi-simply filtration assumption is superfluous. Using these restrictions we provide the first examples of finitely presented groups which are not properly 3-realizable, for instance large families of Coxeter groups. AMS MOS Subj.

• compact manifold


• actually any standard


• group


• dimensional subset


• p1 ?


• simply connected


• manifold


• fundamental pro

Sujets

• Geoghegan
• France 2
• Closed manifold
• Simply connected space
• Manifold

Informations

• Publié par: profil-zyak-2012
• Nombre de lectures: 22
• Langue: English

Extrait

Non-compact3-manifoldsproperhomotopyequivalentto geometricallysimplyconnectedpolyhedraandproper3-realizability ofgroups LouisFunar 1 ,FranciscoF.Lasheras 2 andDuˇsanRepovsˇ 3 ∗ 1 InstitutFourierBP74,UFRMathe´matiques,Univ.GrenobleI38402Saint-Martin-d’H`eresCedex,France 2 DepartamentodeGeometriayTopologia,UniversidaddeSevilla,Apdo1160,41080Sevilla,Spain 3 FacultyofMathematicsandPhysics,UniversityofLjubljana,P.O.Box2964,Ljubljana1001,Slovenia May14,2009 Abstract Theprincipalresultofthispaperisahomotopycriterionfordetectingthetamenessofnon-compact3-manifolds whichextendstheoneworkedoutbyL.FunarandT.L.Thickstunforopen3-manifolds.Agroupisproperly3-realizable ifitisthefundamentalgroupofacompact2-polyhedronwhoseuniversalcoveringisproperhomotopyequivalenttoa 3-manifold.Asaconsequenceofthemainresultaproperly3-realizablegroupwhichisalsoquasi-simplyfilteredhas pro-(finitelygeneratedfree)fundamentalgroupatinfinityandsemi-stableends.Conjecturallythequasi-simplyfiltration assumptionissuperfluous.Usingtheserestrictionsweprovidethefirstexamplesoffinitelypresentedgroupswhichare notproperly3-realizable,forinstancelargefamiliesofCoxetergroups. AMSMOSSubj.Classification(1991):57M50,57M10,57M30. Keywordsandphrases:Properly3-realizable,geometricsimpleconnectivity,quasi-simplefilteredgroup, missingboundary3-manifold,Coxetergroup. 1Introduction In[18,21]theauthorsprovedthatanopen3-manifoldissimplyconnectedatinfinityifithastheproper homotopytypeofaweaklygeometricallysimplyconnectedpolyhedron.Thesimpleconnectivityatinfinityis astrongtamenessconditionforopen3-manifoldswhich,roughlyspeaking,expressesthefactthateachendis collaredbya2-sphere. Themainconcernofthispaperistogiveasimilarhomotopycriterionfordetectingthetamenessinthecase of3-manifoldswithboundary.Therelevanttamenessconditionshavetobechangedaccordingly,inorderto takeintoaccounttheboundarybehavior.Insteadofthesimpleconnectivityatinfinitywewillconsiderthe so-calledmissingboundarymanifoldconditionintroducedbySimon(see[40]),whiletheweakgeometricsimple connectivityhastobereplacedbythestrongerpl-geometricsimpleconnectivity,tobedefinedbelow. Despitethefactthattherearesimilaritiesintheproofswith[18,21],thecasewheremanifoldshavenon-compact boundarycomponentspresentssomenewandinterestingfeatures.Workinginthismoregeneralcontextopens thepossibilitytofindapplicationstogeometricgrouptheory.Specifically,weobtainnecessaryconditionsfora finitelypresentedgrouptoactfreelyco-compactlyonasimplyconnected2-complexhavingtheproperhomotopy typeofa3-manifold.Inparticularwefindexplicitexamplesofgroupswhichdonothavethisproperty. ∗ Emails:[e-mail](L.Funar),[e-mail](F.F.Lasheras),[e-mail](D.Repovˇs) 1