Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $k$ be a finite field and $l$ be different from characteristic of $k$. Is there a realization functor from the Voevodsky's category with $\mathbb Q$ coefficients to the constructible mixed étale category of sheaves over $k$ such that $M_{gm}(X)\mapsto \mathcal Rp_*p^*1_k$ for any scheme $X$ (of finite type, seperated over $k$)?

(This is true for $X$ smooth by work of Florian Ivorra -- "Realisation l-Adique des Motifs Triangules Geometriques, I." and using deJong's resolutions and Galois descent, I suspect this should be true for all $X$. However, there is a issue related to "functoriality" of the cone which seems to be an obstacle for deducing this directly in the triangulated categories and I am stuck).

share|improve this question
    
Can you work with the underlying model categories (where the cone IS functorial)? –  name Jul 6 '12 at 16:18
    
@name I don't know. I am not very comfortable with the whole jargon of model categories et al and hence was expecting a concrete answer in this context. [ The actual object I am interested in is this: $Hom_{DM_{gm}(k)}(M_{gm}(X)[r],1_k)$. For $X$ smooth, this is related to motivic cohomology/higher chow groups and is non-zero only for $r=0$ where it is $\mathbb Q$ if one is working with rational coefficients. For $X$ singular, I want to compare this with étale cohomology via realizations and conclude a similar result for some schemes which perhaps are not smooth. ] –  vava Jul 6 '12 at 16:33
    
You don't need the Jargon of model categories, as everything ends up being contained in DM_{gm} which is obtained in a straight-forward way from the category of chain complexes in the additive category SmCor(k). –  name Jul 6 '12 at 16:46
    
If you are willing to assume resolution of singularities, what you want would result from the analogue in the derived category of l-adic sheaves of the blow-up distinguished triangle mentioned in Section 2.2 of "Triangulated categories of motives over a field" (If you check Proposition 4.1.3 $X_Z \to X$ is any proper birational morphism, not necassarily a blowup). –  name Jul 6 '12 at 17:01
    
and I guess this follows from proper base change and the conservativity of $(i^*, j^*)$ where $(i, j)$ is a closed-open immersion complementary pair. –  name Jul 6 '12 at 17:05
show 11 more comments

1 Answer

In principle, the answer is yes.

The question is what do you mean by $M_{gm}(X)$ if $X$ is not smooth. For smooth $X$, $M_{gm}(X)$ can be defined as $f_\sharp f^* 1$. Here $f: X \to k$ is the structural map and $1$ is the unit (=motive of $k$). This expression is isomorphic to $f_! f^! 1$ by relative purity, provided that $f$ is smooth. If you define the motive with the latter formula in general, then the question becomes whether the realization functor converts $f_!$ to $(R)f_* $ and $f^!$ to $f^* $. Such statements are proven by Ayoub in his paper on etale realizations. (I don't remember exactly, it is possible that Ayoub requires the map to be quasi-projective. Also note that his paper mostly studies a covariant realization functor, in which case $f^*$ commutes with the realization functor. The change to $f^!$ comes when you switch to the more classical language of contravariant realization functors.)

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.