Lie Algebra, Cartan Subalgebra, Root System, Symmetric Space

Total Page:16

File Type:pdf, Size:1020Kb

Lie Algebra, Cartan Subalgebra, Root System, Symmetric Space American Journal of Mathematics and Statistics 2016, 6(5): 197-202 DOI: 10.5923/j.ajms.20160605.01 The Role of Root System in Classification of Symmetric Spaces M-Alamin A. H. Ahmed1,2 1Department of Mathematics, Faculty of Science and Arts – Khulais, University of Jeddah, Saudi Arabia 2Department of Mathematics, Faculty of Education, Alzaeim Alazhari University (AAU), Khartoum, Sudan Abstract In this paper we have introduced a thorough study of Lie algebra, disclosing its contribution to classification of symmetric spaces via root systems. Any Lie algebra is associated to its Lie group through the exponential mapping, and also the Lie algebra corresponds to a given root system which gives its classification. A symmetric space can be represented as a coset space and so we can introduce a symmetric space algebraically using Lie groups and their Lie algebras, then by introducing restricted root systems we can classify symmetric spaces. We gave the theoretical background of this classification with some examples which helps in understanding and further study of this topic. Keywords Lie algebra, Cartan subalgebra, Root system, Symmetric Space Root systems are also the key ingredient in the 1. Introduction classification of finite –dimensional, simple Lie algebras. ɡ Symmetric spaces are special topic in Riemannian Corresponding to a simple Lie algebra we have a geometry, they were earlier studied and classified by Elie Cartan decomposition and so we have a root system. Since a Cartan (1869- 1951), and since then many scholars studied symmetric space is a homogeneous space that can be them and gave many of their applications in mathematics, represented as a coset space by using Lie groups and their physics and other scientific fields [3]. Symmetric spaces can Lie algebras, so Lie algebras and their root systems play a be introduced through different approaches. For instance fundamental role in classification of symmetric spaces [3]. algebraically they can be introduced through Lie groups and This classification is a continuous field of scientific research. their Lie algebras or geometrically by using curvature tensor. So we aim at giving the tools for this classification in our They can be viewed as Riemannian manifolds with point current paper. reflections [2], or with parallel curvature tensor or as a homogeneous space with special isotropy group or a Lie group with a certain involution and so on. The Fundamental 2. Lie Algebra property of Lie theory is that one may associate with any Lie A Lie algebra ɡ is a vector space with skew – symmetric group G a Lie algebra ɡ [1] & [4] & [6]. The Lie algebra is a ɡ ɡ vector space with properties that make it possible to deal bilinear map, called Lie bracket and written as [.,.] : × with using tools of linear algebra. The Lie group G is almost → ɡ which satisfies the Jacobi identity completely determined by its Lie algebra ɡ. There is a basic ++ ɡ → G x,,[ yz] y ,,[ zx] z ,,[ xy] connection between the two structures given by exp: [5] & [7]. For many scientific problems, the complicated =∀∈0,xyz , , ɡ nonlinear structure of the Lie group can be reformulated using the exponential map in the Lie algebra, and this makes 2.1. The Lie Algebra of a Lie Group it easy to use tools of linear algebra especially when we use Cartan subalgebras. This is defined as the tangent space to the Lie group at the A Lie group also is a differentiable manifold, and this identity. make it possible to join symmetric spaces as differentiable Here are some examples of important Lie algebras: manifolds also. 2.1.1. Examples * Corresponding author: For a field k of characteristic zero, we have the classical [email protected] (M-Alamin A. H. Ahmed) matrix algebras gln ( k ) of nn× matrices over k, sln ( k ) Published online at http://journal.sapub.org/ajms Copyright © 2016 Scientific & Academic Publishing. All Rights Reserved the subalgebra of gln ( k ) of those nn× matrices with 198 M-Alamin A. H. Ahmed: The Role of Root System in Classification of Symmetric Spaces ii) If α∈Φ and λα∈Φ , then λ =± determinant one. There are also the algebras sOn () of 1 iii) If α∈Φ , then Φ is closed under reflection through nn× orthogonal real matrices, or sUn () of nn× the hyperplane normal to α . unitary complex matrices. The bracket operation for all these iv) If αβ, ∈Φ , then is given by [X, Y] = XY − YX . 2,(αβ) 2.2. Definition (Ideals, Simple and Semisimple Lie αβ,:= ∈ (3.1) (ββ, ) Algebras) α∈Φ An ideal I of a Lie algebra ɡ is a vector space of ɡ such that The elements are called roots. [a,, b]∈ I ∀∈ a I and b ∈ɡ If θ is the angle between αβ& , then the possible A simple Lie algebra is the one which has no proper ideal. values of θ are: 0,,,,,,π ππ23 ππ π , Also a semisimple Lie algebra is the one which is a direct 23 34 4 sum of simple Lie algebras. ππ, 5 . This can be shown using the relation 66 2 2.2.1. Example 4,(αβ) αβ, = =4cos2 θ nn× 22 αβ (3.2) Let sln () be the set of all matrices of trace 0. αβ⋅ sln () is an ideal of gln () which is nonzero. So 3.1. Examples gln () is not simple. (i) {±(eij − e)|1 ≤≤ i jn ≤ + 1} is the root system of the 2.3. Theorem [3] Lie algebra A= sL( n +1,) . For a matrix group G⊆ GL( n, V ) (general linear n (ii) The set of standard basis vectors and their opposites group), the set {±ei |1 ≤≤ in} is a root system. ɡ =∈∈{X EndV:exp( tA) } , is a Lie algebra, called the Lie algebra of G. 3.2. The Weyl Group [5] The symmetry of a root system defined by reflection 2.4. Proposition [4] through the hyperplane perpendicular to α is given by Let α :GH→ be a continuous homomorphism between σ( β)= β − αβα, (3.3) matrix groups. Then there exists a unique Lie algebra α homomorphism dhα :ɡ→ such that the following diagram The group generated by {σαα : ∈Φ} is the weyl group commutes: of the system. GHα → 3.3. Decomposable and Indecomposable Root System exp↑↑ exp A root system Φ is said to be decomposable if it can be dα ɡ → h written as Φ=Φ ∪Φ such that (αα,0)= for all 12 12 αα∈Φand ∈Φ . We say Φ is indecomposable if it is 2.5. Definition (The Adjoint Representation) 11 2 2 not decomposable. Let ɡ be a Lie algebra over k. A representation of ɡ is a Lie Every root system can be written as the disjoint union of algebra homomorphism ρ:,ɡ→ gl( n k ) for some n called indecomposable root systems. the degree of the representation. We define a mapping 3.4. Positive and Simple Roots ad X from a Lie algebra to itself by adX:, Y→[ X Y ]. A positive root is one such that its first non-zero element → The mapping X ad X is a representation of the Lie (in the chosen basis) is positive. algebra called the adjoint representation. It is an + If we denote the set of positive roots by Φ ⊆Φ, they automorphism. satisfy : (1) ∀α ∈Φ , exactly ααor − ∈Φ+ 3. Root System (2) If αβ, ∈Φ+ , and if αβ+ is a root, then A root system Φ is a set of vectors in n such that: + αβ+ ∈Φ . n i) Φ spans and 0∉Φ The negative roots are the nonpositive roots. A simple root American Journal of Mathematics and Statistics 2016, 6(5): 197-202 199 for Φ is α∈Φ if it is not the sum of two other positive n Where ee12, ,... en are an orthonormal basis of . The roots. We denote the set of simple roots by Π . dimension of the system is indicated by its subscript, so all To find a set of simple roots, we must determine firstly span n except A . Also we have the exceptional root when two roots may be added together. If the angle θ n−1 αβ∈Φ systems GFEE2467,,, & E 8. between the two roots , is strictly obtuse, then αβ+ ∈Φ , If θ is strictly acute and βα≥ then αβ− ∈Φ . 4. Root System and Cartan Subalgebra Suppose ɡ is a complex simple Lie algebra with a vector 3.5. Theorem [4] space basis {xx12, ,... xn} . With respect to this basis we can Every root system has a set of simple roots Π such that discuss the structure of the Lie algebra ɡ. So we find the each α ∈Φ may be written as a linear combination of structure constants fi jk such that αγ∈ k elements of Π , that is ∑ γ , with kγ ∈ , and n γ ∈Π {xxi, j}=∑ f i jk (4.1) each kγ has the same sign. k =1 If as many as possible these structure constants are zeros, 3.6. Lemma [4] then we can find most of the information of ɡ through the The set of simple roots Π is an independent set, and is a constants fi jk , s. So we find what is called Cartan basis for n . subalgebra. 3.7. Height of a Root 4.1. Cartan Subalgebra ɧ A cartan subalgebra ɧ for a Lie algebra ɡ is a subalgebra If we fix a base Π⊂Φ, Π={αα12, ,......, αn} so that satisfying the following conditions: α ,1≤≤in are simple roots, for a root αα= c we i ∑ ii i) ɧ is a maximal abelian subalgebra of ɡ. define htα = c as the height of α .
Recommended publications
  • Hyperpolar Homogeneous Foliations on Symmetric Spaces of Noncompact Type
    HYPERPOLAR HOMOGENEOUS FOLIATIONS ON SYMMETRIC SPACES OF NONCOMPACT TYPE JURGEN¨ BERNDT Abstract. A foliation F on a Riemannian manifold M is homogeneous if its leaves coincide with the orbits of an isometric action on M. A foliation F is polar if it admits a section, that is, a connected closed totally geodesic submanifold of M which intersects each leaf of F, and intersects orthogonally at each point of intersection. A foliation F is hyperpolar if it admits a flat section. These notes are related to joint work with Jos´eCarlos D´ıaz-Ramos and Hiroshi Tamaru about hyperpolar homogeneous foliations on Riemannian symmetric spaces of noncompact type. Apart from the classification result which we proved in [1], we present here in more detail some relevant material about symmetric spaces of noncompact type, and discuss the classification in more detail for the special case M = SLr+1(R)/SOr+1. 1. Isometric actions on the real hyperbolic plane The special linear group a b G = SL2(R) = a, b, c, d ∈ R, ad − bc = 1 c d acts on the upper half plane H = {z ∈ C | =(z) > 0} by linear fractional transformations of the form a b az + b · z = . c d cz + d By equipping H with the Riemannian metric dx2 + dy2 dzdz¯ ds2 = = (z = x + iy) y2 =(z)2 we obtain the Poincar´ehalf-plane model of the real hyperbolic plane RH2. The above action of SL2(R) is isometric with respect to this metric. The action is transitive and the stabilizer at i is cos(s) sin(s) K = s ∈ R = SO2.
    [Show full text]
  • Computational Topics in Lie Theory and Representation Theory
    Utah State University DigitalCommons@USU All Graduate Theses and Dissertations Graduate Studies 5-2014 Computational Topics in Lie Theory and Representation Theory Thomas J. Apedaile Utah State University Follow this and additional works at: https://digitalcommons.usu.edu/etd Part of the Applied Statistics Commons Recommended Citation Apedaile, Thomas J., "Computational Topics in Lie Theory and Representation Theory" (2014). All Graduate Theses and Dissertations. 2156. https://digitalcommons.usu.edu/etd/2156 This Thesis is brought to you for free and open access by the Graduate Studies at DigitalCommons@USU. It has been accepted for inclusion in All Graduate Theses and Dissertations by an authorized administrator of DigitalCommons@USU. For more information, please contact [email protected]. COMPUTATIONAL TOPICS IN LIE THEORY AND REPRESENTATION THEORY by Thomas J. Apedaile A thesis submitted in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE in Mathematics Approved: Ian Anderson Nathan Geer Major Professor Committee Member Zhaohu Nie Mark R McLellan Committee Member Vice President for Research and Dean of the School of Graduate Studies UTAH STATE UNIVERSITY Logan, Utah 2014 ii Copyright c Thomas J. Apedaile 2014 All Rights Reserved iii ABSTRACT Computational Topics in Lie Theory and Representation Theory by Thomas J. Apedaile, Master of Science Utah State University, 2014 Major Professor: Dr. Ian Anderson Department: Mathematics and Statistics The computer algebra system Maple contains a basic set of commands for work- ing with Lie algebras. The purpose of this thesis was to extend the functionality of these Maple packages in a number of important areas. First, programs for defining multiplication in several types of Cayley algebras, Jordan algebras and Clifford algebras were created to allow users to perform a variety of calculations.
    [Show full text]
  • Invariant Differential Operators for Quantum Symmetric Spaces, I
    Invariant Differential Operators for Quantum Symmetric Spaces, I Gail Letzter∗ Mathematics Department Virginia Tech Blacksburg, VA 24061 [email protected] January 1, 2018 Abstract This is the first paper in a series of two which proves a version of a theorem of Harish-Chandra for quantum symmetric spaces in the maximally split case: There is a Harish-Chandra map which induces an isomorphism between the ring of quantum invariant differential op- erators and the ring of invariants of a certain Laurent polynomial ring under an action of the restricted Weyl group. Here, we establish this result for all quantum symmetric spaces defined using irreducible sym- metric pairs not of type EIII, EIV, EVII, or EIX. A quantum version of a related theorem due to Helgason is also obtained: The image of the center under this Harish-Chandra map is the entire invariant ring arXiv:math/0406193v1 [math.QA] 9 Jun 2004 if and only if the underlying irreducible symmetric pair is not one of these four types. Introduction In [HC2, Section 4], Harish-Chandra proved the following fundamental result for semisimple Lie groups: the Harish-Chandra map induces an isomorphism ∗supported by NSA grant no. MDA904-03-1-0033. AMS subject classification 17B37 1 between the ring of invariant differential operators on a symmetric space and invariants of an appropriate polynomial ring under the restricted Weyl group. When the symmetric space is simply a complex semisimple Lie group, this result is Harish-Chandra’s famous realization of the center of the enveloping algebra of a semisimple Lie algebra as Weyl group invariants of the Cartan subalgebra ([HC1]).
    [Show full text]
  • Irreducible Representations of Complex Semisimple Lie Algebras
    Irreducible Representations of Complex Semisimple Lie Algebras Rush Brown September 8, 2016 Abstract In this paper we give the background and proof of a useful theorem classifying irreducible representations of semisimple algebras by their highest weight, as well as restricting what that highest weight can be. Contents 1 Introduction 1 2 Lie Algebras 2 3 Solvable and Semisimple Lie Algebras 3 4 Preservation of the Jordan Form 5 5 The Killing Form 6 6 Cartan Subalgebras 7 7 Representations of sl2 10 8 Roots and Weights 11 9 Representations of Semisimple Lie Algebras 14 1 Introduction In this paper I build up to a useful theorem characterizing the irreducible representations of semisim- ple Lie algebras, namely that finite-dimensional irreducible representations are defined up to iso- morphism by their highest weight ! and that !(Hα) is an integer for any root α of R. This is the main theorem Fulton and Harris use for showing that the Weyl construction for sln gives all (finite-dimensional) irreducible representations. 1 In the first half of the paper we'll see some of the general theory of semisimple Lie algebras| building up to the existence of Cartan subalgebras|for which we will use a mix of Fulton and Harris and Serre ([1] and [2]), with minor changes where I thought the proofs needed less or more clarification (especially in the proof of the existence of Cartan subalgebras). Most of them are, however, copied nearly verbatim from the source. In the second half of the paper we will describe the roots of a semisimple Lie algebra with respect to some Cartan subalgebra, the weights of irreducible representations, and finally prove the promised result.
    [Show full text]
  • LIE GROUPS and ALGEBRAS NOTES Contents 1. Definitions 2
    LIE GROUPS AND ALGEBRAS NOTES STANISLAV ATANASOV Contents 1. Definitions 2 1.1. Root systems, Weyl groups and Weyl chambers3 1.2. Cartan matrices and Dynkin diagrams4 1.3. Weights 5 1.4. Lie group and Lie algebra correspondence5 2. Basic results about Lie algebras7 2.1. General 7 2.2. Root system 7 2.3. Classification of semisimple Lie algebras8 3. Highest weight modules9 3.1. Universal enveloping algebra9 3.2. Weights and maximal vectors9 4. Compact Lie groups 10 4.1. Peter-Weyl theorem 10 4.2. Maximal tori 11 4.3. Symmetric spaces 11 4.4. Compact Lie algebras 12 4.5. Weyl's theorem 12 5. Semisimple Lie groups 13 5.1. Semisimple Lie algebras 13 5.2. Parabolic subalgebras. 14 5.3. Semisimple Lie groups 14 6. Reductive Lie groups 16 6.1. Reductive Lie algebras 16 6.2. Definition of reductive Lie group 16 6.3. Decompositions 18 6.4. The structure of M = ZK (a0) 18 6.5. Parabolic Subgroups 19 7. Functional analysis on Lie groups 21 7.1. Decomposition of the Haar measure 21 7.2. Reductive groups and parabolic subgroups 21 7.3. Weyl integration formula 22 8. Linear algebraic groups and their representation theory 23 8.1. Linear algebraic groups 23 8.2. Reductive and semisimple groups 24 8.3. Parabolic and Borel subgroups 25 8.4. Decompositions 27 Date: October, 2018. These notes compile results from multiple sources, mostly [1,2]. All mistakes are mine. 1 2 STANISLAV ATANASOV 1. Definitions Let g be a Lie algebra over algebraically closed field F of characteristic 0.
    [Show full text]
  • Lattic Isomorphisms of Lie Algebras
    LATTICE ISOMORPHISMS OF LIE ALGEBRAS D. W. BARNES (received 16 March 1964) 1. Introduction Let L be a finite dimensional Lie algebra over the field F. We denote by -S?(Z.) the lattice of all subalgebras of L. By a lattice isomorphism (which we abbreviate to .SP-isomorphism) of L onto a Lie algebra M over the same field F, we mean an isomorphism of £P(L) onto J&(M). It is possible for non-isomorphic Lie algebras to be J?-isomorphic, for example, the algebra of real vectors with product the vector product is .Sf-isomorphic to any 2-dimensional Lie algebra over the field of real numbers. Even when the field F is algebraically closed of characteristic 0, the non-nilpotent Lie algebra L = <a, bt, • • •, br} with product defined by ab{ = b,, b(bf = 0 (i, j — 1, 2, • • •, r) is j2?-isomorphic to the abelian algebra of the same di- mension1. In this paper, we assume throughout that F is algebraically closed of characteristic 0 and are principally concerned with semi-simple algebras. We show that semi-simplicity is preserved under .Sf-isomorphism, and that ^-isomorphic semi-simple Lie algebras are isomorphic. We write mappings exponentially, thus the image of A under the map <p v will be denoted by A . If alt • • •, an are elements of the Lie algebra L, we denote by <a,, • • •, an> the subspace of L spanned by au • • • ,an, and denote by <<«!, • • •, «„» the subalgebra generated by a,, •••,«„. For a single element a, <#> = «a>>. The product of two elements a, 6 el.
    [Show full text]
  • LIE ALGEBRAS in CLASSICAL and QUANTUM MECHANICS By
    LIE ALGEBRAS IN CLASSICAL AND QUANTUM MECHANICS by Matthew Cody Nitschke Bachelor of Science, University of North Dakota, 2003 A Thesis Submitted to the Graduate Faculty of the University of North Dakota in partial ful¯llment of the requirements for the degree of Master of Science Grand Forks, North Dakota May 2005 This thesis, submitted by Matthew Cody Nitschke in partial ful¯llment of the require- ments for the Degree of Master of Science from the University of North Dakota, has been read by the Faculty Advisory Committee under whom the work has been done and is hereby approved. (Chairperson) This thesis meets the standards for appearance, conforms to the style and format require- ments of the Graduate School of the University of North Dakota, and is hereby approved. Dean of the Graduate School Date ii PERMISSION Title Lie Algebras in Classical and Quantum Mechanics Department Physics Degree Master of Science In presenting this thesis in partial ful¯llment of the requirements for a graduate degree from the University of North Dakota, I agree that the library of this University shall make it freely available for inspection. I further agree that permission for extensive copying for scholarly purposes may be granted by the professor who supervised my thesis work or, in his absence, by the chairperson of the department or the dean of the Graduate School. It is understood that any copying or publication or other use of this thesis or part thereof for ¯nancial gain shall not be allowed without my written permission. It is also understood that due recognition shall be given to me and to the University of North Dakota in any scholarly use which may be made of any material in my thesis.
    [Show full text]
  • Automorphisms of Modular Lie Algebr S
    Non Joumal of Algebra and Geometty ISSN 1060.9881 Vol. I, No.4, pp. 339-345, 1992 @ 1992 Nova Sdence Publishers, Inc. Automorphisms of Modular Lie Algebr�s Daniel E. Frohardt Robert L. Griess Jr. Dept. Math Dept. Math Wayne State University University of Michigan Faculty / Administration Building & Angell Hall Detroit, MI 48202 Ann Arbor, MI 48104 USA USA Abstract: We give a short argument ,that certain modular Lie algebras have sur­ prisingly large automorphism groups. 1. Introduction and statement of results A classical Lie algebra is one that has a Chevalley basis associated with an irre­ ducible root system. If L is a classical Lie algebra over a field K of characteristic 0 the'D.,L�has the following properties: (1) The automorphism group of L contains the ChevaUey group associated with the root system as a normal subgroup with torsion quotient grouPi (2) Lis simple. It has been known for some time that these properties do not always hold when K has positive characteristic, even when (2) is relaxed to condition (2') Lis quasi-simple, (that is, L/Z{L) is simple, where Z'{L) is the center of L), but the proofs have involved explicit computations with elements of the &lgebras. See [Stein] (whose introduction surveys the early results in this area ), [Hog]. Our first reSult is an easy demonstration of the instances of failure for (1) or (2') by use of graph automorphisms for certain Dynkin diagrams; see (2.4), (3.2) and Table 1. Only characteristics 2 and 3 are involved here., We also determine the automorphism groups of algebras of the form L/Z, where Z is a centr&l ideal of Land Lis one of the above classical quasisimple Lie algebras failing to satisfy (1) or (2'); see (3.8) and (3.9).
    [Show full text]
  • The Absolute Continuity of Convolution Products of Orbital Measures In
    The Absolute continuity of convolution products of orbital measures in exceptional symmetric spaces K. E. Hare and Jimmy He Abstract. Let G be a non-compact group, let K be the compact subgroup fixed by a Cartan involution and assume G/K is an exceptional, symmetric space, one of Cartan type E,F or G. We find the minimal integer, L(G), such that any convolution product of L(G) continuous, K-bi-invariant measures on G is absolutely continuous with respect to Haar measure. Further, any product of L(G) double cosets has non-empty interior. The number L(G) is either 2 or 3, depending on the Cartan type, and in most cases is strictly less than the rank of G. 1. Introduction In [18] Ragozin showed that if G is a connected simple Lie group and K a compact, connected subgroup fixed by a Cartan involution of G, then the convo- lution of any dim G/K, continuous, K-bi-invariant measures on G is absolutely continuous with respect to the Haar measure on G. This was improved by Graczyk and Sawyer in [8], who showed that when G is non-compact and n = rank G/K, then the convolution product of any n + 1 such measures is absolutely continuous. They conjectured that n + 1 was sharp with this property. This conjecture was shown to be false, in general, for the symmetric spaces of classical Cartan type in [11] (where it was shown that rank G/K suffices except when the restricted root system is type An).
    [Show full text]
  • The Absolute Continuity of Convolutions of Orbital Measures in Symmetric Spaces
    THE ABSOLUTE CONTINUITY OF CONVOLUTIONS OF ORBITAL MEASURES IN SYMMETRIC SPACES SANJIV KUMAR GUPTA AND KATHRYN E. HARE Abstract. We characterize the absolute continuity of convolution products of orbital measures on the classical, irreducible Riemannian symmetric spaces G/K of Cartan type III, where G is a non-compact, connected Lie group and K is a compact, connected subgroup. By the orbital measures, we mean the uniform measures supported on the double cosets, KzK, in G. The characteri- zation can be expressed in terms of dimensions of eigenspaces or combinatorial properties of the annihilating roots of the elements z. A consequence of our work is to show that the convolution product of any rankG/K, continuous, K-bi-invariant measures is absolutely continuous in any of these symmetric spaces, other than those whose restricted root system is type An or D3, when rankG/K +1 is needed. 1. Introduction In this paper, we study the smoothness properties of K-bi-invariant measures on the irreducible Riemannian symmetric spaces G/K, where G is a connected Lie group and K is a compact, connected subgroup fixed by a Cartan involution of G. Inspired by earlier work of Dunkl [6] on zonal measures on spheres, Ragozin in [27] and [28] showed that the convolution of any dim G/K, continuous, K-bi-invariant measures on G was absolutely continuous with respect to the Haar measure on G. This was improved by Graczyk and Sawyer, who in [10] showed that if G was non-compact and n = rankG/K, then any n + 1 convolutions of such measures is absolutely continuous and that this is sharp for the symmetric spaces whose restricted root system was type An.
    [Show full text]
  • View Technical Report
    Available at: http://www.ictp.it/~pub− off IC/2007/015 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS INVARIANT DIFFERENTIAL OPERATORS FOR NON-COMPACT LIE GROUPS: PARABOLIC SUBALGEBRAS V.K. Dobrev Institute for Nuclear Research and Nuclear Energy, Bulgarian Academy of Sciences, 72 Tsarigradsko Chaussee, 1784 Sofia, Bulgaria and The Abdus Salam International Centre for Theoretical Physics, Trieste, Italy. Abstract In the present paper we start the systematic explicit construction of invariant differen- tial operators by giving explicit description of one of the main ingredients - the cuspidal parabolic subalgebras. We explicate also the maximal parabolic subalgebras, since these are also important even when they are not cuspidal. Our approach is easily generalised to the supersymmetric and quantum group settings and is necessary for applications to string theory and integrable models. MIRAMARE – TRIESTE March 2007 1 1. Introduction Invariant differential operators play very important role in the description of physical sym- metries - starting from the early occurrences in the Maxwell, d’Allembert, Dirac, equations, (for more examples cf., e.g., [1]), to the latest applications of (super-)differential operators in conformal field theory, supergravity and string theory, (for a recent review, cf. e.g., [2]). Thus, it is important for the applications in physics to study systematically such operators. In the present paper we start with the classical situation, with the representation theory of semisimple Lie groups, where there are lots of results by both mathematicians and physi- cists, cf., e.g. [3-38]. We shall follow a procedure in representation theory in which such operators appear canonically [22] and which has been generalized to the supersymmetry setting [39] and to quantum groups [40].
    [Show full text]
  • Dynamical R-Matrices for Calogero Models
    Nuclear Physics B 621 [PM] (2002) 523–570 www.elsevier.com/locate/npe Dynamical R-matrices for Calogero models Michael Forger 1, Axel Winterhalder 2 Departamento de Matemática Aplicada, Instituto de Matemática e Estatística, Universidade de São Paulo, Caixa Postal 66281, BR-05315-970 São Paulo, SP, Brazil Received 17 July 2001; accepted 18 September 2001 Abstract We present a systematic study of the integrability of the Calogero models, degenerate as well as elliptic, associated with arbitrary (semi-)simple Lie algebras and with symmetric pairs of Lie algebras, where “integrability” is understood to encompass not only the existence of a Lax representation for the equations of motion but also the—more far-reaching—existence of a (dynamical) R-matrix. Using the standard group-theoretical machinery available in this context, we show that integrability of these models, in this sense, can be reduced to the existence of a certain function, denoted here by F , defined on the relevant root system and taking values in the respective Cartan subalgebra, subject to a rather simple set of algebraic constraints: these ensure, in one stroke, the existence of a Lax representation and of a dynamical R-matrix, all given by explicit formulas. We also show that among the simple Lie algebras, only those belonging to the A-series admit a solution of these constraints, whereas the AIII-series of symmetric pairs of Lie algebras, corresponding to the complex Grassmannians SU(p, q)/S(U(p) × U(q)), allows non-trivial solutions when |p − q| 1. Apart from reproducing all presently known dynamical R-matrices for Calogero models, our method provides new ones, namely for the degenerate models when |p − q|=1 and for the elliptic models when |p − q|=1orp = q.
    [Show full text]