# Motivic Cohomology I: presheaves with transfers and sheaves with transfers

### Where we’re at, and where we’re going

Over the course of the next 3 months I’m going to learn the basics of motivic cohomology (and the construction of Voevodsky’s geometric motives). During this time, I’ll make it a habit to make a blog post covering what I’ve learned each week. The goal will be, at the end of this semester, to have a concise overview of the theory in the form of ~12 blog posts. There will be four parts: I. Background, II. Categories of Motives, III. Motivic Cohomology, IV. Comparison results and computations.

We last left off with, Motivic Cohomology I: correspondences. In this post it was described how we could construct a new category $\mathsf{Cor}_k$ so that we have a faithful embedding $\mathsf{Sm}_k\hookrightarrow \mathsf{Cor}_k$ of the category of smooth schemes over $k$ into the newly defined category. The objects remained the same, but we now have correspondences as morphisms. It was observed $\mathsf{Cor}_k$ is an additive category and, in addition, has a symmetric monoidal structure given by the tensor product.

In this post, we’ll construct an abelian category where $\mathsf{Cor}_k$ embedds fully faithfully through the use of presheaves and Yoneda’s lemma. Afterwards, we extend the sheaf notion to our new presheaves for various Grothendieck topologies. We show our representable objects form sheaves in these respective topologies. We conclude by observing, for the étale and Nisnevich topologies, these presheaves admit a sheafification functor.

Warning: Regarding motivation and historical accuracies be very wary – as I probably have not checked any of the sources to repeat this. Be also wary of the maths but, to a lesser extent as I will double check this. By convention, all my schemes are separated and of finite type over a field.

## Presheaves With Transfers

We’ll start out with the definition:

(2.1) Definition: A presheaf with transfers is a contravariant additive functor from the category $\mathsf{Cor}_k$ to the category of abelian groups $\mathsf{Ab}$.

The condition that a presheaf with transfers be an additive functor can be reformatted into conditions (C1) an (C2) below.

(C1) a presheaf with transfers is a contravariant functor taking sums to sums, respecting inclusions into summands, and the zero object to the zero object.

(C2) for every smooth schemes $X,Y$ and presheaf with transfers $F$, the map of sets $\text{Cor}(X,Y)\rightarrow \text{Hom}(F(Y),F(X))$ associated to the functor $F$ is a homomorphism of abelian groups which commutes with the composition maps $\text{Cor}(Y,Z)\otimes \text{Cor}(X,Y)\rightarrow \text{Cor}(X,Z)$ and $\text{Hom}(F(Y),F(X))\otimes \text{Hom}(F(Z),F(Y))\rightarrow \text{Hom}(F(Z),F(X))$.

Our interest will be in a new category, $\mathsf{PreSh}(\mathsf{Cor}_k)$, whose objects are presheaves with transfers and whose morphisms are natural transformations between functors.

Remark: I’m not overly fond of the use of the term presheaf with transfers. The concept of a sheaf outdates the concept of a presheaf. The word sheaf (on a topological space) was used because it gives some intuitive feel for what a sheaf is (originally a sheaf was defined as the espace étale associated to a presheaf). The terminology “presheaf” implies, at least I interpret it as, information giving rise to a sheaf (on a topological space, via sheafification). But the information is that of a contravariant functor from the category of open sets of some topological space to some other category, most likely something algebraic. In our case, a presheaf with transfers is not going to give rise to a sheaf on a topological space; it is going to give rise to a sheaf for each smooth scheme defined over $k$.

The additional “with transfers” is essentially perpendicular to the above discussion. Recall we have a faithful embedding $\mathsf{Sm}_k\hookrightarrow \mathsf{Cor}_k$. If we have a presheaf with transfers $F$, i.e. a contravariant additive functor $F:\mathsf{Cor}_k\hookrightarrow \mathsf{Ab}$, we can consider the composition $\mathsf{Sm}_k\hookrightarrow\mathsf{Cor}_k\rightarrow \mathsf{Ab}$ as a restriction of a presheaf to the category of smooth schemes. That is to say, we have a forgetful functor

