Showing 1–21 of 21 results for author: Fernandes, T M

On relative constructible sheaves and integral transforms

Authors: Luisa Fiorot, Teresa Monteiro Fernandes

Abstract: The aim of this note is threefold. The first is to obtain a simple characterization of relative constructible sheaves when the parameter space is projective. The second is to study the relative Fourier-Mukai for relative constructible sheaves and for relative regular holonomic $\mathcal D$-modules and prove they induce relative equivalences of categories. The third is to introduce and study the no… ▽ More The aim of this note is threefold. The first is to obtain a simple characterization of relative constructible sheaves when the parameter space is projective. The second is to study the relative Fourier-Mukai for relative constructible sheaves and for relative regular holonomic $\mathcal D$-modules and prove they induce relative equivalences of categories. The third is to introduce and study the notions of relative constructible functions and relative Euler-Poincaré index. We prove that the relative Euler-Poincaré index provides an isomorphism between the Grothendieck group of the derived category of complexes with bounded relative $\mathbb R$-constructible cohomology and the ring of relative constructible functions. △ Less

Submitted 23 January, 2025; v1 submitted 16 October, 2023; originally announced October 2023.

Comments: 25 pages. This is the last version of this paper accepted in Fundamenta Mathematicae

MSC Class: 32S60; 18F30; 14C35

Regularization of relative holonomic D-modules

Authors: Teresa Monteiro Fernandes

Abstract: Let $X$ and $S$ be complex analytic manifolds where $S$ plays the role of a parameter space. Using the sheaf $\DXS^{\infty}$ of relative differential operators of infinite order, we construct functorially the regular holonomic $\DXS$-module $\shm_{reg}$ associated to a relative holonomic $\DXS$-module $\shm$, extending to the relative case classical theorems by Kashiwara-Kawai: denoting by… ▽ More Let $X$ and $S$ be complex analytic manifolds where $S$ plays the role of a parameter space. Using the sheaf $\DXS^{\infty}$ of relative differential operators of infinite order, we construct functorially the regular holonomic $\DXS$-module $\shm_{reg}$ associated to a relative holonomic $\DXS$-module $\shm$, extending to the relative case classical theorems by Kashiwara-Kawai: denoting by $\shm^{\infty}$ the tensor product of $\shm$ by $\DXS^{\infty}$ we explicit $\shm^{\infty}$ in terms of the sheaf of holomorphic solutions of $\shm$ and prove that $\shm^{\infty}$ and $\shm_{reg}^{\infty}$ are isomorphic. △ Less

Submitted 26 May, 2023; v1 submitted 30 October, 2022; originally announced October 2022.

Comments: This is a revised version following the referee's corrections. The main results are the same

MSC Class: 14F10; 32C38; 35A27; 58J15

Relative Regular Riemann-Hilbert correspondence II

Authors: Luisa Fiorot, Teresa Monteiro Fernandes, Claude Sabbah

Abstract: We develop the theory of relative regular holonomic D-modules with a smooth complex manifold S of arbitrary dimension as parameter space, together with their main functorial properties. In particular, we establish in this general setting the relative Riemann-Hilbert correspondence proved in a previous work in the one-dimensional case. We develop the theory of relative regular holonomic D-modules with a smooth complex manifold S of arbitrary dimension as parameter space, together with their main functorial properties. In particular, we establish in this general setting the relative Riemann-Hilbert correspondence proved in a previous work in the one-dimensional case. △ Less

Submitted 12 February, 2024; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: V2: 58 pages, revised version following referee's comments; the arXiv version contains a last section with details. V3: Statement of Propositions 5.4(1) and A.3 corrected. V4: 61 pages Statement and proof of Proposition 5.4 corrected after a referee's remark; details of proofs added in the appendix. V5: 54 pages Final published version in the Compositio style. V6: = V5 plus details of proofs of V4

MSC Class: 14F10; 32C38; 32S40; 32S60; 35Nxx; 58J10

