DOCSLIB.ORG

D-Modules and Representation Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
D-Modules and Representation Theory 11:32a.m. March 15, 2012 D-modules and representation theory Bill Casselman University of British Columbia [email protected] This records my attempt to understand the role of D•modules in representation theory. My main reference has been the short survey [Miliˇci´c:1993]. Let G be a connected complex reductive group, K the subgroup fixed by an involution. These are derived from a reductive group GR defined over R and a maximal compact subgroup KR. Let X be the flag variety of G, parametrizing its Borel subgroups. The basic idea is to explain the dictionary between what Miliˇci´ccalls Harish-Chandra sheaves on X and Harish•Chandra modules of (G,K). Without details, I recall that a Harish•Chandra sheaf is a coherent sheaf F with support on a K•orbit Y in X, together with a K•equivariant connection τ on that orbit. These data determine the structure of a Dλ•module on some space associated to the pair (Y, τ), with support on the closure of Y . Such connections (and the vector bundle of the connection) sheaves are determined by a finite•dimensional representation of π0(Ky), where Ky is the isotropy subgroup of K fixing y ∈ Y . The ring sheaf Dλ is the twisted ring corresponding to the charcatrer of H. I’ll explain these notions in detail later on. 1. Tori I’ll look here at three of the simplest examples. × × Example. Let GR be the group of z in C with |z| = 1. Then G itself is just C , and K = G. The flag manifold is a single point. I think H must be G itself, similarly for λ because we require compatibility of the actions. The isotropy group is K itself, so the connections we want are just the characters of K. × × λ m Example. Let GR = R , K = {±1}. Then G = C . We should get all the characters |x| sgn (x) of GR, but how? I think I have to take X again to be a point. The connections correspond to the two characters sgnm of K. The group H is G itself? The characters sgnm of K give us the sign factor, and λ comes from the twisted D•ring. So it must be that I take X = G/K? With twisted operators D − λ where D = zd/dz? × λ n Example. Let GR = C . Characters |z| z . These three examples essentially exhaust the possibilities, since every real torus is a product of these. So . if G is a torus X is always a single point? The K•connections are just the sign’ representations of the split factors, and H = G itself, with K•compatibility forcing λ to be of the right form? 2. The group SL2(R) D•modules and representation theory (11:32 a.m. March 15, 2012) 2 3. References 1. Dragan Miliˇci´c, ‘Algebraic D•modules and representation theory of semi•simple Lie groups’, Con• temporary Mathematics 154 (1993), 133–168. 2. Ryoshi Hotta, Kiyoshi Takeuchi, and Toshiyuki Tanisaki, D-modules, perverse sheaves, and repre- sentation theory, Progress in Mathematics 236, Birtkhauser,¨ 2000. 3. Alexander Beilinson and Joseph Bernstein, ‘localisation de g•modules’, Comptes Rendues de l’Academie´ Scientifique de Paris 292 (1981), 15–18. 4. Armand Borel et al., Algebraic D-modules, Academic Press, 1987. 5. Joseph Bernstein, ‘Algebraic theory of D•modules’, lecture notes, 1985..
Load more

