The tag has no wiki summary.

learn more… | top users | synonyms

10
votes
3answers
442 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 ...
3
votes
0answers
227 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 ...
3
votes
0answers
130 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 $$ ...
14
votes
1answer
750 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 ...
1
vote
0answers
274 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. ...
3
votes
1answer
156 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 ...
0
votes
0answers
96 views

Reference for Cech cohomology for Nisnevich topology

I need the theorems that prove that Nisnevich cohomology can be computed by the Cech complex similar to what happens in the étale topology. I know this has to be true since (Morel-Voevodsky: ...
3
votes
0answers
143 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
1answer
382 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: ...
8
votes
1answer
411 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$). ...
1
vote
1answer
162 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)$. ...
0
votes
0answers
187 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 ...
2
votes
0answers
268 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 ...
10
votes
1answer
370 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 ...
2
votes
1answer
206 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 ...
5
votes
2answers
337 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 ...
35
votes
1answer
1k 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, www.jmilne.org/math/xnotes/MOT102.pdf), the category of motives is defined to be ...
1
vote
0answers
200 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 ...
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 ...
2
votes
2answers
836 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 ...
3
votes
0answers
429 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 ...
8
votes
2answers
1k 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 ...
3
votes
1answer
294 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}$ ...
1
vote
0answers
206 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 ...
3
votes
0answers
198 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 ...
3
votes
1answer
636 views

Higer 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 closed ...
2
votes
0answers
452 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). ...
1
vote
0answers
135 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?
2
votes
1answer
272 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 ...
1
vote
1answer
390 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 ...
7
votes
0answers
310 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 ...
11
votes
1answer
659 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 ...
14
votes
1answer
816 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 ...
5
votes
2answers
752 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?
2
votes
1answer
599 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})$ = ...
14
votes
3answers
1k 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 ...
1
vote
1answer
404 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 ...
10
votes
0answers
821 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 ...
15
votes
0answers
714 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 ...
17
votes
1answer
545 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 ...
6
votes
3answers
505 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 ...
8
votes
6answers
1k 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 ...
28
votes
3answers
2k 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 ...
29
votes
6answers
3k 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 ...
12
votes
1answer
3k 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 ...
9
votes
1answer
665 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 ...
19
votes
3answers
2k 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?