Journal ref: Compositio Math. 159 (2023) no. 7, 1413-1465

Relative subanalytic sheaves II

Authors: Teresa Monteiro Fernandes, Luca Prelli

Abstract: We give a new construction of sheaves on a relative site associated to a product $X\times S$ where $S$ plays the role of a parameter space, expanding the previous construction by the same authors, where the subanalytic structure on $S$ was required. Here we let this last condition fall. In this way the construction becomes much easier to apply when dimension of $S$ is bigger than one. We also stud… ▽ More We give a new construction of sheaves on a relative site associated to a product $X\times S$ where $S$ plays the role of a parameter space, expanding the previous construction by the same authors, where the subanalytic structure on $S$ was required. Here we let this last condition fall. In this way the construction becomes much easier to apply when dimension of $S$ is bigger than one. We also study the functorial properties of base change with respect to the parameter space. △ Less

Submitted 19 July, 2021; v1 submitted 3 March, 2021; originally announced March 2021.

Comments: We corrected several typos, clarified some points following referee's report and slightly improved the presentation of section 3.6

MSC Class: 18F10; 18F20; 32B20

The relative hermitian duality functor

Authors: Teresa Monteiro Fernandes, Claude Sabbah

Abstract: We extend to the category of relative regular holonomic modules on a manifold $X$, parametrized by a curve $S$, the Hermitian duality functor (or conjugation functor) of Kashiwara. We prove that this functor is an equivalence with the similar category on the conjugate manifold $\overline X$, parametrized by the same curve. As a byproduct we introduce the notion of regular holonomic relative distri… ▽ More We extend to the category of relative regular holonomic modules on a manifold $X$, parametrized by a curve $S$, the Hermitian duality functor (or conjugation functor) of Kashiwara. We prove that this functor is an equivalence with the similar category on the conjugate manifold $\overline X$, parametrized by the same curve. As a byproduct we introduce the notion of regular holonomic relative distribution. △ Less

Submitted 8 July, 2022; v1 submitted 30 December, 2020; originally announced December 2020.

Comments: Proposition 5 is corrected as well as its implications in other statements. The main result is untouched

MSC Class: 14F10; 32C38; 35A27; 58J15

On Lisbon integrals

Authors: Daniel Barlet, Teresa Monteiro Fernandes

Abstract: We introduce new complex analytic integral transforms, the Lisbon Integrals, which naturally arise in the study of the affine space $\mathbb{C}^k$ of unitary polynomials $P_s(z)$ where $s\in\mathbb{C}^k$ and $z\in \mathbb{C}$, $s_i$ identified to the $i-$th symmetric function of the roots of $P_s(z)$. We completely determine the $\mathcal{D}$-modules (or systems of partial differential equations)… ▽ More We introduce new complex analytic integral transforms, the Lisbon Integrals, which naturally arise in the study of the affine space $\mathbb{C}^k$ of unitary polynomials $P_s(z)$ where $s\in\mathbb{C}^k$ and $z\in \mathbb{C}$, $s_i$ identified to the $i-$th symmetric function of the roots of $P_s(z)$. We completely determine the $\mathcal{D}$-modules (or systems of partial differential equations) the Lisbon Integrals satisfy and prove that they are their unique global solutions. If we specify a holomorphic function $f$ in the $z$-variable, our construction induces an integral transform which associates a regular holonomic module quotient of the sub-holonomic module we computed. We illustrate this correspondence in the case of a $1$-parameter family of exponentials $f_t(z) = exp(t z)$ with $t$ a complex parameter. △ Less

Submitted 23 February, 2020; v1 submitted 24 June, 2019; originally announced June 2019.

Comments: Improved general presentation, results unchanged, added references, corrected typos

Relative regular Riemann-Hilbert correspondence

Authors: Luisa Fiorot, Teresa Monteiro Fernandes, Claude Sabbah

