Groups and Spaces

Total Page:16

File Type:pdf, Size:1020Kb

Groups and Spaces Kai-Uwe Bux Groups and Spaces Volume I: Groups January 28, 2007: Preliminary version, do not cite, do not distribute. [°c Kai-Uwe Bux, 2002] Preface This set of notes is based on my lectures “Important Groups” and “My Favorite Groups” which I taught at Cornell University in Spring 2002 and Spring 2003. The goal was to discuss the most important examples of infinite discrete groups in con- siderable depth and detail. Being “important” is rather a sociological concept than a mathematical one. A group is important if Mathmaticians are interested in it: Important groups are those, we talk about on dinner parties; and if you fail to know them, you will become a social outcast. Of course, any list of those groups is open to debate, and the one to follow reflects many of my personal idiosyncrasies. What is in and what is not The focus of this lecture is on particular groups. So you will not find a lot of general theorems like the following miracle. A finitely generated group has a solvable word problem if and only if it embeds into a simple subgroup of a finitely presented group. Those gadgets are sometimes mentioned, sometimes even used, but we will not bother to prove many of these results. Instead you will find results like these: • The infinite cyclic group is amenable, whereas the other finitely generated free groups are not. • Arithmetic groups are residually finite. • The group Out(Fn) has only finitely many finite subgroups up to conjugacy. The groups dicussed in this lecture can be aranged in two main blocks: On the one hand we discus free groups, Thompson’s groups, and Grigorchuk’s groups. Here the focus of the discussion is about growth and amenability. On the other hand, we will i ii meet arithmetic groups, mapping class groups of surfaces and the groups Out(Fn). Here the discussion will be centered around the construction of nice spaces, upon which these groups act. Thanks . ... to David Revelle for proofreading my crappy notes. ... to Jim Belk for helping me considerably in understanding amenability and Thompson’s group F . ... to David Benbennick for debugging the exercises and problems. ... to Ference Gerlitz for teaching me about the subgroup conjugacy problem in free groups. ... to Rotislav Grigorchuk for explaining to me the solution of the conjugacy prob- lem in his first group. Preliminary version, do not cite, do not distribute. [°c Kai-Uwe Bux, 2002] Contents I Free Groups 1 1 The Infinite Cyclic Group 2 1.1 Residual Finiteness . 3 1.2 Amenability . 3 1.2.1 Følner Sequences . 5 1.2.2 Ultralimits . 6 1.2.3 From Følner Sequences to Amenability . 9 1.3 Kazhdan’s Property (T) . 11 1.4 The Geometry of the Cayley Graph . 12 1.4.1 Ends . 14 1.4.2 Growth . 17 2 Free Groups of Finite Rank 21 2.1 Free Constructions . 22 2.2 How to Detect Free Groups . 23 2.3 Kazhdan’s Property (T) and Amenability . 27 2.3.1 Equivalent Formulations for Amenability . 28 2.4 Stallings’ Theorem . 33 2.4.1 Cohomology of Groups and the Eilenberg-Ganea Problem . 35 2.4.2 Tree Actions and Free Products . 38 2.4.3 Stallings’ Structure Theorem . 39 2.4.4 Grushko’s Theorem . 44 2.5 The Hanna Neumann Conjecture . 48 2.6 Equations in Free Groups and the Conjugacy Problem . 50 II Arithmetic Groups 53 3 SL2(Z) and the Hyperbolic Plane 54 3.1 The Symmetric Space of SL2(R)..................... 55 iii iv CONTENTS 3.2 A Fundamental Domain for SL2(Z)................... 57 3.3 The Tree of SL2(Z)............................ 61 3.4 The Conjugacy Problem . 63 3.5 Finite Quotients and Congruence Subgroups . 64 3.6 Small Cancellation Theory for Free Products . 66 3.6.1 Van Kampen Diagrams for Presentations . 66 3.6.2 Van Kampen Diagrams for Free Products . 68 4 SLn(Z) 72 5 General Arithmetic Groups 73 5.1 Preliminary Observations . 76 III Mapping Class Groups 78 6 Out(Fn) and Aut(Fn) 79 6.1 Topological Representatives for Automorphisms . 79 6.1.1 Stallings Folds . 80 6.1.2 Bounded Cancellation and the Fixed Subgroup . 84 6.2 A Generating Set for Aut(Fn)...................... 85 6.2.1 Proof of Nielsen’s Theorem . 86 6.2.2 The Homotopytype of the Complex of Forests . 88 6.3 Outer Space and its Relatives . 88 6.3.1 Categories Based on Graphs . 89 6.3.2 Marked Graphs, Labelled Graphs, and Metric Trees . 90 6.3.3 Metric Trees and R-Trees . 91 6.3.4 The Definition of Auter Space and Outer Space . 92 6.4 Proofs of Contractibility . 93 6.4.1 Proof by Continous Folding (the Trees Proof) . 93 6.4.2 Proof by Sophisticated Low-Dimensional Topology (the Spheres Proof) . 93 6.4.3 A Continuous Contracting Flow . 95 6.4.4 A Discrete Version of the Argument and an Exponential Isoperi- metric Inequality for Out(Fn) .................. 97 6.4.5 The Graphs Proof . 101 6.5 !!! FIXME !!! . 101 7 The Mapping Class Group of a Closed Surface 104 8 Braid Groups 105 Preliminary version, do not cite, do not distribute. [°c Kai-Uwe Bux, 2002] CONTENTS v IV Miscellaneous Important Groups 106 9 Coxeter Groups and Artin Groups 107 9.1 Euclidean Reflection Groups . 107 9.1.1 The Chamber Decomposition of E ................ 107 9.1.2 The Coxeter Matrix . 112 9.1.3 The Cocompact Case . 113 9.2 Coxeter Groups . 114 9.2.1 The Geometric Representation . 115 9.2.2 The Geometry of a Coxeter System . 116 9.2.3 The Deletion Condition . 122 9.2.4 The Moussong Complex . 124 9.3 Artin Groups . 128 9.3.1 The Braid Group . 128 9.3.2 General Artin Groups . 132 9.3.3 Artin Groups of Finite Type . 133 9.3.4 Right-Angled Artin Groups and the Example of M. Bestvina and N. Brady . 133 10 Grigorchuk’s First Group 136 10.1 The Infinite Binary Rooted Tree . 137 10.2 Automaton Groups and the Word Problem . 140 10.3 Burnside’s Problem . 147 10.4 Subgroup Structure . 150 10.4.1 Finite 2-groups . 153 10.4.2 Congruence Subgroups . 156 10.5 The Weight of Elements . 159 10.5.1 The Conjugacy Problem . 161 10.5.2 Intermediate Growth . 163 10.6 Amenability . 166 10.7 Presentations . 168 11 Thompson’s Group F 171 11.1 Associativity, Trees, and Homeomorphisms . 172 11.2 The Positive Monoid and Forest Diagrams . 180 11.3 Presentations for Thompson’s Group . 184 11.4 An Action of Thompson’s Group F ................... 185 11.4.1 Forest Diagrams . 187 11.4.2 Normal Forms . 190 11.4.3 A Remark on Tree Diagrams . 195 Preliminary version, do not cite, do not distribute. [°c Kai-Uwe Bux, 2002] vi CONTENTS 11.5 Subgroups and Quotients . 195 11.6 Amenability . 198 11.7 Finiteness Properties . 199 11.8 The Conjugacy Problem . 204 V Appendices 205 A Combinatorial Group Theory: Nuts and Bolts 206 A.1 Generators and Relations . 206 A.1.1 Generating Sets / Cayley Graphs . 206 A.1.2 Defining Relations / Cayley Complexes . 207 A.1.3 Van Kampen Diagrams . 212 A.1.4 Isoperimetric Inequalities . 215 A.1.5 Small Cancellation Theory . 215 A.2 Constructions . 217 A.2.1 Direct, Semidirect, and Wreath Products . 217 A.2.2 Free Products / Amalgamated Products / HNN-Extensions . 219 A.2.3 Graphs of Groups and Spaces . 219 A.3 Faithful Representations . 219 B Geometry: Nuts and Bolts 220 B.1 Metric Spaces . 220 B.2 Piecewise Geometric Complexes . 222 B.3 Group Actions . 224 B.3.1 Proper Actions . 225 B.3.2 Proper Cocompact Actions . 225 B.3.3 Abelian and Solvable Subgroups . 228 C Topology: Nuts and Bolts 229 C.1 Topological Categories . 229 C.1.1 Paracompact Spaces . 229 C.1.2 Complexes . 229 C.1.3 Posets . 232 C.2 Computing Homotopy Groups . 232 C.2.1 Fibrations and Fibre Bundles . 232 C.2.2 Combinatorial Morse Theory . 235 C.2.3 The Vietoris-Smale-Quillen Argument . 238 C.2.4 Nerves . 238 Preliminary version, do not cite, do not distribute. [°c Kai-Uwe Bux, 2002] CONTENTS vii D Finiteness Properties 240 D.1 Brown’s Criterion . 241 D.2 Applications of Brown’s Criterion . 241 D.3 The Stallings-Bieri Series . 243 D.4 Homological Finiteness Properties . 245 E Dictionary 246 E.1 Properties . 246 E.2 Prefixes . 249 E.3 Metaproperties . ..
Recommended publications
  • On Abelian Subgroups of Finitely Generated Metabelian
    J. Group Theory 16 (2013), 695–705 DOI 10.1515/jgt-2013-0011 © de Gruyter 2013 On abelian subgroups of finitely generated metabelian groups Vahagn H. Mikaelian and Alexander Y. Olshanskii Communicated by John S. Wilson To Professor Gilbert Baumslag to his 80th birthday Abstract. In this note we introduce the class of H-groups (or Hall groups) related to the class of B-groups defined by P. Hall in the 1950s. Establishing some basic properties of Hall groups we use them to obtain results concerning embeddings of abelian groups. In particular, we give an explicit classification of all abelian groups that can occur as subgroups in finitely generated metabelian groups. Hall groups allow us to give a negative answer to G. Baumslag’s conjecture of 1990 on the cardinality of the set of isomorphism classes for abelian subgroups in finitely generated metabelian groups. 1 Introduction The subject of our note goes back to the paper of P. Hall [7], which established the properties of abelian normal subgroups in finitely generated metabelian and abelian-by-polycyclic groups. Let B be the class of all abelian groups B, where B is an abelian normal subgroup of some finitely generated group G with polycyclic quotient G=B. It is proved in [7, Lemmas 8 and 5.2] that B H, where the class H of countable abelian groups can be defined as follows (in the present paper, we will call the groups from H Hall groups). By definition, H H if 2 (1) H is a (finite or) countable abelian group, (2) H T K; where T is a bounded torsion group (i.e., the orders of all ele- D ˚ ments in T are bounded), K is torsion-free, (3) K has a free abelian subgroup F such that K=F is a torsion group with trivial p-subgroups for all primes except for the members of a finite set .K/.
    [Show full text]
  • Metric Geometry in a Tame Setting
    University of California Los Angeles Metric Geometry in a Tame Setting A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in Mathematics by Erik Walsberg 2015 c Copyright by Erik Walsberg 2015 Abstract of the Dissertation Metric Geometry in a Tame Setting by Erik Walsberg Doctor of Philosophy in Mathematics University of California, Los Angeles, 2015 Professor Matthias J. Aschenbrenner, Chair We prove basic results about the topology and metric geometry of metric spaces which are definable in o-minimal expansions of ordered fields. ii The dissertation of Erik Walsberg is approved. Yiannis N. Moschovakis Chandrashekhar Khare David Kaplan Matthias J. Aschenbrenner, Committee Chair University of California, Los Angeles 2015 iii To Sam. iv Table of Contents 1 Introduction :::::::::::::::::::::::::::::::::::::: 1 2 Conventions :::::::::::::::::::::::::::::::::::::: 5 3 Metric Geometry ::::::::::::::::::::::::::::::::::: 7 3.1 Metric Spaces . 7 3.2 Maps Between Metric Spaces . 8 3.3 Covers and Packing Inequalities . 9 3.3.1 The 5r-covering Lemma . 9 3.3.2 Doubling Metrics . 10 3.4 Hausdorff Measures and Dimension . 11 3.4.1 Hausdorff Measures . 11 3.4.2 Hausdorff Dimension . 13 3.5 Topological Dimension . 15 3.6 Left-Invariant Metrics on Groups . 15 3.7 Reductions, Ultralimits and Limits of Metric Spaces . 16 3.7.1 Reductions of Λ-valued Metric Spaces . 16 3.7.2 Ultralimits . 17 3.7.3 GH-Convergence and GH-Ultralimits . 18 3.7.4 Asymptotic Cones . 19 3.7.5 Tangent Cones . 22 3.7.6 Conical Metric Spaces . 22 3.8 Normed Spaces . 23 4 T-Convexity :::::::::::::::::::::::::::::::::::::: 24 4.1 T-convex Structures .
    [Show full text]
  • Finitely Generated Groups Are Universal
    Finitely Generated Groups Are Universal Matthew Harrison-Trainor Meng-Che Ho December 1, 2017 Abstract Universality has been an important concept in computable structure theory. A class C of structures is universal if, informally, for any structure, of any kind, there is a structure in C with the same computability-theoretic properties as the given structure. Many classes such as graphs, groups, and fields are known to be universal. This paper is about the class of finitely generated groups. Because finitely generated structures are relatively simple, the class of finitely generated groups has no hope of being universal. We show that finitely generated groups are as universal as possible, given that they are finitely generated: for every finitely generated structure, there is a finitely generated group which has the same computability-theoretic properties. The same is not true for finitely generated fields. We apply the results of this investigation to quasi Scott sentences. 1 Introduction Whenever we have a structure with interesting computability-theoretic properties, it is natural to ask whether such examples can be found within particular classes. While one could try to adapt the proof within the new class, it is often simpler to try and code the original structure into a structure in the given class. It has long been known that for certain classes, such as graphs, this is always possible. Hirschfeldt, Khoussainov, Shore, and Slinko [HKSS02] proved that classes of graphs, partial orderings, lattices, integral domains, and 2-step nilpotent groups are \complete with respect to degree spectra of nontrivial structures, effective dimensions, expansion by constants, and degree spectra of relations".
    [Show full text]
  • Nonpositive Curvature and the Ptolemy Inequality
    Zurich Open Repository and Archive University of Zurich Main Library Strickhofstrasse 39 CH-8057 Zurich www.zora.uzh.ch Year: 2007 Nonpositive curvature and the Ptolemy inequality Foertsch, T ; Lytchak, A ; Schroeder, Viktor Abstract: We provide examples of nonlocally, compact, geodesic Ptolemy metric spaces which are not uniquely geodesic. On the other hand, we show that locally, compact, geodesic Ptolemy metric spaces are uniquely geodesic. Moreover, we prove that a metric space is CAT(0) if and only if it is Busemann convex and Ptolemy. DOI: https://doi.org/10.1093/imrn/rnm100 Posted at the Zurich Open Repository and Archive, University of Zurich ZORA URL: https://doi.org/10.5167/uzh-21536 Journal Article Published Version Originally published at: Foertsch, T; Lytchak, A; Schroeder, Viktor (2007). Nonpositive curvature and the Ptolemy inequality. International Mathematics Research Notices, 2007(rnm100):online. DOI: https://doi.org/10.1093/imrn/rnm100 Foertsch, T., A. Lytchak, and V. Schroeder. (2007) “Nonpositive Curvature and the Ptolemy Inequality,” International Mathematics Research Notices, Vol. 2007, Article ID rnm100, 15 pages. doi:10.1093/imrn/rnm100 Nonpositive Curvature and the Ptolemy Inequality Thomas Foertsch1, Alexander Lytchak1, Viktor Schroeder2 1Universitat¨ Bonn, Mathematisches Institut, Beringstr. 1, 53115 Bonn, Germany, and 2Universitat¨ Zurich¨ , Institut fur¨ Mathematik, Winterthurerstr. 190, 8057 Zurich¨ , Switzerland Correspondence to be sent to: Thomas Foertsch, Universitat¨ Bonn, Mathematisches Institut, Beringstr. 1, 53115 Bonn, Germany. e-mail: [email protected] We provide examples of nonlocally, compact, geodesic Ptolemy metric spaces which are not uniquely geodesic. On the other hand, we show that locally, compact, geodesic Ptolemy metric spaces are uniquely geodesic.
    [Show full text]
  • Arxiv:0803.2592V3 [Math.GR] 29 Jan 2010 F)I N Nyi Vr Isometric Every If Only and If (FH) Taeyfrpoigsao’ Eutadterm
    FIXED POINT PROPERTIES IN THE SPACE OF MARKED GROUPS YVES STALDER Abstract. We explain, following Gromov, how to produce uniform isometric actions of groups starting from isometric actions without fixed point, using common ultralimits techniques. This gives in particular a simple proof of a result by Shalom: Kazhdan’s property (T) defines an open subset in the space of marked finitely generated groups. 1. Introduction In this expository note, we are interested in groups whose actions on some particular kind of spaces always have (global) fixed points. Definition 1.1. Let G be a (discrete) group. We say that G has: – Serre’s Property (FH), if any isometric G-action on an affine Hilbert space has a fixed point [HV89, Chap 4]; – Serre’s Property (FA), if any G-action on a simplicial tree (by automorphisms and without inversion) has a fixed point [Ser77, Chap I.6]; – Property (FRA), if if any isometric G-action on a complete R-tree has a fixed point [HV89, Chap 6.b]. These definitions extend to topological groups: one has then to require the actions to be continuous. Such properties give information about the structure of the group G. Serre proved that a countable group has Property (FA) if and only if (i) it is finitely generated, (ii) it has no infinite cyclic quotient, and (iii) it is not an amalgam [Ser77, Thm I.15]. Among locally compact, second countable groups, Guichardet and Delorme proved that Property (FH) is equivalent to Kazhdan’s Property (T) [Gui77, Del77]. Kazhdan groups are known to be compactly generated and to have a compact abelianization; see e.g.
    [Show full text]
  • Decomposing Some Finitely Generated Groups Into Free Products With
    Decomposing some finitely generated groups into free products with amalgamation 1 V.V. Benyash-Krivets Introduction . We shall say that a group G is a non-trivial free product with amalgamation if ¡ ¡ G = G1 A G2, where G1 = A = G2 (see [1]). Wall [2] has posed the following question: Which one-relator groups are non-trivial free products with amalgamation? £ Let G = ¢ g , . , g R = = R = 1 be a group with m generators and n 1 m | 1 · · · n relations such that def G = m n ¤ 2. It is proved in [4] that G is a non-trivial − free product with amalgamation. In particular, if G is a group with m ¤ 3 generators and one relation, then G is a non-trivial free product with amalgamation. A case of groups with two generators and one relation is more complicated. For example, the free −1 −1 £ abelian group G = ¢ a, b [a, b] = 1 of rank 2, where [a, b] = aba b , obviously, is | not a non-trivial free product with amalgamation. Other examples are given by groups −1 n £ Gn = ¢ a, b aba = b . For any n, the group Gn is solvable and using results from [3], | ¡ it is easy to show that for n = 1 the group G is not decomposable into a non-trivial − n free product with amalgamation. The following conjecture was stated in [4]. m £ ¤ Conjecture 1 Let G = ¢ a, b R (a, b) = 1 , m 2, be a group with two generators | and one relation with torsion. Then G is a non-trivial free product with amalgamation.
    [Show full text]
  • Non-Positive Curvature and the Ptolemy Inequality 11
    NON-POSITIVE CURVATURE AND THE PTOLEMY INEQUALITY THOMAS FOERTSCH, ALEXANDER LYTCHAK, VIKTOR SCHROEDER1 Abstract. We provide examples of non-locally compact geodesic Pto- lemy metric spaces which are not uniquely geodesic. On the other hand, we show that locally compact, geodesic Ptolemy metric spaces are uniquely geodesic. Moreover, we prove that a metric space is CAT(0) if and only if it is Busemann convex and Ptolemy. 1. Introduction A metric space X is called a Ptolemy metric space, if the inequality (1) jxyjjuvj ≤ jxuj jyvj + jxvj jyuj is satisfied for all x; y; u; v 2 X. Our interest in Ptolemy metric spaces originates from an analysis of bound- aries of CAT(−1)-spaces when endowed with a Bourdon or Hamenst¨adt metric. Such boundaries are indeed Ptolemy metric spaces (see [8]). Various aspects of such spaces have occasionally been studied, for instance in [5], [11], [13] and [18]. A smooth Riemannian manifold is of non-positive sectional curvature, if and only if it is locally Ptolemy, and a locally Ptolemy Finsler manifold is necessarily Riemannian (see [12] and [5]). Furthermore, CAT(0)-spaces are geodesic Ptolemy metric spaces (compare Section 2). On first consideration, these observations might suggest that for geodesic metric spaces the Ptolemy condition is some kind of non-positive curvature condition. We show that without any further conditions this is completely wrong. Theorem 1.1. Let X be an arbitrary Ptolemy space, then X can be isomet- rically embedded into a complete geodesic Ptolemy space X^ . As an application, take the four point Ptolemy space X = fx; y; m1; m2g with jxyj = 2 and all other nontrivial distances equal to 1.
    [Show full text]
  • Lecture 4, Geometric and Asymptotic Group Theory
    Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Quasi-isometry Limit groups Free actions Lecture 4, Geometric and asymptotic group theory Olga Kharlampovich NYC, Sep 16 1 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions The universal property of free groups allows one to describe arbitrary groups in terms of generators and relators. Let G be a group with a generating set S. By the universal property of free groups there exists a homomorphism ': F (S) ! G such that '(s) = s for s 2 S. It follows that ' is onto, so by the first isomorphism theorem G ' F (S)=ker('): In this event ker(') is viewed as the set of relators of G, and a group word w 2 ker(') is called a relator of G in generators S. If a subset R ⊂ ker(') generates ker(') as a normal subgroup of F (S) then it is termed a set of defining relations of G relative to S. 2 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions The pair hS j Ri is called a presentation of G, it determines G uniquely up to isomorphism. The presentation hS j Ri is finite if both sets S and R are finite. A group is finitely presented if it has at least one finite presentation. Presentations provide a universal method to describe groups. Example of finite presentations 1 G = hs1;:::; sn j [si ; sj ]; 81 ≤ i < j ≤ ni is the free abelian group of rank n.
    [Show full text]
  • NON-POSITIVELY CURVED CUBE COMPLEXES Henry Wilton Last Updated: June 29, 2012
    Cube complexes Winter 2011 NON-POSITIVELY CURVED CUBE COMPLEXES Henry Wilton Last updated: June 29, 2012 1 Some basics of topological and geometric group theory 1.1 Presentations and complexes Let Γ be a discrete group, defined by a presentation P = hai j rji, say, or as the fundamental group of a connected CW-complex X. 0 1 Remark 1.1. Let XP be the CW-complex with a single 0-cell E , one 1-cell Ei 2 for each ai (oriented accordingly), and one 2-cell Ej for each rj, with attaching 2 (1) map @Ej ! XP that reads off the word rj in the generators faig. Then, by the Seifert{van Kampen Theorem, the fundamental group of XP is the group presented by P. Conversely, restricting attention to X(2) and contracting a maximal tree in (1) X , we obtain XP for some presentation P of Γ. So we see that these two situations are equivalent. We will call XP a pre- sentation complex for Γ. Here are two typical questions that we might want to be able to answer about Γ. ∗ Question 1.2. Can we compute the homology H∗(Γ) or cohomology H (Γ)? Question 1.3. Can we solve the word problem in Γ? That is, is there an algorithm to determine whether a word in the generators represents the trivial element in Γ? 1.2 Non-positively curved manifolds In general, the answer to both of these questions is `no'. Novikov (1955) and Boone (1959) constructed a finitely presentable group with an unsolvable word problem, and Cameron Gordon proved that the rank of H2(Γ) is not computable.
    [Show full text]
  • Fundamental Groups of Links of Isolated Singularities
    FUNDAMENTAL GROUPS OF LINKS OF ISOLATED SINGULARITIES MICHAEL KAPOVICH AND JANOS´ KOLLAR´ Starting with Grothendieck's proof of the local version of the Lefschetz hyper- plane theorems [Gro68], it has been understood that there are strong parallels between the topology of smooth projective varieties and the topology of links of isolated singularities. This relationship was formulated as one of the guiding prin- ciples in the monograph [GM88, p.26]: \Philosophically, any statement about the projective variety or its embedding really comes from a statement about the sin- gularity at the point of the cone. Theorems about projective varieties should be consequences of more general theorems about singularities which are no longer re- quired to be conical". The aim of this note is to prove the following, which we consider to be a strong exception to this principle. Theorem 1. For every finitely presented group G there is an isolated, 3-dimensi- ∼ onal, complex singularity 0 2 XG with link LG such that π1 LG = G. By contrast, the fundamental groups of smooth projective varieties are rather special; see [ABC+96] for a survey. Even the fundamental groups of smooth quasi projective varieties are quite restricted [Mor78, KM98a, CS08, DPS09]. This shows that germs of singularities can also be quite different from quasi projective varieties. We think of a complex singularity (0 2 X) as a contractible Stein space sitting N 2N−1 in some C . Then its link is link(X) := X \ S , an intersection of X with a small (2N − 1)-sphere centered at 0 2 X. Thus link(X) is a deformation retract of X n f0g.
    [Show full text]
  • Arxiv:1711.08410V2
    LATTICE ENVELOPES URI BADER, ALEX FURMAN, AND ROMAN SAUER Abstract. We introduce a class of countable groups by some abstract group- theoretic conditions. It includes linear groups with finite amenable radical and finitely generated residually finite groups with some non-vanishing ℓ2- Betti numbers that are not virtually a product of two infinite groups. Further, it includes acylindrically hyperbolic groups. For any group Γ in this class we determine the general structure of the possible lattice embeddings of Γ, i.e. of all compactly generated, locally compact groups that contain Γ as a lattice. This leads to a precise description of possible non-uniform lattice embeddings of groups in this class. Further applications include the determination of possi- ble lattice embeddings of fundamental groups of closed manifolds with pinched negative curvature. 1. Introduction 1.1. Motivation and background. Let G be a locally compact second countable group, hereafter denoted lcsc1. Such a group carries a left-invariant Radon measure unique up to scalar multiple, known as the Haar measure. A subgroup Γ < G is a lattice if it is discrete, and G/Γ carries a finite G-invariant measure; equivalently, if the Γ-action on G admits a Borel fundamental domain of finite Haar measure. If G/Γ is compact, one says that Γ is a uniform lattice, otherwise Γ is a non- uniform lattice. The inclusion Γ ֒→ G is called a lattice embedding. We shall also say that G is a lattice envelope of Γ. The classical examples of lattices come from geometry and arithmetic. Starting from a locally symmetric manifold M of finite volume, we obtain a lattice embedding π1(M) ֒→ Isom(M˜ ) of its fundamental group into the isometry group of its universal covering via the action by deck transformations.
    [Show full text]
  • Finitely Generated Subgroups of Lattices in Psl2 C
    FINITELY GENERATED SUBGROUPS OF LATTICES IN PSL2 C YAIR GLASNER, JUAN SOUTO, AND PETER STORM Abstract. Let Γ be a lattice in PSL2(C). The pro-normal topology on Γ is defined by taking all cosets of non-trivial normal subgroups as a basis. This topology is finer than the pro-finite topology, but it is not discrete. We prove that every finitely generated subgroup ∆ < Γ is closed in the pro-normal topology. As a corollary we deduce that if H is a maximal subgroup of a lattice in PSL2(C) then either H is finite index or H is not finitely generated. 1. Introduction In most infinite groups, it is virtually impossible to understand the lattice of all subgroups. Group theorists therefore focus their attention on special families of subgroups such as finite index subgroups, normal subgroups, or finitely generated subgroups. This paper will study the family of finitely generated subgroups of lattices in PSL2(C). Recall that lattices in PSL2(C) are the fundamental groups of finite volume hyperbolic 3-orbifolds. For these groups we establish a connection between finitely generated subgroups and normal subgroups. This connection is best expressed in the following topological terms. If a family of subgroups N is invariant under conjugation and satisfies the con- dition, (1) for all N1,N2 ∈ N ∃ N3 ∈ N such that N3 ≤ N1 ∩ N2 then one can define an invariant topology in which the given family of groups constitutes a basis of open neighborhoods for the identity element. The most famous example is the pro-finite topology, which is obtained by taking N to be the family of (normal) finite index subgroups.
    [Show full text]