Questions tagged [etale-cohomology]
for questions about etale cohomology of schemes, including foundational material and applications.
704
questions
9
votes
0
answers
350
views
Does etale homotopy type see the existence of rational points?
Do there exist two smooth projective schemes over $\mathbb{Q}$ that are etale homotopy equivalent and only one of them has a $\mathbb{Q}$-point?
CommunityBot
- 1
2
votes
0
answers
142
views
A canonical complex computing etale cohomology
Crystalline cohomology can be computed as the hypercohomology of the de Rham-Witt complex.
If we want to compute the etale cohomology of the constant sheaves $\mathbb{Z}_l$ or $\mathbb{Q}_l$ (well, ...
CommunityBot
- 1
7
votes
2
answers
567
views
Vanishing of higher direct image of finite morphisms relative to the fppf topology
Let $f:X \to Y$ be a finite morphism of schemes.
Let $\mathcal{F}$ be a sheaf of abelian groups on the the etale site of $X$ then we know that $R^{i}f_{*} \mathcal{F} = 0$. Is this statement also true ...
- 2,846
8
votes
0
answers
342
views
Serre's examples in rigid analytic geometry
Over $\mathbb{C}$, we have the following phenomenon: there exist algebraic varieties whose etale homotopy types are isomorphic but the homotopy types of their analytifications are not. Such examples ...
CommunityBot
- 1
2
votes
2
answers
653
views
In the definition of big/small étale/fppf/... site, is their covering set really a set?
My definition of a site is a pair $(\mathcal{C},\DeclareMathOperator{\Cov}{Cov}\Cov (\mathcal{C}))$ where $\mathcal{C}$ is a category and $\Cov (\mathcal{C})$ is a set consisting of elements of the ...
- 11.4k
2
votes
1
answer
446
views
Adelic view of $l$-adic étale cohomology?
Let $k$ be a field of characteristic 0 and let $X$ be a $k$-variety.
For each prime $l$ invertible in $k$ we can associate to $X$ its $l$-adic étale cohomology $E_l(X)$ which is a graded-commutative ...
CommunityBot
- 1
2
votes
0
answers
186
views
Cohomology of modular curves: vanishing and decomposition
Let $\pi:E\to Y$ be a universal elliptic curve over an open modular curve $Y$. Take a prime $\ell$ and take $\mathcal{H}=(R^1\pi_*\mathbb{Q}_\ell)^\vee$ where the dual, $(-)^\vee$, means the internal ...
- 1,378
5
votes
1
answer
967
views
Structure theorem for etale algebras over a more general ring than a field
I call etale a finite-type flat $R$-algebra $A$ such that $\Omega_A =0$ (I hope this is the standard definition).
In the case where $R=k$ is a field, any such algebra $A$ decomposes as a finite ...
- 1,484
1
vote
1
answer
188
views
Lifts of smooth algebras
Let $(R, I)$ be a Henselian pair, with $I$ a finitely generated ideal.
We know that for any smooth $R/I$-algebra $A_0$, there exists a smooth $R$-algebra $A$ such that $A/I\simeq A_0$.
We also know ...
- 15.3k
3
votes
0
answers
160
views
Functoriality of base change morphisms
Consider a commutative diagram of morphisms of schemes:
$$\begin{array}{ccccccccc}
X_2 & \xrightarrow{j_2} & Y_2 \\
f'\downarrow & & \downarrow f \\
X_1 & \xrightarrow{j_1} &...
- 726
12
votes
2
answers
2k
views
Étale cohomology of morphism whose fibers are vector spaces
Let $X\rightarrow Y$ be a morphism (may not be smooth) of varieties such that the fibres are vector spaces. Are the $l$-adic cohomologies of $X$ and $Y$ equal?
If not, under what condition (other ...
- 4,091
5
votes
1
answer
442
views
Nearby cycles and extension by zero
Let $f: X\to \text{Spec}(R)$ be a proper and smooth morphism, with $R$ a strictly henselian dvr. Call $s = \overline{s}$ the closed point and $\eta$ the geometric point of $\text{Spec}(R)$.
Call $i_s ...
- 2,863
1
vote
1
answer
574
views
Swan-conductor and base change
Let $C$ be a proper smooth curve over a perfect field $K$ of positive characteristic $p$, $u: U \hookrightarrow C$ strictly open and $\mathfrak{F}$ a lisse (lcc) $\mathbb{F}_l $-sheaf $(l \neq p)$ on $...
- 137k
2
votes
0
answers
226
views
Berthelot’s comparison theorem and functoriality
Let $A$ be a noetherian $p$-adically complete ring with an ideal $I$ equipped with a PD structure and such that $p$ is nilpotent on $A/I$.
Let $S = \text{Spec}(A)$, $S_0 = \text{Spec}(A/I)$, $Y\to S$ ...
- 181
3
votes
1
answer
251
views
Morphism of sites and abelian sheaf cohomology
Let $f : \mathcal{C}\to\mathcal{D}$ be a morphism of sites (see the Stacks Project) with induced morphism of topoi
$$(f^{-1}, f_*) : Sh(\mathcal{D})\to Sh(\mathcal{C}).$$
By assumption, $f^{-1}$ is an ...
CommunityBot
- 1
16
votes
1
answer
968
views
GAGA for henselian schemes
In this paper, F. Kato recollects basic facts on henselian schemes and proves some partial results towards GAGA in the context of henselian schemes.
Let $I$ be a finitely generated ideal in a ...
CommunityBot
- 1
1
vote
0
answers
283
views
Cohomology of constant sheaves
Let $X= spec(k)$ where $k$ is an algebraically closed field. Consider the constant sheaf $\mathbb{Z}$ on the fppf site of $X$. I'm interested in computing $H^1_{fppf}(X, \mathbb{Z})$. I know that $H^...
- 11
2
votes
1
answer
242
views
Vector bundles on henselian schemes
Let $X$ be a smooth and projective scheme over $\mathbf{Z}_p$.
We call $\mathfrak{X}$ the ringed space whose topological space is the topological space of the special fiber of $X$, and whose ...
- 4,091
1
vote
0
answers
140
views
Definition for equivariant $l$-adic sheaves
What is the definition of equivariant $l$-adic or ($\mathbb{Z}_l$-) sheaves?
Suppose $G$ acts on $X$, I could pick a $G$-equivariant etale sheaf of $\mathbb{Z}/l^n$ module on $X$ for each $n$, and ...
- 667
8
votes
1
answer
381
views
Gerbes on the multiplicative group
Let $k$ be an arbitrary field with absolute Galois group $\Gamma$. The group $\text{Hom}(\Gamma,\mathbb{Q}/\mathbb{Z})$ injects into $H^2(\mathbb{A}^1 \setminus \{ 0 \},\mathbb{G}_m)$, as one can see ...
- 1,987
15
votes
1
answer
1k
views
Some basic questions on crystalline cohomology
Let $X_0$ be a smooth projective variety over $\mathbf{F}_q$ and ${X}$ its base change to an algebraic closure $k$ of $\mathbf{F}_q$.
Crystalline cohomology $H^*_{\rm cris}(X) := H^*((X/W(k))_{\rm ...
- 7,027
1
vote
1
answer
137
views
Equalizer of local analytic isomorphisms
Let $a,b : V\to W$ be two morphisms of smooth complex analytic spaces.
Assume $a$ and $b$ are local analytic isomorphisms.
Does the equalizer $U$ of $a,b$ exist as a smooth complex analytic ...
- 19.3k
6
votes
1
answer
504
views
How to compute Galois representations from etale cohomology groups of a generalized flag variety?
Let $G$ be a connected reductive group over a number field $K$, $P$ be a parabolic subgroup of $G$ defined over $K$, $X=G/P$ be the generalized flag variety which is a smooth projective variety over $...
- 137k
13
votes
1
answer
679
views
Functoriality of crystalline cohomology
Let $k$ be a perfect field of characteristic $p>0$, $X$ a smooth projective $k$-variety.
Denote by $(X/W_n(k))_{\rm cris}$ the small crystalline site of $X$.
Let $f : X\to Y$ be a morphism of ...
- 33.9k
6
votes
1
answer
506
views
Functoriality for $\ell$-adic cohomology - a question
This should a be basic enough question, but I’m a little confused.
In proving that $H^*(X,\mathbf{Q}_{\ell})$ is functorial (in the sense of Weil cohomology theories: see axiom D2 here) as $X$ ranges ...
CommunityBot
- 1
6
votes
0
answers
151
views
Does an fppf cohomological class annihilated by an etale cover come from etale cohomological group?
Let $X$ be a scheme, $F$ a sheaf on the fppf site of $X$, and $\alpha\in H^i_{\mathrm{fppf}}(X,F)$ such that it is trivialized by an etale cover of $X$. Does $\alpha$ lie in the image of the canonical ...
- 997
6
votes
1
answer
532
views
Quaternion algebra actions on $\ell$-adic cohomology
Let $E$ be a supersingular elliptic curve over $\mathbf{F}_p$, and $H$ its endomorphism algebra $\text{End}(E)\otimes_{\mathbf{Z}}\mathbf{Q}$, a quaternion algebra (non split at $p$ and $\infty$).
...
- 137k
7
votes
0
answers
156
views
Invariants of etale topological type that are not homotopy invariants
Artin--Mazur theory attaches etale homotopy type to reasonable schemes. Associated to this homotopy type are certain invariants of the scheme, such as etale fundamental group and higher homotopy ...
- 713
5
votes
0
answers
231
views
Cohomology groups on small fppf site and small etale site are not the same
Let $F$ be a quasi-coherent sheaf on a scheme $X$. Is there an example where cohomology groups of $F$ on small fppf site of $X$ and small etale site of $X$ are not isomorphic?
- 33.9k
4
votes
0
answers
297
views
Etale cohomology of projective spaces in the rigid analytic setting
Take $K$ a complete non-archimedean field (maybe algebraically closed, to simplify the question), and $\mathbb{P}_K^d$ the rigid projective space over $K$. Can we compute the étale cohomology with ...
4
votes
1
answer
216
views
Henselianizations over countable index sets
Let $A$ be a ring, $I\subset A$ a finitely generated ideal.
The henselianization $A^h$ of $A$ along $I$ is the universal $A$-algebra that is henselian along $I$ and can be presented as a direct limit ...
CommunityBot
- 1
4
votes
1
answer
193
views
Etale homotopy type of non-unibranch scheme over $\mathbb{C}$
In these notes the following theorem is stated, among other things.
Let $X$ be a pointed connected geometrically unibranch scheme over
$\mathbb{C}$. Then Artin-Mazur etale homotopy type of $X$ is ...
- 15.3k
2
votes
0
answers
214
views
Can etale-analytic comparison hold when etale-Cech comparison doesn't?
Assume we have a scheme over $\mathbb{C}$ and a constructible sheaf on $X$. We have a natural morphism from etale cohomology to derived functor cohomology in complex-analytic topology
$$
H_{et}(X, F)\...
- 287
2
votes
0
answers
155
views
Fundamental Group of small Zariski open set
Let $Y$ be an integral affine variety over $\mathbb{C}$ and $K$ be its function field. How to find a sufficiently small Zariski open set of $Y$ such that it is isomorphic to $K(\pi,1)$? Here $\pi$ is ...
- 667
1
vote
0
answers
125
views
Etale-analytic comparison without elementary fibrations
A theorem due to Artin states that for a smooth scheme $X$ of finite type over $\mathbb{C}$ and a locally constant constructible sheaf $F$ we have an isomorphism
$$
H^*_{et}(X, F)\approx H^*(X(\...
- 287
3
votes
1
answer
290
views
Direct limit of strict henselizations
Assume we have a map $A \rightarrow A'$ of strictly henselian local rings, such that the induced map between spectra $S'\rightarrow S$ is essentially smooth. Is is true that $S'$ is a direct limit of ...
- 21
3
votes
0
answers
160
views
Finiteness of $H^2(X,\mu_n)$
Let $X$ be a proper curve over $k$ (algebraically closed) of characteristic $p>0$.
When is $H_{fl}^2(X,\mu_n)$ is a finite group?
It's true when $X$ is smooth but are there any more general ...
- 171
4
votes
0
answers
150
views
Traces of Frobenius Endomorphism on Etale Cohomology and $G$-torsors
I have a smooth, projective, and rigid Calabi-Yau threefold $X$ defined over $\mathbb{Q}$. Such spaces always have integral models. Let's assume we have an action on $X$ by a finite abelian group $G$...
- 1,701
1
vote
0
answers
165
views
Complex varieties which are not homotopic in complex-analytic topology but have the same etale homotopy types
Do there exist smooth quasi-projective complex varieties $X_1$, $X_2$ such that $X_1(\mathbb{C})$ is not homotopy equivalent to $X_2(\mathbb{C})$ but their etale homotopy types coincide?
- 305
7
votes
1
answer
422
views
The weight filtration on etale cohomology and Berkovich analytic geometry
If $X$ is a smooth projective curve over $\mathbb C_p$, then its first etale cohomology $\mathrm H^1_{et}(X,\mathbb Q_\ell)$ (with $\ell\neq p$) carries a certain weight filtration $W_\bullet$ -- also ...
CommunityBot
- 1
32
votes
2
answers
2k
views
Etale cohomology can not be computed by Cech
It can be proven that if in a quasicompact scheme $X$ any finite subset is contained in an affine open subset then for any sheaf $\mathcal{F}$ on $X$ its Cech cohomology $\hat{H_{et}^{\bullet}}(X,\...
- 8,657
2
votes
1
answer
374
views
Classes of hyperplane sections in cohomology
Let $X$ be a smooth projective variety over the algebraic closure of a finite field with Galois group $G$.
Is it true that the vector space $H^{2k}(X,\mathbf{Q}_{\ell}(k))^G$ has always positive ...
- 137k
5
votes
1
answer
471
views
Frobenius eigenvalues algebraic numbers
Let $X$ be a smooth projective variety over $\mathbf{F}_q$ and $\overline{X}$ its base change to $\overline{\mathbf{F}_q}$.
By Deligne’s Weil I, the eigenvalues of the geometric Frobenius acting on $...
- 137k
4
votes
1
answer
784
views
etale higher direct image sheaf
Let $f:X\rightarrow Y$ be a smooth morphism of schemes such that all the fibres (for geometric points) are affine spaces. Let $F$ be a coherent sheaf on $X$. Is $R^i_{et}~f_*F=0~~~\forall i>0$? ...
CommunityBot
- 1
2
votes
0
answers
137
views
Hodge-Tate weights of etale cohomology groups
Given a smooth algebraic variety $X$ over a number field $F$, its $p$-adic cohomology groups $H^i(X \times_F \bar F, \mathbb Q_p)$ carries an action of $\mathrm{Gal}(\bar F/F)$, which gives a ...
- 453
6
votes
1
answer
279
views
Cokernel of map of étale sheaves
Let $p:\mathbb{G}_m\to \operatorname{Spec} k$ be the structure map, and let $T$ be an algebraic $k$-torus viewed as an étale sheaf over $k$. Why is the cokernel of the canonical map $T\to p_*p^*T$ ...
- 27.3k
15
votes
2
answers
585
views
When is the etale cohomology of $\mathrm{Sym}^n(X)$ isomorphic to the $\Sigma_n$-invariants in the étale cohomology of $X^n$?
Suppose $X$ is a smooth projective variety defined over an arbitrary algebraically closed field $k$, and consider the action of $\Sigma_n$ on the $n$-fold product $X^n$. Is it true that $H_{\acute{e}t}...
- 151k
0
votes
1
answer
122
views
Smooth loci and formal neighborhoods
Let $R$ be a Noetherian local ring with maximal ideal $I$.
Suppose we have a morphism of smooth $R$-algebras $f : A\to B$ such that its reduction modulo $I^n$
$$f_n : A/I^n \to B/I^n$$
is an ...
- 19.3k
5
votes
1
answer
462
views
What is the relationship between the $\ell$-adic cohomology of a DM stack and that of its coarse moduli space?
Let $\mathscr{X}$ be a smooth proper DM stack over a field $k$ (perhaps assumed to be separably closed and/or of char. $0$) and let $\pi \colon \mathscr{X} \rightarrow X$ be its coarse moduli space.
...
- 2,524
1
vote
0
answers
188
views
Group scheme representation from action of a group scheme on a variety?
Let f be some homogenous polynomial of d.
Let $X = \operatorname{Proj} (k[x,y,z]/(f))$
where $k$ is algebraically closed field of characteristic $p>0$.
Now $G$ is a group scheme acting on $X$.
...
- 167