Abstract: On the product of a complex manifold $X$ by a complex curve $S$ considered as a parameter space, we show a Riemann-Hilbert correspondence between regular holonomic relative $\mathcal D$-modules (resp. complexes) on the one hand and relative perverse complexes (resp. $S$-$\mathbb{C}$-constructible complexes) on the other hand. On the product of a complex manifold $X$ by a complex curve $S$ considered as a parameter space, we show a Riemann-Hilbert correspondence between regular holonomic relative $\mathcal D$-modules (resp. complexes) on the one hand and relative perverse complexes (resp. $S$-$\mathbb{C}$-constructible complexes) on the other hand. △ Less

Submitted 6 August, 2021; v1 submitted 24 June, 2019; originally announced June 2019.

Comments: 22 pages. This article improves and supersedes arXiv:1811.07151. V2: 28 pages, various corrections, new Th.2, improvement of the presentation. V3: final version to appear in the Proceedings of the London Mathematical Society. V4 Version post-publication, corrects an error in the proof of Prop.3.3 of the published version, Sections 3.2-3.4 modified

Journal ref: Proceedings of the London Mathematical Society 122 (2021), no. 3, p. 434-457, Erratum: Ibid, 123 (2021), no. 6, p. 649-654

Relative strongly regular holonomic ${\mathcal{D}}$-modules and the Riemann-Hilbert correspondence

Authors: Luisa Fiorot, Teresa Monteiro Fernandes

Abstract: We introduce the notion of strong regular holonomic ${\mathcal{D}}_{{X\times S}/S}$-module and we prove that the functor ${\mathrm{RH}}^S$ introduced by T. Monteiro Fernandes and C. Sabbah in [14] takes image in ${\mathsf{D}}^{\mathrm{b}}_{\mathrm{srhol}}({\mathcal{D}}_{{X\times S}/S})$ (complexes of ${\mathcal{D}}_{{X\times S}/S}$-module whose cohomologies are strongly regular). We prove that for… ▽ More We introduce the notion of strong regular holonomic ${\mathcal{D}}_{{X\times S}/S}$-module and we prove that the functor ${\mathrm{RH}}^S$ introduced by T. Monteiro Fernandes and C. Sabbah in [14] takes image in ${\mathsf{D}}^{\mathrm{b}}_{\mathrm{srhol}}({\mathcal{D}}_{{X\times S}/S})$ (complexes of ${\mathcal{D}}_{{X\times S}/S}$-module whose cohomologies are strongly regular). We prove that for $\dim X=\dim S=1$ the functor solution functor ${}^\mathrm{p}{\mathrm{Sol}}$ restricted to ${\mathsf{D}}^{\mathrm{b}}_{\mathrm{srhol}}({\mathcal{D}}_{{X\times S}/S})$ is an equivalence of categories with quasi-inverse ${\mathrm{RH}}^S$. △ Less

Submitted 17 November, 2018; originally announced November 2018.

Comments: 13 pages

Relative Riemann-Hilbert correspondence in dimension one

Authors: Teresa Monteiro Fernandes, Claude Sabbah

Abstract: We prove that, on a Riemann surface, the functor $\mathrm{RH}^S$ constructed in a previous work as a right quasi-inverse of the solution functor from the bounded derived category of regular relative holonomic modules to that of relative constructible complexes satisfies the left quasi-inverse property in a generic sense. We prove that, on a Riemann surface, the functor $\mathrm{RH}^S$ constructed in a previous work as a right quasi-inverse of the solution functor from the bounded derived category of regular relative holonomic modules to that of relative constructible complexes satisfies the left quasi-inverse property in a generic sense. △ Less

Submitted 13 September, 2017; v1 submitted 17 April, 2017; originally announced April 2017.

Comments: 10 pages. V2: revised version, some mistake corrected, improvement of the presentation. V3: final version to be published

Journal ref: Portugal. Math. (N.S.) 74 (2017), no. 2, p. 149-159

$t$-Structures for Relative $\mathcal{D}$-Modules and $t$-Exactness of the de Rham Functor

Authors: Luisa Fiorot, Teresa Monteiro Fernandes

