# Micro-support of sheaves

• Chapter

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

• 5740 Accesses

## Summary

On a manifold X, one can naturally associate to any object F of D b(X) a closed conic subset of T*X, the micro-support of F, denoted by SS(F). Roughly speaking, SS(F) describes the set of codirections of X in which F “does not propagate”, and we shall prove in the subsequent chapter that SS(F) is an involutive subset of T*X.

This notion also gives a condition of commutativity of various functors in sheaf theory; e.g. when is f ! F isomorphic to ω Y/X f −1 F or when is f −1 R Hom(F 1, F 2) isomorphic to RHom(f −1 F 1, f −1 F 2)?

We first prove the equivalence of three definitions of SS(F), and use the micro-support to give a criterion in order that, given two open subsets Ω 0 and Ω 1 of X with Ω 0Ω 1, the restriction morphism from (Ω 1; F) to (Ω 0; F) is an isomorphism. The γ-topology associated to a closed convex proper cone γ, introduced in Chapter III, is a natural tool in the study of the micro-support. In fact if X is affine and φ γ : XX γ is the map which weakens the topology of X, then φ −1 γ R φ γ* plays the role of a cut-off functor in the following sense: SS(φ −1 γ* F) is contained in X × γ°a, and the morphism φ −1 γ R γ* FF is “an isomorphism on X × Int γ°a”. This notion of microlocal isomorphism is defined here, and will be developed in the next chapter.

After having given some examples of micro-supports, we study the behavior of micro-supports with respect to various operations on sheaves: tensor product and Hom, direct or inverse images, Fourier-Sato transformation.

In this chapter, we always make the assumption that the morphisms are proper or “non-characteristic” with respect to the micro-support. This restriction will be removed in Chapter VI. The results we shall obtain here and in the next chapter, are very similar to many classical results in the theory of partial differential equations with analytic coefficients, and we shall show in Chapter XI, how to deduce some of these classical results from the theory of the micro-support.

We often follow quite tightly the exposition of Kashiwara-Schapira [3], but some proofs are actually simplified.

We keep convention 4.0.

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 of sheaves. In: Sheaves on Manifolds. Grundlehren der mathematischen Wissenschaften, vol 292. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-02661-8_7

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

• Publisher Name: Springer, Berlin, Heidelberg

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

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

• eBook Packages: Springer Book Archive