Questions tagged [etale-cohomology]
for questions about etale cohomology of schemes, including foundational material and applications.
724
questions
3
votes
1
answer
305
views
Purity of Frobenius on cohomology of a projective variety over $\mathbb F_q$ with isolated singularities
Let $X_0$ be a projective variety of dimension $n>0$ over a finite field $\mathbb F_q$ of characteristic $p$. Let $X$ denote its base change to an algebraic closure. Let $\ell$ be a prime number ...
2
votes
0
answers
258
views
Tate's conjecture for arithmetic schemes
Tate's conjecture is about a map from Chow groups of a smooth projective variety $X$ to the $l$-adic cohomology i.e. $CH^n(X)\rightarrow (H^{2n}(\bar{X}, \mathbb{Q}_l(n)))^G$ where $G$ is the Galois ...
1
vote
0
answers
121
views
Is the Frobenius semisimple on the de-Rham cohomology?
Suppose $K$ is a unramified finite extension of $\mathbb Q_p$, and $X$ is a projective smooth curve defined over $K$. By $p$-adic Hodge theory we know $D_{cris}(H_{et}^i(X,\mathbb Q_p))=H_{dR}^i(X)$. ...
2
votes
1
answer
262
views
Deligne finitude and finiteness of etale cohomology
This probably is a very straightforward question. Does Deligne finitude imply etale cohomology with $\mu_l^{\otimes n}$ ($l$ is invertible) for finite type schemes over a finite field is finite? This ...
3
votes
0
answers
201
views
Tate isogeny theorem over varieties?
Let $X$ be a nice scheme, $\pi:E\to X$ an elliptic curve, and $\ell$ a prime invertible on $K$. Then we can consider the "Tate module" $(R^1\pi_*\mathbb{Z}_{\ell})^\vee=\hbox{''}\varprojlim\...
3
votes
1
answer
176
views
$l$-adic cohomology of hyperplane arrangements
Consider an arrangement of hyperplanes given by the faces of a simplex. Let's consider it as a scheme (a non-regular scheme) and let's also work over a finite field. Has the rational $l$-adic ...
2
votes
1
answer
262
views
Commutative group scheme cohomology on generic point
Setup:
Let $k$ be an algebraically closed field.
Let $C$ be a smooth connected projective curve over $k$.
Let $J$ be a smooth commutative group scheme over $C$ with connected fibers.
Let $j:\eta\to C$ ...
1
vote
1
answer
211
views
Confusion about relative Poincaré duality in the context of $\ell$-adic cohomology
I have recently learned about relative Poincaré duality in the book Weil conjectures, perverse sheaves and $\ell$-adic Fourier transform by Kiehl and Weissauer (2001). The reference is section II.7. ...
1
vote
1
answer
162
views
Field of fractions of etale stalk of Dedekind domain (Example from Milne's LEC)
Let $X=\operatorname{Spec}(A)$ be an affine Dedekind domain with field of fractions $K$. Let $\widetilde{A}$ be the integral closure of $A$ in separable closure $ K^{\text{sep}}$. A closed point $x$ ...
2
votes
1
answer
255
views
Calculate stalk of etale derived pushforward sheaf (Milne's LEC)
Assume $X=\operatorname{Spec}(A)$ is connected and normal (especially integral), and let $g:\eta \hookrightarrow X$ be the inclusion of the generic point of $X$. In Milne's LEC script on Etale ...
2
votes
0
answers
96
views
etale cohomology and algebric K theory for algebraic stack
Let $X$ be a smooth variety over a perfect field $k$. Fix a prime $p$ which is invertible in $k$.
Thomason proved that there is Atiyah-Hirzebruch type spectral sequence that computes $K(1)$-local $K$ ...
3
votes
1
answer
234
views
$\mathbf{Z}$-points of quasi-projective schemes
Let $U\subset\mathbf{P}^n_{\mathbf{Z}}$ be an open subscheme such that the smooth morphism $U\to\text{Spec}(\mathbf{Z})$ is surjective. Suppose $U(\mathbf{Q})\neq\varnothing$ and $U(\mathbf{Z}_p)\neq\...
2
votes
0
answers
219
views
Zero dimensional varieties and the L-function $1/(1-p^{-n})$
I am interested in positive characteristic varieties which produce an L-function of the form $\frac{1}{1-χ} = \frac{1}{1-p^{-s}} = \sum_{n = 0}^\infty p^{-ns}$. It seems related to the positive ...
2
votes
1
answer
208
views
Composition of Gysin and restriction maps on $\ell$-adic cohomology
I already posted this question on mathstackexchange there, but I figured that it may have more replies here.
I follow the notations of Milne's lectures notes on etale cohomology, most specifically ...
1
vote
1
answer
298
views
Cohomology of singular curves
Suppose $X$ is a singular quasi-projective curve over the complex numbers, and $X'$ is a good nonsingular compactification of a resolution of singularities $Y\to X$. Let $D$ be the complement of $Y$ ...