The etale-cohomology tag has no usage guidance.

**1**

vote

**0**answers

143 views

### When inverse image is conservative; a reference or a generalization?

I am interested in the following question: for $f$ being a morphism of schemes, which conditions ensure that $Rf^*_{et}$ is conservative? This is true if $f$ has a section or if $f$ is an \'etale ...

**5**

votes

**0**answers

547 views

### Do all the main properties of constructible and perverse sheaves (in an 'arithmetic' situation) follow from results of Gabber?

This question is a continuation of Bad behaviour of perverse sheaves over 'general' bases?
Let $S$ (for example) be a finite type separated scheme over $\mathbb{Z}$. I would like: (1) to ...

**3**

votes

**1**answer

479 views

### Stalks of etale sheaves

Let $\pi:X \rightarrow Y$ be a finite morphism of schemes and $\mathfrak{F}$ be an etale sheaf on $X$. Then for a $y \in Y$ we have the stalk ...

**10**

votes

**1**answer

673 views

### Bad behaviour of perverse sheaves over 'general' bases?

Could one define $\mathbb{Q}_l$-perverse etale sheaves over more or less general (excellent, separated) base scheme by combining the results of Gabber and Ekedahl? Would their functoriality properties ...

**8**

votes

**2**answers

435 views

### Concrete interpretations of higher (sheaf) cohomology groups

$H^1$ has an interpretation as torsors. But what about the higher $H^i$ (in the setting of algebraic geometry, and étale or flat cohomology)? For example $H^2(X, \mathbf{G}_m)$ is (often) isomorphic ...

**4**

votes

**2**answers

467 views

### If one wants to work with $Q_l$-adic sheaves, should the scheme be of finite type over a 1-dimensional one?

In section 6 of his 'Adic Formalism' T. Ekedahl states that $l$-adic sheaves 'behave nicely' for finite type separated schemes over $S$ that is regular of dimension $\le 1$. Is the dimension ...

**1**

vote

**2**answers

302 views

### Could the Kunneth decomposition of a motif depend on the choice of $l$?

Suppose that over some (algebraically closed) field $K$ of characteristic $p>0$ we have: numerical equivalence of cycles coincides with homological one with respect to ${\mathbb{Q}}_{l}$ and ...

**7**

votes

**1**answer

913 views

### If the numerical equivalence of cycles coincides with the homological one, does the Hodge standard conjecture follow?

Suppose that over an algebraically closed field $K$ of finite characteristic the numerical equivalence of cycles relation (for algebraic cycles of smooth projective varieties) coincides with the ...

**3**

votes

**1**answer

252 views

### Do $Q_l$-etale Euler characteristics of Chow motives coincide for all $l$?

I am interested in (Chow) motives over (algebraically closed) characteristic $p>0$ fields. For $H$ being $\mathbb{Q}_l$-adic cohomology, one can consider $Ch_l(M)=\sum (-1)^i\dim_{\mathbb{Q}_l} ...

**11**

votes

**2**answers

1k views

### Locally constant sheaves for the étale topology, lack of intuition about “étale-localness”

