The etale-cohomology tag has no wiki summary.

**4**

votes

**4**answers

600 views

### Hodge numbers of reduction mod $p$

Let $X$ be a projective variety defined over a number field $K$, and $p \in \textrm{Spec }\mathcal{O}_K$ a maximal ideal, so that reduction mod $p$ makes sense, and the resulting scheme (mod $p$) ...

**3**

votes

**2**answers

211 views

### $Pic(X)/l=0$ in terms of $H^*_{et}(X,\mu_{l^n})$?

I would like to calculate Picard groups of certain schemes over fields; I'm mostly interested in the question whether $Pic(X)$ is infinitely $l$-divisible, i.e. whether $Pic(X)/l=0$, $l$ is a prime ...

**5**

votes

**0**answers

352 views

### On the derived category of constructible étale sheaves

The derived category $D^{\flat}_{c}(X,R)$ of constructible sheaves of $R$-modules on $X_{et}$ is defined as the full subcategory of $D^b(X,R)$ whose cohomology sheaves are all constructible.
Clearly, ...

**4**

votes

**1**answer

242 views

### family of gerbes over smooth and proper algebraic varieties

Let $X$ be a smooth and proper variety over $\mathbb{C}$. Let $F$ be an $\mathbb{A}^1$ family of $\mathbb{G}_m$ gerbes over $X$. Suppose the fibers over every point away from 0 in $\mathbb{A}^1$ are ...

**1**

vote

**0**answers

64 views

### How can one compute the cohomology of $i'^*C$, for $i':\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\setminus \{0\} $?

For an (etale or 'topological', constructible bounded) complex of sheaves $C$ on $X'=\mathbb{A}^{N}\setminus \{0\} $, $i'$ being the embedding $\mathbb{A}^{N-1}\setminus \{0\}\to ...

**7**

votes

**2**answers

471 views

### Interpreting $f^*f_*$

For a morphism of schemes $f: X\rightarrow Y$, one often considers the function $f^*f_*$ on sheaves. For example, this appears in adjunction for sheaves of $\mathcal{O}_X$-modules, the projection ...

**8**

votes

**2**answers

353 views

### Can one ignore primes lying over $l$ in the Fontaine-Mazur conjecture? Counterexamples?

The Fontaine-Mazur conjecture predicts that an $l$-adic Galois representation of a number field is 'geometric' if it is unramified outside a finite set of primes and is De Rham for primes lying over ...

**3**

votes

**2**answers

533 views

### Weights for etale cohomology: why does Deligne's definition work?

