DOCSLIB.ORG

The University of Chicago the Classification of Five-Dimensional Geometries a Dissertation Submitted to the Faculty of the Divis

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The University of Chicago the Classification of Five-Dimensional Geometries a Dissertation Submitted to the Faculty of the Divis THE UNIVERSITY OF CHICAGO THE CLASSIFICATION OF FIVE-DIMENSIONAL GEOMETRIES A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES IN CANDIDACY FOR THE DEGREE OF DOCTOR OF PHILOSOPHY DEPARTMENT OF MATHEMATICS BY ANDREW LIANG LI GENG CHICAGO, ILLINOIS JUNE 2016 Copyright c 2016 by Andrew Liang Li Geng All Rights Reserved To my sister June, who is working on the other half of our MD-PhD. Four-dimensional hypergeometric eigenschlumpkins! — Alar Toomre Wait, is this going to be on the test? — Arka Dhar TABLE OF CONTENTS LIST OF FIGURES . viii LIST OF TABLES . ix ACKNOWLEDGMENTS . x ABSTRACT . xi I SUMMARY 1 INTRODUCTION . 2 2 SALIENT EXAMPLES . 7 2.1 New phenomena . .7 2.2 Examples that highlight tools . .8 2.3 Examples that clarify how the classification is organized . 10 3 OVERVIEW OF METHOD . 12 4 RELATED WORK . 17 II THE NON-FIBERED GEOMETRIES 5 OVERVIEW . 21 6 GENERAL BACKGROUND: GEOMETRIES . 26 7 CLASSIFICATION OF ISOTROPY REPRESENTATIONS . 29 7.1 Proof of the classification of isotropy representations . 30 7.2 Standard facts about representations of lower-dimensional groups . 33 8 THE CASE OF IRREDUCIBLE ISOTROPY . 36 8.1 The list of candidates . 36 8.2 Maximality and the existence of compact quotients . 38 9 THE CASE OF TRIVIAL ISOTROPY: SOLVABLE LIE GROUPS . 40 9.1 Notations . 41 9.2 Reduction to semidirect products . 42 9.2.1 The general extension problem . 43 9.2.2 Nilradicals . 44 9.2.3 The elimination of non-split extensions . 47 3 2 9.3 The R o R geometry . 52 9.4 Classification of semidirect sums with R .................... 54 v 4 9.4.1 R semidirect sums . 56 9.4.2 n4 semidirect sums . 62 9.4.3 R ⊕ n3 semidirect sums . 65 9.5 Maximality and distinctness . 72 III THE FIBERED GEOMETRIES 10 OVERVIEW . 79 11 BACKGROUND . 84 11.1 Geometries, products, and isotropy . 84 11.2 Lie algebra extensions . 86 11.3 Notations . 88 12 FIBER BUNDLE STRUCTURES ON GEOMETRIES . 89 12.1 Invariant distributions and foliations . 90 12.2 Complementary distributions and conformal actions . 92 12.3 Proof of the fibering description (Proposition 12.3) . 96 12.3.1 Case (i): over dimension 4 . 97 12.3.2 Case (ii): over dimension 3 . 98 12.3.3 Case (iii): over dimension 2 . 99 13 GEOMETRIES FIBERING OVER 4D GEOMETRIES . 103 13.1 Reconstructing geometries from base and curvature information . 104 13.2 Classifying and verifying geometries . 106 14 GEOMETRIES FIBERING OVER 3D GEOMETRIES . 111 14.1 Geometries fibering isometrically are products . 112 14.2 Case study: The geometry fibering essentially conformally . 115 14.3 Groups acting on constant-curvature spaces . 119 15 GEOMETRIES FIBERING OVER 2D GEOMETRIES . 124 15.1 Setting up the extension problem . 125 15.2 Geometries fibering essentially . 129 15.2.1 Over the sphere . 130 15.2.2 Over the plane . 131 15.3 Geometries requiring non-split extensions . 142 15.3.1 Data for the extension problem . 144 15.3.2 Reduction to one extension problem . 148 15.3.3 The geometries . 150 4 1 1;2 15.4 Line bundles over F and T E (semidirect-product isometry groups) . 154 15.5 Product geometries and associated bundles . 160 15.5.1 Associated bundle geometries . 161 15.5.2 Proof of the classification . 169 15.5.3 Explicit enumeration of product geometries . 178 vi 15.6 Deferred maximality proofs for isometrically fibering geometries . 180 REFERENCES . 187 vii LIST OF FIGURES 3.1 Closed connected subgroups of SO(5). (Duplicate of 7.2) . 12 3.3 Flowchart of the classification. 13 3.4 Identification key for solvable geometries. (Duplicate of 5.3) . 14 3.6 Geometries fibering over 2-D spaces. (Duplicate of 15.2) . 16 5.3 Identification key for geometries G = G=f1g................... 24 7.2 Closed connected subgroups of SO(5), with inclusions. 30 11.4 Closed connected subgroups of SO(5). (Duplicate of 7.2) . 86 15.2 Classification strategy for geometries fibering over 2-D spaces. 125 viii LIST OF TABLES 3.2 Non-product geometries listed by point stabilizer. 13 3.5 Geometries with irreducible 4-dimensional isotropy. (Duplicate of 13.3) . 15 5.5 Names from [PSWZ76, Tables I, II] for geometries with trivial isotropy. 25 10.2 Non-product fibering geometries by isotropy group Gp (see also Fig. 11.4) . 82 10.3 Non-contractible non-product fibering geometries by diffeomorphism type . 82 13.3 Candidate geometries with irreducible 4-dimensional isotropy summand . 104 15.5 3-dimensional model geometries with SO(2) isotropy. 128 15.14 Centers and traceless outer derivation algebras. 144 15.19 Nontrivial semidirect products covering candidate isometry groups G ..... 156 4 15.21 Finite-volume manifolds ΓnG=K modeled on G=K fibering over F ...... 159 15.24 Groups covering the isometry group G of geometries in this section . 161 15.29 Descriptions of associated bundle geometries, assuming nonzero a and b ... 164 15.42 3-dimensional fixed sets of order 2 isometries . 184 ix ACKNOWLEDGMENTS I wish to express my gratitude to my advisor, Benson Farb—for his unwavering guidance through the best and the worst of times; for steadfastly combing through my drafts; and for showing me the way to a wide and beautiful swath of mathematics. I have my second advisor Danny Calegari to thank as well, for enlightening conversations that helped me to see the bigger picture, the still-unanswered questions, and a sane sense of perspective. The ideas in this project have been sharpened by exposure to discussion; and I am thank- ful to Greg Friedman, Christoforos Neofytidis, and Kenneth Knox for giving me chances to speak about and gather reactions to my results. Many conversations have contributed to my progress, including those with Jonathan Hillman about many aspects of the four-dimensional geometries, with Daniel Studenmund about the correct version of an old theorem, with An- drzej Szczepański about symmetry groups, and with Ilya Grigoriev and Nick Salter about a particular family of “super goofy” geometries. Thanks are due to the University of Chicago for providing a nurturing environment and my financial support over the last five years. I thank also my officemates Jonny, Kate, Tom, Fedya, Nir, and Joe, who have immea- surably enriched my time here as a student. I thank my parents Chaoxian and Lan, my sister June, and my wife Chelsea, who have supported me and watched me grow throughout this effort, and whose companionship has kept me happy, healthy, and rooted in the wider world. Finally, I thank my high school math team coach Julie Perreault, who set me on this path in probably more ways than I have yet realized. x ABSTRACT We classify the 5-dimensional homogeneous geometries in the sense of Thurston. The 5- dimensional geometries with irreducible isotropy are the irreducible Riemannian symmetric spaces, while those with trivial isotropy are simply-connected solvable Lie groups of the form 3 2 R o R or N o R where N is nilpotent. The geometries with nontrivial reducible isotropy are mostly products, but a number of interesting examples arise. These include a countably 3 2 infinite family L(a; 1) ×S1 L(b; 1) of inequivalent geometries diffeomorphic to S × S , an 3 uncountable family SLg2×αS in which only a countable subfamily admits compact quotients, and the non-maximal geometry SO(4)= SO(2) realized by two distinct maximal geometries. xi PART I SUMMARY CHAPTER 1 INTRODUCTION By the classification of closed surfaces (see e.g. [Mat02, Thm. 5.11]), every closed surface is 2 2 2 diffeomorphic to a quotient of E , S , or H by a discrete group of isometries. It is a classical result that in dimension 2, these three are the only connected, simply-connected, complete Riemannian manifolds with transitive isometry group (see e.g. [Thu97, Thm. 3.8.2]). The quest for the 3-dimensional generalization that became Thurston’s Geometrization Conjecture led to a version of the following definition. (The equivalence to older definitions is outlined in Part II, Prop. 6.5.) Definition 1.1 (Geometries, following [Thu97, Defn. 3.8.1] and [Fil83, §1.1]). (i)A geometry is a connected, simply-connected homogeneous space M = G=Gp where G is a connected Lie group acting faithfully with compact point stabilizers Gp. (ii) M is a model geometry if there is some lattice Γ ⊂ G that acts freely on M. Then the manifold ΓnG=Gp is said to be modeled on M. 0 0 (iii) M is maximal if it is not G-equivariantly diffeomorphic to any other geometry G =Gp 0 0 0 with G ( G . Any such G =Gp is said to subsume G=Gp. Then a closed 3-manifold is a quotient of at most one maximal model geometry, which can be determined from the fundamental group [Thu97, Thm. 4.7.8] or from the existence of certain bundle structures (usually Seifert bundles) and some topological data (usually two Euler numbers) [Sco83, Thm. 5.3]. Thurston classified the 3-dimensional maximal model geometries and found eight (see [Thu97, Thm. 3.8.4]). In 4 dimensions, Filipkiewicz classified the maximal model geometries in [Fil83]. Though 4-manifolds without geometric decompositions [Hil02, §13.3 #3] indicate there is less hope for a straightforward generalization of geometrization, Filipkiewicz’s classification highlights 2 a few interesting firsts. The list comprises 18 geometries and—for the first time—a countably 4 infinite family, named Solm;n. (See e.g. [Hil02, §7.1] or [Wal86, §1, Table 1] for the names 4 2 currently in use.) One of the eighteen is F = R o SL(2; R)= SO(2), the first geometry to admit finite-volume quotients but no compact quotients.
Load more

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]
  • Base Size of Finite Primitive Solvable Permutation Groups
    Base size of finite primitive solvable permutation groups Ayan Maiti Under the supervision of Prof. Pal Hegedus A thesis presented for the partial fulfilment towards the degree of Masters of Science in Mathematics Mathematics and its Application Central European University Hungary Declaration of Authorship I, Ayan Maiti, declare that this thesis titled, "Base size of finite primitive solvable per- mutation groups" and the work presented in it are my own. I confirm that: This work was done wholly or mainly while in candidature for a masters degree at this University. Where any part of this thesis has previously been submitted for a degree or any other qualification at this University or any other institution, this has been clearly stated. Where I have consulted the published work of others, this is always clearly attributed. Where I have quoted from the work of others, the source is always given. With the exception of such quotations, this thesis is entirely my own work. I have acknowledged all main sources of help. Where the thesis is based on work done by myself jointly with others, I have made clear exactly what was done by others and what I have contributed myself. Signed: Ayan Maiti Date: 20th May, 2016 1 Abstract The content of this thesis report is based on the bounds of the base size of affine type primitive permutation groups, the bound was conjectured by Pyber and later was proved by Akos Seress. The the primary focus of this thesis is to understand the basic idea and the proof given by Akos Seress.
    [Show full text]
  • University of Groningen the Bianchi Classification of Maximal D = 8 Gauged Supergravities Bergshoeff, Eric; Gran, Ulf; Linares
    University of Groningen The Bianchi classification of maximal D = 8 gauged supergravities Bergshoeff, Eric; Gran, Ulf; Linares, Román; Nielsen, Mikkel; Ortín, Tomás; Roest, Diederik Published in: Classical and Quantum Gravity IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below. Document Version Publisher's PDF, also known as Version of record Publication date: 2003 Link to publication in University of Groningen/UMCG research database Citation for published version (APA): Bergshoeff, E., Gran, U., Linares, R., Nielsen, M., Ortín, T., & Roest, D. (2003). The Bianchi classification of maximal D = 8 gauged supergravities. Classical and Quantum Gravity, 20, 3997-4014. Copyright Other than for strictly personal use, it is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license (like Creative Commons). Take-down policy If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. Downloaded from the University of Groningen/UMCG research database (Pure): http://www.rug.nl/research/portal. For technical reasons the number of authors shown on this cover page is limited to 10 maximum. Download date: 24-09-2021 INSTITUTE OF PHYSICS PUBLISHING CLASSICAL AND QUANTUM GRAVITY Class. Quantum Grav. 20 (2003) 3997–4014
    [Show full text]
  • The Group Extensions Problem and Its Resolution in Cohomology for the Case of an Elementary Abelian Normal Sub-Group
    THESIS THE GROUP EXTENSIONS PROBLEM AND ITS RESOLUTION IN COHOMOLOGY FOR THE CASE OF AN ELEMENTARY ABELIAN NORMAL SUB-GROUP Submitted by Zachary W. Adams Department of Mathematics In partial fulfillment of the requirements For the Degree of Master of Science Colorado State University Fort Collins, Colorado Summer 2018 Master’s Committee: Advisor: Alexander Hulpke Amit Patel Wim Bohm Copyright by Zachary W. Adams 2018 All Rights Reserved ABSTRACT THE GROUP EXTENSIONS PROBLEM AND ITS RESOLUTION IN COHOMOLOGY FOR THE CASE OF AN ELEMENTARY ABELIAN NORMAL SUB-GROUP The Jordan-Hölder theorem gives a way to deconstruct a group into smaller groups, The con- verse problem is the construction of group extensions, that is to construct a group G from two groups Q and K where K ≤ G and G=K ∼= Q. Extension theory allows us to construct groups from smaller order groups. The extension problem then is to construct all extensions G, up to suit- able equivalence, for given groups K and Q. This talk will explore the extension problem by first constructing extensions as cartesian products and examining the connections to group cohomology. ii ACKNOWLEDGEMENTS I would like to thank my loving wife for her patience and support, my family for never giving up on me no matter how much dumb stuff I did, and my friends for anchoring me to reality during the rigors of graduate school. Finally I thank my advisor, for his saintly patience in the face of my at times profound hardheadedness. iii DEDICATION I would like to dedicate my masters thesis to the memory of my grandfather Wilfred Adams whose dazzling intelligence was matched only by the love he had for his family, and to the memory of my friend and brother Luke Monsma whose lust for life is an example I will carry with me to the end of my days.
    [Show full text]
  • Anisotropic, Nonsingular Early Universe Model Leading to a Realistic Cosmology
    This is a repository copy of Anisotropic, nonsingular early universe model leading to a realistic cosmology. White Rose Research Online URL for this paper: https://eprints.whiterose.ac.uk/85582/ Version: Accepted Version Article: Dechant, Pierre-Philippe orcid.org/0000-0002-4694-4010, Lasenby, Anthony and Hobson, Michael (2009) Anisotropic, nonsingular early universe model leading to a realistic cosmology. Physical Review D. 043524. ISSN 1550-2368 https://doi.org/10.1103/PhysRevD.79.043524 Reuse Items deposited in White Rose Research Online are protected by copyright, with all rights reserved unless indicated otherwise. They may be downloaded and/or printed for private study, or other acts as permitted by national copyright laws. The publisher or other rights holders may allow further reproduction and re-use of the full text version. This is indicated by the licence information on the White Rose Research Online record for the item. Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing [email protected] including the URL of the record and the reason for the withdrawal request. [email protected] https://eprints.whiterose.ac.uk/ An anisotropic, non-singular early universe model leading to a realistic cosmology † ‡ Pierre-Philippe Dechant,∗ Anthony N. Lasenby, and Michael P. Hobson Astrophysics Group, Cavendish Laboratory, J J Thomson Avenue, University of Cambridge, CB3 0HE, UK (Dated: February 18, 2013) Abstract We present a novel cosmological model in which scalar field matter in a biaxial Bianchi IX geometry leads to a non-singular ‘pancaking’ solution: the hypersurface volume goes to zero instantaneously at the ‘Big Bang’, but all physical quantities, such as curvature invariants and the matter energy density remain finite, and continue smoothly through the Big Bang.
    [Show full text]
  • Central Extensions of Groups of Sections
    Central extensions of groups of sections Karl-Hermann Neeb and Christoph Wockel October 24, 2018 Abstract If K is a Lie group and q : P → M is a principal K-bundle over the compact manifold M, then any invariant symmetric V -valued bi- linear form on the Lie algebra k of K defines a Lie algebra exten- sion of the gauge algebra by a space of bundle-valued 1-forms modulo exact 1-forms. In the present paper we analyze the integrability of this extension to a Lie group extension for non-connected, possibly infinite-dimensional Lie groups K. If K has finitely many connected components, we give a complete characterization of the integrable ex- tensions. Our results on gauge groups are obtained by specialization of more general results on extensions of Lie groups of smooth sections of Lie group bundles. In this more general context we provide suffi- cient conditions for integrability in terms of data related only to the group K. Keywords: gauge group; gauge algebra; central extension; Lie group extension; integrable Lie algebra; Lie group bundle; Lie algebra bundle arXiv:0711.3437v2 [math.DG] 29 Apr 2009 Introduction Affine Kac–Moody groups and their Lie algebras play an interesting role in various fields of mathematics and mathematical physics, such as string theory and conformal field theory (cf. [PS86] for the analytic theory of loop groups, [Ka90] for the algebraic theory of Kac–Moody Lie algebras and [Sch97] for connections to conformal field theory). For further connections to mathe- matical physics we refer to the monograph [Mi89] which discusses various occurrences of Lie algebras of smooth maps in physical theories (see also [Mu88], [DDS95]).
    [Show full text]
  • Global Rigidity of Solvable Group Actions on S1 Lizzie Burslem Amie Wilkinson
    ISSN 1364-0380 (on line) 1465-3060 (printed) 877 eometry & opology G T Volume 8 (2004) 877–924 Published: 5 June 2004 Global rigidity of solvable group actions on S1 Lizzie Burslem Amie Wilkinson Department of Mathematics, University of Michigan 2074 East Hall, Ann Arbor, MI 48109-1109 USA and Department of Mathematics, Northwestern University 2033 Sheridan Road, Evanston, IL 60208-2730 USA Email: [email protected], [email protected] Abstract In this paper we find all solvable subgroups of Diffω(S1) and classify their actions. We also investigate the Cr local rigidity of actions of the solvable Baumslag–Solitar groups on the circle. The investigation leads to two novel phenomena in the study of infinite group actions on compact manifolds. We exhibit a finitely generated group Γ and a manifold M such that: Γ has exactly countably infinitely many effective real-analytic actions on • M , up to conjugacy in Diffω(M); every effective, real analytic action of Γ on M is Cr locally rigid, for • some r 3, and for every such r, there are infinitely many nonconjugate, ≥ effective real-analytic actions of Γ on M that are Cr locally rigid, but not Cr−1 locally rigid. AMS Classification numbers Primary: 58E40, 22F05 Secondary: 20F16, 57M60 Keywords: Group action, solvable group, rigidity, Diffω(S1) Proposed:RobionKirby Received:26January2004 Seconded: Martin Bridson, Steven Ferry Accepted: 28 May 2004 c eometry & opology ublications G T P 878 Lizzie Burslem and Amie Wilkinson Introduction This paper describes two novel phenomena in the study of infinite group actions on compact manifolds. We exhibit a finitely generated group Γ and a manifold M such that: Γ has exactly countably infinitely many effective real-analytic actions on • M , up to conjugacy in Diffω(M); every effective, real analytic action of Γ on M is Cr locally rigid, for • some r 3, and for every such r, there are infinitely many nonconjugate, ≥ effective real-analytic actions of Γ on M that are Cr locally rigid, but not Cr−1 locally rigid.
    [Show full text]
  • Automorphisms of Group Extensions
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 155, Number t, March 1971 AUTOMORPHISMS OF GROUP EXTENSIONS BY CHARLES WELLS Abstract. If 1 ->■ G -í> E^-Tt -> 1 is a group extension, with i an inclusion, any automorphism <j>of E which takes G onto itself induces automorphisms t on G and a on n. However, for a pair (a, t) of automorphism of n and G, there may not be an automorphism of E inducing the pair. Let à: n —*■Out G be the homomorphism induced by the given extension. A pair (a, t) e Aut n x Aut G is called compatible if a fixes ker á, and the automorphism induced by a on Hü is the same as that induced by the inner automorphism of Out G determined by t. Let C< Aut IT x Aut G be the group of compatible pairs. Let Aut (E; G) denote the group of automorphisms of E fixing G. The main result of this paper is the construction of an exact sequence 1 -» Z&T1,ZG) -* Aut (E; G)-+C^ H*(l~l,ZG). The last map is not surjective in general. It is not even a group homomorphism, but the sequence is nevertheless "exact" at C in the obvious sense. 1. Notation. If G is a group with subgroup H, we write H<G; if H is normal in G, H<¡G. CGH and NGH are the centralizer and normalizer of H in G. Aut G, Inn G, Out G, and ZG are the automorphism group, the inner automorphism group, the outer automorphism group, and the center of G, respectively.
    [Show full text]
  • Classification of Six-Dimensional Leibniz Algebras ${\Mathcal E} 3
    Classification of six-dimensional Leibniz algebras E3 Ladislav Hlavatý∗ Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University in Prague, Czech Republic May 11, 2020 Abstract Leibniz algebras En were introduced as algebraic structure under- lying U-duality. Algebras E3 derived from Bianchi three-dimensional Lie algebras are classified here. Two types of algebras are obtained: Six-dimensional Lie algebras that can be considered extension of semi- Abelian four-dimensional Drinfel’d double and unique extensions of non-Abelian Bianchi algebras. For all of the algebras explicit forms of generalized frame fields are given. 1 Introduction arXiv:2003.06164v4 [hep-th] 8 May 2020 Extensions of Poisson–Lie T-dualities to non-perturbative symmetries of string theories are so called U-dualities (for review see e.g.[1]). Algebraic structures underlying U-duality were suggested in [2] and [3] as Leibniz algebras En obtained as extensions of n-dimensional Lie algebra defining non-symmetric product ◦ in [n + n(n − 1)/2]-dimensional vector space1 that satisfies Leibniz identity X ◦ (Y ◦ Z))=(X ◦ Y ) ◦ Z + Y ◦ (X ◦ Z). (1) ∗hlavaty@fjfi.cvut.cz 1for n ≤ 4 1 In those papers examples of these Leibniz algebras derived from two-dimensional and four-dimensional Lie algebras are given. Goal of the present note is to write down all algebras that can be derived from three dimensional Lie alge- bras whose classification given by Bianchi is well known. a1a2 a2a1 a1a2 Namely, let (Ta, T ), a, a1, a2 ∈ 1,...,n, T = −T is a basis of [n + n(n − 1)/2]-dimensional vector space.
    [Show full text]
  • On Non-Solvable Camina Pairs ∗ Zvi Arad A, Avinoam Mann B, Mikhail Muzychuk A, , Cristian Pech C
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector Journal of Algebra 322 (2009) 2286–2296 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra On non-solvable Camina pairs ∗ Zvi Arad a, Avinoam Mann b, Mikhail Muzychuk a, , Cristian Pech c a Department of Computer Sciences and Mathematics, Netanya Academic College, University St. 1, 42365, Netanya, Israel b Einstein Institute of Mathematics, Hebrew University, Jerusalem 91904, Israel c Department of Mathematics, Ben-Gurion University, Beer-Sheva, Israel article info abstract Article history: In this paper we study non-solvable and non-Frobenius Camina Received 27 September 2008 pairs (G, N). It is known [D. Chillag, A. Mann, C. Scoppola, Availableonline29July2009 Generalized Frobenius groups II, Israel J. Math. 62 (1988) 269–282] Communicated by Martin Liebeck that in this case N is a p-group. Our first result (Theorem 1.3) shows that the solvable residual of G/O (G) is isomorphic either Keywords: p e = Camina pair to SL(2, p ), p is a prime or to SL(2, 5), SL(2, 13) with p 3, or to SL(2, 5) with p 7. Our second result provides an example of a non-solvable and non- 5 ∼ Frobenius Camina pair (G, N) with |Op (G)|=5 and G/Op (G) = SL(2, 5).NotethatG has a character which is zero everywhere except on two conjugacy classes. Groups of this type were studies by S.M. Gagola [S.M. Gagola, Characters vanishing on all but two conjugacy classes, Pacific J.
    [Show full text]
  • Arxiv:1612.04280V2 [Math.FA] 11 Jan 2018 Oal Opc Group Compact Important Locally a Is Groups, Discrete for Especially Amenability, SB878)
    WEAK AMENABILITY OF LIE GROUPS MADE DISCRETE SØREN KNUDBY Abstract. We completely characterize connected Lie groups all of whose countable subgroups are weakly amenable. We also provide a characteriza- tion of connected semisimple Lie groups that are weakly amenable. Finally, we show that a connected Lie group is weakly amenable if the group is weakly amenable as a discrete group. 1. Statement of the results Weak amenability for locally compact groups was introduced by Cowling and Haagerup in [11]. The property has proven useful as a tool in operator algebras going back to Haagerup’s result on the free groups [17], results on lattices on simple Lie groups and their group von Neumann algebras [11, 18], and more recently in several results on Cartan rigidity in the theory of von Neumann algebras (see e.g. [31, 32]). Due to its many applications in operator algebras, the study of weak amenability, especially for discrete groups, is important. A locally compact group G is weakly amenable if the constant function 1 on G can be approximated uniformly on compact subsets by compactly supported Herz-Schur multipliers, uniformly bounded in norm (see Section 2 for details). The optimal uniform norm bound is the Cowling–Haagerup constant (or the weak amenability constant), denoted here Λ(G). By now, weak amenability is quite well studied, especially in the setting of connected Lie groups. The combined work of [9, 11, 12, 15, 16, 18, 19] characterizes weak amenability for simple Lie groups. For partial results in the non-simple case, we refer to [10, 25]. We record the simple case here.
    [Show full text]
  • Rigidity of Some Abelian-By-Cyclic Solvable Group N Actions on T
    RIGIDITY OF SOME ABELIAN-BY-CYCLIC SOLVABLE GROUP N ACTIONS ON T AMIE WILKINSON, JINXIN XUE Abstract. In this paper, we study a natural class of groups that act as affine trans- N formations of T . We investigate whether these solvable, \abelian-by-cyclic," groups N can act smoothly and nonaffinely on T while remaining homotopic to the affine actions. In the affine actions, elliptic and hyperbolic dynamics coexist, forcing a pri- ori complicated dynamics in nonaffine perturbations. We first show, using the KAM method, that any small and sufficiently smooth perturbation of such an affine action can be conjugated smoothly to an affine action, provided certain Diophantine condi- tions on the action are met. In dimension two, under natural dynamical hypotheses, we get a complete classification of such actions; namely, any such group action by Cr diffeomorphisms can be conjugated to the affine action by Cr−" conjugacy. Next, we show that in any dimension, C1 small perturbations can be conjugated to an affine action via C1+" conjugacy. The method is a generalization of the Herman theory for circle diffeomorphisms to higher dimensions in the presence of a foliation structure provided by the hyperbolic dynamics. Contents 1. Introduction 2 1.1. The affine actions of ΓB;K¯ 4 1.2. Local rigidity of ΓB;K¯ actions 6 1.3. Global rigidity 8 2. Local rigidity: proofs 14 3. The existence of the common conjugacy 18 4. Preliminaries: elliptic and hyperbolic dynamics 20 4.1. Elliptic dynamics: the framework of Herman-Yoccoz-Katznelson-Ornstein 20 4.2. Hyperbolic dynamics: invariant foliations of Anosov diffeomorphisms 24 5.
    [Show full text]