$\omega: \mathsf{PreSh}(\mathsf{Cor}_k)\rightarrow \mathsf{PreSh}(\mathsf{Sm}_k)$

and transfers are exactly the data which we forget.

This can be phrased another way. Since in $\mathsf{Cor}_k$ we have $\text{Hom}_{\mathsf{Cor}}(X,Y)=\text{Cor}(X,Y)$, any presheaf with transfers will associate to a given correspondence $\gamma\in \text{Cor}(X,Y)$ a homomorphism of abelian groups like so

$(X\xrightarrow{\gamma} Y) \rightsquigarrow (F(Y)\xrightarrow{F(\gamma)}F(X))$

which induces a map on sets $\text{Cor}(X,Y)\times F(Y)\rightarrow F(X)$. Condition (C2) then guarantees this induces a homomorphism of abelian groups $\text{Cor}(X,Y)\otimes F(Y)\rightarrow F(X)$.  Transfers are, in this wording, those maps associated to correspondences which do not arise as the graphs of honest morphisms $f:X\rightarrow Y$ (my slang term honest means a morphism in the category $\mathsf{Sm}_k$).

If this is your first time working with categories of functors (it isn’t if you’ve gotten this far in algebraic geometry) then you may be asking why are we considering a new category, again. The answer is simple, this one is abelian! It isn’t really difficult to show this (or we could refer to 1.6.4 in [Wei]) and comes down to defining the kernel and cokernel of a morphism of presheaves with transfers, say $F\xrightarrow{\phi} G$. But we can just define these to be, for every object $X$, $\ker\phi(X):= \ker(F(X)\xrightarrow{\phi(X)} G(X))$ and similarly replacing $\ker$ by $\text{coker}$.

What is less obvious is knowing $\mathsf{Ab}$ having enough inejctives and projectives implies

(2.2) Proposition: The category $\mathsf{PreSh}(\mathsf{Cor})_k$ has enough injectives and projectives.

Reference. [Wei] exercises 2.3.7, 2.3.8.

Essentially, we can theoretically compute cohomology (I say theoretically compute but, a better phrase is probably “there exists a satisfactory cohomology theory satisfying various functorial properties”) for objects in the category $\mathsf{PreSh}(\mathsf{Cor}_k)$.

For now, we’ll leave this category here, because we’ll actually be using a different category, constructed from $\mathsf{PreSh}(\mathsf{Cor}_k)$ using some category theoretic results which I will cover in my next post. However, we’ll point out that Yoneda’s lemma shows

(2.3) Proposition: There is a fully faithful embedding $\mathsf{Cor_k}\hookrightarrow \mathsf{PreSh}(\mathsf{Cor}_k)$.

If $X$ is a smooth scheme, then the embedding takes $X$ to the functor $\mathbb{Z}_{\text{tr}}X:=\text{Hom}_{\mathsf{Cor}}(-,X)=\text{Cor}(-,X)$, or the functor which assigns to any scheme $Y$ the abelian group $\text{Cor}(Y,X)$. (We’ll use $\mathbb{Z}_{\text{tr}}(X)$ and $\mathbb{Z}_{\text{tr}}X$ interchangably). The functors $\mathbb{Z}_{\text{tr}}X$ are said to be represented by $X$. In the $R$-linear category $\mathsf{Cor}_k(R)$ we’ll call the functor represented by $X$ (when $X$ is considered as an object in $\mathsf{Cor}_k(R)$) $R_{\text{tr}}X$ instead of $\mathbb{Z}_{\text{tr}}X$. We can extend all of the above definitions to the category $\mathsf{Cor}_k(R)$. We write $\mathsf{PreSh}(\mathsf{Cor}_k(R))$ for the category of presheaves $F:\mathsf{Cor}_k(R)\rightarrow R-mod$.

Remark: We can assign a similar functor to any scheme $Y$ smooth or not. That is, we can also define $\mathbb{Z}_{\text{tr}}Y:=\text{Cor}(-,Y)$. However, we can’t say much else about this functor.

