DOCSLIB.ORG

Arxiv:2104.06941V2 [Math.AG] 26 May 2021

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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]). Sabbah [Sab90] made generalizations for a finite union of holomorphic functions and obtained what he called the Alexander complexes (see x4 for construction). 2010 Mathematics Subject Classification. 14F10; 13N10; 32C38; 32S60; 32S55; 14F43; 14L30. 1 2 LEI WU In this article, we establish a \global" Riemann-Hilbert correspondence for the Alexander complexes in a functorial way (Theorem 1.1). A \local" correspondence for complete specializations of Alexander complexes was constructed by Sabbah [Sab90, Theorem 5.1.2]; see also [BG12] for the algebraic \local" case along a single regular function following the approach of Beilinson-Bernstein [Bei87]. Riemann- Hilbert correspondence between nearby cycles of regular holonomic D-modules and Deligne nearby cycles of complex perverse sheaves was constructed by Kashiwara [Kas83] and Malgrange [Mal83] by using V -filtrations along a single holomorphic function. However, there is no well-defined notion of \normalized" multi indexed V -filtrations along a finite union of holomorphic functions in general (based on the work of Sabbah [Sab87a, Sab87b]; see also [Wu20, Remark 4.22]). Thus, one would not be able to generalize the method of Kashiwara and Malgrange to construct the correspondence for Alexander complexes in general. Roughly speaking, our approach to the \global" correspondence can be seen as a hybrid of the method of Sabbah [Sab87a, Sab87b] and that of Beilinson-Bernstein [Bei87]. To be more precise, the construction of the correspondence relies heavily on the work of Maisonobe [Mai16a] in the study of Bernstei-Sato ideals by using relative holonomic D-modules over algebraic affine spaces and its development in [WZ21, BVWZ21a, BVWZ21b], and on the theory of analytic relative holonomic D- modules and relative constructible complexes developed in a series of fundamental papers [MFS13, MFS19, FF18, FFS21]. The new input we need to establish the correspondence is a GAGA-type principle between analytic and algebraic relative D-modules and between algebraic and analytic relative constructible sheaves, which is called in this paper the sheafification of relative modules over commutative rings R (see x2). The other input is the construction of relative holomorphic D-modules that are G-equivariant with respect to the universal covering of (C∗)r (see x3.4). Let us briefly explain the terminology of sheafification. When the base space X is a point, the sheafification of R-modules is just the functor transforming R-modules into quasi-coherent O-modules on Spec R. For general base spaces, it is the relative analogue for complexes of sheaves of R-modules. One then make the base change an onto Spec R to obtain the analytic one for R commutative finite generated C- algebras. See Remark 3.4 for the reason why the analytic sheafification is necessary in proving Theorem 1.1 and Theorem 1.2. 1.1. Riemann-Hilbert correspondence for Alexander complex. Let fi be holomor- phic functions on a complex manifold X for i = 1; : : : ; r with Di the divisor of fi. P We write F = (f1; : : : ; fr), and D = i Di. Suppose that M is a (left) holonomic DX -module. We write by M(∗D) = M ⊗O OX (∗D) S the algebraic localization of M along D, where OX (∗D) = OX (kD) is the k2Z sheaf of meromorphic functions with poles along D. To establish the Riemann-Hilbert correspondence for Alexander complexes of Sabbah, we first construct the relative maximal (resp. minimal) extensions of M (r) (r) along F , denoted by M(∗DF ) (resp. M(!DF )), which are both relative holonomic r r r r DX×C =C -modules where DX×C =C is the sheaf of relative holomorphic differential operators with respect to the projection pr : X × Cr ! Cr (see Definition 2.4 for (r) relative holonomicity). More precisely, M(∗DF ) is the analytic sheafification of RIEMANN-HILBERT CORRESPONDENCE FOR ALEXANDER COMPLEXES 3 the DX [s]-module s r M(∗D) ⊗C C[s] · F ; s = (s1; : : : sr) the algebraic coordinates of C (r) (r) r r and M(!DF ) is the DX×C =C -dual of (DM)(∗DF ), where s Y si F = fi i is a formal symbol and D(M) is the DX -dual of M. See x3.3 for details. It is worth (r) mentioning that when M = OX , OX (∗DF ) gives a non-trivial example of relative Deligne meromorphic extensions of relative local systems (see x4.2 and also [FS19, x2.2] and [NS96, x8]). The key property for the maximal and minimal extensions is that there exists a natural inclusion (Lemma 3.7) (r) (r) (1.1) M(!DF ) ,!M(∗DF ); which is a \global", sheafified and higher dimensional generalization of a classical result of Beilinson and Bernstein (see [Gin86, Proposition 3.8.3] and also [BG12]). We then define a relative holonomic D-module on X × Cr, M(∗D(r)) Ψ (M) = F : F (r) M(!DF ) We denote by p p r ∗ r Exp: C ! (C ) ; (α1; : : : ; αr) 7! (exp(−2π −1α1); : : : ; exp(−2π −1αr)) the universal covering of (C∗)r and by r ∗ r π = (id; Exp): X × C ! X × (C ) ∗ r ∗ r the induced map. We write G = π1((C ) ), the fundamental group of (C ) . The universal covering makes X×Cr a G-space with the quotient GnX×Cr = X×(C∗)r. The operation s s ti(F ) = fiF with ti representing the (counterclockwise) loops around the puncture of each factor ∗ ∗ r (r) (r) C of (C ) , makes M(∗DF ), M(!DF ) and ΨF (M) all G-equivariant sheaves (see Theorem 3.8, Theorem 3.9 and Remark 3.10(1)). Theorem 1.1. With the notation as above, if M is a regular holonomic DX -module, then we have a natural quasi-isomorphism G r r π∗ DRX×C =C (ΨF (M)) ' eF (DRX (M)); G r r where π∗ is the equivariant direct image functor, DRX×C =C is the relative de r r Rham functor on X × C over C and eF (DRX (M)) is the analytic sheafification of the Alexander complex F (DRX (M)). G r r The C[G]-module structure of π∗ DRX×C =C (ΨF (M)) is induced by G r ∗ r Exp∗ (OC ) ' O(C ) and the natural inclusion ±1 ±1 ∗ r C[G] ' C[t1 ; : : : ; tr ] ,! O(C ) ; 4 LEI WU where in the inclusion C[G] is treated as a constant sheaf on (C∗)r. Theorem 1.1 is related to the local comparision for Alexander complexes of Sabbah [Sab90, Theorem 5.1.2]. To be more precise, one can take the (complete) localization of the quasi-isomorphism in Theorem 1.1 at a point λ 2 (C∗)r to obtain the local G r r comparison for F (DRX (M)). Notice that localizing π∗ DRX×C =C (ΨF (M)) at −1 r r λ is equivalent to localizing DRX×C =C (ΨF (M)) at α for every α 2 Exp (λ), since G acts freely on Cr with GnCr = (C∗)r. In particular, when r = 1, localizing the quasi-isomorphism in Theorem 1.1 at λ 2 C∗ gives the comparison between the α-nearby cycle of M and the λ-nearby cycle of DR(M) along f for every α 2 Exp−1(λ) (see [Kas83, Mal83, BG12] and also [Wu21]). Notice that the G- action in Theorem 1.1 explains why the correspondence between α-nearby cycles of regular holonomic D-modules and λ-nearby cycles of perverse sheaves along a single holomorphic function is Z-to-1. Since the relative de Rham functor is G-equivariant (see x3.5), we have a natural isomorphism G G ∗ r ∗ r r r DRX×(C ) =(C ) π∗ (ΨF (M)) ' π∗ DRX×C =C (ΨF (M)) : ∗ r ∗ r Then for regular holonomic DX -modules M, DRX×(C ) =(C ) (•) gives a relative Riemann-Hilbert correspondence on X × (C∗)r over (C∗)r G π∗ (ΨF (M)) eF (DRX (M)) with \ −" induced by the Riemann-Hilbert correspondence for regular holonomic D-modules on X. See also [FFS21] for a relative Riemann-Hilbert correspondence over curves and x5.4 for a related open question.
Load more

