Grothendieck context





Special and general types

Special notions


Extra structure






A Grothendieck context is a pair of two symmetric monoidal categories (𝒳, X,1 X)(\mathcal{X}, \otimes_X, 1_{X}), (𝒴, Y,1 Y)(\mathcal{Y}, \otimes_Y, 1_Y) which are connected by an adjoint triple of functors such that the leftmost one is a closed monoidal functor.

This is the variant/special case of the yoga of six operations with two adjoint pairs (f !f !)(f_! \dashv f^!) and (f *f *)(f^\ast \dashv f_\ast) for f !f *f_! \simeq f_\ast.

f *(f *=f !)f !:𝒳f * f *=f ! f !𝒴. f^\ast \dashv (f_\ast = f_!) \dashv f^! \;\colon\; \mathcal{X} \; \array{ \overset{f^\ast}{\longleftarrow} \\ \overset{f_\ast = f_! }{\longrightarrow} \\ \overset{f^!}{\longleftarrow} } \; \mathcal{Y} \,.

(The other specialization of the six operations where f *f !f^\ast \simeq f^! is called the Wirthmüller context).

The existence of the (derived) right adjoint f !f^! to f *f_\ast is what is called Grothendieck duality.


Quasicoherent sheaves on schemes

A homomorphism of schemes f:XYf \;\colon\; X \longrightarrow Y induces an inverse image \dashv direct image adjunction on the derived categories QCoh()QCoh(-) of quasicoherent sheaves

(f *f *):QCoh(X)f *f *QCoh(Y). (f^\ast \dashv f_\ast) \;\colon\; QCoh(X) \underoverset \overset{f^\ast}{\longleftarrow} \overset{f_\ast}{\longrightarrow} {\bot} QCoh(Y) \,.

(all derived functors) If ff is a proper morphism of schemes then under mild further conditions there is a further right adjoint f !f^!

(f *f *f !):QCoh(X)f * f * f !QCoh(Y). (f^\ast \dashv f_\ast \dashv f^!) \;\colon\; QCoh(X) \; \array{ \overset{f^\ast}{\longleftarrow} \\ \overset{f_\ast}{\longrightarrow} \\ \overset{f^!}{\longleftarrow} } \; QCoh(Y) \,.

This is originally due to Grothendieck, whence the name. Refined accounts are in (Deligne 66, Verdier 68, Neeman 96).

Quasicoherent sheaves in E E_\infty-geometry

Generalization of the pull-push adjoint triple to E-∞ geometry is in (LurieQC, prop. 2.5.12) and the projection formula for this is in (LurieProp, remark 1.3.14).


The original construction for quasicoherent sheaves on schemes is due to Alexander Grothendieck, whence the name “Grothendieck context”.

Further stream-lined accounts then appeared in

Further refinement and highlighting of the close relation to the categorical Brown representability theorem is in

Discussion of integral transforms in Grothendieck contexts is in

Generalization of the pull-push adjoint triple to E-∞ geometry is in

and the projection formula for this triple appears as remark 1.3.14 of

A clear discussion of axioms of six operations, their specialization to Grothendieck context and Wirthmüller context and their consequences is in