## Sheaves with transfers

Now let us specialize to the concept of sheaves with transfers. For this we will need the notion of a Grothendieck topology, $\mathsf{C}_{\tau}$. There are three we focus on but we can use any topology which satisfies the following condition:

(T1) For any smooth scheme $X$, the category $\mathsf{C}_{\tau}(X)$ consisting of covers of $X$ and allowed morphisms of covers includes naturally into $\mathsf{Sch}_k$ (schemes over $k$). We require the the inclusion factors $\mathsf{C}_{\tau}(X)\hookrightarrow \mathsf{Sm}_k\hookrightarrow \mathsf{Sch}_k$.

What I want from this condition is that all of our covers are actually smooth schemes as well. This way we can use the information we have about the topology $\mathsf{C}_{\tau}(X)$ for a fixed $X$ without having to reprove it for just smooth covers. In the three topologies we focus (Zariski, Nisnevich, and Étale) this won’t be a problem since:

(2.4) Proposition: Let $X$ be a smooth scheme. Any topology which occurs as a subcategory of $\mathsf{Et}(X)$, the étale topology on $X$, satisfies condition (T1).

Proof. Since étale morphisms are smooth, the composition of any cover $U\rightarrow X$ with the smooth structure map $X\rightarrow \text{Spec}(k)$ is smooth.$\square$

We can expand the sheaf condition from one scheme to $\mathsf{Sm}_k$ with:

(2.5) Definition: Let $\mathsf{C}_{\tau}$ be a Grothendieck topology satisfying (T1). A presheaf of abelian groups $F:\mathsf{Sm}_k\rightarrow \mathsf{Ab}$ is a sheaf for the $\mathsf{C}_{\tau}$ topology if the restriction to $\mathsf{C}_{\tau}(X)$ is a sheaf for every smooth scheme $X$.

This is equivalent to the restriction satisfying exactness of the usual sequence $0\rightarrow F(X)\rightarrow \prod_i F(U_i)\rightarrow \prod_{i,j}F(U_i\times_X U_j)$ for every cover $\{U_i\rightarrow X\}$ and $F(U\amalg V)=F(U)\oplus F(V)$. In the cases we are concerned with (Zariski, étale, and Nishnevich topologies), it suffices to consider only finite indexing sets (that is, we need only consider covers which consist of finitely many covering maps). This is because, for a Noetherian site, there is a natural equivalence between the categories which contain only finite covering maps and the general case (a Noetherian site is one for which any cover has a finite subcover – in our case this follows from the fact étale maps are open, and any smooth scheme being finite type over $k$ is quasi-compact). For this result, which we use in the proof of proposition 2.7, we refer to [Mil], Chapter 3 section 3 proposition 3.5 page 112.

We extend the definition to $\mathsf{PreSh}(\mathsf{Cor}_k)$ similarly:

(2.6) Definition: A presheaf with transfers will be called a sheaf with transfers for the $\mathsf{C}_{\tau}$ topology, if it’s restriction to $\mathsf{Sm}_k$ is a sheaf for the $\mathsf{C}_{\tau}$ topology.

The subcategories consisting of Zariski, étale, and Nisnevich sheaves with transfers will be denoted $\mathsf{Sh}_{Zar}(\mathsf{Cor}_k)$, $\mathsf{Sh}_{et}(\mathsf{Cor})_k$, and $\mathsf{Sh}_{Nis}(\mathsf{Cor}_k)$ respectively. For the most part, we’ll prove results in the category of sheaves for the étale and Nisnevich topologies (although we may have to digress to the cdh topology, among others, if we want to extend our definition of motives to all schemes). The Zariski topology will be our place to define most objects, like motivic cohomology. We’ll use the results we obtain in these finer topologies to prove more general results which we then specialize to the Zariski topology.

(2.7) Propsoition: For any scheme $Y$, the presheaf with transfers $\mathbb{Z}_{\text{tr}}Y$ is a sheaf with transfers for the Zariski, étale, and Nisnevich topologies.

