DOCSLIB.ORG

The Weil Representation

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Weil Representation The Weil Representation Charlotte Chan June 7, 2012 Abstract This is my senior honors thesis done in my final year as an undergraduate at Stanford University, under the direction of Professor Akshay Venkatesh. We will construct the Weil representation of SL2(R) through a natural action of the Heisenberg group Heis(R) on the space of square-integrable 2 complex-valued functions L (R), together with the celebrated Stone-von Neumann theorem of functional analysis. Our approach will be to explicitly construct the analogous representation of 2 SL2(Fp ) on L (Fq ), for p an odd prime, using the finite-field equivalents of the aforementioned ingredients. This will allow us to separate the functional analytic complications of unitary representation theory of Lie groups from the representation theoretic and purely algebraic ideas. As the final arc to our triptych of stories, we will construct the Lie algebra analogue of the Weil representation through the Heisenberg algebra. Throughout this paper, we will be as explicit as possible while simultaneously giving motivation to our computations, allowing us to speak of concepts concretely without sacrificing the overarching philosophy. In spite of these efforts to make this paper self-contained, some proofs are omitted to avoid straying from the main arc of the story of the Weil representation. We will draw upon ideas from homological algebra, group theory, algebraic topology, functional analysis, measure theory, Lie theory, and, of course, representation theory. What is remarkable is that this topic touches as many subject areas as this paper will use, including number theory, harmonic analysis, topology, and physics. Because of its place in the intersection of a multitude of different fields, the Weil representation is also known, in the literature, as the Segal-Shale Weil representation, the metaplectic representation, the harmonic representation, and the oscillator representation. Contents 1 Introduction3 2 The Heisenberg Group7 2.1 The Structure of the Heisenberg Group as a Central Extension............7 2.2 The Action of SL2(K) .......................................8 2.3 The Heisenberg Representation................................ 12 3 The Finite-Field Model 14 3.1 The Representation Theory of Heis(Fp ) ........................... 14 3.2 Constructing a Map SL2(Fp ) PGLp (C) .......................... 15 3.3 Lifting Projective Representations! ............................... 20 3.4 The Schur Multiplier of SL2(Fp ) ................................ 23 3.5 The Weil Representation of SL2(Fp ) .............................. 25 4 The Real Case 26 4.1 The Representation Theory of Heis(R) ........................... 26 2 4.2 Constructing a Map SL2(R) PGL(L (R)) ........................ 27 ! 4.3 The Weil Representation for SLf2(R) ............................. 30 5 The Lie Algebra sl2(R) 32 5.1 The Lie Derivative......................................... 32 5.2 The Heisenberg Algebra..................................... 34 5.3 The Irreducibility of the Heisenberg Algebra Representation............. 36 5.3.1 Hermite Functions................................... 37 5.3.2 The Proof of Irreducibility.............................. 39 5.4 The Lie Algebra Analogue.................................... 40 5.5 Defining the Weil Representation for sl(2) ......................... 44 5.6 The Module Structure of the Weil Representation.................... 46 Acknowledgements 50 References and Bibliography 51 Colophon 53 1 Notation and Conventions K, a field G, a group g, a Lie algebra n 1 a b o Heis(K) := 0 1 c : a, b, c K , the Heisenberg group of K 0 0 1 2 Z(G), the center of G , an irreducible character of Z(Heis(K)) 2 L (K), square-integrable C-valued functions on K (see further comments on page 13) ¦ a b © SL2(K) := : a, b, c, d K, ad b c = 1 c d 2 − GL(V ), the space of invertible K-linear transformations V V for a vector space V over K ! End(V ), the space of K-linear transformations V V for a vector space V over K ! (R), the Schwartz space, the space of rapidly decreasing functions on R S ¦ a b © sl2(K) := : a, b, c, d K, a + d = 0 , the Lie algebra of SL2(K) c d 2 sl(2) := sl2(R) C, the complexified Lie algebra of SL2(R) ⊗R n 0 a c o heis(K) := 0 0 b : a, b, c K , the Heisenberg algebra of K, the Lie algebra of the 0 0 0 2 Heisenberg group Heis(K) heis := heis(R) C, the complexified Lie algebra of Heis(K) ⊗R Isom(H ) := φ : H H : φ(v),φ(w) = v, w , where , is the inner product with f ! h i h ig 〈· ·〉 which H is endowed. R+, the real numbers viewed as an additive group Vλ, a lowest weight module of weight λ Unless otherwise stated, all representations will be complex representations. 2 1 Introduction In this paper, we give three parallel constructions of Weil representation through the representa- tion theory of the Heisenberg group (or, in the Lie algebra case, the Heisenberg algebra). Namely, we construct the Weil representation for SL , SL , and for sl 2 : sl . In each 2(Fp ) 2(R) ( ) = 2(R) R C of these cases, we begin with a Heisenberg object (Heis , Heis , and heis : ⊗heis , (Fp ) (R) = (R) R C respectively) and study its representation theory. From this, we will construct a projective⊗ repre- sentation (of SL2(Fp ), SL2(R), and sl(2), respectively), and then lift this projective representation to a linear representation. This resulting representation is exactly the Weil representation and has a surprisingly significant role in many fields of mathematics, including number theory, topology, harmonic analysis, and physics. Unless otherwise stated, all representations in our discussion are complex representations. We will begin by discussing the Heisenberg group 80 1 9 1 a c <B C = Heis(K) = B0 1 bC : a, b, c K @ A 2 : 0 0 1 ; for a field K with characteristic away from 2. Section2 is completely focused on this discussion. 2 2 We will explicitly analyze its structure as a central extension of K⊕ by K, where K⊕ and K are viewed as additive groups. Hence we have a short exact sequence 2 0 K Heis(K) K⊕ 0. (1.1) ! ! ! ! Writing Z Z Heis K and Q Heis K Z, we obtain isomorphisms Z K and Q K 2. = ( ( )) = ( )= ∼= ∼= ⊕ Letting SL K act by matrix multiplication on Q K 2 and trivially on Z K, we obtain an 2( ) ∼= ⊕ ∼= action of SL2(K) on Heis(K). This is described explicitly by unravelling the second cohomology 2 class in H (Q,Z) associated to the isomorphism class of central extensions described by (1.1). This action of SL2(K) on Heis(K) is the first main ingredient in our construction of the Weil representation. The second main ingredient is the following Heisenberg representation associated to a central character. For an irreducible character : Z(Heis(K)) C, we will define a representation π on 2 ! 2 the C-vector space L (K) by the following action on f (x) L (K): 2 0 1 1 a c B C B0 1 bC f (x) := ( b x + c)f (x a). @ A · − − 0 0 1 In this paper, we will only discuss the specializations to K = Fp and K = R. In the former case, 2 L (K) has the obvious meaning as a p-dimensional C-vector space of C-valued functions on K, 3 2 and in the latter case, L (K) is defined to be the C-vector space of square-integrable functions on K with respect to the Lebesgue measure. This Heisenberg representation is discussed in Section 2.3. Given these two ingredients, the natural subsequent question is, “What happens when we put them together?” That is, what is the relationship between the representation π and the representation π g obtained by precomposing with the action of g SL2(K)? This is where the story ramifies into◦ the finite-field case and the real case. 2 The (complex) representation theory of Heis(Fp ) is simple. From the representation theory of finite groups, we know that the dimension of an irreducible representation of some finite group G must divide the order of G. Furthermore, the decomposition of the regular representation gives us that X 2 dim(V ) = G , j j where V ranges over a transversal of the isomorphism classes of irreducible representations of G. 3 2 Since Heis(Fp ) = p , we obtain arithmetically that Heis(Fp ) has p irreducible representations of dimensionj 1jand p 1 irreducible representations of dimension p. We in fact can say more − about the representations of Heis(Fp ): Theorem. For a non-trivial irreducible character :Z(Heis(Fp )) C, there exists a unique, up to ! isomorphism, representation of Heis(Fp ) such that Z(Heis(Fp )) acts by . This is the finite-field analogue of the celebrated Stone-von Neumann theorem from functional analysis. 2 It follows from the above theorem that the representation (π ,L (Fp )) is irreducible and that 2 this representation is isomorphic to (π g,L (Fp )) for any g SL2(Fp ). This means that there ◦ 2 2 exists an intertwining operator Φg : Heis(Fp ) GL(L (Fp )) = GLp (C) such that ! Φg (h)π (h) = (π g)(h)Φg (h), for all h H. ◦ 2 By Schur’s lemma, an intertwining operator between isomorphic irreducible representations is uniquely determined up to a scalar. Hence, from the Heisenberg representation together with the action of SL2(Fp ) on Heis(Fp ), we get the projective representation SL2(Fp ) PGLp (C), g [Φg ]. ! 7! (The notation [Φg ] means the image of Φg with respect to the surjection GLp (C) PGLp (C).) In Section 3.2, we explicitly compute this projective representation. ! We would like to lift this projective representation to a linear representation. In Section 3.3, we discuss the problem of lifting projective representations of a group G in general.
Load more

