The tag has no usage guidance.

learn more… | top users | synonyms

3
votes
1answer
288 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)$?
1
vote
0answers
97 views

A certain 'coniveau-like' filtration for cohomology: what can one say about the intersection of $Ker H^i(X)\to H^i(Z)$ for $Z$ running through subvarieties of $X$ of dimension $m$?

Let $X$ be a smooth variety (say, a complex one; denote its dimension by $n$). What can one say about the intersection of $Ker (H^i(X)\to H^i(Z))$ for $Z$ running through (closed, not necessarily ...
2
votes
0answers
132 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 ...
0
votes
1answer
357 views

The fibres of smooth projective families over all geometric points have isomorphic cohomology; are these isomorphisms 'functorial'?

Let $p:P\to S$ (and $p':P\to S$) be proper smooth morphisms of 'nice' schemes (one may assume that $S$ is a complex variety). It is well-known that the fibres of $p$ (and $p'$) over all geometric ...
3
votes
2answers
489 views

Hodge-Tate weights of etale cohomology

Let $K/\mathbb Q_p$ be a local field, $X/K$ a proper scheme with semi-stable reduction. Question: What is the possible range of Hodge-Tate weights of the etale cohomology $H^i(X_{\overline K}, ...
7
votes
1answer
705 views

Points in sites (etale, fppf, … )

I asked a part of this in an earlier question, but that part of my question didn't receive precedence. Etale site is useful - examples of using the small fppf site? Let $X$ be a scheme (assume it ...
16
votes
1answer
1k 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, ...
3
votes
1answer
154 views

Does the Hilbert polynomial determine the weight of the Galois representation associated to a variety

Let $X$ be a curve or an abelian variety (over a finite field). Then the Galois representation associated to $X$ via the etale cohomology of $X$ (in degree $1$) is integral of weight $1$ and its ...
1
vote
1answer
421 views

Fundamental Group and Etale Cohomology

I encountered the following statement without a reference many times. For a smooth variety $X$ over a perfect field $k$. $Hom(H^1_{et}(X, \mathbb{Z}/n), \mathbb{Z}/n) \cong \pi^{ab}_1(X)/n$ Is there ...
4
votes
4answers
702 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$) ...
3
votes
2answers
230 views

$Pic(X)/l=0$ in terms of $H^*_{et}(X,\mu_{l^n})$?

I would like to calculate Picard groups of certain schemes over fields; I'm mostly interested in the question whether $Pic(X)$ is infinitely $l$-divisible, i.e. whether $Pic(X)/l=0$, $l$ is a prime ...
7
votes
0answers
540 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
261 views

family of gerbes over smooth and proper algebraic varieties

Let $X$ be a smooth and proper variety over $\mathbb{C}$. Let $F$ be an $\mathbb{A}^1$ family of $\mathbb{G}_m$ gerbes over $X$. Suppose the fibers over every point away from 0 in $\mathbb{A}^1$ are ...
1
vote
0answers
70 views

How can one compute the cohomology of $i'^*C$, for $i':\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\setminus \{0\} $?

For an (etale or 'topological', constructible bounded) complex of sheaves $C$ on $X'=\mathbb{A}^{N}\setminus \{0\} $, $i'$ being the embedding $\mathbb{A}^{N-1}\setminus \{0\}\to ...
7
votes
2answers
605 views

Interpreting $f^*f_*$

For a morphism of schemes $f: X\rightarrow Y$, one often considers the function $f^*f_*$ on sheaves. For example, this appears in adjunction for sheaves of $\mathcal{O}_X$-modules, the projection ...
8
votes
2answers
386 views

Can one ignore primes lying over $l$ in the Fontaine-Mazur conjecture? Counterexamples?

The Fontaine-Mazur conjecture predicts that an $l$-adic Galois representation of a number field is 'geometric' if it is unramified outside a finite set of primes and is De Rham for primes lying over ...
4
votes
2answers
635 views

Weights for etale cohomology: why does Deligne's definition work?

For a field $K$ and a variety $X/K$ (whose characteristic could be $0$) I need a 'simple' explanation for the (Deligne's) method of defining weights of the $l$-adic etale cohomology of $\overline{X}$ ...
0
votes
1answer
197 views

Sommese's theorem (generalized Weak Lefschetz) in arbitrary characteristic?

Sommese's theorem is a natural generalization of the Weak Lefschetz; for a smooth projective (connected) $X$, an ample vector bundle $E/X$ of rank $e$, and a section $s:X\to E$ it states that the ...
17
votes
1answer
993 views

Any algebraic substitute for Morse theory (and homology) in arbitrary characteristic?

As far as I know, Morse theory yields much information on the topology of smooth manifolds; in particular, it can be used to prove Artin's vanishing (that the singular cohomology of smooth complex ...
5
votes
1answer
471 views

The main idea in the proof of Artin's vanishing

Does anybody know an easy explanation of the proof of Artin's vanishing theorem (that the etale cohomology of an affine variety of dimension $n$ over an algebraically closed field vanishes in degrees ...
15
votes
2answers
719 views

Motivic generalisation of Neron-Ogg-Shaferevich criterion

Given a variety $X$ over $\mathbb{Q}$ with good reduction at $p$, proper smooth base change tells us that its $l$-adic cohomology groups are unramified at $p$ (and I'd guess some $p$-adic Hodge theory ...
2
votes
1answer
292 views

Is There a Mayer-Vietoris Spectral Sequence of Motivic Cohomology for Closed Coverings?

For etale cohomology, there is a spectral sequence of the following form ("Mayer-Vietories spectral sequence for closed covers"): $E_{1}^{p,q}=\oplus_{i_{0}< \cdots < i_{p}} H_{ Y_{i_{0} \cdots ...
6
votes
1answer
406 views

motivic t-structure and realisations

Let $k$ be a field and $DM_k$ denote the triangulated category of geometric motives with $ \mathbb{Q}$ coeffients over $k$. Recall that there exists a motive functor $M: Var_k\rightarrow DM_k$, which ...
0
votes
1answer
392 views

Lefschetz fixed point formula: an 'easy' proof; cohomology with compact support

I have two questions concerning the LFPF (for etale cohomology). Is there an easy 'explanation' of this statements (that could be understood by students)? In particular, I would like to get away ...
5
votes
1answer
421 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
363 views

What is the importance of the conjectural semi-simplicity of the action of the Frobenius on the etale cohomology of a variety over a finite field ?

It is conjectured that the action of the Frobenius acting on the etale cohomology of an algebraic variety over a finite field is semisimple. A first approximation of my question is : What is the ...
18
votes
1answer
1k views

Example of non-projective variety with non-semisimple Frobenius action on etale cohomology?

This question was motivated by a more general question raised by Jan Weidner here. In general one starts with a variety $X$ (say smooth) over an algebraic closure of a finite field $\mathbb{F}_q$ of ...
6
votes
1answer
729 views

Semisimplicity of Frobenius operation on etale cohomology?

Let $X_0$ be a variety defined over a finite field of characteristic $p \neq l$. Is it true, that the action of the frobenius on the l-adic cohomology $H_l^*(X)$ is semisimple (say for smooth $X_0$)? ...
7
votes
1answer
405 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 ...
2
votes
0answers
143 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 ...
1
vote
1answer
220 views

Are these connecting homomorphisms commutative?

Are the connecting homomorphism induced by Kummer sequence and that of localization sequence commutative? In other words, is the following statement true? If it is true, then, how can one prove it? ...
1
vote
0answers
201 views

why is the local field Q_l not an etale sheaf over a scheme X?

I would like to know the reason why the local field Q_l is not an etale sheaf over a scheme X while its ring of integers Z_l can be regarded as a constant etale sheaf?
4
votes
1answer
434 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
388 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 ...
6
votes
0answers
301 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, ...
4
votes
1answer
521 views

etale homotopy and Adams conjecture

I was reading Quillen's paper on "Some remarks on etale homotopy theory and a conjecture of Adams". Up to some fact about etale version of spherical fibrations which was later proved by Friedlander, ...
1
vote
1answer
793 views

Long exact sequence of cohomology and fibration

In an article I'm reading, the author is stating : $O$ is isomorphic to the complement of a zero section of a line bundle over $X$. We have a long exact sequence of (étale) cohomology associated ...
4
votes
0answers
371 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
1answer
416 views

is generically split Azumaya algebra locally split?

Let $A$ be an Azumaya algebra over a scheme $X$ (or maybe more specifically a scheme of finite type over a field). Suppose that the restriction of $A$ to $U=X\setminus Z$ (where $Z$ is a closed set) ...
1
vote
2answers
209 views

Detecting zero morphisms via an open subscheme and its complement.

In the setting described in Bernstein, Beilinson, and Deligne, associated to a scheme $X$, a closed subscheme $i: Z \to X$ and its open complement $j: U \to X$ we have six functors between the ...
2
votes
1answer
417 views

Poincare pairing and polarization of Hodge structure. Kuga-Satake construction.

If $X$ is a K3 surface over the complex (algebraic) then I wonder if the poincare pairing induces a polarization on the Hodge structure $H^2(X,\mathbb Z)$? The point is that I see that when ...
3
votes
1answer
631 views

A Kunneth formula for the etale cohomology of the product of ('simple') varieties over not (necessarily) algebraically closed field

If $X$ and $Y$ are varieties over an algebraically closed field, then in the corresponding derived category of complexes we have $RH_{et}(X\times Y,\mathbb{Z}/l^n\mathbb{Z})\cong ...
1
vote
1answer
181 views

How can one bound 'the lower perverse degree' for a constant sheaf on a variety that is smooth in high codimension?

Let $V$ be a variety (or a Whitney stratified space); $C$ is a constant etale ('topological') sheaf on it. Let $t$ denote the middle perverse t-structure for the corresponding derived category (of ...
4
votes
1answer
745 views

The Gysin long exact sequence for the complement of the zero section of a line bundle over a (possibly) singular base

Let $pr:X\to Z$ be a line bundle of (possibly) singular varieties (that could be reducible) over a characteristic $p$ field ($p$ could be zero); $U$ is the complement to the zero section $Z\to X$. ...
1
vote
0answers
204 views

What can one say about a smooth variety whose lower cohomology is trivial?

Let $X$ be a smooth (quasi-affine) complex variety; suppose that its cohomology (say, with integral coefficients) is trivial in degrees $0 < i\le s$ (for some $s>0$). What can one say about such ...
7
votes
1answer
832 views

Is there an integral version of Faltings' isomorphism in p-adic Hodge theory between etale and Hodge cohomologies

Let $K$ be a $p$-adic field, that is a complete discrete valuation ring of characteristic $0$ with a perfect residue field $k$ of characteristic $p > 0$ (to simplify one could also take $K$ to be a ...
19
votes
1answer
704 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 ...
6
votes
1answer
398 views

How to compute the étale cohomology of the quotient of a surface by a finite group of automorphisms ?

Let $S$ be a smooth surface defined over a finite field $K$ of char. $p$. Let $G$ be a finite group of automorphisms of $S$. Let $Z\to S/G$ be the minimal resolution of the quotient of $S$ by $G$. ...
3
votes
2answers
437 views

Can we decide if an abelian variety is simple by knowing its Zeta function ?

Let $A$ be an Abelian variety defined over the finite field with $q$ elements. Let $P_i(T)$ be the characteristic polynomial of the action of the Frobenius on the $i^{th}$ étale cohomology group. Is ...
4
votes
1answer
276 views

Reference wanted - etale sheaves on $X$ versus on $\overline{X}$

Hello, Let $X$ be a scheme of finite type over a field $k$. Let $l$ be an Galois extension of $k$ with Galois group $\Gamma$, and $\overline{X}$ be the base change of $X$ from $k$ to $l$. Then If I ...