Fifty Years of Mathematics with Masaki Kashiwara Arxiv:1809.00586V2 [Math.HO] 10 Sep 2018
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Fifty Years of Mathematics with Masaki Kashiwara
Introduction D-modules SKK R-H correspondence Microlocal sheaf theory Others Fifty years of Mathematics with Masaki Kashiwara Pierre Schapira Sorbonne Universit´e,Paris, France ICM 2018 Rio de Janeiro, August 1st 1 / 26 Introduction D-modules SKK R-H correspondence Microlocal sheaf theory Others Before Kashiwara Masaki Kashiwara was a student of Mikio Sato and the story begins long ago, in the late fifties, when Sato created a new branch of mathematics, now called \Algebraic Analysis" by publishing his papers on hyperfunction theory and developed his vision of analysis and linear partial differential equations (LPDE) in a series of lectures at Tokyo University. 2 / 26 Introduction D-modules SKK R-H correspondence Microlocal sheaf theory Others Hyperfunctions on a real analytic manifold M are cohomology classes supported by M of the sheaf OX of holomorphic functions on a complexification X of M. In these old times, trying to understand real phenomena by complexifying a real manifold and looking at what happens in the complex domain was a totally new idea. The use of cohomology of sheaves in analysis was definitely revolutionary. 3 / 26 Introduction D-modules SKK R-H correspondence Microlocal sheaf theory Others Figure : ¿藤幹d and Á原正樹 4 / 26 Introduction D-modules SKK R-H correspondence Microlocal sheaf theory Others Kashiwara's thesis and D-module theory Then came Masaki Kashiwara. In his master's thesis, Tokyo University, 1970, Kashiwara establishes the foundations of analytic D-module theory, a theory which is now a fundamental tool in many branches of mathematics, from number theory to mathematical physics. (Soon after and independently, Joseph Bernstein developed a similar theory in the algebraic setting.) 5 / 26 Introduction D-modules SKK R-H correspondence Microlocal sheaf theory Others On a complex manifold X , one has the non commutative sheaf of rings DX of holomorphic partial differential operators. -
Dimension Formulas for the Hyperfunction Solutions to Holonomic D-Modules
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector ARTICLE IN PRESS Advances in Mathematics 180 (2003) 134–145 http://www.elsevier.com/locate/aim Dimension formulas for the hyperfunction solutions to holonomic D-modules Kiyoshi Takeuchi Institute of Mathematics, University of Tsukuba, 1-1-1, Tennodai, Tsukuba, Ibaraki 305-8571, Japan Received 15 July 2002; accepted 19 November 2002 Communicated by Takahiro Kawai Dedicated to Professor Mitsuo Morimoto on the Occasion of his 60th Birthday Abstract In this paper, we will prove an explicit dimension formula for the hyperfunction solutions to a class of holonomic D-modules. This dimension formula can be considered as a higher dimensional analogue of a beautiful theorem on ordinary differential equations due to Kashiwara (Master’s Thesis, University of Tokyo, 1970) and Komatsu (J. Fac. Sci. Univ. Tokyo Math. Sect. IA 18 (1971) 379). In the course of the proof, we will make use of a recent innovation of Schmid–Vilonen (Invent. Math. 124 (1996) 451) in the representation theory (in the theory of index theorems for constructible sheaves). r 2003 Elsevier Science (USA). All rights reserved. MSC: 32C38; 35A27 Keywords: D-module; Holonomic system; Index theorem 1. Introduction The aim of this paper is to prove a useful formula to compute the exact dimensions of the solutions to holonomic D-modules. The study of the dimension formula for the generalized function solutions to ordinary differential equations started only recently. In the 1970s, a beautiful theorem was obtained by Kashiwara [7] and Komatsu [12] using the hyperfunction theory. -
Lecture Notes in Mathematics a Collection of Informal Reports and Seminars Edited by A
Lecture Notes in Mathematics A collection of informal reports and seminars Edited by A. Dold, Heidelberg and B. Eckmann, Z(Jrich 287 Hyperfunctions and Pseudo-Differential Equations Proceedings of a Conference at Katata, 1971 Edited by Hikosaburo Komatsu, University of Tokyo, Tokyo/Japan Springer-Verlag Berlin. Heidelberg New York 1973 AMS Subject Classifications 1970): 35 A 05, 35 A 20, 35 D 05, 35 D 10, 35 G 05, 35 N t0, 35 S 05, 46F 15 ISBN 3-540-06218-1 Springer-Verlag Berlin- Heidelberg" New York ISBN 0-387-06218-1 Springer-Verlag New York • Heidelberg • Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher, the amount of the fee to be determined by agreement with the publisher. © by Springer Verlag Berlin . Heidelberg 1973. Library of Congress Catalog Card Number 72-88782. Printed in Germany. Offsetdruck: Jutius Beltz, Hemsbach/Bergstr. Dedicated to the memory of the late professor Andre MARTINEAU, who had originally planned to attend this conference. He appreciated the importance of hyperfunctions for the first time and has made the most profound contributions to the theory of hyperfunctions. LIST OF PARTICIPANTS Y. AKIZUKI (Gunma University) H. HIRONAKA (Harvard University) A. KANEKO (University of Tokyo) M. KASHIWARA (RIMS, Kyoto University) T. -
MASAKI KASHIWARA PIERRE SCHAPIRA Ind-Sheaves
Astérisque MASAKI KASHIWARA PIERRE SCHAPIRA Ind-sheaves Astérisque, tome 271 (2001) <http://www.numdam.org/item?id=AST_2001__271__R1_0> © Société mathématique de France, 2001, tous droits réservés. L’accès aux archives de la collection « Astérisque » (http://smf4.emath.fr/ Publications/Asterisque/) implique l’accord avec les conditions générales d’uti- lisation (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 fichier 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/ ASTÉRISQUE 271 IND-SHEAVES Masaki Kashiwara Pierre Schapira Société Mathématique de France 2001 M. Kashiwara Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606-8502, Japan. E-mail : [email protected] P. Schapira Institut de Mathématiques, Analyse Algébrique, Université P & M Curie, Case 82, 4, place Jussieu F-75252, Paris Cedex 05, France. E-mail : [email protected] Url : http://www.math.jussieu.fr/"schapira 2000 Mathematics Subject Classification. — 18F20, 32C38, 32S60. Key words and phrases. — Sheaves, Grothendieck topologies, ind-objects, D-modules, moderate cohomology, integral transforms. The first named author benefits by a "Chaire Internationale de Recherche Blaise Pascal de l'Etat et de la Région d'Ile-de-France, gérée par la Fondation de l'Ecole Normale Supérieure". IND-SHEAVES Masaki Kashiwara, Pierre Schapira Abstract. — Sheaf theory is not well suited to the study of various objects in Analysis which are not defined by local properties. The aim of this paper is to show that it is possible to overcome this difficulty by enlarging the category of sheaves to that of ind-sheaves, and by extending to ind-sheaves the machinery of sheaves. -
An Elementary Theory of Hyperfunctions and Microfunctions
PARTIAL DIFFERENTIAL EQUATIONS BANACH CENTER PUBLICATIONS, VOLUME 27 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1992 AN ELEMENTARY THEORY OF HYPERFUNCTIONS AND MICROFUNCTIONS HIKOSABURO KOMATSU Department of Mathematics, Faculty of Science, University of Tokyo Tokyo, 113 Japan 1. Sato’s definition of hyperfunctions. The hyperfunctions are a class of generalized functions introduced by M. Sato [34], [35], [36] in 1958–60, only ten years later than Schwartz’ distributions [40]. As we will see, hyperfunctions are natural and useful, but unfortunately they are not so commonly used as distributions. One reason seems to be that the mere definition of hyperfunctions needs a lot of preparations. In the one-dimensional case his definition is elementary. Let Ω be an open set in R. Then the space (Ω) of hyperfunctions on Ω is defined to be the quotient space B (1.1) (Ω)= (V Ω)/ (V ) , B O \ O where V is an open set in C containing Ω as a closed set, and (V Ω) (resp. (V )) is the space of all holomorphic functions on V Ω (resp. VO). The\ hyper- functionO f(x) represented by F (z) (V Ω) is written\ ∈ O \ (1.2) f(x)= F (x + i0) F (x i0) − − and has the intuitive meaning of the difference of the “boundary values”of F (z) on Ω from above and below. V Ω Fig. 1 [233] 234 H. KOMATSU The main properties of hyperfunctions are the following: (1) (Ω), Ω R, form a sheaf over R. B ⊂ Ω Namely, for all pairs Ω1 Ω of open sets the restriction mappings ̺Ω1 : (Ω) (Ω ) are defined, and⊂ for any open covering Ω = Ω they satisfy the B →B 1 α following conditions: S (S.1) If f (Ω) satisfies f = 0 for all α, then f = 0; ∈B |Ωα (S.2) If fα (Ωα) satisfy fα Ωα∩Ωβ = fβ Ωα∩Ωβ for all Ωα Ωβ = , then there is∈ Ban f (Ω) such| that f = f| . -
D-Modules, Perverse Sheaves, and Representation Theory
Progress in Mathematics Volume 236 Series Editors Hyman Bass Joseph Oesterle´ Alan Weinstein Ryoshi Hotta Kiyoshi Takeuchi Toshiyuki Tanisaki D-Modules, Perverse Sheaves, and Representation Theory Translated by Kiyoshi Takeuchi Birkhauser¨ Boston • Basel • Berlin Ryoshi Hotta Kiyoshi Takeuchi Professor Emeritus of Tohoku University School of Mathematics Shirako 2-25-1-1106 Tsukuba University Wako 351-0101 Tenoudai 1-1-1 Japan Tsukuba 305-8571 [email protected] Japan [email protected] Toshiyuki Tanisaki Department of Mathematics Graduate School of Science Osaka City University 3-3-138 Sugimoto Sumiyoshi-ku Osaka 558-8585 Japan [email protected] Mathematics Subject Classification (2000): Primary: 32C38, 20G05; Secondary: 32S35, 32S60, 17B10 Library of Congress Control Number: 2004059581 ISBN-13: 978-0-8176-4363-8 e-ISBN-13: 978-0-8176-4523-6 Printed on acid-free paper. c 2008, English Edition Birkhauser¨ Boston c 1995, Japanese Edition, Springer-Verlag Tokyo, D Kagun to Daisugun (D-Modules and Algebraic Groups) by R. Hotta and T. Tanisaki. All rights reserved. This work may not be translated or copied in whole or in part without the writ- ten permission of the publisher (Birkhauser¨ Boston, c/o Springer Science Business Media LLC, 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter de- veloped is forbidden. The use in this publication of trade names, trademarks, service marks and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights. -
27 Oct 2008 Masaki Kashiwara and Algebraic Analysis
Masaki Kashiwara and Algebraic Analysis Pierre Schapira Abstract This paper is based on a talk given in honor of Masaki Kashiwara’s 60th birthday, Kyoto, June 27, 2007. It is a brief overview of his main contributions in the domain of microlocal and algebraic analysis. It is a great honor to present here some aspects of the work of Masaki Kashiwara. Recall that Masaki’s work covers many fields of mathematics, algebraic and microlocal analysis of course, but also representation theory, Hodge the- ory, integrable systems, quantum groups and so on. Also recall that Masaki had many collaborators, among whom Daniel Barlet, Jean-Luc Brylinski, Et- surio Date, Ryoji Hotta, Michio Jimbo, Seok-Jin Kang, Takahiro Kawai, Tet- suji Miwa, Kiyosato Okamoto, Toshio Oshima, Mikio Sato, myself, Toshiyuki Tanisaki and Mich`ele Vergne. In each of the domain he approached, Masaki has given essential contri- butions and made important discoveries, such as, for example, the existence of crystal bases in quantum groups. But in this talk, I will restrict myself to describe some part of his work related to microlocal and algebraic analysis. The story begins long ago, in the early sixties, when Mikio Sato created a new branch of mathematics now called “Algebraic Analysis”. In 1959/60, arXiv:0810.4875v1 [math.HO] 27 Oct 2008 M. Sato published two papers on hyperfunction theory [24] and then devel- oped his vision of analysis and linear partial differential equations in a series of lectures at Tokyo University (see [1]). If M is a real analytic manifold and X is a complexification of M, hyperfunctions on M are cohomology classes supported by M of the sheaf X of holomorphic functions on X. -
Introduction to Hyperfunctions and Their Integral Transforms
[chapter] [chapter] [chapter] 1 2 Introduction to Hyperfunctions and Their Integral Transforms Urs E. Graf 2009 ii Contents Preface ix 1 Introduction to Hyperfunctions 1 1.1 Generalized Functions . 1 1.2 The Concept of a Hyperfunction . 3 1.3 Properties of Hyperfunctions . 13 1.3.1 Linear Substitution . 13 1.3.2 Hyperfunctions of the Type f(φ(x)) . 15 1.3.3 Differentiation . 18 1.3.4 The Shift Operator as a Differential Operator . 25 1.3.5 Parity, Complex Conjugate and Realness . 25 1.3.6 The Equation φ(x)f(x) = h(x)............... 28 1.4 Finite Part Hyperfunctions . 33 1.5 Integrals . 37 1.5.1 Integrals with respect to the Independent Variable . 37 1.5.2 Integrals with respect to a Parameter . 43 1.6 More Familiar Hyperfunctions . 44 1.6.1 Unit-Step, Delta Impulses, Sign, Characteristic Hyper- functions . 44 1.6.2 Integral Powers . 45 1.6.3 Non-integral Powers . 49 1.6.4 Logarithms . 51 1.6.5 Upper and Lower Hyperfunctions . 55 α 1.6.6 The Normalized Power x+=Γ(α + 1) . 58 1.6.7 Hyperfunctions Concentrated at One Point . 61 2 Analytic Properties 63 2.1 Sequences, Series, Limits . 63 2.2 Cauchy-type Integrals . 71 2.3 Projections of Functions . 75 2.3.1 Functions satisfying the H¨olderCondition . 77 2.3.2 Projection Theorems . 78 2.3.3 Convergence Factors . 87 2.3.4 Homologous and Standard Hyperfunctions . 88 2.4 Projections of Hyperfunctions . 91 2.4.1 Holomorphic and Meromorphic Hyperfunctions . 91 2.4.2 Standard Defining Functions . -
Holonomic Systems of Linear Differential Equations and Feynman Integrals
Publ. RIMS, Kyoto Univ. 12 Suppl. (1977), 131-140. Holonomic Systems of Linear Differential Equations and Feynman Integrals by Masaki KASHIWARA* and Takahiro KAWAI** The purpose of this report is to show that the (generalized) Feynman integral should satisfy a holonomic system***' of linear differential equa- tions. We also discuss the analyticity of the defining functiont} of the Feynman amplitude in complex domain as a corollary of this result. Our main result, i.e. the existence of holonomic system, gives an affirma- tive answer to the conjecture of Regge [15], who first understood and emphasized the importance of the role of systems of differential equations in the investigation of Feynman integrals. In his report a homological approach to this problem is suggested. It is very illuminating but seems to be accompanied with many technical difficulties, as Professor Regge himself points out in the report. This important property of the Feynman integral has also been conjectured and proved in simple cases by Sato [16] independently and in a little different context See also Barucchi- Ponzano [1], Kawai-Stapp [11], [12] and references cited there. Note that Kawai-Stapp ([11], [12]) discusses the ^-matrix itself, not the indi- vidual Feynman integral, as Sato [16] originally proposed. We also give the diagramatic description of the characteristic variety of the system involved. It enjoys a nice physical interpretation as is shown by Kashi- Received August 28, 1976. * Mathematical Institute, Nagoya University and Department of Mathematics, Harvard University. Supported by the National Science Foundation. ** Research Institute for Mathematical Sciences, Kyoto University and Department of Mathematics, University of California, Berkeley. -
An Integral Formula for the Powered Sum of the Independent, Identically
An integral formula for the powered sum of the independent, identically and normally distributed random variables Tamio Koyama Abstract The distribution of the sum of r-th power of standard normal random variables is a generalization of the chi-squared distribution. In this paper, we represent the probability density function of the random variable by an one-dimensional absolutely convergent integral with the characteristic function. Our integral formula is expected to be applied for evaluation of the density function. Our integral formula is based on the inversion formula, and we utilize a summation method. We also discuss on our formula in the view point of hyperfunctions. 1 Introduction Let Xk k N be a sequence of the independent, identically distributed random variables, and suppose the { } ∈ distribution of each variable Xk is the standard normal distribution. Fix a positive integer r and n. In this paper, we discuss the sum of the r-th power of standard normal random variables. This distribution function can be written in the form of n dimensional integral: n 1 1 n P r 2 F (c) := Xk <c = n/2 exp xk dx1 . dxn (1) n r (2π) −2 ! Pk=1 xk<c ! Xk=1 Z kX=1 In the case where r = 2, this integral equals to the cumulative distribution function of the chi-squared n r statistics. The sum of the r-th power k=1 Xk is an generalization of the chi-squared statistics. The n 2 weighted sum k=1 wkXk , where wk is a positive real number, of the squared normal variables is another generalization of the chi-squared statistics.P Numerical analysis of the cumulative distribution function of the weighted sumP is discussed in [1] and [7]. -
Mathematical Symbols
List of mathematical symbols This is a list of symbols used in all branches ofmathematics to express a formula or to represent aconstant . A mathematical concept is independent of the symbol chosen to represent it. For many of the symbols below, the symbol is usually synonymous with the corresponding concept (ultimately an arbitrary choice made as a result of the cumulative history of mathematics), but in some situations, a different convention may be used. For example, depending on context, the triple bar "≡" may represent congruence or a definition. However, in mathematical logic, numerical equality is sometimes represented by "≡" instead of "=", with the latter representing equality of well-formed formulas. In short, convention dictates the meaning. Each symbol is shown both inHTML , whose display depends on the browser's access to an appropriate font installed on the particular device, and typeset as an image usingTeX . Contents Guide Basic symbols Symbols based on equality Symbols that point left or right Brackets Other non-letter symbols Letter-based symbols Letter modifiers Symbols based on Latin letters Symbols based on Hebrew or Greek letters Variations See also References External links Guide This list is organized by symbol type and is intended to facilitate finding an unfamiliar symbol by its visual appearance. For a related list organized by mathematical topic, see List of mathematical symbols by subject. That list also includes LaTeX and HTML markup, and Unicode code points for each symbol (note that this article doesn't -
Kashiwara's Masters Thesis
MÉMOIRES DE LA S. M. F. MASAKI KASHIWARA Algebraic study of systems of partial differential equations. (Master’s thesis, Tokyo University, December 1970. Translated by Andrea D’Agnolo and Pierre Schneiders. With a foreword by Pierre Schapira) Mémoires de la S. M. F. 2e série, tome 63 (1995), p. I-XIV+1-72. <http://www.numdam.org/item?id=MSMF_1995_2_63__R1_0> © Mémoires de la S. M. F., 1995, tous droits réservés. L’accès aux archives de la revue « Mémoires de la S. M. F. » (http://smf. emath.fr/Publications/Memoires/Presentation.html), implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute uti- lisation commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier 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/ Societe Mathematique de France Memoire 63 Supplement au Bulletin de la S.M.F. Tome 123, 1995, fascicule 4 Algebraic Study of Systems of Partial Differential Equations (Master's Thesis, Tokyo University, December 1970) Masaki KASHIWARA Translated by Andrea D'AGNOLO and Jean-Pierre SCHNEIDERS Abstract - This Memoire is a translation of M. Kashiwara's thesis. In this pio- neering work, the author initiates the study of systems of linear partial differen- tial equations with analytic coefficients from the point of view of modules over the ring V of differential operators. Following some preliminaries on good filtrations and non-commutative localization, the author introduces the notion of character- istic variety and of multiplicity of a P-module.