Questions tagged [etale-cohomology]
for questions about etale cohomology of schemes, including foundational material and applications.
724
questions
3
votes
0
answers
197
views
Nearby cycles of a constant $\Lambda$-sheaf
Let $X$ be a scheme over a henselian trait $S = (S,s,\eta)$. Let $\ell$ be a prime number which is invertible on $S$ and let $\Lambda := \mathbb Z_{\ell}/\ell^k\mathbb Z_{\ell}$ where $k\geq 1$. Let $\...
4
votes
0
answers
202
views
Is there a simple counterexample to étale proper base change on the unbounded derived category?
The best non-derived version of proper base change on the étale site of a scheme I know is that for $f : X \to Y$ proper and $g : Y' \to Y$ arbitrary, the base change morphism $g^{-1} R f_\star \...
2
votes
1
answer
85
views
Base change for fundamental group prime to p in mixed characteristic?
I found the answer to this question while typing it up, but since I've already written it, it is probably worthwhile to post-and-answer in case someone finds it useful.
Let $S=\operatorname{Spec}\...
7
votes
1
answer
404
views
Is anything known about de Rham $K(\pi,1)$'s?
Let $X$ be a connected qcqs scheme. We say that $X$ is a (étale) $K(\pi,1)$ if for every locally constant constructible abelian sheaf $\mathscr{F}$ on $X$ and every geometric point $\overline{x}$ the ...
2
votes
1
answer
242
views
Images of smooth schemes under lci morphisms
Let $S$ be a Noetherian scheme, $f : X\to S$ a smooth quasi-projective morphism, $g : X\to Y$ a morphism of finite type, and $h : Y\to S$ a smooth projective morphism with $h\circ g =f$.
Can we say ...
1
vote
0
answers
278
views
Base points and geometric points of schemes
Let $k$ b a field and $X$ a geometrically connected variety over $k.$ Let us fix an algebraic closure $$\ast: \text{Spec } \bar{k} \rightarrow \text{Spec } k$$ and denote by $\bar{X} = X \times_k \bar{...
4
votes
1
answer
405
views
Étale group schemes and specialization
If $A$ is an abelian variety over a finite field $\mathbf{F}_q$, then $A(\mathbf{F}_q)$ (resp. $A(\overline{\mathbf{F}}_q)$) is a finite (resp. infinite torsion) group, but $A(\mathbf{F}_q(t))$ is a ...
2
votes
1
answer
257
views
Flat scheme-theoretic closure
Suppose $R$ is a discrete valuation ring with fraction field $K$. Let $X\subset \mathbf{P}^n_{C_K}$ be a closed subscheme, flat over $C_K$, a smooth projective curve over $K$.
Let $C_R$ be a flat ...
23
votes
1
answer
3k
views
Is there a ring stacky approach to $\ell$-adic or rigid cohomology?
Ever since Simpson's paper [Sim], it was observed that many different cohomology theories arise in the following way: we begin with our space $X$, we associate to it a stack $X_\text{stk}$ (which ...
1
vote
0
answers
208
views
$p$-adic étale cohomology group of open smooth varieties
Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $X$ be a smooth variety over $K$.
Dr. Yamashita announced that he had proved the Galois representation of $p$-adic étale cohomology group $H^*_{\...
1
vote
0
answers
166
views
Interpretation of Tate conjecture using motivic homotopy
For a smooth projective variety $X$ over a field $k$ the Tate conjecture says that the cycle class maps
$$CH^i(X)\otimes \mathbb{Q}_l \to H^{2i}(X_{\bar{k}},\mathbb{Q}_l(i))^{G_k}$$
are surjective. To ...
5
votes
0
answers
364
views
Calculating étale fundamental groups from the usual fundamental group
$\newcommand{Spec}{\operatorname{Spec}}$Let $X$ be a connected affine smooth variety over $\mathbb{Q}$, with a point $x\in X(\Spec(\mathbb{Q})$.
For any algebraically closed field $K$ of ...
25
votes
1
answer
3k
views
When (or why) is a six-functor formalism enough?
The six functor formalism in a given cohomology theory consists of for each space a derived category of sheaves and six different ways to construct functors between those categories (four involving a ...
4
votes
1
answer
233
views
Cycles contained in ample enough hypersurfaces
Let $X$ be an irreducible smooth projective variety of pure dimension $d$ over the complex numbers and $Z\subset X\times X$ a codimension $d$ irreducible smooth closed subvariety.
Is there a smooth ...
2
votes
0
answers
131
views
Tangential basepoint of a log singular local system
Consider the Legendre family $f: X\longrightarrow Y = \mathbb{P}^1\setminus\{0,1,\infty\}$, defined over $K = \mathbb{Q}/\mathbb{Q}_p$.
having fibre above $t\in Y$, the elliptic curve $E_t := y^2 = x(...