DOCSLIB.ORG

The Holomorphic Σ-Model and Its Symmetries

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Holomorphic Σ-Model and Its Symmetries The holomorphic s-model and its symmetries Brian R. Williams Contents 1 Introduction 3 1.1 Summary of the results...................................5 1.2 Overview...........................................5 2 Holomorphic quantum field theory7 2.1 The definition of a quantum field theory.........................9 2.1.1 Classical field theory................................9 2.1.2 Quantum field theory............................... 17 2.2 Holomorphic field theories................................ 21 2.2.1 The definition of a holomorphic theory..................... 22 2.2.2 Holomorphically translation invariant theories................. 29 2.3 Renormalization of holomorphic theories........................ 33 2.3.1 Holomorphic gauge fixing............................. 34 2.3.2 One-loop weights.................................. 36 2.3.3 A general result about chiral anomalies..................... 41 2.4 Equivariant BV quantization................................ 46 2.4.1 Classical equivariance............................... 48 2.4.2 Quantum equivariance............................... 48 2.4.3 The case of a local Lie algebra........................... 49 3 The holomorphic s-model 52 3.1 Gelfand-Kazhdan formal geometry............................ 55 3.1.1 A Harish-Chandra pair for the formal disk................... 55 3.1.2 Formal coordinates................................. 57 3.1.3 The category of formal vector bundles...................... 61 3.1.4 Gelfand-Kazhdan descent............................. 63 3.1.5 Formal characteristic classes............................ 66 3.1.6 A family of extended pairs............................ 72 3.2 Descent for extended pairs................................. 74 3.2.1 General theory of descent for L¥ pairs...................... 74 3.2.2 The flat connection from the extended pair................... 78 3.3 The classical holomorphic s-model............................ 80 1 3.3.1 The free bg system................................. 81 3.3.2 A description using L¥ spaces.......................... 84 3.4 Deformations of the holomorphic s-model....................... 87 3.4.1 Forms as local functionals............................. 89 3.4.2 Computing the deformation complex...................... 91 3.5 BV quantization of the holomorphic s-model...................... 94 3.5.1 The Wn-equivariant quantization......................... 95 3.5.2 Quantization on general manifolds via formal geometry........... 105 3.6 The local operators..................................... 107 3.6.1 The factorization algebra of observables..................... 108 3.6.2 The observables on the d-disk........................... 110 3.6.3 The sphere observables.............................. 114 3.6.4 The disk as a module................................ 124 3.6.5 A formula for the character............................ 127 4 Local symmetries of holomorphic theories 130 4.1 The current algebra on complex manifolds....................... 132 4.1.1 Definitions...................................... 132 4.1.2 Factorization Lie algebras............................. 135 4.1.3 Local cohomology................................. 137 4.1.4 The Kac-Moody factorization algebra...................... 141 4.2 Local structures of the Kac-Moody factorization algebra................ 142 4.2.1 The higher sphere algebras............................ 144 4.2.2 The strategy..................................... 145 4.2.3 An Ed algebra from tori.............................. 150 4.3 The Kac-Moody factorization algebra on general manifolds.............. 152 4.3.1 The P0-structure................................... 152 4.3.2 Factorization homology along Hopf manifolds................. 153 4.3.3 A variant of the factorization algebra...................... 156 4.4 Universal Grothendieck-Riemann-Roch from BV quantization............ 158 4.4.1 The classical family................................. 160 4.4.2 BV quantization in families............................ 161 4.4.3 Local to global................................... 165 4.4.4 A module for the higher Kac-Moody....................... 167 4.5 Holomorphic diffeomorphisms.............................. 168 4.5.1 Holomorphic vector fields............................. 168 4.5.2 Gelfand-Fuks cohomology............................ 173 4.5.3 The local cohomology of holomorphic vector fields.............. 175 4.5.4 An explicit description of the local cocycles................... 179 5 Appendix 182 5.1 The dg model for punctured affine space........................ 182 2 Chapter 1 Introduction The topic of this thesis is a mathematically rigorous analysis of a class of quantum field theories that depend on the complex structure of a manifold in an analogous way that topological theories depend on the smooth structure. Topological field theories have gained much interest in the world of mathematics due to their elegant functorial descriptions, as well as their applications to geometry and topology. Holomorphic theories, as we will define them, often contain strictly more information than their topological counterparts. We will show how such theories also admit their own mathematical description using techniques of homological algebra and renormalization combined with the theory of factorization algebras. This approach to perturbative quantum field theory is largely based on Costello’s program devel- oped in [Cos11] which provides a rigorous construction of the path integral where the quantum parameterh ¯ is treated formally. The central mathematical players in this setup are the observables of a quantum field theory. Physically speaking, the fields j are the objects describing a theory and the observables are the so-called measurements, or functions on the space of fields, j 7! O(j), one can perform on a system. These measurements appear in quantum theory through their expectation values Z hOi = Dj e−S(j)/¯h O(j), j2Fields where the integral is over the the fields j 2 Fields, and Dj e−S(j)/¯h is the a priori ill-defined path integral measure. The main objective of [Cos11] is to give a mathematical definition of this path integral measure largely inspired by a combination of the Wilsonian perspective of effective field theory together with Batalin-Vilkovisky approach to studying gauge theories. Building off of this foundation, the work of Costello-Gwilliam in [CG17,CG] sets up the mathematical theory of observables in quantum field theory using the language of factorization algebras. The idea of using factorization algebras to describe the observables of a theory was initiated in Beilinson-Drinfeld’s work on chiral algebras [BD04]. Their goal, in part, was to provide a geo- metric interpretation of vertex algebras in chiral conformal field theory. While the setting that Costello-Gwilliam work in is much more general than the world of conformal field theory, the 3 types of quantum field theories we study in this thesis can be viewed as a much more direct generalization of the chiral conformal field theory situation. In my previous work [Wil17, GGW, GWb, GWa] I have shown how many elements of conformal field theory, and bosonic string the- ory, have rigorous interpretations and extensions within the BV formalism. Throughout the the- sis we stress similarities with structures present in higher dimensional holomorphic theories with those of two-dimensional chiral conformal field theory. For instance, the state space of a holomor- phic theory is a natural dg module for the higher sphere algebra. In the other direction, it seems possible to write down a full algebraic structure that the local operators of a higher dimensional holomorphic theory, akin to that of a vertex algebra. These “higher dimensional” vertex algebras are outside of the scope of this thesis, but we hope to return to them in future publications. While the class of field theories we consider are very natural from a mathematical point of view, they also provide a unique perspective into well-studied physical theories. Often times, topo- logical theories provide a useful simplification, or approximation, of supersymmetric field theo- ries. Perhaps the most well-known example of this are the A and B-models of topological string theory. These are topological theories that appear as “twists” of the two-dimensional (2, 2)- supersymmetric s-model and have shown to be an extremely useful window into supersym- metric string theory. One issue with this is that for low numbers of supersymmetry, topological twists may not exist (for example, four-dimensional N = 1). On the other hand, holomorphic twists almost always exist. In this thesis, we make the argument that holomorphic theories in the BV formalism can provide insight into various supersymmetric theories while at the same time admit salient mathematical structures that are readily studied by well-known techniques in homological algebra. The primary holomorphic theory we focus on in this thesis is the holomorphic s-model. The classi- cal theory pertains to the moduli space of holomorphic maps between complex manifolds Y ! X. In complex dimension one, this theory has appeared as the holomorphic twist of the (0, 2)- supersymmetric s-model by Witten [Wit07] and was rigorously shown to recover the Witten genus by Costello in [Cosa]. In higher dimensions, we find a more sensitive invariant control- ling the quantization of the model, generalizing the geometric condition for a manifold to be String. This s-model appears naturally in many physical theories, most notably as reductions of (twists of) higher dimensional supersymmetric and supergravity
Load more

