the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjectures.

learn more… | top users | synonyms

3
votes
0answers
97 views

What is the integral cohomology of an Enriques surface over a finite field?

Probably this is well-known, but I could not find it. I would like to understand the integral $2$-adic etale cohomology of an Enriques surface over $\mathbb{F}_q$ in dimension 2: $H_{et}^2(X, ...
13
votes
1answer
533 views

Resolution of singularities in étale cohomology

The lack of a suitable resolution of singularities comes up often in work on étale cohomology from the 1960s and 70s, And I think even the latest version of Milne's lecture notes says "It is likely ...
8
votes
1answer
259 views

Etale cohomology of $\mathrm{Spec}(k\{X,Y\})\backslash\langle0,0\rangle$

Illusie in "Grothendieck et la cohomologie étale" says Artin's Harvard notes on Grothendieck Topologies prove: The étale cohomology with coefficients in $Z/nZ$ of the variety ...
12
votes
1answer
277 views

Independence of $\ell$ of Betti numbers

When $X$ is a smooth proper variety over $\mathbb F_q$, we know by Deligne's theory of weights that the dimension of $H^i_{\operatorname{\acute et}}(\bar X, \mathbb Q_\ell)$ does not depend on $\ell$. ...
23
votes
2answers
793 views

Steenrod operations in etale cohomology?

For $X$ a topological space, from the short exact sequence $$ 0 \rightarrow \mathbb{Z}/2 \rightarrow \mathbb{Z}/4 \rightarrow \mathbb{Z}/2 \rightarrow 0 $$ we get a Bockstein homomorphism ...
1
vote
0answers
77 views

Reference: Relative cohomology of a morphism

Let $f\colon Y \to X$ be a morphism of schemes, the inverse image in $K$-theory always fit into a long exact sequence $$ \cdots \to K_i(f)\to K_i(X) \xrightarrow {f^*} K_i(Y)\to \cdots $$ where the ...
2
votes
1answer
200 views

A homotopy argument in etale topology

Suppose everything below is defined over $k=\overline{\mathbb{F}}_q$. Let $H$ be a connected algebraic group acting on a separated variety $Y$. Denote the morphism $H\times Y\rightarrow H\times Y; ...
18
votes
1answer
460 views

Flat versus etale cohomology

Although the definition of etale ($\ell$-adic) cohomology is scary, I have at least some intuition for how it should behave: for instance, when it makes sense, I expect that it should be ``similar'' ...
3
votes
1answer
211 views

Étale coverings of cubics and gluings

Consider the plane nodal cubic $X$ given by the equation $y^2=x^2(x+1)$ over a field $k.$ It is not too hard to show that $Y$ has a finite étale covering $X$ of degree $2.$ One does this in the ...
3
votes
1answer
91 views

Bounding the number of top dimensional irreducible components of a variety defined over a finite field

Let $V\subset \mathbb{A}^n_{\mathbb{F}_q}$ be a closed subvariety defined by simultaneously vanishing of $r$ polynomials $f_1,\cdots,f_r\in \mathbb{F}_q[x_1,\cdots,x_n]$, each of degree at most $d$. ...
4
votes
0answers
148 views

Varieties with only top $\ell$-adic cohomology not vanish?

Let $X$ be a $d$-dimensional connected smooth variety over $\overline{\mathbb{F}}_q$. It is well known that if $X$ is isomorphic to an affine space, then all the $\ell$-adic compactly supported ...
2
votes
1answer
282 views

When is a $\overline{\mathbb{Q}}_{\ell}$-local system the inverse image of a $\overline{\mathbb{Q}}_{\ell}$-local system?

I am trying to learn character sheaf theory, and encounter the following question: (*) Let $f\colon X\rightarrow Y$ be a morphism of quasi-projective smooth varieties over $\overline{\mathbb{F}}_q$, ...
1
vote
0answers
121 views

Verdier duality on excellent schemes

Let $f:X\rightarrow Y$ be a regular morphism between $k$-schemes which are noetherian and excellent with a funcion of dimension. In the book by Illusie-Laszlo-Orgogozo, there is a theorem (4.4.1 in ...
3
votes
1answer
306 views

Galois cohomology of a non-abelian group over a function field

Let $k$ be an algebraically closed field, and $X$ a connected smooth projective curve over $X$. Let $F$ be the function field of $k$. Let $G$ be an algebraic group over $k$ (assume that it is smooth, ...
5
votes
1answer
193 views

$\mathbb{A}^1$-invariance of categories of Finite Etale Covers

Let $k$ be algebraically closed with characteristic $0$. For a scheme $X$, let $FEt(X)$ be the category of finite etale covers of $X$. What can be said about $FEt(X \times \mathbb{A}^1)$ and the ...
2
votes
1answer
136 views

Is an $\ell$-adic local system on $\mathbb A^2$ that restricts to a trivial local system on every vertical line a pullback via the first projection?

This question is a reformulation of a special case of the question An $\ell$-adic local system which is trivial on every fiber of a morphism (this special case did not receive an answer on ...
3
votes
2answers
188 views

An $\ell$-adic local system which is trivial on every fiber of a morphism

Let $f: X \to Y$ be a morphism with connected fibers, where $X, Y$ are smooth algebraic varieties (I am specifically interested in the case when $f$ is a Zariski locally trivial fibration with ...
5
votes
1answer
368 views

The Weil numbers and modulus of an elliptic curve

I have an ignorant question about elliptic curves which I'll be slightly imprecise about. If I have an elliptic curve $X$ defined over $\mathbb Z$, I can base change to $\mathbb C$, and then ...
4
votes
0answers
146 views

How to compute the first etale cohomology of a constructible torsion-free sheaf?

I am interested in the following example! Let $k$ be a field, let $X_0$ be the scheme $\mathrm{Spec}R$ with $R_0=k[x,y]/(xy)$, let $R$ be the strict Hensilian localalisation of $R_0$ at the origin ...
4
votes
1answer
172 views

$l$-dependence of the group of homologically zero cycles

Consider the class map $$cl:CH^i(X)\to H^{2i}_{cont}(X,\mathbb{Z}_l(i))$$ where the RHS is the continuous etale cohomology(defined by Jannsen in his paper "Continuous etale cohomology"). In this paper ...
6
votes
1answer
270 views

Under what conditions is the induced map of etale fundamental groups surjective?

Let $f:X \to Y$ be a morphism of schemes. I am interested in sufficient conditions on $f$ which would ensure that the induced map $\pi_1^{et}(X) \to \pi_1^{et}(Y)$ of etale fundamental groups is ...
5
votes
0answers
108 views

Gysin exact sequence for a singular subvariety

Let $k$ be an algebraically closed field (I'm interested in a characteristic $p>0$ specific example) and let $X$ be a (smooth if needed) algebraic variety. Let $Y \subset X$ be a (possibly) ...
2
votes
0answers
124 views

Specialization theorem for cohomology groups

If $f:X\longrightarrow Y$ is a proper lisse morphism and $\mathcal{F}$ is a torsion sheaf on $X$ then one has: $$ (R^{i}f_{*}\mathcal{F})_{\overline{y}}\cong ...
4
votes
0answers
85 views

Weil structures and rational structures on $\overline{\mathbb{Q}}_{\ell}$-sheaves

In the literature concerning characteristic functions of varieties over a finite field, there is a notion called Weil structure defined in the following way: Definition Let $X$ be a finite type ...
6
votes
2answers
341 views

Algebraic proof without using comparison theorem for étale cohomology

Let $X$ be some smooth scheme over $\mathbf C$ equipped with an action of $\mu_n$ (the group of $n$th roots of unity). The étale cohomology groups of X are therefore equipped with an action of ...
8
votes
1answer
268 views

Motivic cohomology and pushforward maps

I have a question about pushforward maps for the motivic cohomology groups $H^p(X, \mathbf{Q}(q))$, for $X$ a smooth variety over a characteristic 0 field. According to Mazza--Voevodsky--Weibel ...
4
votes
1answer
201 views

How do non-trivial global differentials give non-trivial cohomology classes in positive characteristic

Let $k$ be an algebraically closed field and let $X$ be an $n$-dimensional smooth projective variety over $k$. If $k= \mathbb C$, there is a natural injective morphism of vector spaces ...
6
votes
0answers
245 views

A problem on universally locally acyclic

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ and $S$ be two smooth varieties over $k$ and $\mathcal F$ a constructible \'etale sheaf of $\mathbb F_\ell$-modules on $X$ ...
0
votes
0answers
102 views

Cycle with integral coefficients from cycle with $\mathbb Z_l$-coefficients

Let $X$ be a $n$-dimensional ($n>2$) smooth projective variety over $k=\bar k$ of positive characteristic. Take a divisor $D\in Pic(X).$ Suppose we know that $\frac{[D]^2}{2}\in H^4(X,\mathbb ...
2
votes
2answers
203 views

Birational morphism and first cohomology group

Let $f:X\rightarrow Y$ be a proper birational morphism of smooth projective varieties over $k=\bar k$ ($char(k)>0$). Is it true that $H^1(Y,\mathbb Z_l)\stackrel{f^*}\simeq H^1(X,\mathbb Z_l)$ ...
2
votes
1answer
176 views

Higher direct image of locally constant torsion sheaf (étale cohomology)

Let $\phi:X\rightarrow Y$ be a generically smooth projective surjective morphism of algebraic varieties over $k=\bar k.$ Is it possible for $R^1\phi_*(\mathbb Z/l)$ to be supported on a divisor of $Y$ ...
2
votes
0answers
107 views

Cycle map and flat cycle

Let $\mathcal X\rightarrow C$ be a smooth projective morphism over an open subset of $\mathbb A_k^1$ ($k$ algebraically closed of characteristic $p>0$, one can suppose $C$ to be the spectrum of a ...
1
vote
1answer
252 views

Etale cohomology and topological invariance

Let $X$ be a projective scheme and $X_0 \subset X$ a subscheme defined by a nilpotent ideal. Denote by $i:X_0 \to X$ the closed immersion. Let $\mathcal{F}$ be a locally free sheaf sheaf on ...
4
votes
1answer
277 views

Picard groups of Fano varieties in positive characteristic

Let $k$ be an algebraically closed field of characteristic $p \geq 0$. Let $X$ be a smooth Fano variety over $k$ and let $\ell \neq p$ be a prime. Is the natural morphism $\mathrm{Pic}(X) \otimes ...
3
votes
0answers
190 views

Is there a Hochschild-Serre spectral sequence for unramified cohomology?

Similar to the Hochschild-Serre spectral sequence for etale cohomology ($H^p(G, H^q_{et}(X_L, \mathcal F|_{X_L})) \Rightarrow H^{p+q}_{et}(X, \mathcal F)$ for a Galois field extension $L/k$ with ...
1
vote
0answers
61 views

Picard sequence for sujective morphisms

Given $\phi:X\rightarrow Y$ a surjective morphism of $k$-algebraic varieties ($k$ separably closed), I wanted to find how the write an exact sequence involving Pic(X) and Pic(Y). We can use the long ...
8
votes
1answer
395 views

Group schemes, adeles, double cosets, and étale cohomology

Let $K$ be a number field, $R$ the ring of integers of $K$, ${\mathbf{A}^f}$ the ring finite adeles of $K$, and ${\widehat{R}}\subset {\mathbf{A}^f}$ the ring of integral adeles. Let $G$ be an affine ...
2
votes
1answer
105 views

formally etale deformations of algebras

Let $A$ be a local artinian ring with residue field $k$, $S$ a $k$-algebra. Suppose there is a formally etale deformation $B$ of $S$ over $A$, i.e. a flat $A$-algebra $B$ such that $S\cong ...
0
votes
0answers
50 views

constructibility for pushforward

Let consider a quasicompact open $j:U\rightarrow\mathbb{A}^{\mathbb{N}}$ over a field $k$, Is there an example where $Rj_{*}\mathbb{Z}/n\mathbb{Z}$ is not constructible, where $n$ is prime to the ...
3
votes
2answers
253 views

étale cohomology via Cech cocycles for a quasi-projective scheme

I am looking for the explicit reference to the fact that for a quasi-projective scheme a class in the étale cohomology of a sheaf of a certain degree can by computed using Cech cocycles.
1
vote
1answer
94 views

Stalks of higher direct image under open embedding

Let $U$ be an open subset of $\mathbb P^1$ without two points (say $t=0$ and $t=\infty$) and $j: U\to \mathbb P^1$ be an open immersion. Ground field $k$ is algeraically closed. Let $G$ be the group ...
5
votes
0answers
258 views

Is it possible to assume that an étale neighborhood is connected?

I am new to étale topology (though I've seen Grothendieck's sites before). Let $S:=\mathcal{O}^\textrm{sh}_{X,x}$ be the strict local ring of a point $x$ of a scheme $X=\operatorname{Spec}R$ (over a ...
8
votes
1answer
298 views

When does the continuous Galois(=etale) cohomology of fields coincide with the naive one? Often true by the Bloch-Kato conjecture?

For a field $F$ I am interested in its $l$-adic (Galois=\'etale) cohomology; here $l$ is a prime distinct from the characteristic of $F$ (for simplicity one may assume that the latter is $0$). For ...
7
votes
1answer
473 views

Étale cohomology versus classical cohomology

Let $X$ be an algebraic variety over $\mathbb{C}$. If $X$ is smooth, the étale cohomology $H^p_{\textrm{ét}}(X,\mathbb{Z}/n)$ is isomorphic to the singular cohomology ...
19
votes
1answer
934 views

When is “independence of l” known?

My question is for which varieties over local fields is "independence of l" known for etale cohomology. Say $X/{\mathbb Q}_p$ is a complete non-singular variety and $W_l$ is the (complex) ...
0
votes
1answer
136 views

cohomology of an intermediate extension of a local system

Let $V$ be affine $n$-space over a field $k$; and $j \colon U \to V$ an open subscheme of $V$. Let $L$ be an $\ell$-adic local system on $U$. Suppose the cohomology of $H^{\bullet}(U,L)$ does not ...
4
votes
0answers
199 views

$H^2(S, f_* \mathbb{G}_m)$ in the fppf versus etale topology for proper $f$

Let $f\colon X \rightarrow S$ be a proper morphism of schemes. Is the cohomology group $H^2(S, f_* \mathbb{G}_m)$ the same regardless of whether it is computed in the etale or the fppf topology? And ...
5
votes
1answer
333 views

“Weight-monodromy” for open varieties

Suppose that $X/\mathbb{Q}_p$ is a smooth, projective variety, and choose a prime $\ell\neq p$. Then the weight-monodromy conjecture says that the graded pieces $\mathrm{Gr}_k^M$ of the monodromy ...
6
votes
1answer
425 views

Is the Weil–Deligne representations coming from $\ell$-adic cohomology independent of $\ell$?

Let $F$ be a $p$-adic field. Let $(G_{F}, W_{F}, I_{F})$ denote the (absolute Galois group, Weil group, inertia group) of $F$. Let $X/F$ be a proper smooth variety. Let $\ell$ be a prime number $\ne ...
12
votes
2answers
633 views

Are there known cases of the Mumford–Tate conjecture that do not use Abelian varieties?

(For a formulation of the Mumford–Tate conjecture, see below.) The question As far as I know, all non-trivial known cases of the Mumford–Tate conjecture more or less depend on the Mumford–Tate ...