Abstract: This paper is a contribution to the study of relative holonomic $\mathcal{D}$-modules. Contrary to the absolute case, the standard $t$-structure on holonomic $\mathcal{D}$-modules is not preserved by duality and hence the solution functor is no longer $t$-exact with respect to the canonical, resp. middle-perverse, $t$-structures. We provide an explicit description of these dual $t$-structures. Whe… ▽ More This paper is a contribution to the study of relative holonomic $\mathcal{D}$-modules. Contrary to the absolute case, the standard $t$-structure on holonomic $\mathcal{D}$-modules is not preserved by duality and hence the solution functor is no longer $t$-exact with respect to the canonical, resp. middle-perverse, $t$-structures. We provide an explicit description of these dual $t$-structures. When the parameter space is 1-dimensional, we use this description to prove that the solution functor as well as the relative Riemann-Hilbert functor are $t$-exact with respect to the dual $t$-structure and to the middle-perverse one while the de Rham functor is $t$-exact for the canonical, resp. middle-perverse, $t$-structures and their duals. △ Less

Submitted 8 June, 2018; v1 submitted 27 March, 2017; originally announced March 2017.

Comments: Final version to appear in Journal of Algebra

Riemann-Hilbert correspondence for mixed twistor D-Modules

Authors: Teresa Monteiro Fernandes, Claude Sabbah

Abstract: We introduce the notion of regularity for a relative holonomic $\mathcal D$-module in the sense of arXiv:1204.1331. We prove that the solution functor from the bounded derived category of regular relative holonomic modules to that of relative constructible complexes is essentially surjective by constructing a right quasi-inverse functor. When restricted to relative $\mathcal D$-modules underlying… ▽ More We introduce the notion of regularity for a relative holonomic $\mathcal D$-module in the sense of arXiv:1204.1331. We prove that the solution functor from the bounded derived category of regular relative holonomic modules to that of relative constructible complexes is essentially surjective by constructing a right quasi-inverse functor. When restricted to relative $\mathcal D$-modules underlying a regular mixed twistor $\mathcal D$-module, this functor satisfies the left quasi-inverse property. △ Less

Submitted 4 March, 2017; v1 submitted 14 September, 2016; originally announced September 2016.

Comments: 36 pages. V2: 40 pages, statement of Theorem 5 corrected, a correction in the proof of Lemma 3.15, presentation improved with more introductory material

MSC Class: 14F10; 32C38; 32S40; 32S60; 35Nxx; 58J10

Journal ref: J. Inst. Math. Jussieu (2019) 18(3), 629-672

Relative subanalytic sheaves

Authors: Teresa Monteiro Fernandes, Luca Prelli

Abstract: Given a projection $f$ of a product of real analytic manifolds onto one factor, let us say, $S$, and a subanalytic sheaf $\mathcal{F}$ on the associated subanalytic site, we give a natural construction of the (subanalytic) relative sheaf $\mathcal{F}^S$. Applying our construction to the subanalytic sheaves of tempered distributions, holomorphic functions and Whitney $\mathcal{C}^{\infty}$-function… ▽ More Given a projection $f$ of a product of real analytic manifolds onto one factor, let us say, $S$, and a subanalytic sheaf $\mathcal{F}$ on the associated subanalytic site, we give a natural construction of the (subanalytic) relative sheaf $\mathcal{F}^S$. Applying our construction to the subanalytic sheaves of tempered distributions, holomorphic functions and Whitney $\mathcal{C}^{\infty}$-functions we obtain their relative versions and study their properties. △ Less

Submitted 3 January, 2014; v1 submitted 3 October, 2013; originally announced October 2013.

Comments: 18 pages

MSC Class: 18F10; 18F20; 32B20

Journal ref: Fundamenta Mathematicae, Vol. 226, n. 1, pp. 79-100 (2014)

On the de Rham complex of mixed twistor D-modules

Authors: Teresa Monteiro Fernandes, Claude Sabbah