I have started studying some étale cohomology and I am trying to build up some intuition about the concept of local for the étale topology. I can understand some nice examples (like Kummer exact ...

**4**

votes

**1**answer

508 views

### Questions on standard (motivic) conjectures

Over an (algebraically closed) characteristic $p$ field, is it known that the cohomological equivalence of cycles relation (with respect to $\mathbb{Q}_l$-adic \'etale cohomology) does not depend on ...

**6**

votes

**0**answers

276 views

### Does one need l to be invertible in S in order to consider the l-adic cohomology of S-schemes and motives?

When Ivorra defines the $l$-adic realization of $S$-motives (i.e. of Voevodsky's motives over a scheme $S$) he demands $l$ to be invertible in $S$. Is this condition really necessary? What happens ...

**13**

votes

**1**answer

750 views

### Motivic cohomology with finite coefficients for singular varieties

Let $X$ be a smooth variety over a field $K$ whose characteristic does not divide a positive integer $m$. Then the motivic cohomology of $X$ with coefficients in $\mathbb Z/m(j)$ can be computed in ...

**12**

votes

**2**answers

2k views

### comparison of de Rham cohomology and etale cohomology

I have a basic question concerning comparison of different cohomology theories. Let $X$ be a projective smooth (or just proper smooth) variety over a separably closed field $k$ of characteristic $p,$ ...

**15**

votes

**1**answer

1k views

### Universal homeomorphisms and the étale topology

Let $f:X\to S$ be a universal homeomorphism of schemes. Assume $X(S')\neq\emptyset$ for some étale surjective $S'\to S$. Does $f$ have a section?
The answer is yes if $S$ is reduced, by descent. ...

**19**

votes

**0**answers

988 views

### Is there a Grothendieck-Riemann-Roch type of theorem generalizing Grothendieck's Lefschetz trace formula

Grothendieck deduced that the L-function of a (constructible) $\ell$-adic sheaf on a variety over $\mathbf{F}_p$ is rational from the generalized trace formula.
My first question is based on the ...

**16**

votes

**0**answers

651 views

### Can one compare integral structures on de Rham and crystalline cohomology?

Suppose $\mathfrak{X}$ is a smooth projective scheme of finite type over $\mathbb{Z}_p$, with generic fibre $X$. Then there are comparison theorems relating de Rham and crystalline cohomology,
...

**4**

votes

**1**answer

487 views

### A silly question: is the number of points on a Jacobian (of a curve, over a finite field) known?

In a cryptography book I read that people does not known how to compute the number of points on a Jacobian of a hyperelliptic curve $C$ over a finite field $F_q$? Is this true? It seems easy to ...

**2**

votes

**0**answers

132 views

### On 'graded polarizable' triangulated categories; are there any mixed Galois module analogues known? Also on mixed realizations

There is a construction by Beilinson (in section 3 of "Notes on absolute Hodge cohomology") of the derived category of graded polarizable mixed Hodge complexes; he also proved that this category is ...

**1**

vote

**0**answers

350 views

### Another stupid question on l-adic sheaves: does a generically zero constructible sheaf vanish on an open subvariety?

Suppose that the stalk of a constructible l-adic ($\mathbb{Z}_l$-adic or $\mathbb{Q}_l$-adic) etale sheaf $S$ over a generic (Zariski) point of a variety $V$ is zero. Does this imply that $S$ vanishes ...

**1**

vote

**1**answer

779 views

### Zariski sheaves lifted to etale topology

Let $X$ be a "reasonable" scheme (I am particularly interested in smooth algebraic varieties over a field). Let $Zar_X$ denote the (small) Zariski site of (open subschemes of) $X$ and $Et_X$ denote ...

**5**

votes

**0**answers

198 views

### Which pure categories related with Weil cohomology theories are semi-simple?

As far as I understand, the category of pure polarizable Hodge modules is semi-simple, whereas the cohomology of the corresponding schemes is graded polarizable. Is it true that one doesn't have any ...

**3**

votes

**0**answers

827 views

### Etale cohomology of regular local rings

Let $R$ be a regular local ring (I am particularly interested in the case when $R$ is the local ring of a point on a smooth scheme of finite type over a field). Let $G$ be the etale fundamental group ...

**3**

votes

**1**answer

555 views

### Behaviour of euler characteristics in characteristic p for finite etale covers

Let $k$ be an algebraic closure of a finite field of characteristic $p$. Fix an integer $l\neq p$. For a separated $k$-scheme $X$ of finite type, we define the (compactly supported) Euler ...

**2**

votes

**0**answers

354 views

### cohomological dimension of the push-forward functor

Let $\ell$ be a prime number and let $f:X \to Y$ be a morphism of schemes of finite type over the complex numbers (or a regular scheme of dimension at most 1, in which $\ell$ is invertible). How to ...

**5**

votes

**1**answer

522 views

### Characteristic Complexes in Iwasawa theory

For all that follows, $p$ is a fixed odd prime. In the formulation of the Noncommutative Main Conjecture of Iwasawa theory one uses étale cohomology to define an algebraic object analogous to Iwasawas ...

**18**

votes

**2**answers

2k views

### Comparing cohomology over ${\mathbb C}$ and over ${\mathbb F}_q$

I have the following (probably well-known) question: let $X$ be a regular scheme over
$\mathbb Z$. Let $p$ be a prime and Let us denote the reduction of $X$ mod $p$ by $X_p$.
Let also $X_{\mathbb ...

**21**

votes

**2**answers

1k views

### When do two elliptic curves have equivalent small etale toposes?

Let $X$ and $Y$ be elliptic curves over an algebraically closed field $K$. If the characteristic of $K$ is nonzero, assume both curves are ordinary or both are supersingular. Does it follow that $X$ ...

**3**

votes

**0**answers

979 views

### When is the base change morphism an isomorphism?

This is a rewrite of a previous question, which was in turn a follow up question to Leray-Hirsch principle for étale cohomology The motivation is to clarify some points in Torsten Ekedahl's ...

**5**

votes

**1**answer

424 views

### Exact sequence in étale cohomology related with proper birational morphism

Let f:X→Y be proper birational morphism between two quasi-projective varieties over an algebraically closed field $k$. I am particularly interested in the case where the characteristic of $k$ is ...

**4**

votes

**0**answers

348 views

### Étale cohomology of linear groups

This is in a sense a follow up question to the answer here Analytic tools in algebraic geometry
Let $k$ be an algebraically closed field of positive characteristic and let $R$ be the result of ...

**4**

votes

**2**answers

512 views

### Relationship between topological cohomology and $\ell$-adic cohomology

Let $\Delta \subset \mathbb{R}^n$ be an $n$-dimensional integral polytope, let $f$ be a Laurent polynomial in $n$-variables with coefficients in an extension of the integers and Newton polytope ...

**8**

votes

**1**answer

3k views

### A nice explanation of what is a smooth (l-adic) sheaf?

I would like to understand this concept. It seems to be important (for the theory of perverse sheaves), yet I don't know any nice exposition of the properties of smooth sheaves.

**0**

votes

**2**answers

592 views

### Poincaré duality for smooth projective varieties over finite fields

What is exacly the statement of Poincaré duality for smooth projective varieties over finite fields and twisted constant $\mathbf{Z}_\ell$ sheaves? Where can I find a proof?
By twisted constant ...

**13**

votes

**2**answers

835 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

**3**answers

901 views

### What's an example of an intersection cohomology sheaf whose stalks are pure but not pointwise pure?

I'll freely admit that I have a rather hard time keeping straight different notions of purity of etale sheaves, and I think part of the problem is the lack of counterexamples.
For example, it's a ...

**10**

votes

**1**answer

1k views

### Leray-Hirsch principle for étale cohomology

Let $p:E\to B$ be a continuous map of topological spaces and set $F_x=p^{-1}(x)$ for an $x\in B$. Take a commutative ring $A$ and assume for simplicity that each $H^\*(F_x,A)$ is a free $A$-module. ...

**14**

votes

**1**answer

2k views

### Are all Galois cohomology groups also étale cohomology groups?

Let $K$ be a field and $K^s$ a separable closure of $K$, and let $\mathcal{F}$ be a sheaf on $\mathrm{Spec}(K)$ (in the étale topology).
By Grothendieck's Galois Theory, we have the isomorphism
...

**2**

votes

**1**answer

381 views

### Reference for comparison of complex and étale cohomology

Hello everybody!
I am looking for a nice DETAIL account of the comparison of étale cohomology and complex cohomology, an alternative reference instead of SGA. Especially on this stuff of "Artin ...

**12**

votes

**1**answer

872 views

### Analogue of Shimura curves in the symplectic case?

My understanding is this: one can attach 2-d Galois representations to classical modular eigenforms because one can look in the etale cohomology of modular curves. For Hilbert modular forms the naive ...

**8**

votes

**0**answers

748 views

### Is there a deep relationship between models and étale cohomology ? If so, why, and is it made precise somewhere ?

Let me recall two theorems :
Let $K$ be a field, $\overline{K}$ be
a separable closure of $K$ with
absolute Galois group
$G_K:=Gal(\overline{K}/K)$, and let
$\ell$ be a prime that is ...

**4**

votes

**1**answer

674 views

### 2d Weil conjecture

Does there exist a two variable analogue of the Weil conjecture?
What I mean is that the usual Weil involves a one-variable zeta-function which you get by using numbers $V_n = V ( GF(p^n))$ of points ...

**15**

votes

**1**answer

488 views

### Does every hyperbolic curve over a finite field have an etale cover with a real Frobenius eigenvalue?

More precisely: let X/F_q be a smooth projective algebraic curve of genus at least 2. Does there always exist a curve Y/F_{q^d} with a finite etale projection Y -> X, such that one of the Frobenius ...

**15**

votes

**6**answers

1k views

### weight 4 eigenforms with rational coefficients---is it reasonable to expect they all come from Calabi-Yaus?

A weight 2 modular form which happens to be a normalised cuspidal eigenform with rational coefficients has a natural geometric avatar---namely an elliptic curve over the rationals. It seems to be a ...

**14**

votes

**1**answer

1k views

### Why does the naive definition of compactly supported étale cohomology give the wrong answer?

Illusie's article about étale cohomology available here (in French) mentions that the standard definition of compactly supported cohomology (and higher direct images with compact support) does not ...

**18**

votes

**1**answer

1k views

### Cohomology of sheaves in different Grothendieck topologies

Suppose I have a sheaf $\mathcal{F}$ on the (small) étale site over $X$. By restriction, $\mathcal{F}$ is also a sheaf on $X$ (with the Zariski topology). When is it that the sheaf cohomologies (i.e. ...

**21**

votes

**2**answers

4k views

### Intuition behind the Eichler-Shimura relation?

The modular curve $X_0(N)$ has good reduction at all primes $p$ not dividing $N$. At such a prime, the Eichler-Shimura relation expresses the Hecke operator $T_p$ (as an element of the ring of ...

**7**

votes

**0**answers

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

**3**

votes

**1**answer

1k views

### etale fundamental group and etale cohomology of curves

Given a curve $C$. Is there any relation between the etale fundamental group $\pi_1(C)$ and the first etale cohomology of the constant sheaf , say $Z/nZ$, on $C$ ?
For example, if $C$ is a complex ...

**6**

votes

**2**answers

1k views

### Applications of étale cohomology

It is well-known that étale cohomology is used in the proof of Weil conjectures and that SGA 4.5 is devoted to it. Also it seems(from a brief perusal of Milne's notes) that it is a kind of Galois ...