The etale-cohomology tag has no usage guidance.

**4**

votes

**0**answers

126 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

**1**answer

125 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

**1**answer

184 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

**0**answers

90 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

108 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

**0**answers

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

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

**5**

votes

**0**answers

228 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

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

**4**

votes

**1**answer

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

**8**

votes

**1**answer

221 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

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

**8**

votes

**2**answers

909 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

146 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

192 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)$ ...

**19**

votes

**1**answer

695 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

320 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

97 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

**1**answer

241 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

**1**answer

239 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

**0**answers

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

**0**

votes

**0**answers

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

**3**

votes

**2**answers

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

**8**

votes

**1**answer

372 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

**1**answer

103 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

**0**answers

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

**1**

vote

**1**answer

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

**4**

votes

**0**answers

197 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

**1**answer

277 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

**1**answer

446 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

**1**answer

896 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) ...

**4**

votes

**0**answers

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

**0**

votes

**1**answer

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

**6**

votes

**1**answer

397 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

**2**answers

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

**1**

vote

**1**answer

300 views

### 'etale topology [duplicate]

Could you recommend me please some basic, self-contained books on 'etale topology. I read Yoshida's article "local class field theory via lubin-tate theory" and some people said that it is somehow ...

**2**

votes

**0**answers

111 views

### Hodge numbers of l-adic sheaves?

Assume first that $C$ is a curve, say over $\mathbb{Q}$ and $(E, \nabla)$ is a vector bundle with a flat connection. Assume further that $(E, \nabla)$ has regular singularities at $S=\overline{C}-C$. ...

**3**

votes

**0**answers

171 views

### Tate's conjecture and symmetry of Hodge-Tate weights

I'm reading Bellaiche's notes on the Block-Kato conjecture (Hawaii summer school). Here is the link http://people.brandeis.edu/~jbellaic/BKHawaii5.pdf
At page 10 he claims that an indirect ...

**5**

votes

**1**answer

247 views

### Analogy between connections and $\ell$-adic sheaves: what happens with the residue?

There are many analogies between $\ell$-adic sheaves on varieties over finite fields and vector bundles with connections on varieties over fields of characteristic zero. I would like to know what is ...

**0**

votes

**0**answers

141 views

### Descent datum for a line bundle

Let $\pi:C \to \mathbb P^1$ be a double cover branched at $r$ points. To understand the theory of descent better, I would like, if possible, to construct by hands the descent datum of a line bundle ...

**2**

votes

**0**answers

207 views

### l-adic cohomology and perverse sheaves

Let consider the map $tr:\mathbb{G}_{m}^{n}\rightarrow\mathbb{A}^{1}_{\mathbb{F}_{q}}$ given by the sum of the coordinates and let $\psi:\mathbb{F}_{q}\rightarrow\mathbb{Q}_{l}^{*}$ a non trivial ...

**2**

votes

**1**answer

136 views

### Compute higher direct image for Gm under open embedding

Let $U \subset \mathbb P^1$ be an open subset of projective line (over $\mathbb C$) after removing $r$ points and $j: U\hookrightarrow \mathbb P^1$ an open immersion. How do I compute $R^1j_*\mathbb ...

**6**

votes

**1**answer

350 views

### $\ell$-adic monodromy theorems (over $\mathbb{C}$)

This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].)
Notation
$H$ denotes étale cohomology.
Let ...

**7**

votes

**1**answer

411 views

### DG enhancements of $\ell$-adic derived categories

This question is similar in flavor to Existence of dg realization for 6 functors
Let $X$ be a complex variety and $D(X)$ the bounded derived category of constructible sheaves (the Euclidean topology ...

**7**

votes

**2**answers

387 views

### Twist in identification with singular cohomology

Let $X$ be a smooth projective variety over $\mathbb{Q}$ and $$V = H^m(X(\mathbb{C}), \mathbb{Q} \cdot (2\pi i)^r)$$ Then I've seen people write the comparison with complex cohomology (an isomorphism ...

**4**

votes

**1**answer

355 views

### Comparison of etale and singular cohomology for varieties over number fields

Whilst reading Hartshorne's appendix C I came across the comparison theorem for etale cohomology and singular cohomology:
Let $X$ be a smooth projective variety over a number field $K$ and $\ell$ a ...

**1**

vote

**0**answers

164 views

### Question about the specialization map for Etale Fundamental Groups

Let $A$ be a complete, discrete valuation ring, and let $s$ (resp $\eta$) be the special (resp. generic) point of $S=Spec(A)$. Let $\phi:X \rightarrow S$ be a proper morphism and fix geometric base ...

**4**

votes

**2**answers

234 views

### an explicit weak equivalence between $B{\mathbb G}_m$ and ${\mathbb P}^\infty$

OK, so I asked a similar question before; $B{\mathbb G}_m$ is a simplicial presheaf over number field $k$. I see that there is some $A^1$-homotopy equivalence between the sheaf represented by ...

**2**

votes

**0**answers

241 views

### vanishing of étale cohomology of affine surface

Let $U$ be an affine smooth surface over an algebraic closure of a finite field. Let $\mathscr{A}/U$ be an Abelian scheme and $\ell \neq \mathrm{char}(k)$ be prime.
Are there vanishing results for ...

**4**

votes

**1**answer

201 views

### Unravelling some hypotheses on a variety

In Le group de Brauer II, Grothendieck states
Proposition 1.4.- Soit $X$ a préschéma noetherien. Supposon que les anneaux hensélisés stricts des anneaux locaux de $X$ soient factoriels, [...] ...