arXiv subjects
Publications and source records attributed to Pierre Schapira.
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.
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.
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.
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.
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.
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.
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.
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.