Questions tagged [etale-cohomology]

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

Filter by
Sorted by
Tagged with
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 ...
user avatar
  • 415
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 $ \...
user avatar
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^\...
user avatar
  • 1,317
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 ...
user avatar
  • 415
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)$?
user avatar
  • 415
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 ...
user avatar
  • 2,109
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$), ...
user avatar
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 ...
user avatar
  • 159
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 ...
user avatar
  • 305
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}}\...
user avatar
  • 409
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-...
user avatar
  • 233
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 ...
user avatar
  • 1,121
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}(...
user avatar
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$. ...
user avatar
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 ...
user avatar
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{...
user avatar
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 ...
user avatar
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 ...
user avatar
  • 1,317
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})) \...
user avatar
  • 17k
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 ...
user avatar
  • 794
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 ...
user avatar
  • 4,283
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$ ...
user avatar
  • 71
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 ...
user avatar
  • 6,782
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 ...
user avatar
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 ...
user avatar
  • 4,283
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 ...
user avatar
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\...
user avatar
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, -- ...
user avatar
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 ...
user avatar
  • 905
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 ...
user avatar
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/\...
user avatar
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,\...
user avatar
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 ...
user avatar
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 ...
user avatar
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 ...
user avatar
  • 1,015
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 ...
user avatar
  • 4,926
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 ...
user avatar
  • 1,015
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 ...
user avatar
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. ...
user avatar
  • 1,015
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 ...
user avatar
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 ...
user avatar
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 ...
user avatar
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 ...
user avatar
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{...
user avatar
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 ...
user avatar
  • 4,926
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 ...
user avatar
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 ...
user avatar
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 ...
user avatar
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 ...
user avatar
  • 413
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 ...
user avatar

1
2 3 4 5
13