The tag has no usage guidance.

learn more… | top users | synonyms

3
votes
1answer
283 views

Galois cohomology of a non-abelian group over a function field

Let $k$ be an algebraically closed field, and $X$ a connected smooth projective curve over $X$. Let $F$ be the function field of $k$. Let $G$ be an algebraic group over $k$ (assume that it is smooth, ...
5
votes
1answer
170 views

$\mathbb{A}^1$-invariance of categories of Finite Etale Covers

Let $k$ be algebraically closed with characteristic $0$. For a scheme $X$, let $FEt(X)$ be the category of finite etale covers of $X$. What can be said about $FEt(X \times \mathbb{A}^1)$ and the ...
2
votes
1answer
130 views

Is an $\ell$-adic local system on $\mathbb A^2$ that restricts to a trivial local system on every vertical line a pullback via the first projection?

This question is a reformulation of a special case of the question An $\ell$-adic local system which is trivial on every fiber of a morphism (this special case did not receive an answer on ...
3
votes
2answers
173 views

An $\ell$-adic local system which is trivial on every fiber of a morphism

Let $f: X \to Y$ be a morphism with connected fibers, where $X, Y$ are smooth algebraic varieties (I am specifically interested in the case when $f$ is a Zariski locally trivial fibration with ...
5
votes
1answer
341 views

The Weil numbers and modulus of an elliptic curve

I have an ignorant question about elliptic curves which I'll be slightly imprecise about. If I have an elliptic curve $X$ defined over $\mathbb Z$, I can base change to $\mathbb C$, and then ...
4
votes
0answers
138 views

How to compute the first etale cohomology of a constructible torsion-free sheaf?

I am interested in the following example! Let $k$ be a field, let $X_0$ be the scheme $\mathrm{Spec}R$ with $R_0=k[x,y]/(xy)$, let $R$ be the strict Hensilian localalisation of $R_0$ at the origin ...
4
votes
1answer
162 views

$l$-dependence of the group of homologically zero cycles

Consider the class map $$cl:CH^i(X)\to H^{2i}_{cont}(X,\mathbb{Z}_l(i))$$ where the RHS is the continuous etale cohomology(defined by Jannsen in his paper "Continuous etale cohomology"). In this paper ...
6
votes
1answer
232 views

Under what conditions is the induced map of etale fundamental groups surjective?

Let $f:X \to Y$ be a morphism of schemes. I am interested in sufficient conditions on $f$ which would ensure that the induced map $\pi_1^{et}(X) \to \pi_1^{et}(Y)$ of etale fundamental groups is ...
5
votes
0answers
100 views

Gysin exact sequence for a singular subvariety

Let $k$ be an algebraically closed field (I'm interested in a characteristic $p>0$ specific example) and let $X$ be a (smooth if needed) algebraic variety. Let $Y \subset X$ be a (possibly) ...
2
votes
0answers
113 views

Specialization theorem for cohomology groups

If $f:X\longrightarrow Y$ is a proper lisse morphism and $\mathcal{F}$ is a torsion sheaf on $X$ then one has: $$ (R^{i}f_{*}\mathcal{F})_{\overline{y}}\cong ...
4
votes
0answers
77 views

Weil structures and rational structures on $\overline{\mathbb{Q}}_{\ell}$-sheaves

In the literature concerning characteristic functions of varieties over a finite field, there is a notion called Weil structure defined in the following way: Definition Let $X$ be a finite type ...
6
votes
2answers
333 views

Algebraic proof without using comparison theorem for étale cohomology

Let $X$ be some smooth scheme over $\mathbf C$ equipped with an action of $\mu_n$ (the group of $n$th roots of unity). The étale cohomology groups of X are therefore equipped with an action of ...
8
votes
1answer
239 views

Motivic cohomology and pushforward maps

I have a question about pushforward maps for the motivic cohomology groups $H^p(X, \mathbf{Q}(q))$, for $X$ a smooth variety over a characteristic 0 field. According to Mazza--Voevodsky--Weibel ...
4
votes
1answer
194 views

How do non-trivial global differentials give non-trivial cohomology classes in positive characteristic

Let $k$ be an algebraically closed field and let $X$ be an $n$-dimensional smooth projective variety over $k$. If $k= \mathbb C$, there is a natural injective morphism of vector spaces ...
5
votes
0answers
234 views

A problem on universally locally acyclic

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ and $S$ be two smooth varieties over $k$ and $\mathcal F$ a constructible \'etale sheaf of $\mathbb F_\ell$-modules on $X$ ...
0
votes
0answers
99 views

Cycle with integral coefficients from cycle with $\mathbb Z_l$-coefficients

Let $X$ be a $n$-dimensional ($n>2$) smooth projective variety over $k=\bar k$ of positive characteristic. Take a divisor $D\in Pic(X).$ Suppose we know that $\frac{[D]^2}{2}\in H^4(X,\mathbb ...
2
votes
2answers
196 views

Birational morphism and first cohomology group

Let $f:X\rightarrow Y$ be a proper birational morphism of smooth projective varieties over $k=\bar k$ ($char(k)>0$). Is it true that $H^1(Y,\mathbb Z_l)\stackrel{f^*}\simeq H^1(X,\mathbb Z_l)$ ...
2
votes
1answer
159 views

Higher direct image of locally constant torsion sheaf (étale cohomology)

Let $\phi:X\rightarrow Y$ be a generically smooth projective surjective morphism of algebraic varieties over $k=\bar k.$ Is it possible for $R^1\phi_*(\mathbb Z/l)$ to be supported on a divisor of $Y$ ...
2
votes
0answers
101 views

Cycle map and flat cycle

Let $\mathcal X\rightarrow C$ be a smooth projective morphism over an open subset of $\mathbb A_k^1$ ($k$ algebraically closed of characteristic $p>0$, one can suppose $C$ to be the spectrum of a ...
1
vote
1answer
244 views

Etale cohomology and topological invariance

Let $X$ be a projective scheme and $X_0 \subset X$ a subscheme defined by a nilpotent ideal. Denote by $i:X_0 \to X$ the closed immersion. Let $\mathcal{F}$ be a locally free sheaf sheaf on ...
4
votes
1answer
253 views

Picard groups of Fano varieties in positive characteristic

Let $k$ be an algebraically closed field of characteristic $p \geq 0$. Let $X$ be a smooth Fano variety over $k$ and let $\ell \neq p$ be a prime. Is the natural morphism $\mathrm{Pic}(X) \otimes ...
3
votes
0answers
181 views

Is there a Hochschild-Serre spectral sequence for unramified cohomology?

Similar to the Hochschild-Serre spectral sequence for etale cohomology ($H^p(G, H^q_{et}(X_L, \mathcal F|_{X_L})) \Rightarrow H^{p+q}_{et}(X, \mathcal F)$ for a Galois field extension $L/k$ with ...
1
vote
0answers
61 views

Picard sequence for sujective morphisms

Given $\phi:X\rightarrow Y$ a surjective morphism of $k$-algebraic varieties ($k$ separably closed), I wanted to find how the write an exact sequence involving Pic(X) and Pic(Y). We can use the long ...
8
votes
1answer
385 views

Group schemes, adeles, double cosets, and étale cohomology

Let $K$ be a number field, $R$ the ring of integers of $K$, ${\mathbf{A}^f}$ the ring finite adeles of $K$, and ${\widehat{R}}\subset {\mathbf{A}^f}$ the ring of integral adeles. Let $G$ be an affine ...
2
votes
1answer
103 views

formally etale deformations of algebras

Let $A$ be a local artinian ring with residue field $k$, $S$ a $k$-algebra. Suppose there is a formally etale deformation $B$ of $S$ over $A$, i.e. a flat $A$-algebra $B$ such that $S\cong ...
0
votes
0answers
49 views

constructibility for pushforward

Let consider a quasicompact open $j:U\rightarrow\mathbb{A}^{\mathbb{N}}$ over a field $k$, Is there an example where $Rj_{*}\mathbb{Z}/n\mathbb{Z}$ is not constructible, where $n$ is prime to the ...
3
votes
2answers
246 views

étale cohomology via Cech cocycles for a quasi-projective scheme

I am looking for the explicit reference to the fact that for a quasi-projective scheme a class in the étale cohomology of a sheaf of a certain degree can by computed using Cech cocycles.
1
vote
1answer
81 views

Stalks of higher direct image under open embedding

Let $U$ be an open subset of $\mathbb P^1$ without two points (say $t=0$ and $t=\infty$) and $j: U\to \mathbb P^1$ be an open immersion. Ground field $k$ is algeraically closed. Let $G$ be the group ...
5
votes
0answers
256 views

Is it possible to assume that an étale neighborhood is connected?

I am new to étale topology (though I've seen Grothendieck's sites before). Let $S:=\mathcal{O}^\textrm{sh}_{X,x}$ be the strict local ring of a point $x$ of a scheme $X=\operatorname{Spec}R$ (over a ...
8
votes
1answer
283 views

When does the continuous Galois(=etale) cohomology of fields coincide with the naive one? Often true by the Bloch-Kato conjecture?

For a field $F$ I am interested in its $l$-adic (Galois=\'etale) cohomology; here $l$ is a prime distinct from the characteristic of $F$ (for simplicity one may assume that the latter is $0$). For ...
7
votes
1answer
456 views

Étale cohomology versus classical cohomology

Let $X$ be an algebraic variety over $\mathbb{C}$. If $X$ is smooth, the étale cohomology $H^p_{\textrm{ét}}(X,\mathbb{Z}/n)$ is isomorphic to the singular cohomology ...
19
votes
1answer
908 views

When is “independence of l” known?

My question is for which varieties over local fields is "independence of l" known for etale cohomology. Say $X/{\mathbb Q}_p$ is a complete non-singular variety and $W_l$ is the (complex) ...
0
votes
1answer
134 views

cohomology of an intermediate extension of a local system

Let $V$ be affine $n$-space over a field $k$; and $j \colon U \to V$ an open subscheme of $V$. Let $L$ be an $\ell$-adic local system on $U$. Suppose the cohomology of $H^{\bullet}(U,L)$ does not ...
4
votes
0answers
189 views

$H^2(S, f_* \mathbb{G}_m)$ in the fppf versus etale topology for proper $f$

Let $f\colon X \rightarrow S$ be a proper morphism of schemes. Is the cohomology group $H^2(S, f_* \mathbb{G}_m)$ the same regardless of whether it is computed in the etale or the fppf topology? And ...
5
votes
1answer
324 views

“Weight-monodromy” for open varieties

Suppose that $X/\mathbb{Q}_p$ is a smooth, projective variety, and choose a prime $\ell\neq p$. Then the weight-monodromy conjecture says that the graded pieces $\mathrm{Gr}_k^M$ of the monodromy ...
6
votes
1answer
409 views

Is the Weil–Deligne representations coming from $\ell$-adic cohomology independent of $\ell$?

Let $F$ be a $p$-adic field. Let $(G_{F}, W_{F}, I_{F})$ denote the (absolute Galois group, Weil group, inertia group) of $F$. Let $X/F$ be a proper smooth variety. Let $\ell$ be a prime number $\ne ...
12
votes
2answers
585 views

Are there known cases of the Mumford–Tate conjecture that do not use Abelian varieties?

(For a formulation of the Mumford–Tate conjecture, see below.) The question As far as I know, all non-trivial known cases of the Mumford–Tate conjecture more or less depend on the Mumford–Tate ...
2
votes
0answers
112 views

Hodge numbers of l-adic sheaves?

Assume first that $C$ is a curve, say over $\mathbb{Q}$ and $(E, \nabla)$ is a vector bundle with a flat connection. Assume further that $(E, \nabla)$ has regular singularities at $S=\overline{C}-C$. ...
4
votes
0answers
177 views

Tate's conjecture and symmetry of Hodge-Tate weights

I'm reading Bellaiche's notes on the Block-Kato conjecture (Hawaii summer school). Here is the link http://people.brandeis.edu/~jbellaic/BKHawaii5.pdf At page 10 he claims that an indirect ...
5
votes
1answer
247 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 ...
0
votes
0answers
148 views

Descent datum for a line bundle

Let $\pi:C \to \mathbb P^1$ be a double cover branched at $r$ points. To understand the theory of descent better, I would like, if possible, to construct by hands the descent datum of a line bundle ...
2
votes
0answers
214 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
1answer
142 views

Compute higher direct image for Gm under open embedding

Let $U \subset \mathbb P^1$ be an open subset of projective line (over $\mathbb C$) after removing $r$ points and $j: U\hookrightarrow \mathbb P^1$ an open immersion. How do I compute $R^1j_*\mathbb ...
6
votes
1answer
360 views

$\ell$-adic monodromy theorems (over $\mathbb{C}$)

This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].) Notation $H$ denotes étale cohomology. Let ...
7
votes
2answers
397 views

Twist in identification with singular cohomology

Let $X$ be a smooth projective variety over $\mathbb{Q}$ and $$V = H^m(X(\mathbb{C}), \mathbb{Q} \cdot (2\pi i)^r)$$ Then I've seen people write the comparison with complex cohomology (an isomorphism ...
4
votes
1answer
410 views

Comparison of etale and singular cohomology for varieties over number fields

Whilst reading Hartshorne's appendix C I came across the comparison theorem for etale cohomology and singular cohomology: Let $X$ be a smooth projective variety over a number field $K$ and $\ell$ a ...
1
vote
0answers
176 views

Question about the specialization map for Etale Fundamental Groups

Let $A$ be a complete, discrete valuation ring, and let $s$ (resp $\eta$) be the special (resp. generic) point of $S=Spec(A)$. Let $\phi:X \rightarrow S$ be a proper morphism and fix geometric base ...
2
votes
0answers
251 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 ...
4
votes
1answer
206 views

Unravelling some hypotheses on a variety

In Le group de Brauer II, Grothendieck states Proposition 1.4.- Soit $X$ a préschéma noetherien. Supposon que les anneaux hensélisés stricts des anneaux locaux de $X$ soient factoriels, [...] ...
4
votes
2answers
236 views

an explicit weak equivalence between $B{\mathbb G}_m$ and ${\mathbb P}^\infty$

OK, so I asked a similar question before; $B{\mathbb G}_m$ is a simplicial presheaf over number field $k$. I see that there is some $A^1$-homotopy equivalence between the sheaf represented by ...