# Questions tagged [etale-cohomology]

for questions about etale cohomology of schemes, including foundational material and applications.

624
questions

1
vote

0
answers

29
views

### Does the Gross-Hopkins period map have a natural interpretation coming from derived algebraic geometry?

The Gross-Hopkins period map is a map on the $W(k)$-points of $LT_n \to P^{n-1}$, where $k = F_{p^n}$. It sends a lift $G$ of the Honda formal group to the 1-$d$ subspace $\omega_G$ of the Dieudonn'e ...

3
votes

0
answers

116
views

### Deligne's integrality theorem in the setting of $ \mathbb{F}_{\ell}((t)) $-adic cohomology

Let $ \mathbb{F}_{q} $ be a finite field of characteristic $ p $ and $ \overline{\mathbb{F}_{q}} $ be an algebraic closure of $ \mathbb{F}_{q} $. Let $ X $ be a smooth projective variety over $ \...

1
vote

1
answer

96
views

### Every rank 1 local system $L$ satisfying $m^*L=L\boxtimes L$ comes from the Lang torsor? The same holds for D-modules?

Let $G$ be a commutative connected algebraic group over a field $k$, with group operation $m:G\times G\to G$. If $k=\mathbb{F}_q$, we may use a character $\varphi:G(k)\to\overline{\mathbb{Q}}_\ell^\...

1
vote

1
answer

238
views

### Computation of cohomology of Eilenberg-Maclane spaces

$\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Ext{Ext}\DeclareMathOperator\Spf{Spf}$Background:
If $E$ is a complex-oriented spectrum, then $E^*(K(\mathbb{Z}/p^k,1))$ sits inside a long exact ...

2
votes

0
answers

120
views

### When is map of $E_{\infty}$-ring spectra etale iff certain condition is fullfilled

