DOCSLIB.ORG

Booklet, Apart from the Abstracts of the Mini-Courses and Research Talks, You Will find the Research Statements of All the Par- Ticipants

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Booklet, Apart from the Abstracts of the Mini-Courses and Research Talks, You Will find the Research Statements of All the Par- Ticipants Young Geometric Group Theory IX Saint-Jacut-de-la-Mer February 24-28, 2020 Photo © Ronan Jacut / Dinan Cap-Fréhel Tourisme Page size: 148.0x210.0 mm Introduction Welcome to the ninth edition of the Young Geometric Group The- ory meeting! In this booklet, apart from the abstracts of the mini-courses and research talks, you will find the research statements of all the par- ticipants. We strongly encourage you to read through all of them. In this way, you will get a panoramic view of the current subjects of research in the field of geometric group theory. You will surely discover subjects you never knew existed. Maybe, you will discover as well that someone else has some common interests with you. So, this could be the beginning of passionate scientific discussions! This winter school is thought as a forum for sharing ideas in a friendly atmosphere. Feel free to ask the speakers, the organizers and other participants. In this way, you will certainly make the best of your week in Saint-Jacut-de-la-mer. We wish you a pleasant and fruitful winter school! The organizers. 1 2 Contents Mini-courses 11 Cantat Serge Groups of polynomial transformations . 13 Erschler Anna Growth and amenability of groups . 13 Haïssinsky Peter Convergence groups ................... 14 Monod Nicolas Spaces of the third kind . 14 Junior speakers 15 Fanoni Federica Big mapping class groups and their actions on graphs 17 Frączyk Mikołaj Growth of mod-p homology groups in higher rank lat- tices. .......................... 17 Gupta Radhika Non-uniquely ergodic arational trees in the boundary of outer space ...................... 17 Hartman Yair Which groups have bounded harmonic functions? . 18 Le Boudec Adrien Commensurated subgroups and micro-supported actions 19 Pozzetti Beatrice Surface subgroups of semisimple Lie groups . 19 Research statements 21 3 Alekseev Ilya Geodesic words for finitely generated groups . 23 Appenzeller Raphael Generalized buildings arising from symmetric spaces over non-Archimedean real closed fields . 25 Arenas Macarena Hyperbolicity and cubical small-cancellation theory . 26 Arora Shivam Hyperbolic groups .................... 27 Ashcroft Calum Cubulating Groups ................... 32 Barberis Marco Rigidity of k-separating curve graphs . 33 Barrett Benjamin Boundaries of hyperbolic groups . 35 Bell Nicholas Generalising Mirzakhani’s curve counting . 37 Bensaid Oussama Average Dehn function of finitely generated groups and LG-rigidity of transitive graphs . 38 Bertolotti Federica Maximal representations in higher Teichmuller theory 39 Biz Leonardo Properties of the coarse boundary groupoid . 40 Blufstein Martín Axel Curvature tests and hyperbolicity . 42 Brown Thomas Some groups of type FP . 44 Brunck Florestan Acute triangulations of polyhedra . 45 Buran Michal Separability within the class of alternating groups . 47 Chopra Holli Boundaries of Hyperbolic Spaces . 48 Conder Matthew Discrete and free two-generated subgroups of SL2 . 49 Darbinyan Arman Groups, computability, and computational complexity 50 de Souza Lucas H. R. Research in perspective compactifications . 51 4 Dickmann Ryan Big mapping class groups . 54 Dlugie Ethan Big mapping class groups and complexes . 55 Domat George Big mapping class groups . 56 Douba Sami Linearity of graph manifold groups . 58 Duda Karol Geometric group theory and computability . 59 Elkiaer Émilie Groups actions on Banach spaces . 60 Escalier Amandine Local-to-global rigidity of transitive graphs . 61 Faber Josh Anarchy in the Hanna Neumann conjecture . 62 Ferragut Tom Horocycle product of hyperbolique metric spaces . 64 Fioravanti Elia Spaces of actions on CAT(0) cube complexes . 65 Flamm Xenia Semialgebraic methods in geometric group theory . 67 Flechsig Jonas Artin groups acting on arc matching complexes . 68 Francoeur Dominik Groups acting on rooted trees . 69 Frisch Joshua Dynamical properties of groups . 71 Fruchter Jonathan The first order theory of acylindrically hyperbolic groups 73 Gerasimova Maria Isoperimetry, Littlewood functions, and unitarisabil- ity of groups ....................... 75 Glorieux Olivier Geometry in higher rank . 77 Gheysens Maxime Big topological groups . 79 Goffer Gil Totally disconnected groups . 80 Gohla Lukas Group stability in the context of group approximations 82 5 Grau Leonid Higher Dehn functions of solvable Lie groups . 83 Grayevsky Ido Quasi-isometries of right angled groups . 85 Guerch Yassine Geometry and rigidity of relative automorphisms groups 86 H Balasubramanya Sahana Group actions on hyperbolic spaces . 87 Hayez Laurent Analytical and asymptotical aspects of finitely gener- ated groups ....................... 93 Hoda Nima Non-positive curvature in groups . 95 Hoganson Hannah Lp metrics on Teichmüller space . 97 Hughes Sam Lattices in products of Lie groups and trees . 98 Joseph Matthieu Isometric orbit equivalence . 99 Jurina Simon Decision problems in finitely presented groups . 100 Karrer Annette Spaces of nonpositive curvature and their boundaries 104 Kerr Alice Product set growth . 105 Klinge Kevin Vanishing of `2-cohomology . 106 Kolodner Noam Free groups and core graphs . 107 Kontogeorgiou Georgios Cayley complex embeddings . 108 Lacourte Octave IET, subgroups and generalizations . 111 Ladjali Amina Assouda Generalisations of CAT(0) cube complexes . 112 Legaspi-Juanatey Xabier Growth and its connections . 113 Leibtag Elyasheev Topological properties of algebraic groups . 115 Levine Alex Group equations . 116 6 Li Kevin Bredon cohomology and classifying spaces . 117 Lotz Marco The combinatorics of hyperbolic Coxeter groups . 118 Lowen Alex Algorithmic problems for Out(Fn) . 120 Magnani Maria Character variety and Teichmüller space . 121 Miller Marissa Characterizations of stable subgroups . 122 Moeller Philip Semisimple locally compact groups and duality . 123 Munro Zachary Yi-Jeng Weak Modularity . 124 Ng Thomas Uniform exponential growth in groups with non-positive curvature . 125 Nicolás Cardona Francisco Finitely generated normal subgroups of Kähler groups 126 Oh Josiah QI rigidity and relative ends . 128 Oregón-Reyes Eduardo Isometric actions on metric spaces with non-positive curvature . 129 Pallier Gabriel Large-scale geometry of Lie groups . 133 Papin Chloé Hyperbolic spaces for the outer automorphism group of Baumslag-Solitar groups . 135 Plenz Sebastian Minimal volume entropy . 136 Rauzy Emmanuel Embeddings in finitely presented groups . 137 Robbio Bruno Hierarchically hyperbolic spaces, cubulating groups and RAAGs . 138 Ron Liran Horoboundary theory for Cayley graphs . 139 Santos Rego Yuri Matrix groups, Thompson groups, and 3-manifolds . 141 7 Sarti Filippo Superrigidity of measurable cocycle of complex hyper- bolic lattices into SU(m; n) . 143 Sasaki Dounnu Subset currents on hyperbolic groups and surfaces . 144 Sathaye Bakul Non-positively curved groups and manifolds . 146 Schaffer-Cohen Anschel Big mapping class groups acting on simplicial things 152 Schiavo Vasco What I’m interested in . 153 Seidel Matan Word maps and word measures . 154 Semal Lancelot About unitary representations of locally compact groups157 Sheard David Accessibility of Groups . 159 Shepherd Sam Leighton’s Theorem and cube complexes . 161 Shinkle Emily Finite rigidity Problems . 163 Slutsky Raz Co-volume of lattices in Lie groups controls their com- plexity . 164 Soergel Mireille Actions of Artin groups on CAT(0) spaces and the K(π; 1) conjecture . 165 Stadlöder Stefan Relations between the Bogomolov property and the property (^τ) of groups . 166 Stankov Bogdan Random walks on Cayley and Schreier graphs . 169 Su Hang Lu Left orders and formal languages . 171 Sun Bin Acylindrically hyperbolic groups . 173 Szőke Nóra Gabriella Amenability of topological full groups . 176 Tee Paul Tits Alternative for 2-Dimensional Artin Groups . 178 8 Tranchida Philippe Right-angled Artin groups, CAT(0) cube complexes and mapping class groups. 179 Tsai Tsung-Hsuan Random triangular groups at density 1/3 . 181 Vankov Vladimir Special cube complexes and generalised Bestvina-Brady Groups . 183 Vaskou Nicolas Algebraic structure of groups from a geometric per- spective . 185 Vigdorovich Itamar Asymptotic behaviour of locally symmetric spaces and harmonic analysis . 186 Young Samuel Local subgroup properties of abstract commensurators 187 Zhu Feng Hyperbolic(-ish) subgroups in higher rank . 189 Organization 191 9 10 Mini-courses 11 12 Serge Cantat CNRS / Université de Rennes 1, France Groups of polynomial transformations Consider the affine space of dimension k > 1, say over the field of complex numbers, and the group of all its polynomial transfor- mations with a polynomial inverse. By definition, this is the group of polynomial automorphisms of the affine space: it contains all affine transformations, but also non linear automorphisms of arbi- trary large degrees. What properties of linear (finitely generated) groups remain valid in this larger group? This will be the main topic of the mini-course. Anna Erschler CNRS / ENS Paris, France Growth and amenability of groups Growth function counts the number of elements of word length at most n in the word metric. While many known groups have ei- ther polynomial or exponential growth, a rich and interesting class of groups of intermediate growth was discovered in the eighties by Grigorchuk. Despite some progress in understanding such groups in recents decades, there is still some mystery about these groups and many fundamental questions remain open. Amenable groups are groups admitting an invariant finitely additive measure defined on all their subsets.
Load more

Recommended publications
  • [Math.GT] 9 Jul 2003
    LOW-DIMENSIONAL HOMOLOGY GROUPS OF MAPPING CLASS GROUPS: A SURVEY MUSTAFA KORKMAZ Abstract. In this survey paper, we give a complete list of known re- sults on the first and the second homology groups of surface mapping class groups. Some known results on higher (co)homology are also men- tioned. 1. Introduction n Let Σg,r be a connected orientable surface of genus g with r boundary n components and n punctures. The mapping class group of Σg,r may be defined in different ways. For our purpose, it is defined as the group of the n n isotopy classes of orientation-preserving diffeomorphisms Σg,r → Σg,r. The diffeomorphisms and the isotopies are assumed to fix each puncture and the n points on the boundary. We denote the mapping class group of Σg,r by n Γg,r. Here, we see the punctures on the surface as distinguished points. If r and/or n is zero, then we omit it from the notation. We write Σ for the n surface Σg,r when we do not want to emphasize g,r,n. The theory of mapping class groups plays a central role in low-dimensional n topology. When r = 0 and 2g + n ≥ 3, the mapping class group Γg acts properly discontinuously on the Teichm¨uller space which is homeomorphic to some Euclidean space and the stabilizer of each point is finite. The quotient of the Teichm¨uller space by the action of the mapping class group is the moduli space of complex curves. Recent developments in low-dimensional topology made the algebraic structure of the mapping class group more important.
    [Show full text]
  • NOTES on the TOPOLOGY of MAPPING CLASS GROUPS Before
    NOTES ON THE TOPOLOGY OF MAPPING CLASS GROUPS NICHOLAS G. VLAMIS Abstract. This is a short collection of notes on the topology of big mapping class groups stemming from discussions the author had at the AIM workshop \Surfaces of infinite type". We show that big mapping class groups are neither locally compact nor compactly generated. We also show that all big mapping class groups are homeomorphic to NN. Finally, we give an infinite family of big mapping class groups that are CB generated and hence have a well-defined quasi-isometry class. Before beginning, the author would like to make the disclaimer that the arguments contained in this note came out of discussions during a workshop at the American Institute of Mathematics and therefore the author does not claim sole credit, espe- cially in the case of Proposition 10 in which the author has completely borrowed the proof. For the entirety of the note, a surface is a connected, oriented, second countable, Hausdorff 2-manifold. The mapping class group of a surface S is denoted MCG(S). A mapping class group is big if the underlying surface is of infinite topological type, that is, if the fundamental group of the surface cannot be finitely generated. 1.1. Topology of mapping class groups. Let C(S) denote the set of isotopy classes of simple closed curves on S. Given a finite collection A of C(S), let UA = ff 2 MCG(S): f(a) = a for all a 2 Ag: We define the permutation topology on MCG(S) to be the topology with basis consisting of sets of the form f · UA, where A ⊂ C(S) is finite and f 2 MCG(S).
    [Show full text]
  • Uniform Simplicity of Groups with Proximal Action
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, SERIES B Volume 4, Pages 110–130 (September 6, 2017) http://dx.doi.org/10.1090/btran/18 UNIFORM SIMPLICITY OF GROUPS WITH PROXIMAL ACTION SWIATOS´ LAW R. GAL AND JAKUB GISMATULLIN, WITH AN APPENDIX BY NIR LAZAROVICH Abstract. We prove that groups acting boundedly and order-primitively on linear orders or acting extremely proximally on a Cantor set (the class in- cluding various Higman-Thomson groups; Neretin groups of almost automor- phisms of regular trees, also called groups of spheromorphisms; the groups of quasi-isometries and almost-isometries of regular trees) are uniformly simple. Explicit bounds are provided. Contents 1. Introduction 110 2. Burago-Ivanov-Polterovich method 115 3. Bounded actions on ordered sets 116 4. Proximality, primitivity, and double-transitivity 118 5. Extremely proximal actions on a Cantor set and uniform simplicity 120 6. Groups almost acting on trees 123 7. Appendix by Nir Lazarovich: Simplicity of AI(Tq)andQI(Tq) 127 Acknowledgments 129 References 129 1. Introduction Let Γ be a group. It is called N-uniformly simple if for every nontrivial f ∈ Γ and nontrivial conjugacy class C ⊂ Γ the element f istheproductofatmost N elements from C±1. A group is uniformly simple if it is N-uniformly simple for some natural number N. Uniformly simple groups are called sometimes, by other authors, groups with finite covering number or boundedly simple groups (see, e.g., [15, 19, 22]). We call Γ boundedly simple if N is allowed to depend on C. The purpose of this paper is to prove results on uniform simplicity, in particular Received by the editors June 14, 2016, and, in revised form, February 27, 2017.
    [Show full text]
  • The Birman-Hilden Theory
    THE BIRMAN{HILDEN THEORY DAN MARGALIT AND REBECCA R. WINARSKI Abstract. In the 1970s Joan Birman and Hugh Hilden wrote several papers on the problem of relating the mapping class group of a surface to that of a cover. We survey their work, give an overview of the subsequent developments, and discuss open questions and new directions. 1. Introduction In the early 1970s Joan Birman and Hugh Hilden wrote a series of now- classic papers on the interplay between mapping class groups and covering spaces. The initial goal was to determine a presentation for the mapping class group of S2, the closed surface of genus two (it was not until the late 1970s that Hatcher and Thurston [33] developed an approach for finding explicit presentations for mapping class groups). The key innovation by Birman and Hilden is to relate the mapping class group Mod(S2) to the mapping class group of S0;6, a sphere with six marked points. Presentations for Mod(S0;6) were already known since that group is closely related to a braid group. The two surfaces S2 and S0;6 are related by a two-fold branched covering map S2 ! S0;6: arXiv:1703.03448v1 [math.GT] 9 Mar 2017 The six marked points in the base are branch points. The deck transforma- tion is called the hyperelliptic involution of S2, and we denote it by ι. Every element of Mod(S2) has a representative that commutes with ι, and so it follows that there is a map Θ : Mod(S2) ! Mod(S0;6): The kernel of Θ is the cyclic group of order two generated by (the homotopy class of) the involution ι.
    [Show full text]
  • Lectures on Quasi-Isometric Rigidity Michael Kapovich 1 Lectures on Quasi-Isometric Rigidity 3 Introduction: What Is Geometric Group Theory? 3 Lecture 1
    Contents Lectures on quasi-isometric rigidity Michael Kapovich 1 Lectures on quasi-isometric rigidity 3 Introduction: What is Geometric Group Theory? 3 Lecture 1. Groups and Spaces 5 1. Cayley graphs and other metric spaces 5 2. Quasi-isometries 6 3. Virtual isomorphisms and QI rigidity problem 9 4. Examples and non-examples of QI rigidity 10 Lecture 2. Ultralimits and Morse Lemma 13 1. Ultralimits of sequences in topological spaces. 13 2. Ultralimits of sequences of metric spaces 14 3. Ultralimits and CAT(0) metric spaces 14 4. Asymptotic Cones 15 5. Quasi-isometries and asymptotic cones 15 6. Morse Lemma 16 Lecture 3. Boundary extension and quasi-conformal maps 19 1. Boundary extension of QI maps of hyperbolic spaces 19 2. Quasi-actions 20 3. Conical limit points of quasi-actions 21 4. Quasiconformality of the boundary extension 21 Lecture 4. Quasiconformal groups and Tukia's rigidity theorem 27 1. Quasiconformal groups 27 2. Invariant measurable conformal structure for qc groups 28 3. Proof of Tukia's theorem 29 4. QI rigidity for surface groups 31 Lecture 5. Appendix 33 1. Appendix 1: Hyperbolic space 33 2. Appendix 2: Least volume ellipsoids 35 3. Appendix 3: Different measures of quasiconformality 35 Bibliography 37 i Lectures on quasi-isometric rigidity Michael Kapovich IAS/Park City Mathematics Series Volume XX, XXXX Lectures on quasi-isometric rigidity Michael Kapovich Introduction: What is Geometric Group Theory? Historically (in the 19th century), groups appeared as automorphism groups of some structures: • Polynomials (field extensions) | Galois groups. • Vector spaces, possibly equipped with a bilinear form| Matrix groups.
    [Show full text]
  • 3-Manifold Groups
    3-Manifold Groups Matthias Aschenbrenner Stefan Friedl Henry Wilton University of California, Los Angeles, California, USA E-mail address: [email protected] Fakultat¨ fur¨ Mathematik, Universitat¨ Regensburg, Germany E-mail address: [email protected] Department of Pure Mathematics and Mathematical Statistics, Cam- bridge University, United Kingdom E-mail address: [email protected] Abstract. We summarize properties of 3-manifold groups, with a particular focus on the consequences of the recent results of Ian Agol, Jeremy Kahn, Vladimir Markovic and Dani Wise. Contents Introduction 1 Chapter 1. Decomposition Theorems 7 1.1. Topological and smooth 3-manifolds 7 1.2. The Prime Decomposition Theorem 8 1.3. The Loop Theorem and the Sphere Theorem 9 1.4. Preliminary observations about 3-manifold groups 10 1.5. Seifert fibered manifolds 11 1.6. The JSJ-Decomposition Theorem 14 1.7. The Geometrization Theorem 16 1.8. Geometric 3-manifolds 20 1.9. The Geometric Decomposition Theorem 21 1.10. The Geometrization Theorem for fibered 3-manifolds 24 1.11. 3-manifolds with (virtually) solvable fundamental group 26 Chapter 2. The Classification of 3-Manifolds by their Fundamental Groups 29 2.1. Closed 3-manifolds and fundamental groups 29 2.2. Peripheral structures and 3-manifolds with boundary 31 2.3. Submanifolds and subgroups 32 2.4. Properties of 3-manifolds and their fundamental groups 32 2.5. Centralizers 35 Chapter 3. 3-manifold groups after Geometrization 41 3.1. Definitions and conventions 42 3.2. Justifications 45 3.3. Additional results and implications 59 Chapter 4. The Work of Agol, Kahn{Markovic, and Wise 63 4.1.
    [Show full text]
  • Hyperbolic Geometry
    Flavors of Geometry MSRI Publications Volume 31,1997 Hyperbolic Geometry JAMES W. CANNON, WILLIAM J. FLOYD, RICHARD KENYON, AND WALTER R. PARRY Contents 1. Introduction 59 2. The Origins of Hyperbolic Geometry 60 3. Why Call it Hyperbolic Geometry? 63 4. Understanding the One-Dimensional Case 65 5. Generalizing to Higher Dimensions 67 6. Rudiments of Riemannian Geometry 68 7. Five Models of Hyperbolic Space 69 8. Stereographic Projection 72 9. Geodesics 77 10. Isometries and Distances in the Hyperboloid Model 80 11. The Space at Infinity 84 12. The Geometric Classification of Isometries 84 13. Curious Facts about Hyperbolic Space 86 14. The Sixth Model 95 15. Why Study Hyperbolic Geometry? 98 16. When Does a Manifold Have a Hyperbolic Structure? 103 17. How to Get Analytic Coordinates at Infinity? 106 References 108 Index 110 1. Introduction Hyperbolic geometry was created in the first half of the nineteenth century in the midst of attempts to understand Euclid’s axiomatic basis for geometry. It is one type of non-Euclidean geometry, that is, a geometry that discards one of Euclid’s axioms. Einstein and Minkowski found in non-Euclidean geometry a This work was supported in part by The Geometry Center, University of Minnesota, an STC funded by NSF, DOE, and Minnesota Technology, Inc., by the Mathematical Sciences Research Institute, and by NSF research grants. 59 60 J. W. CANNON, W. J. FLOYD, R. KENYON, AND W. R. PARRY geometric basis for the understanding of physical time and space. In the early part of the twentieth century every serious student of mathematics and physics studied non-Euclidean geometry.
    [Show full text]
  • The Chameleon Groups of Richards J. Thompson : Automorphisms and Dynamics
    PUBLICATIONS MATHÉMATIQUES DE L’I.H.É.S. MATTHEW G. BRIN The chameleon groups of Richards J. Thompson : automorphisms and dynamics Publications mathématiques de l’I.H.É.S., tome 84 (1996), p. 5-33 <http://www.numdam.org/item?id=PMIHES_1996__84__5_0> © Publications mathématiques de l’I.H.É.S., 1996, tous droits réservés. L’accès aux archives de la revue « Publications mathématiques de l’I.H.É.S. » (http:// www.ihes.fr/IHES/Publications/Publications.html) implique l’accord avec les conditions géné- rales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou im- pression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ THE CHAMELEON GROUPS OF RICHARD J. THOMPSON: AUTOMORPHISMS AND DYNAMICS by MATTHEW G. BRIN CONTENTS Part I. Background........................................................................... 6 0. Introduction ............................................................................. Q 1. Statements, history and outline............................................................. 8 1.1. Definitions and statements ............................................................ 8 1.2. Outline of the paper ................................................................. 10 1:3. Prior and related work ............................................................... 10 1.4. Other literature on
    [Show full text]
  • Arxiv:1706.08798V1 [Math.GT] 27 Jun 2017
    WHAT'S WRONG WITH THE GROWTH OF SIMPLE CLOSED GEODESICS ON NONORIENTABLE HYPERBOLIC SURFACES Matthieu Gendulphe Dipartimento di Matematica Universit`adi Pisa Abstract. A celebrated result of Mirzakhani states that, if (S; m) is a finite area orientable hyperbolic surface, then the number of simple closed geodesics of length less than L on (S; m) is asymptotically equivalent to a positive constant times Ldim ML(S), where ML(S) denotes the space of measured laminations on S. We observed on some explicit examples that this result does not hold for nonorientable hyperbolic surfaces. The aim of this article is to explain this surprising phenomenon. Let (S; m) be a finite area nonorientable hyperbolic surface. We show that the set of measured laminations with a closed one{sided leaf has a peculiar structure. As a consequence, the action of the mapping class group on the projective space of measured laminations is not minimal. We determine a partial classification of its orbit closures, and we deduce that the number of simple closed geodesics of length less than L on (S; m) is negligible compared to Ldim ML(S). We extend this result to general multicurves. Then we focus on the geometry of the moduli space. We prove that its Teichm¨ullervolume is infinite, and that the Teichm¨ullerflow is not ergodic. We also consider a volume form introduced by Norbury. We show that it is the right generalization of the Weil{Petersson volume form. The volume of the moduli space with respect to this volume form is again infinite (as shown by Norbury), but the subset of hyperbolic surfaces whose one{sided geodesics have length at least " > 0 has finite volume.
    [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]
  • The Banach–Tarski Paradox and Amenability Lecture 25: Thompson's Group F
    The Banach{Tarski Paradox and Amenability Lecture 25: Thompson's Group F 30 October 2012 Thompson's groups F , T and V In 1965 Richard Thompson (a logician) defined 3 groups F ≤ T ≤ V Each is finitely presented and infinite, and Thompson used them to construct groups with unsolvable word problem. From the point of view of amenability F is the most important. The group F is not elementary amenable and does not have a subgroup which is free of rank ≥ 2. We do not know if F is amenable. The groups T and V are finitely presented infinite simple groups. The commutator subgroup [F ; F ] of F is finitely presented and ∼ 2 simple and F =[F ; F ] = Z . Definition of F We can define F to be the set of piecewise linear homeomorphisms f : [0; 1] ! [0; 1] which are differentiable except at finitely many a dyadic rationals (i.e. rationals 2n 2 (0; 1)), and such that on intervals of differentiability the derivatives are powers of 2. Examples See sketches of A and B. Lemma F is a subgroup of the group of all homeomorphisms [0; 1] ! [0; 1]. Proof. Let f 2 F have breakpoints 0 = x0 < x1 < ··· < xn = 1. Then f (x) = a1x on [0; x1] where a1 is a power of 2, so f (x1) = a1x1 is a dyadic rational. Hence f (x) = a2x + b2 on [x1; x2] where a2 is a power of 2 and b2 is dyadic rational. By induction f (x) = ai x + bi on [xi−1; xi ] with ai a power of 2 and bi a dyadic rational.
    [Show full text]