Questions tagged [etale-cohomology]

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

Filter by
Sorted by
Tagged with
2 votes
1 answer
151 views

Find stratification to decompose constructible sheaf to constant parts (example from Wikipedia)

I have a question about techniques used in determining the stratification over which a constructible sheaf falls into even constant pieces demonstrated on this example from Wikipedia. Let $f:X = \text{...
user267839's user avatar
  • 5,938
2 votes
0 answers
104 views

Some questions about $\ell$-adic monodromy

I'm stucking on the proof of the Lemma 3.12 of A p-adic analogue of Borel’s theorem. Here $\mathcal A_{g,\mathrm K}$ is just a shimura variety defined over $\mathbb Z_p$, and full level $\ell$ ...
Richard's user avatar
  • 419
2 votes
0 answers
113 views

A relative cycle class map

Suppose I have a smooth projective morphism $p: X \to S$ between varieties, and a relative cycle $Z \subset X \to S$ which is assumed to be as nice as can be (rquidimensional with fibers of dimension $...
Asvin's user avatar
  • 7,608
1 vote
0 answers
50 views

Etale local systems and proper base change

I am looking for a reference, or a proof, of the following statement: Let $f:Y\longrightarrow X$ be a smooth proper map of quasiprojective $K$ schemes, and let $\overline{f}:\overline{Y}\...
kindasorta's user avatar
  • 1,373
8 votes
0 answers
472 views

In Mann's six-functor formalism, do diagrams with the forget-supports map commute?

One of the main goals in formalizing six-functor formalisms is to obtain some sort of "coherence theorem", affirming that "every diagram that should commute, commutes". In these ...
Gabriel's user avatar
  • 933
2 votes
0 answers
207 views

"Simple Limit Argument" in Freitag's and Kiehl's Etale Cohomology

I have a question about an argument used in Freitag's and Kiehl's Etale Cohomology and the Weil Conjecture in the proof of: 4.4 Lemma. (p 41) Every sheaf $F$ representable by an étale scheme $U \to X$,...
user267839's user avatar
  • 5,938
3 votes
0 answers
172 views

When inverse image presheaf is already a sheaf

Following proof from Milne's Étale Cohomology (page 94) contains an equality I not understand. Setting: assume $X$ is a variety (=absolutely reduced, irreducible scheme of finite type over base field ...
user267839's user avatar
  • 5,938
0 votes
1 answer
202 views

Some questions about splitting of sequence $0\to I\to\mathrm{Gal}_K\to\mathrm{Gal}_k\to 0$ for Henselian val field $K$

I have a couple of questions about following proof by Peter Scholze on splitting of the ses (...does it have a name?...) $$0\to I\to\mathrm{Gal}_K\to\mathrm{Gal}_k\to 0$$ for $K$ henselian valuation ...
user267839's user avatar
  • 5,938
2 votes
0 answers
195 views

Using the Dold-Thom Theorem to define \'etale cohomology

For reasonable spaces $X$, the Dold-Thom Theorem states that $\pi_i(SP(X)) \cong \tilde{H}_i(X)$ where $SP(X) = \bigsqcup_i \mathrm{Sym}^i(X)$. There is a purely algebro-geometric realization of this ...
Asvin's user avatar
  • 7,608
5 votes
0 answers
221 views

Locally acyclic morphism which is not flat

Let $k$ be a closed field of characteristic $p \geqq 0$ and $\Lambda = \mathbf{Z}/\ell$, $\ell \neq p$. Recall that a morphism $f \colon X \to S$ of $k$-varieties is said to be locally acyclic if for ...
Thiago's user avatar
  • 221
0 votes
0 answers
124 views

A stalk criterion for unit map to be an isomorphism on étale site

Let $f: X \to Y$ be a morphism of schemes and $\mathcal{F}$ sheaf of sets/Abelian groups on the small étale site $Y_{ét}$. Assume we manage somehow to show thatat every geometric point $\overline{y} \...
user267839's user avatar
  • 5,938
3 votes
1 answer
399 views

Characterization of étale locally constant sheaves over a normal scheme

I have a question about the verification of remark 1.2 in James Milne's book Étale Cohomology stated on page 156: Assume $X$ be a normal & connected scheme with generic point $g: \eta \to X$. Then ...
user267839's user avatar
  • 5,938
1 vote
0 answers
240 views

A hard-Lefschetz theorem with torsion coefficients?

Let $X$ be a smooth projective surface over $\overline{\mathbb{F}_{q}}$. Let $\ell$ be a prime distinct from the characteristic. Assume we have a Lefschetz pencil of hyperplane sections on $X$. Let $...
a17's user avatar
  • 11
4 votes
1 answer
317 views

Unit map on étale site under $(f^*,f_*)$ adjunction

Let $f: X \to Y$ be a morphism between two irreducible schemes and $\mathcal{F}$ sheaf on the small étale site $Y_{ét}$. My question is more or less "dual" to this one: Question: Under which ...
user267839's user avatar
  • 5,938
3 votes
1 answer
315 views

Diagonal morphism of henselization is an open immersion?

Let $(R,\mathfrak{m})$ be a local ring, denote by $R \rightarrow R^h$ its henselization. Write $S = \operatorname{Spec} R$ and $S^h = \operatorname{Spec} R^h$. Is it true that the diagonal morphism $\...
Hugo Zock's user avatar
1 vote
1 answer
116 views

An etale cover of a semiperfect ring

Assume that $R$ is a semiperfect ring in characteristic $p$, i.e the frobenius is surjective on $R$. I think one can prove that an etale cover of $R$ should again be semiperfect by considering the ...
ALi1373's user avatar
  • 65
5 votes
1 answer
373 views

Cohomology of Shimura varieties before and after completion at some prime

Let $(G,X)$ be a Shimura datum with reflex field $E\subset \mathbb C$. For any neat open compact subgroup $K \subset G(\mathbb A_f)$, let $\mathrm{Sh}_K$ denote the associated Shimura variety. It is a ...
Suzet's user avatar
  • 687
1 vote
0 answers
141 views

Multiplicity and the perfect projective line

Let $\mathbf{F}_p$ be the field with $p$ elements, and $X = (\mathbf{P}^1_{\overline{\mathbf{F}}_p})^\text{perf}$ the inverse perfection of the projective line over $\mathbf{F}_p$. Let $\Gamma$ be the ...
Tim's user avatar
  • 85
1 vote
1 answer
290 views

Self-intersection of the diagonal on a surface

Let $X$ be a smooth projective curve over the complex numbers, and take $\Delta$ the diagonal divisor on $X\times X$. Using the adjunction formula, one computes $\Delta\cdot\Delta =2-2g$ for $g$ the ...
Tim's user avatar
  • 85
3 votes
0 answers
171 views

Beilinson-Lichtenbaum conjecture for algebraic extensions of $\mathbb{Z}/m$

Let $X$ be smooth over some field $k$ and $m\in\mathbb{Z}$ so that $m$ maps to a unit in $k^{\times}$. By Beilinson-Lichtenbaum one has an isomorphism of cohomology groups \begin{equation*} \...
The Thin Whistler's user avatar
3 votes
0 answers
163 views

Relations between some categories of étale sheaves

I asked this question on math.stackexchange but nobody answers, so I try here even if I'm not sure my question is a research level one.. Let $X$ be a scheme over a number field $k$. Feel free to add ...
Marsault Chabat's user avatar
3 votes
1 answer
286 views

Purity of Frobenius on cohomology of a projective variety over $\mathbb F_q$ with isolated singularities

Let $X_0$ be a projective variety of dimension $n>0$ over a finite field $\mathbb F_q$ of characteristic $p$. Let $X$ denote its base change to an algebraic closure. Let $\ell$ be a prime number ...
Suzet's user avatar
  • 687
2 votes
0 answers
230 views

Tate's conjecture for arithmetic schemes

Tate's conjecture is about a map from Chow groups of a smooth projective variety $X$ to the $l$-adic cohomology i.e. $CH^n(X)\rightarrow (H^{2n}(\bar{X}, \mathbb{Q}_l(n)))^G$ where $G$ is the Galois ...
user127776's user avatar
  • 5,821
1 vote
0 answers
119 views

Is the Frobenius semisimple on the de-Rham cohomology?

Suppose $K$ is a unramified finite extension of $\mathbb Q_p$, and $X$ is a projective smooth curve defined over $K$. By $p$-adic Hodge theory we know $D_{cris}(H_{et}^i(X,\mathbb Q_p))=H_{dR}^i(X)$. ...
Richard's user avatar
  • 419
2 votes
1 answer
249 views

Deligne finitude and finiteness of etale cohomology

This probably is a very straightforward question. Does Deligne finitude imply etale cohomology with $\mu_l^{\otimes n}$ ($l$ is invertible) for finite type schemes over a finite field is finite? This ...
user127776's user avatar
  • 5,821
3 votes
0 answers
183 views

Tate isogeny theorem over varieties?

Let $X$ be a nice scheme, $\pi:E\to X$ an elliptic curve, and $\ell$ a prime invertible on $K$. Then we can consider the "Tate module" $(R^1\pi_*\mathbb{Z}_{\ell})^\vee=\hbox{''}\varprojlim\...
Curious's user avatar
  • 301
3 votes
1 answer
163 views

$l$-adic cohomology of hyperplane arrangements

Consider an arrangement of hyperplanes given by the faces of a simplex. Let's consider it as a scheme (a non-regular scheme) and let's also work over a finite field. Has the rational $l$-adic ...
user127776's user avatar
  • 5,821
2 votes
1 answer
259 views

Commutative group scheme cohomology on generic point

Setup: Let $k$ be an algebraically closed field. Let $C$ be a smooth connected projective curve over $k$. Let $J$ be a smooth commutative group scheme over $C$ with connected fibers. Let $j:\eta\to C$ ...
lzww's user avatar
  • 123
1 vote
1 answer
179 views

Confusion about relative Poincaré duality in the context of $\ell$-adic cohomology

I have recently learned about relative Poincaré duality in the book Weil conjectures, perverse sheaves and $\ell$-adic Fourier transform by Kiehl and Weissauer (2001). The reference is section II.7. ...
Suzet's user avatar
  • 687
1 vote
1 answer
153 views

Field of fractions of etale stalk of Dedekind domain (Example from Milne's LEC)

Let $X=\operatorname{Spec}(A)$ be an affine Dedekind domain with field of fractions $K$. Let $\widetilde{A}$ be the integral closure of $A$ in separable closure $ K^{\text{sep}}$. A closed point $x$ ...
user267839's user avatar
  • 5,938
2 votes
1 answer
221 views

Calculate stalk of etale derived pushforward sheaf (Milne's LEC)

Assume $X=\operatorname{Spec}(A)$ is connected and normal (especially integral), and let $g:\eta \hookrightarrow X$ be the inclusion of the generic point of $X$. In Milne's LEC script on Etale ...
user267839's user avatar
  • 5,938
2 votes
0 answers
94 views

etale cohomology and algebric K theory for algebraic stack

Let $X$ be a smooth variety over a perfect field $k$. Fix a prime $p$ which is invertible in $k$. Thomason proved that there is Atiyah-Hirzebruch type spectral sequence that computes $K(1)$-local $K$ ...
OOOOOO's user avatar
  • 357
3 votes
1 answer
219 views

$\mathbf{Z}$-points of quasi-projective schemes

Let $U\subset\mathbf{P}^n_{\mathbf{Z}}$ be an open subscheme such that the smooth morphism $U\to\text{Spec}(\mathbf{Z})$ is surjective. Suppose $U(\mathbf{Q})\neq\varnothing$ and $U(\mathbf{Z}_p)\neq\...
Tim's user avatar
  • 85
2 votes
0 answers
219 views

Zero dimensional varieties and the L-function $1/(1-p^{-n})$

I am interested in positive characteristic varieties which produce an L-function of the form $\frac{1}{1-χ} = \frac{1}{1-p^{-s}} = \sum_{n = 0}^\infty p^{-ns}$. It seems related to the positive ...
Ronald J. Zallman's user avatar
2 votes
1 answer
198 views

Composition of Gysin and restriction maps on $\ell$-adic cohomology

I already posted this question on mathstackexchange there, but I figured that it may have more replies here. I follow the notations of Milne's lectures notes on etale cohomology, most specifically ...
Suzet's user avatar
  • 687
1 vote
1 answer
263 views

Cohomology of singular curves

Suppose $X$ is a singular quasi-projective curve over the complex numbers, and $X'$ is a good nonsingular compactification of a resolution of singularities $Y\to X$. Let $D$ be the complement of $Y$ ...
user avatar
3 votes
0 answers
168 views

Nearby cycles of a constant $\Lambda$-sheaf

Let $X$ be a scheme over a henselian trait $S = (S,s,\eta)$. Let $\ell$ be a prime number which is invertible on $S$ and let $\Lambda := \mathbb Z_{\ell}/\ell^k\mathbb Z_{\ell}$ where $k\geq 1$. Let $\...
Suzet's user avatar
  • 687
4 votes
0 answers
181 views

Is there a simple counterexample to étale proper base change on the unbounded derived category?

The best non-derived version of proper base change on the étale site of a scheme I know is that for $f : X \to Y$ proper and $g : Y' \to Y$ arbitrary, the base change morphism $g^{-1} R f_\star \...
C.D.'s user avatar
  • 545
2 votes
1 answer
75 views

Base change for fundamental group prime to p in mixed characteristic?

I found the answer to this question while typing it up, but since I've already written it, it is probably worthwhile to post-and-answer in case someone finds it useful. Let $S=\operatorname{Spec}\...
Curious's user avatar
  • 301
7 votes
1 answer
370 views

Is anything known about de Rham $K(\pi,1)$'s?

Let $X$ be a connected qcqs scheme. We say that $X$ is a (étale) $K(\pi,1)$ if for every locally constant constructible abelian sheaf $\mathscr{F}$ on $X$ and every geometric point $\overline{x}$ the ...
Gabriel's user avatar
  • 933
2 votes
1 answer
232 views

Images of smooth schemes under lci morphisms

Let $S$ be a Noetherian scheme, $f : X\to S$ a smooth quasi-projective morphism, $g : X\to Y$ a morphism of finite type, and $h : Y\to S$ a smooth projective morphism with $h\circ g =f$. Can we say ...
user avatar
0 votes
0 answers
123 views

Why do we have $X/G\cong \coprod_jX_j/G_j$?

I'm reading Lei Fu's "Etale Cohomology Theory". Corollary 3.2.6. Let $S$ be a noetherian scheme,let $X\to S$ be an etale covering space, and let $G$ be a finite group acting on the right of ...
Born to be proud's user avatar
1 vote
0 answers
245 views

Base points and geometric points of schemes

Let $k$ b a field and $X$ a geometrically connected variety over $k.$ Let us fix an algebraic closure $$\ast: \text{Spec } \bar{k} \rightarrow \text{Spec } k$$ and denote by $\bar{X} = X \times_k \bar{...
Crystallineperiodic's user avatar
4 votes
1 answer
375 views

Étale group schemes and specialization

If $A$ is an abelian variety over a finite field $\mathbf{F}_q$, then $A(\mathbf{F}_q)$ (resp. $A(\overline{\mathbf{F}}_q)$) is a finite (resp. infinite torsion) group, but $A(\mathbf{F}_q(t))$ is a ...
user avatar
2 votes
1 answer
229 views

Flat scheme-theoretic closure

Suppose $R$ is a discrete valuation ring with fraction field $K$. Let $X\subset \mathbf{P}^n_{C_K}$ be a closed subscheme, flat over $C_K$, a smooth projective curve over $K$. Let $C_R$ be a flat ...
user avatar
22 votes
1 answer
2k views

Is there a ring stacky approach to $\ell$-adic or rigid cohomology?

Ever since Simpson's paper [Sim], it was observed that many different cohomology theories arise in the following way: we begin with our space $X$, we associate to it a stack $X_\text{stk}$ (which ...
Gabriel's user avatar
  • 933
1 vote
0 answers
202 views

$p$-adic étale cohomology group of open smooth varieties

Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $X$ be a smooth variety over $K$. Dr. Yamashita announced that he had proved the Galois representation of $p$-adic étale cohomology group $H^*_{\...
OOOOOO's user avatar
  • 357
1 vote
0 answers
155 views

Interpretation of Tate conjecture using motivic homotopy

For a smooth projective variety $X$ over a field $k$ the Tate conjecture says that the cycle class maps $$CH^i(X)\otimes \mathbb{Q}_l \to H^{2i}(X_{\bar{k}},\mathbb{Q}_l(i))^{G_k}$$ are surjective. To ...
TCiur's user avatar
  • 469
5 votes
0 answers
319 views

Calculating étale fundamental groups from the usual fundamental group

$\newcommand{Spec}{\operatorname{Spec}}$Let $X$ be a connected affine smooth variety over $\mathbb{Q}$, with a point $x\in X(\Spec(\mathbb{Q})$. For any algebraically closed field $K$ of ...
Fernando Peña Vázquez's user avatar
24 votes
1 answer
2k views

When (or why) is a six-functor formalism enough?

The six functor formalism in a given cohomology theory consists of for each space a derived category of sheaves and six different ways to construct functors between those categories (four involving a ...
Will Sawin's user avatar
  • 135k

1
2 3 4 5
14