The tag has no wiki summary.

learn more… | top users | synonyms

17
votes
0answers
829 views

Is there a Grothendieck-Riemann-Roch type of theorem generalizing Grothendieck's Lefschetz trace formula

Grothendieck deduced that the L-function of a (constructible) $\ell$-adic sheaf on a variety over $\mathbf{F}_p$ is rational from the generalized trace formula. My first question is based on the ...
16
votes
0answers
566 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, ...
13
votes
0answers
504 views

Status of conjectures in Serre's 1969 expose on Galois representations on l-adic cohomology

In [S]: Serre, Jean-Pierre. Facteurs locaux des fonctions zeta des varietes algebriques (definitions et conjectures), Seminaire Delange-Pisot-Poitou, 1969-70 Serre presents nine conjectures ...
10
votes
0answers
155 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), ...
10
votes
0answers
226 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 ...
8
votes
0answers
351 views

Comparison of etale and formal etale cohomologies for l=p

Let $K$ be a finite extension of $\mathbb{Q} _p$ with a field of integers $\mathcal{O} _K$. Let $X$ be a semistable proper scheme over $\mathcal{O} _K$, and $\mathcal{X}$ the associated p-adic formal ...
7
votes
0answers
466 views

Is there a deep relationship between models and étale cohomology ? If so, why, and is it made precise somewhere ?

Let me recall two theorems : Let $K$ be a field, $\overline{K}$ be a separable closure of $K$ with absolute Galois group $G_K:=Gal(\overline{K}/K)$, and let $\ell$ be a prime that is ...
6
votes
0answers
259 views

Étale cohomology with support and functoriality

Suppose we have a scheme $X$ and a closed subscheme $Z$, with complement $U$. Then, for any étale sheaf $F$ on $X$, we get a long exact sequence in cohomology $\cdots H^i(X,F) \to H^i(U,F) \to ...
6
votes
0answers
184 views

The Rappoport-Zink spectral sequence vs. the one of the complement of a normal crossing divisor

As far as I understand these matters, for a regular $\mathfrak{X}$ that is proper flat of finite type over $\operatorname{Spec}\mathbb{Z}_p$, the Rappoport-Zink spectral sequence relates the etale ...
6
votes
0answers
181 views

Purity and six operations?

The six operations $f_!,f^!,f_*,f^*,\otimes,\mathcal Hom$ have the property that they preserve estimates on weights in one direction. For $f_!,f^!,f_*,f^*$ I can see, that they don't preserve purity ...
6
votes
0answers
242 views

Is there excision for fppf cohomology?

I am wondering whether the analogue of III.1.27 in Milne's "Etale cohomology" holds true if one works with fppf cohomology with supports instead of etale cohomology with supports. More precisely, let ...
6
votes
0answers
277 views

Formality of algebraic varieties via l-adic cohomology?

The cohomology with say real coefficients of any smooth projective algebraic variety is formal, by Deligne, Griffiths, Morgan, Sullivan: Real homotopy theory of Kähler manifolds, Inv. Math. 29, ...
6
votes
0answers
482 views

Definition of etale neighbourhood

In Milne's EC, he defines an etale neighbourhood of a point $x \in X$ by a pair $(Y,y)$ with an etale morphism $f: Y \to X$ where $f(y) = x$, such that $k(x) = k(y)$. What I don't understand is this ...
6
votes
0answers
265 views

Does one need l to be invertible in S in order to consider the l-adic cohomology of S-schemes and motives?

