Questions tagged [motivic-cohomology]
The motivic-cohomology tag has no usage guidance.
198 questions
7
votes
3
answers
718
views
Chow motive of a fibration
If we have a fibration of smooth projective complex varieties $F\to E\to B$, which is locally trivial in the analytic topology, and the global monodromy is trivial. Then is it true that the Chow ...
- 311
8
votes
1
answer
467
views
Known norm varieties and the Bloch-Kato conjecture
The Bloch-Kato conjecture states that
$K_M^n(k)/l \simeq H^n(k,\mu^{\otimes n}_l)$ for every $n,l$,while $l$ is invertible in $k$.
A important part in the proof of the Bloch-Kato conjecture is to ...
- 1,479
18
votes
4
answers
2k
views
Applications of homotopy purity theorem of Morel-Voevodsky
One of the most important theorems in motivic homotopy theory is the homotopy purity theorem of Morel-Voevodsky which says that the motivic Thom space of the normal bundle $\mathcal N_{Z/X}$ of a ...
- 805
5
votes
0
answers
801
views
Two questions on motivic homotopy theory
I am a beginner in motivic homotopy theory and motivic cohomology and have just begun reading books by Dundas et al. and Mazza-Voevodsky-Weibel. I have two basic questions:
Why is the question of $\...
- 805
3
votes
0
answers
178
views
Regulator maps for ordinary varieties
Let $K$ be a finite extension of $\mathbf{Q}_p$ and $\mathcal{X}$ a smooth proper scheme over the ring of integers $\mathcal{O}_K$. For $i, j$ integers with $i \ne 2j$, there's a regulator map
$$ H^i_{...
- 37k
13
votes
1
answer
2k
views
Learning a little Motivic Cohomology
Simply because I find it interesting, I have spent some time studying motivic cohomology from the lectures by Mazza, Voevodsky and Weibel. However, I'm finding it hard to tell if the theory is ...
- 3,555
1
vote
0
answers
566
views
Homotopy theory of schemes
I have seen the notion of Homotopy come up in several contexts in schemes. For example, the book "Lectures on Motivic Cohomology" by Mazza, Weibel and Voevodsky uses this language to some extent. I.e. ...
- 33
9
votes
2
answers
971
views
the graded pieces of the gamma-filtration of Quillen K-theory and Chow groups of a regular scheme
Let $X$ be a regular scheme and consider Grothendieck's $\gamma$-filtration $F^nK(X)$ on $K(X)$. For the graded pieces, one has $Gr^0K(X) = CH^0(X)$ and $Gr^1K(X) = \mathrm{Pic}(X) = CH^1(X)$. Does ...
user19475
6
votes
0
answers
351
views
Correspondences of schemes induced by a finite Galois extension
I am trying to do the first exercises of the Mazza-Voevodsky-Weibel book Lecture Notes on Motivic Cohomology, which are some elementary results about correspondences between schemes.
Recall that if $...
4
votes
1
answer
580
views
Voevodsky's proof in any characteristic (for motivic and Chow)
Regarding the published version of "Motivic cohomology groups are isomorphic to higher Chow groups in any characterstic" (IMRN) available at:
http://imrn.oxfordjournals.org/content/2002/7/351.full....
- 650
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$).
...
- 37k
1
vote
1
answer
266
views
Definition of Hurewicz map relating $SH(k)$ with $DM_\_^{eff}(k)$
In "Motivic Homotopy Theory" on page 153 it is stated that there exists a canonical Hurewicz map relating the motivic stable homotopy category with the category $\operatorname{DM}_\_^{eff}(k)$. ...
- 13
0
votes
0
answers
373
views
Vanishing of motivic cohomology with finite coefficients in negative degrees
I wonder whether the "finite coefficient version" of Beilinson-Soule conjecture i.e. the following statement holds or not.
STATEMENT:
Let $X$ be a smooth and projective scheme over a finite field $\...
- 945
2
votes
0
answers
326
views
Voevodsky's 'split standard triple' argument: an explanation; does it work with $Z/nZ$-coefficients?
For varieties over a perfect field (of some characteristic $p$ that could be 0) Voevodsky defines the notion of a 'standard triple' (see http://books.google.ru/books?id=TzUmk87bN9cC&pg=PA85&...
- 16.9k
14
votes
1
answer
746
views
Can there exist Chow motives/motivic cohomology for compact Kähler manifolds?
Can there exist a 'reasonable' extension of the (higher) Chow groups of complex smooth projective algebraic varieties to functors on the category of compact Kähler manifolds? Are there any ...
- 16.9k
2
votes
1
answer
615
views
Is There a Mayer-Vietoris Spectral Sequence of Motivic Cohomology for Closed Coverings?
For etale cohomology, there is a spectral sequence of the following form ("Mayer-Vietories spectral sequence for closed covers"):
$E_{1}^{p,q}=\oplus_{i_{0}< \cdots < i_{p}} H_{ Y_{i_{0} \cdots ...
- 945
10
votes
2
answers
2k
views
When do the $\gamma$-filtration and codimension filtration of K-theory agree?
Let $X$ be a smooth quasiprojective algebraic variety over a field $k$. Then the $K$-groups $K_m(X)$ are defined, and there are two standard filtrations on them: the "codimension filtration" given by
...
- 37k
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 ...
- 5,929
1
vote
0
answers
232
views
What can one say about a smooth variety whose lower cohomology is trivial?
Let $X$ be a smooth (quasi-affine) complex variety; suppose that its cohomology (say, with integral coefficients) is trivial in degrees $0 < i\le s$ (for some $s>0$). What can one say about such ...
- 16.9k
14
votes
1
answer
1k
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 $\...
- 16.9k
3
votes
2
answers
2k
views
Milnor-Bloch-Kato conjecture implies the Beilinson-Lichtenbaum conjecture
Voevodsky reformulated the Milnor-Bloch-Kato conjecture as a change-of-topology morphism from the Zariski to the étale topology of a field with torsion coefficients being an isomorphism. The ...
user19475
3
votes
0
answers
638
views
Weak Lefschetz for torsion motivic cohomology (or torsion Chow groups)?
I am trying to prove the following Weak-Lefschetz-type statement for motivic cohomology: if $Z$ is a smooth hyperplane section of a smooth projective $X$ of dimension $d$ (say, over the field of ...
- 16.9k
15
votes
3
answers
3k
views
State of the art for Gersten's conjecture for K-theory?
Does anyone know (of a reference to) under what restrictions on the regular scheme $X$ it is known that we have an exact sequence
$$0 \to \mathcal{K}_n(X) \to \bigoplus_{x \in X^{(0)}} K_n(k(x)) \to \...
- 1,347
6
votes
1
answer
655
views
An example of an affine variety with non-zero Chow groups
Are there any examples known of an affine variety $A$ over an algebraically closed field such some Chow group (say, of codimension at least $2$) of $A$ with coefficients in $\mathbb{Z}/n\mathbb{Z}$ ($...
- 16.9k
1
vote
0
answers
339
views
On motivic cohomology with compact support
For a smooth projective variety $X$ and its closed non-smooth subvariety $Z$ I would like to say that a cone of the morphism between the motivic cohomology of $Z$ and those of $X$ is the motivic ...
- 16.9k
4
votes
0
answers
255
views
On (the cohomology of) Hensel pairs
I would like to study the cohomology of the Henselization $H_X(Z)$ of a closed subvariety $Z$ of a variety $X$.
I would like the following facts to be true (and to make sense!:)).
a.) The motivic ...
- 16.9k
3
votes
1
answer
2k
views
Higher Chow groups and singular cohomology theory
Let $X$ be a regular scheme over a field $k$ and $Δ^m$ be the algebraic $m$-simplex $\mathrm{Spec}\, k[t_0,...,t_m]/(1-\sum_jt_j)$. The group $z^i(X,m)$ is the free abelian group generated by all ...
- 951
2
votes
0
answers
617
views
a counterexample of Serre vs. motivic cohomology
There is a counterexample of Serre showing that there is no Weil cohomology theory with coefficients in $\mathbf{Q}, \mathbf{Q}_p, \mathbf{R}$ over $\mathbf{F}_{p^2}$ (a supersingular elliptic curve). ...
user19475
1
vote
0
answers
171
views
tensor product of motivic complexes $\mathbf{Z}(n)$
Is the morphism $\mathbf{Z}(n) \otimes^L \mathbf{Z}(m) \to \mathbf{Z}(n+m)$ from the Beilinson-Lichtenbaum conjectures a quasi-isomorphism?
- 417
3
votes
1
answer
447
views
Is there a universal coefficient theorem for motivic cohomology?
Is there some kind of universal coefficient theorem for motivic cohomology?
In particular, suppose we have a ring morphism $R\to S$, then I would like to know when
$$ H^{\star\star}(-,S)\simeq H^{\...
- 33
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 ...
- 2,871
10
votes
1
answer
743
views
Stable motivic cohomology with finite coefficients?
In this question, which attracted no responces so far, I've asked whether it is possible to extend the Beilinson-Lichtenbaum etale descent rule for motivic cohomology to singular varieties, in ...
- 15.6k
16
votes
1
answer
1k
views
Motivic cohomology with finite coefficients for singular varieties
Let $X$ be a smooth variety over a field $K$ whose characteristic does not divide a positive integer $m$. Then the motivic cohomology of $X$ with coefficients in $\mathbb Z/m(j)$ can be computed in ...
- 15.6k
22
votes
1
answer
2k
views
Motivic Cohomology vs. Chow for singular varieties?
I'm absolutely new to this stuff I'm asking about, so I hope this is not nonsense.
If X is a smooth scheme over a perfect field k, I can study its motivic cohomology in the sense of Voevodsky and ...
- 3,917
5
votes
2
answers
1k
views
Relation between motivic cohomology and Quillen K-theory
What's the relation between Voevodsky's motivic cohomology and Quillen K-theory of a scheme?
user19475
3
votes
1
answer
952
views
The motivic cohomology of projective space
What is the motivic cohomology $H^{p,q}(\mathbf{P}^n,\mathbf{Z})$ of projective space? By the projective bundle formula, one has
$H^{p,q}(\mathbf{P}^n,\mathbf{Z})$ =
$\oplus_{i=0}^n\mathrm{Hom}_\...
user19475
16
votes
4
answers
2k
views
Relation between motivic homotopy category and the derived category of motives
What's the relation between the pointed motivic homotopy category $\mathcal{H}_*(k)$ and the derived category of motives $\mathbf{DM}^-_{eff}(k)$ besides the representability of motivic cohomology in ...
user19475
1
vote
1
answer
692
views
Is there a projection formula for motivic étale cohomology?
Let $f: X \to Y$ be a finite morphism of varieties with $Y$ smooth. Is there a projection formula for $f$ and $H^{i}_{et}(-,\mathbf{Z}(1)) = H^i(-,\mathbf{G}_m)$?
Background: I want to show that for ...
user19475
12
votes
0
answers
1k
views
Are there analogues of Beilinson's conjectures for motives with coefficients?
There's a body of wisdom (following Beilinson, Bloch, Deligne, ...) relating mixed Tate motives, motivic cohomology, algebraic K-theory, special values of L-functions, and polylogarithms. My ...
- 9,408
21
votes
0
answers
1k
views
What is the current knowledge of equivariant cohomology operations?
In Caruso's paper, "Operations in equivariant $Z/p$-cohomology," http://www.ams.org/mathscinet-getitem?mr=1684248, he shows that the integer-graded stable cohomology operations in $RO(\mathbb{Z}/p)$-...
- 865
18
votes
1
answer
853
views
Can we reconstruct positive weight invariants in algebraic topology using algebraic geometry?
I can't really say that I understand what a weight is, but the qualitative distinction between weight zero and positive weight has come up a couple times in MathOverflow questions:
The étale ...
- 45.7k
9
votes
4
answers
1k
views
Correspondences in Topology
I had one or two little fights with correspondences in the context of algebraic geometry where an elementary correspondence $C:X\to Y$ of connected smooth $k$-Schemes seems to be defined as an ...
- 1,273
11
votes
6
answers
2k
views
Kunneth formula for motivic cohomology
I was wondering when the Kunneth formula holds for motivic cohomology:
$$
H^p(X,A(\alpha)) = \bigoplus_{i+j=p;\beta+\gamma = \alpha} H^j(X,A(\beta)) \otimes H^i(X,A(\gamma))
$$
where $H^p(X,A(\...
- 7,527
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,...
- 12.3k
37
votes
6
answers
6k
views
Why is Milnor K-theory not ad hoc?
When Milnor introduced in "Algebraic K-Theory and Quadratic Forms" the Milnor K-groups he said that his definition is motivated by Matsumoto's presentation of algebraic $K_2(k)$ for a field $k$ but is ...
- 5,243
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 ...
- 15.1k
12
votes
1
answer
1k
views
Formalism of homotopy theory of schemes
I have some vague knowledge about the philosophy that schemes should be thought of as similar to topologic spaces, and we should divide everything by homotopy, and that the space should be actually ...
- 15.1k
22
votes
3
answers
3k
views
Homotopy theory of schemes examples
Is it possible give an example of (or explain) how the Voevodsky et al.'s homotopy theory of schemes computes higher Chow groups?
- 15.1k