# Micro-support and microlocalization

• Chapter

Part of the book series: Grundlehren der mathematischen Wissenschaften ((GL,volume 292))

• 5742 Accesses

## Summary

Let X be a manifold, Ω a subset of T*X. We define the triangulated category D b(X; Ω) as the localization of D b(X) by the full subcategory of objects whose micro-support is disjoint from Ω. Then to work “microlocally” on Ω with a sheaf F on X gets a precise meaning: it simply means to consider F as an object of D b(X; Ω). With this new notion, we introduce the “microlocal inverse image” and the “microlocal direct image”. These are pro-objects or ind-objects of the category D b(X; p), the localization of D b(X) at p, but we give conditions which ensure that one remains in the category D b(X; p).

The localization of D b(X) is related to the functor μhom by the formula:

$$Ho{m_{{D^b}\left( {X;p} \right)}}\left( {G,F} \right) = {H^0}\left( {\mu \hom \left( {G,F} \right)} \right)$$
(6.0.1)

.

This formula is an essential step in the proof of Theorem 6.5.4 which asserts that SS(F) is an involutive subset of T*X.

Before getting the involutivity theorem, we study the micro-support of sheaves after various operations (direct images for an open embedding, microlocalization, etc.), extending the results of the preceding chapter to the characteristic case, or to the non-proper case. In particular we obtain the formula:

$$SS\left( {\mu \hom \left( {G,F} \right)} \right) \subset C\left( {SS\left( F \right),SS\left( G \right)} \right)$$
(6.0.2)

. This formulation makes use of normal cones in cotangent bundles that we study in §2.

Next we characterize “microlocally” sheaves whose micro-support is contained in an involutive submanifold. In particular, we show that if SS(F) is contained in the conormal bundle to a submanifold Y of X, then F is microlocally isomorphic to the sheaf L γ, for some A-module L.

Finally we investigate the case when the functors of inverse image and that of microlocalization commute, and obtain a sheaf-theoretical version of a result on the Cauchy problem for micro-hyperbolic systems.

This is a preview of subscription content, log in via an institution to check access.

## Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
• Available as PDF
• Own it forever
eBook
USD 119.00
Price excludes VAT (USA)
• Available as PDF
• Own it forever
Softcover Book
USD 159.99
Price excludes VAT (USA)
• Compact, lightweight edition
• Dispatched in 3 to 5 business days
• Free shipping worldwide - see info
Hardcover Book
USD 159.99
Price excludes VAT (USA)
• Durable hardcover edition
• Dispatched in 3 to 5 business days
• Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Authors

## Rights and permissions

Reprints and permissions

### Cite this chapter

Kashiwara, M., Schapira, P. (1990). Micro-support and microlocalization. In: Sheaves on Manifolds. Grundlehren der mathematischen Wissenschaften, vol 292. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-02661-8_8

• DOI: https://doi.org/10.1007/978-3-662-02661-8_8

• Publisher Name: Springer, Berlin, Heidelberg

• Print ISBN: 978-3-642-08082-1

• Online ISBN: 978-3-662-02661-8

• eBook Packages: Springer Book Archive