When Ivorra defines the $l$-adic realization of $S$-motives (i.e. of Voevodsky's motives over a scheme $S$) he demands $l$ to be invertible in $S$. Is this condition really necessary? What happens ...
6
votes
0answers
922 views

An example computation of etale cohomology

(edited for clarity) In a comment on a response to this question, moonface states the following: "Even if you tried to compute H^2 [etale with Z/5Z-coefficients] of a surface fibered in genus 2 ...
5
votes
0answers
430 views

Grothendieck monodromy theorem for l-adic sheaves

Hi, Suppose that $F$ is a local field, $G_F$ its Galois group, $I$ the inertia subgroup, $k$ its residue field. Let $X$ be a finite type scheme over $k$. Let $C$ be a constructible $l$-adic sheaf on ...
5
votes
0answers
381 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, ...
5
votes
0answers
311 views

Do 'change of coefficients' functors for sheaves commute with the four functors (formalism)?

For a morphism $f$ of varieties over a field of characteristic $\neq l$ I can consider the functors $Rf_*$, $f^\ast$, $f_!$, and $f^!$ both for the corresponding derived categories of 'all' ...
5
votes
0answers
271 views

Do there exist weak Lefschetz-type statements that were proved for varieties over complex numbers, but were not proved in finite characteristic?

As far as I understood the situation (reading section 3.5B of Lazarsfeld's "Positivity in algebraic geometry" and also some of the references), some of weak Lefschetz-type statements known rely on ...
5
votes
0answers
500 views

Do all the main properties of constructible and perverse sheaves (in an 'arithmetic' situation) follow from results of Gabber?

This question is a continuation of Bad behaviour of perverse sheaves over 'general' bases? Let $S$ (for example) be a finite type separated scheme over $\mathbb{Z}$. I would like: (1) to ...
5
votes
0answers
195 views

Which pure categories related with Weil cohomology theories are semi-simple?

As far as I understand, the category of pure polarizable Hodge modules is semi-simple, whereas the cohomology of the corresponding schemes is graded polarizable. Is it true that one doesn't have any ...
4
votes
0answers
121 views

analogy between connections and $\ell$-adic sheaves: what happens with the residue?

There are many analogies between $\ell$-adic sheaves on varieties over finite fields and vector bundles with connections on varieties over fields of characteristic zero. I would like to know what is ...
4
votes
0answers
145 views

Tame fundamental group

Let $X$ be a normal and flat scheme over $Spec(\mathbb{Z})$. We know a good way to compute the etale fundamental group of $X$. Can we say sth similar for the tame fundamental group. If so, what would ...
4
votes
0answers
225 views

Is first etale cohomology of a variety always (dual to) a Tate Module?

The two examples I have in mind are curves and abelian varieties. To be precise, if $C$ is a smooth projective algebraic curve over a number field $K$, then, for a prime $l$ ...
4
votes
0answers
146 views

What is the meaning of the cospecialization map?

This question comes from the same place as my other one. In reading SGA 4 1/2, but not SGA4 itself (at least, not the obvious sections xv + xvi), one can learn about the "cospecialization morphisms" ...
4
votes
0answers
94 views

Fiberwise acyclic, locally acyclic morphisms

The quick definition of a map $f \colon X \to B$ of schemes being acyclic is that the natural unit of adjunction $\def\id{\operatorname{id}}\id \to f_* f^*$ is an isomorphism, where we take $f_*$ to ...
4
votes
0answers
337 views

classify \mu_n torsors

Recently I read in Milne's book "etale cohomology" that the set $H^1(X,\mu_n)$ ($X$ a scheme, $n$ a nature number, the cohomology is flat cohomology) can be described as the set of pairs $(L,\phi)$, ...
4
votes
0answers
327 views

Étale cohomology of linear groups

This is in a sense a follow up question to the answer here Analytic tools in algebraic geometry Let $k$ be an algebraically closed field of positive characteristic and let $R$ be the result of ...
3
votes
0answers
135 views

Reference request: construction of Chern classes

I am looking for a reference on splitting principle for etale cohomology of simplicial schemes (over arbitrary field k). I found a paper by Schechtman, "On the delooping of chern character and Adams ...
3
votes
0answers
175 views

Cohomology of BG, algebraically

Let $k$ be a field (algebraically closed if you will) and $G$ be a connected reductive group over $k$. I would like to know a purely algebraic computation of the cohomology of $BG$, as the quotient ...
3
votes
0answers
140 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 $$ ...
3
votes
0answers
253 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!
3
votes
0answers
186 views

limit of étale cohomology with supports

I would like to know if the following generalisation of Milne Étale Cohomology, Lemma III.1.16, p. 88 holds: (all cohomology groups with respect to the étale topology) Let $Y \hookrightarrow X$ ...
3
votes
0answers
205 views

On (the cohomology of) Hensel pairs

I would like to study the cohomology of the Henselization $H_X(Z)$ of a closed subvariety $Z$ of a variety $X$. I would like the following facts to be true (and to make sense!:)). a.) The motivic ...
3
votes
0answers
773 views

Etale cohomology of regular local rings