Recommended publications
  • 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.
    [Show full text]
  • 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 .
    [Show full text]
  • 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.
    [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]
  • 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].
    [Show full text]
  • M-Theory from the Superpoint
    M-Theory from the Superpoint John Huerta∗, Urs Schreibery March 21, 2017 Abstract The \brane scan" classifies consistent Green{Schwarz strings and membranes in terms of the invariant cocycles on super-Minkowski spacetimes. The \brane bouquet" generalizes this by consecutively forming the invariant higher central extensions induced by these cocycles, which yields the complete brane content of string/M-theory, including the D-branes and the M5- brane, as well as the various duality relations between these. This raises the question whether the super-Minkowski spacetimes themselves arise as maximal invariant central extensions. Here we prove that they do. Starting from the simplest possible super-Minkowski spacetime, the superpoint, which has no Lorentz structure and no spinorial structure, we give a systematic process of consecutive maximal invariant central extensions, and show that it discovers the super- Minkowski spacetimes that contain superstrings, culminating in the 10- and 11-dimensional super-Minkowski spacetimes of string/M-theory and leading directly to the brane bouquet. Contents 1 Introduction 2 2 Automorphisms of super-Minkowski spacetimes9 3 The consecutive maximal invariant central extensions of the superpoint 12 4 Outlook 17 A Background 17 A.1 Super Lie algebra cohomology............................... 17 A.2 Super Minkowski spacetimes................................ 20 ∗CAMGSD, Instituto Superior T´ecnico,Av. Ravisco Pais, 1049-001 Lisboa, Portugal yMathematics Institute of the Academy, Zitnaˇ 25, 115 67 Praha 1, Czech Republic, on leave at Bonn 1 1 Introduction In his \vision talk" at the annual string theory conference in 2014, Greg Moore highlighted the following open question in string theory [41, section 9]: Perhaps we need to understand the nature of time itself better.
    [Show full text]
  • Extended Self-Dual Yang-Mills from the N=2 String ∗
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by CERN Document Server hep-th/9712043 ITP–UH–31/97 EXTENDED SELF-DUAL YANG-MILLS FROM THE N=2 STRING ∗ Chandrashekar Devchand Max-Planck-Institut f¨ur Mathematik in den Naturwissenschaften Inselstraße 22-26, 04103 Leipzig, Germany E-mail: [email protected] Olaf Lechtenfeld Institut f¨ur Theoretische Physik, Universit¨at Hannover Appelstraße 2, 30167 Hannover, Germany http://www.itp.uni-hannover.de/˜lechtenf/ Abstract We show that the physical degrees of freedom of the critical open string with N=2 superconformal symmetry on the worldsheet are described by a self-dual Yang-Mills field on a hyperspace parametrised by the coordinates of the target space R2,2 to- gether with a commuting chiral spinor. A prepotential for the self-dual connection in the hyperspace generates the infinite tower of physical fields corresponding to the inequivalent pictures or spinor ghost vacua of this string. An action is presented for this tower, which describes consistent interactions amongst fields of arbitrarily high spin. An interesting truncation to a theory of five fields is seen to have no graphs of two or more loops. ∗ supported in part by the ‘Deutsche Forschungsgemeinschaft’; grant LE-838/5-1 1 Introduction The N=2 string1 has many unique features descending from various remarkable properties of the (1+1)-dimensional N=2 superconformal algebra, the gauge symmetry on the worldsheet. In particular, these superconformal gauge symmetries kill all oscillatory modes of the string, yielding a peculiar string without any massive modes.
    [Show full text]
  • T-Duality from Super Lie N-Algebra Cocycles for Super P-Branes
    T-Duality from super Lie n-algebra cocycles for super p-branes Domenico Fiorenza,∗ Hisham Sati,† Urs Schreiber‡ August 25, 2018 Abstract We compute the L∞-theoretic double dimensional reduction of the F1/Dp-brane super L∞- cocycles with coefficients in rationalized twisted K-theory from the 10d type IIA and type IIB super Lie algebras down to 9d. We show that the two resulting coefficient L∞-algebras are naturally related by an L∞-isomorphism which we find to act on the super p-brane cocycles by the infinitesimal version of the rules of topological T-duality and inducing an isomorphism between K0-cocycles in type IIA and K1-cocycles in type IIB, rationally. In particular this is a derivation of the Buscher rules for RR-fields (Hori’s formula) from first principles. Moreover, we show that these L∞-algebras are the homotopy quotients of the RR-charge coefficients by the “T-duality Lie 2-algebra”. We find that the induced L∞-extension is a gerby extension of a 9+(1+1) dimensional (i.e. “doubled”) T-duality correspondence super-spacetime, which serves as a local model for T-folds. We observe that this still extends, via the D0-brane cocycle of its type IIA factor, to a 10 + (1 + 1)-dimensional super Lie algebra. Finally we show that this satisfies expected properties of a local model space for F-theory elliptic fibrations. Contents 1 Introduction 2 2 Supersymmetry super Lie n-algebras 6 3 Double dimensional reduction 11 4 The brane supercocycles 20 arXiv:1611.06536v3 [math-ph] 31 Mar 2017 5 Super L∞-algebraic T-duality 24 6 T-Correspondence space and
    [Show full text]
  • 2.1 Central Extensions
    Central extensions and Symplectic Geometry Pedro Henrique Carvalho Silva Dissertação de Mestrado do Programa de Pós-Graduação em Matemática (PPG-Mat) UNIVERSIDADE DE SÃO PAULO DE SÃO UNIVERSIDADE Instituto de Ciências Matemáticas e de Computação Instituto Matemáticas de Ciências SERVIÇO DE PÓS-GRADUAÇÃO DO ICMC-USP Data de Depósito: Assinatura: ______________________ Pedro Henrique Carvalho Silva Central extensions and Symplectic Geometry Master dissertation submitted to the Institute of Mathematics and Computer Sciences – ICMC-USP, in partial fulfillment of the requirements for the degree of the Master Program in Mathematics. FINAL VERSION Concentration Area: Mathematics Advisor: Prof. Dr. Igor Mencattini USP – São Carlos March 2020 Ficha catalográfica elaborada pela Biblioteca Prof. Achille Bassi e Seção Técnica de Informática, ICMC/USP, com os dados inseridos pelo(a) autor(a) Carvalho Silva, Pedro Henrique C331c Central extensions and Symplectic Geometry / Pedro Henrique Carvalho Silva; orientador Igor Mencattini. -- São Carlos, 2020. 83 p. Dissertação (Mestrado - Programa de Pós-Graduação em Matemática) -- Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2020. 1. Lie theory. 2. Central Extensions. 3. Symplectic Geometry. I. Mencattini, Igor , orient. II. Título. Bibliotecários responsáveis pela estrutura de catalogação da publicação de acordo com a AACR2: Gláucia Maria Saia Cristianini - CRB - 8/4938 Juliana de Souza Moraes - CRB - 8/6176 Pedro Henrique Carvalho Silva Extensões centrais e Geometria Simpléctica Dissertação apresentada ao Instituto de Ciências Matemáticas e de Computação – ICMC-USP, como parte dos requisitos para obtenção do título de Mestre em Ciências – Matemática. VERSÃO REVISADA Área de Concentração: Matemática Orientador: Prof. Dr. Igor Mencattini USP – São Carlos Março de 2020 This work is dedicated to my mother Maria Lucia, to my sister Viória, and to my girlfriend Isadora Martins.
    [Show full text]
  • Lecture Notes on Lie Groups and Lie Algebras
    Instituto Superior T´ecnico Departamento de Matem´atica LECTURE NOTES ON LIE GROUPS AND LIE ALGEBRAS Contents 0. Introduction 1 1. Basic definitions 2 2. Lie's Theorems 8 3. The exponential map 14 4. The adjoint actions 21 5. Smooth actions 25 6. Invariant integration 34 7. The slice theorem 40 8. Review of linear algebra 44 9. Basic notions of Lie algebras 47 10. Engel's and Lie's Theorems 50 11. Cartan's criteria for solvability and semisimplicity 54 12. Lie modules and cohomology 60 13. The Whitehead Lemmas, Weyl's and Levi's Theorems, Lie's third Theorem 72 14. Representations of sl(2) 80 15. The Cartan decomposition of a semisimple Lie algebra 83 16. Root systems and Serre's relations. 91 17. The Weyl-Chevalley normal form. The compact form. 99 18. Representations of semisimple Lie algebras 102 19. Characters of compact Lie groups 105 20. The Peter-Weyl Theorem 110 21. The structure of compact Lie groups 118 References 124 0. Introduction These are lecture notes for a graduate course on Lie Groups and Lie Algebras taught at IST Lisbon in the Fall semester of 2017/2018 and again in 2018/2019. It is assumed that the reader is familiar with basic Differential Geometry (vector fields, differential forms, immersions and the Frobenius theorem in particular), basic point set topology including the fundamental group and covering spaces as well as basic algebra (linear algebra, tensor product, exact sequences). Basic algebraic and differential topology will also be invoked at very isolated instances. Date: January 25, 2019.
    [Show full text]
  • [Math.SG] 22 Feb 2008 an Abstract Setting for Hamiltonian Actions
    An abstract setting for hamiltonian actions Karl-Hermann Neeb and Cornelia Vizman October 31, 2018 Abstract In this paper we develop an abstract setup for hamiltonian group actions as follows: Starting with a continuous 2-cochain ω on a Lie algebra h with values in an h-module V , we associate subalgebras sp(h,ω) ⊇ ham(h,ω) of symplectic, resp., hamiltonian elements. Then ham(h,ω) has a natural central extension which in turn is contained in a larger abelian extension of sp(h,ω). In this setting, we study linear actions of a Lie group G on V which are compatible with a ho- momorphism g → ham(h,ω), i.e., abstract hamiltonian actions, cor- responding central and abelian extensions of G and momentum maps J : g → V . Keywords: central extension, momentum map, hamiltonian action, abelian extension, infinite dimensional Lie group MSC: 17B56, 35Q53 Introduction. arXiv:0802.3360v1 [math.SG] 22 Feb 2008 In [Br93] Brylinski describes how to associate to a connected, not necessarily finite-dimensional, smooth manifold M, endowed with a closed 2-form ω ∈ Ω2(M, R), a central extension of the Lie algebra ham(M,ω) of hamiltonian vector fields on M. If there exists an associated pre-quantum bundle P with connection 1-form θ and curvature ω (which is the case if ω is integral and M is smoothly paracompact), then Kostant’s central extension ([Ko70]) is given by the short exact sequence (T ֒→ Aut(P, θ)0 →→ Ham(M,ω) → 1 (1 → 1 1 of groups, where Aut(P, θ)0 is the group of those connection preserving auto- morphisms of P isotopic to the identity and Ham(M,ω) is the group of hamil- tonian diffeomorphisms of M.
    [Show full text]
  • The Algebraic Classification of Nilpotent Tortkara Algebras1,2
    The algebraic classification of nilpotent Tortkara algebras1,2 Ilya Gorshkova,b,c, Ivan Kaygorodovc & Mykola Khrypchenkod a Sobolev Institute of Mathematics, Novosibirsk, Russia b Siberian Federal University, Krasnoyarks, Russia c CMCC, Universidade Federal do ABC. Santo Andr´e, Brazil d Departamento de Matem´atica, Universidade Federal de Santa Catarina, Florian´opolis, Brazil E-mail addresses: Ilya Gorshkov ([email protected]) Ivan Kaygorodov ([email protected]) Mykola Khrypchenko ([email protected]) Abstract. We classify all 6-dimensional nilpotent Tortkara algebras over C. Keywords: Nilpotent algebra, Tortkara algebra, Malcev algebra, Lie algebra, algebraic classification, central extension. MSC2010: 17D10, 17D30. INTRODUCTION Algebraic classification (up to isomorphism) of 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 varieties of Jordan, Lie, Leibniz, Zinbiel and many another algebras [3,8,10–13,18,19,22,29]. Another interesting direction in classifications of algebras is geometric classification. We refer the reader to [27–29, 32] for results in this direction for Jordan, Lie, Leibniz, Zinbiel and other algebras. In the present paper, we give algebraic classification of nilpotent algebras of a new class of non-associative algebras introduced by Dzhumadildaev in [15]. An algebra A is called a Zinbiel algebra if it satisfies the identity (xy)z = x(yz + zy). Zinbiel algebras were introduced by Loday in [30] and studied in [9,14,16,17,27,31,34]. Under the Koszul duality, the operad of Zinbiel algebras is dual to the operad of Leibniz algebras.
    [Show full text]