“Six operations”的意思、由来-开放百科全书

词条

Six operations

释义

The operations
Six operations in étale cohomology
See also
References
External links

In mathematics, Grothendieck's six operations, named after Alexander Grothendieck, is a formalism in homological algebra. It originally sprang from the relations in étale cohomology that arise from a morphism of schemes {{nowrap|f : X → Y}}. The basic insight was that many of the elementary facts relating cohomology on X and Y were formal consequences of a small number of axioms. These axioms hold in many cases completely unrelated to the original context, and therefore the formal consequences also hold. The six operations formalism has since been shown to apply to contexts such as D-modules on algebraic varieties, sheaves on locally compact topological spaces, and motives.

The operations

The operations are six functors. Usually these are functors between derived categories and so are actually left and right derived functors.

the direct image
the inverse image
the proper (or extraordinary) direct image
the proper (or extraordinary) inverse image
internal tensor product
internal Hom

The functors and form an adjoint functor pair, as do and .^[1] Similarly, internal tensor product is left adjoint to internal Hom.

Six operations in étale cohomology

Let {{nowrap|f : X → Y}} be a morphism of schemes. The morphism f induces several functors. Specifically, it gives adjoint functors f^* and f_* between the categories of sheaves on X and Y, and it gives the functor f_! of direct image with proper support. In the derived category, Rf_! admits a right adjoint f^!. Finally, when working with abelian sheaves, there is a tensor product functor ⊗ and an internal Hom functor, and these are adjoint. The six operations are the corresponding functors on the derived category: {{nowrap|Lf^*}}, {{nowrap|Rf_*}}, {{nowrap|Rf_!}}, {{nowrap|f^!}}, {{nowrap|⊗^L}}, and {{nowrap|RHom}}.

Suppose that we restrict ourselves to a category of -adic torsion sheaves, where is coprime to the characteristic of X and of Y. In SGA 4 III, Grothendieck and Artin proved that if f is a smooth morphism, then Lf^* is isomorphic to {{nowrap|f^!(−d)[−2d]}}, where {{nowrap|(−d)}} denote the dth inverse Tate twist and {{nowrap|[−2d]}} denotes a shift in degree by {{nowrap|−2d}}. Furthermore, suppose that f is separated and of finite type. If {{nowrap|g : Y′ → Y}} is another morphism of schemes, if {{nowrap|X′}} denotes the base change of X by g, and if f′ and g′ denote the base changes of f and g by g and f, respectively, then there exist natural isomorphisms:

Again assuming that f is separated and of finite type, for any objects M in the derived category of X and N in the derived category of Y, there exist natural isomorphisms:

If i is a closed immersion of Z into S with complementary open immersion j, then there is a distinguished triangle in the derived category:

where the first two maps are the counit and unit, respectively of the adjunctions. If Z and S are regular, then there is an isomorphism:

where {{nowrap|1_Z}} and {{nowrap|1_S}} are the units of the tensor product operations (which vary depending on which category of -adic torsion sheaves is under consideration).

If S is regular and {{nowrap|g : X → S}}, and if K is an invertible object in the derived category on S with respect to {{nowrap|⊗^L}}, then define D_X to be the functor {{nowrap|RHom(—, g^!K)}}. Then, for objects M and M′ in the derived category on X, the canonical maps:

are isomorphisms. Finally, if {{nowrap|f : X → Y}} is a morphism of S-schemes, and if M and N are objects in the derived categories of X and Y, then there are natural isomorphisms:

References

1. ^{{cite journal|last=Fausk|first=H. |author2=P. Hu |author3=J. P. May|title=Isomorphisms between left and right adjoints|journal=Theory Appl. Categ.|year=2003|pages=107–131|doi=|url=http://www.math.uiuc.edu/K-theory/0573/FormalFeb16.pdf|accessdate=6 June 2013|doi-broken-date=2014-05-06}}

Laszlo, Yves, and Olsson, Martin, "The six operations for sheaves on Artin stacks I: Finite coefficients", [https://arxiv.org/pdf/math/0512097v2.pdf].
Ayoub, Joseph, "Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique", .
Cisinski, Denis-Charles, and Déglise, Frédéric, "Triangulated categories of mixed motives", [https://arxiv.org/pdf/0912.2110v3.pdf].
Mebkhout, Zoghman, Le formalisme des six opérations de Grothendieck pour les D_X-modules cohérents, Travaux en Cours, vol. 35, Hermann, Paris (1989).

External links

{{nlab|id=six+operations|title=six operations}}
http://mathoverflow.net/questions/170319/what-if-anything-unifies-stable-homotopy-theory-and-grothendiecks-six-functor

3 : Sheaf theory|Homological algebra|Duality theories

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

The operations

Six operations in étale cohomology

See also

References

External links