Exceptional inverse image functor
- Exceptional inverse image functor
In mathematics, more specifically sheaf theory, a branch of topology and algebraic geometry, the exceptional inverse image functor is the fourth and most sophisticated in a series of image functors for sheaves. It is needed to express Verdier duality in its most general form.
Definition
Let "f": "X" → "Y" be a continuous map of topological spaces or a morphism of schemes. Then the exceptional inverse image is a functor:R"f"!: D("Y") → D("X")where D(–) denotes the derived category of sheaves of abelian groups or modules over a fixed ring.
It is defined to be the right adjoint of the total derived functor R"f"! of the direct image with compact support. Its existence follows from certain properties of R"f"! and general theorems about existence of adjoint functors, as does the unicity.
The notation R"f"! is an abuse of notation insofar as there is in general no functor "f"! whose derived functor would be R"f"!.
Examples and properties
*If "f" is an immersion of a locally closed subspace, then it is possible to define
::"f"!("F") := "f"∗ "G",
:where the sections of "G" on some open subset "U" of "Y" are the sections "s" ∈ "F"("U") whose support is contained in "X". The functor "f"! is left exact, and the above R"f"!, whose existence is guaranteed by general structural arguments, is indeed the derived functor of this "f"!. Moreover "f"! is right adjoint to "f"!, too.
*Slightly more generally, a similar statement holds for any quasi-finite morphism such as an étale morphism.
*If "f" is an open immersion, the exceptional inverse image equals the usual inverse image.
References
* | year=1986 treats the topological setting
* treats the case of étale sheaves on schemes. See Exposé XVIII, section 3.
Wikimedia Foundation.
2010.
Look at other dictionaries:
Direct image functor — In mathematics, in the field of sheaf theory and especially in algebraic geometry, the direct image functor generalizes the notion of a section of a sheaf to the relative case. Contents 1 Definition 1.1 Example 1.2 Variants … Wikipedia
Direct image with compact support — In mathematics, in the theory of sheaves the direct image with compact (or proper) support is an image functor for sheaves. Definition Image functors for sheaves … Wikipedia
Coherent duality — In mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the local… … Wikipedia
Verdier duality — In mathematics, Verdier duality is a generalization of the Poincaré duality of manifolds to spaces with singularities. The theory was introduced by Jean Louis Verdier (1965), and there is a similar duality theory for schemes due to Grothendieck.… … Wikipedia
List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… … Wikipedia
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … Wikipedia
Clifford algebra — In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions.[1][2] The theory of Clifford algebras is intimately connected with the… … Wikipedia
Differentiable manifold — A nondifferentiable atlas of charts for the globe. The results of calculus may not be compatible between charts if the atlas is not differentiable. In the middle chart the Tropic of Cancer is a smooth curve, whereas in the first it has a sharp… … Wikipedia