Abstract: Given a complex manifold S, we introduce for each complex manifold X a t-structure on the bounded derived category of C-constructible complexes of O_S-modules on X x S. We prove that the de Rham complex of a holonomic D_{XxS/S}-module which is O_S-flat as well as its dual object is perverse relatively to this t-structure. This result applies to mixed twistor D-modules. Given a complex manifold S, we introduce for each complex manifold X a t-structure on the bounded derived category of C-constructible complexes of O_S-modules on X x S. We prove that the de Rham complex of a holonomic D_{XxS/S}-module which is O_S-flat as well as its dual object is perverse relatively to this t-structure. This result applies to mixed twistor D-modules. △ Less

Submitted 5 April, 2012; originally announced April 2012.

Comments: 18 pages

MSC Class: 14F10; 32C38; 32S40; 32S60; 35Nxx; 58J10

Journal ref: International Mathematics Research Notices, rns197, 24 pages, 2012

Extension of functors for algebras of formal deformation

Authors: Ana Rita Martins, Teresa Monteiro Fernandes, David Raimundo

Abstract: Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are given a functor $Φ$ from the category of open subsets of $X$ to the category of open subsets of $Y$ together with a functor $F$ of prestacks from $\mathcal{S}$ to… ▽ More Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are given a functor $Φ$ from the category of open subsets of $X$ to the category of open subsets of $Y$ together with a functor $F$ of prestacks from $\mathcal{S}$ to $\mathcal{S}'\circΦ$. Then we give conditions for the existence of a canonical functor, extension of $F$ to the category of coherent ${\sha}$-modules such that the cohomology associated to the action of the formal parameter $\hbar$ takes values in $\mathcal{S}$. We give an explicit construction and prove that when the initial functor $F$ is exact on each open subset, so is its extension. Our construction permits to extend the functors of inverse image, Fourier transform, specialization and microlocalization, nearby and vanishing cycles in the framework of $\shd[[\hbar]]$-modules. We also obtain a Cauchy-Kowalewskaia-Kashiwara theorem in the non-characteristic case as well as comparison theorems for regular holonomic $\shd[[\hbar]]$-modules and a coherency criterion for proper direct images of good $\shd[[\hbar]]$-modules. △ Less

Submitted 9 January, 2013; v1 submitted 2 January, 2012; originally announced January 2012.

Comments: Typos corrected; accepted in Glasgow Mathematical Journal

MSC Class: 32C38; 46L65 (Primary) 18E30; 46A13 (Secondary)

Grauert's theorem for subanalytic open sets in real analytic manifolds

Authors: Daniel Barlet, Teresa Monteiro Fernandes

Abstract: By open neighbourhood of an open subset $Ω$ of $\mathbb{R}^n$ we mean an open subset $Ω'$ of $\mathbb{C}^n$ such that $\mathbb{R}^n\capΩ'=Ω.$ A well known result of H. Grauert implies that any open subset of $\mathbb{R}^n$ admits a fundamental system of Stein open neighbourhoods in $\mathbb{C}^n$. Another way to state this property is to say that each open subset of $\mathbb{R}^n$ is Stein. We sha… ▽ More By open neighbourhood of an open subset $Ω$ of $\mathbb{R}^n$ we mean an open subset $Ω'$ of $\mathbb{C}^n$ such that $\mathbb{R}^n\capΩ'=Ω.$ A well known result of H. Grauert implies that any open subset of $\mathbb{R}^n$ admits a fundamental system of Stein open neighbourhoods in $\mathbb{C}^n$. Another way to state this property is to say that each open subset of $\mathbb{R}^n$ is Stein. We shall prove a similar result in the subanalytic category, so, under the assumption that $Ω$ is a subanalytic relatively compact open subset in a real analytic manifold, we show that $Ω$ admits a fundamental system of subanalytic Stein open neighbourhoods in any of its complexifications. △ Less

Submitted 8 April, 2011; v1 submitted 18 November, 2010; originally announced November 2010.

