All Questions
15 questions
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 $...
- 705
5
votes
0
answers
150
views
Analytical Dold-Thom
Let's $X$ be a projective smooth variety over a field that has an embedding into $\mathbb{C}$. Let's denote the infinite symmetric power of $X$ by $\text{Sym}^{\infty}(X)$. Denote the algebraic ...
- 5,901
4
votes
1
answer
260
views
Support of torsion in the Borel–Moore homology
Given a complex quasi-projective variety $X$, let $\alpha$ be an element of the Borel–Moore homology $H_i^\text{BM}(X)$ such that it can be killed by a prime $p$. Under what conditions one can say ...
- 5,901
2
votes
1
answer
175
views
The multiplicativity of the (complex) geometric realization of motivic cohomology
Consider the (complex) geometric realization of the motivic cohomology theory on simplicial presheaves over complex smooth schemes, which is a functorial homomorphism of $R$-modules, where $R$ is the ...
- 935
8
votes
0
answers
587
views
Values of cohomology theory on a point
$\DeclareMathOperator\Sm{Sm}$It is a well-known fact that in algebraic topology, generalized cohomology theories are determined by their values on the point. I was wondering whether anything similar ...
- 5,901
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
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,408
6
votes
1
answer
510
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
21
votes
1
answer
2k
views
Spectral sequences in $K$-theory
There is an algebraic analogue of the Atiyah-Hirzebruch spectral sequence from singular cohomology to topological $K$-theory of a topological space.
For a field $k$, let $X$ be smooth variety $X$ ...
user87684
3
votes
1
answer
350
views
Do there exist nontrivial motivic cohomology operations preserving weights?
Suppose that for each field $F$ a linear map $X(F): H_M^{p,q}(F, \mathbb{Q}) \longrightarrow H_M^{p,q}(F,\mathbb{Q})$ is given, such that $X$ commutes with inclusions of fields and transfers for ...
- 4,316
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
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
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