All Questions
Tagged with sheaf-cohomology etale-cohomology
14 questions with no upvoted or accepted answers
4
votes
0
answers
583
views
Etale cohomology of a nodal (cuspidal) curve
Let $k$ be a separably closed field, and $X/k$ be a curve (not necessarily complete) with a single singularity, a simple node $x$. Suppose $\ell$ is a prime number invertible in $k$, how do we compute ...
- 547
3
votes
0
answers
175
views
Deligne's integrality theorem in the setting of $ \mathbb{F}_{\ell}((t)) $-adic cohomology
Let $ \mathbb{F}_{q} $ be a finite field of characteristic $ p $ and $ \overline{\mathbb{F}_{q}} $ be an algebraic closure of $ \mathbb{F}_{q} $. Let $ X $ be a smooth projective variety over $ \...
- 863
3
votes
0
answers
641
views
fppf/ etale Cohomology calculate with Cech cohomology
Let $R$ be a commutative ring with one and $S$ commutative faithfully flat $R$-algebra (that is there is a faithfully flat ring map
let $\phi: R \to S$). Then the so called Amitsur complex
$R \to S^{\...
- 5,966
3
votes
0
answers
446
views
Sheaf cohomology on the formal completion of $\mathbb{P}^1_k$ at its north pole
Let $k$ be a field and let $\mathbb{P}^1_k$ be the projective line over $k$. Let $\mathcal{F}$ be a coherent sheaf on $\mathbb{P}^1_k$. The curve $\mathbb{P}^1_k$ is recovered by the two affine ...
- 1,479
2
votes
0
answers
124
views
The cohomology groups corresponding to a modified global sections functor
Let $\mathcal{F}$ be a sheaf on the big etale site of $Sm_k$. I am looking for a way to calculate a modified version of sheaf cohomology. Let $X$ be a smooth scheme and $Z$ a closed sub-scheme. After ...
- 5,901
2
votes
0
answers
347
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 ...
- 3,472
1
vote
0
answers
128
views
understanding higher direct images of $\mathbb{G}_m$ for a finite Galois map
Let $X$ be a smooth quasi-projective variety over $\mathbb{C}$, and let $\mu_r$ denote the group of $r$-th roots of unity, and moreover suppose $\mu_r$ (algebraically) acts on $X$ freely. Then $Y:= X/\...
- 737
1
vote
0
answers
56
views
local acyclicity when restricting to an hypersurface
Let $X$ be a smooth scheme over $\mathbb{C}$ and a constructible sheaf $K$ of complex vector spaces on $X\times\mathbb{A}^1$ and a function $g:X\rightarrow \mathbb{A}^1$.
Suppose that $K$ is locally ...
- 3,472
1
vote
0
answers
312
views
Cohomology of constant sheaves
Let $X= spec(k)$ where $k$ is an algebraically closed field. Consider the constant sheaf $\mathbb{Z}$ on the fppf site of $X$. I'm interested in computing $H^1_{fppf}(X, \mathbb{Z})$. I know that $H^...
- 11
1
vote
0
answers
132
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 ...
- 101
1
vote
0
answers
101
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 \mathbb{A}^{N}\...
- 16.9k
1
vote
0
answers
238
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?
- 11
1
vote
0
answers
249
views
On inverse images with respect to Zariski-etale topology.
For a variety $X$ I define its Zariski-etale site as follows: the category is the category of etale $X$-schemes, and the coverings are Zariski ones. Note that this topology is more coarse than the ...
- 16.9k
0
votes
0
answers
188
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,472