For questions on the étale cohomology groups of an algebraic variety or scheme, algebraic analogues of the usual cohomology groups with finite coefficients of a topological space.
Questions tagged [etale-cohomology]
348 questions
111
votes
1 answer
Tate conjecture for Fermat varieties
I've been looking at Tate's Algebraic Cycles and Poles of Zeta Functions (hard to find online... Google books outline here) and have a question about his work on (conjecturing!) the Tate conjecture for the Fermat variety $X_m^r$, defined by the…
Alex
- 4,178
38
votes
1 answer
Has SGA 4½ been typeset in TeX?
The title says it all. I've CW'd the question since I'm answering it, as this seemed like the best way to get the news out.
Daniel Miller
- 2,395
25
votes
5 answers
What is the difference between $\ell$-adic cohomology and cohomology with coefficient in $Z_\ell$?
Let $X$ be a non-singular projective variety over $\mathbb{Q}$. Consider on the one hand $H^i_B(X(\mathbb{C}),\mathbb{Z}_\ell)$ the singular cohomology with value in $\mathbb{Z}_\ell$, and on the other hand $\varprojlim…
user10676
- 8,631
25
votes
1 answer
In what sense is $p$-adic Hodge theory related to ordinary (complex) Hodge theory?
I started reading about $p$-adic Hodge theory in the notes of Brinon and Conrad. I quote (page 7):
The goal of p-adic Hodge theory is to identify and study various “good” classes of
$p$-adic representations of $G_K$ for p-adic fields $K$,…
Joachim
- 5,473
23
votes
2 answers
Some basic examples of étale fundamental groups
I'm trying to get a better understanding of étale fundamental groups, and I think that the overall idea -- the big picture -- is beginning to become clear, but my computational ability seems to be essentially nonexistent.
I think that I understand…
user101616
20
votes
1 answer
Relationship between Galois cohomology and etale cohomology.
Why is étale cohomology a natural generalization of Galois cohomology ?
I would like to inform you that I have a few quite sufficient prerequisites Galois cohomology and its application to solve the $90$ - th problem of Hilbert . So I can…
Albert007
- 397
18
votes
1 answer
Why étale?
Background: The notion of an étale morphism has proved itself to be ubiquitous within the realm of algebraic geometry. Apart from carrying a rich intuitive idea, it is the first ingredient in notions and theories such as étale cohomology, a Galois…
user554397
15
votes
1 answer
What is the intuition behind the Fontaine-Mazur Conjecture?
The Fontaine-Mazur conjecture (over $\textbf{Q}$ for simplicity) says that a (continuous irreducible) Galois representation
$$
\rho: \text{Gal}(\overline{\textbf{Q}}/\textbf{Q}) \to GL_n(\overline{\textbf{Q}}_\ell)
$$
"comes from geometry," that is,…
Miles Lake
- 968
- 5
- 12
13
votes
1 answer
Understanding etale cohomology versus ordinary sheaves
I am a physicist trying to understand etale cohomology from Shafaverich, and I would like to check a misunderstanding, undoubtedly.
When defining etale cohomology, it seems it is sheaf cohomology in the sense of right-derived functors, but with the…
JPhy
- 1,858
13
votes
1 answer
The étale fundamental group as a functor
The usual "topological fundamental group" $\pi_1 (X,x)$ of a pointed topological space $(X,x)$ is functorial in the sense that a pointed continuous map $f\colon (X,x)\rightarrow (Y,y)$ induces a homomorphism $f_* \colon \pi_1 (X,x)\rightarrow \pi_1…
Alex Saad
- 3,659
- 16
- 42
11
votes
1 answer
Étale cohomology of projective space
I have some very basic question about étale cohomology.
Namely I would like to compute the étale cohomology of of the projective space over the algebraic closure of $\mathbb F_q$ along with its Frobenius operation:
$$H^i(\mathbb P^n_{\mathbb…
Jan
- 1,969
11
votes
3 answers
Kummer sequence etale topology
Consider the category $C=Sch/S$ of schemes over $S$ and let $n \in \Gamma(S,\mathcal{O}_S)^{*}$. It is possible to show that $$0 \rightarrow \mu_{n,S} \rightarrow \mathbb{G}_m \rightarrow \mathbb{G}_m \rightarrow 0$$
is exact in the etale topology,…
Tommaso Scognamiglio
- 1,468
11
votes
1 answer
How does Galois group acts on etale cohomology?
I know this may be a trivial question, but I can't find the answer on, for example, Milne's online notes and Danilov's Cohomology of Algebraic Varieties.
Suppose $K$ is a number field (say), $\overline K$ its algebraic closure,…
Jz Pan
- 499
10
votes
1 answer
All Etale morphisms $X\to\Bbb A^1$
What are all the etale morphisms from a scheme $X$ to $\Bbb A^1_k$?
Knowing that $X\to \Bbb A^1_k$ is etale means that $X$ is $1$-dimensional I think. Additionally, $X$ must admit a zariski open cover by affines, $X=\bigcup_{i\in I} Spec(A_i)$ where…
Earth Cracks
- 419
10
votes
1 answer
Computing étale cohomology group $H^1( \text{Spec}(k), \mu_n)$ and $H^1( \text{Spec}(k), \underline{\Bbb{Z}/\mathord{n \Bbb{Z}}})$
I am starting to learn about étale cohomology and would like to compute a simple example. Let $k$ be a field with a fixed separable extension $k^s.$ I want to compute $H^1( \operatorname{Spec}(k), \mu_n)$ (I am speaking about the étale cohomology…
proofromthebook
- 1,131