When is it true that a map of $E_{\infty}$-ring spectra $R \to S$ is etale (in Lurie's sense) if and only if, $\operatorname{TAQ}^R(S) = 0$ and $ \pi_*(R)\otimes_{\pi_0(R)} \pi_0(S) = \pi_*(S)$?

2
votes

1
answer

210
views

### Groupoid of points, shape and stratified shape of $\operatorname{Sh} (X_\text{pro-ét})$

$\DeclareMathOperator\Sh{Sh}\DeclareMathOperator\Pt{Pt}$Maybe this is well-known or even a stupid misunderstanding of something very basic. It's well-known that the groupoid of points (i.e., groupoid ...

0
votes

0
answers

132
views

### Question regarding étale sheaf under finite étale surjective morphism

Let $X$ and $Y$ be smooth projective varieties over $\mathbb{C}$, and suppose we have a surjective finite étale morphism $f:X\rightarrow Y$ (actually $Y=X/G$ for a free action of a finite group $G$), ...

5
votes

1
answer

328
views

### Does p-adic etale cohomology know the variety has ordinary reduction or not?

For a smooth proper variety $X$ over discrete valuation ring $\mathcal{O}$ of mixed characteristic $(0,p)$, let $X_K$ be the generic fibre over a generic point $\textbf{Spec} K$ and let $X_k$ be the ...

4
votes

2
answers

455
views

### Dimension is an invariant in the Grothendieck ring of algebraic varieties

$\DeclareMathOperator\Var{Var}$Let $k$ be any field and let $K_0(\Var_k)$ be the Grothendieck ring of $k$-algebraic varieties (i.e. algebraic varieties up to cut-and-paste relations). Given an ...

3
votes

1
answer

213
views

### Sheafifcation for the étale site

Let $X$ be a scheme and $\mathcal{F}$ a presheaf on $X_{ét}$.
For each $x_{i}\in X$, pick a geometric point $\bar{x}_{i}$ over $x$ and denote by $i_{\bar{x}_{i}}:\text{Spec}(k_{i})_{\text{ét}}\...

6
votes

1
answer

281
views

### Degree-2 étale covers of curves in characteristic 2 vs torsion points on the Jacobian

It can be found, at Hartshorne exercise 4.2.7 for example, that in the case where $\operatorname{char}(k) \neq 2$ we have a nice correspondence between etale degree 2 covers of a curve $C$ and 2-...

2
votes

0
answers

144
views

### Stratified sites/topoi and constructible sheaves

Is it possible to define (possibly derived) categories of constructible sheaves over sites more general than those of open subsets of topological spaces while still retaining essential features, like ...

2
votes

1
answer

384
views

### Galois invariants and tensor products

Consider a number field $K$ and a finite Galois field extension $L/K$. Let $E$ be an elliptic curve over $K$ and consider the abelian group
$$E(L)\otimes L^{\times}.$$
Every element $g$ in $\text{Gal}(...

1
vote

0
answers

120
views

### On closed subsets in spaces of adèlic points

Consider as in Adèlic points and algebraic closure $\mathcal{X}$ a projective and flat scheme over $\text{Spec}(\mathcal{O}_K)$, with $\mathcal{O}_K$ the ring of integers of a number field $K$.
...

6
votes

1
answer

326
views

### Adèlic points and algebraic closure

Consider $\mathcal{X}$ a projective and flat scheme over $\text{Spec}(\mathcal{O}_K)$, with $\mathcal{O}_K$ the ring of integers of a number field $K$.
Let $F/K$ vary over all finite Galois number ...

4
votes

1
answer

276
views

### Tate-Shafarevich groups under finite Galois field extensions

Suppose $L/F$ is a finite Galois extension of number fields. Let $E$ be an elliptic curve over $F$ and $E_L$ its base change to $L$.
Do we have that $\text{Sha}(E/F)$ is finite if and only if $\text{...

1
vote

0
answers

65
views

### Pullback to the closed point of Z_l(1) on a henselian local ring

Let $X=\mathrm{Spec}(A)$ be the spectrum of a henselian local ring and denote $\mathbb{Z}_l(1)$ the $l$-adic Tate twist on $X$, where $l$ is prime to the residual characteristic (let's say I work on ...

2
votes

0
answers

120
views

### About the inverse function theorem in the étale topology

It's clear that the étale topology is closed related to some form of inverse function theorem. Let me give some reasons. (Also, see the comments here.)
(1) A morphism $f:X\to S$ between smooth ...

8
votes

1
answer

494
views

### Etale fundamental group of the circle

What is the étale fundamental group of the circle $X({\bf R})$, where
$$
X(k) = \{(x,y) \in k^2 \mid x^2+y^2 = 1\}?
$$
I know that there is a sequence
$$
1 \rightarrow \pi_1^{et}(X({\bf C})) \...

2
votes

0
answers

186
views

### $G$-torsor over $\mathbb{A}^1_S$ where characteristic of $S$ does not divide $|G|$

I am reading the paper $\mathbb{A}^1$-homotopy theory of schemes by Morel and Voevodsky from 1999. There is a proposition saying that
Let $G$ be a finite étale group scheme over $S$ of order prime to ...

6
votes

0
answers

258
views

### Étale cohomology of the field with one element

In the function field - number field analogy, some expect progress on RH to come from reproducing various aspects of the Grothendieck program in a way where $\mathbb{Z}$ could be treated as a function ...

2
votes

0
answers

130
views

### Nearby cycle is tamely ramified?

Let $S$ be a henselization of a closed point $s$ in a smooth algebraic curve $C$ over some finite field $\mathbb{F}_q$. Then we can consider nearby cycles over $S$. Let $s$ be the closed point of $S$ ...

3
votes

0
answers

118
views

### Smooth proper varieties over the integers that are not toric

Does there exist a smooth proper variety $X$ over $\operatorname{Spec} \mathbb Z$ that is not toric?
By Fontaine, we know that there is no Abelian scheme over $\operatorname{Spec} \mathbb Z$. Also by ...

2
votes

1
answer

132
views

### Should the identity labelled by red line be $\overline{f(Z)}=X$?

The above picture is from Milne's Etale Cohomology.
Suppose $A=\Bbb Z, \mathfrak q=(2T+3)$, consider $Z=\operatorname{Spec} \Bbb Z[T]/(2T+3)\to \operatorname{Spec} \Bbb Z[T]\to\operatorname{Spec} \Bbb ...

3
votes

0
answers

296
views

### Most general form of Poincaré duality in étale cohomology

I am interested in Poincaré duality from the point of view of Grothendieck's 6-functor formalism. I am predominantly interested in the proof that Poincaré duality holds in étale cohomology from this ...

2
votes

1
answer

111
views

### Extending the domain of the yoneda embedding map from étale schemes to the small étale topos so that it is still fully faithful

Let $X$ be a scheme. For $Y$ a scheme over $X$, the representable presheaf $h_Y : U\mapsto \mathrm{Hom}_X(U,Y)$ on the small étale site $X_{et}$ is actually a sheaf, and by the Yoneda lemma the ...

5
votes

1
answer

195
views

### On realizing a topos of sheaves as a topos of equivariant sheaves

This question is motivated by the following example : let $X$ be a variety over a field $k$, with algebraic closure $\bar{k}$. The Galois group $G_k:=\mathrm{Gal}(\bar{k}/k)$ acts on $X_{\bar{k}}:=X\...

3
votes

0
answers

174
views

### Ind-etale vs weakly etale

In this article Bhatt and Scholze consider ind-etale and weakly etale maps of affine schemes. We have two (easy) statements, proven in Prop.2.3.3(1) and (5):
-- any ind-etale map is weakly etale,
-- ...

5
votes

1
answer

353
views

### $\mathbf{A}^1$-invariance of Brauer groups and $H^2_{\mathrm{et}}(-;\mathbb{G}_m)$

The $\mathbf{A}^1$-invariance of vector bundles have been discussed in, for example, this paper by Asok, Hoyois and Wendt. This of course implies storng $\mathbf{A}^1$-invariance results for the first ...

2
votes

0
answers

141
views

### Explicit construction of a presentation of a constructible sheaf of $\mathbb{Z}$-modules

This question was prompted by the two following:
Constructible étale sheaves on X are étale algebraic spaces over X
Naive question about constructing constructible sheaves
If I have a ...

1
vote

0
answers

116
views

### understanding higher direct images of $\mathbb{G}_m$ for a finite Galois map

Let $X$ be a smooth quasi-projective variety over $\mathbb{C}$, and let $\mu_r$ denote the group of $r$-th roots of unity, and moreover suppose $\mu_r$ (algebraically) acts on $X$ freely. Then $Y:= X/\...

1
vote

1
answer

170
views

### Lowest weight of compactly supported cohomology with coefficients

Let $X_0/\mathbb F_q$ be a variety, and let $\mathcal F$ be a Weil sheaf on $X := (X_0)_{\overline{\mathbb{F}_q}}$ that is pure of weight $n$. If $j < n$, does the weight $j$ piece of $H^i_c(X,\...

3
votes

0
answers

117
views

### When the Leray spectral sequences for nice compactifications give the Deligne's weight ones?

Assume that $X$ is a proper smooth variety over an algebraically closed field $k$, $U=X\setminus (\cup D_i))$ where $D_i$ are closed subvarieties such that the set-theoretic intersections of all sets ...

1
vote

0
answers

151
views

### Higher direct images of $\mathbb{G}_m$ under a projective bundle

Let $X$ be a smooth projective rational variety over $\mathbb{C}$, and let $\pi:Y\rightarrow X$ be a principal projective bundle with fibers isomorphic to $SL(n,\mathbb{C})/P$, where $P$ is a ...

1
vote

1
answer

158
views

### Exactness of functor $ Et(B) \to \operatorname{(Ab)}, \ C \mapsto \mathcal{F}(C) $ (Etale Cohomology and the Weil Conjecture by Freitag, Kiehl )

I have question about a statement from Etale Cohomology and the Weil Conjecture by Freitag, Kiehl
at the top of page 16. It seemingly uses the same notations as introduced at the bottom of page 15
and ...

2
votes

0
answers

98
views

### The cohomology groups corresponding to a modified global sections functor

Let $\mathcal{F}$ be a sheaf on the big etale site of $Sm_k$. I am looking for a way to calculate a modified version of sheaf cohomology. Let $X$ be a smooth scheme and $Z$ a closed sub-scheme. After ...

2
votes

1
answer

198
views

### Some facts about sheafification functor on étale site

I'm studying the book Etale cohomology and the Weil conjecture by Freitag, Kiehl and I have some questions on the subchapter introducing the machinery associating to an étale presheaf
a sheaf (that is ...

5
votes

1
answer

403
views

### Ordinary abelian varieties and Frobenius eigenvalues

Say $A_0$ is an ordinary abelian variety over ${\mathbf{F}}_q$. Call $\mathcal{A}$ the canonical lift of $A_0$ over $R := W({\mathbf{F}}_q)$. It carries a lift of the $q$-th power map on $A_0$. We ...

0
votes

0
answers

175
views

### Faithfully flat etale morphism from strictly Henselian ring (from Etale Cohomology and the Weil Conjecture by Freitag/Kiehl)

I have question about a statement found in Etale Cohomology and the Weil Conjecture by Freitag, Kiehl at the end of page 15.
It starts with the Remark 1.18 : Let $A$ be a strictly Henselian ring (i.e. ...

1
vote

1
answer

518
views

### Cohomology with coefficients in $\mu_\infty$

I'm encountering a lot of problems when dealing with the root of unity sheaf $\mu_\infty := \mathrm{colim}_n\mu_n$.
Let $X$ be a smooth geometrically integral variety over a number field $k$. Although ...

3
votes

0
answers

133
views

### Obtaining an exact sequence of Galois modules via derived functors

This question has two parts, the first part will be to obtain the desired exact sequence while the second will be to study it in the corresponding derived category and try to obtain it from there.
Let ...

3
votes

1
answer

519
views

### Subrings of Chow rings

Let $X$ be a smooth projective variety over $\mathbf{F}_p$, call $\overline{X}$ the base change to $\overline{\mathbf{F}}_p$, and denote by $F$ the base change to $\overline{X}$ of the absolute ...

5
votes

1
answer

339
views

### On universally closed morphisms of reduced schemes

In this question I'd like to examine some properties of universally closed morphisms.
The question is self-contained. It can also be seen as a follow-up to this question.
Let $R$ be a discrete ...

7
votes

1
answer

261
views

### Minimal vs characteristic polynomial of geometric Frobenius

Assume $X$ is a smooth projective variety over $\overline{\mathbf{F}}_p$ and fix a prime $\ell\neq p$.
Let $F_i$ be the geometric Frobenius on $\ell$-adic cohomology
$$H^i_{\rm ét}(X,\overline{\mathbf{...

1
vote

0
answers

143
views

### Cohomological dimension of continuous étale cohomology of finitely generated fields

Given a finitely generated field $F$ with prime field $k$, we assume $k$ is finite, of characteristic $p$. Fix a prime $\ell$ invertible in $k$.
In the discussion right after [K, Lemma 2.3], the ...

5
votes

0
answers

441
views

### Generalization of Weil Conjectures

is there a reference in English, besides Deligne's original publication: "La conjecture de Weil: II", not synthetic but complete that deals with the original argument of the generalization ...

1
vote

1
answer

249
views

### A question about a truncated object

I was hoping someone could help me with the understanding of a particular truncated object. Here are some background:
For any object $A$ in an abelian category $\mathcal{A}$, we can view $A$ as an ...

8
votes

1
answer

1k
views

### Cohomology of Grothendieck topology

My naïve cartoon picture of the construction of étale cohomology is this:
start with a scheme, associate to it a Grothendieck topology (making a site).
A functor from the Grothendieck topology to ...

2
votes

0
answers

253
views

### Etale cohomology of a nodal (cuspidal) curve

Let $k$ be a separably closed field, and $X/k$ be a curve (not necessarily complete) with a single singularity, a simple node $x$. Suppose $\ell$ is a prime number invertible in $k$, how do we compute ...

3
votes

0
answers

163
views

### Simplification of links between idele class group and étale cohomology

I posted this question over on stack exchange and was told it would work better here.
For interest I have been looking at links between class field theory and étale cohomology. Let $k$ be a global ...