**2**

votes

**0**answers

37 views

### Hodge conjecture for étale cohomology

It is known that Hodge conjecture is true for étale cohomology for field $k$ in characteristic zero. It means that the following pairing
$$(x,y)\mapsto (-1)^{i}\langle L^{r-2i}(x),y\rangle$$
is ...

**7**

votes

**4**answers

2k views

### Equivalent Statements of Riemann Hypothesis in the Weil Conjectures

In the cohomological incarnation, the Riemann hypothesis part of the Weil conjectures for a smooth proper scheme of finite type over a finite field with q elements says that: the eigenvalues of ...

**8**

votes

**1**answer

403 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 ...

**6**

votes

**1**answer

180 views

### Comparison between analytic etale cohomology and algebraic etale cohomology for affinoids

Let $\mathcal{A}$ be an affinoid algebra over a complete non-archimedean field $K$. We have two objects we can investigate, namely the algebro-geometric spectrum $X = \operatorname{spec} \mathcal{A}$ ...

**8**

votes

**0**answers

262 views

### What is an example of a non-mixed $\ell$-adic sheaf?

$\def\FF{\mathbb{F}}\def\cG{\mathcal{G}}\def\QQ{\mathbb{Q}}\def\CC{\mathbb{C}}$I've been attending a reading seminar at Michigan on Kiehl and Weissauer's book Weil conjectures, perverse sheaves and l’...

**1**

vote

**0**answers

59 views

### A non-surjective coboundary map induced by a central extension

Let $k$ be a number field and
$$ 1\to A \to B \to C \to 1$$ be a central extension of finite groups over $\mathcal{O}_k$ (the ring of integers of $k$), with $B$ non-commutative. Consider the induced ...

**6**

votes

**0**answers

101 views

### Gerbes on the multiplicative group

Let $k$ be an arbitrary field with absolute Galois group $\Gamma$. The group $\text{Hom}(\Gamma,\mathbb{Q}/\mathbb{Z})$ injects into $H^2(\mathbb{A}^1 \setminus \{ 0 \},\mathbb{G}_m)$, as one can see ...

**7**

votes

**2**answers

268 views

### Group cohomology of fundamental group of a curve

The question should be an elementary result in the theory of etale cohomology, but I failed to understand it because I am a complete beginner of the theory. So, I should apologise in advance for this ...

**6**

votes

**0**answers

112 views

### What is the etale cohomology of a product?

Let $X$ be a (smooth, projective if you wish) variety over a field $k$. I'm mostly interested in $k=\mathbb{F}_q$.
What can one say about the etale cohomology ring $H_{et}^*(X \times_k X)$, say for ...

**3**

votes

**0**answers

120 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, \mathbb{...

**7**

votes

**0**answers

1k views

### An example computation of etale cohomology

(edited for clarity)
In a comment on a response to this question, moonface states the following: "Even if you tried to compute H^2 [etale with Z/5Z-coefficients] of a surface fibered in genus 2 ...

**13**

votes

**1**answer

610 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 ...

**2**

votes

**1**answer

286 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$, ...

**8**

votes

**1**answer

274 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 $\mathrm{Spec}(k[X,Y])\...

**3**

votes

**1**answer

212 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 ...

**8**

votes

**1**answer

860 views

### Semisimplicity of Frobenius operation on etale cohomology?

Let $X_0$ be a variety defined over a finite field of characteristic $p \neq l$.
Is it true, that the action of the frobenius on the l-adic cohomology $H_l^*(X)$ is semisimple (say for smooth $X_0$)? ...

**23**

votes

**2**answers

856 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
$$H^i(X,...

**12**

votes

**1**answer

298 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$. ...

**1**

vote

**0**answers

79 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

**1**answer

209 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; (h,...

**18**

votes

**1**answer

491 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

**1**answer

96 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

**0**answers

153 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 ...

**1**

vote

**0**answers

122 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 ...

**6**

votes

**1**answer

559 views

### Is first etale cohomology of a variety always (dual to) a Tate Module?

The two examples I have in mind are curves and abelian varieties. To be precise, if $C$ is a smooth projective algebraic curve over a number field $K$, then, for a prime $l$
$H^1_{et}(C_{\bar{K}},\...

**3**

votes

**2**answers

553 views

### Hodge-Tate weights of etale cohomology

Let $K/\mathbb Q_p$ be a local field, $X/K$ a proper scheme with semi-stable reduction.
Question: What is the possible range of Hodge-Tate weights of the etale cohomology $H^i(X_{\overline K}, \...

**5**

votes

**1**answer

202 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 ...

**3**

votes

**1**answer

319 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, ...

**3**

votes

**1**answer

303 views

### Flat cohomology for finite infinitesimal group scheme over a perfect field

Let $G$ be a finite infinitesimal group scheme (e.g.$\mu_p,\alpha_p) $ over a perfect field $k$, how much is known about $H^1_{fppf}(k,G)$?

**5**

votes

**0**answers

261 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 ...

**4**

votes

**1**answer

176 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 ...

**2**

votes

**1**answer

140 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

**2**answers

196 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

**1**answer

375 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 $X(\...

**4**

votes

**0**answers

151 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 ...

**5**

votes

**0**answers

114 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

**0**answers

130 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 H_{c}^{i}(X_{\overline{y}},\mathcal{F}_{|...

**4**

votes

**0**answers

89 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 ...

**14**

votes

**2**answers

883 views

### Cohomological dimension-doubling

I'm sure this is a question which has been asked many times, if not necessarily on this site:
Why does a (smooth, projective) scheme over a field, with dimension d, behave as though it were a ...

**6**

votes

**0**answers

251 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$ (...

**6**

votes

**2**answers

348 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 $\mu_n$...

**4**

votes

**1**answer

203 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
$$H^0(X,\...

**8**

votes

**1**answer

292 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 "...

**0**

votes

**0**answers

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 Z_l(...

**8**

votes

**2**answers

1k views

### locally constant constructible sheaves and finite etale coverings

Maybe it is well known to experts or maybe it is just a stupid idea, but I will ask any way.
We know that if $X$ is a topological space, then there is an equivalence of categories between the ...

**2**

votes

**1**answer

197 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

**2**answers

209 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)$ ($l\...

**19**

votes

**1**answer

726 views

### Status of conjectures in Serre's 1969 expose on Galois representations on l-adic cohomology

In
[S]: Serre, Jean-Pierre. Facteurs locaux des fonctions zeta des varietes algebriques (definitions et conjectures), Seminaire Delange-Pisot-Poitou, 1969-70
Serre presents nine conjectures *C*$_1$...

**5**

votes

**1**answer

340 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 ...

**2**

votes

**0**answers

121 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 ...