Showing 1–43 of 43 results for author: Schapira, P

Topologies and sheaves on causal manifolds

Authors: Pierre Schapira

Abstract: A causal manifold $(M,γ)$ is a manifold $M$ endowed with a closed proper cone $γ$ in the tangent bundle $TM$ such that the projection $TM\to M$ is surjective when restricted to the interior of $γ$. Let $λ$ be the antipodal of the polar cone of $γ$. An open set $U$ of $M$ is called $γ$-open if its Whitney normal cone contains the interior of $γ$. Similarly, $U$ is called $λ$-open if the micro-sup… ▽ More A causal manifold $(M,γ)$ is a manifold $M$ endowed with a closed proper cone $γ$ in the tangent bundle $TM$ such that the projection $TM\to M$ is surjective when restricted to the interior of $γ$. Let $λ$ be the antipodal of the polar cone of $γ$. An open set $U$ of $M$ is called $γ$-open if its Whitney normal cone contains the interior of $γ$. Similarly, $U$ is called $λ$-open if the micro-support of the constant sheaf on $U$ is contained in $λ$. We begin by proving that the two notions coincide. Next, we prove that if $(M,γ)$ admits a ``future time function'' the functor of direct images establishes an equivalence of triangulated categories between the derived category of sheaves on $M$ micro-supported by $λ$ and the derived category of sheaves on the manifold $M$ endowed with the $γ$-topology. This generalizes a result of~\cite{KS90} which dealt with the case of a constant cone in a vector space. △ Less

Submitted 23 June, 2025; v1 submitted 15 May, 2025; originally announced May 2025.

Comments: Definition 3.1 has been slightly modified to ensure the correctness of the proof of Lemma 3.4. Corollaries 5.7 and 5.8 are new

MSC Class: 35A27; 81T20

Mikio Sato, a visionary of mathematics

Authors: Pierre Schapira

Abstract: This paper, to appear in the ``Notices of the AMS'' 2024, is a modified version of a text already appeared in this journal, Feb. 2007 after a first publication in French, in ``La Gazette des Math{é}maticiens'' 97 (2003) on the occasion of Sato's reception of the 2002/2003 Wolf prize. This paper, to appear in the ``Notices of the AMS'' 2024, is a modified version of a text already appeared in this journal, Feb. 2007 after a first publication in French, in ``La Gazette des Math{é}maticiens'' 97 (2003) on the occasion of Sato's reception of the 2002/2003 Wolf prize. △ Less

Submitted 23 February, 2024; originally announced February 2024.

Comments: 2 pictures

Unusual functorialities for weakly constructible sheaves

Authors: Andreas Hohl, Pierre Schapira

Abstract: We prove that various morphisms related to the six Grothendieck operations on sheaves become isomorphisms when restricted to (weakly) constructible sheaves. To this end, we first study some properties of weakly cohomologically constructible sheaves. We then deduce several compatibilities of the six operations in the context of (weakly) $\mathbb{R}$-constructible sheaves. We prove that various morphisms related to the six Grothendieck operations on sheaves become isomorphisms when restricted to (weakly) constructible sheaves. To this end, we first study some properties of weakly cohomologically constructible sheaves. We then deduce several compatibilities of the six operations in the context of (weakly) $\mathbb{R}$-constructible sheaves. △ Less

Submitted 7 January, 2025; v1 submitted 20 March, 2023; originally announced March 2023.

Comments: 13 pages; v2: improved final version, to appear in Pacific Journal of Mathematics

MSC Class: 32S60; 18G80; 32B20

Journal ref: Pacific J. Math. 334 (2025), 153-166

A truncated manuscript

Authors: Pierre Schapira

Abstract: A critical essay of the book ``Récoltes et Semailles'' by Alexander Grothendieck, recently published by Gallimard editions. A critical essay of the book ``Récoltes et Semailles'' by Alexander Grothendieck, recently published by Gallimard editions. △ Less

Submitted 7 January, 2023; originally announced January 2023.

Comments: Already published by Inference-Review

MSC Class: 01A99

Journal ref: Inference-Review.com Vol 7, issue 3, Dec 2022

A property of the interleaving distance for sheaves

Authors: Francois Petit, Pierre Schapira, Lukas Waas

