Arxiv:1705.07494V2 [Math.RA] 25 Dec 2017 Hc Eeaie H Ls Fnloetleagba.Rcl Htfor That Recall Algebras
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
The Relationship Between the Upper and Lower Central Series: a Survey
Introduction Generalization of Baer’s Theorem THE RELATIONSHIP BETWEEN THE UPPER AND LOWER CENTRAL SERIES: A SURVEY Martyn R. Dixon1 1Department of Mathematics University of Alabama Ischia Group Theory 2016 Thanks to Leonid Kurdachenko for his notes on this topic Martyn R. Dixon THE UPPER AND LOWER CENTRAL SERIES The last term Zγ(G) of this upper central series is denoted by Z1(G), the upper hypercentre of G. Let 0 G = γ1(G) ≥ γ2(G) = G ≥ · · · ≥ γα(G) ::: be the lower central series of G. Introduction Generalization of Baer’s Theorem Preliminaries Let 1 = Z0(G) ≤ Z1(G) = Z (G) ≤ Z2(G) ≤ · · · ≤ Zα(G) ≤ ::: Zγ(G) be the upper central series of G. Martyn R. Dixon THE UPPER AND LOWER CENTRAL SERIES Let 0 G = γ1(G) ≥ γ2(G) = G ≥ · · · ≥ γα(G) ::: be the lower central series of G. Introduction Generalization of Baer’s Theorem Preliminaries Let 1 = Z0(G) ≤ Z1(G) = Z (G) ≤ Z2(G) ≤ · · · ≤ Zα(G) ≤ ::: Zγ(G) be the upper central series of G. The last term Zγ(G) of this upper central series is denoted by Z1(G), the upper hypercentre of G. Martyn R. Dixon THE UPPER AND LOWER CENTRAL SERIES Introduction Generalization of Baer’s Theorem Preliminaries Let 1 = Z0(G) ≤ Z1(G) = Z (G) ≤ Z2(G) ≤ · · · ≤ Zα(G) ≤ ::: Zγ(G) be the upper central series of G. The last term Zγ(G) of this upper central series is denoted by Z1(G), the upper hypercentre of G. Let 0 G = γ1(G) ≥ γ2(G) = G ≥ · · · ≥ γα(G) ::: be the lower central series of G. -
Central Extensions of Lie Algebras of Symplectic and Divergence Free
Central extensions of Lie algebras of symplectic and divergence free vector fields Bas Janssens and Cornelia Vizman Abstract In this review paper, we present several results on central extensions of the Lie algebra of symplectic (Hamiltonian) vector fields, and compare them to similar results for the Lie algebra of (exact) divergence free vector fields. In particular, we comment on universal central extensions and integrability to the group level. 1 Perfect commutator ideals The Lie algebras of symplectic and divergence free vector fields both have perfect commutator ideals: the Lie algebras of Hamiltonian and exact divergence free vector fields, respectively. 1.1 Symplectic vector fields Let (M,ω) be a compact1, connected, symplectic manifold of dimension 2n. Then the Lie algebra of symplectic vector fields is denoted by X(M,ω) := {X ∈ X(M); LX ω =0} . ∞ The Hamiltonian vector field Xf of f ∈ C (M) is the unique vector field such that iXf ω = −df. Since the Lie bracket of X, Y ∈ X(M,ω) is Hamiltonian with i[X,Y ]ω = −dω(X, Y ), the Lie algebra of Hamiltonian vector fields ∞ Xham(M,ω) := {Xf ; f ∈ C (M)} is an ideal in X(M,ω). The map X 7→ [iX ω] identifies the quotient of X(M,ω) 1 by Xham(M,ω) with the abelian Lie algebra HdR(M), 1 0 → Xham(M,ω) → X(M,ω) → HdR(M) → 0 . (1) arXiv:1510.05827v1 [math.DG] 20 Oct 2015 Proposition 1.1. ([C70]) The Lie algebra Xham(M,ω) of Hamiltonian vector fields is perfect, and coincides with the commutator Lie algebra of the Lie algebra X(M,ω) of symplectic vector fields. -
Cohomology of Nilmanifolds and Torsion-Free, Nilpotent Groups by Larry A
transactions of the american mathematical society Volume 273, Number 1, September 1982 COHOMOLOGY OF NILMANIFOLDS AND TORSION-FREE, NILPOTENT GROUPS BY LARRY A. LAMBE AND STEWART B. PRIDDY Abstract. Let M be a nilmanifold, i.e. M = G/D where G is a simply connected, nilpotent Lie group and D is a discrete uniform, nilpotent subgroup. Then M — K(D, 1). Now D has the structure of an algebraic group and so has an associated algebraic group Lie algebra L(D). The integral cohomology of M is shown to be isomorphic to the Lie algebra cohomology of L(D) except for some small primes depending on D. This gives an effective procedure for computing the cohomology of M and therefore the group cohomology of D. The proof uses a version of form cohomology defined for subrings of Q and a type of Hirsch Lemma. Examples, including the important unipotent case, are also discussed. Let D be a finitely generated, torsion-free, nilpotent group of rank n. Then the upper central series of D can be refined so that the n successive subquotients are infinite cyclic. Thus i)*Z" as sets and P. Hall [H] has shown that in these coordinates the product on D is a polynomial function p. It follows that D can be viewed as an algebraic group and so has an associated Lie algebra constructed from the degree two terms of p. The purpose of this paper is to study the integral cohomology of D using this algebraic group Lie algebra. Although these notions are purely algebraic, it is helpful to work in a more geometric context using A. -
Projective Unitary Representations of Infinite Dimensional Lie Groups
Projective unitary representations of infinite dimensional Lie groups Bas Janssens and Karl-Hermann Neeb January 5, 2015 Abstract For an infinite dimensional Lie group G modelled on a locally convex Lie algebra g, we prove that every smooth projective unitary represen- tation of G corresponds to a smooth linear unitary representation of a Lie group extension G] of G. (The main point is the smooth structure on G].) For infinite dimensional Lie groups G which are 1-connected, regular, and modelled on a barrelled Lie algebra g, we characterize the unitary g-representations which integrate to G. Combining these results, we give a precise formulation of the correspondence between smooth pro- jective unitary representations of G, smooth linear unitary representations of G], and the appropriate unitary representations of its Lie algebra g]. Contents 1 Representations of locally convex Lie groups 5 1.1 Smooth functions . 5 1.2 Locally convex Lie groups . 6 2 Projective unitary representations 7 2.1 Unitary representations . 7 2.2 Projective unitary representations . 7 3 Integration of Lie algebra representations 8 3.1 Derived representations . 9 3.2 Globalisation of Lie algebra representations . 10 3.2.1 Weak and strong topology on V . 11 3.2.2 Regular Lie algebra representations . 15 4 Projective unitary representations and central extensions 20 5 Smoothness of projective representations 25 5.1 Smoothness criteria . 25 5.2 Structure of the set of smooth rays . 26 1 6 Lie algebra extensions and cohomology 28 7 The main theorem 31 8 Covariant representations 33 9 Admissible derivations 36 9.1 Admissible derivations . -
On Dimension Subgroups and the Lower Central Series . Abstract
ON DIMENSION SUBGROUPS AND THE LOWER CENTRAL SERIES . ABSTRACT AUTHOR: Graciela P. de Schmidt TITLE OF THESIS: On Dimension Subgroups and the Lower Central Series. DEPARTMENT Mathematics • DEGREE: Master of Science. SUMMARY: The aim of this thesis is to give an ex- position of several papers in which the relationship between the series of dimension subgroups of a group G and the lower central series of G is studies. The first theorem on the subject, proved by W. Magnus,asserts that when G is free the two series coincide term by terme This thesis presents a proof of that theorem together with the proofs of several related results which have been obtained more recently; moreover, it gathers together the various techniques from combinatorial group theory, commutator calculus, group rings and the the ory of graded Lie algebras, which have been used in studying this topic. ON DIMENSION SUBGROUPS AND THE LOWER CENTRAL SERIES by Graciela P. de Schmidt A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES AND RESEARCH IN PARTIAL FULFILMENT OF THE REQUlREMENTS FOR THE DEGREE OF MASTER OF SCIENCE Department of Mathematics McGill University Montreal May 1970 ® Graciela P. de Schmidt (i) PREFACE The aim of this thesis is to give an exposition of several papers in which the relationship between the series of dimension subgroups of a group G and the lower central series of G is studied. It has been conjectured that for an arbitrary group the two series coincide term by terme W. Magnus [12] proved that this is indeed the case for free groups and several authors have generalized his result in various directions. -
Unitary Representations of Lie Groups
Faculty of Science Unitary Representations of Lie Groups Representation Theory in Quantum Mechanics Bachelor Thesis TWIN Lucas Smits Physics and Astronomy // Mathematics Supervisor: Dr. J.W. van de Leur Mathematical Institute January 15, 2020 Contents Introduction2 1 Lie Groups and Lie Algebras3 1.1 Lie Groups.....................................3 1.2 Lie Algebras....................................8 1.3 The Lie Algebra of a Lie Group......................... 11 2 Unitary Representation Theory 17 2.1 Introduction to representation theory...................... 17 2.2 Unitary Representations............................. 20 2.3 Representation Theory in Quantum Mechanics................. 23 2.4 Lifting projective representations........................ 25 3 Representations of semidirect products 33 3.1 Character theory................................. 33 3.2 Representations of semidirect products..................... 36 3.3 Systems of Imprimitivity............................. 41 3.4 Systems of imprimitivity and semidirect products............... 46 4 Wigner's classification, a qualitative discussion 53 4.1 The Lorentz and the Poincar´egroup...................... 53 4.2 Projective representations of the Poincar´egroup................ 55 4.3 Wigner's Classification.............................. 58 5 Appendix: Weyl's theorem on complete reducibility 64 1 Introduction Lie groups were first introduced by the Norwegian mathematican Sophus Lie in the final years of the nineteenth century in his study on the symmetry differential equations. Heuris- tically, Lie groups are groups whose elements are organized in a smooth way, contrary to discrete groups. Their symmetric nature makes them a crucial ingrediant in today's study of geometry. Lie groups are often studied through representation theory, that is, the iden- tification of group elements with linear transformations of a vector space. This enables to reduce problems in abstract algebra to linear algebra, which is a well-understood area in math. -
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]). -
Nilpotent Groups
Chapter 7 Nilpotent Groups Recall the commutator is given by [x, y]=x−1y−1xy. Definition 7.1 Let A and B be subgroups of a group G.Definethecom- mutator subgroup [A, B]by [A, B]=! [a, b] | a ∈ A, b ∈ B #, the subgroup generated by all commutators [a, b]witha ∈ A and b ∈ B. In this notation, the derived series is given recursively by G(i+1) = [G(i),G(i)]foralli. Definition 7.2 The lower central series (γi(G)) (for i ! 1) is the chain of subgroups of the group G defined by γ1(G)=G and γi+1(G)=[γi(G),G]fori ! 1. Definition 7.3 AgroupG is nilpotent if γc+1(G)=1 for some c.Theleast such c is the nilpotency class of G. (i) It is easy to see that G " γi+1(G)foralli (by induction on i). Thus " if G is nilpotent, then G is soluble. Note also that γ2(G)=G . Lemma 7.4 (i) If H is a subgroup of G,thenγi(H) " γi(G) for all i. (ii) If φ: G → K is a surjective homomorphism, then γi(G)φ = γi(K) for all i. 83 (iii) γi(G) is a characteristic subgroup of G for all i. (iv) The lower central series of G is a chain of subgroups G = γ1(G) ! γ2(G) ! γ3(G) ! ··· . Proof: (i) Induct on i.Notethatγ1(H)=H " G = γ1(G). If we assume that γi(H) " γi(G), then this together with H " G gives [γi(H),H] " [γi(G),G] so γi+1(H) " γi+1(G). -
A Survey on Automorphism Groups of Finite P-Groups
A Survey on Automorphism Groups of Finite p-Groups Geir T. Helleloid Department of Mathematics, Bldg. 380 Stanford University Stanford, CA 94305-2125 [email protected] February 2, 2008 Abstract This survey on the automorphism groups of finite p-groups focuses on three major topics: explicit computations for familiar finite p-groups, such as the extraspecial p-groups and Sylow p-subgroups of Chevalley groups; constructing p-groups with specified automorphism groups; and the discovery of finite p-groups whose automorphism groups are or are not p-groups themselves. The material is presented with varying levels of detail, with some of the examples given in complete detail. 1 Introduction The goal of this survey is to communicate some of what is known about the automorphism groups of finite p-groups. The focus is on three topics: explicit computations for familiar finite p-groups; constructing p-groups with specified automorphism groups; and the discovery of finite p-groups whose automorphism groups are or are not p-groups themselves. Section 2 begins with some general theorems on automorphisms of finite p-groups. Section 3 continues with explicit examples of automorphism groups of finite p-groups found in the literature. This arXiv:math/0610294v2 [math.GR] 25 Oct 2006 includes the computations on the automorphism groups of the extraspecial p- groups (by Winter [65]), the Sylow p-subgroups of the Chevalley groups (by Gibbs [22] and others), the Sylow p-subgroups of the symmetric group (by Bon- darchuk [8] and Lentoudis [40]), and some p-groups of maximal class and related p-groups. -
Solvable and Nilpotent Groups
SOLVABLE AND NILPOTENT GROUPS If A; B ⊆ G are subgroups of a group G, define [A; B] to be the subgroup of G generated by all commutators f[a; b] = aba−1b−1 j a 2 A; b 2 Bg. Thus, the elements of [A; B] are finite products of such commutators and their inverses. Since [a; b]−1 = [b; a], we have [A; B] = [B; A]. If both A and B are normal subgroups of G then [A; B] is also a normal subgroup. (Clearly, c[a; b]c−1 = [cac−1; cbc−1].) Recall that a characteristic [resp fully invariant] subgroup of G means a subgroup that maps to itself under all automorphisms [resp. all endomorphisms] of G. It is then obvious that if A; B are characteristic [resp. fully invariant] subgroups of G then so is [A; B]. Define a series of normal subgroups G = G(0) ⊇ G(1) ⊇ G(2) ⊇ · · · G(0) = G; G(n+1) = [G(n);G(n)]: Thus G(n)=G(n+1) is the derived group of G(n), the universal abelian quotient of G(n). The above series of subgroups of G is called the derived series of G. Define another series of normal subgroups of G G = G0 ⊇ G1 ⊇ G2 ⊇ · · · G0 = G; Gn+1 = [G; Gn]: This second series is called the lower central series of G. Clearly, both the G(n) and the Gn are fully invariant subgroups of G. DEFINITION 1: Group G is solvable if G(n) = f1g for some n. DEFINITION 2: Group G is nilpotent if Gn = f1g for some n. -
Lattices and Nilmanifolds
Chapter 2 Lattices and nilmanifolds In this chapter, we discuss criteria for a discrete subgroup Γ in a simply connected nilpotent Lie group G to be a lattice, as well as properties of the resulting quotient G=Γ. 2.1 Haar measure of a nilpotent Lie group The map exp is a diffeomorphism between the Lie algebra g of a simply connected Lie algebra G and G itself. On both g and G there are natural volume forms. On g, this is just the Euclidean volume denoted by mg. On G, there is a natural left invariant measure, the left Haar measure, denoted by mG. The choices of mg and mG are unique up to a renormalizing factor. Proposition 2.1.1. Suppose G is a simply connected nilpotent Lie group and g is its Lie algebra. After renormalizing if necessary, the pushforward measure exp∗ mg coincides with mG. r Proof. Fix a filtration fgigi=1 (for example the central lower series fg(i)g) and a Mal'cev basis X adapted to it. Since the left Haar measure is unique to renormalization, it suffices to show that exp∗ mg is invariant under left multiplication. This is equivalent to that mg is invariant under left multi- plications in the group structure (g; ). On g, use the linear coordinates (1.16) determined by X . Then for Pm Pm U = j=1 ujXj and V = j=1 VjXj, W = U V is given by the formula (1.18). Thus the partial derivative in V of U V can be written in block 32 CHAPTER 2. -
Central Extensions of Filiform Zinbiel Algebras
Central extensions of filiform Zinbiel algebras 1 Luisa M. Camachoa, Iqboljon Karimjanovb, Ivan Kaygorodovc & Abror Khudoyberdiyevd a University of Sevilla, Sevilla, Spain. b Andijan State University, Andijan, Uzbekistan. c CMCC, Universidade Federal do ABC, Santo Andr´e, Brazil. d National University of Uzbekistan, Institute of Mathematics Academy of Sciences of Uzbekistan, Tashkent, Uzbekistan. E-mail addresses: Luisa M. Camacho ([email protected]) Iqboljon Karimjanov ([email protected]) Ivan Kaygorodov ([email protected]) Abror Khudoyberdiyev ([email protected]) Abstract: In this paper we describe central extensions (up to isomorphism) of all complex null-filiform and filiform Zinbiel algebras. It is proven that every non-split central extension of an n-dimensional null- filiform Zinbiel algebra is isomorphic to an (n +1)-dimensional null-filiform Zinbiel algebra. Moreover, we obtain all pairwise non isomorphic quasi-filiform Zinbiel algebras. Keywords: Zinbiel algebra, filiform algebra, algebraic classification, central extension. MSC2010: 17D25, 17A30. INTRODUCTION The algebraic classification (up to isomorphism) of an n-dimensional algebras from a certain variety defined by some family of polynomial identities is a classical problem in the theory of non-associative algebras. There are many results related to algebraic classification of small dimensional algebras in the varieties of Jordan, Lie, Leibniz, Zinbiel and many another algebras [1,9,11–16,24,27,31,33,36–38,42]. An algebra A is called a Zinbiel algebra if it satisfies the identity arXiv:2009.00988v1 [math.RA] 1 Sep 2020 (x y) z = x (y z + z y). ◦ ◦ ◦ ◦ ◦ Zinbiel algebras were introduced by Loday in [43] and studied in [2,5,10,17,20–22,41,44–46,49].