Skip to main content

Questions tagged [motivic-cohomology]

Filter by
Sorted by
Tagged with
71 votes
1 answer
8k views

What is the relationship between motivic cohomology and the theory of motives?

I will begin by giving a rough sketch of my understanding of motives. In many expositions about motives (for example, http://www.jmilne.org/math/xnotes/MOT102.pdf), the category of motives is defined ...
Makhalan Duff's user avatar
14 votes
2 answers
2k views

Motivic cohomology and cohomology of Milnor K-theory sheaf

Let $X$ be a smooth variety over a field $k$. (Assume $k$ has characteristic 0 if it helps; in fact I'd be happy to assume that $k$ is a finite extension of either $\mathbf{Q}$ or $\mathbf{Q}_p$). ...
David Loeffler's user avatar
22 votes
2 answers
6k views

Beilinson conjectures

Continuing an amazingly interesting chain of answers about motivic cohomology, I thought I should learn about the Beilinson conjectures, referred there. I have found some references, and they seem to ...
Ilya Nikokoshev's user avatar
8 votes
1 answer
989 views

How to think about $\mathbf{Z}(n)_{\mathcal{M}}$

One definition of motivic cohomology for smooth schemes $X$ over a field, is via Friedlander-Suslin complexes. A refresher (you may skip to the question at the bottom) One defines (1) $z_n(X,d) :=$...
user avatar
39 votes
3 answers
6k views

What do higher Chow groups mean?

Let $z^i(X, m)$ be the free abelian group generated by all codimension $i$ subvarieties on $X \times \Delta^m$ which intersect all faces $X \times \Delta^j$ properly for all j < m. Then, for each i,...
Peter Arndt's user avatar
  • 12.3k
18 votes
1 answer
1k views

Which motivic cohomology groups of complex numbers are non-torsion?

I would like to know which motivic cohomology groups of complex numbers are non-zero and ("better") non-torsion, i.e., for which $(i,j)$ the $i$th cohomology of the complex ${\mathbb{Q}}(j)$ over $\...
Mikhail Bondarko's user avatar
17 votes
1 answer
1k views

Why presheaves with transfer?

Presheaves with transfer are a main technical ingredient in Voevodsky's construction of his category of mixed motives. From the perspective of motivic homotopy theory, the only difference between SH ...
Fabian Carlström's user avatar
14 votes
1 answer
1k views

Why $K(X) \longrightarrow G (X)$ is a Poincaré duality for K-theory?

It's well known that for Noetherian separated regular schemes the canonical map $$K(X) \longrightarrow G(X)$$ (Quillen uses $K'$ instead of $G$, though) is a weak equivalence. This statement is ...
user40276's user avatar
  • 2,227
12 votes
3 answers
2k views

Motivic vs Deligne cohomology

Where can I find the construction of the cycle class map from motivic cohomology to Deligne cohomology of smooth projective varieties over the complex numbers? It should be a construction by Bloch ...
user avatar
12 votes
0 answers
340 views

Homology of Gersten complex for singular schemes

It is one of the important facts in K-theory/motivic cohomology that the Gersten-type complexes (for Quillen K-theory, Milnor K-theory or more generally Rost's cycle modules) are exact for smooth ...
Matthias Wendt's user avatar
11 votes
1 answer
967 views

How to think about infinite generatedness of motivic cohomology

In this question I previously asked how to think about the motivic complex $\mathbf{Z}(1)_{\mathcal{M}}$, whose Zariski hypercohomology should morally be the "singular cohomology" $H^*((-)\wedge S^{2n}...
user avatar
5 votes
1 answer
468 views

Any "motive"(-like) theory which can catch that cusp $y^2=x^3$ (and similar) are non-trivial?

Consider cusp $y^2=x^3$ which can also be described as $k[z]~without~z$ , taking $x=z^3,y=z^2$. Algebraically its $Spec$ is quite different from $k$. For example: it has plenty non-trivial "line-...
Alexander Chervov's user avatar
2 votes
1 answer
589 views

Are finite correspondances flat?

In Voevodsky&Mazza&Weibel's book on motivic cohomology they define "an elementary correspondance from X (Smooth connected scheme over $k$) to Y (separated scheme over $k$) as an irreducible ...
Tintin's user avatar
  • 2,871
1 vote
0 answers
162 views

Motivic complex on arithmetic schemes

If we believe the finite generation of motivic cohomology for regular arithmetic schemes like $X$ then we can see that (using Quillen-Lichtenbaum)for infinitely many primes $l$ we have an isomorphism ...
user127776's user avatar
  • 5,901
1 vote
0 answers
133 views

Contractibility of a $K_0^{\oplus}$ presheaf

Let's assume $X$ is a smooth projective variety over a field. Let $\Delta^{\bullet}$ be the cosimplicial scheme over the same field, where at level $n$ is just the $n$-th algebraic simplex. We can ...
user127776's user avatar
  • 5,901