Abstract: Let $X$ be a real analytic manifold endowed with a distance satisfying suitable properties and let $\mathbf{k}$ be a field. In [PS20], the authors construct a pseudo-distance on the derived category of sheaves of $\mathbf{k}$-modules on $X$, generalizing a previous construction of [KS18]. Here, we prove that if the distance between two constructible sheaves with compact support (or more generally,… ▽ More Let $X$ be a real analytic manifold endowed with a distance satisfying suitable properties and let $\mathbf{k}$ be a field. In [PS20], the authors construct a pseudo-distance on the derived category of sheaves of $\mathbf{k}$-modules on $X$, generalizing a previous construction of [KS18]. Here, we prove that if the distance between two constructible sheaves with compact support (or more generally, constructible sheaves up to infinity) on $X$ is zero, then these two sheaves are isomorphic. This answers in particular a question of [KS18]. △ Less

Submitted 1 November, 2021; v1 submitted 30 August, 2021; originally announced August 2021.

Comments: 8 pages

Constructible sheaves and functions up to infinity

Authors: Pierre Schapira

Abstract: We introduce the category of b-analytic manifolds, a natural tool to define constructible sheaves and functions up to infinity. We study with some details the operations on these objects and also recall the Radon transform for constructible functions. We introduce the category of b-analytic manifolds, a natural tool to define constructible sheaves and functions up to infinity. We study with some details the operations on these objects and also recall the Radon transform for constructible functions. △ Less

Submitted 19 February, 2023; v1 submitted 17 December, 2020; originally announced December 2020.

Comments: Several small corrections. To appear in Journal of Applied and Computational Topology

MSC Class: 55N99; 32B20; 32S60

Thickening of the diagonal and interleaving distance

Authors: Francois Petit, Pierre Schapira

Abstract: Given a topological space $X$, a thickening kernel is a monoidal presheaf on $(\mathbb{R}_{\geq0},+)$ with values in the monoidal category of derived kernels on $X$. A bi-thickening kernel is defined on $(\mathbb{R},+)$. To such a thickening kernel, one naturally associates an interleaving distance on the derived category of sheaves on $X$. We prove that a thickening kernel exists and is unique… ▽ More Given a topological space $X$, a thickening kernel is a monoidal presheaf on $(\mathbb{R}_{\geq0},+)$ with values in the monoidal category of derived kernels on $X$. A bi-thickening kernel is defined on $(\mathbb{R},+)$. To such a thickening kernel, one naturally associates an interleaving distance on the derived category of sheaves on $X$. We prove that a thickening kernel exists and is unique as soon as it is defined on an interval containing $0$, allowing us to construct (bi-)thickenings in two different situations. First, when $X$ is a ``good'' metric space, starting with small usual thickenings of the diagonal. The associated interleaving distance satisfies the stability property and Lipschitz kernels give rise to Lipschitz maps. Second, by using [GKS12], when $X$ is a manifold and one is given a non-positive Hamiltonian isotopy on the cotangent bundle. In case $X$ is a complete Riemannian manifold having a strictly positive convexity radius, we prove that it is a good metric space and that the two bi-thickening kernels of the diagonal, one associated with the distance, the other with the geodesic flow, coincide. △ Less

Submitted 14 November, 2021; v1 submitted 23 June, 2020; originally announced June 2020.

Comments: Many small corrections, section 3.2 reorganized and section 3.3 completely rewritten with new proofs

MSC Class: 55N99; 18A99; 35A27

Vanishing of temperate cohomology on complex manifolds

Authors: Pierre Schapira

Abstract: Consider a complex Stein manifold X and a subanalytic relatively compact Stein open subset U of X.. We prove the vanishing on U of the holomorphic temperate cohomology. Consider a complex Stein manifold X and a subanalytic relatively compact Stein open subset U of X.. We prove the vanishing on U of the holomorphic temperate cohomology. △ Less

Submitted 25 March, 2020; originally announced March 2020.

MSC Class: 32L20; 14F05

A finiteness theorem for holonomic DQ-modules on Poisson manifolds

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: On a complex symplectic manifold we prove a finiteness result for the global sections of solutions of holonomic DQ-modules in two cases: (a) by assuming that there exists a Poisson compactification (b) in the algebraic case. This extends our previous results in which the symplectic manifold was compact. The main tool is a finiteness theorem for R-constructible sheaves on a real analytic manifold i… ▽ More On a complex symplectic manifold we prove a finiteness result for the global sections of solutions of holonomic DQ-modules in two cases: (a) by assuming that there exists a Poisson compactification (b) in the algebraic case. This extends our previous results in which the symplectic manifold was compact. The main tool is a finiteness theorem for R-constructible sheaves on a real analytic manifold in a non proper situation. △ Less

Submitted 6 March, 2020; v1 submitted 14 January, 2020; originally announced January 2020.

Comments: In v2, some mistakes corrected and many new results added

MSC Class: 53D55; 35A27; 19L10; 32C38

Journal ref: Tunisian J. Math. 3 (2021) 571-588

Fifty years of Mathematics with Masaki Kashiwara

Authors: Pierre Schapira

Abstract: An overview on Masaki Kashiwara's mathematical work since 1970 An overview on Masaki Kashiwara's mathematical work since 1970 △ Less

Submitted 10 September, 2018; v1 submitted 3 September, 2018; originally announced September 2018.

Comments: Proceedings of the ICM 2018, Rio de Janeiro, laudation for Masaki Kashiwara Chern's medal. V2: one more bibliographic item and a few changes in the section on quantum groups

Piecewise linear sheaves

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: On a finite-dimensional real vector space, we give a microlocal characterization of (derived) piecewise linear sheaves (PL sheaves) and prove that the triangulated category of such sheaves is generated by sheaves associated with convex polyhedra. We then give a similar theorem for PL gamma-sheaves, that is, PL sheaves associated with the gamma-topology, for a closed convex polyhedral proper cone g… ▽ More On a finite-dimensional real vector space, we give a microlocal characterization of (derived) piecewise linear sheaves (PL sheaves) and prove that the triangulated category of such sheaves is generated by sheaves associated with convex polyhedra. We then give a similar theorem for PL gamma-sheaves, that is, PL sheaves associated with the gamma-topology, for a closed convex polyhedral proper cone gamma. Our motivation is that convex polyhedra may be considered as building blocks for higher dimensional barcodes. △ Less

Submitted 1 June, 2019; v1 submitted 30 April, 2018; originally announced May 2018.

Comments: A few corrections, including bibliographical, with respect to the previous version. This paper is a continuation of arXiv:1705.00955. to appear at IMRN

MSC Class: 55N99; 18A99; 35A27

Persistent homology and microlocal sheaf theory

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using the operation of convolution, we introduce a pseudo-distance on this category and prove in particular a stability result for direct images. Then we assume that V… ▽ More We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using the operation of convolution, we introduce a pseudo-distance on this category and prove in particular a stability result for direct images. Then we assume that V is endowed with a closed convex proper cone $γ$ with non empty interior and study $γ$-sheaves, that is, constructible sheaves with microsupport contained in the antipodal to the polar cone (equivalently, constructible sheaves for the $γ$-topology). We prove that such sheaves may be approximated (for the pseudo-distance) by "piecewise linear" $γ$-sheaves. Finally we show that these last sheaves are constant on stratifications by $γ$-locally closed sets, an analogue of barcodes in higher dimension. △ Less

Submitted 7 September, 2018; v1 submitted 2 May, 2017; originally announced May 2017.

Comments: A few corrections in Section 1.4. Accepted in Journal of Applied and Computational Topology

MSC Class: 55N99; 18A99; 35A27

Wick rotation for D-modules

Authors: Pierre Schapira

Abstract: We extend the classical Wick rotation to D-modules and higher codimensional submanifolds. We extend the classical Wick rotation to D-modules and higher codimensional submanifolds. △ Less

Submitted 1 September, 2017; v1 submitted 31 January, 2017; originally announced February 2017.

Comments: To appear in "Mathematical Physics, Analysis and Geometry"

MSC Class: 35A27; 58J15; 58J45; 81T20

Microlocal analysis and beyond

Authors: Pierre Schapira

Abstract: We shall explain how the idea of microlocal analysis of the seventies has been reformulated in the framework of sheaf theory in the eighties and then applied to various branches of mathematics, such as linear partial differential equations or symplectic topology. We shall explain how the idea of microlocal analysis of the seventies has been reformulated in the framework of sheaf theory in the eighties and then applied to various branches of mathematics, such as linear partial differential equations or symplectic topology. △ Less

Submitted 31 January, 2017; originally announced January 2017.

Comments: This is a chapter for a book to appear "New spaces in mathematics and physics", edited by Mathieu Anel and Gabriel Catren

MSC Class: 14F05; 35A27; 53D37

A lemma for microlocal sheaf theory in the $\infty$-categorical setting

Authors: Marco Robalo, Pierre Schapira

Abstract: Microlocal sheaf theory of \cite{KS90} makes an essential use of an extension lemma for sheaves due to Kashiwara, and this lemma is based on a criterion of the same author giving conditions in order that a functor defined in $\mathbb{R}$ with values in the category $Sets$ of sets be constant. In a first part of this paper, using classical tools, we show how to generalize the extension lemma to t… ▽ More Microlocal sheaf theory of \cite{KS90} makes an essential use of an extension lemma for sheaves due to Kashiwara, and this lemma is based on a criterion of the same author giving conditions in order that a functor defined in $\mathbb{R}$ with values in the category $Sets$ of sets be constant. In a first part of this paper, using classical tools, we show how to generalize the extension lemma to the case of the unbounded derived category. In a second part, we extend Kashiwara's result on constant functors by replacing the category $Sets$ with the $\infty$-category of spaces and apply it to generalize the extension lemma to $\infty$-sheaves, the $\infty$-categorical version of sheaves. Finally, we define the micro-support of sheaves with values in a stable $(\infty,1)$-category. △ Less

Submitted 21 November, 2016; originally announced November 2016.

Sheaves and D-modules on Lorentzian manifolds

Authors: Benoit Jubin, Pierre Schapira

Abstract: We introduce a class of causal manifolds which contains the globally hyperbolic spacetimes and we prove global propagation theorems for sheaves on such manifolds. As an application, we solve globally the Cauchy problem for hyperfunction solutions of hyperbolic systems. We introduce a class of causal manifolds which contains the globally hyperbolic spacetimes and we prove global propagation theorems for sheaves on such manifolds. As an application, we solve globally the Cauchy problem for hyperfunction solutions of hyperbolic systems. △ Less

Submitted 7 November, 2015; v1 submitted 6 October, 2015; originally announced October 2015.

Comments: v2: we added the hypothesis that the cone defining a causal manifold is nowhere empty and other minor corrections

MSC Class: 35A27; 58J15; 58J45; 81T20

Journal ref: Lett. Math. Phys. 106 (2016), no. 5, 607--648

Regular and irregular holonomic D-modules

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: This is a survey paper based on a series of lectures given at the IHES in February/March 2015. In a first part, we recall the main results on the tempered holomorphic solutions of D-modules in the language of indsheaves and, as an application, the Riemann-Hilbert correspondence for regular holonomic modules. In a second part, we present the enhanced version of the first part, treating along the sa… ▽ More This is a survey paper based on a series of lectures given at the IHES in February/March 2015. In a first part, we recall the main results on the tempered holomorphic solutions of D-modules in the language of indsheaves and, as an application, the Riemann-Hilbert correspondence for regular holonomic modules. In a second part, we present the enhanced version of the first part, treating along the same lines the irregular holonomic case. △ Less

Submitted 1 July, 2015; originally announced July 2015.

Comments: 114 pages

MSC Class: 32C38; 35A27; 35Q15

Irregular holonomic kernels and Laplace transform

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: Given a (not necessarily regular) holonomic D-module defined on the product of two complex manifolds, we prove that the associated correspondence commutes (in some sense) with the De Rham functor. We apply this result to the study of the classical Laplace transform. The main tools used here are the theory of ind-sheaves and its enhanced version. Given a (not necessarily regular) holonomic D-module defined on the product of two complex manifolds, we prove that the associated correspondence commutes (in some sense) with the De Rham functor. We apply this result to the study of the classical Laplace transform. The main tools used here are the theory of ind-sheaves and its enhanced version. △ Less

Submitted 2 June, 2015; v1 submitted 14 February, 2014; originally announced February 2014.

Comments: 62 pages. 2nd version typoes corrected

MSC Class: 32C38; 35A27; 44A10

Derived category of filtered objects

Authors: Pierre Schapira, Jean-Pierre Schneiders

Abstract: For an abelian category C and a filtrant preordered set Lambda, we prove that the derived category of the quasi-abelian category of filtered objects in C indexed by Lambda is equivalent to the derived category of the abelian category of functors from Lambda to C. We apply this result to the study of the category of filtered modules over a filtered ring in a tensor category. For an abelian category C and a filtrant preordered set Lambda, we prove that the derived category of the quasi-abelian category of filtered objects in C indexed by Lambda is equivalent to the derived category of the abelian category of functors from Lambda to C. We apply this result to the study of the category of filtered modules over a filtered ring in a tensor category. △ Less

Submitted 6 June, 2013; originally announced June 2013.

MSC Class: 14F05; 18E10

Hyperbolic systems and propagation on causal manifolds

Authors: Pierre Schapira

Abstract: This is essentially a survey paper in which we solve the global Cauchy problem on causal manifolds for hyperbolic systems of linear partial differential equations in the framework of hyperfunctions. Besides the classical Cauchy-Kowalevsky theorem, our proofs only use tools from the microlocal theory of sheaves, that is, tools of purely algebraic and geometric nature. This is essentially a survey paper in which we solve the global Cauchy problem on causal manifolds for hyperbolic systems of linear partial differential equations in the framework of hyperfunctions. Besides the classical Cauchy-Kowalevsky theorem, our proofs only use tools from the microlocal theory of sheaves, that is, tools of purely algebraic and geometric nature. △ Less

Submitted 15 May, 2013; originally announced May 2013.

Comments: To appear in Letters in Mathematical Physics

MSC Class: 35A27; 58J15; 58J45; 81T20

Construction of sheaves on the subanalytic site

Authors: Stéphane Guillermou, Pierre Schapira

Abstract: On a real analytic manifold M, we construct the linear subanalytic Grothendieck topology Msal together with the natural morphism of sites $ρ$ from Msa to Msal, where Msa is the usual subanalytic site. Our first result is that the derived direct image functor by $ρ$ admits a right adjoint, allowing us to associate functorially a sheaf (in the derived sense) on Msa to a presheaf on Msa satisfying su… ▽ More On a real analytic manifold M, we construct the linear subanalytic Grothendieck topology Msal together with the natural morphism of sites $ρ$ from Msa to Msal, where Msa is the usual subanalytic site. Our first result is that the derived direct image functor by $ρ$ admits a right adjoint, allowing us to associate functorially a sheaf (in the derived sense) on Msa to a presheaf on Msa satisfying suitable properties, this sheaf having the same sections that the presheaf on any open set with Lipschitz boundary. We apply this construction to various presheaves on real manifolds, such as the presheaves of functions with temperate growth of a given order at the boundary or with Gevrey growth at the boundary. On a complex manifold endowed with the subanalytic topology, the Dolbeault complexes associated with these new sheaves allow us to obtain various sheaves of holomorphic functions with growth. As an application, we can endow functorially regular holonomic D-modules with a filtration, in the derived sense. △ Less

Submitted 7 November, 2015; v1 submitted 18 December, 2012; originally announced December 2012.

Comments: v 5: Chapter 5 has been expanded and other minor corrections

MSC Class: 18F10; 35A27; 32C38

Three lectures on Algebraic Microlocal Analysis

Authors: Pierre Schapira

Abstract: These three lectures present some fundamental and classical aspects of microlocal analysis. Starting with the Sato's microlocalization functor and the microsupport of sheaves, we then construct a microlocal analogue of the Hochschild homology for sheaves and apply it to recover index theorems for D-modules and elliptic pairs. In the third lecture, we construct the ind-sheaves of temperate and Whit… ▽ More These three lectures present some fundamental and classical aspects of microlocal analysis. Starting with the Sato's microlocalization functor and the microsupport of sheaves, we then construct a microlocal analogue of the Hochschild homology for sheaves and apply it to recover index theorems for D-modules and elliptic pairs. In the third lecture, we construct the ind-sheaves of temperate and Whitney holomorphic functions and give some applications to the study of irregular holonomic D-modules. △ Less

Submitted 17 December, 2013; v1 submitted 7 June, 2012; originally announced June 2012.

Comments: small corrections

MSC Class: 35A27; 32C38; 16E40

Microlocal Euler classes and Hochschild homology

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: We define the notion of a trace kernel on a manifold M. Roughly speaking, it is a sheaf on M x M for which the formalism of Hochschild homology applies. We associate a microlocal Euler class to such a kernel, a cohomology class with values in the relative dualizing complex of the cotangent bundle over M and we prove that this class is functorial with respect to the composition of kernels. This gen… ▽ More We define the notion of a trace kernel on a manifold M. Roughly speaking, it is a sheaf on M x M for which the formalism of Hochschild homology applies. We associate a microlocal Euler class to such a kernel, a cohomology class with values in the relative dualizing complex of the cotangent bundle over M and we prove that this class is functorial with respect to the composition of kernels. This generalizes, unifies and simplifies various results of (relative) index theorems for constructible sheaves, D-modules and elliptic pairs. △ Less

Submitted 1 May, 2013; v1 submitted 21 March, 2012; originally announced March 2012.

Comments: The proof of Theorem 4.6 has been considerably simplified. To appear in the Journal of the Institute of Mathematics of Jussieu

MSC Class: 16E40; 32C38; 32S60

Microlocal theory of sheaves and Tamarkin's non displaceability theorem

Authors: Stephane Guillermou, Pierre Schapira

Abstract: This paper is an attempt to better understand Tamarkin's approach of classical non-displaceability theorems of symplectic geometry, based on the microlocal theory of sheaves, a theory whose main features we recall here. If the main theorems are due to Tamarkin, our proofs may be rather different and in the course of the paper we introduce some new notions and obtain new results which may be of int… ▽ More This paper is an attempt to better understand Tamarkin's approach of classical non-displaceability theorems of symplectic geometry, based on the microlocal theory of sheaves, a theory whose main features we recall here. If the main theorems are due to Tamarkin, our proofs may be rather different and in the course of the paper we introduce some new notions and obtain new results which may be of interest. △ Less

Submitted 15 February, 2012; v1 submitted 8 June, 2011; originally announced June 2011.

Comments: A statement is corrected. The last section is removed since it will appear somewhere else

Sheaf quantization of Hamiltonian isotopies and applications to non displaceability problems

Authors: Stephane Guillermou, Masaki Kashiwara, Pierre Schapira

Abstract: Let I be an open interval, M be a real manifold, T*M its cotangent bundle and Φ={φ_t}, t in I, a homogeneous Hamiltonian isotopy of T*M defined outside the zero-section. Let Λbe the conic Lagrangian submanifold associated with Φ(Λis a subset of T*M x T*M x T*I). We prove the existence and unicity of a sheaf K on MxMxI whose microsupport is contained in the union of Λand the zero-section and whose… ▽ More Let I be an open interval, M be a real manifold, T*M its cotangent bundle and Φ={φ_t}, t in I, a homogeneous Hamiltonian isotopy of T*M defined outside the zero-section. Let Λbe the conic Lagrangian submanifold associated with Φ(Λis a subset of T*M x T*M x T*I). We prove the existence and unicity of a sheaf K on MxMxI whose microsupport is contained in the union of Λand the zero-section and whose restriction to t=0 is the constant sheaf on the diagonal of MxM. We give applications of this result to problems of non displaceability in contact and symplectic topology. In particular we prove that some strong Morse inequalities are stable by Hamiltonian isotopies and we also give results of non displaceability for positive isotopies in the contact setting. In this new version we suppress one hypothesis in the main theorem and we extend the result of non displaceability for positive isotopies. △ Less

Submitted 22 June, 2011; v1 submitted 10 May, 2010; originally announced May 2010.

Comments: Corrected version, to appear at "Duke Math. Journal"

Journal ref: Duke Math. J. 161, no. 2 (2012), 201-245

Deformation quantization modules

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: We study modules over stacks of deformation quantization algebroids on complex Poisson manifolds. We prove finiteness and duality theorems in the relative case and construct the Hochschild class of coherent modules. We prove that this class commutes with composition of kernels, a kind of Riemann-Roch theorem in the non-commutative setting. Finally we study holonomic modules on complex symplectic m… ▽ More We study modules over stacks of deformation quantization algebroids on complex Poisson manifolds. We prove finiteness and duality theorems in the relative case and construct the Hochschild class of coherent modules. We prove that this class commutes with composition of kernels, a kind of Riemann-Roch theorem in the non-commutative setting. Finally we study holonomic modules on complex symplectic manifolds and we prove in particular a constructibility theorem. △ Less

Submitted 30 October, 2011; v1 submitted 17 March, 2010; originally announced March 2010.

Comments: This paper develops the results of Deformation quantization modules I (arXiv:0802.1245) and II (arXiv:0809.4309), and also contains new results and new remarks. It will appear in Asterisque, Soc. Math. France (2012)

MSC Class: 32C38; 19L10; 53D55; 46L65

Regular holonomic D[[h]]-modules

Authors: Andrea D'Agnolo, Stephane Guillermou, Pierre Schapira

Abstract: We describe the category of regular holonomic modules over the ring D[[h]] of linear differential operators with a formal parameter h. In particular, we establish the Riemann-Hilbert correspondence and discuss the additional t-structure related to h-torsion. We describe the category of regular holonomic modules over the ring D[[h]] of linear differential operators with a formal parameter h. In particular, we establish the Riemann-Hilbert correspondence and discuss the additional t-structure related to h-torsion. △ Less

Submitted 4 August, 2009; v1 submitted 11 June, 2009; originally announced June 2009.

Comments: 39 pages

Journal ref: Publ. Res. Inst. Math. Sci. 47 no. 1 (2011), 221-255

Masaki Kashiwara and Algebraic Analysis

Authors: Pierre Schapira

Abstract: This paper is a brief overview of the main contributions of Masaki Kashiwara in the domain of microlocal and algebraic analysis. This paper is a brief overview of the main contributions of Masaki Kashiwara in the domain of microlocal and algebraic analysis. △ Less

Submitted 27 October, 2008; originally announced October 2008.

Comments: 9 pages, 4 figures. Talk given in honor of Masaki Kashiwara's 60th birthday, Kyoto, June 27, 2007. To appear in Advances in Pure Mathematics (2009)

Deformation quantization modules II. Hochschild class

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: This paper is the continuation of arXiv:0802.1245. We construct the Hochschild class for coherent modules over a deformation quantization algebroid on a complex Poisson manifold. We also define the convolution of Hochschild homologies, and prove that the Hochschild class of the convolution of two coherent modules is the convolution of their Hochschild classes. We study with some details the case… ▽ More This paper is the continuation of arXiv:0802.1245. We construct the Hochschild class for coherent modules over a deformation quantization algebroid on a complex Poisson manifold. We also define the convolution of Hochschild homologies, and prove that the Hochschild class of the convolution of two coherent modules is the convolution of their Hochschild classes. We study with some details the case of symplectic deformations. △ Less

Submitted 19 March, 2010; v1 submitted 24 September, 2008; originally announced September 2008.

Comments: The contents of this paper is now included in Deformation quantization modules (arXiv:1003.3304).

MSC Class: 53D55; 46L65; 32C38

Deformation quantization modules I:Finiteness and duality

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove coherency results by using the property of being cohomologically complete. We apply these results to the study of modules over deformation quantization algebroid… ▽ More We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove coherency results by using the property of being cohomologically complete. We apply these results to the study of modules over deformation quantization algebroids on complex Poisson manifolds. We prove in particular that under a natural properness condition, the convolution of two coherent kernels over such algebroids is coherent. We also construct the dualizing complexes in this framework and show that the convolution of kernels commutes with duality. △ Less

Submitted 19 March, 2010; v1 submitted 9 February, 2008; originally announced February 2008.

Comments: The contents of this paper is now included in Deformation quantization modules (arXiv:1003.3304).

MSC Class: 53D55; 46L65; 32C38

Deformation quantization modules on complex symplectic manifolds

Authors: Pierre Schapira

Abstract: We study modules over the algebroid stack $\W[\stx]$ of deformation quantization on a complex symplectic manifold $\stx$ and recall some results: construction of an algebra for $\star$-products, existence of (twisted) simple modules along smooth Lagrangian submanifolds, perversity of the complex of solutions for regular holonomic $\W[\stx]$-modules, finiteness and duality for the composition of… ▽ More We study modules over the algebroid stack $\W[\stx]$ of deformation quantization on a complex symplectic manifold $\stx$ and recall some results: construction of an algebra for $\star$-products, existence of (twisted) simple modules along smooth Lagrangian submanifolds, perversity of the complex of solutions for regular holonomic $\W[\stx]$-modules, finiteness and duality for the composition of ``good'' kernels. As a corollary, we get that the derived category of good $\W[\stx]$-modules with compact support is a Calabi-Yau category. We also give a conjectural Riemann-Roch type formula in this framework. △ Less

Submitted 20 June, 2007; v1 submitted 23 April, 2007; originally announced April 2007.

Comments: To appear in the Proceedings of the Poisson 2006 (Tokyo), AMS Contemporary Mathematics

MSC Class: 46L65; 14A20; 32C38; 53D55

An algebra of deformation quantization for star-exponentials on complex symplectic manifolds

Authors: Giuseppe Dito, Pierre Schapira

Abstract: The cotangent bundle $T^*X$ to a complex manifold $X$ is classically endowed with the sheaf of $\cor$-algebras $\W[T^*X]$ of deformation quantization, where $\cor\eqdot \W[\rmptt]$ is a subfield of $\C[[\hbar,\opb{\hbar}]$. Here, we construct a new sheaf of $\cor$-algebras $\TW[T^*X]$ which contains $\W[T^*X]$ as a subalgebra and an extra central parameter $t$. We give the symbol calculus for th… ▽ More The cotangent bundle $T^*X$ to a complex manifold $X$ is classically endowed with the sheaf of $\cor$-algebras $\W[T^*X]$ of deformation quantization, where $\cor\eqdot \W[\rmptt]$ is a subfield of $\C[[\hbar,\opb{\hbar}]$. Here, we construct a new sheaf of $\cor$-algebras $\TW[T^*X]$ which contains $\W[T^*X]$ as a subalgebra and an extra central parameter $t$. We give the symbol calculus for this algebra and prove that quantized symplectic transformations operate on it. If $P$ is any section of order zero of $\W[T^*X]$, we show that $\exp(t\opb{\hbar} P)$ is well defined in $\TW[T^*X]$. △ Less

Submitted 10 July, 2006; originally announced July 2006.

Comments: Latex file, 24 pages

MSC Class: 53D55; 32C38

Constructibility and duality for simple holonomic modules on complex symplectic manifolds

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: Consider a complex symplectic manifold $X$ and the algebroid $W_X$ of quantization-deformation. For two regular holonomic modules $L_i$ ($i=0,1$) supported by smooth Lagrangian manifolds, we prove that the complex $Rhom_{W_X}(L_1,L_0)$ is constructible and perverse and dual to the complex $Rhom_{W_X}(L_0,L_1)$. Consider a complex symplectic manifold $X$ and the algebroid $W_X$ of quantization-deformation. For two regular holonomic modules $L_i$ ($i=0,1$) supported by smooth Lagrangian manifolds, we prove that the complex $Rhom_{W_X}(L_1,L_0)$ is constructible and perverse and dual to the complex $Rhom_{W_X}(L_0,L_1)$. △ Less

Submitted 9 June, 2007; v1 submitted 2 December, 2005; originally announced December 2005.

Comments: minor changes: a reference added, remarks added, typos corrected

MSC Class: 46L65; 14A20; 32C38

Quantization of complex Lagrangian submanifolds

Authors: Andrea D'Agnolo, Pierre Schapira

Abstract: Let $Λ$ be a smooth Lagrangian submanifold of a complex symplectic manifold $X$. We construct twisted simple holonomic modules along $Λ$ in the stack of deformation-quantization modules on $X$. Let $Λ$ be a smooth Lagrangian submanifold of a complex symplectic manifold $X$. We construct twisted simple holonomic modules along $Λ$ in the stack of deformation-quantization modules on $X$. △ Less

Submitted 20 December, 2006; v1 submitted 3 June, 2005; originally announced June 2005.

MSC Class: 35A27; 32C38; 14A20

Journal ref: Adv. Math. 213 no. 1 (2007), 358-379

Microlocalization of Ind-sheaves

Authors: M. Kashiwara, Pierre Schapira, F. Ivorra, I. Waschkies

Abstract: Let X be a C-infinity manifold. We construct a microlocalization functor $μ_X$ from the derived category of bounded complexes of ind-sheaves on X to the one on the cotangent bundle of X. This functor generalizes the classical theory of microlocalization. Let X be a C-infinity manifold. We construct a microlocalization functor $μ_X$ from the derived category of bounded complexes of ind-sheaves on X to the one on the cotangent bundle of X. This functor generalizes the classical theory of microlocalization. △ Less

Submitted 22 July, 2004; originally announced July 2004.

Comments: 39 pages, uses xy-pic

MSC Class: 35A27; 32C38

On twisted microdifferential modules I. Non-existence of twisted wave equations

Authors: Andrea D'Agnolo, Pierre Schapira

Abstract: Using the notion of subprincipal symbol, we give a necessary condition for the existence of twisted D-modules simple along a smooth involutive submanifold of the cotangent bundle to a complex manifold. As an application, we prove that there are no generalized massless field equations with non trivial twist on grassmannians, and in particular that the Penrose transform does not extend to the twis… ▽ More Using the notion of subprincipal symbol, we give a necessary condition for the existence of twisted D-modules simple along a smooth involutive submanifold of the cotangent bundle to a complex manifold. As an application, we prove that there are no generalized massless field equations with non trivial twist on grassmannians, and in particular that the Penrose transform does not extend to the twisted case. △ Less

Submitted 16 January, 2004; originally announced January 2004.

Comments: LaTeX, 18 pages

MSC Class: 35A27; 32C38; 14A20

Journal ref: Publ. Res. Inst. Math. Sci. 40, no. 3 (2004), 1093-1111

Stacks of quantization-deformation modules on complex symplectic manifolds

Authors: Pietro Polesello, Pierre Schapira

Abstract: On a complex symplectic manifold, we construct the stack of quantization-deformation modules, that is, (twisted) modules of microdifferential operators with an extra central parameter, a substitute to the lack of homogeneity. We also quantize involutive submanifolds of contact manifolds. On a complex symplectic manifold, we construct the stack of quantization-deformation modules, that is, (twisted) modules of microdifferential operators with an extra central parameter, a substitute to the lack of homogeneity. We also quantize involutive submanifolds of contact manifolds. △ Less

Submitted 8 August, 2003; v1 submitted 12 May, 2003; originally announced May 2003.

Comments: In this new version, we have deleted from the previous one Lemma 7.6, Proposition 7.7 and Proposition 7.8 which were erroneous

MSC Class: 46L65; 14A20; 32C38

Journal ref: Int. Math. Res. Not. 49 (2004), pp. 2637-2664

Involutivity of truncated microsupports

Authors: Masaki Kashiwara, Teresa Monteiro Fernandes, Pierre Schapira

Abstract: Using a result of J-M. Bony, we prove the weak involutivity of truncated microsupports. More precisely, given a sheaf $F$ on a real manifold and an integer $k$, if two functions vanish on the truncated microsupport $Ss_k(F)$, then so does their Poisson bracket. Using a result of J-M. Bony, we prove the weak involutivity of truncated microsupports. More precisely, given a sheaf $F$ on a real manifold and an integer $k$, if two functions vanish on the truncated microsupport $Ss_k(F)$, then so does their Poisson bracket. △ Less

Submitted 17 May, 2002; originally announced May 2002.

Comments: 9 pages

MSC Class: 35A27; 32C38

Truncated microsupport and holomorphic solutions of D-modules

Authors: Masaki Kashiwara, Teresa Monteiro Fernandes, Pierre Schapira

Abstract: We study the truncated microsupport $Ss_k$ of sheaves on a real manifold. Applying our results to the case of $F=RHom_D(M,O)$, the complex of holomorphic solutions of a coherent $D$-module $M$, we show that $Ss_k(F)$ is completely determined by the characteristic variety of $M$. As an application, we obtain an extension theorem for the sections of $H^j(F)$, $j<d$, defined on an open subset whose… ▽ More We study the truncated microsupport $Ss_k$ of sheaves on a real manifold. Applying our results to the case of $F=RHom_D(M,O)$, the complex of holomorphic solutions of a coherent $D$-module $M$, we show that $Ss_k(F)$ is completely determined by the characteristic variety of $M$. As an application, we obtain an extension theorem for the sections of $H^j(F)$, $j<d$, defined on an open subset whose boundary is non characteristic outside of a complex analytic subvariety of codimension $d$. We also give a characterization of the perversity for ${\bf C}$-constructible sheaves in terms of their truncated microsupports. △ Less

Submitted 9 March, 2002; originally announced March 2002.

Comments: 22 pages

MSC Class: Primary: 35A27; Secondary: 32C38

Journal ref: Bull. Soc. Math. France, 131 (2003), no. 2, 259--266

Microlocal study of ind-sheaves I: micro-support and regularity

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: We define the notions of micro-support and regularity for ind-sheaves, and prove their invariance by contact transformations. We apply the results to the ind-sheaves of temperate holomorphic solutions of D-modules. We prove that the micro-support of such an ind-sheaf is the characteristic variety of the corresponding D-module and that the ind-sheaf is regular if the D-module is regular holonomic… ▽ More We define the notions of micro-support and regularity for ind-sheaves, and prove their invariance by contact transformations. We apply the results to the ind-sheaves of temperate holomorphic solutions of D-modules. We prove that the micro-support of such an ind-sheaf is the characteristic variety of the corresponding D-module and that the ind-sheaf is regular if the D-module is regular holonomic. △ Less

Submitted 9 August, 2001; originally announced August 2001.

Comments: 26 pages

MSC Class: 35A27; 32C38

Micro-support and Cauchy problem for temperate solutions of regular $\cal D$-Modules

Authors: Masaki Kashiwara, Teresa Monteiro Fernandes, Pierre Schapira

Abstract: Let $X$ be a complex manifold, $V$ a smooth involutive submanifold of $T^*X$, $\cal M$ a microdifferential system regular along $V$, and $F$ an $\mathbb{R}$-constructible sheaf on $X$. The complex of temperate microfunction solutions of $\cal M$ associated with $F$ is now well understood. In this paper we study the temperate case and give a bound to the micro-support of the temperate microfunc… ▽ More Let $X$ be a complex manifold, $V$ a smooth involutive submanifold of $T^*X$, $\cal M$ a microdifferential system regular along $V$, and $F$ an $\mathbb{R}$-constructible sheaf on $X$. The complex of temperate microfunction solutions of $\cal M$ associated with $F$ is now well understood. In this paper we study the temperate case and give a bound to the micro-support of the temperate microfunction solution sheaves and solve the Cauchy problem under suitable hyperbolicity conditions. △ Less

Submitted 12 December, 2000; originally announced December 2000.

Comments: 20 pages, Latex 2e, correct some typos on the abstract, which incorrectly used macros

Global propagation on causal manifolds

Authors: Andrea D'Agnolo, Pierre Schapira

Abstract: The micro-support of sheaves is a tool to describe local propagation results. A natural problem is then to give sufficient conditions to get global propagation results from the knowledge of the micro-support. This is the aim of this paper. As an application, we consider the problem of global existence for solutions to hyperbolic systems (in the hyperfunction and distribution case), along the lin… ▽ More The micro-support of sheaves is a tool to describe local propagation results. A natural problem is then to give sufficient conditions to get global propagation results from the knowledge of the micro-support. This is the aim of this paper. As an application, we consider the problem of global existence for solutions to hyperbolic systems (in the hyperfunction and distribution case), along the lines of Leray. Causal manifolds, and in particular homogeneous causal manifolds as considered by Faraut et al., give examples of manifolds to which our results apply. △ Less

Submitted 30 June, 1999; originally announced June 1999.

Comments: 15 pages, LaTeX, requires XYpic

MSC Class: 58G17; 35L

Journal ref: Asian J. Math., vol. 2 no. 4 (1999) 721-733

Ind-Sheaves, distributions, and microlocalization

Authors: Masaki Kashiwara, Pierre Schapira

Abstract: This is an announcement of a long paper in progress. On a locally compact space, we introduce the stack of ind-sheaves (ind-objects of the category of sheaves with compact support) and construct the analogous of the usual six operations on sheaves. As an application, we treat, in the formalism of ind-sheaves, functions with growth conditions such as the ``tempered holomorphic functions'' on a co… ▽ More This is an announcement of a long paper in progress. On a locally compact space, we introduce the stack of ind-sheaves (ind-objects of the category of sheaves with compact support) and construct the analogous of the usual six operations on sheaves. As an application, we treat, in the formalism of ind-sheaves, functions with growth conditions such as the ``tempered holomorphic functions'' on a complex manifold. We also construct a microlocalization functor from the category of sheaves on a manifold to that of ind-sheaves on the cotangent bundle. △ Less

Submitted 29 June, 1999; originally announced June 1999.

Comments: 11 pages, Latex, uses package xypic