For a field $K$ and a variety $X/K$ (whose characteristic could be $0$) I need a 'simple' explanation for the (Deligne's) method of defining weights of the $l$-adic etale cohomology of $\overline{X}$ ...

**0**

votes

**1**answer

159 views

### Sommese's theorem (generalized Weak Lefschetz) in arbitrary characteristic?

Sommese's theorem is a natural generalization of the Weak Lefschetz; for a smooth projective (connected) $X$, an ample vector bundle $E/X$ of rank $e$, and a section $s:X\to E$ it states that the ...

**14**

votes

**1**answer

804 views

### Any algebraic substitute for Morse theory (and homology) in arbitrary characteristic?

As far as I know, Morse theory yields much information on the topology of smooth manifolds; in particular, it can be used to prove Artin's vanishing (that the singular cohomology of smooth complex ...

**5**

votes

**1**answer

354 views

### The main idea in the proof of Artin's vanishing

Does anybody know an easy explanation of the proof of Artin's vanishing theorem (that the etale cohomology of an affine variety of dimension $n$ over an algebraically closed field vanishes in degrees ...

**14**

votes

**2**answers

560 views

### Motivic generalisation of Neron-Ogg-Shaferevich criterion

Given a variety $X$ over $\mathbb{Q}$ with good reduction at $p$, proper smooth base change tells us that its $l$-adic cohomology groups are unramified at $p$ (and I'd guess some $p$-adic Hodge theory ...

**2**

votes

**1**answer

206 views

### Is There a Mayer-Vietoris Spectral Sequence of Motivic Cohomology for Closed Coverings?

For etale cohomology, there is a spectral sequence of the following form ("Mayer-Vietories spectral sequence for closed covers"):
$E_{1}^{p,q}=\oplus_{i_{0}< \cdots < i_{p}} H_{ Y_{i_{0} \cdots ...

**5**

votes

**1**answer

348 views

### motivic t-structure and realisations

Let $k$ be a field and $DM_k$ denote the triangulated category of geometric motives with $
\mathbb{Q}$ coeffients over $k$. Recall that there exists a motive functor $M: Var_k\rightarrow DM_k$, which ...

**0**

votes

**1**answer

336 views

### Lefschetz fixed point formula: an 'easy' proof; cohomology with compact support

I have two questions concerning the LFPF (for etale cohomology).
Is there an easy 'explanation' of this statements (that could be understood by students)? In particular, I would like to get away ...

**4**

votes

**1**answer

344 views

### Is there a “universal” cohomology theory for varieties over p-adic fields?

Let $K$ be a $p$-adic field, $X$ a smooth proper algebraic variety over $K$, and $0 \le i \le 2 \dim X$. For a prime $\ell \ne p$ one can consider the $\ell$-adic cohomology $H^i(\overline{X}, ...

**6**

votes

**1**answer

266 views

### What is the importance of the conjectural semi-simplicity of the action of the Frobenius on the etale cohomology of a variety over a finite field ?

It is conjectured that the action of the Frobenius acting on the etale cohomology of an algebraic variety over a finite field is semisimple.
A first approximation of my question is :
What is the ...

**16**

votes

**1**answer

910 views

### Example of non-projective variety with non-semisimple Frobenius action on etale cohomology?

This question was motivated by a more general question raised by Jan Weidner here. In general one starts with a variety $X$ (say smooth) over an algebraic closure of a finite field $\mathbb{F}_q$ of ...

**5**

votes

**1**answer

438 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$)? ...

**7**

votes

**1**answer

340 views

### Is the $\ell$-adic cohomology of a non-proper variety unramified at good primes?

Let $X$ be a smooth variety of finite type over a number field $k$. Let $\overline{X} = X \times_{k} \overline{k}$, and let $\ell$ be a prime. It's well known that if $X$ is proper, then the ...

**2**

votes

**0**answers

132 views

### Does mapping cylinder category have enough injectives?

Let $A, B$ be two abelian categories, and $\tau : A \to B$ a left exact functor.
We define a category $C$ as follows:
objects: triples $(M, N, \varphi)$ where $M\in A, N\in B$ and $\varphi: N\to ...

**1**

vote

**1**answer

209 views

### Are these connecting homomorphisms commutative?

Are the connecting homomorphism induced by Kummer sequence and that of localization sequence commutative?
In other words, is the following statement true?
If it is true, then, how can one prove it?
...

**1**

vote

**0**answers

191 views

### why is the local field Q_l not an etale sheaf over a scheme X?

I would like to know the reason why the local field Q_l is not an etale sheaf over a scheme X while its ring of integers Z_l can be regarded as a constant etale sheaf?

**4**

votes

**1**answer

360 views

### Lemmas on etale cohomology with compact support from the book 'Arithmetic Duality Theorems'

I was reading Milne's book "Arithmetic Duality Theorems". On page 166 there are a lot of useful lemmas on the etale cohomology with compact support on S-integers. However, I get confused when I tried ...

**3**

votes

**2**answers

360 views

### Quotients of Tate modules

Let $p$ be a prime number, let $K$ denote a finite extension $\mathbb{Q}_{p}$ and let
$\overline{K}$ be an algebraic closure of $K$. Let $A$ be an ellitpic curve over
$K$ and denote by $T_{p}A$ its ...

**6**

votes

**0**answers

267 views

### Formality of algebraic varieties via l-adic cohomology?

The cohomology with say real coefficients of any smooth projective algebraic variety is formal, by
Deligne, Griffiths, Morgan, Sullivan: Real homotopy theory of Kähler manifolds, Inv. Math. 29, ...

**4**

votes

**1**answer

452 views

### etale homotopy and Adams conjecture

I was reading Quillen's paper on "Some remarks on etale homotopy theory and a conjecture of Adams". Up to some fact about etale version of spherical fibrations which was later proved by Friedlander, ...

**1**

vote

**1**answer

534 views

### Long exact sequence of cohomology and fibration

In an article I'm reading, the author is stating :
$O$ is isomorphic to the complement of a zero section of a line bundle over $X$. We have a long exact sequence of (étale) cohomology associated ...

**4**

votes

**0**answers

327 views

### classify \mu_n torsors

Recently I read in Milne's book "etale cohomology" that the set $H^1(X,\mu_n)$ ($X$ a scheme, $n$ a nature number, the cohomology is flat cohomology) can be described as the set of pairs $(L,\phi)$, ...

**4**

votes

**1**answer

302 views

### is generically split Azumaya algebra locally split?

Let $A$ be an Azumaya algebra over a scheme $X$ (or maybe more specifically a scheme of finite type over a field). Suppose that the restriction of $A$ to $U=X\setminus Z$ (where $Z$ is a closed set) ...

**1**

vote

**2**answers

203 views

### Detecting zero morphisms via an open subscheme and its complement.

In the setting described in Bernstein, Beilinson, and Deligne, associated to a scheme $X$, a closed subscheme $i: Z \to X$ and its open complement $j: U \to X$ we have six functors between the ...

**2**

votes

**1**answer

327 views

### Poincare pairing and polarization of Hodge structure. Kuga-Satake construction.

If $X$ is a K3 surface over the complex (algebraic) then I wonder if the poincare pairing induces a polarization on the Hodge structure $H^2(X,\mathbb Z)$? The point is that I see that when ...

**2**

votes

**1**answer

443 views

### A Kunneth formula for the etale cohomology of the product of ('simple') varieties over not (necessarily) algebraically closed field

If $X$ and $Y$ are varieties over an algebraically closed field, then in the corresponding derived category of complexes we have $RH_{et}(X\times Y,\mathbb{Z}/l^n\mathbb{Z})\cong ...

**1**

vote

**1**answer

164 views

### How can one bound 'the lower perverse degree' for a constant sheaf on a variety that is smooth in high codimension?

Let $V$ be a variety (or a Whitney stratified space); $C$ is a constant etale ('topological') sheaf on it. Let $t$ denote the middle perverse t-structure for the corresponding derived category (of ...

**3**

votes

**1**answer

530 views

### The Gysin long exact sequence for the complement of the zero section of a line bundle over a (possibly) singular base

Let $pr:X\to Z$ be a line bundle of (possibly) singular varieties (that could be reducible) over a characteristic $p$ field ($p$ could be zero); $U$ is the complement to the zero section $Z\to X$. ...

**1**

vote

**0**answers

200 views

### What can one say about a smooth variety whose lower cohomology is trivial?

Let $X$ be a smooth (quasi-affine) complex variety; suppose that its cohomology (say, with integral coefficients) is trivial in degrees $0 < i\le s$ (for some $s>0$). What can one say about such ...

**6**

votes

**1**answer

597 views

### Is there an integral version of Faltings' isomorphism in p-adic Hodge theory between etale and Hodge cohomologies

Let $K$ be a $p$-adic field, that is a complete discrete valuation ring of characteristic $0$ with a perfect residue field $k$ of characteristic $p > 0$ (to simplify one could also take $K$ to be a ...

**13**

votes

**0**answers

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

**5**

votes

**1**answer

338 views

### How to compute the étale cohomology of the quotient of a surface by a finite group of automorphisms ?

Let $S$ be a smooth surface defined over a finite field $K$ of char. $p$. Let $G$ be a finite group of automorphisms of $S$. Let $Z\to S/G$ be the minimal resolution of the quotient of $S$ by $G$. ...

**3**

votes

**2**answers

407 views

### Can we decide if an abelian variety is simple by knowing its Zeta function ?

Let $A$ be an Abelian variety defined over the finite field with $q$ elements. Let $P_i(T)$ be the characteristic polynomial of the action of the Frobenius on the $i^{th}$ étale cohomology group.
Is ...

**4**

votes

**1**answer

268 views

### Reference wanted - etale sheaves on $X$ versus on $\overline{X}$

Hello,
Let $X$ be a scheme of finite type over a field $k$. Let $l$ be an Galois extension of $k$ with Galois group $\Gamma$, and $\overline{X}$ be the base change of $X$ from $k$ to $l$. Then If I ...

**5**

votes

**0**answers

311 views

### Do 'change of coefficients' functors for sheaves commute with the four functors (formalism)?

For a morphism $f$ of varieties over a field of characteristic $\neq l$ I can consider the functors $Rf_*$, $f^\ast$, $f_!$, and $f^!$ both for the corresponding derived categories of 'all' ...

**1**

vote

**1**answer

336 views

### vanishing of cohomology sheaves with supports and values in the multiplicative group

Let $X$ be a locally noetherian regular scheme and $Y$ be a closed subscheme of codimension $d > 0$ in every point. Why does it "immédiatement" (Grothendieck, Groupe de Brauer III, §6, p. 133 f.) ...

**3**

votes

**0**answers

182 views

### limit of étale cohomology with supports

I would like to know if the following generalisation of Milne Étale Cohomology, Lemma III.1.16, p. 88 holds: (all cohomology groups with respect to the étale topology)
Let $Y \hookrightarrow X$ ...

**1**

vote

**1**answer

235 views

### The cohomology of a $G_m$-bundle

Let $X$ be a smooth variety over an algebraically closed field (whose characteristic could be positive), $Y\to X$ is a $G_m$-bundle ($G_m=\mathbb{A}\setminus \{0\}$). Then I want to have a long exact ...

**5**

votes

**0**answers

261 views

### Do there exist weak Lefschetz-type statements that were proved for varieties over complex numbers, but were not proved in finite characteristic?

As far as I understood the situation (reading section 3.5B of Lazarsfeld's "Positivity in algebraic geometry" and also some of the references), some of weak Lefschetz-type statements known rely on ...

**1**

vote

**1**answer

175 views

### combination of two duality theorems

For a variety $X$ over a finite field $k$, one combines étale Poincaré duality for $X \times_k \bar{k}$ with duality for $k$ ($H^0(k,M) \times H^1(k,M^\vee) \to H^1(k,\mathbf{Z}/n) = \mathbf{Z}/n$) to ...

**6**

votes

**1**answer

612 views

### $\ell$-adic Weil cohomology theory

I have a reference or counterexample request. Suppose $k$ is a field and $\ell\neq char(k)$. There are several common references that show that $H^i_{et}(-, \mathbb{Q}_\ell )$ is a Weil cohomology ...

**2**

votes

**1**answer

265 views

### Equivalent forms of the proper base change isomorphism

$\DeclareMathOperator{\Nat}{Nat}$In a current project, I am trying to "commute" $!$ and $*$ functors that are both upper or both lower. (Sheaf-theoretic context: constructible étale sheaves.) ...

**14**

votes

**2**answers

850 views

### Etale cohomology with coefficients in the integers

Here is a basic question. When does $H^1_{et}(X,\mathbb{Z})$ vanish? Using the exact sequence of constant etale sheaves ...