Recommended publications
  • Classification of Finite Abelian Groups
    Math 317 C1 John Sullivan Spring 2003 Classification of Finite Abelian Groups (Notes based on an article by Navarro in the Amer. Math. Monthly, February 2003.) The fundamental theorem of finite abelian groups expresses any such group as a product of cyclic groups: Theorem. Suppose G is a finite abelian group. Then G is (in a unique way) a direct product of cyclic groups of order pk with p prime. Our first step will be a special case of Cauchy’s Theorem, which we will prove later for arbitrary groups: whenever p |G| then G has an element of order p. Theorem (Cauchy). If G is a finite group, and p |G| is a prime, then G has an element of order p (or, equivalently, a subgroup of order p). ∼ Proof when G is abelian. First note that if |G| is prime, then G = Zp and we are done. In general, we work by induction. If G has no nontrivial proper subgroups, it must be a prime cyclic group, the case we’ve already handled. So we can suppose there is a nontrivial subgroup H smaller than G. Either p |H| or p |G/H|. In the first case, by induction, H has an element of order p which is also order p in G so we’re done. In the second case, if ∼ g + H has order p in G/H then |g + H| |g|, so hgi = Zkp for some k, and then kg ∈ G has order p. Note that we write our abelian groups additively. Definition. Given a prime p, a p-group is a group in which every element has order pk for some k.
    [Show full text]
  • Mathematics 310 Examination 1 Answers 1. (10 Points) Let G Be A
    Mathematics 310 Examination 1 Answers 1. (10 points) Let G be a group, and let x be an element of G. Finish the following definition: The order of x is ... Answer: . the smallest positive integer n so that xn = e. 2. (10 points) State Lagrange’s Theorem. Answer: If G is a finite group, and H is a subgroup of G, then o(H)|o(G). 3. (10 points) Let ( a 0! ) H = : a, b ∈ Z, ab 6= 0 . 0 b Is H a group with the binary operation of matrix multiplication? Be sure to explain your answer fully. 2 0! 1/2 0 ! Answer: This is not a group. The inverse of the matrix is , which is not 0 2 0 1/2 in H. 4. (20 points) Suppose that G1 and G2 are groups, and φ : G1 → G2 is a homomorphism. (a) Recall that we defined φ(G1) = {φ(g1): g1 ∈ G1}. Show that φ(G1) is a subgroup of G2. −1 (b) Suppose that H2 is a subgroup of G2. Recall that we defined φ (H2) = {g1 ∈ G1 : −1 φ(g1) ∈ H2}. Prove that φ (H2) is a subgroup of G1. Answer:(a) Pick x, y ∈ φ(G1). Then we can write x = φ(a) and y = φ(b), with a, b ∈ G1. Because G1 is closed under the group operation, we know that ab ∈ G1. Because φ is a homomorphism, we know that xy = φ(a)φ(b) = φ(ab), and therefore xy ∈ φ(G1). That shows that φ(G1) is closed under the group operation.
    [Show full text]
  • The Heisenberg Group Fourier Transform
    THE HEISENBERG GROUP FOURIER TRANSFORM NEIL LYALL Contents 1. Fourier transform on Rn 1 2. Fourier analysis on the Heisenberg group 2 2.1. Representations of the Heisenberg group 2 2.2. Group Fourier transform 3 2.3. Convolution and twisted convolution 5 3. Hermite and Laguerre functions 6 3.1. Hermite polynomials 6 3.2. Laguerre polynomials 9 3.3. Special Hermite functions 9 4. Group Fourier transform of radial functions on the Heisenberg group 12 References 13 1. Fourier transform on Rn We start by presenting some standard properties of the Euclidean Fourier transform; see for example [6] and [4]. Given f ∈ L1(Rn), we define its Fourier transform by setting Z fb(ξ) = e−ix·ξf(x)dx. Rn n ih·ξ If for h ∈ R we let (τhf)(x) = f(x + h), then it follows that τdhf(ξ) = e fb(ξ). Now for suitable f the inversion formula Z f(x) = (2π)−n eix·ξfb(ξ)dξ, Rn holds and we see that the Fourier transform decomposes a function into a continuous sum of characters (eigenfunctions for translations). If A is an orthogonal matrix and ξ is a column vector then f[◦ A(ξ) = fb(Aξ) and from this it follows that the Fourier transform of a radial function is again radial. In particular the Fourier transform −|x|2/2 n of Gaussians take a particularly nice form; if G(x) = e , then Gb(ξ) = (2π) 2 G(ξ). In general the Fourier transform of a radial function can always be explicitly expressed in terms of a Bessel 1 2 NEIL LYALL transform; if g(x) = g0(|x|) for some function g0, then Z ∞ n 2−n n−1 gb(ξ) = (2π) 2 g0(r)(r|ξ|) 2 J n−2 (r|ξ|)r dr, 0 2 where J n−2 is a Bessel function.
    [Show full text]
  • Weak Representation Theory in the Calculus of Relations Jeremy F
    Iowa State University Capstones, Theses and Retrospective Theses and Dissertations Dissertations 2006 Weak representation theory in the calculus of relations Jeremy F. Alm Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/rtd Part of the Mathematics Commons Recommended Citation Alm, Jeremy F., "Weak representation theory in the calculus of relations " (2006). Retrospective Theses and Dissertations. 1795. https://lib.dr.iastate.edu/rtd/1795 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Retrospective Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Weak representation theory in the calculus of relations by Jeremy F. Aim A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Roger Maddux, Major Professor Maria Axenovich Paul Sacks Jonathan Smith William Robinson Iowa State University Ames, Iowa 2006 Copyright © Jeremy F. Aim, 2006. All rights reserved. UMI Number: 3217250 INFORMATION TO USERS The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleed-through, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely event that the author did not send a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyright material had to be removed, a note will indicate the deletion.
    [Show full text]
  • Geometric Representation Theory, Fall 2005
    GEOMETRIC REPRESENTATION THEORY, FALL 2005 Some references 1) J. -P. Serre, Complex semi-simple Lie algebras. 2) T. Springer, Linear algebraic groups. 3) A course on D-modules by J. Bernstein, availiable at www.math.uchicago.edu/∼arinkin/langlands. 4) J. Dixmier, Enveloping algebras. 1. Basics of the category O 1.1. Refresher on semi-simple Lie algebras. In this course we will work with an alge- braically closed ground field of characteristic 0, which may as well be assumed equal to C Let g be a semi-simple Lie algebra. We will fix a Borel subalgebra b ⊂ g (also sometimes denoted b+) and an opposite Borel subalgebra b−. The intersection b+ ∩ b− is a Cartan subalgebra, denoted h. We will denote by n, and n− the unipotent radicals of b and b−, respectively. We have n = [b, b], and h ' b/n. (I.e., h is better to think of as a quotient of b, rather than a subalgebra.) The eigenvalues of h acting on n are by definition the positive roots of g; this set will be denoted by ∆+. We will denote by Q+ the sub-semigroup of h∗ equal to the positive span of ∆+ (i.e., Q+ is the set of eigenvalues of h under the adjoint action on U(n)). For λ, µ ∈ h∗ we shall say that λ ≥ µ if λ − µ ∈ Q+. We denote by P + the sub-semigroup of dominant integral weights, i.e., those λ that satisfy hλ, αˇi ∈ Z+ for all α ∈ ∆+. + For α ∈ ∆ , we will denote by nα the corresponding eigen-space.
    [Show full text]
  • Lie Algebras and Representation Theory Andreasˇcap
    Lie Algebras and Representation Theory Fall Term 2016/17 Andreas Capˇ Institut fur¨ Mathematik, Universitat¨ Wien, Nordbergstr. 15, 1090 Wien E-mail address: [email protected] Contents Preface v Chapter 1. Background 1 Group actions and group representations 1 Passing to the Lie algebra 5 A primer on the Lie group { Lie algebra correspondence 8 Chapter 2. General theory of Lie algebras 13 Basic classes of Lie algebras 13 Representations and the Killing Form 21 Some basic results on semisimple Lie algebras 29 Chapter 3. Structure theory of complex semisimple Lie algebras 35 Cartan subalgebras 35 The root system of a complex semisimple Lie algebra 40 The classification of root systems and complex simple Lie algebras 54 Chapter 4. Representation theory of complex semisimple Lie algebras 59 The theorem of the highest weight 59 Some multilinear algebra 63 Existence of irreducible representations 67 The universal enveloping algebra and Verma modules 72 Chapter 5. Tools for dealing with finite dimensional representations 79 Decomposing representations 79 Formulae for multiplicities, characters, and dimensions 83 Young symmetrizers and Weyl's construction 88 Bibliography 93 Index 95 iii Preface The aim of this course is to develop the basic general theory of Lie algebras to give a first insight into the basics of the structure theory and representation theory of semisimple Lie algebras. A problem one meets right in the beginning of such a course is to motivate the notion of a Lie algebra and to indicate the importance of representation theory. The simplest possible approach would be to require that students have the necessary background from differential geometry, present the correspondence between Lie groups and Lie algebras, and then move to the study of Lie algebras, which are easier to understand than the Lie groups themselves.
    [Show full text]
  • Representation Theory with a Perspective from Category Theory
    Representation Theory with a Perspective from Category Theory Joshua Wong Mentor: Saad Slaoui 1 Contents 1 Introduction3 2 Representations of Finite Groups4 2.1 Basic Definitions.................................4 2.2 Character Theory.................................7 3 Frobenius Reciprocity8 4 A View from Category Theory 10 4.1 A Note on Tensor Products........................... 10 4.2 Adjunction.................................... 10 4.3 Restriction and extension of scalars....................... 12 5 Acknowledgements 14 2 1 Introduction Oftentimes, it is better to understand an algebraic structure by representing its elements as maps on another space. For example, Cayley's Theorem tells us that every finite group is isomorphic to a subgroup of some symmetric group. In particular, representing groups as linear maps on some vector space allows us to translate group theory problems to linear algebra problems. In this paper, we will go over some introductory representation theory, which will allow us to reach an interesting result known as Frobenius Reciprocity. Afterwards, we will examine Frobenius Reciprocity from the perspective of category theory. 3 2 Representations of Finite Groups 2.1 Basic Definitions Definition 2.1.1 (Representation). A representation of a group G on a finite-dimensional vector space is a homomorphism φ : G ! GL(V ) where GL(V ) is the group of invertible linear endomorphisms on V . The degree of the representation is defined to be the dimension of the underlying vector space. Note that some people refer to V as the representation of G if it is clear what the underlying homomorphism is. Furthermore, if it is clear what the representation is from context, we will use g instead of φ(g).
    [Show full text]
  • Matrix Lie Groups
    Maths Seminar 2007 MATRIX LIE GROUPS Claudiu C Remsing Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown 6140 26 September 2007 RhodesUniv CCR 0 Maths Seminar 2007 TALK OUTLINE 1. What is a matrix Lie group ? 2. Matrices revisited. 3. Examples of matrix Lie groups. 4. Matrix Lie algebras. 5. A glimpse at elementary Lie theory. 6. Life beyond elementary Lie theory. RhodesUniv CCR 1 Maths Seminar 2007 1. What is a matrix Lie group ? Matrix Lie groups are groups of invertible • matrices that have desirable geometric features. So matrix Lie groups are simultaneously algebraic and geometric objects. Matrix Lie groups naturally arise in • – geometry (classical, algebraic, differential) – complex analyis – differential equations – Fourier analysis – algebra (group theory, ring theory) – number theory – combinatorics. RhodesUniv CCR 2 Maths Seminar 2007 Matrix Lie groups are encountered in many • applications in – physics (geometric mechanics, quantum con- trol) – engineering (motion control, robotics) – computational chemistry (molecular mo- tion) – computer science (computer animation, computer vision, quantum computation). “It turns out that matrix [Lie] groups • pop up in virtually any investigation of objects with symmetries, such as molecules in chemistry, particles in physics, and projective spaces in geometry”. (K. Tapp, 2005) RhodesUniv CCR 3 Maths Seminar 2007 EXAMPLE 1 : The Euclidean group E (2). • E (2) = F : R2 R2 F is an isometry . → | n o The vector space R2 is equipped with the standard Euclidean structure (the “dot product”) x y = x y + x y (x, y R2), • 1 1 2 2 ∈ hence with the Euclidean distance d (x, y) = (y x) (y x) (x, y R2).
    [Show full text]
  • Analogue of Weil Representation for Abelian Schemes
    ANALOGUE OF WEIL REPRESENTATION FOR ABELIAN SCHEMES A. POLISHCHUK This paper is devoted to the construction of projective actions of certain arithmetic groups on the derived categories of coherent sheaves on abelian schemes over a normal base S. These actions are constructed by mimicking the construction of Weil in [27] of a projective representation of the symplectic group Sp(V ∗ ⊕ V ) on the space of smooth functions on the lagrangian subspace V . Namely, we replace the vector space V by an abelian scheme A/S, the dual vector space V ∗ by the dual abelian scheme Aˆ, and the space of functions on V by the (bounded) derived category of coherent sheaves on A which we denote by Db(A). The role of the standard symplectic form ∗ ∗ ∗ −1 ˆ 2 on V ⊕ V is played by the line bundle B = p14P ⊗ p23P on (A ×S A) where P is the normalized Poincar´ebundle on Aˆ× A. Thus, the symplectic group Sp(V ∗ ⊕ V ) is replaced by the group of automorphisms of Aˆ×S A preserving B. We denote the latter group by SL2(A) (in [20] the same group is denoted by Sp(Aˆ ×S A)). We construct an action of a central extension of certain ”congruenz-subgroup” Γ(A, 2) ⊂ SL2(A) b on D (A). More precisely, if we write an element of SL2(A) in the block form a11 a12 a21 a22! then the subgroup Γ(A, 2) is distinguished by the condition that elements a12 ∈ Hom(A, Aˆ) and a21 ∈ Hom(A,ˆ A) are divisible by 2.
    [Show full text]
  • Structure Theory of Finite Conformal Algebras Alessandro D'andrea JUN
    Structure theory of finite conformal algebras by Alessandro D'Andrea Laurea in Matematica, Universith degli Studi di Pisa (1994) Diploma, Scuola Normale Superiore (1994) Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY June 1998 @Alessandro D'Andrea, 1998. All rights reserved. The author hereby grants to MIT permission to reproduce and to distribute publicly paper and electronic copies of this thesis document in whole or in part. A uthor .. ................................ Department of Mathematics May 6, 1998 Certified by ............................ Victor G. Kac Professor of Mathematics rc7rc~ ~ Thesis Supervisor Accepted by. Richard B. Melrose ,V,ASSACHUSETT S: i i. Chairman, Department Committee OF TECHNOLCaY JUN 0198 LIBRARIES Structure theory of finite conformal algebras by Alessandro D'Andrea Submitted to the Department ,of Mathematics on May 6, 1998, in partial fulfillment of the requirements for the degree of Doctor of Philosophy Abstract In this thesis I gave a classification of simple and semi-simple conformal algebras of finite rank, and studied their representation theory, trying to prove or disprove the analogue of the classical Lie algebra representation theory results. I re-expressed the operator product expansion (OPE) of two formal distributions by means of a generating series which I call "A-bracket" and studied the properties of the resulting algebraic structure. The above classification describes finite systems of pairwise local fields closed under the OPE. Thesis Supervisor: Victor G. Kac Title: Professor of Mathematics Acknowledgments The few people I would like to thank are those who delayed my thesis the most.
    [Show full text]
  • Problems in Abstract Algebra
    STUDENT MATHEMATICAL LIBRARY Volume 82 Problems in Abstract Algebra A. R. Wadsworth 10.1090/stml/082 STUDENT MATHEMATICAL LIBRARY Volume 82 Problems in Abstract Algebra A. R. Wadsworth American Mathematical Society Providence, Rhode Island Editorial Board Satyan L. Devadoss John Stillwell (Chair) Erica Flapan Serge Tabachnikov 2010 Mathematics Subject Classification. Primary 00A07, 12-01, 13-01, 15-01, 20-01. For additional information and updates on this book, visit www.ams.org/bookpages/stml-82 Library of Congress Cataloging-in-Publication Data Names: Wadsworth, Adrian R., 1947– Title: Problems in abstract algebra / A. R. Wadsworth. Description: Providence, Rhode Island: American Mathematical Society, [2017] | Series: Student mathematical library; volume 82 | Includes bibliographical references and index. Identifiers: LCCN 2016057500 | ISBN 9781470435837 (alk. paper) Subjects: LCSH: Algebra, Abstract – Textbooks. | AMS: General – General and miscellaneous specific topics – Problem books. msc | Field theory and polyno- mials – Instructional exposition (textbooks, tutorial papers, etc.). msc | Com- mutative algebra – Instructional exposition (textbooks, tutorial papers, etc.). msc | Linear and multilinear algebra; matrix theory – Instructional exposition (textbooks, tutorial papers, etc.). msc | Group theory and generalizations – Instructional exposition (textbooks, tutorial papers, etc.). msc Classification: LCC QA162 .W33 2017 | DDC 512/.02–dc23 LC record available at https://lccn.loc.gov/2016057500 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]
  • GEOMETRY and GROUPS These Notes Are to Remind You of The
    GEOMETRY AND GROUPS These notes are to remind you of the results from earlier courses that we will need at some point in this course. The exercises are entirely optional, although they will all be useful later in the course. Asterisks indicate that they are harder. 0.1 Metric Spaces (Metric and Topological Spaces) A metric on a set X is a map d : X × X → [0, ∞) that satisfies: (a) d(x, y) > 0 with equality if and only if x = y; (b) Symmetry: d(x, y) = d(y, x) for all x, y ∈ X; (c) Triangle Rule: d(x, y) + d(y, z) > d(x, z) for all x, y, z ∈ X. A set X with a metric d is called a metric space. For example, the Euclidean metric on RN is given by d(x, y) = ||x − y|| where v u N ! u X 2 ||a|| = t |an| n=1 is the norm of a vector a. This metric makes RN into a metric space and any subset of it is also a metric space. A sequence in X is a map N → X; n 7→ xn. We often denote this sequence by (xn). This sequence converges to a limit ` ∈ X when d(xn, `) → 0 as n → ∞ . A subsequence of the sequence (xn) is given by taking only some of the terms in the sequence. So, a subsequence of the sequence (xn) is given by n 7→ xk(n) where k : N → N is a strictly increasing function. A metric space X is (sequentially) compact if every sequence from X has a subsequence that converges to a point of X.
    [Show full text]