The motivic-cohomology tag has no wiki summary.

**10**

votes

**3**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**3**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**3**answers

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

**6**answers

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

**3**answers

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

**6**answers

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

**1**answer

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

**1**answer

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

**3**answers

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?