Let $R$ be a regular local ring (I am particularly interested in the case when $R$ is the local ring of a point on a smooth scheme of finite type over a field). Let $G$ be the etale fundamental group ...
3
votes
0answers
882 views

When is the base change morphism an isomorphism?

This is a rewrite of a previous question, which was in turn a follow up question to Leray-Hirsch principle for étale cohomology The motivation is to clarify some points in Torsten Ekedahl's ...
2
votes
0answers
134 views

l-adic cohomology and perverse sheaves

Let consider the map $tr:\mathbb{G}_{m}^{n}\rightarrow\mathbb{A}^{1}_{\mathbb{F}_{q}}$ given by the sum of the coordinates and let $\psi:\mathbb{F}_{q}\rightarrow\mathbb{Q}_{l}^{*}$ a non trivial ...
2
votes
0answers
194 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 ...
2
votes
0answers
141 views

integral hard Lefschetz

I am looking for examples $(X,\eta)$ where the integral hard Lefschetz is an isomorphism: $X/k$ is a smooth projective variety of dimension $d$ over an algebraic closure of a finite field and $\eta ...
2
votes
0answers
296 views

Why is this frobenius acting like that frobenius?

My question came up while reading this article by Nicholas Katz, specifically lemma 4.2. I don't think it's necessary to read the article to answer the question, but I'm including it anyways for ...
2
votes
0answers
83 views

integral stable conjugacy classes

Let $G$ be a semisimple simply connected group over $k$ algebraically closed field . Let $\gamma,\gamma'\in G(k[[\pi]])$ that are generically regular semisimple on $G(k((\pi)))$. We assume that ...
2
votes
0answers
73 views

Continuity of constructible derived category

Let $X_0$ be a variety over $\mathbb F_q$. Denote by $X_n$ its basechange to $\mathbb F_{q^n}$ and let $X=\lim X_n$ be its basechange to the algebraic closure $\overline{\mathbb F}_q$. Let ...
2
votes
0answers
86 views

The etale cohomology``ring" structure of torsion sheaves on varieties

For a topological manifold $M$, one can speak of the cohomology ring structure $H^*(M, k)$ where $k$ is a ring. If one replace $M$ by an arithmetic schemes $X$ over a base ring $S$, and replace $k$ by ...
2
votes
0answers
183 views

Flat cohomology for finite infinitesimal group scheme over a perfect field

Let $G$ be a finite infinitesimal group scheme (e.g.$\mu_p,\alpha_p) $ over a perfect field $k$, how much is known about $H^1_{fppf}(k,G)$?
2
votes
0answers
112 views

Some 'weak proper and smooth base change' theorems for Nisnevich sheaves?

Among the most important tools for studying etale cohomology are the proper and smooth base change theorems. I suspect that these theorems are no longer true for Nisnevich cohomology (probably finite ...
2
votes
0answers
132 views

Does mapping cylinder category have enough injectives?

Let $A, B$ be two abelian categories, and $\tau : A \to B$ a left exact functor. We define a category $C$ as follows: objects: triples $(M, N, \varphi)$ where $M\in A, N\in B$ and $\varphi: N\to ...
2
votes
0answers
231 views

Does Artin's vanishing hold for '$E_2$-weight pieces' for (torsion) cohomology of affine varieties?

Let $X$ be an affine variety of dimension $n$ (say, over complex numbers). Then Artin's vanishing theorem yields: both singular and etale cohomology $H^i(X):=H^i(X,\mathbb{Z}/l\mathbb{Z})=0$ for ...
2
votes
0answers
196 views

The restriction of the Gersten resolution (for etale cohomology) onto a closed subvariety.

There is a very important result of Bloch and Ogus: for any smooth variety $X$ and fixed $r\in \mathbb{Z}$, $r\ge 0$, $l$ is prime to the residue field characteristic, the Zariski sheafification of ...
2
votes
0answers
304 views

What are the easiest cases of base change (for sheaves on sites)?

I have a closed embedding of schemes $i:X'\to X$, and for each of them I consider three Grothendieck topologies for the category of the corresponding (relatively) \'etale schemes: the \'etale one, the ...
2
votes
0answers
242 views

Do inverse images respect flabby sheaves?

Let $i:Y\to X$ be a closed embedding of varieties, and let $S$ be a flabby \'etale (or Nisnevich) sheaf of abelian groups on $X$. Is $i^*S$ flabby also? I am mostly interested in the case when ...