Proof. We’ll check exactness of the sequence

$0\rightarrow \mathbb{Z}_{\text{tr}}Y(X)\rightarrow\prod_i \mathbb{Z}_{\text{tr}}Y(U_i)\rightarrow \prod_{i,j} \mathbb{Z}_{\text{tr}}Y(U_i\times_X U_j)$

for any cover $\{p_i:U_i\rightarrow X\}_i$.

Injectivity of  $\mathbb{Z}_{\text{tr}}Y(X)\rightarrow \prod_i \mathbb{Z}_{\text{tr}}Y(U_i)$: it suffices to prove, for any fixed i, the restriction map $\mathbb{Z}_{\text{tr}}Y(X)\rightarrow \mathbb{Z}_{\text{tr}}Y(U_i)$ is injective. Unraveling definitions we need to show $\text{Cor}(X,Y)\xrightarrow{\Gamma_{p_i}} \text{Cor}(U_i,Y)$ is injective. Let $Z(A\times B)$ be the group of all cycles in the product $A\times B$. By definition we have inclusions $\text{Cor}(A,B)\hookrightarrow Z(A\times B)$. For the étale (and hence Zariski and Nisnevich) topology, the map $U_i\times Y\rightarrow X\times Y$ is flat and from intersection theory we know the flat pullback of cycles induces an injective map $Z(X\times Y)\hookrightarrow Z(U_i\times Y)$. Thus, the result follows if we can show the following diagram commutes:

$\begin{matrix} \text{Cor}(X,Y) & \rightarrow & \text{Cor}(U_i,Y) \\ \downarrow & & \downarrow \\ Z(X\times Y)& \hookrightarrow & Z(U_i\times Y) \end{matrix}$

where the top horizontal arrow is composition $(-\circ \Gamma_{p_i})$, the bottom horizontal arrow is flat pullback of cycles, and the vertical arrows are the inclusions. Using the functor of points it becomes a manipulation of set definitions to check these are, in fact, equal.

Remark: For the Zariski topology one can make this more geometric: assume $X$ is connected. Then any elementary correspondence $W$ is surjective over $X$ and, since $X$ is smooth it is irreducible. This implies the generic fiber of the projection $W\subset X\times Y\rightarrow X$ is dense in $W$. Hence if we have two correspondences $W,V$ which agree on $U_i\times Y$ then, as $U_i$ is an open subset of an irreducible scheme it contains the generic point of $U$, both $W,V$ are closed integral subschemes agreeing on a dense subset and are hence equal.

Following the definitions of the maps $\text{Cor}(X,Y)\rightarrow \prod_i \text{Cor}(U_i,Y)\rightarrow \prod_{i,j} \text{Cor}(U_i \times_X U_j,Y)$, it’s clear this is a complex since

$\gamma\mapsto (\gamma\circ \Gamma_{p_i})_i\mapsto \gamma\circ\Gamma_{p_i}\circ \Gamma_{\text{pr}_i}-\gamma\circ\Gamma_{p_j}\circ\Gamma_{\text{pr}_j}=\gamma\circ ( \Gamma_{p_i}\circ \Gamma_{\text{pr}_i} - \Gamma_{p_j}\circ \Gamma_{\text{pr}_j}) = \gamma\circ 0 = 0.$

Here we used the fact that we have equality of maps $U_i\times_X U_j\rightarrow X$ $p_j\circ \text{pr}_j = p_i\circ \text{pr}_i$ by the definition of the fibered product.

To see the exactness suppose $(f_k)_k\mapsto 0 \in \prod_{i,j}\text{Cor}(U_i\times_X U_j, Y)$. We’ll invoke the proposition of Milne mentioned earlier to assume k is finite, or that our covering was finite all along (since we haven’t used it until this point). Since $(f_k)_k$ maps to $0$, we find $f_i\circ \Gamma_{\text{pr}_i}=f_j\circ \Gamma_{\text{pr}_j}$ for each pair i,j. (To be continued – I think this argument should be simpler than the one given in [MVW] so I’ll wait for a better proof to present itself).$\square$