Recommended publications
  • Arxiv:1006.1489V2 [Math.GT] 8 Aug 2010 Ril.Ias Rfie Rmraigtesre Rils[14 Articles Survey the Reading from Profited Also I Article
    Pure and Applied Mathematics Quarterly Volume 8, Number 1 (Special Issue: In honor of F. Thomas Farrell and Lowell E. Jones, Part 1 of 2 ) 1—14, 2012 The Work of Tom Farrell and Lowell Jones in Topology and Geometry James F. Davis∗ Tom Farrell and Lowell Jones caused a paradigm shift in high-dimensional topology, away from the view that high-dimensional topology was, at its core, an algebraic subject, to the current view that geometry, dynamics, and analysis, as well as algebra, are key for classifying manifolds whose fundamental group is infinite. Their collaboration produced about fifty papers over a twenty-five year period. In this tribute for the special issue of Pure and Applied Mathematics Quarterly in their honor, I will survey some of the impact of their joint work and mention briefly their individual contributions – they have written about one hundred non-joint papers. 1 Setting the stage arXiv:1006.1489v2 [math.GT] 8 Aug 2010 In order to indicate the Farrell–Jones shift, it is necessary to describe the situation before the onset of their collaboration. This is intimidating – during the period of twenty-five years starting in the early fifties, manifold theory was perhaps the most active and dynamic area of mathematics. Any narrative will have omissions and be non-linear. Manifold theory deals with the classification of ∗I thank Shmuel Weinberger and Tom Farrell for their helpful comments on a draft of this article. I also profited from reading the survey articles [14] and [4]. 2 James F. Davis manifolds. There is an existence question – when is there a closed manifold within a particular homotopy type, and a uniqueness question, what is the classification of manifolds within a homotopy type? The fifties were the foundational decade of manifold theory.
    [Show full text]
  • Report for the Academic Year 1995
    Institute /or ADVANCED STUDY REPORT FOR THE ACADEMIC YEAR 1994 - 95 PRINCETON NEW JERSEY Institute /or ADVANCED STUDY REPORT FOR THE ACADEMIC YEAR 1 994 - 95 OLDEN LANE PRINCETON • NEW JERSEY 08540-0631 609-734-8000 609-924-8399 (Fax) Extract from the letter addressed by the Founders to the Institute's Trustees, dated June 6, 1930. Newark, New jersey. It is fundamental in our purpose, and our express desire, that in the appointments to the staff and faculty, as well as in the admission of workers and students, no account shall be taken, directly or indirectly, of race, religion, or sex. We feel strongly that the spirit characteristic of America at its noblest, above all the pursuit of higher learning, cannot admit of any conditions as to personnel other than those designed to promote the objects for which this institution is established, and particularly with no regard whatever to accidents of race, creed, or sex. TABLE OF CONTENTS 4 BACKGROUND AND PURPOSE 5 • FOUNDERS, TRUSTEES AND OFFICERS OF THE BOARD AND OF THE CORPORATION 8 • ADMINISTRATION 11 REPORT OF THE CHAIRMAN 15 REPORT OF THE DIRECTOR 23 • ACKNOWLEDGMENTS 27 • REPORT OF THE SCHOOL OF HISTORICAL STUDIES ACADEMIC ACTIVITIES MEMBERS, VISITORS AND RESEARCH STAFF 36 • REPORT OF THE SCHOOL OF MATHEMATICS ACADEMIC ACTIVITIES MEMBERS AND VISITORS 42 • REPORT OF THE SCHOOL OF NATURAL SCIENCES ACADEMIC ACTIVITIES MEMBERS AND VISITORS 50 • REPORT OF THE SCHOOL OF SOCIAL SCIENCE ACADEMIC ACTIVITIES MEMBERS, VISITORS AND RESEARCH STAFF 55 • REPORT OF THE INSTITUTE LIBRARIES 57 • RECORD OF INSTITUTE EVENTS IN THE ACADEMIC YEAR 1994-95 85 • INDEPENDENT AUDITORS' REPORT INSTITUTE FOR ADVANCED STUDY: BACKGROUND AND PURPOSE The Institute for Advanced Study is an independent, nonprofit institution devoted to the encouragement of learning and scholarship.
    [Show full text]
  • Stable Real Cohomology of Arithmetic Groups
    ANNALES SCIENTIFIQUES DE L’É.N.S. ARMAND BOREL Stable real cohomology of arithmetic groups Annales scientifiques de l’É.N.S. 4e série, tome 7, no 2 (1974), p. 235-272 <http://www.numdam.org/item?id=ASENS_1974_4_7_2_235_0> © Gauthier-Villars (Éditions scientifiques et médicales Elsevier), 1974, tous droits réservés. L’accès aux archives de la revue « Annales scientifiques de l’É.N.S. » (http://www. elsevier.com/locate/ansens) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systé- matique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi- chier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. sclent. EC. Norm. Sup., 46 serie, t. 7, 1974, p. 235 a 272. STABLE REAL COHOMOLOGY OF ARITHMETIC GROUPS BY ARMAND BOREL A Henri Cartan, a Poccasion de son 70® anniversaire Let r be an arithmetic subgroup of a semi-simple group G defined over the field of rational numbers Q. The real cohomology H* (T) of F may be identified with the coho- mology of the complex Q^ of r-invariant smooth differential forms on the symmetric space X of maximal compact subgroups of the group G (R) of real points of G. Let 1^ be the space of differential forms on X which are invariant under the identity component G (R)° of G (R). It is well-known to consist of closed (in fact harmonic) forms, whence a natural homomorphism^* : 1^ —> H* (T).
    [Show full text]
  • How to Glue Perverse Sheaves”
    NOTES ON BEILINSON'S \HOW TO GLUE PERVERSE SHEAVES" RYAN REICH Abstract. The titular, foundational work of Beilinson not only gives a tech- nique for gluing perverse sheaves but also implicitly contains constructions of the nearby and vanishing cycles functors of perverse sheaves. These con- structions are completely elementary and show that these functors preserve perversity and respect Verdier duality on perverse sheaves. The work also de- fines a new, \maximal extension" functor, which is left mysterious aside from its role in the gluing theorem. In these notes, we present the complete details of all of these constructions and theorems. In this paper we discuss Alexander Beilinson's \How to glue perverse sheaves" [1] with three goals. The first arose from a suggestion of Dennis Gaitsgory that the author study the construction of the unipotent nearby cycles functor R un which, as Beilinson observes in his concluding remarks, is implicit in the proof of his Key Lemma 2.1. Here, we make this construction explicit, since it is invaluable in many contexts not necessarily involving gluing. The second goal is to restructure the pre- sentation around this new perspective; in particular, we have chosen to eliminate the two-sided limit formalism in favor of the straightforward setup indicated briefly in [3, x4.2] for D-modules. We also emphasize this construction as a simple demon- stration that R un[−1] and Verdier duality D commute, and de-emphasize its role in the gluing theorem. Finally, we provide complete proofs; with the exception of the Key Lemma, [1] provides a complete program of proof which is not carried out in detail, making a technical understanding of its contents more difficult given the density of ideas.
    [Show full text]
  • Algebraic D-Modules and Representation Theory Of
    Contemporary Mathematics Volume 154, 1993 Algebraic -modules and Representation TheoryDof Semisimple Lie Groups Dragan Miliˇci´c Abstract. This expository paper represents an introduction to some aspects of the current research in representation theory of semisimple Lie groups. In particular, we discuss the theory of “localization” of modules over the envelop- ing algebra of a semisimple Lie algebra due to Alexander Beilinson and Joseph Bernstein [1], [2], and the work of Henryk Hecht, Wilfried Schmid, Joseph A. Wolf and the author on the localization of Harish-Chandra modules [7], [8], [13], [17], [18]. These results can be viewed as a vast generalization of the classical theorem of Armand Borel and Andr´e Weil on geometric realiza- tion of irreducible finite-dimensional representations of compact semisimple Lie groups [3]. 1. Introduction Let G0 be a connected semisimple Lie group with finite center. Fix a maximal compact subgroup K0 of G0. Let g be the complexified Lie algebra of G0 and k its subalgebra which is the complexified Lie algebra of K0. Denote by σ the corresponding Cartan involution, i.e., σ is the involution of g such that k is the set of its fixed points. Let K be the complexification of K0. The group K has a natural structure of a complex reductive algebraic group. Let π be an admissible representation of G0 of finite length. Then, the submod- ule V of all K0-finite vectors in this representation is a finitely generated module over the enveloping algebra (g) of g, and also a direct sum of finite-dimensional U irreducible representations of K0.
    [Show full text]
  • IMU-Net 88: March 2018 a Bimonthly Email Newsletter from the International Mathematical Union Editor: Martin Raussen, Aalborg University, Denmark
    IMU-Net 88: March 2018 A Bimonthly Email Newsletter from the International Mathematical Union Editor: Martin Raussen, Aalborg University, Denmark CONTENTS 1. Editorial: ICM 2018 2. IMU General Assembly meeting in São Paulo 3. CDC Panel Discussion and Poster Session during ICM 2018 4. Fields medalist Alan Baker passed away 5. CWM: Faces of women in mathematics 6. Report on the ISC general assembly 7. ICIAM 2019 congress 8. Abel Prize 2018 to Robert Langlands 9. 2018 Wolf prizes to Beilinson and Drinfeld 10. MSC 2020: Revision of Mathematics Subject Classification 11. Subscribing to IMU-Net ------------------------------------------------------------------------------------------------------- 1. EDITORIAL: ICM 2018 Dear Colleagues, After so many months of work and expectation, the year of the Congress has finally arrived! Preparations are well under way: the bulk of the scientific program has been defined, the proceedings are being finalized (the papers by plenary and invited speakers will be distributed to all the participants at the Congress), travel grants have been awarded to participants from the developing world, communications and posters are being selected as I write, and registration of participants is also taking place right now. Keep in mind that the deadline for early advance registration, with reduced registration fee, is April 27. Much of our effort over the last couple of years has been geared towards advertising the Congress, domestically and abroad, as we take the occasion as a historic opportunity to popularize mathematics in our society and, especially, amongst the Brazilian youth. I believe we are being very successful. The Biennium of Mathematics 2017-2018, formally proclaimed by the Brazilian national parliament, encompasses a wide range of outreach initiatives throughout the country, and raised the profile of mathematics in mainstream media to totally unprecedented levels.
    [Show full text]
  • Issue 118 ISSN 1027-488X
    NEWSLETTER OF THE EUROPEAN MATHEMATICAL SOCIETY S E European M M Mathematical E S Society December 2020 Issue 118 ISSN 1027-488X Obituary Sir Vaughan Jones Interviews Hillel Furstenberg Gregory Margulis Discussion Women in Editorial Boards Books published by the Individual members of the EMS, member S societies or societies with a reciprocity agree- E European ment (such as the American, Australian and M M Mathematical Canadian Mathematical Societies) are entitled to a discount of 20% on any book purchases, if E S Society ordered directly at the EMS Publishing House. Recent books in the EMS Monographs in Mathematics series Massimiliano Berti (SISSA, Trieste, Italy) and Philippe Bolle (Avignon Université, France) Quasi-Periodic Solutions of Nonlinear Wave Equations on the d-Dimensional Torus 978-3-03719-211-5. 2020. 374 pages. Hardcover. 16.5 x 23.5 cm. 69.00 Euro Many partial differential equations (PDEs) arising in physics, such as the nonlinear wave equation and the Schrödinger equation, can be viewed as infinite-dimensional Hamiltonian systems. In the last thirty years, several existence results of time quasi-periodic solutions have been proved adopting a “dynamical systems” point of view. Most of them deal with equations in one space dimension, whereas for multidimensional PDEs a satisfactory picture is still under construction. An updated introduction to the now rich subject of KAM theory for PDEs is provided in the first part of this research monograph. We then focus on the nonlinear wave equation, endowed with periodic boundary conditions. The main result of the monograph proves the bifurcation of small amplitude finite-dimensional invariant tori for this equation, in any space dimension.
    [Show full text]
  • Armand Borel (1923–2003), Volume 51, Number 5
    Armand Borel (1923–2003) James Arthur, Enrico Bombieri, Komaravolu Chandrasekharan, Friedrich Hirzebruch, Gopal Prasad, Jean-Pierre Serre, Tonny A. Springer, and Jacques Tits Citations within this article. Borel’s Collected Papers are [Œ], and his 17 books are referred to as [1] through [17]. These are all listed in a sidebar on page 501. An item like [Œ 23] is Borel paper number 23 in [Œ]. Ci- tations of work by people other than Borel are by letter combinations such as [Che], and the de- tails appear at the end of the article. their root systems. He spent the year 1949–50 in 1 Institute for Advanced Study, 1999. Paris, with a grant from the CNRS . A good choice Armand Borel (for us, as well as for him), Paris being the very spot where what Americans have called “French Topol- Jean-Pierre Serre ogy” was being created, with the courses from The Swiss mathematician Armand Borel died Leray at the Collège de France and the Cartan sem- August 11, 2003, in Princeton from a rapidly evolv- inar at the École Normale Supérieure. Borel was an ing cancer. Few foreign mathematicians had as active participant in the Cartan seminar while many connections with France. He was a student closely following Leray’s courses. He managed to of Leray, he took part in the Cartan seminar, and understand the famous “spectral sequence”, not an he published more than twenty papers in collabo- easy task, and he explained it to me so well that I ration with our colleagues Lichnerowicz and Tits, have not stopped using it since.
    [Show full text]
  • Arxiv:2104.06941V2 [Math.AG] 26 May 2021
    RIEMANN-HILBERT CORRESPONDENCE FOR ALEXANDER COMPLEXES LEI WU Abstract. We establish a Riemann-Hilbert correspondence for Alexander complexes (also known as Sabbah specialization complexes) by using relative holonomic D-modules in an equivariant way, which particularly gives a \global" approach to the correspondence for Deligne's nearby cycles. Using the corre- spondence and zero loci of Bernstein-Sato ideals, we obtain a formula for the relative support of the Alexander complexes. Contents 1. Introduction 1 2. Sheafification of sheaves of modules over commutative rings 8 3. Relative maximal and minimal extensions along F 17 4. Alexander complex of Sabbah 34 5. Comparison 35 References 40 1. Introduction Let f be a holomorphic function on a complex manifold X with D the divisor of f and let Ux be a small open neighborhood of x 2 D. Then we consider the fiber product diagram ∗ ∗ ∗ Uex = (Ux n D) ×C Ce Ce exp f ∗ Ux n D C ∗ ∗ ∗ arXiv:2104.06941v3 [math.AG] 1 Sep 2021 where exp: Ce ! C is the universal cover of the punctured complex plane C . ∗ The deck transformation induces a C[π1(C )]-module structure on the compactly i supported cohomology group Hc(Uex; C), which is called the i-th (local) Alexander module of f. Taking Ux sufficiently small, the Alexander modules contain the information of the cohomology groups of the Milnor fibers around x together with their monodromy action. As x varies along D, all the local Alexander modules ∗ give a constructible complex of sheaves of C[π1(C )]-modules, which recovers the Deligne nearby cycle of the constant sheaf along f (see [Bry86]).
    [Show full text]
  • Lie Groups and Linear Algebraic Groups I. Complex and Real Groups Armand Borel
    Lie Groups and Linear Algebraic Groups I. Complex and Real Groups Armand Borel 1. Root systems x 1.1. Let V be a finite dimensional vector space over Q. A finite subset of V is a root system if it satisfies: RS 1. Φ is finite, consists of non-zero elements and spans V . RS 2. Given a Φ, there exists an automorphism ra of V preserving Φ 2 ra such that ra(a) = a and its fixed point set V has codimension 1. [Such a − transformation is unique, of order 2.] The Weyl group W (Φ) or W of Φ is the subgroup of GL(V ) generated by the ra (a Φ). It is finite. Fix a positive definite scalar product ( , ) on V invariant 2 under W . Then ra is the reflection to the hyperplane a. ? 1 RS 3. Given u; v V , let nu;v = 2(u; v) (v; v)− . We have na;b Z for all 2 · 2 a; b Φ. 2 1.2. Some properties. (a) If a and c a (c > 0) belong to Φ, then c = 1; 2. · The system Φ is reduced if only c = 1 occurs. (b) The reflection to the hyperplane a = 0 (for any a = 0) is given by 6 (1) ra(v) = v nv;aa − therefore if a; b Φ are linearly independent, and (a; b) > 0 (resp. (a; b) < 0), 2 then a b (resp. a + b) is a root. On the other hand, if (a; b) = 0, then either − a + b and a b are roots, or none of them is (in which case a and b are said to be − strongly orthogonal).
    [Show full text]
  • An Introduction to Algebraic D-Modules
    AN INTRODUCTION TO ALGEBRAIC D-MODULES WYATT REEVES Abstract. This paper aims to give a friendly introduction to the theory of algebraic D-modules. Emphasis is placed on examples, computations, and intuition. The paper builds up the basic theory of D-modules, concluding with a proof of the Kashiwara equivalence of categories. We assume knowledge of basic homological algebra, algebraic geometry, and sheaf theory. Contents 1. Introduction 1 2. Differential Operators and D-modules 2 3. Derived Categories 3 4. Filtrations and Gradings 5 5. Pullback of D-modules 6 6. Pushforward of D-modules 9 Acknowledgments 15 References 15 1. Introduction Linearization is a wonderful thing. Let G be a Lie group acting on a smooth manifold X and let E ! X be a G-equivariant vector bundle over X. By generalizing the notion of a Lie derivative, we obtain an action of g on Γ(X; E): let s 2 Γ(X; E) and X 2 g. Define X · s 2 Γ(X; E) to be the section such that d (X · s)(p) = exp(Xt) · s (exp(−Xt) · p) : dt t=0 This action of g on Γ(X; E) should be thought of as the linearization of the action of G on E. The study of this linearized g action has historically been quite fruitful, leading for example to the resolution of the Kazhdan-Lusztig conjectures by Beilinson and Berstein [1]. A group action can be thought of as a map from a group G to the automorphisms of a space X. Analogously, a Lie algebra action can be thought of as a map of g into the derivations of X.
    [Show full text]
  • Department of Mathematics 1
    Department of Mathematics 1 Department of Mathematics Chair • Shmuel Weinberger Professors • Laszlo Babai, Computer Science and Mathematics • Guillaume Bal, Statistics and Mathematics • Alexander A. Beilinson • Danny Calegari • Francesco Calegari • Kevin Corlette • Marianna Csörnyei • Vladimir Drinfeld • Todd Dupont, Computer Science and Mathematics • Matthew Emerton • Alex Eskin • Benson Farb • Robert A. Fefferman • Victor Ginzburg • Denis Hirschfeldt • Kazuya Kato • Carlos E. Kenig • Gregory Lawler, Mathematics and Statistics • Maryanthe Malliaris • J. Peter May • Andre Neves • Bao Châu Ngô • Madhav Vithal Nori • Alexander Razborov, Mathematics and Computer Science • Luis Silvestre • Charles Smart • Panagiotis Souganidis • Sidney Webster • Shmuel Weinberger • Amie Wilkinson • Robert Zimmer Associate Professors • Simion Filip • Ewain Gwynne Assistant Professors • Sebastian Hurtado-Salazar • Dana Mendelson • Nikita Rozenblyum • Daniil Rudenko Instructors • Lucas Benigni • Guher Camliyurt • Stephen Cantrell • Elliot Cartee • Mark Cerenzia 2 Department of Mathematics • Andrea Dotto • Mikolaj Fraczyk • Pedro Gasper • Kornelia Hera • Trevor Hyde • Kasia Jankiewicz • Justin Lanier • Brian Lawrence • Zhilin Luo • Akhil Mathew • Henrik Matthieson • Cornelia Mihaila • Lucia Mocz • Benedict Morrissey • Davi Obata • Lue Pan • Wenyu Pan • Beniada Shabani • Danny Shi • Daniel Stern • Ao Sun • Xuan Wu • Zihui Zhao • Jinping Zhuge Senior Lecturers • John Boller • Lucas Culler • Jitka Stehnova • Sarah Ziesler Lecturer • Meghan Anderson Assistant Instructional
    [Show full text]