DOCSLIB.ORG

LA-Courant Algebroids and Their Applications. by David Scott Li

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
LA-Courant Algebroids and Their Applications. by David Scott Li LA-Courant algebroids and their applications. by David Scott Li-Bland A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Graduate Department of Mathematics University of Toronto Copyright c 2012 by David Scott Li-Bland Abstract LA-Courant algebroids and their applications. David Scott Li-Bland Doctor of Philosophy Graduate Department of Mathematics University of Toronto 2012 In this thesis we develop the notion of LA-Courant algebroids, the infinitesimal analogue of multiplicative Courant algebroids. Specific applications include the integration of q- Poisson (d; g)-structures, and the reduction of Courant algebroids. We also introduce the notion of pseudo-Dirac structures, (possibly non-Lagrangian) subbundles W ⊆ E of a Courant algebroid such that the Courant bracket endows W naturally with the structure of a Lie algebroid. Specific examples of pseudo-Dirac structures arise in the theory of q-Poisson (d; g)-structures. ii Dedication To Esther, the love of my life, and to Wesley, the apple of our eyes. Thanks be to God for his blessings. Acknowledgements I would like to thank my father, John Bland, for inspiring a love of mathematics in me. I would like to thank my supervisor, Eckhard Meinrenken, for his guidance, patience, advice, encouragement and help over the years. I would like to thank Pavol Severaˇ for many delightful conversations, explanations, perspectives, and the math he taught me. I would like to thank Alfonso Gracia-Saz and Rajan Mehta for teaching me supergeometry and the theory of double and LA-vector bundles. I would like to thank Alejandro Cabrera for many interesting discussions and teaching me about tangent prolongations. I would also like to thank Anton Alekseev, Henrique Bursztyn, Arlo Caine, Marco Gualtieri, Travis Li, Jiang Hua Lu, Brent Pym, and Ping Xu for many interesting conversations. Finally, I would like to thank my beautiful wife, Esther, for all her love, her sup- port, her encouragement, and her strength of character. She is the most wise, inspiring, fascinating, and wonderful person I have ever met. iii Contents 1 Introduction 1 1.0.1 A brief history . .1 1.0.2 Multiplicative Courant algebroids, and their infinitesimal versions LA-Courant algebroids . .6 1.0.3 pseudo-Dirac structures . .7 1.0.4 Applications . 10 2 Preliminaries 21 2.1 Linear relations . 21 2.2 Lie algebroids and Courant algebroids . 23 2.2.1 Poisson manifolds . 23 2.2.2 Lie algebroids . 27 2.2.3 Courant algebroids . 31 2.3 Multiplicative Courant algebroids, and multiplicative Manin pairs . 42 2.4 Double structures . 45 2.5 Double vector bundles . 46 2.5.1 The core . 50 2.5.2 Duals of double vector bundles . 54 2.5.3 Total kernels and quotients of double vector bundles . 57 2.6 Triple vector bundles . 58 iv 2.6.1 Duality . 60 2.7 LA-vector bundles and double linear Poisson vector bundles . 62 2.7.1 LA-vector bundles . 62 2.7.2 Double linear Poisson vector bundles . 64 3 VB-Courant algebroids 66 3.1 VB-Courant algebroids . 66 3.2 Lie 2-algebroids . 80 3.3 Further examples . 81 3.4 Tangent prolongation of a Courant algebroid . 85 4 pseudo-Dirac structures 90 4.1 pseudo-Dirac structures . 90 4.1.1 Examples . 100 4.1.2 Forward and backward images of pseudo-Dirac structures . 102 5 LA-Courant algebroids 112 5.1 LA-Courant algebroids . 112 5.1.1 Examples . 114 5.2 Poisson Lie 2-algebroids and multiplicative Courant algebroids . 123 6 Outlook 131 6.1 Reduction of Courant algebroids . 131 6.1.1 Reduction via LA-Dirac structures in T E ............. 131 6.1.2 Reduction via VB-Dirac structures in T E .............. 138 6.2 Integration of q-Poisson (d; g)-structures . 142 6.2.1 A canonical morphism . 143 6.2.2 Transfer of data . 149 flip 6.2.3 The morphism of Manin pairs (TL; T L ) 99K (d × T d; d × T g). 152 v 6.2.4 Integration corollaries . 155 A Technical proof for Courant algebroids 157 B Technical proof for double vector bundles 162 C Technical proofs for LA-Courant algebroids 166 Bibliography 171 vi List of Figures 1.1 For functions c; c0 2 Z(S) vanishing on the submanifold S ⊆ M, the Hamiltonian vector fields XcjS and Xc0 jS may not be tangent to S. D ⊆ TM is the distribution spanned by the restriction of all such vector fields to S.......................................3 1.2 The submanifold S ⊆ M describes constraints on the physical system, while vector fields tangent to the foliation describe symmetries. 11 1.3 The subbundle D ⊆ TMjS of the ambient tangent space controls how functions on S are extended to M ...................... 13 −1 2.1 The vector ξ 2 TxB is tangent to the fibre qB=M (x), and therefore defines a core element of TB at x 2 M. If σ 2 Γ(B) is such that ξ = σ(x), then for any X 2 TM, σC (X) = X +T B=B ξ, (here the addition takes place in the vector space TxB). ............................ 53 2.2 For any section σ 2 Γ(B), the tangent lift σT 2 Γ(T B; T M) of σ takes X 2 TM to dσ(X) 2 TB........................... 54 vii Chapter 1 Introduction 1.0.1 A brief history Courant algebroids and Dirac structures were first introduced by Courant [28,30] as a geo- metric framework for Dirac's theory of Hamiltonian systems with constraints [34].Courant's original setup was generalized in [69], as a means of constructing doubles for Lie bial- gebroids. Courant algebroids have now found many uses, from the theory of moment maps [2,14,16,17,129] to generalized complex geometry [46,50]. The Dirac bracket We shall go into some more detail. In Hamiltonian mechanics, the phase space - the space of all possible states of a physical system - is described by a smooth manifold M. Smooth functions f 2 C1(M) on the phase space describe various quantities one might wish to measure, such as energy, position, or momentum. Additionally, M carries a Poisson structure: a bivector field π 2 X2(M), such that the bracket ff; gg := π(df; dg); f; g 2 C1(M) endows the vector space C1(M) with the structure of a Lie algebra. Noether's first theorem - that conserved quantities correspond to symmetries - arises 1 Chapter 1. Introduction 2 as follows: the Poisson structure associates to any function f 2 C1(M) (a conserved quantity) the vector field Xf := g ! ff; gg 2 X(M) (describing the corresponding symmetry of phase space). Introducing constraints on this system corresponds to describing a submanifold S ⊆ M. Ideally, one would like the Poisson bracket {·; ·} on C1(M) to descend to a bracket 1 {·; ·}S on C (S) so that the restriction of functions to S is a morphism of Lie algebras, i.e. ∗ ∗ ∗ 1 fi f; i ggS = i ff; gg; f; g 2 C (M); where i : S ! M is the inclusion. Unfortunately, this is impossible in general, since the vanishing ideal Z(S) ⊆ C1(M) of S ⊆ M might not be a Lie algebra ideal. Equivalently, for an arbitrary function c 2 Z(S), the vector field Xc := fc; ·} 2 X(M) might not vanish when restricted to S (nor even be tangent to S). Let D ⊆ TMjS be the distribution spanned by the vector fields XcjS for c 2 Z(S) (see Fig. 1.1). A function f 2 C1(S) is called admissible if v · f = 0 for any vector v 2 D \ TS. Similarly, a function f~ 2 C1(M) is called an admissible extension of f if i∗f~ = f and v · f~ = 0 for any vector v 2 D. Dirac showed that there exists a Lie bracket {·; ·}DB (called the 1 Dirac bracket) on the subspace Cadm(S) of admissible functions such that ∗ ~ ∗ ∗ ~ ff; ggDB = fi f; i g~gDB = i ff; g~g (1.0.1) Chapter 1. Introduction 3 (Xc)x x (Xc0 )x Figure 1.1 { For functions c; c0 2 Z(S) vanishing on the submanifold S ⊆ M, the Hamiltonian vector fields XcjS and Xc0 jS may not be tangent to S. D ⊆ TM is the distribution spanned by the restriction of all such vector fields to S. ~ 1 1 for any admissible extensions f; g~ 2 C (M) of f; g 2 Cadm(S). Remark 1.0.1. One may interpret the distribution D \ TS as describing some gauge transformations of the physical system: When D \ TS is of constant rank, then it is involutive, and thus, by Frobenius's theorem, defines a foliation. The admissible functions can then be interpreted as the algebra of functions on the leaf space. Courant algebroids In 1986 Courant [28, 30] described a geometric framework for Dirac's theory of con- strained Hamiltonian mechanics, which we shall briefly summarize. The Pontryagin bundle TM := TM ⊕ T ∗M carries a split signature metric defined by the natural paring h(v; µ); (w; ν)i := µ(w) + ν(v); (v; µ); (w; ν) 2 TM: Courant's insight was to consider Lagrangian subbundles of the Pontryagin bundle (i.e. L 2 TM such that L? = L), replacing the Poisson bivector field π 2 X2(M) with its Chapter 1. Introduction 4 graph gr(π]) := f(X; α) 2 TM ⊕ T ∗M j X = π(α; ·)g: He described a bracket, which is usually referred to as the Courant bracket in the litera- ture,1 [[(X; α); (Y; β)]] = [X; Y ]; LX β − ιY dα (1.0.2) on the space of sections Γ(TM), and showed that this bracket restricts to a Lie bracket on Γ gr(π]).A Dirac structure is defined to be an arbitrary Lagrangian subbundle L ⊆ TM which is involutive with respect the Courant bracket.
Load more

