Questions tagged [etale-cohomology]
for questions about etale cohomology of schemes, including foundational material and applications.
724
questions
1
vote
0
answers
51
views
Syntomic f-cohomology for open varieties
Syntomic cohomology $H^{i+j}_{\mathrm{syn}}(X,n)$ of a proper variety $X$ with good reduction over a $p$-adic field $K$ is computed via a spectral sequence in terms of $H^i_{\mathrm{f}}(G_K;H^j_{\...
8
votes
0
answers
306
views
Triple comparison of cohomology in algebraic geometry
Let $X$ be a smooth proper variety over $\mathbb{Q}$ and $p$ a prime number. For an integer $k$, we have:
a finitely-generated abelian group $H^k(X^{\mathrm{an}}(\mathbb{C});\mathbb{Z})$
a finitely-...
2
votes
0
answers
129
views
details of a dévissage argument for constructible sheaves
I am working on the following Künneth-type isomorphism from [SGA5, exposé III, 2,3]:
$\mathrm{Settings}.$ Let $X_1, X_2$ be separated finite type schemes over the spectrum of a field $S=\mathrm{Spec}...
3
votes
1
answer
321
views
Tate twist and cohomology groups
I am reading Milne's lecture notes on etale cohomology and I'm hoping someone could help me clear up some minor confusion.
Let $X$ be a nonsingular variety over an algebraically closed field $k,$ say $...
1
vote
0
answers
99
views
Do étale coordinates give rise to a regular sequence of diagonal elements?
Fix an algebraic extension $k\subseteq K$ of fields of characteristic zero and consider a map of commutative rings $\phi\colon K\left[T_{1}^{\pm},\dots,T_{n}^{\pm}\right]\to A$ which is étale. Now ...
2
votes
0
answers
172
views
Eigenspaces of complex conjugation on étale cohomology of a smooth projective curve
Let $X$ denote a smooth projective curve defined over $\mathbb{Z}[1/N]$, and its base change $ \overline{X} $ to $ \overline{\mathbb{Q}} $. Let $ V $ be a $ p $-adic local system on $X$ ($p\mid N$), ...
3
votes
1
answer
213
views
How to show this last condition is equivalent to saying the bilinear form in the proposition is nondegenerate?
I'm reading Lei Fu's "Etale Cohomology Theory".
How to show this last condition is equivalent to saying the bilinear form in the proposition is nondegenerate?
4
votes
0
answers
113
views
Introduction to the theory of $D$-modules and the role of the characteristic cycle
I am seeking recommendations for a concise introduction to the theory of $D$-modules suitable for an algebraic geometer. Specifically, I am interested in understanding:
The role of the characteristic ...
2
votes
1
answer
303
views
Bounding $H^4_{\text{ėt}}$ of a surface
Let $X\longrightarrow X'$ be a smooth proper map of smooth proper schemes defined over $\mathbb{Z}[1/S]$, where $S$ is a finite set of primes. Assume $X'$ is a curve of positive genus, and $X$ is a ...
4
votes
0
answers
119
views
How does one compute the group action of the automorphism group on integral cohomology?
Suppose I have a curve $X$ (for concreteness, we can take $X$ to be a smooth, projective curve over a finite field $\mathbb F_q$, and even more concretely consider the family of curves described by ...
3
votes
1
answer
235
views
Action of complex conjugation on etale cohomology
Let $X$ be a genus $g$ smooth projective curve, defined over $\mathbb{Q}$, and let $\overline{X}$ denote the base change of $X$ to $\overline{\mathbb{Q}}$.
It is well known that $H^1_{\text{ét}}(\...
1
vote
1
answer
152
views
Zeta function of variety over positive characteristic function field vs. local zeta factor of variety over $\mathbb{F}_p$
Let $X = Y \times_{\mathbb{F}_q} C$, with $Y, C / \mathbb{F}_q$ smooth projective varieties, $C$ a curve. Let $d = \dim_{\mathbb{F}_q} X$. We can consider the local zeta function $Z(X, t) = \prod\...
2
votes
0
answers
74
views
Lift of nearby cycles functor
Let $S$ be the spectrum of a Henselian discrete valuation ring (called a Henselian trait). Let $f:X\to S$ be a finite type, separated morphism of schemes. Let $\eta\in S$ be the generic point. Let $s\...
0
votes
0
answers
104
views
Higher direct images of locally constant etale sheaf under smooth proper map locally constant
Let $f:X \to Y$ a surjective smooth proper map between Noetherian schemes and $F$ a locally constant sheaf on small etale site of $X$.
Question: Refering to Donu Arapura's answer here, how to see that ...
7
votes
0
answers
142
views
Is the $\ell$-adic cohomology ring of a cubic threefold a complete invariant?
The only interesting $\ell$-adic cohomology of a smooth cubic threefold $X$ is $H^3(X,\mathbb{Z}_{\ell}(2))$, which is isomorphic as a $\mathrm{Gal}_k$-module to $H^1(JX,\mathbb{Z}_{\ell}(1))^{\vee}$ ...
2
votes
1
answer
93
views
Specialization of w-contractible objects on intersections on the pro-étale site
I'm trying to understand sections [61.25] and [61.26] of Stacks Project on closed immersions and extension by zero on the pro-étale site.
Lemma [61.25.5] refers to affine weakly contractible objects $...
2
votes
0
answers
66
views
Finite dimensionality of Galois cohomology
Let $K_S$ denote the maximal extension of $\mathbb{Q}$, unramified outside a finite set of primes $S$, and let $G_S$ denote the Galois group of $K_S/\mathbb{Q}$.
It is known that for any finitely ...
2
votes
0
answers
152
views
Unramified lisse $\overline{\mathbb{Q}}_{\ell}$-sheaves
Let $X$ be a connected noetherian scheme and $\ell$ a prime invertible on $X$. Let $D \subset X$ be a regular effective Cartier divisor (or more generally a normal crossings divisor, I suppose). Write ...
0
votes
1
answer
103
views
Kernel of restriction in étale cohomology of curves over number fields
Let $X$ be a smooth projective curve defined over a number field $K$. Let $\overline{K}$ denote the algebraic closure of $K$, and set $\overline{X} := X\otimes \overline{K}$. Denote by $\iota: \...
1
vote
0
answers
113
views
Second group cohomology of a twisted fundamental group
Let $X$ be a smooth hyperbolic projective curve defined over $\mathbb{Z}[1/S]$, where $S$ is a finite set of primes, and let $\pi:=\pi_1^{\text{ét}}(X, \overline{b})$ denote its étale fundamental ...
7
votes
1
answer
454
views
Finiteness of the Brauer group for a one-dimensional scheme that is proper over $\mathrm{Spec}(\mathbb{Z})$
Let $X$ be a scheme with $\dim(X)=1$ that is also proper over $\mathrm{Spec}(\mathbb{Z})$. In Milne's Etale Cohomology, he states that the finiteness of the Brauer group $\mathrm{Br}(X)$ follows from ...
3
votes
0
answers
168
views
A relative Abel-Jacobi map on cycle classes
I have a question about relativizing a classical cohomological construction that I think should be easy for someone well versed in such manipulations.
Background:
Suppose $X$ is a smooth projective ...
3
votes
1
answer
230
views
Etale cohomology of relative elliptic curve
Let $E_a: y^2 = x(x-1)(x-a)$ be a smooth proper relative elliptic curve over $\text{Spec}(A)$, with $a\in A$, and assume $\text{Spec}(A)$ is a $\text{Spec}(\mathbb{Q}_p)$-scheme.
Let $R^1f_*\mathbb{Q}...
6
votes
1
answer
437
views
Reference request: good reduction equivalent to crystalline étale cohomology
Suppose $X$ is an abelian variety over a $p$-adic field $K$, and it's well known that $X$ has good reduction is equivalent to the étale cohomology of $X$ is crystalline, and $X$ has semistable ...
2
votes
1
answer
190
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{...
2
votes
0
answers
124
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$ ...
2
votes
0
answers
127
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 $...
1
vote
0
answers
65
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}\...
9
votes
0
answers
520
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 ...
2
votes
0
answers
217
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$,...
3
votes
0
answers
188
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 ...
0
votes
1
answer
206
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 ...
2
votes
0
answers
207
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 ...
5
votes
0
answers
228
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 ...
0
votes
0
answers
137
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} \...
3
votes
1
answer
457
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 ...
1
vote
0
answers
251
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 $...
4
votes
1
answer
359
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 ...
3
votes
1
answer
340
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 $\...
1
vote
1
answer
126
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 ...
5
votes
1
answer
404
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 ...
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 ...
1
vote
1
answer
332
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 ...
3
votes
0
answers
187
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*}
\...
3
votes
0
answers
169
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 ...
3
votes
1
answer
305
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 ...
2
votes
0
answers
258
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 ...
1
vote
0
answers
121
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)$. ...
2
votes
1
answer
262
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 ...
3
votes
0
answers
201
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\...