Shriek map

In category theory, a branch of mathematics, certain unusual functors are denoted and with the exclamation mark used to indicate that they are exceptional in some way. They are thus accordingly sometimes called shriek maps, with "shriek" being slang for an exclamation mark, though other terms are used, depending on context.

"Transfer map" redirects here. For the transfer homomorphism in group theory, see Transfer (group theory).

Usage

Shriek notation is used in two senses:

  • To distinguish a functor from a more usual functor or accordingly as it is covariant or contravariant.
  • To indicate a map that goes "the wrong way" – a functor that has the same objects as a more familiar functor, but behaves differently on maps and has the opposite variance. For example, it has a pull-back where one expects a push-forward.

Examples

In algebraic geometry, these arise in image functors for sheaves, particularly Verdier duality, where is a "less usual" functor.

In algebraic topology, these arise particularly in fiber bundles, where they yield maps that have the opposite of the usual variance. They are thus called wrong way maps, Gysin maps, as they originated in the Gysin sequence, or transfer maps. A fiber bundle with base space B, fiber F, and total space E, has, like any other continuous map of topological spaces, a covariant map on homology and a contravariant map on cohomology However, it also has a covariant map on cohomology, corresponding in de Rham cohomology to "integration along the fiber", and a contravariant map on homology, corresponding in de Rham cohomology to "pointwise product with the fiber". The composition of the "wrong way" map with the usual map gives a map from the homology of the base to itself, analogous to a unit/counit of an adjunction; compare also Galois connection.

These can be used in understanding and proving the product property for the Euler characteristic of a fiber bundle.[1]

Notes
  1. Gottlieb, Daniel Henry (1975), "Fibre bundles and the Euler characteristic" (PDF), Journal of Differential Geometry, 10 (1): 39–48, doi:10.4310/jdg/1214432674
gollark: A *lot*.
gollark: There is a lot of regulation and safety surrounding stuff.
gollark: No it's not.
gollark: I mean, in the absence of some immediate shock to the system people will just stick with the existing "NuClEaR BaD" opinions.
gollark: Despite nuclear power being a solution to... most of our energy problems... people will still insist it's awful, so we'll get renewables everywhere which won't really help because batteries.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.