Questions tagged [motivic-cohomology]
The motivic-cohomology tag has no usage guidance.
15 questions
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 ...
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$).
...
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 ...
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) :=$...
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,...
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 $\...
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 ...
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 ...
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 ...
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 ...
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}...
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-...
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 ...
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 ...
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 ...