For a cover $p:U\rightarrow X$ we can construct a complex, the Čech complex, and denote it $\mathbb{Z}_{\text{tr}}(\check{U})$. In both the étale and Nisnevich topologies this complex is in fact a resolution, by sheaves in the respective topology. In the Zariski topology this fails, and we’ll have to replace it by something different. Eventually we’ll show how to do this but, for now we focus on doing it for the cases present and, after learning why we were doing it in the first place some posts later, we’ll come back to the complicated Zariski discussion.

(2.8) Proposition: The Čech complex mentioned above for a covering map $p:U\rightarrow X$ (for example any finite cover $\{U_i\rightarrow X\}_i$ gives rise to such a covering map in the étale and Nisnevich topologies by taking $U$ to be the disjoint union of the $U_i$) is defined

$\cdots \xrightarrow{\Gamma_0 -\Gamma_1 + \Gamma_2}\mathbb{Z}_{\text{tr}}(U\times_X U)\xrightarrow{\Gamma_0 - \Gamma_1} \mathbb{Z}_{\text{tr}}U \xrightarrow{\Gamma_p} \mathbb{Z}_{\text{tr}}X \rightarrow 0.$

In the above the correspondence $\Gamma_i : U\times_X U\times_X \cdots \times_X U\rightarrow U\times_X \cdots \times_X U$ is the graph of the morphism deleting the $i$th component.

It is a resolution of $\mathbb{Z}_{\text{tr}}X$ as an étale/Nisnevich sheaf by étale/Nisnevich sheaves respectively.

Proof. That these objects are sheaves is immediate after proposition 2.7. Showing this is a complex amounts to showing equality of maps $U^{\times_X n+1} \rightarrow U^{\times_X n}\rightarrow U^{\times_X n-1}$ in the category $\mathsf{Sm}_k$. As these are presheaves, we just need to compute the composition of two terms starting from an arbitrary scheme $Y$ and a correspondence $\gamma\in \text{Cor}(Y,U^{\times n+1})$. Explicitly our maps are:

$\gamma \mapsto (\sum_{k=0}^n (-1)^k \Gamma_{k} )\circ \gamma \mapsto \sum_{j=0}^{n-1}(-1)^j \Gamma_j \circ ((\sum_{k=0}^n (-1)^k \Gamma_{k} )\circ \gamma).$

What we can do, is see how this double sum behaves on points $(x_0,\ldots,x_n)$, using the notation $(x_0,\ldots,\hat{x}_i,\ldots, x_n)$ to represent the map $\Gamma_i$. If we did this, we’d find the same cancellation that occurs in the proof that, say, the boundary map in singular homology is actually a differential.

Remark: We can do this because these maps actually behave this way for $R$-valued points, in the functor language.

To see the comlpex has no homology, it suffices to treat our objects as sheaves and compute homology in the category of sheaves. That is, we can check the complex at the level of stalks. Or, for every smooth scheme $X$ and every $x\in X$, the morphism will be exact if it is when evaluated on $\mathcal{O}_{X,x}^{sh}$ in the étale topology, and $\mathcal{O}_{X,x}^h$ in the Nisnevich topology.

Remark: It seems ironic that I don’t want to call $x\in X$ a point, even though that is what it is, because I’ve been saying “points” only for the functor language so far. In this case I actually do mean an element of the underlying set of the scheme $X$. I think fitting terminology would be to call it an “absolute point”. I might do that, but later; as I will finish the proof later.

Finally, we arrive at our last result for this section which concerns sheafification in the various topologies. Let $\mathsf{C}_\tau$ be a Grothendieck topology satisfying (T1).  Let the inclusion of the subcategory of sheaves for this topology into the category of presheaves be denoted $\iota :\mathsf{Sh}_{\mathsf{C}_\tau}(\mathsf{Sm}_k)\rightarrow \mathsf{PreSh}(\mathsf{Sm}_k)$. When there is an adjoint $a_{\tau}:\mathsf{PreSh}(\mathsf{Sm}_k)\rightarrow \mathsf{Sh}_{\mathsf{C}_\tau}(\mathsf{Sm}_k)$ we say that $\mathsf{C}_\tau$ admits sheafification.

