Skip to main content

Questions tagged [motivic-cohomology]

9 questions from the last 365 days
Filter by
Sorted by
Tagged with
0 votes
0 answers
67 views

Cup product of $p$ first Galois Cohomologies of rationals, with coefficients in $\mu_{p}$

Let $p$ be an odd prime and $\mu_{p}$ be the group of $p^\text{th}$-roots of unity. Then, there exists a cup-product map which maps the product of $p$-copies of $H^{1}(\mathbb{Q}, \mu_{p})$ into $H^{p}...
Gafar Maulik's user avatar
2 votes
0 answers
123 views

Isomorphism between motivic cohomology and algebraic cobordism

Let $MGL$ be the algebraic cobordism defined by Voevodsky, and $\Omega$ the algebraic cobordism constructed by Levine and Morel. For motivic cohomology $H^{p,q}$, we use Suslin-Voevodsky's definition. ...
Yunhao's user avatar
  • 121
3 votes
2 answers
342 views

Reference Request: Beilinson-Bloch conjecture in terms of Beilinson regulator isomorphism

I'm looking for a reference that provides a concise statement of the Beilinson-Bloch conjecture, specifically formulated in terms of an isomorphism under the Beilinson regulator map. More precisely, I'...
kindasorta's user avatar
  • 2,907
5 votes
0 answers
157 views

Motives with compact support, Chow groups and proper pushforward maps

In Motivic cohomology of smooth geometrically cellular varieties (1999), Corollary 3.5, Bruno Kahn proves the following statement. Consider a cellular variety $X$ (i.e. it admits a filtration by ...
Bruno Stonek's user avatar
  • 3,004
2 votes
0 answers
150 views

Absolute Bloch-Kato Cohomology

The étale cohomology $R\Gamma_{\mathrm{ét}}(X;\mathbb{Z}_p(n))$ of a scheme $X/K$ can be computed by a Hochschild-Serre spectral sequence with terms of the form $H^i(K;H^j(X_{\overline{K}};\mathbb{Z}...
David Corwin's user avatar
  • 15.4k
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-...
Alexander Chervov's user avatar
4 votes
0 answers
178 views

Every stable homotopical functor factors through $\mathbf{SH}$

In this nlab page, it says that the fact that every stable homotopical functor factors through $\mathbf{SH}$ (the motivic stable homotopy category of Morel-Voevodsky) is proven in Ayoub's thesis. ...
Alexey Do's user avatar
  • 883
13 votes
1 answer
2k views

Who proved the motivic 6-functor formalism?

In the recent beautiful talk "Motives and ring stacks" Peter Scholze states the theorem saying that there exists an initial 6-functor formalism on $\mathit{Sch}_\mathbb{Z}$ such that when $...
Ola Sande's user avatar
  • 705
2 votes
0 answers
145 views

Are higher Chow groups and motivic cohomology isomorphic for smooth schemes over a Dedekind domain?

Voevodsky famously proved that his motivic cohomology defined by presheaves with transfers was isomorphic to Bloch's higher Chow groups for smooth schemes over a field. There have long been ...
xir's user avatar
  • 2,044