DOCSLIB.ORG

The Orthosymplectic Lie Supergroup in Harmonic Analysis Kevin Coulembier

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Orthosymplectic Lie Supergroup in Harmonic Analysis Kevin Coulembier The orthosymplectic Lie supergroup in harmonic analysis Kevin Coulembier Department of Mathematical Analysis, Faculty of Engineering, Ghent University, Belgium Abstract. The study of harmonic analysis in superspace led to the Howe dual pair (O(m) × Sp(2n);sl2). This Howe dual pair is incomplete, which has several implications. These problems can be solved by introducing the orthosymplectic Lie supergroup OSp(mj2n). We introduce Lie supergroups in the supermanifold setting and show that everything is captured in the Harish-Chandra pair. We show the uniqueness of the supersphere integration as an orthosymplectically invariant linear functional. Finally we study the osp(mj2n)-representations of supersymmetric tensors for the natural module for osp(mj2n). Keywords: Howe dual pair, Lie supergroup, Lie superalgebra, harmonic analysis, supersphere PACS: 02.10.Ud, 20.30.Cj, 02.30.Px PRELIMINARIES Superspaces are spaces where one considers not only commuting but also anti-commuting variables. The 2n anti- commuting variables x`i generate the complex Grassmann algebra L2n. Definition 1. A supermanifold of dimension mj2n is a ringed space M = (M0;OM ), with M0 the underlying manifold of dimension m and OM the structure sheaf which is a sheaf of super-algebras with unity on M0. The sheaf OM satisfies the local triviality condition: there exists an open cover fUigi2I of M0 and isomorphisms of sheaves of super algebras T : Ui ! ¥ ⊗ L . i OM CUi 2n The sections of the structure sheaf are referred to as superfunctions on M . A morphism of supermanifolds ] ] F : M ! N is a morphism of ringed spaces (f;f ), f : M0 ! N0, f : ON ! f∗OM . Each point p 2 M0 defines a morphism dp : ({∗};R) ! (M0;OM ), with {∗} the manifold consisting of one point. This is defined by ] ¥ dp( f ) = [ f ] (p) where [ f ] is the canonical projection ! . 0 0 OM CM0 mj2n m ¥ The flat supermanifold is given by = ( ; m ⊗ L ). The supervector x is defined as R R CR 2n x = (X1;··· ;Xm+2n) = (x;x`) = (x1;··· ;xm;x`1;··· ;x`2n): mj n (m+ n)×(m+ n) The orthosymplectic metric g on R 2 is defined as g 2 R 2 2 0 0 −1 1 ! 1 0 Im 0 B C 2n×2n 1 B . C g = with J2n 2 R given by J2n = B .. C: 0 J 2 B C 2n @ 0 −1 A 1 0 j i j We define X = Xig . The square of the ‘radial coordinate’ is given by m+2n m n 2 j 2 2 2 R = hx;xi = ∑ X Xj = ∑ xi − ∑ x`2 j−1x`2 j = r + q ; j=1 i=1 j=1 (m+ n)×(m+ n) see [3]. The Lie group of matrices S 2 R 2 2 which satisfy hS · x;S · xi = hx;xi, is identified with O(m) × Sp(2n), see [4]. The super gradient is defined as ∇ = (¶X1 ;··· ;¶Xm+2n ). From this expression and the metric we obtain the Laplace operator m+2n m n 2 2 = h ; i = k = − 4 : ∇ ∇ ∇ ∑ ¶Xk ¶X ∑ ¶xi ∑ ¶x`2 j−1 ¶x`2 j k=1 i=1 j=1 2 2 m−2n The super Euler operator is defined by E = hx;∇i. The operators −∇ =2, R =2 and E + 2 , generate the sl2 Lie algebra ([4]). The space of super polynomials is given by m ¥ m = [x ;··· ;x ] ⊗ L ⊂ mj n ( ) = ( ) ⊗ L : P R 1 m 2n OR 2 R C R 2n The polynomials of degree k are the elements P 2 P which satisfy EP = kP, the corresponding spaces are denoted 2 Pk. The polynomial null-solutions of ∇ of fixed degree are called spherical harmonics, the spaces are denoted 2 Hk = Pk \ ker∇ . Lemma 1 (Fischer decomposition). If m − 2n 62 −2N, P decomposes as ¥ ¥ ¥ M MM 2 j P = Pk = R Hk: (1) k=0 j=0 k=0 2 2 m−2n Since R , ∇ and E + 2 , which generate sl2, are O(m) × Sp(2n)-invariant we obtain the Howe dual pair L 2 j (O(m) × Sp(2n);sl2). This is closely related to the Fischer decomposition (1). The blocks j R Hk are irreducible 2 j 2 j sl2 representations with weight vectors R Hk. The weight vectors R Hk are O(m) × Sp(2n)-representations. In 2 j order to have a complete Howe dual pair, the blocks R Hk should be the irreducible parts of the representation (P;O(m) × Sp(2n)). However in superspace these blocks are not irreducible, see [4]. Another shortcoming of the Howe dual pair is that all functions of the form f (r2;q 2) are invariant under O(m) × Sp(2n). To have a complete Howe dual pair, only the polynomals R2 j should be one dimensional subrepresentations of P. Finally we introduce integration over the supersphere for polynomials, see [4], Theorem 1. When m 6= 0, the only (up to a multiplicative constant) linear functional T : P ! R satisfying the following properties for all f (x) 2 P: • T(R2 f (x)) = T( f (x)) • T( f (S · x)) = T( f (x)), 8S 2 O(m) × Sp(2n) • k 6= l =) T(HkHl) = 0 is given by the Pizzetti integral Z ¥ 2pm=2−n f (x) = (∇2k f )(0); f (x) 2 P: (2) m−1j2n ∑ 2k S k=0 2 k!G(k + m=2 − n) In the purely bosonic case, the third condition is implied by the first two. Summarizing, the theory of harmonic analysis in superspace with the Howe dual pair (O(m) × Sp(2n);sl2) has the following problems, 2 j • P1: The weight vectors R Hk of sl2 are not irreducible O(m) × Sp(2n) representations. • P2: The polynomials R2 j are not the only polynomials invariant under O(m) × Sp(2n). • P3: The supersphere integration is not uniquely determined by the O(m) × Sp(2n)-invariance and the modulo R2 − 1 property. These problems will be solved by introducing the orthosymplectic Lie supergroup. Our approach to Lie supergroups corresponds to the one in [1]. The details of the definitions can be found there. A Lie supergroup is a supermanifold G = (G0;OG ) equipped with the additional structure of a supermanifold morphism m : G × G ! G satisfying the associativity property and an involutive superdiffeomorphism s : G ! G . There is a distinguished point eG in the underlying manifold G0, which satisfies the identity property. The action of a Lie supergroup G = (G0;OG ) on a supermanifold M = (M0;OM ) is given by a supermanifold morphism Y : (G0;OG ) × (M0;OM ) ! (M0;OM ); which satisfies the logical conditions. INVARIANT FUNCTIONS AND HARISH-CHANDRA PAIRS In [1] the Lie superalgebra of a Lie supergroup is defined. The Lie superalgebra g corresponding to G is given by the elements of DerOG (G0) which are right (or left) invariant. Here DerOG is the sheaf over G0 of superderivations of the structure sheaf OG . For our purposes it will be more convenient to use a different and stronger characterization compared to [1], it can be proven however that the resulting algebra is identical. Definition 2. Consider a the Lie supergroup G with multiplication m. The Lie superalgebra g corresponding to G is the algebra with multiplication given by the Lie superbracket and with elements given by ] ] ] fX 2 DerOG (G0)jm ◦ X = X × idG ◦ m g: In order to be able to use Harish-Chandra pairs we also define the action of the Lie algebra on the supermanifold. Definition 3. The action of an element X 2 g on an element f 2 OM (M0) is given by g : (g;OM (M0)) ! OM (M0), g(X; f ) = d ] ◦ X × id] ◦ y]( f ): eG M In the bosonic case this definition coincides with the one given by differentiating the action of the Lie group. This definition implies an algebra morphism and can be extended to the universal enveloping algebra. Theorem 2. The isomorphism of vector spaces g ! Der ( ) X ! (X;·) is a Lie superalgebra morphism. OM M0 : g Now a superfunction f 2 OM (M0) is G -invariant for the action of a Lie supergroup on the super manifold M if ] y ( f ) = 1G × f . This invariance can be characterized using the underlying Lie group and the Lie superalgebra. Theorem 3. Given a superfunction f 2 OM (M0) and the action of a Lie supergroup G with Lie superalgebra g on M , Y : G × M ! M . The superfunction f is G -invariant if and only if f is G0-invariant and g(X; f ) = 0 for all X 2 g. A Harisch-Chandra pair is a pair (G0;g), consisting of a Lie group G0 and a Lie superalgebra g = g0 ⊕ g1. The algebra g0 is the Lie algebra of G0 and the Lie superbracket, restricted to g0 × g exponentiates to G0 × g. There is an equivalency in the sense of categories between Harish-Chandra pairs and Lie supergroups. Theorem 3 implies that the characterization of invariant functions is equivalent in the supermanifold or the Harish-Chandra approach. m The Lie group O(m) is the group of isometries of R which stabilize the origin. In [5], the isometry supergroup of a Riemannian supermanifold is defined in terms of its Harish-Chandra pair. Applying the definition to our flat Riemannian superspace yields mj n Theorem 4. The supergroup of isometries of the Riemannian superspace R 2 which stabilize the origin is the Lie supergroup OSp(mj2n), which corresponds to the Harish-Chandra pair (O(m) × Sp(2n);osp(mj2n)); ¥ m the action of osp(mj2n) on C (R ) ⊗ L2n is given by [i][ j] Li j = Xi¶X j − (−1) Xj¶Xi (3) for 1 ≤ i ≤ j ≤ m + 2n and [i] = 0 if i ≤ m and [i] = 1 otherwise.
Load more