When $\mathsf{C}_\tau$ is either the étale or the Nisnevich topologies, it is known there exists a sheafification. We’ll denote this map $a_{et}$ and $a_{Nis}$ respectively. For any presheaf with transfers $F$, we can restrict to a presheaf on $\mathsf{PreSh}(\mathsf{Sm}_k)$ via $\omega$, and then sheafify with $a_{et}$ or $a_{Nis}$. Let $F^s_{et}$ or $F^s_{Nis}$ be the sheaf on $\mathsf{Sm}_k$ that we get after applying this procedure.

(2.9) Proposition: There is a presheaf with transfers $F_{et}$ (or $F_{Nis}$ for the Nisnevich topology) so that any morphism $F\rightarrow F^s_{et}$ (resp. $F\rightarrow F^s_{Nis}$) as presheaves on $\mathsf{Sm}_k$ factors uniquely through $F\rightarrow F_{et}\rightarrow F_{et}^s$ (resp. $F\rightarrow F_{Nis}\rightarrow F_{Nis}^s$) with the first map being a morphism of presheaves with transfers and the latter a morphism of sheaves on the category $\mathsf{Sm}_k$.

Reference: [MVW] Theorem 6.17, page 42 in the étale case; Theorem 13.1, page 99 for the Nisnevich.

Remark: Again this proposition fails for the Zariski topology but, we can fix this by only considering presheaves with transfers satisfying additional conditions. We’ll take this approach in a later post.

Some arguments I won’t go into details about allow us to conclude

(2.10) Proposition: the categories $\mathsf{Sh}_{et}(\mathsf{Cor}_k)$ and $\mathsf{Sh}_{Nis}(\mathsf{Cor}_k)$ have enough injectives.

Reference: Proposition 13.1 in [MVW] for the Nisnevich case which really just says the proof in the étale case, Proposition 6.19 in [MVW], carries through to the Nisnevich topology as well.

## Tensor Products and Internal Homs of Presheaves with Transfers

Our construction of the tensor product for presheaves with transfers is going to extend our definition of the tensor product in the category $\mathsf{Cor}_k$. Recall we defined, for any smooth schemes $X,Y$ over $k$, $X\otimes Y :=X\times_k Y$. We can, in fact, do this construction with $R$ coefficients for some ring $R$.

Recall the Yoneda embedding

$\mathsf{Cor}_k(R)\hookrightarrow \mathsf{PreSh}(\mathsf{Cor}_k(R))$

defined on objects as $X\mapsto \text{Hom}_{\mathsf{Cor}(R)}(-,X)=: h_X$. Using the Yoneda lemma this immediately gives:

(2.11) Lemma: The representable objects $h_X$ are projective objects of $\mathsf{PreSh}(\mathsf{Cor}_k(R))$.

Proof. The Yoneda lemma says $\text{Hom}_{\mathsf{PreSh}(\mathsf{Cor}(R))}(h_X, F)\cong F(X)$ for an arbitrary functor $F$. Hence, if we have an exact sequence of presheaves

$0\rightarrow F\rightarrow G\rightarrow H\rightarrow 0$

then

$0\rightarrow \text{Hom}(h_X,F)\rightarrow \text{Hom}(h_X,G)\rightarrow \text{Hom}(h_X,H)\rightarrow 0$

is exact since it is canonically the sequence

$0\rightarrow F(X)\rightarrow G(X)\rightarrow H(X)\rightarrow 0$

which is exact by assumption.$\square$.

From (2.11) we can also deduce

(2.12) Lemma: Every presheaf $F$ has a projective resolution. That is, $\mathsf{PreSh}(\mathsf{Cor}_k(R))$ has enough projectives.

Proof. This is a result of the natural surjection, for arbitrary presheaves $F$,

$\bigoplus_{X\in \text{obj}(\mathsf{Cor}_k(R))}\bigoplus_{x\in F(X)}h_X\xrightarrow{x} F$.