Recommended publications
  • 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]
  • 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]
  • 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]
  • Derived Categories of Keum's Fake Projective Planes 1
    DERIVED CATEGORIES OF KEUM'S FAKE PROJECTIVE PLANES SERGEY GALKIN, LUDMIL KATZARKOV, ANTON MELLIT, EVGENY SHINDER Abstract. We conjecture that derived categories of coherent sheaves on fake projective n-spaces have a semi-orthogonal decomposition into a collection of n + 1 exceptional objects and a category with vanishing Hochschild homology. We prove this for fake projective planes with non-abelian automorphism group (such as Keum's surface). Then by passing to equivariant categories we construct new examples of phantom categories with both Hochschild homology and Grothendieck group vanishing. Keywords: derived categories of coherent sheaves, exceptional collections, fake projective planes Mathematics Subject Classication 2010: 14F05, 14J29 1. Introduction and statement of results A fake projective plane is by definition a smooth projective surface with minimal cohomology (i.e. is the same cohomology as that of CP2) which is not isomorphic to CP2. Such surface is necessarily of general type. The first example of a fake projective plane was constructed by Mumford [43] using p-adic uniformization [20], [44]. Prasad{Yeung [47] and Cartwright{Steger [17] have recently finished classification of fake projective planes into 100 isomorphism classes. Due to an absense of a geometric construction for fake projective planes there are many open questions about them. Most notably the Bloch conjecture on zero-cycles [8] for fake projective planes is not yet established. In higher dimension we may call a smooth projective n-dimensional variety X of general type a fake projective space if it has minimal cohomology and in addition has the same \Hilbert poly- n ⊗l n ⊗l nomial" as : χ(X; ! ) = χ( ;! n ) for all l 2 .
    [Show full text]
  • AMS Officers and Committee Members
    Of®cers and Committee Members Numbers to the left of headings are used as points of reference 1.1. Liaison Committee in an index to AMS committees which follows this listing. Primary All members of this committee serve ex of®cio. and secondary headings are: Chair Felix E. Browder 1. Of®cers Michael G. Crandall 1.1. Liaison Committee Robert J. Daverman 2. Council John M. Franks 2.1. Executive Committee of the Council 3. Board of Trustees 4. Committees 4.1. Committees of the Council 2. Council 4.2. Editorial Committees 4.3. Committees of the Board of Trustees 2.0.1. Of®cers of the AMS 4.4. Committees of the Executive Committee and Board of President Felix E. Browder 2000 Trustees Immediate Past President 4.5. Internal Organization of the AMS Arthur M. Jaffe 1999 4.6. Program and Meetings Vice Presidents James G. Arthur 2001 4.7. Status of the Profession Jennifer Tour Chayes 2000 4.8. Prizes and Awards H. Blaine Lawson, Jr. 1999 Secretary Robert J. Daverman 2000 4.9. Institutes and Symposia Former Secretary Robert M. Fossum 2000 4.10. Joint Committees Associate Secretaries* John L. Bryant 2000 5. Representatives Susan J. Friedlander 1999 6. Index Bernard Russo 2001 Terms of members expire on January 31 following the year given Lesley M. Sibner 2000 unless otherwise speci®ed. Treasurer John M. Franks 2000 Associate Treasurer B. A. Taylor 2000 2.0.2. Representatives of Committees Bulletin Donald G. Saari 2001 1. Of®cers Colloquium Susan J. Friedlander 2001 Executive Committee John B. Conway 2000 President Felix E.
    [Show full text]
  • Of the American Mathematical Society June/July 2018 Volume 65, Number 6
    ISSN 0002-9920 (print) ISSN 1088-9477 (online) of the American Mathematical Society June/July 2018 Volume 65, Number 6 James G. Arthur: 2017 AMS Steele Prize for Lifetime Achievement page 637 The Classification of Finite Simple Groups: A Progress Report page 646 Governance of the AMS page 668 Newark Meeting page 737 698 F 659 E 587 D 523 C 494 B 440 A 392 G 349 F 330 E 294 D 262 C 247 B 220 A 196 G 145 F 165 E 147 D 131 C 123 B 110 A 98 G About the Cover, page 635. 2020 Mathematics Research Communities Opportunity for Researchers in All Areas of Mathematics How would you like to organize a weeklong summer conference and … • Spend it on your own current research with motivated, able, early-career mathematicians; • Work with, and mentor, these early-career participants in a relaxed and informal setting; • Have all logistics handled; • Contribute widely to excellence and professionalism in the mathematical realm? These opportunities can be realized by organizer teams for the American Mathematical Society’s Mathematics Research Communities (MRC). Through the MRC program, participants form self-sustaining cohorts centered on mathematical research areas of common interest by: • Attending one-week topical conferences in the summer of 2020; • Participating in follow-up activities in the following year and beyond. Details about the MRC program and guidelines for organizer proposal preparation can be found at www.ams.org/programs/research-communities /mrc-proposals-20. The 2020 MRC program is contingent on renewed funding from the National Science Foundation. SEND PROPOSALS FOR 2020 AND INQUIRIES FOR FUTURE YEARS TO: Mathematics Research Communities American Mathematical Society Email: [email protected] Mail: 201 Charles Street, Providence, RI 02904 Fax: 401-455-4004 The target date for pre-proposals and proposals is August 31, 2018.
    [Show full text]
  • Beilinson and Drinfeld Awarded 2018 Wolf Prize in Mathematics
    AMS COMMUNICATION Beilinson and Drinfeld Awarded 2018 Wolf Prize in Mathematics Alexander Beilinson and Vladimir Drinfeld of the University of Chicago have been awarded the Wolf Foundation Prize for Mathematics for 2018 by the Wolf Foundation. The prize citation reads in part: implementing the program in important areas of physics, “The Wolf Foundation Prize for such as quantum field theory and string theory. Mathematics in 2018 will be “Drinfeld has contributed greatly to various branches of awarded to Professors Alexander pure mathematics, mainly algebraic geometry, arithmetic Beilinson and Vladimir Drinfeld, geometry, and the theory of representation—as well as both of the University of Chi- mathematical physics. The mathematical objects named cago, for their groundbreaking after him include the ‘Drinfeld modules,’ the ‘Drinfeld work in algebraic geometry (a chtoucas,’ the ‘Drinfeld upper half plane,’ the ‘Drinfeld field that integrates abstract associator’—and so many others that one of his endors- algebra with geometry), in math- ers jokingly said, ‘one could think that “Drinfeld” was an ematical physics and in repre- adjective, not the name of a person.’ Alexander Beilinson sentation theory, a field which “In the seventies, Drinfeld began his work on the afore- helps to understand complex al- mentioned ‘Langlands Program,’ the ambitious program gebraic structures. An ‘algebraic that aimed at unifying the fields of mathematics. By means structure’ is a set of objects, of a new geometrical object he developed, which is now including the actions that can called ‘Drinfeld chtoucas,’ Drinfeld succeeded in proving be performed on those objects, some of the connections that had been indicated by the that obey certain axioms.
    [Show full text]
  • 2011 Ostrowski Prize Awarded
    2011 Ostrowski Prize Awarded Ib Madsen of the University of Copenhagen, Kan- Riemann surfaces. The prize citation states, “Ib nan Soundararajan of Stanford University, and Madsen is an enormously significant figure in the David Preiss of the University of Warwick have world of mathematics and through his research been awarded the 2011 Ostrowski Prize, which and leadership has made a huge impact on the recognizes outstanding achievement in pure fields of geometry and topology.” mathematics or in the foundations of numerical mathematics. The prize carries a monetary award Citation for Kannan Soundararajan of 75,000 Swiss francs (approximately US$78,000). Kannan Soundararajan received his Ph.D. from Princeton University in 1998, has taught at the Citation for Ib Madsen University of Michigan, and is currently a pro- Ib Madsen received his Ph.D. from the University of fessor at Stanford Uni- Chicago in 1970. He was a member of the faculty at versity. He has done the University of Aar- groundbreaking work hus from 1971 through in number theory and 2008 and was very in- analysis. In 2003 he fluential in building a was awarded the Salem strong topology group Prize, in 2005 the SAS- there. He has been a TRA Ramanujan Prize, professor at the Uni- and in 2011 the Info- versity of Copenhagen sys Prize in Mathemati- since 2008. He has held cal Sciences. He was visiting positions at the an invited speaker at University of Chicago, the 2010 ICM in Hyder- Stanford University, Kannan Soundararajan abad, India. and Princeton Univer- Soundarara- Ib Madsen sity. He has been an jan’s work has involved the quantum unique invited speaker at the ergodicity conjecture of Rudnick and Sarnak; 1978 International Congress of Mathematicians the behavior of L-functions within the critical (ICM) in Helsinki and a plenary speaker at the 2006 strip; and pretentious characters, jointly with ICM in Madrid.
    [Show full text]
  • Localisation of G-Modules”
    Notes on \Localisation of g-modules" Aron Heleodoro January 12, 2014 Let g be a semisimple Lie algebra over a field k. One is normally interested in representation of g, i.e. g-modules. If g were commutative, one could use the tools of algebraic geometry. More precisely, for A a commutative ring, one has the equivalence of categories: fA-modulesg $ fquasi-coherent sheaves over Spec(A)g : However, the interesting cases of Lie algebras are noncommutative, so how is one going to build an algebro-geometric which captures the representation theory of g-modules? The answer is given in the work of Beilinson-Bernstein on localisation1, and has essentially three parts. (i) The first part is the definition of algebraic-geometric object associated to the Lie algebra of G called the flag variety X. This parametrises the Borel subalgebras, and to which weight of G we can construct G- equivariant line bundles over X. (ii) The second is that one can consider differential operators on the above line bundle. These form a sheaf of so-called twisted differential operators over the flag variety. One can then using previous work due to Konstant describe the global section of these sheaves. (iii) Finally, the flag variety is A-affine, which means that to understand the category of sheaves of A-modules is equivalent to understanding the category of modules for the ring DA ≡ Γ(X; A), where A will be the kind of t.d.o.s obtained in item (ii). 1One of the functors which realises the equivalence of categories above is called lo- calisation.
    [Show full text]