2
votes
0answers
188 views

vanishing of étale cohomology of affine surface

Let $U$ be an affine smooth surface over an algebraic closure of a finite field. Let $\mathscr{A}/U$ be an Abelian scheme and $\ell \neq \mathrm{char}(k)$ be prime. Are there vanishing results for ...
10
votes
0answers
145 views

Degeneration of etale Hochschild--Serre exact sequence

Let $k$ be a field, $X$ a smooth $K$-variety and $\ell$ a prime not dividing the characteristic of $K$. Then one can make sense of continuous $\ell$-adic etale cohomology (in the sense of Jannsen), ...
1
vote
0answers
193 views

'etale topology

Could you recommend me please some basic, self-contained books on 'etale topology. I read Yoshida's article "local class field theory via lubin-tate theory" and some people said that it is somehow ...
3
votes
0answers
139 views

Regulator maps for ordinary varieties

Let $K$ be a finite extension of $\mathbf{Q}_p$ and $\mathcal{X}$ a smooth proper scheme over the ring of integers $\mathcal{O}_K$. For $i, j$ integers with $i \ne 2j$, there's a regulator map $$ ...
10
votes
0answers
221 views

L-Functions of Varieties, Zeta Functions of Their Models

Let $k$ denote a number field, with algebraic closure $\bar{k}$. Take a smooth, projective variety $X$ over $k$. If $\mathfrak{p}$ is a prime of $k$, and $l$ is a rational prime different to the ...
1
vote
0answers
87 views

topological invariance of direct image in the \'etale topology

Let $R$ be a complete local ring (even of dimension one if it helps) and write it as limit of artinian rings $R_n$. Let $X\rightarrow S=Spec(R)$ be proper, finite type even smooth outside the maximal ...
2
votes
1answer
269 views

Pullbacks of intermediate/middle extensions and Gabber's purity theorem

I am currently trying to understand intermediate extensions of perverse sheaves, specifically the proof of Gabber's purity theorem, which states that the intermediate extension of a pure perverse ...
9
votes
1answer
443 views

Etale homology via étale cosheaves

Can one develop a theory of étale homology via étale cosheaves? The hope is that this would, for example, return the Tate module (and not its dual) for an elliptic curve, and it would return group ...
3
votes
0answers
237 views

intersection cohomology and etale cohomology

Hello, Can someone explain or give a reference on the comparison between intersection cohomology and l-adic etale cohomology of a variety over a field of characteristic zero? Thanks!
16
votes
1answer
857 views

Etale site is useful - examples of using the small fppf site?

Edit: After the answers and comments, I'm hoping for a little bit of elaboration (in the comment to the answer below.) Also, question 2 was discussed here: Points in sites (etale, fppf, ... ) There, ...
4
votes
4answers
618 views

Hodge numbers of reduction mod $p$

Let $X$ be a projective variety defined over a number field $K$, and $p \in \textrm{Spec }\mathcal{O}_K$ a maximal ideal, so that reduction mod $p$ makes sense, and the resulting scheme (mod $p$) ...
5
votes
0answers
365 views

On the derived category of constructible étale sheaves

The derived category $D^{\flat}_{c}(X,R)$ of constructible sheaves of $R$-modules on $X_{et}$ is defined as the full subcategory of $D^b(X,R)$ whose cohomology sheaves are all constructible. Clearly, ...
4
votes
1answer
355 views

Is there a “universal” cohomology theory for varieties over p-adic fields?

