1
vote
0answers
109 views

The right (not the left 'Suslin complex' one) adjoint to the embedding of $ DM^{eff} $ into $D(ShvTr) $?

Inside the derived category of Nisnevich sheaves with transfers there is the category $DM^{eff} $ of Voevodsky's effective motivic complexes (actually, Voevodsky only considered bounded above ...
11
votes
1answer
584 views

Motivic cohomology vs. K-theory for singular varieties

As far as I understand, for a smooth variety $X$ its motivic cohomology could be described as the corresponding piece of the $\gamma$-filtration of (Quillen's) $K^*(X)$; this is completely true for ...
12
votes
1answer
1k views

Voevodsky's counterexample to the existence of a motivic t-structure

I have been trying to unravel some of the known relationships between various ideas on mixed motives. I find the litterature quite hard to follow -"from experts, for experts". Voevodsky in ...
3
votes
0answers
138 views

The vanishing of homotopy invariant $K$-theory of dg-categories

In my previous question The vanishing of non-connective K-theory in negative degrees I asked when one can be sure that the negative non-connective $K$-groups of a differential graded category vanish. ...
5
votes
0answers
198 views

Are Tate twists of t-positive motives positive with respect to the Voevodsky's homotopy t-structure?

Let $X$ be a Voevodsky's motif (over a perfect field) that belongs to the positive part of the homotopy $t$-structure (i.e. its cohomology as an object of $D^-(ShSmCor)$ is zero in negative degrees). ...
6
votes
1answer
659 views

When is the K-theory presheaf a sheaf?

Let $F$ be a Deligne-Mumford stack that is of finite type, smooth and proper over $\mathrm{Spec~}k$ for a perfect field $k$. Consider $K_m$, the presheaf of $m$-th $K$-groups on $F_{et}$, the etale ...
11
votes
4answers
1k views

Why does one invert $G_m$ in the construction of the motivic stable homotopy category?

Morel and Voevodsky construct the motivic stable homotopy category, a category through which all cohomology theories factor and where they are representable, by starting with a category of schemes, ...