dg-methods for microlocalization

Sheaves of differential operators and their modules, (D)-modules (32C38) Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs (35A27)

Abstract: For a complex manifold

X

the ring of microdifferential operators

E_{X}

acts on the microlocalization

m u h o m (F, O_{X})

, for

F

in the derived category of sheaves on

X

. Kashiwara, Schapira, Ivorra, Waschkies proved, as a byproduct of their new microlocalization functor for ind-sheaves,

m u_{X}

, that

m u h o m (F, O_{X})

can in fact be defined as an object of the derived category of

E_{X}

-modules: this follows from the fact that

m u_{X} O_{X}

is concentrated in one degree. In this paper we prove that the tempered microlocalization also is an object of the derived category of

E_{X}

-modules. Since we don't know whether the tempered version of

m u_{X} O_{X}

is concentrated in one degree, we introduce a method to build suitable resolutions for which the action of

E_{X}

is realized in the category of complexes. We define a version of the de Rham algebra on the subanalytic site which is quasi-injective and we work in the category of dg-modules over this de Rham algebra instead of the derived category of sheaves.

Review text

Let \(X\) be a complex manifold, and let \({\mathcal E}_X\) be the ring of microdifferential operators. It acts on the microlocalization \(\mu \hom(F,{\mathcal O}_X)\), for \(F\) in the derived category of sheaves on \(X\). As a consequence of their new microlocalization, \textit{M. Kashiwara, P. Shapira, F. Ivorra} and \textit{I. Waschkies} proved [in: J. Bernstein (ed.) et al., Studies in Lie theory. Dedicated to A. Joseph on his sixtieth birthday. Basel: Birkhäuser. Progress in Mathematics 243, 171--221 (2006; Zbl 1098.35008)] that \(\mu\hom(F,{\mathcal O}_X)\) can be defined as an object of \(D({\mathcal E}_X)\) (and this follows from the fact that \(\mu_X{\mathcal O}_X\) is concentrated in one degree). In this paper, the author proves that the tempered microlocalization \(T\)-\(\mu \hom(F,{\mathcal O}_X)\) and \(\mu_X{\mathcal O}_X^t\) are also objects of \(D({\mathcal E}_X)\). To accomplish this, since one does not know if \(\mu_X{\mathcal O}_X^t\) is concentrated in one degree, the author constructs resolutions of \({\mathcal E}_X\) and \(\mu_X{\mathcal O}_X^t\) such that the action of \({\mathcal E}_X\) is realized in the category of complexes, and then builds a microlocalization in this framework.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: dg-methods for microlocalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q533369)