All Questions
Tagged with etale-cohomology motives
35
questions
8
votes
0
answers
306
views
Triple comparison of cohomology in algebraic geometry
Let $X$ be a smooth proper variety over $\mathbb{Q}$ and $p$ a prime number. For an integer $k$, we have:
a finitely-generated abelian group $H^k(X^{\mathrm{an}}(\mathbb{C});\mathbb{Z})$
a finitely-...
- 15.5k
4
votes
0
answers
413
views
In which "sense" unramified Milnor-Witt K-groups are unramified
Let $X$ be an integral locally noetherian smooth
scheme over base field $k$. Then for every $x \in X^{(1)}$ point of codimension $1$, the stalk $\mathcal{O}_{X,x}$ is a discrete valuation
ring. ...
- 5,780
7
votes
1
answer
488
views
Is there any theory of "étale cohomology" with algebraic coefficients?
For simplicity, I will restrict attention to untwisted coefficients.
Let $k$ be a finite field of characteristic $p$, and $\ell\ne p$ prime. Can one define a cohomology theory with $\mathbb{Q}_\ell^{\...
- 341
4
votes
0
answers
332
views
Voevodsky's motives and Deligne's systems of realizations
$\newcommand{\gm}{\mathrm{gm}}$Let $\mathbf{DM}_{\gm}(\mathbb{Q},\mathbb{Z})$ be Voevodsky's category of geometric motives over $\mathbb{Q}$ with coefficients in $\mathbb{Z}$ (e.g. as on p.124 of ...
- 15.5k
2
votes
0
answers
237
views
What unramified Galois representations come from geometry?
I think we don't know what crystalline representations come from geometry. What about the unramified ones? Specifically let $\phi:\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)\to GL_n(\mathbb{Q}...
user158636
4
votes
0
answers
264
views
Explicit linear object underlying $l$-adic cohomology for almost all $l$
If you are working with closed manifolds you can consider cohomology with any coefficients you like but ultimately everything is determined by the singular cohomology with $\mathbb{Z}$-coefficients.
...
user158636
6
votes
1
answer
509
views
Functoriality for $\ell$-adic cohomology - a question
This should a be basic enough question, but I’m a little confused.
In proving that $H^*(X,\mathbf{Q}_{\ell})$ is functorial (in the sense of Weil cohomology theories: see axiom D2 here) as $X$ ranges ...
user134132
4
votes
0
answers
300
views
Etale cohomology of projective spaces in the rigid analytic setting
Take $K$ a complete non-archimedean field (maybe algebraically closed, to simplify the question), and $\mathbb{P}_K^d$ the rigid projective space over $K$. Can we compute the étale cohomology with ...
8
votes
0
answers
559
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
1
vote
0
answers
277
views
Coniveau in étale motivic cohomology
Let $X$ be a smooth variety over a field.
Is there a spectral sequence:
$$E_1^{p,q} := \bigoplus_{x\in X^{(p)}}H^{q-p}(\kappa(x)_{\rm ét},\mathbf{Z}(n))\Rightarrow H^{q-p}(X_{\rm ét},\mathbf{Z}(n))$$...
user92332
5
votes
1
answer
346
views
Spectral sequence in Betti cohomology
Let $X$ be a smooth projective algebraic variety over the complex numbers, and let us name
$$f : X_{\rm an}\to X_{\rm Zar}$$
the morphism of sites induced by sending a Zariski open $U\subset X$ to $...
user119470
7
votes
1
answer
681
views
Two motivic complexes, compared
Bloch defines the motivic complexes $\mathbf{Z}(n)$ in his paper "Algebraic Cycles and Higher K-Theory" (1986).
Some references (that I currently am unable to track down) use $$\check{\mathbf{Z}}(n) :...
user120812
6
votes
1
answer
301
views
Homotopy equivalence between two basepoints of the etale homotopy type of the one-torus
Let $T = \mathbb{G}_m$ be the torus, and let $\tilde{T}$ be its étale universal cover (a pro-object in schemes of finite type). Then both $T$ and $\tilde{T}$ have a well-defined étale homotopy type. ...
- 7,912
3
votes
0
answers
302
views
Semisimplicity conjecture
In this short note Ben Moonen proves that over fields of characteristic zero that are of finite type over their prime field, the Tate conjecture about surjectivity of cycle maps implies the semi-...
user92332
12
votes
0
answers
806
views
Number field analog of Artin-Tate $\Rightarrow$ BSD?
What is the difference between the alternating product of the Hasse-Weil $L$-functions of the generic fiber of an arithmetic scheme $X\to\text{Spec}(\mathbf{Z})$ and the zeta function of $X$? (each ...
user113452