Questions tagged [motivic-cohomology]
The motivic-cohomology tag has no usage guidance.
198 questions
3
votes
0
answers
321
views
Relations between the morphic cohomology and Hodge theory
The main question can be summarized in the following form:
For a smooth projective complex variety $X$, is the cohomology $H^{2p}(X, \tau^{\leq p}\Omega_{alg}^{\bullet})$ supposed to surject onto $(H^...
- 5,901
2
votes
0
answers
64
views
Motivic complexes associated to adequate equivalence relations
Motivic cohomology sheaves $\mathbb{Z}(n)$ are homotopy invariant sheaves with transfers (under finite maps) and they satisfy excision long exact sequence when everything is smooth. The motivic ...
- 5,901
3
votes
0
answers
201
views
Are cubical higher Chow groups of field $CH^{n-1}(F,n)$ generated by linear cycles?
In the paper "The linearization of higher Chow cycles of dimension one" W. Gerdes proved that Higher Chow homology group $CH^{n-1}(F,n)=H^{n}(z^{n-1}(F,*))$ are generated by linear cycles.
...
user21167
1
vote
0
answers
176
views
Motivic cohomology of Weil restriction
hopefully this isn't too obvious or well-known, but I couldn't find it by searching. The motivic cohomology of $\mathbb{G}_m$ and its powers over any base with known motivic cohomology can be computed ...
- 2,044
5
votes
0
answers
496
views
Is this etale motivic or motivic cohomology?
I am trying to reconcile my understanding of motivic cohomology (based on the Lecture Notes by Mazza-Voevodsky-Weibel) with the homotopic point of view. I am currently struggling to answer this ...
- 121
4
votes
0
answers
133
views
Borel-Moore variant of the Lichtenbaum conjecture
A conjecture of Lichtenbaum expects that for a smooth proper variety $X$ over a finite field, the etale motivic cohomology groups $H^i(X_{et}, \mathbb{Z}(n))$ are finite for $i\neq 2n, 2n+2$, finitely ...
- 5,901
5
votes
0
answers
167
views
Mod $l$ algebraic $K$-theory of product of an algebra with a complete algebra
By Gabber's rigidity the mod-$l$ $K$-theory of $k[[t]]$ and $k$ are isomorphic for a field $k$. Is there anything that we can say about the mod $l$ $K$-theory of $A\otimes_kk[[t]]$? Note that this is ...
- 5,901
6
votes
1
answer
622
views
Representable cohomology theories in motivic homotopy theory
I am reading Mazza's, Voevodsky's and Weibel's book Lecture Notes on Motivic Cohomology and have grown curious about the following question:
Which cohomology theories on $Sm/k$ are representable, i.e. ...
- 133
3
votes
0
answers
154
views
Comparing $K$-cohomology groups and weight filtration on the $K$-groups
The second page of the Quillen-Brown-Gersten is in the following form:
$$E_2^{p,q}=H^{p}(X, \mathcal{K}_{-q})\Rightarrow K_{-q-p}(X)$$
Here $\mathcal{K}_n$ is sheafification of the $U\mapsto K_n(U)$ ...
- 5,901
3
votes
0
answers
277
views
Constructible motivic sheaves
Motivic complexes are a complex of Zariski sheaves that their Zariski hypercohomology gives us the motivic cohomology groups. There are various constructions of these complexes. As far as I know they ...
- 5,901
2
votes
0
answers
191
views
Lefschetz type theorems/conjectures for algebraic $K$-theory
Lefschetz hyperplane theorem, compares the homology/cohomology of a projective variety with a hyperplane section of it and claims they are isomorphic in certain ranges. There are Lefschetz type ...
- 5,901
26
votes
1
answer
1k
views
What's motivic about $\mathbb{A}^1$-homotopy theory? What's motivic about correspondences?
I come today to mathoverflow to showcase some genuine confusion about the motivic world. I want to ask some questions before actually starting to study the subject, to build some sense of direction.
I ...
- 1,514
6
votes
2
answers
882
views
Idempotent completions in K-theory
I have a reference request on following comment I found in
nLab article on Karoubian categories & envelopes. It states:
The Karoubian envelope is also used in the construction of the
category of ...
- 6,028
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 ...
- 5,901
3
votes
1
answer
294
views
A class in the motivic cohomology group $H^{0,1}(\operatorname{Spec}k;\mathbb{Z}/p)$
In the following paper
N. Yagita, Examples for the Mod p Motivic Cohomology of Classifying Spaces,
on the first page, below display (1.1), it says "It is known that there is an element $\tau\in H^...
- 935
3
votes
0
answers
224
views
Loop spaces of motivic Eilenberg-Mac Lane spaces
Consider the unstable $\mathbb{A}^1$-homotopy category (say over $\mathbb{C}$). By the loop space $\Omega X$ of an object $X$, we mean the homotopy fiber of $pt\to X$.
For an abelian group A and the ...
- 935
3
votes
0
answers
280
views
Descent and Chow groups
One of the features of the $\mathbb{A}^1$-homotopy theory is the existence of the motivic Eilenberg-MacLane space $K(\mathbb{Z}(n),2n)$ such that for $k$-schemes $X$, we have
$$[X,K(\mathbb{Z}(n),2n)]\...
- 4,418
4
votes
1
answer
249
views
Suspension Theorem in $\mathbb{A}^1$-homotopy
In algebraic topology, the suspension theorem tells us that for a topological space $X$, we have
$$\tilde{H}^n(X,F)\cong \tilde{H}^{n+k}(S^k\wedge X,F).$$
So I'm wondering if this has an analogue in ...
- 4,418
1
vote
0
answers
107
views
What can be said about the Chow rings of classifying spaces of semi-direct products of groups?
For instance, what can we say about the Chow ring of the classifying space of a semi-direct product $CH^*(B(G\ltimes H))$, in terms of the Chow rings of $CH^*(BG)$, $CH^*(BH)$, and the singular ...
- 935
5
votes
0
answers
279
views
Stalk of motivic homotopy sheaves
In contrast to "classical" homotopy theory, in the motivic homotopy theory, we don't have homotopy group but rather homotopy sheaves in the Nisnevich topology, which is associated to the ...
- 4,418
3
votes
0
answers
357
views
Vanishing of a Higher Brauer group of a field
Let $k$ be a field. I am interested in the notion of the higher Brauer group defined as follows: For X a smooth scheme over $k$, $Br^r(X):=H^{2r+1}_{et}(X, \mathbb{Z}(r))$, an etale motivic cohomology ...
- 431
5
votes
1
answer
739
views
Surjective étale morphisms étale locally split
The actual question is slightly more general than that in the title:
Let $p: U\to Y$ be a surjective étale morphism and $Y\to X$ be a finite morphism of schemes. Is there an étale cover $V\to X$ (...
- 1,906
5
votes
0
answers
181
views
What is the fibrant replacement of an Eilenberg-MacLane space in unstable motivic homotopy theory?
One can take an Eilenberg-MacLane space $K(A, n)$ for some abelian group $A$, and view it as (locally) constant simplicial sheaf on $Sch/k$, the category of schemes, or smooth schemes, over a field $k$...
- 51
4
votes
0
answers
132
views
Filtrations of motivic spectral sequences
I had a general question about motivic spectral sequences. In order to derive them we first begin with a filtration of the algebraic $K$-theory spectra. Something like this $\cdots \rightarrow W^2(X)\...
- 5,901
3
votes
1
answer
476
views
Arc space & formal loops in motivic integration
One of the most essential ingredients in the theory of motivic integration are the space of arcs of a given $k$-variety
$X$. This is a scheme, whose $k$-rational points are the $k[[t]]$-valued points ...
- 6,028
2
votes
1
answer
257
views
Grayson filtration and weight filtration
I had a question that might be well-known but I'm not sure where to find it. Grayson defined a filtration on the algebraic $K$-theory of affine regular rings via commuting automorphisms which you can ...
- 5,901
1
vote
1
answer
245
views
Pseudo-Abelian Completion in the constrution of Motifs (by Y. Manin)
I reading Yuri Manin's famous paper on "CORRESPONDENCES, MOTIFS AND MONOIDAL TRANSFORMATIONS" and struggle with his definition for so called pseudo-abelian completion given on page 453 by a reason I ...
- 6,028
1
vote
0
answers
91
views
Example of a non-strongly $A^1$ invariant sheaf of groups
A Nisnevich sheaf of groups is called strongly $A^1$-invariant if its classifying space $BG$ is $A^1$-invariant. I would like an example that is $A^1$ invariant but not strongly $A^1$-invariant for an ...
- 365
3
votes
1
answer
139
views
Proof that $Sing^IX$ is $I$-invariant for an interval object in a site by "simplicial decomposition"
I just saw a proof showing that $Sing^{A^1}X$ is $A^1$ invariant where they use an algebraic topological analogue of ``simplcial decomposition'' defined as follow:
The argument works by showing that ...
- 631
5
votes
1
answer
169
views
Is transfinite composition of weak equivalences of simplicial presheaves a weak equivalence?
In a left Bousfield localization of the projective model structure on the category of simplicial presheaves, what is the condition that transfinite composition preserves weak equivalences? How about ...
- 631
5
votes
1
answer
488
views
Is $B\mathbb{G}_m$ strongly $A^1$-invariant?
I have just seen the definition of strongly ${A}_1$ invariance:
A sheaf of group $G$ is strongly $A_1$ invariance , if both $H^0(-;G)$ and $H^1(-;G)$ is $A_1$-invariant.
I haven't got too much ...
- 631
2
votes
0
answers
331
views
Few questions about the algebraic cycles and the conjectures of Beilinson and Tate
I have three slightly related questions about algebraic cycles which I am just going to list them. I'd really appreciate any answers:
1) Is there any example of a smooth projective variety $X$ over a ...
- 5,901
7
votes
0
answers
279
views
Adequate equivalence relations and algebraic $K$-theory
I have a somewhat vague question. We know that Adams operation gives a filtration on $K_i(X)\otimes \mathbb{Q}$ for the scheme $X$ such that the weight $j$ elements are isomorphic to higher Bloch Chow ...
- 5,901
2
votes
0
answers
141
views
Chow group of a pair
In a paper by S. Landsburg the (higher) Chow groups of a pair $(X,Y)$ are defined when $Y$ is a smooth closed subvariety of a smooth variety $X$ as follows.
We consider the sub-complex $z^{*}(X;.)_{Y}...
- 1,566
4
votes
0
answers
140
views
On the Beilinson's conjecture regarding the proper flat integral models
I had a question which seems to be straightforward but I wasn't able to figure it out. In
page 13 of this paper a conjecture of beilison is mentioned that if $\mathcal{X}_{\mathbb{Z}}$ is a proper ...
- 5,901
7
votes
1
answer
552
views
Motivation for Suslin’s Rigidity Conjecture
Suslin Rigidity conjecture states that motivic cohomology
$$
H_{\mathcal{M}}^1(\operatorname{Spec}(F),\mathbb{Q}(n))
$$
of the field $F$ coincides with motivic cohomology for the subfield of ...
- 4,316
9
votes
1
answer
713
views
Bass' conjecture implies the Parshin's conjecture
In the appendix of this paper. It is proved that Bass' conjecture for $K_n$ implies the rational Beilinson-Soulé conjecture for $K_n$. Then at the end the author claims that the same method can be ...
- 5,901
4
votes
0
answers
222
views
Brauer groups over local fields
Let X be a smooth projective variety over a local field of characteristic $(0,p)$. The Brauer group of X is a torsion group whose $l$-part is of cofinite type of some corank.
Is it know that the $l$-...
- 1,553
6
votes
1
answer
511
views
A question about the (motivic) integral cohomology of the Eilenberg-MacLane spectrum
Let $H\mathbb{Z}$ be the Eilenberg-MacLane spectrum. Let $n\geq 0$ be any integer.
Is it known the structure of the group $[H\mathbb{Z},\Sigma^{n}H\mathbb{Z}]$?
Is there any reference in this ...
- 761
1
vote
0
answers
104
views
Norm quadrics and their motives
Let $k$ be a field of characteristic $\neq 2$ and $\langle\!\langle a_{1},\cdots,a_{n}\rangle\!\rangle$ a Pfister form over $k$. Denote by $Q_{\underline{a}}=Q_{a_{1},\cdots,a_{n}}$ the projective ...
- 141
7
votes
0
answers
230
views
Motivic cohomology of $n$-sphere
All motivic cohomology groups are taken with $\mu_2$ coefficient and $k$ has characteristic different from $2$.
Consider the affine variety $X$ with coordinate ring $k[x_1,\ldots,x_n]/(x_1^2+\ldots + ...
- 191
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 ...
- 2,227
9
votes
1
answer
703
views
Motivic cohomology is universal with respect to what (co)homology theories?
I have been told several times, at least implicitly, that motivic cohomology should be universal with respect to Bloch-Ogus cohomology theories. Is it proved somewhere or is it just some folk theorem?
...
- 2,227
10
votes
2
answers
534
views
A question about the vanishing of motivic cohomology in negative Tate twist
Let $DM_{\text{gm}}$ be the category of Voevodsky´s geometric motives. Let $p,q\in \mathbb{Z}$ be integers with $p<0$.
Is it true that
$$\text{Hom}_{DM_{\text{gm}}}(M_{\text{gm}}(X),\mathbb{Z}(p)[...
- 761
4
votes
1
answer
560
views
Thom class in motivic cohomology
Let $E$ be a vector bundle over a smooth scheme $X$. The Thom space of $E$ is $Th(E)=E/E-i(X)$ where $i\colon X \longrightarrow E$ is the zero section. This space is
$\mathbb{A}^{1}$ isomorphic to $\...
- 141
6
votes
2
answers
540
views
Galois descent in motivic cohomology
Let $X_N$ denote the Fermat curve defined over $\mathbb{Q}$ by the equation $x^N+y^N-z^N=0$ and let $X_{N,\mathbb{Q}(\mu_N)}$ be the base change. Let $G$ be the Galois group of $\mathbb{Q}(\mu_N)/\...
- 63
8
votes
0
answers
574
views
Reference request: Motivic Cohomology and Cycle class maps
For a smooth projective variety $X$ over any field $K$, Voevodsky showed in his paper ``Motivic Cohomology Groups Are Isomorphic to Higher Chow Groups in Any Characteristic" that the motivic ...
- 592
10
votes
0
answers
286
views
Injectivity of regulator maps
Let $X$ be a scheme which is smooth and quasi-projective over $\operatorname{Spec} \mathbf{Z}[1/N]$, and let $\ell$ be a prime dividing $N$ (hence invertible on $X$). Then then there is a regulator ...
- 37k
5
votes
1
answer
552
views
A quite puzzling question on Deligne cohomology sheaves and cycle maps
Intro. I would be deeply grateful if someone could please clarify the following to me.
The question. (the main point is (4))
Let $X$ be a smooth projective variety over $\mathbf{C}$, and $\mathbf{Z}(...
user119470
5
votes
1
answer
426
views
Blowup formula for motivic cohomology
If $X$ is a smooth projective variety over a field, $Z\subset X$ a smooth closed subvariety of codimension $d$, $X'\to X$ the blowup of $X$ along $Z$, there's the blowup formula
$$H^j(X'_{et},\mathbf{...
user95222