Recommended publications
  • In the Fall of 1977, He Researched and Conducted a Seminar In
    The Bakke Case and the University of Pennsylvania (Meyerson) SPEAKING OUT " NEWS " GRANT DEADLINES LEAVES " United Way " THINGS TO DO SUPPLEMENT: Bakke Brief Published Weekly by the University of Pennsylvania Volume 24, Number 8 October 25, 1977 FREEZE ON HIRING The State appropriation request for the University includes million for On October 21, President Martin Meyerson put into effect the approximately $7 the Medical, Dental and Veterinary schools and million for student aid and first in a series of contingency actions to deal with the $10 general instruction, which is divided the rest of the appropriation and tax impasse in Harrisburg: a suspension of all among University's programs. The Senate has for hiring and internal transfer of staff. On the same day a group of already passed non-preferred appropriations Penn State. and Lincoln. The faculty Senate leaders and deans began a series of meetings with Temple, Pittsburgh Legislature meantime must still find a of the the Provost and the President on steps for dealing with the way funding appropriations. financial future. University's BAKKE BRIEF: IN ALMANAC HARRISBURG: CALL FOR REVERSAL In this issue Almanac publishes the full text of the Bakke Brief The Pennsylvania State Senate is expected to decide before (see supplement). There is also a statement by President Meyerson Friday whether to vote again on the $17 million appropriation bill explaining how the brief came into being and why he felt it was for the University. The Legislature is scheduled to recess Thursday important for the University to take this stand (page 2). evening until November 14.
    [Show full text]
  • NOTICES Was Sent to Press, the Meeting Dates Which Fall Rather Far in the Future Are Subject Tr Change
    AMERICAN MATHEMATICAL SOCIETY Nottces Edited by GORDON L. WALKER Contents MEETINGS Calendar of Meetings • • • . • • • • • • • • . • • • • • . • • • • • • 4 Program of the February Meeting in Tucson • • • . • . • . • . 5 Abstracts for the Meeting, pp. 80-84 Program of the February Meeting in New York ••••••••• 10 Abstracts for the Meeting, pp. 85-94 PRELIMINARY ANNOUNCEMENTS OF MEETINGS ••••••.••• 15 ACTIVITIES OF OTHER ASSOCIATIONS ••••••••••••••••• 19 NEWS ITEMS AND ANNOUNCEMENTS •••••••••••••••••• 27 FOREIGN SCIENCE INFORMATION •••••••••.•••••••••• 38 PERSONAL ITEMS •••••••.•••••••••.••••••••••••• 47 NEW PUBLICATIONS ••••••••••••••••••••••••••••. 50 CATALOGUE OF LECTURE NOTES - Supplement No.1 . • • • • • 57 ABSTRACTS OF CONTRIBUTED PAPERS • • • • • • . • • • • • • • • 59 RESERVATION FORM . • . • • • • • • • • • • . • • • • • . • . • • • • • • 99 3 MEETINGS CALENDAR OF MEETINGS NOTE: This Calendar lists all of the meetings which have been approved by the Council up to the date at which this issue of the NOTICES was sent to press, The meeting dates which fall rather far in the future are subject tr change. This is particularly true of the meetings to which no numbers have yet been assigned, Meet­ Deadline ing Date Place for No, Abstracts* 567 April 14-16, 1960 New York, New York Mar. 1 568 April 22-23, 1960 Chicago, Illinois Mar, 1 569 April 22-23, 1960 Berkeley, California Mar, 570 June 18, 1960 Missoula, Montana May 5 571 August 29-September 3, 1960 East Lansing, Michigan July 15 (65th Summer Meeting) 572 October 22, 1960 Worcester, Massachusetts Sept. 8 January 24-27, 1961 Washington, D. C. (67th Annual Meeting) August, 1961 Stillwater, Oklahoma (66th Summer Meeting) January, 1962 Kansas City, Missouri (68th Annual Meeting) August, 1962 Vancouver, British Columbia (67th Summer Meeting) August, 1963 Boulder, Colorado (68th Summer Meeting) *The abstracts of papers to be presented at the meetings must be received i.
    [Show full text]
  • Mathematicians at Stockholm, the Council of the Society Will Meet Sweden
    AMERICAN MATHEMATICAL SOCIETY VOLUME 9, NUMBER 4 ISSUE NO. 62 AUGUST 1962 THE AMERICAN MATHEMATICAL SOCIETY Edited by John W. Green and Gordon L. Walker CONTENTS MEETINGS Calendar of Meetings .•.......•.•.•...•.....•......••••.•. 248 Program of the Summer Meeting in Vancouver, B. C .•.............. 249 Abstracts of the Meeting - pages 284-313 PRELIMINARY ANNOUNCEMENT OF MEETING •..•.••...........•..•. 263 ACTIVITIES OF OTHER ASSOCIATIONS .••.••••..•.....•.........••• 265 NEWS ITEMS AND ANNOUNCEMENTS .••.•.....••.....•.•. 262, 267,276 PERSONAL ITEMS .•..•.••.....•.•.•.•.....................•. 268 NEW AMS PUBLICATIONS •.....•..••••.....•••....•.....•.•...• 273 LETTERS TO THE EDITOR ....•....•....•.......•..••.......•.. 274 MEMORANDA TO MEMBERS The National Register of Scientific and Technical Personnel . • • . • . • . 2 77 The Employment Register ....••.••.•.•...•.•.•.•.•..••....• 277 The Combined Membership List, 1962-1963 •...•.....•.....•...•. 277 Corporate Members •.••...............•.•....•.....•••..• 278 The Australian Mathematical Society . 278 Backlog of Mathematical Research Journals • . • . • . • . 279 SUPPLEMENTARY PROGRAM - NO. 12 . • . 280 ABSTRACTS OF CONTRIBUTED PAPERS ...•.............••.....•.• 284 INDEX TO ADVERTISERS ...•...•..•..•.....•.....•............ 355 RESERVATION FORM . • • . • . • . • . • . • . • . 3 55 MEETINGS CALENDAR OF MEETINGS NOTE: This Calendar lists all of the meetings which have been approved by the Council up to the date at which this issue of the NOTICES was sent to press. The summer and annual meetings
    [Show full text]
  • From Schouten to Mackenzie: Notes on Brackets
    From Schouten to Mackenzie: notes on brackets∗ Yvette Kosmann-Schwarzbach In Memory of Kirill Mackenzie (1951–2020) Abstract In this paper, dedicated to the memory of Kirill Mackenzie, I relate the origins and early development of the theory of graded Lie brackets, first in the pu- blications on differential geometry of Schouten, Nijenhuis, and Fr¨olicher–Nijenhuis, then in the work of Gerstenhaber and Nijenhuis–Richardson in cohomology theory. Keywords: graded Lie algebra, Schouten bracket, Nijenhuis torsion, Fr¨olicher– Nijenhuis bracket, Nijenhuis–Richardson bracket, Gerstenhaber algebra, Macken- zie theory. Introduction Many aspects of the contributions of Kirill Mackenzie to the theory of Lie groupoids and Lie algebroids, in particular to that of the double and multiple structures, are already classical and often cited. As a tribute to his memory, arXiv:2105.14828v1 [math.HO] 31 May 2021 I shall survey the history of the emergence of some theories that were tools – among many others – in the development and description of his mathematics. In his General Theory of Lie Groupoids and Lie Algebroids, in 2005, Mackenzie inserted a section of “Notes” at the end of each chapter. Yet he ad- vised his readers that his notes were “not comprehensive historical surveys”. After the chapter “Cohomology and Schouten calculus for Lie algebroids”, he wrote: “The Schouten bracket of multivector fields on a manifold goes back to Schouten [1954] and Nijenhuis [1955]. The same alge- braic structures on the cohomology of associative algebras were introduced by Gerstenhaber [1963].” ∗To appear in the Journal of Geometric Mechanics, 2021. 1 I shall try to expand on these elements of a story, and survey some of the early developments in the theory of the various graded brackets that Mackenzie cited and used1.
    [Show full text]
  • 2015 Newsletter
    2015 NEWSLETTER DEPARTMENT OF MATHEMATICS This newsletter is published annually for alumni & friends of Mathematics at the University of Washington 1 as an associate professor. In addition to his outstanding research and teaching, Jayadev founded and ran the Illinois Geometry Lab, which brought faculty and graduate students together with undergraduates to As I approach the halfway point of my term as chair, I continue foster undergraduate research. In addition, it engaged to delight in the successes of our students and faculty. You community members across the state with activities will learn about these stories in the pages that follow. Let me from Urbana-Champaign to Chicago. Jayadev has preview some of them here. begun to establish a similar program—the Washington Experimental Mathematics Lab—here. I can’t wait to For the sixth year in a row and the twelfth year in the past see the results. fourteen, one of our math majors received the Dean’s Medal in the Natural Sciences. I imagined that our streak couldn’t Inevitably, in parallel with the arrival of the new continue, but that was before I received letters of support comes the departure of others. This year, we lost Albert for David Jekel from faculty in both Math and Classics, his Nijenhuis, a member of our faculty from 1956 to 1964 other major. I knew then that we had a winner, given that the before moving to the University of Pennsylvania, and Classics faculty were as in awe of David’s talents as our own. then an affiliate faculty member upon retirement, when He is now off to UCLA to continue his mathematical studies.
    [Show full text]
  • Differential Geometry, Volume
    http://dx.doi.org/10.1090/pspum/003 DIFFERENTIAL GEOMETRY PROCEEDINGS OF THE THIRD SYMPOSIUM IN PURE MATHEMATICS OF THE AMERICAN MATHEMATICAL SOCIETY Held at the University of Arizona Tucson, Arizona February 18-19, 1960 With the Support of the NATIONAL SCIENCE FOUNDATION CARL B. ALLENDOERFER EDITOR PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS VOLUME III DIFFERENTIAL GEOMETRY AMERICAN MATHEMATICAL SOCIETY PROVIDENCE, RHODE ISLAND 1961 Library of Congress Catalog Card Number 50-1183 Prepared by the American Mathematical Society under Grant No. NSF-G10809 with the National Science Foundation Copyright © 1961 by the American Mathematical Society Printed in the United States of America All rights reserved except those granted to the United States Government. Otherwise, this book, or parts thereof, may not be reproduced in any form without permission of the publishers. CONTENTS PAGE INTRODUCTION vii A Report on the Unitary Group 1 By RAOUL BOTT Vector Bundles and Homogeneous Spaces 7 By M. F. ATIYAH and F. HIRZEBRUCH A Procedure for Killing Homotopy Groups of Differentiable Manifolds . 39 By JOHN MILNOR Some Remarks on Homological Analysis and Structures ........ 56 By D. C. SPENCER Vector Form Methods and Deformations of Complex Structures .... 87 By ALBERT NIJENHUIS Almost-Product Structures 94 By A. G. WALKER Homology of Principal Bundles 101 By ELD ON DYER and R. K. LASH OF Alexander-Pontrjagin Duality in Function Spaces 109 By JAMES EELLS, JR. The Cohomology of Lie Rings 130 By RICHARD S. PALAIS On the Theory of Solvmanifolds and Generalization with Applications to Differential Geometry 138 By Louis AUSLANDER Homogeneous Complex Contact Manifolds 144 By WILLIAM M.
    [Show full text]
  • Enumerative and Algebraic Combinatorics in the 1960'S And
    Enumerative and Algebraic Combinatorics in the 1960's and 1970's Richard P. Stanley University of Miami (version of 17 June 2021) The period 1960{1979 was an exciting time for enumerative and alge- braic combinatorics (EAC). During this period EAC was transformed into an independent subject which is even stronger and more active today. I will not attempt a comprehensive analysis of the development of EAC but rather focus on persons and topics that were relevant to my own career. Thus the discussion will be partly autobiographical. There were certainly deep and important results in EAC before 1960. Work related to tree enumeration (including the Matrix-Tree theorem), parti- tions of integers (in particular, the Rogers-Ramanujan identities), the Redfield- P´olya theory of enumeration under group action, and especially the repre- sentation theory of the symmetric group, GL(n; C) and some related groups, featuring work by Georg Frobenius (1849{1917), Alfred Young (1873{1940), and Issai Schur (1875{1941), are some highlights. Much of this work was not concerned with combinatorics per se; rather, combinatorics was the nat- ural context for its development. For readers interested in the development of EAC, as well as combinatorics in general, prior to 1960, see Biggs [14], Knuth [77, §7.2.1.7], Stein [147], and Wilson and Watkins [153]. Before 1960 there are just a handful of mathematicians who did a sub- stantial amount of enumerative combinatorics. The most important and influential of these is Percy Alexander MacMahon (1854-1929). He was a highly original pioneer, whose work was not properly appreciated during his lifetime except for his contributions to invariant theory and integer parti- tions.
    [Show full text]
  • The Cohomology of Koszul–Vinberg Algebras
    Pacific Journal of Mathematics THE COHOMOLOGY OF KOSZUL–VINBERG ALGEBRAS MICHEL NGUIFFO BOYOM Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 THE COHOMOLOGY OF KOSZUL–VINBERG ALGEBRAS MICHEL NGUIFFO BOYOM We study an intrinsic cohomology theory of Koszul–Vinberg algebras and their modules. Our results may be regarded as improvements of the attempt by Albert Nijenhuis in 1969. In particular, we completely solve a fundamen- tal problem raised by M. Gerstenhaber. A short appendix is devoted to the relationships between our results and the pioneering work of Nijenhuis. Introduction According to M. Gerstenhaber [1964], “every restricted deformation theory gener- ates its proper cohomology theory”. The deformation theory of associative algebras and their modules involves the Hochschild cohomology theory of associative alge- bras, and that of Lie algebras involves the Chevalley–Eilenberg cohomology theory of Lie algebras. The first attempt to define a cohomology theory of Koszul–Vinberg algebras goes back to Albert Nijenhuis [1968]. Recently his pioneering results were rediscovered in [Chapoton and Livernet 2001; Dzhumadil’daev 1999]. The role played by Koszul–Vinberg algebras in differential geometry and in algebraic- analytic geometry is quite important [Koszul 1968; Milnor 1977; Vey 1968; Vin- berg 1963; Vinberg and Kac 1967]. The deformation theory of these algebras is also related to Poisson manifolds [Nguiffo Boyom 2005] and to the theory of quantization deformation, to be discussed in a forthcoming work. The main aim of the present work is to initiate an intrinsic cohomology theory of Koszul–Vinberg algebras and their modules, or KV-cohomology. We focus on relationships between this cohomology theory and some classical problems: H 0(Ꮽ, · ) ←→ Ꮽ-equivariant objects, H 1(Ꮽ, · ) ←→ extensions of Ꮽ-modules, H 2(Ꮽ, · ) ←→ extension classes of algebras, H 2(Ꮽ, · ) ←→ deformation theory of algebraic structures, H 3(Ꮽ, · ) ←→ formal deformations of algebraic structures.
    [Show full text]
  • From Schouten to Mackenzie: Notes on Brackets
    JOURNAL OF GEOMETRIC MECHANICS doi:10.3934/jgm.2021010 ©American Institute of Mathematical Sciences FROM SCHOUTEN TO MACKENZIE: NOTES ON BRACKETS Yvette Kosmann-Schwarzbach Paris, France In Memory of Kirill Mackenzie (1951{2020) Abstract. In this paper, dedicated to the memory of Kirill Mackenzie, I relate the origins and early development of the theory of graded Lie brackets, first in the publications on differential geometry of Schouten, Nijenhuis, and Fr¨olicher{ Nijenhuis, then in the work of Gerstenhaber and Nijenhuis{Richardson in co- homology theory. Introduction. Many aspects of the contributions of Kirill Mackenzie to the theory of Lie groupoids and Lie algebroids, in particular to that of the double and multiple structures, are already classical and often cited. As a tribute to his memory, I shall survey the history of the emergence of some theories that were tools { among many others { in the development and description of his mathematics. In his General Theory of Lie Groupoids and Lie Algebroids, in 2005, Mackenzie inserted a section of \Notes" at the end of each chapter. Yet he advised his read- ers that his notes were \not comprehensive historical surveys". After the chapter \Cohomology and Schouten calculus for Lie algebroids", he wrote: \The Schouten bracket of multivector fields on a manifold goes back to Schouten [1954] and Nijenhuis [1955]. The same algebraic struc- tures on the cohomology of associative algebras were introduced by Gerstenhaber [1963]." I shall try to expand on these elements of a story, and survey some of the early developments in the theory of the various graded brackets that Mackenzie cited and used1.
    [Show full text]
  • Title of the Book & Author Publisher& Pages
    Title of the book & Author Publisher& Pages 1. Entropy and Information Theory Robert M. Gray | Springer, Published in 2008, 313 pages 2. Introduction to Information Retrieval Manning, Raghavan, Schütze | Cambridge University Press, Published in 2008, 496 pages 3. Partial Evaluation and Automatic Program Generation Neil D. Jones, Carsten K. Gomard, Peter Sestoft | Prentice Hall, Published in 1993, 400 pages 4. JPEG: Idea and Practice | Wikibooks, Published in 2011 5. Fundamentals of Cryptology: A Professional Reference and Interactive Tutorial Henk C. A. van Tilborg | Springer, Published in 1999, 503 pages 6. Tabu Search WassimJaziri | InTech, Published in 2008, 278 pages 7. Formal Syntax and Semantics of Programming Languages Kenneth Slonneger, Barry L. Kurtz | Addison Wesley Longman, Published in 1994, 637 pages 8. How to Write Parallel Programs: A First Course Nicholas Carriero, David Gelernter | MIT Press, Published in 1992, 246 pages 9. Natural Language Processing with Python Steven Bird, Ewan Klein, Edward Loper | O'Reilly Media, Published in 2009, 512 pages 10. Modern Computer Arithmetic Richard P. Brent, Paul Zimmermann | LORIA, Published in 2009, 239 pages 11. Introduction to Computer Science using Java Bradley Kjell | Central Connecticut State University, Published in 2006 12. Acceptance Test Engineering Guide GrigoriMelnik, Gerard Meszaros, Jon Bach | Microsoft, Published in 2009, 251 pages 13. Object Detection in Real Images Dilip K. Prasad | arXiv, Published in 2013, 123 pages 14. Information Theory and Coding John Daugman | University of Cambridge, Published in 2009, 75 pages 15. Rethinking Public Key Infrastructures and Digital Certificates Stefan A. Brands | The MIT Press, Published in 2000, 356 pages 16. Current Advancements in Stereo Vision 17.
    [Show full text]
  • Algebraic Geography: Varieties of Structure Constants
    Pacific Journal of Mathematics ALGEBRAIC GEOGRAPHY: VARIETIES OF STRUCTURE CONSTANTS FRANCIS JAMES FLANIGAN Vol. 27, No. 1 January 1968 PACIFIC JOURNAL OF MATHEMATICS Vol. 27, No. 1, 1968 ALGEBRAIC GEOGRAPHY: VARIETIES OF STRUCTURE CONSTANTS F. J. FLANIGAN Let ^ = cέ?{n, Ω) denote the algebraic set of structure constants for ^-dimensional associative algebras, a subset of Ωn*. Here Ω is a universal domain over a prime field F and a point c = (CMJ) with h, i, j = 1, , n is in ^ if and only if the multiplication (xh, Xi) -> XhX% = 2^ ChijXj is associative. The set ^ is readily seen to be F-closed in the Zariski topology on ΩnZ and is in fact a finite union of irreducible closed cones (the components of ^) with the origin as vertex. The natural "change of basis" action of the group G = GL(n, Ω) on ^ yields a one-one correspondence between orbits G-c on & and ^-dimensional ί2-algebras. One studies the globality of these algebras (and of algebras defined over subfields of Ω) by examining the geography of ^. Thus if S is a semi-simple ί2-algebra (more generally, if the Hochschild group H2(S, S) = (0)) then its corresponding orbit (denoted G-S) is open and therefore dense in its com- ponent ^o of ^. Thus S determines all algebras which live 2 on if 0. One checks that dim ^0 = n — n + s, where S = Si 0 θ & for simple Sa. Moreover, in the language of Gerstenhaber and Nijenhuis-Richardson, one may hope to de- form the algebras on ^Ό into S.
    [Show full text]
  • Cohomology and Deformations in Graded Lie Algebras1
    COHOMOLOGY AND DEFORMATIONS IN GRADED LIE ALGEBRAS1 ALBERT NIJENHUIS AND R. W. RICHARDSON, JR. Introduction. In an address to the Society in 1962, one of the authors gave an outline of the similarities between the deformations of complex-analytic structures on compact manifolds on one hand, and the deformations of associative algebras on the other. The first theory had been stimulated in 1957 by a paper [7] by Nijenhuis- Frölicher and extensively developed in a series of papers by Kodaira- Spencer, Kodaira-Spencer-Nirenberg and Kuranishi; the second had just been initiated by Gerstenhaber [9]. While fine details were not available at that time, it seemed that graded Lie algebras were the common core of both theories. In particular, in both cases, the set of deformed structures is represented by the set of solutions of a certain deformation equation in graded Lie algebras. This observation was further elaborated in a Research Announcement [16] of the authors, in which the concept of algebraic graded Lie algebra was carefully defined, and in which applications to deformations of Lie algebras and to representations, extensions and homomorphisms of algebras were indicated. The present paper gives a detailed discussion of the deformation equation in graded Lie algebras whose summands are finite-dimen­ sional. The paper starts with a general discussion of graded Lie algebras including the case of characteristic 2, and leads to a general deformation theorem, which is the precise analogue of Kuranishi's local completeness theorem for complex analytic structures [13]. (A more recent proof of this theorem [14] uses methods closely related to those indicated in [16].) The basic deformation theorems presented are 16.2, 18.1, 20.3, 22.1 and 23.4.
    [Show full text]