Recommended publications
  • Mathematical Analysis of the Accordion Grating Illusion: a Differential Geometry Approach to Introduce the 3D Aperture Problem
    Neural Networks 24 (2011) 1093–1101 Contents lists available at SciVerse ScienceDirect Neural Networks journal homepage: www.elsevier.com/locate/neunet Mathematical analysis of the Accordion Grating illusion: A differential geometry approach to introduce the 3D aperture problem Arash Yazdanbakhsh a,b,∗, Simone Gori c,d a Cognitive and Neural Systems Department, Boston University, MA, 02215, United States b Neurobiology Department, Harvard Medical School, Boston, MA, 02115, United States c Universita' degli studi di Padova, Dipartimento di Psicologia Generale, Via Venezia 8, 35131 Padova, Italy d Developmental Neuropsychology Unit, Scientific Institute ``E. Medea'', Bosisio Parini, Lecco, Italy article info a b s t r a c t Keywords: When an observer moves towards a square-wave grating display, a non-rigid distortion of the pattern Visual illusion occurs in which the stripes bulge and expand perpendicularly to their orientation; these effects reverse Motion when the observer moves away. Such distortions present a new problem beyond the classical aperture Projection line Line of sight problem faced by visual motion detectors, one we describe as a 3D aperture problem as it incorporates Accordion Grating depth signals. We applied differential geometry to obtain a closed form solution to characterize the fluid Aperture problem distortion of the stripes. Our solution replicates the perceptual distortions and enabled us to design a Differential geometry nulling experiment to distinguish our 3D aperture solution from other candidate mechanisms (see Gori et al. (in this issue)). We suggest that our approach may generalize to other motion illusions visible in 2D displays. ' 2011 Elsevier Ltd. All rights reserved. 1. Introduction need for line-ends or intersections along the lines to explain the illusion.
    [Show full text]
  • Iasinstitute for Advanced Study
    IAInsti tSute for Advanced Study Faculty and Members 2012–2013 Contents Mission and History . 2 School of Historical Studies . 4 School of Mathematics . 21 School of Natural Sciences . 45 School of Social Science . 62 Program in Interdisciplinary Studies . 72 Director’s Visitors . 74 Artist-in-Residence Program . 75 Trustees and Officers of the Board and of the Corporation . 76 Administration . 78 Past Directors and Faculty . 80 Inde x . 81 Information contained herein is current as of September 24, 2012. Mission and History The Institute for Advanced Study is one of the world’s leading centers for theoretical research and intellectual inquiry. The Institute exists to encourage and support fundamental research in the sciences and human - ities—the original, often speculative thinking that produces advances in knowledge that change the way we understand the world. It provides for the mentoring of scholars by Faculty, and it offers all who work there the freedom to undertake research that will make significant contributions in any of the broad range of fields in the sciences and humanities studied at the Institute. Y R Founded in 1930 by Louis Bamberger and his sister Caroline Bamberger O Fuld, the Institute was established through the vision of founding T S Director Abraham Flexner. Past Faculty have included Albert Einstein, I H who arrived in 1933 and remained at the Institute until his death in 1955, and other distinguished scientists and scholars such as Kurt Gödel, George F. D N Kennan, Erwin Panofsky, Homer A. Thompson, John von Neumann, and A Hermann Weyl. N O Abraham Flexner was succeeded as Director in 1939 by Frank Aydelotte, I S followed by J.
    [Show full text]
  • A Mathematical Analysis of Student-Generated Sorting Algorithms Audrey Nasar
    The Mathematics Enthusiast Volume 16 Article 15 Number 1 Numbers 1, 2, & 3 2-2019 A Mathematical Analysis of Student-Generated Sorting Algorithms Audrey Nasar Let us know how access to this document benefits ouy . Follow this and additional works at: https://scholarworks.umt.edu/tme Recommended Citation Nasar, Audrey (2019) "A Mathematical Analysis of Student-Generated Sorting Algorithms," The Mathematics Enthusiast: Vol. 16 : No. 1 , Article 15. Available at: https://scholarworks.umt.edu/tme/vol16/iss1/15 This Article is brought to you for free and open access by ScholarWorks at University of Montana. It has been accepted for inclusion in The Mathematics Enthusiast by an authorized editor of ScholarWorks at University of Montana. For more information, please contact [email protected]. TME, vol. 16, nos.1, 2&3, p. 315 A Mathematical Analysis of student-generated sorting algorithms Audrey A. Nasar1 Borough of Manhattan Community College at the City University of New York Abstract: Sorting is a process we encounter very often in everyday life. Additionally it is a fundamental operation in computer science. Having been one of the first intensely studied problems in computer science, many different sorting algorithms have been developed and analyzed. Although algorithms are often taught as part of the computer science curriculum in the context of a programming language, the study of algorithms and algorithmic thinking, including the design, construction and analysis of algorithms, has pedagogical value in mathematics education. This paper will provide an introduction to computational complexity and efficiency, without the use of a programming language. It will also describe how these concepts can be incorporated into the existing high school or undergraduate mathematics curriculum through a mathematical analysis of student- generated sorting algorithms.
    [Show full text]
  • Arxiv:1912.01885V1 [Math.DG]
    DIRAC-HARMONIC MAPS WITH POTENTIAL VOLKER BRANDING Abstract. We study the influence of an additional scalar potential on various geometric and analytic properties of Dirac-harmonic maps. We will create a mathematical wishlist of the pos- sible benefits from inducing the potential term and point out that the latter cannot be achieved in general. Finally, we focus on several potentials that are motivated from supersymmetric quantum field theory. 1. Introduction and Results The supersymmetric nonlinear sigma model has received a lot of interest in modern quantum field theory, in particular in string theory, over the past decades. At the heart of this model is an action functional whose precise structure is fixed by the invariance under various symmetry operations. In the physics literature the model is most often formulated in the language of supergeome- try which is necessary to obtain the invariance of the action functional under supersymmetry transformations. For the physics background of the model we refer to [1] and [18, Chapter 3.4]. However, if one drops the invariance under supersymmetry transformations the resulting action functional can be investigated within the framework of geometric variational problems and many substantial results in this area of research could be achieved in the last years. To formulate this mathematical version of the supersymmetric nonlinear sigma model one fixes a Riemannian spin manifold (M, g), a second Riemannian manifold (N, h) and considers a map φ: M → N. The central ingredients in the resulting action functional are the Dirichlet energy for the map φ and the Dirac action for a spinor defined along the map φ.
    [Show full text]
  • On P-Adic Mathematical Physics B
    ISSN 2070-0466, p-Adic Numbers, Ultrametric Analysis and Applications, 2009, Vol. 1, No. 1, pp. 1–17. c Pleiades Publishing, Ltd., 2009. REVIEW ARTICLES On p-Adic Mathematical Physics B. Dragovich1**, A. Yu. Khrennikov2***, S.V.Kozyrev3****,andI.V.Volovich3***** 1Institute of Physics, Pregrevica 118, 11080 Belgrade, Serbia 2Va¨xjo¨ University, Va¨xjo¨,Sweden 3 Steklov Mathematical Institute, ul. Gubkina 8, Moscow, 119991 Russia Received December 15, 2008 Abstract—A brief review of some selected topics in p-adic mathematical physics is presented. DOI: 10.1134/S2070046609010014 Key words: p-adic numbers, p-adic mathematical physics, complex systems, hierarchical structures, adeles, ultrametricity, string theory, quantum mechanics, quantum gravity, prob- ability, biological systems, cognitive science, genetic code, wavelets. 1. NUMBERS: RATIONAL, REAL, p-ADIC We present a brief review of some selected topics in p-adic mathematical physics. More details can be found in the references below and the other references are mainly contained therein. We hope that this brief introduction to some aspects of p-adic mathematical physics could be helpful for the readers of the first issue of the journal p-Adic Numbers, Ultrametric Analysis and Applications. The notion of numbers is basic not only in mathematics but also in physics and entire science. Most of modern science is based on mathematical analysis over real and complex numbers. However, it is turned out that for exploring complex hierarchical systems it is sometimes more fruitful to use analysis over p-adic numbers and ultrametric spaces. p-Adic numbers (see, e.g. [1]), introduced by Hensel, are widely used in mathematics: in number theory, algebraic geometry, representation theory, algebraic and arithmetical dynamics, and cryptography.
    [Show full text]
  • A. Ya. Khintchine's Work in Probability Theory
    A.Ya. KHINTCHINE's WORK IN PROBABILITY THEORY Sergei Rogosin1, Francesco Mainardi2 1 Department of Economics, Belarusian State University Nezavisimosti ave 4, 220030 Minsk, Belarus e-mail: [email protected] (Corresponding author) 2 Department of Physics and Astronomy, Bologna University and INFN Via Irnerio 46, I-40126 Bologna, Italy e-mail: [email protected] Abstract The paper is devoted to the contribution in the Probability Theory of the well-known Soviet mathematician Alexander Yakovlevich Khint- chine (1894{1959). Several of his results are described, in particu- lar those fundamental results on the infinitely divisible distributions. Attention is paid also to his interaction with Paul L´evy. The con- tent of the paper is related to our joint book The Legacy of A.Ya. Khintchine's Work in Probability Theory published in 2010 by Cam- bridge Scientific Publishers. It is published in Notices of the Inter- national Congress of Chinese Mathematicians (ICCM), International Press, Boston, Vol. 5, No 2, pp. 60{75 (December 2017). DOI: 10.4310/ICCM.2017.v5.n2.a6 Keywords: History of XX Century Mathematics, A.Ya.Khintchine, Probability Theory, Infinitely Divisible Distributions. AMS 2010 Mathematics Subject Classification: 01A60, 60-03, 60E07. 1. Introduction:::::::::::::::::::::::::::::::::::::::::::::::::: 2 2. Short biography of Alexander Yakovlevich Khintchine::: 3 3. First papers in Probability: 1924{1936: : : : : : : : : : : : : : : : : : ::: 5 4. The interaction with Paul L´evy:::::::::::::::::::::::::::::10 5. Infinitely divisible
    [Show full text]
  • Analytic Trends in Mathematical Physics
    741 Analytic Trends in Mathematical Physics Arizona School of Analysis and Mathematical Physics March 5–9, 2018 University of Arizona, Tucson, Arizona Houssam Abdul-Rahman Robert Sims Amanda Young Editors Analytic Trends in Mathematical Physics Arizona School of Analysis and Mathematical Physics March 5–9, 2018 University of Arizona, Tucson, Arizona Houssam Abdul-Rahman Robert Sims Amanda Young Editors 741 Analytic Trends in Mathematical Physics Arizona School of Analysis and Mathematical Physics March 5–9, 2018 University of Arizona, Tucson, Arizona Houssam Abdul-Rahman Robert Sims Amanda Young Editors EDITORIAL COMMITTEE Dennis DeTurck, Managing Editor Michael Loss Kailash Misra Catherine Yan 2010 Mathematics Subject Classification. Primary 05C80, 60H15, 60J10, 81Q10, 81Q15, 82B20, 82B44, 82C10, 82C20, 82C22, 90B15. Library of Congress Cataloging-in-Publication Data Names: Abdul-Rahman, Houssam M.A., editor. | Sims, Robert, 1975- editor. | Young, Amanda, 1986- editor. | Arizona School of Analysis and Mathematical Physics (2018 : Tucson, Ariz.) Title: Analytic trends in mathematical physics / Houssam Abdul-Rahman, Robert Sims, Amanda Young, editors. Description: Providence, Rhode Island : American Mathematical Society, [2020] | Series: Con- temporary mathematics ; volume 741 | “Arizona School of Analysis and Mathematical Physics, March 5-9, 2018, University of Arizona, Tucson, Arizona.” | Includes bibliographical references. Identifiers: LCCN 2019028744 | ISBN 9781470448417 (paperback) — ISBN 9781470453886 (ebook) Subjects: LCSH: Mathematical physics. | Mathematical analysis. Classification: LCC QC20.7.A5 A54 2020 | DDC 530.155–dc23 LC record available at https://lccn.loc.gov/2019028744 DOI: https://doi.org/10.1090/conm/741 Color graphic policy. Any graphics created in color will be rendered in grayscale for the printed version unless color printing is authorized by the Publisher.
    [Show full text]
  • Geometric Analysis
    IAS/PARK CITY MATHEMATICS SERIES Volume 22 Geometric Analysis Hubert L. Bray Greg Galloway Rafe Mazzeo Natasa Sesum Editors American Mathematical Society Institute for Advanced Study Geometric Analysis https://doi.org/10.1090//pcms/022 IAS/PARK CITY MATHEMATICS SERIES Volume 22 Geometric Analysis Hubert L. Bray Greg Galloway Rafe Mazzeo Natasa Sesum Editors American Mathematical Society Institute for Advanced Study Hubert Lewis Bray, Gregory J. Galloway, Rafe Mazzeo, and Natasa Sesum, Volume Editors IAS/Park City Mathematics Institute runs mathematics education programs that bring together high school mathematics teachers, researchers in mathematics and mathematics education, undergraduate mathematics faculty, graduate students, and undergraduates to participate in distinct but overlapping programs of research and education. This volume contains the lecture notes from the Graduate Summer School program 2010 Mathematics Subject Classification. Primary 53-06, 35-06, 83-06. Library of Congress Cataloging-in-Publication Data Geometric analysis / Hubert L. Bray, editor [and three others]. pages cm. — (IAS/Park City mathematics series ; volume 22) Includes bibliographical references. ISBN 978-1-4704-2313-1 (alk. paper) 1. Geometric analysis. 2. Mathematical analysis. I. Bray, Hubert L., editor. QA360.G455 2015 515.1—dc23 2015031562 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society.
    [Show full text]
  • Mathematical Analysis, Second Edition
    PREFACE A glance at the table of contents will reveal that this textbooktreats topics in analysis at the "Advanced Calculus" level. The aim has beento provide a develop- ment of the subject which is honest, rigorous, up to date, and, at thesame time, not too pedantic.The book provides a transition from elementary calculusto advanced courses in real and complex function theory, and it introducesthe reader to some of the abstract thinking that pervades modern analysis. The second edition differs from the first inmany respects. Point set topology is developed in the setting of general metricspaces as well as in Euclidean n-space, and two new chapters have been addedon Lebesgue integration. The material on line integrals, vector analysis, and surface integrals has beendeleted. The order of some chapters has been rearranged, many sections have been completely rewritten, and several new exercises have been added. The development of Lebesgue integration follows the Riesz-Nagyapproach which focuses directly on functions and their integrals and doesnot depend on measure theory.The treatment here is simplified, spread out, and somewhat rearranged for presentation at the undergraduate level. The first edition has been used in mathematicscourses at a variety of levels, from first-year undergraduate to first-year graduate, bothas a text and as supple- mentary reference.The second edition preserves this flexibility.For example, Chapters 1 through 5, 12, and 13 providea course in differential calculus of func- tions of one or more variables. Chapters 6 through 11, 14, and15 provide a course in integration theory. Many other combinationsare possible; individual instructors can choose topics to suit their needs by consulting the diagram on the nextpage, which displays the logical interdependence of the chapters.
    [Show full text]
  • Bernstein-Gelfand-Gelfand Resolutions for Linear Superalgebras
    Bernstein-Gelfand-Gelfand resolutions for linear superalgebras K. Coulembier∗ Department of Mathematical Analysis Faculty of Engineering and Architecture – Ghent University Krijgslaan 281, 9000 Gent, Belgium Abstract In this paper we construct resolutions of finite dimensional irreducible gl(m|n)-modules in terms of generalized Verma modules. The resolutions are determined by the Kostant cohomology groups and extend the strong (Lepowsky-)Bernstein-Gelfand-Gelfand resolutions to the setting of Lie super- algebras. It is known that such resolutions for finite dimensional representations of Lie superalgebras do not exist in general. Thus far they have only been discovered for gl(m|n) in case the parabolic subalgebra has reductive part equal to gl(m) ⊕ gl(n) and for tensor modules. In the current paper we prove the existence of the resolutions for tensor modules of gl(m|n) or sl(m|n) and their duals for an extensive class of parabolic subalgebras including the ones already considered in the literature. MSC 2010 : 17B10, 17B55, 58J10, 53A55 Keywords : BGG resolutions, Kostant cohomology, linear superalgebra, Verma module, coinduced module 1 Introduction and overview of main results The BGG resolutions are resolutions of representations of Lie algebras in terms of (generalized) Verma modules, see [2, 16]. In [2] this was applied to obtain a simple proof of Bott’s theorem. These resolutions and their corresponding morphisms between Verma modules have an interesting dual side in terms of invariant differential operators, see [5, 6, 13]. These differential operators have applications in many areas, see references in [5, 6, 13] or [12] and [14] for concrete applications.
    [Show full text]
  • Cs6402 Design and Analysis of Algorithms
    CS6402/DESIGN AND ANALYSIS OF ALGORITHMS M.I.E.T. ENGINEERING COLLEGE (Approved by AICTE and Affiliated to Anna University Chennai) TRICHY – PUDUKKOTTAI ROAD, TIRUCHIRAPPALLI – 620 007 DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING COURSE MATERIAL CS6402 DESIGN AND ANALYSIS OF ALGORITHMS II YEAR - IV SEMESTER M.I.E.T. /CSE/ II /DESIGN AND ANALYSIS OF ALGORITHMS CS6402/DESIGN AND ANALYSIS OF ALGORITHMS M.I.E.T. ENGINEERING COLLEGE (Approved by AICTE and Affiliated to Anna University Chennai) TRICHY – PUDUKKOTTAI ROAD, TIRUCHIRAPPALLI – 620 007 DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING SYLLABUS (THEORY) Sub. Code : CS6402 Branch / Year / Sem : CSE/II/IV Sub.Name : DESIGN AND ANALYSIS OF ALGORITHMS Staff Name : P.CHRISTOPHER CS6402 DESIGN AND ANALYSIS OF ALGORITHMS L T P C 3 0 0 3 UNIT I INTRODUCTION 9 Notion of an Algorithm Fundamentals of Algorithmic Problem Solving Important Problem Types Fundamentals of the Analysis of Algorithm Efficiency Analysis Framework Asymptotic Notations and– its properties Mathematical analysis for –Recursive and Non- recursive– algorithms. – – UNIT II BRUTE FORCE AND DIVIDE-AND-CONQUER– 9 Brute Force - Closest-Pair and Convex-Hull Problems-Exhaustive Search - Travelling Salesman Problem - Knapsack Problem - Assignment problem. Divide and conquer methodology Merge sort Quick sort Binary search Multiplication of Large Integers Multiplication-Closest-Pair and Convex-Hull Problems. – UNIT– III DYNAMIC– PROGRAMMING– AND GREEDY TECHNIQUE – Strassen’s 9 Matrix Computing a Binomial Coefficient Optimal Binary Search Trees Knapsack Problem and Memory functions. Greedy Technique - Kruskal's Algorithm- Dijkstra's Algorithm-Huffman– Warshall’s and Tr Floyd’ees. algorithm – UNIT IV– ITERATIVE IMPROVEMENT – Prim’s 9 algorithm The Simplex Method-The Maximum-Flow Problem Maximum Matching in Bipartite Graphs- The Stable marriage Problem.
    [Show full text]
  • Mathematical Analysis in Ancient Greece
    WDS'08 Proceedings of Contributed Papers, Part I, 27–31, 2008. ISBN 978-80-7378-065-4 © MATFYZPRESS Mathematical Analysis in Ancient Greece K. Cernˇ ekov´a Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic. Abstract. The article deals with ideas of mathematical analysis which appeared in the ancient Greece. Our goal is to present the method, that gave us the modern perspective on the history of these ideas. We start with the theory of exhaustion used in the twelfth book of Euclid’s Elements (ca. 300 B.C.), which bears the idea of correct integration techniques based on Proposition X,1. However, Euclid did not invented this theory, nor referred to the author. Later on, Archimedes mentioned in his works that earlier geometers used this lemma to prove important theorems of plane geometry, and Eudoxus (4th century B.C.) was the first one, who proved some of them. This indicates, and is nowadays believed, that Eudoxus proved Proposition X,1 and many other theorems from the twelfth book of Euclid’s Elements. On the other hand Simplicius stated that one of those important geometrical theorems was already proved by Hippocrates of Chios in the 5th century B.C. But he did not mention, how Hippocrates proved it. This yields us a dilemma whether to call a founder somebody who discovered the idea and intuitively used it in one case, or someone who firmly formulated and proved the basic idea and explained its usage in many problems. Ideas of Mathematical Analysis The theory of mathematical analysis from a modern point of view was established in the 17th century, but we can trace the ideas throughout history.
    [Show full text]