Presheaf with transfers¶
In algebraic geometry, a presheaf with transfers is, roughly, a presheaf that, like cohomology theory, comes with pushforwards, “transfer” maps.
Core Idea¶
Presheaf with transfers is treated here as the recurring formal models and representations identity summarized by this source-grounded definition: In algebraic geometry, a presheaf with transfers is, roughly, a presheaf that, like cohomology theory, comes with pushforwards, “transfer” maps. In algebraic geometry, a presheaf with transfers is, roughly, a presheaf that, like cohomology theory, comes with pushforwards, “transfer” maps. Precisely, it is, by definition, a contravariant additive functor from the category of finite correspondences (defined below) to the category of abelian groups (in category theory, “presheaf” is another term for a contravariant functor).
Scope of Application¶
-
Wedge of single space. One example of this construction is \mathbb{Z}{tr}(\mathbb{G}m^{\wedge q}) , which is used in the definition of the motivic complexes \mathbb{Z}(q) used in Motivic cohomology.
-
Finite correspondence. Let X, Y be algebraic schemes (i.e., separated and of finite type over a field) and suppose X is smooth.
-
Finite correspondence. Then an elementary correspondence is an irreducible closed subscheme W \subset Xi \times Y , Xi some connected component of X, such that the projection \operatorname{Supp}(W) \to Xi is finite.
-
Finite correspondence. Let \operatorname{Cor}(X, Y) be the free abelian group generated by elementary correspondences from X to Y; elements of \operatorname{Cor}(X, Y) are then called finite correspondences.
-
Finite correspondence. The category of finite correspondences, denoted by Cor , is the category where the objects are smooth algebraic schemes over a field; where a Hom set is given as: \operatorname{Hom}(X.
Clarity¶
A clear use of Presheaf with transfers names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In algebraic geometry, a presheaf with transfers is, roughly, a presheaf that, like cohomology theory, comes with pushforwards, “transfer” maps.
Manages Complexity¶
Presheaf with transfers compresses multiple formal models and representations details into a stable diagnostic relation. The source shows both the central mechanism—the category of finite correspondences, denoted by Cor , is the category where the objects are smooth algebraic schemes over a field; where a Hom set is given as: \operatorname{Hom}(X, Y) = \operatorname{Cor}(X, Y).—and the practical consequence—there is a scheme \Delta^n =.
Abstract Reasoning¶
- Type the carrier. Identify the formal models and representations entities to which the claim applies.
- State the relation. Use the source-grounded identity: In algebraic geometry, a presheaf with transfers is, roughly, a presheaf that, like cohomology theory, comes with pushforwards, “transfer” maps.
- Check operation and conditions. One of the basic examples of presheaves with transfers are given by representable functors.
- Demand recognition evidence.
Knowledge Transfer¶
Within the home domain. Knowledge about Presheaf with transfers transfers literally when a new case preserves the same carrier type, relation, and recognition test. One example of this construction is \mathbb{Z}{tr}(\mathbb{G}m^{\wedge q}) , which is used in the definition of the motivic complexes \mathbb{Z}(q) used in Motivic cohomology. Let X, Y be algebraic schemes (i.e., separated and of finite type over a field) and suppose X is smooth. Beyond the home domain. No canonical parent is asserted for Presheaf with transfers.
Neighborhood in Abstraction Space¶
Presheaf with transfers sits in a moderately populated region (48th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Algebraic Structures, Groups & Operators (42 abstractions)
Nearest neighbors
- Classifying space for SO(n) — 0.88
- Hochschild homology — 0.87
- Julia set — 0.86
- Subfunctor — 0.86
- Small category — 0.85
Computed from structural-signature embeddings · 2026-10-08