Comments: Main theorem improved, added references, corrected typos, revised some arguments, to appear in Studia Mathematica

MSC Class: 32B20; 14P15

Formal extension of the Whitney functor and duality

Authors: Ana Rita Martins, Teresa Monteiro Fernandes

Abstract: We introduce the formal extension of the Whitney functor and the polynomial extension of the tempered cohomology functor, and prove a natural topological duality between them. We introduce the formal extension of the Whitney functor and the polynomial extension of the tempered cohomology functor, and prove a natural topological duality between them. △ Less

Submitted 22 June, 2011; v1 submitted 22 October, 2009; originally announced October 2009.

Comments: Typos corrected. To appear in Rendiconti del Seminario Matematico della Università di Padova

MSC Class: 32C28; 46A20

Microsupport of tempered solutions of D-Modules associated to smooth morphisms

Authors: Teresa Monteiro Fernandes

Abstract: Let $f:X\to Y$ be a smooth morphism of complex analytic manifolds and let $F$ be an $\mathbb{R}$-constructible complex on $Y$. Let $\cal{M}$ be a coherent $\shd_X$-module. We prove that the microsupport of the solution complex of $\shm$ in the tempered holomorphic functions $t \shh \text{om} (f^{-1} F, \sho_X)$, is contained in the 1-characteristic variety of $\cal{M}$ associated to $f$, and that… ▽ More Let $f:X\to Y$ be a smooth morphism of complex analytic manifolds and let $F$ be an $\mathbb{R}$-constructible complex on $Y$. Let $\cal{M}$ be a coherent $\shd_X$-module. We prove that the microsupport of the solution complex of $\shm$ in the tempered holomorphic functions $t \shh \text{om} (f^{-1} F, \sho_X)$, is contained in the 1-characteristic variety of $\cal{M}$ associated to $f$, and that the microsupport of the solution complex in the tempered microfunctions $tμhom(f^{-1}F, \sho_X)$ is contained in the 1-microcharacteristic variety of the microlocalized of $\shm$ along $T^*Y\times_Y X$. This applies in particular to the complex of solutions of $\shm$ in the sheaf of distributions holomorphic in the fibers of an arbitrary smooth morphism. △ Less

Submitted 15 January, 2013; v1 submitted 6 August, 2008; originally announced August 2008.

Comments: Final version to appear in Houston Journal of Mathematics with a dedicatory added

MSC Class: 35A27; 32C38

Truncated microsupport and hyperbolic inequalities

Authors: Ana Rita Martins, Teresa Monteiro Fernandes

Abstract: We prove that the k-truncated microsupport of the specialization of a complex of sheaves $F$ along a submanifold is contained in the normal cone to the conormal bundle along the k-truncated microsupport of $F$. In the complex case, applying our estimates to $F=\text{R}\cal{H}\text{om}_{\cal{D}}(\cal{M}, \sho)$, where $\cal{M}$ is a coherent $\cal{D}$-module, we obtain new estimates for the trunc… ▽ More We prove that the k-truncated microsupport of the specialization of a complex of sheaves $F$ along a submanifold is contained in the normal cone to the conormal bundle along the k-truncated microsupport of $F$. In the complex case, applying our estimates to $F=\text{R}\cal{H}\text{om}_{\cal{D}}(\cal{M}, \sho)$, where $\cal{M}$ is a coherent $\cal{D}$-module, we obtain new estimates for the truncated microsupport of real analytic and hyperfunction solutions. When $\cal{M}$ is regular along $Y$ we also obtain estimates for the truncated microsupport of the holomorphic solutions of the induced system along $Y$ as well as for the nearby-cycle sheaf of $\shm$ when $Y$ is a hypersurface. △ Less

Submitted 21 July, 2005; v1 submitted 21 June, 2005; originally announced June 2005.

Comments: Corollary 1.8 is improved, corollary 1.9 is supressed, some minor changes of redaction

MSC Class: 35A27; 32C38

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

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