From here the resolution can be constructed inductively, at each step having the natural surjection onto the kernel of the previous map. $\square$

Remark: In the above, it’s implicitly used that the objects of $\mathsf{Cor}_k(R)$ form a set instead of a proper class.

Lemma (2.11) and (2.12) have the benefit of allowing us to define a tensor product structure extending the one we’ve already defined on $\mathsf{Cor}_k(R)$. Note, if we try to naively define $(F\otimes_R G) (X)= F(X)\otimes_R G(X)$ then we lose additivity (i.e. for a smooth connected scheme $X$ we would have $(F\otimes_R G)(X\coprod X)\simeq (F(X)\otimes_R G(X))^{\oplus 4}$ which is not generally equal to $(F(X)\otimes_R G(X))^{\oplus 2}$) , hence this is not a presheaf with transfers.

(2.13) Construction: From the Yoneda embedding $\mathsf{Cor}_k(R)\hookrightarrow \mathsf{PreSh}(\mathsf{Cor}_k(R))$ we can define a product $\otimes$ on projective objects: $h_X\otimes h_Y:=h_{X\otimes Y}$ which has the same formal properties as $\otimes$ on $\mathsf{Cor}_k(R)$.

We extend the definition of $\otimes$ by defining, for arbitrary direct sums $(\oplus_i h_{X_i})\otimes h_Y=\oplus_i h_{X_i\otimes Y}$.

Now let $F,G$ be arbitrary presheaves with transfers, $P_\ast\rightarrow F$ and $Q_\ast\rightarrow G$ projective resolutions as given in (2.12). The total complex $\text{Tot}(P_\ast \otimes Q_\ast)$ is defined by the previous two pargraphs.

(2.14) Definition: We write $F\otimes_L G$ for the total complex $\text{Tot}(P_\ast \otimes Q_\ast)$. The tensor product of presheaves with transfers and internal Hom presheaf with transfers are defined:

$F\otimes^{tr} G= H_0(F\otimes_L G)$

$\underline{\text{Hom}}(F,G): X\mapsto \text{Hom}(F\otimes h_X, G)$.

Remark: These are well-defined up to chain homotopy equivalence since any projective resolutions of the same functor are homotopy equivalent.

(2.14) Corollary: $h_X\otimes_L h_Y=h_X\otimes h_Y = h_{X\otimes Y}$.

Proof. Since $h_X, h_Y$ are projective, they form a projective resolution of length 1. The first equality is then clear. The last equality follows from the way we extended the product via the Yoneda embedding (2.13).$\square$

The internal Hom and tensor product also satisfy expected exactness properties.

(2.15) Lemma: The functor $\underline{\text{Hom}}(F,-)$ is right adjoint to $F\otimes -$. Hence, $\underline{\text{Hom}}(F,-)$ is left exact and $F\otimes -$ is right exact.

Proof. We have

$\text{Hom}(h_X,\underline{\text{Hom}}(h_Y, G)) = G( X\otimes Y) = \text{Hom} (h_X\otimes h_Y, G)$.$\square$

References:

[Mil] Etale Cohomology – James Milne. Not to be confused with his later work, “Lectures on Etale Cohomology”. Princeton Mathematical Series.

[Wei] An Introduction to Homological Algebra – Weibel. Link. Cambridge Studies in Advanced Mathematics. Or Google it.

## 3 comments on “Motivic Cohomology I: presheaves with transfers and sheaves with transfers”

1. […] the last post, Motivic Cohomology I: presheaves with transfers and sheaves with transfers, we developed the notion of a presheaf with transfers. These were contravariant additive […]

Like

2. […] where the last two equalities ( ) follow from a computation similar to checking the boundary operator in singular homology is a differential (I said the same thing in the second post I wrote in this series for a different complex). […]

Like

3. […] following diagram shows the situation we are in, with the middle row obtained by applying the  Čech complex from Proposition (2.8) to the cover and of ; the objects on the bottom rows are the cokernels of the vertical […]

Like