DOCSLIB.ORG

On the Elementary Theories of Free Nilpotent Lie Algebras and Free Nilpotent Groups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

On the Elementary Theories of Free Nilpotent Lie Algebras and Free Nilpotent Groups by Mahmood Sohrabi A thesis submitted to The Faculty of Graduate Studies and Research In partial fulfilment of the requirements for the degree of Doctor of Philosophy School of Mathematics and Statistics Ottawa-Carleton Institute of Mathematics and Statistics Carleton University Ottawa, Ontario, Canada May, 2009 ©Copyright 2009 Mahmood Sohrabi Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. Library and Bibliotheque et 1*1 Archives Canada Archives Canada Published Heritage Direction du Branch Patrimoine de I'edition 395 Wellington Street 395, rue Wellington Ottawa ON K1A0N4 Ottawa ON K1A0N4 Canada Canada Your file Votre reference ISBN: 978-0-494-52049-9 Our file Notre reference ISBN: 978-0-494-52049-9 NOTICE: AVIS: The author has granted a non­ L'auteur a accorde une licence non exclusive exclusive license allowing Library permettant a la Bibliotheque et Archives and Archives Canada to reproduce, Canada de reproduire, publier, archiver, publish, archive, preserve, conserve, sauvegarder, conserver, transmettre au public communicate to the public by par telecommunication ou par Nntemet, preter, telecommunication or on the Internet, distribuer et vendre des theses partout dans loan, distribute and sell theses le monde, a des fins commerciales ou autres, worldwide, for commercial or non­ sur support microforme, papier, electronique commercial purposes, in microform, et/ou autres formats. paper, electronic and/or any other formats. The author retains copyright L'auteur conserve la propriete du droit d'auteur ownership and moral rights in et des droits moraux qui protege cette these. this thesis. Neither the thesis Ni la these ni des extraits substantiels de nor substantial extracts from it celle-ci ne doivent etre imprimes ou autrement may be printed or otherwise reproduits sans son autorisation. reproduced without the author's permission. In compliance with the Canadian Conformement a la loi canadienne Privacy Act some supporting sur la protection de la vie privee, forms may have been removed quelques formulaires secondaires from this thesis. ont ete enleves de cette these. While these forms may be included Bien que ces formulaires in the document page count, aient inclus dans la pagination, their removal does not represent il n'y aura aucun contenu manquant. any loss of content from the thesis. i*I Canada Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. Abstract In this thesis we explore certain aspects of the model theory of a free nilpotent Lie algebra of finite rank over a characteristic zero integral domain, and the model theory of a free nilpotent group of finite rank. In each case we give an algebraic description of objects elementarily equivalent to these structures. Our approach is as follows. In the case of a Lie algebra, we investigate to what extent one can recover the module structure of the algebra from the Lie ring structure. In the case of a group the question is to what extent one can recover exponentiation from knowing only the group operations. In both cases it turns out that one can not recover the extra structures completely and needs to introduce certain "quasi" objects to complete the characterization. Our work on free nilpotent Lie algebras of finite rank extends A. G. Myasnikov's work on finite dimensional algebras over a filed, in the case of free nilpotent groups of finite rank we extend 0. V. Belegradek's results on unitriangular groups and A.G. Myasnikov's work on nilpotent groups taking exponents in a characteristic zero field. This line of research takes its roots in the works of A. Tarski and A. Mal'cev from 195'0's. ii Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. Acknowledgments First of all I would like to thank my supervisor, Dr. Inna Bumagin, for her great advice and unconditional support. She is an extraordinary human being. I have enjoyed the insights mentorship and friendship of Prof. Alexei Myasnikov over the years. He has never stopped inspiring me. It is my pleasure to express my gratitude to him. I learnt a great deal from various members of the Ottawa-Carleton Institute of mathematics, specially from Dr. Benjamin Steinberg, Mathematics aside he has always been extremely encouraging and supportive. I owe him a thank. I would like also to thank my thesis examination committee, Prof. V. Romankov, Prof. R. Blute and Prof. A. Kranakis for their time spent on examining my thesis, their comments and insightful questions. My student life in Canada has not always been an easy ride. There are a countless of people who made it a tolerable, even an enjoyable journey and to whom I am deeply indebted. Among friends I should mention Ms. Houri Mashayekh, Dr. Khosrow Hassani, Dr. Ali Shirazi and Mohsen Nasrin. There are of course so many others. I should thank my office-mates, Behzad Omidi, Masoud Nassari and Mehrdad Kalan- tar for being such gentlemen and caring people. All those days that Mehrdad and I were hopelessly trying to break through a tough to read mathematics text, joyfully breezing through a well written one, explaining things to each other or discussing some problem are imprinted in my mind for ever. iii Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. Members of my extended family played an undeniable role in everything I have achieved. My thanks to them. My wife Roya and I have been through so much together. I could not even dream of having such an amazing partner. It is hard to imagine how someone can be as kind, caring and humble as she is. I am highly grateful for everything she has done for me. This thesis was typeset using 1^-TgX. iv Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. Contents Abstract ii Acknowledgments iii Introduction 1 0.1 Elementary classification problem in groups 1 0.1.1 On elementary classification of nilpotent groups 3 0.1.2 On elementary classification of finite dimensional algebras . 5 0.2 Results and the structure of the thesis 6 1 Preliminaries and background 9 1.1 Preliminaries on model theory 9 1.1.1 Structures and signatures 9 1.1.2 Interpretations 11 1.1.3 Multi-sorted Vs. one-sorted structures IT 1.1.4 Types and saturation 18 1.1.5 Ultraproducts and saturated ultraproducts 18 v Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. 1.2 Preliminaries on Lie algebras 21 1.2.1 Free Lie algebras 23 1.2.2 Free nilpotent Lie algebras 26 1.3 Preliminaries on nilpotent groups 29 1.3.1 Central series and nilpotent groups 29 1.3.2 A graded Lie ring Lie(G) associated to a nilpotent group G . 32 1.3.3 Hall-Petreseo formula and Mal'cev bases 33 1.3.4 Hall completion of r-groups and groups admitting exponents in a binomial domain . 36 1.3.5 Central and abelian extensions 40 1.3.6 A brief note on abelian groups and their model theory 43 1.3.7 Alternating bilinear maps and H2 45 2 Model theory of bilinear mappings 47 2.1 Regular Vs. absolute interpretability 48 2.2 Enrichments of bilinear mappings 50 2.3 Interpretability of the P(f) structure 53 3 Models of the Complete Theory of a Free Nilpotent Lie Algebra 59 3.1 A bilinear map associated to M and its largest ring of scalars 61 3.2 Characterization theorem 64 3.3 Conclusion, summary and some related open problems 76 vi Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. 4 Models of the Complete Theory of a Free Nilpotent Group 79 4.1 Nr>c groups . 81 4.2 QNr>c groups 85 4.3 A bilinear map associated to Nr,c(R) and its largest ring of scalars . 88 4.4 Characterization theorem 91 4.5 Central extensions and elementary equivalence 97 r 4.6 A QA nc-group which is not Nr>c 102 4.7 Conclusion, summary and some related open problems 107 Bibliography 109 Index 114 vii Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. Introduction 0.1 Elementary classification problem in groups Importance of the elementary (logical) classification of algebraic structures was em­ phasized in the works of A. Tarski and A. Mal'cev. In general, the problem of elementary classification requires to characterize, in somewhat algebraic terms, all algebraic structures (perhaps, from a given class) elementarily equivalent to a given one. Recall, that two algebraic structures A and B in a language L are elementarily equivalent (A = B) if they have the same first-order theories in L (indistinguishable in the first order logic in L). Tarski's results [43] on elementary theories of R and C (algebraically closed and real closed fields), as well as, the subsequent results of J. Ax and S. Kochen [1, 2, 3] and Yu. Ershov [16, 17, 18] on elementary theories of Qp (p-adically closed fields) became an algebraic classic and can be found in many text-books on model theory. One of the initial influential results on elementary classification of groups is due to W.Szmielew - she classified elementary theories of abelian groups in terms of "Szmielew's" invariants [42] (see also [14, 27, 4]). For non-abelian groups, the main inspiration, perhaps, was the famous Tarski's problem whether free non-abelian groups of finite rank are elementarily equivalent or not. This problem was open for 1 Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
Recommended publications
  • Frattini Subgroups and -Central Groups

    Frattini Subgroups and -Central Groups

    Pacific Journal of Mathematics FRATTINI SUBGROUPS AND 8-CENTRAL GROUPS HOMER FRANKLIN BECHTELL,JR. Vol. 18, No. 1 March 1966 PACIFIC JOURNAL OF MATHEMATICS Vol. 18, No. 1, 1966 FRATTINI SUBGROUPS AND φ-CENTRAL GROUPS HOMER BECHTELL 0-central groups are introduced as a step In the direction of determining sufficiency conditions for a group to be the Frattini subgroup of some unite p-gronp and the related exten- sion problem. The notion of Φ-centrality arises by uniting the concept of an E-group with the generalized central series of Kaloujnine. An E-group is defined as a finite group G such that Φ(N) ^ Φ(G) for each subgroup N ^ G. If Sίf is a group of automorphisms of a group N, N has an i^-central series ι a N = No > Nt > > Nr = 1 if x~x e N3- for all x e Nj-lf all a a 6 £%f, x the image of x under the automorphism a e 3ίf y i = 0,l, •••, r-1. Denote the automorphism group induced OR Φ(G) by trans- formation of elements of an £rgroup G by 3ίf. Then Φ{£ίf) ~ JP'iΦiG)), J^iβiG)) the inner automorphism group of Φ(G). Furthermore if G is nilpotent9 then each subgroup N ^ Φ(G), N invariant under 3ίf \ possess an J^-central series. A class of niipotent groups N is defined as ^-central provided that N possesses at least one niipotent group of automorphisms ££'' Φ 1 such that Φ{βίf} — ,J^(N) and N possesses an J^-central series. Several theorems develop results about (^-central groups and the associated ^^-central series analogous to those between niipotent groups and their associated central series.
  • Free Lie Algebras

    Free Lie Algebras

    Linear algebra: Free Lie algebras The purpose of this sheet is to fill the details in the algebraic part of the proof of the Hilton-Milnor theorem. By the way, the whole proof can be found in Neisendorfer's book "Algebraic Methods in Unstable Homotopy Theory." Conventions: k is a field of characteristic 6= 2, all vector spaces are positively graded vector spaces over k and each graded component is finite dimensional, all associative algebras are connected and augmented. If A is an associative algebra, then I(A) is its augmentation ideal (i.e. the kernel of the augmentation morphism). Problem 1 (Graded Nakayama Lemma). Let A be an associative algebra and let M be a graded A-module such that Mn = 0, for n 0. (a) If I(A) · M = M, then M = 0; (b) If k ⊗AM = 0, then M = 0. Problem 2. Let A be an associative algebra and let V be a vector subspace of I(A). Suppose that the augmentation ideal I(A) is a free A-module generated by V . Prove that A is isomorphic to T (V ). A Problem 3. Let A be an associative algebra such that Tor2 (k; k) = 0. Prove that A is isomorphic to the tensor algebra T (V ), where V := I(A)=I(A)2 { the module of indecomposables. Problem 4. Let L be a Lie algebra such that its universal enveloping associative algebra U(L) is isomorphic to T (V ) for some V . Prove that L is isomorphic to the free Lie algebra L(V ). Hint: use a corollary of the Poincare-Birkhoff-Witt theorem which says that any Lie algebra L canonically injects into U(L).
  • Quasi P Or Not Quasi P? That Is the Question

    Quasi P Or Not Quasi P? That Is the Question

    Rose-Hulman Undergraduate Mathematics Journal Volume 3 Issue 2 Article 2 Quasi p or not Quasi p? That is the Question Ben Harwood Northern Kentucky University, [email protected] Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj Recommended Citation Harwood, Ben (2002) "Quasi p or not Quasi p? That is the Question," Rose-Hulman Undergraduate Mathematics Journal: Vol. 3 : Iss. 2 , Article 2. Available at: https://scholar.rose-hulman.edu/rhumj/vol3/iss2/2 Quasi p- or not quasi p-? That is the Question.* By Ben Harwood Department of Mathematics and Computer Science Northern Kentucky University Highland Heights, KY 41099 e-mail: [email protected] Section Zero: Introduction The question might not be as profound as Shakespeare’s, but nevertheless, it is interesting. Because few people seem to be aware of quasi p-groups, we will begin with a bit of history and a definition; and then we will determine for each group of order less than 24 (and a few others) whether the group is a quasi p-group for some prime p or not. This paper is a prequel to [Hwd]. In [Hwd] we prove that (Z3 £Z3)oZ2 and Z5 o Z4 are quasi 2-groups. Those proofs now form a portion of Proposition (12.1) It should also be noted that [Hwd] may also be found in this journal. Section One: Why should we be interested in quasi p-groups? In a 1957 paper titled Coverings of algebraic curves [Abh2], Abhyankar conjectured that the algebraic fundamental group of the affine line over an algebraically closed field k of prime characteristic p is the set of quasi p-groups, where by the algebraic fundamental group of the affine line he meant the family of all Galois groups Gal(L=k(X)) as L varies over all finite normal extensions of k(X) the function field of the affine line such that no point of the line is ramified in L, and where by a quasi p-group he meant a finite group that is generated by all of its p-Sylow subgroups.
  • Linking of Letters and the Lower Central Series of Free Groups

    Linking of Letters and the Lower Central Series of Free Groups

    LINKING OF LETTERS AND THE LOWER CENTRAL SERIES OF FREE GROUPS JEFF MONROE AND DEV SINHA Abstract. We develop invariants of the lower central series of free groups through linking of letters, showing they span the rational linear dual of the lower central series subquotients. We build on an approach to Lie coalgebras through operads, setting the stage for generalization to the lower central series Lie algebra of any group. Our approach yields a new co-basis for free Lie algebras. We compare with classical approaches of Magnus and Fox. 1. Introduction Figure 1 below shows a classical picture of linking, along with an illustration of the type of linking we develop in this paper. In the former case, a one-manifold in S3 is cobounded and intersected with another one-manifold. In the latter, a zero-manifold in S1 is cobounded and intersected with another zero-manifold. This latter process is equivalent to choosing pairs of occurrences of a letter and its inverse, and counting instances of other letters in between – that is, linking of letters. −1 u b b a u b a b b a b b b b a c b b −1 u b c c u u b a−1 u b a b b c−1 b c c u * x0 Figure 1. Classical linking is on the left; linking of letters on the right. Linking, and its constituent processes of cobounding and intersecting, are staples in topology. Less familiar is that the process of cobounding and intersecting can be expanded and iterated to obtain higher linking numbers.
  • Free Lie Algebras

    Free Lie Algebras

    Last revised 3:11 p.m. April 10, 2020 Free Lie algebras Bill Casselman University of British Columbia [email protected] The purpose of this essay is to give an introduction to free Lie algebras and a few of their applications. My principal references are [Serre:1965], [Reutenauer:1993], and [de Graaf:2000]. My interest in free Lie algebras has been motivated by the well known conjecture that Kac•Moody algebras can be defined by generators and relations analogous to those introduced by Serre for finite•dimensional semi•simple Lie algebras. I have had this idea for a long time, but it was coming across the short note [de Graaf:1999] that acted as catalyst for this (alas! so far unfinished) project. Fix throughout this essay a commutative ring R. I recall that a Lie algebra over R is an R•module g together with a Poisson bracket [x, y] such that [x, x]=0 [x, [y,z]] + [y, [z, x]] + [z, [x, y]]=0 Since [x + y, x + y] = [x, x] + [x, y] + [y, x] + [y,y], the first condition implies that [x, y] = [y, x]. The − second condition is called the Jacobi identity. In a later version of this essay, I’ll discuss the Baker•Campbell•Hausdorff Theorem (in the form due to Dynkin). Contents 1. Magmas........................................... ................................ 1 2. ThefreeLiealgebra ................................ ................................ 3 3. Poincare•Birkhoff•Witt´ .................................... ......................... 5 4. FreeLiealgebrasandtensorproducts ................. .............................. 8 5. Hallsets—motivation
  • Combinatorial Group Theory

    Combinatorial Group Theory

    Combinatorial Group Theory Charles F. Miller III 7 March, 2004 Abstract An early version of these notes was prepared for use by the participants in the Workshop on Algebra, Geometry and Topology held at the Australian National University, 22 January to 9 February, 1996. They have subsequently been updated and expanded many times for use by students in the subject 620-421 Combinatorial Group Theory at the University of Melbourne. Copyright 1996-2004 by C. F. Miller III. Contents 1 Preliminaries 3 1.1 About groups . 3 1.2 About fundamental groups and covering spaces . 5 2 Free groups and presentations 11 2.1 Free groups . 12 2.2 Presentations by generators and relations . 16 2.3 Dehn’s fundamental problems . 19 2.4 Homomorphisms . 20 2.5 Presentations and fundamental groups . 22 2.6 Tietze transformations . 24 2.7 Extraction principles . 27 3 Construction of new groups 30 3.1 Direct products . 30 3.2 Free products . 32 3.3 Free products with amalgamation . 36 3.4 HNN extensions . 43 3.5 HNN related to amalgams . 48 3.6 Semi-direct products and wreath products . 50 4 Properties, embeddings and examples 53 4.1 Countable groups embed in 2-generator groups . 53 4.2 Non-finite presentability of subgroups . 56 4.3 Hopfian and residually finite groups . 58 4.4 Local and poly properties . 61 4.5 Finitely presented coherent by cyclic groups . 63 1 5 Subgroup Theory 68 5.1 Subgroups of Free Groups . 68 5.1.1 The general case . 68 5.1.2 Finitely generated subgroups of free groups .
  • Standard Lyndon Bases of Lie Algebras and Enveloping Algebras

    Standard Lyndon Bases of Lie Algebras and Enveloping Algebras

    transactions of the american mathematical society Volume 347, Number 5, May 1995 STANDARD LYNDON BASES OF LIE ALGEBRAS AND ENVELOPING ALGEBRAS PIERRE LALONDE AND ARUN RAM Abstract. It is well known that the standard bracketings of Lyndon words in an alphabet A form a basis for the free Lie algebra Lie(^) generated by A . Suppose that g = Lie(A)/J is a Lie algebra given by a generating set A and a Lie ideal J of relations. Using a Gröbner basis type approach we define a set of "standard" Lyndon words, a subset of the set Lyndon words, such that the standard bracketings of these words form a basis of the Lie algebra g . We show that a similar approach to the universal enveloping algebra g naturally leads to a Poincaré-Birkhoff-Witt type basis of the enveloping algebra of 0 . We prove that the standard words satisfy the property that any factor of a standard word is again standard. Given root tables, this property is nearly sufficient to determine the standard Lyndon words for the complex finite-dimensional simple Lie algebras. We give an inductive procedure for computing the standard Lyndon words and give a complete list of the standard Lyndon words for the complex finite-dimensional simple Lie algebras. These results were announced in [LR]. 1. Lyndon words and the free Lie algebra In this section we give a short summary of the facts about Lyndon words and the free Lie algebra which we shall use. All of the facts in this section are well known. A comprehensive treatment of free Lie algebras (and Lyndon words) appears in the book by C.
  • Lie Algebras by Shlomo Sternberg

    Lie Algebras by Shlomo Sternberg

    Lie algebras Shlomo Sternberg April 23, 2004 2 Contents 1 The Campbell Baker Hausdorff Formula 7 1.1 The problem. 7 1.2 The geometric version of the CBH formula. 8 1.3 The Maurer-Cartan equations. 11 1.4 Proof of CBH from Maurer-Cartan. 14 1.5 The differential of the exponential and its inverse. 15 1.6 The averaging method. 16 1.7 The Euler MacLaurin Formula. 18 1.8 The universal enveloping algebra. 19 1.8.1 Tensor product of vector spaces. 20 1.8.2 The tensor product of two algebras. 21 1.8.3 The tensor algebra of a vector space. 21 1.8.4 Construction of the universal enveloping algebra. 22 1.8.5 Extension of a Lie algebra homomorphism to its universal enveloping algebra. 22 1.8.6 Universal enveloping algebra of a direct sum. 22 1.8.7 Bialgebra structure. 23 1.9 The Poincar´e-Birkhoff-Witt Theorem. 24 1.10 Primitives. 28 1.11 Free Lie algebras . 29 1.11.1 Magmas and free magmas on a set . 29 1.11.2 The Free Lie Algebra LX ................... 30 1.11.3 The free associative algebra Ass(X). 31 1.12 Algebraic proof of CBH and explicit formulas. 32 1.12.1 Abstract version of CBH and its algebraic proof. 32 1.12.2 Explicit formula for CBH. 32 2 sl(2) and its Representations. 35 2.1 Low dimensional Lie algebras. 35 2.2 sl(2) and its irreducible representations. 36 2.3 The Casimir element. 39 2.4 sl(2) is simple.
  • Lyndon Words, Free Algebras and Shuffles

    Lyndon Words, Free Algebras and Shuffles

    Can. J. Math., Vol. XLI, No. 4, 1989, pp. 577-591 LYNDON WORDS, FREE ALGEBRAS AND SHUFFLES GUY MELANÇON AND CHRISTOPHE REUTENAUER 1. Introduction. A Lyndon word is a primitive word which is minimum in its conjugation class, for the lexicographical ordering. These words have been introduced by Lyndon in order to find bases of the quotients of the lower central series of a free group or, equivalently, bases of the free Lie algebra [2], [7]. They have also many combinatorial properties, with applications to semigroups, pi-rings and pattern-matching, see [1], [10]. We study here the Poincaré-Birkhoff-Witt basis constructed on the Lyndon basis (PBWL basis). We give an algorithm to write each word in this basis: it reads the word from right to left, and the first encountered inversion is either bracketted, or straightened, and this process is iterated: the point is to show that each bracketting is a standard one: this we show by introducing a loop invariant (property (S)) of the algorithm. This algorithm has some analogy with the collecting process of P. Hall [5], but was never described for the Lyndon basis, as far we know. A striking consequence of this algorithm is that any word, when written in the PBWL basis, has coefficients in N (see Theorem 1). This will be proved twice in fact, and is similar to the same property for the Shirshov-Hall basis, as shown by M.P. Schutzenberger [11]. Our next result is a precise description of the dual basis of the PBWL basis. The former is denoted (Sw), where w is any word, and we show that if w = au is a Lyndon word beginning with the letter a, and that 1 , Sw = (ti!...*II!r 5* o...oS*- x k n if w = l\ ..
  • On the Derivation Algebra of the Free Lie Algebra and Trace Maps

    On the Derivation Algebra of the Free Lie Algebra and Trace Maps

    On the derivation algebra of the free Lie algebra and trace maps Naoya Enomoto∗ and Takao Satohy Abstract In this paper, we mainly study the derivation algebra of the free Lie algebra and the Chen Lie algebra generated by the abelianization H of a free group, and trace maps. To begin with, we give the irreducible decomposition of the derivation algebra as a GL(n; Q)-module via the Schur-Weyl duality and some tensor product theorem for GL(n; Q). Using them, we calculate the irreducible decomposition of the images of the Johnson homomorphisms of the automorphism group of a free group and a free metabelian group. Next, we consider some applications of trace maps: the Morita's trace map and the trace map for the exterior product of H. First, we determine the abelianization of the derivation algebra of the Chen Lie algebra as a Lie algebra, and show that the abelianizaton is given by the degree one part and the Morita's trace maps. Second, we consider twisted cohomology groups of the automorphism group of a free nilpotent group. Especially, we show that the trace map for the exterior product of H defines a non-trivial twisted second cohomology class of it. 1 Introduction ab For a free group Fn with basis x1; : : : ; xn, set H := Fn the abelianization of Fn. The kernel of the natural homomorphism ρ : Aut Fn ! Aut H induced from the abelianization of Fn ! H is called the IA-automorphism group of Fn, and denoted by IAn. Although IAn plays important roles on various studies of Aut Fn, the group structure of IAn is quite complicated in general.
  • 2-Elementary Subgroups of the Space Cremona Group 3

    2-Elementary Subgroups of the Space Cremona Group 3

    2-elementary subgroups of the space Cremona group Yuri Prokhorov ∗ Abstract We give a sharp bound for orders of elementary abelian 2-groups of bira- tional automorphisms of rationally connected threefolds. 1 Introduction Throughoutthis paper we work over k, an algebraically closed field of characteristic 0. Recall that the Cremona group Crn(k) is the group of birational transformations n of the projective space Pk. We are interested in finite subgroupsof Crn(k). For n = 2 these subgroups are classified basically (see [DI09] and references therein) but for n ≥ 3 the situation becomes much more complicated. There are only a few, very specific classification results (see e.g. [Pr12], [Pr11], [Pr13c]). Let p be a prime number. A group G is said to be p-elementary abelian of rank r if G ≃ (Z/pZ)r. In this case we denote r(G) := r. A. Beauville [Be07] obtained a sharp bound for the rank of p-elementary abelian subgroups of Cr2(k). Theorem 1.1 ([Be07]). Let G ⊂ Cr2(k) be a 2-elementary abelian subgroup. Then r(G) ≤ 4. Moreover, this bound is sharp and such groups G with r(G)= 4 are clas- sified up to conjugacy in Cr2(k). The author [Pr11] was able to get a similar bound for p-elementary abelian sub- groups of Cr3(k) which is sharp for p ≥ 17. arXiv:1308.5628v1 [math.AG] 26 Aug 2013 In this paper we improve this result in the case p = 2. We study 2-elementary abelian subgroups acting on rationally connected threefolds. In particular, we obtain Steklov Mathematical Institute, 8 Gubkina str., Moscow 119991 · Laboratory of Algebraic Geom- etry, SU-HSE, 7 Vavilova str., Moscow 117312 e-mail: [email protected] ∗ I acknowledge partial supports by RFBR grants No.
  • Computations in a Free Lie Algebra

    Computations in a Free Lie Algebra

    Downloaded from rsta.royalsocietypublishing.org on May 10, 2012 Computations in a free Lie algebra Hans Munthe−Kaas and Brynjulf Owren Phil. Trans. R. Soc. Lond. A 1999 357, 957-981 doi: 10.1098/rsta.1999.0361 Receive free email alerts when new articles cite this article - sign up in the box at the top right-hand Email alerting service corner of the article or click here To subscribe to Phil. Trans. R. Soc. Lond. A go to: http://rsta.royalsocietypublishing.org/subscriptions Downloaded from rsta.royalsocietypublishing.org on May 10, 2012 Computations in a free Lie algebra By Hans Munthe-Kaas and Brynjulf Owren 1Department of Informatics, University of Bergen, N-5020 Bergen, Norway 2Department of Mathematical Sciences, NTNU, N-7034 Trondheim, Norway Many numerical algorithms involve computations in Lie algebras, like composition and splitting methods, methods involving the Baker–Campbell–Hausdorff formula and the recently developed Lie group methods for integration of differential equa- tions on manifolds. This paper is concerned with complexity and optimization of such computations in the general case where the Lie algebra is free, i.e. no specific assumptions are made about its structure. It is shown how transformations applied to the original variables of a problem yield elements of a graded free Lie algebra whose homogeneous subspaces are of much smaller dimension than the original ungraded one. This can lead to substantial reduction of the number of commutator computa- tions. Witt’s formula for counting commutators in a free Lie algebra is generalized to the case of a general grading. This provides good bounds on the complexity.