Added applications section and example application to the construction of Euler systems.

]]>Fixed dead link to Hoyois’ paper “From algebraic cobordism to motivic cohomology”

Thomas Brazelton

]]>Peter Arndt further added a few paragraphs to the beginning of the section on Chow groups

]]>Is Peter also in nforum or only in nlab ? Say hello to this enthusiastic young fellow :)

]]>Peter Arndt made two useful comments at motivic cohomology. One of them I reworked a bit to fit into the text. See the history for details.

]]>added a section grading and bigrading to motivic cohomology where I try to say precisely what the Tate sphere is and precisely what the bigrading is.

I think I know what i am doing (following the cited references) but some expert should eventually check that I got the conventions right and everything.

Concerning my query box at cohomology in the section on bigrading, where I propose that one should look at as that gives something that is generated from categorical and geometric speheres:

maybe that's precisely what captures the passage to the Tate sphere , i.e. the smasch product of both spheres. Both spheres at once.

]]>Thanks. Misplaced quotation mark: here

But I have added the reference to the entry, meanwhile.

]]>@ Urs #16

Probably the first two ones listed here.

There's no link there.

]]>in the previous version of motivic cohomology I said that one forms the stabilization of . That's not quite precise: the point is -- as explained in the references linked to there -- that one stabilizes not with respect to the "categorical" or "simplicial" sphere, but with respect to the "geometric" sphere, the Tate sphere . I have added remarks about this now, but just ever so briefly. Needs to be expanded on later.

This happens to be closely related to the discussion we are having over G-equivariant stable homotopy theory, elsewhere. There, too, it seems the point is that the spectra are defined not with respect to the categorical/simplicial spheres, but with respect to the "geometric" spheres.

I am being told that for the G-equivariant case a very insightful discussion of this aspect is in two article Andrew Blumberg. Probably the first two ones listed here. I am going to look at these now.

]]>But in original Idea section of motivic complex statement was

"abelian sheaf cohomology of sheaves on the Zariski or etale site of X ... with coefficients in a complex of sheaves A called the motivic complex."

or shorter "cohomology of sheaves with coefficient in a complex of sheaves" ??

I do not understand this: cohomology of which sheaves with coeficients in other (complex of) sheaves? It is I guess just the usual (abelian) HYPERcohomology of the motivic complex of sheaves with transfers on X, which makes sense a priori for smooth X over a field (not all schemes, otherwise you get unbounded complexes and no finiteness conditions to define the hypercohomology). I do not know how much results for other bases (say for families) are possible, or even meaningful.

On the other hand I am happier with the current version.

I should point out that Voevodsky himself added to the confusion as he in his early achievements in early 1990s claimed that Grothendieck made a mistake by expecting that motives would make an abelian category. Like don't you see, nobody has it, this viewpoint failed and I constructed in fact a triangulated category of motives. Not derived motives, motives.

So it stayed to say motive for what should have been consistently called derived motive. Though for the very category D(MM) people often are more careful saying either category of Voevodsky motives or derived category of mixed motives. ]]>

I will write now below shorter version below from memory. ]]>

```
<div>
<blockquote>
I do not understand at all the statement of "abelian cohomology" with the "coefficients in motivic complexes"
</blockquote>
<p>I really did nothing but open the Voevodsky lectures and copied the statements from there. He defines a complex of sheaves called the motivic complex and defines motivic cohomology to be sheaf cohomology with coefficients in that.</p>
<blockquote>
I added few clarifications at motive
</blockquote>
<p>Thanks.</p>
</div>
```

]]>
I REPEAT again that Voevodsky did NOT realize motives but just their derived version, forming the derived category of mixed motives. For usual PURE motives (not mixed) one has the true version (nonderived), the procedure in several steps is explained at pure motive and it involves a DIFFERENT kind of correspondences, known much before. And again one should be careful at which place to use sheaves with transfer and where usual sheaves. I added few clarifications at motive but I am not comfortable to contribute to a so difficult entry without thinking and reading (I did not study this subject for many months). There are so many formalisms and constructions in this area and if one gets specific, one should be careful in which setup it is used, so using simultaneously different references could lead to contradictions if it is not very carefully done. The business of pure motives is much simpler and more classical and approached more or less in a standardized way, that is why I done a short sketch at pure motive at some point. Look at the arxiv survey of Mahanta for a good elementary general introduction of that part of the story.

Though some constructions are done for more general schemes, the motives are in fact about varieties (just a small nice subcategory), and it is as a rule over a field. ]]>

I have now added a section Motivic cohomology -- Idea where I try to say clearly that there was first Grothendieck's hypothetical ideas and then later Voevodsky's proposal for a concrete realization.

I renamed the "Definition"-section into "Voevodsky's definition", similarly at motive itself (to which i haven't yet added a similar expanded "Idea" section).

]]>How do "pure motives" relate to the definition in the Voevodsky-Weibel lectures?

Do you think these lectures give a wrong impression of the subject?

]]>```
<div>
<blockquote>
it is important that he found the correct category of "finite correspondences"
</blockquote>
<p>And that's the one the entry points to, or isn't it?</p>
<p>I am not sure what you want to have changed. Should we add a sentence saying "This is one proposed definition, other people are thinking about other definitions." ?</p>
</div>
```

]]>
Zoran, what you put at Voevodsky motive, does that refer to the definition in Mazza-Voevodsky-Weibel that I quote at motive? Or is that yet another definition?

]]>Zoran, I would like to see what you would write for an Idea section at motive. If Urs's article is too orthogonal, go the bottom, add `***`

to make a horizontal rule, and then put your article underneath. We can fit them together afterwards.

Okay, I don't really know about this and don't mean to be proposing any specific picture. I just tried to summarize what I saw in these notes. I liked them, because this was the first time that I actually saw an explicit definition of what a motive is. But I understand when you say that this definition is not necessarily what other people are looking for.

]]>These lecture notes by Voevodsky et al. are useful. They would be even more useful if the authors stopped just for a second to tell the reader what the heck it actually is they are heading for, but okay.

Prop 14.16 tells us how motivic cohomology knows about certain hom-sets in the category of motives.

I have included a brief remark at As hom-sets of motives.

]]>I daringly added to motive an "Idea" section and a rough idea of the Definition.

still don't know what the relation to motivic cohomology is, though...

]]>created a stub for motivic cohomology in reply to a question here

Zoran (or anyone), can you say something about how that related to motives?

]]>