Let $K$ be a $p$-adic field, $X$ a smooth proper algebraic variety over $K$, and $0 \le i \le 2 \dim X$. For a prime $\ell \ne p$ one can consider the $\ell$-adic cohomology $H^i(\overline{X}, ...
7
votes
1answer
348 views

Is the $\ell$-adic cohomology of a non-proper variety unramified at good primes?

Let $X$ be a smooth variety of finite type over a number field $k$. Let $\overline{X} = X \times_{k} \overline{k}$, and let $\ell$ be a prime. It's well known that if $X$ is proper, then the ...
4
votes
1answer
375 views

Lemmas on etale cohomology with compact support from the book 'Arithmetic Duality Theorems'

I was reading Milne's book "Arithmetic Duality Theorems". On page 166 there are a lot of useful lemmas on the etale cohomology with compact support on S-integers. However, I get confused when I tried ...
3
votes
2answers
365 views

Quotients of Tate modules

Let $p$ be a prime number, let $K$ denote a finite extension $\mathbb{Q}_{p}$ and let $\overline{K}$ be an algebraic closure of $K$. Let $A$ be an ellitpic curve over $K$ and denote by $T_{p}A$ its ...
1
vote
2answers
479 views

Finiteness of étale Cohomology Groups

Mr. Milne, in "Étale Cohomology", gives the following proposition (p.224, Corollary VI.2.8): Proposition: Let $F$ a constructible sheaf on $X_{et}$, the small étale site of $X$, $X$ proper over a ...
14
votes
1answer
986 views

Serre and Tate's conjectures on étale cohomology

In the appendix of Serre and Tate "Good Reduction of Abelian Varieties" [Annals of Mathematics 88 (1968), 492-517], the authors make the following conjectures. Suppose that $X$ is a smooth proper ...
2
votes
0answers
192 views

structure of $T_\ell A$ for $A/\mathbf{F}_q$ an abelian variety

Can someone give me references for the structure of the $G_{\mathbf{F}_q}$-module $T_\ell A$, $A/\mathbf{F}_q$ an abelian variety?
6
votes
1answer
563 views

Galois descent for K-groups (or for étale cohomology groups)

Let $F/K$ be a Galois extension of number fields with Galois group $G$. Let $\mathcal{O}_F$ and $\mathcal{O}_K$ be the associated rings of integers, and let $n\geq 1$. When is $$ ...
19
votes
2answers
1k views

How is etale cohomology of integer rings related to Galois cohomology?

In the paper of Bloch and Kato in the Grothendieck Festschrift, and some other papers relating to the Bloch-Kato conjecture and the ETNC, the cohomology groups $H^i_{\mathrm{et}}(\operatorname{Spec} ...
20
votes
3answers
1k views

how to find the varieties whose cohomology realizes certain representations?

The cohomology of Shimura varieties and Drinfeld shtukas is conjectured to realize the representations sought for in the Langlands programme/conjectures, the cohomology of Deligne-Lusztig varieties ...
3
votes
1answer
714 views

Galois cohomology groups given by étale cohomology

What are cases when Galois cohomology groups are given by étale cohomology? Example: $S = Spec(K)$ the spectrum of a field, $F \in Sh(K)$, then $H^p(K, F) = H^p(G_K, F_{\bar{K}})$. What if $G = ...
16
votes
0answers
562 views

Can one compare integral structures on de Rham and crystalline cohomology?

Suppose $\mathfrak{X}$ is a smooth projective scheme of finite type over $\mathbb{Z}_p$, with generic fibre $X$. Then there are comparison theorems relating de Rham and crystalline cohomology, ...
4
votes
1answer
466 views

Characteristic Complexes in Iwasawa theory

For all that follows, $p$ is a fixed odd prime. In the formulation of the Noncommutative Main Conjecture of Iwasawa theory one uses étale cohomology to define an algebraic object analogous to Iwasawas ...
12
votes
1answer
844 views

Analogue of Shimura curves in the symplectic case?

My understanding is this: one can attach 2-d Galois representations to classical modular eigenforms because one can look in the etale cohomology of modular curves. For Hilbert modular forms the naive ...
15
votes
1answer
464 views

Does every hyperbolic curve over a finite field have an etale cover with a real Frobenius eigenvalue?

More precisely: let X/F_q be a smooth projective algebraic curve of genus at least 2. Does there always exist a curve Y/F_{q^d} with a finite etale projection Y -> X, such that one of the Frobenius ...
13
votes
6answers
1k views

weight 4 eigenforms with rational coefficients---is it reasonable to expect they all come from Calabi-Yaus?

A weight 2 modular form which happens to be a normalised cuspidal eigenform with rational coefficients has a natural geometric avatar---namely an elliptic curve over the rationals. It seems to be a ...
19
votes
2answers
3k views

Intuition behind the Eichler-Shimura relation?

The modular curve $X_0(N)$ has good reduction at all primes $p$ not dividing $N$. At such a prime, the Eichler-Shimura relation expresses the Hecke operator $T_p$ (as an element of the ring of ...
47
votes
4answers
5k views

Etale cohomology — Why study it?

I know (at least I think I know) that some of the main motivating problems in the development of etale cohomology were the Weil conjectures. I'd like to know what other problems one can solve using ...
7
votes
4answers
967 views

cohomology of moduli spaces

Does anyone know if there's any reference on the $\ell$-adic cohomology of some simple moduli spaces/Shimura varieties, like Siegel moduli varieties $A_{g,N}$ of genus $g$ and level $N,$ for small $g$ ...
2
votes
2answers
650 views

roots of analytic functions

Let $z$ be a complex variable and $f(z)$ be a formal power series with rational coefficients (an element in $\mathbb Q[[z]]$), with a finite radius of convergence, and assume $f(z)$ has a meromorphic ...
8
votes
4answers
1k views

Equivalent Statements of Riemann Hypothesis in the Weil Conjectures

In the cohomological incarnation, the Riemann hypothesis part of the Weil conjectures for a smooth proper scheme of finite type over a finite field with q elements says that: the eigenvalues of ...