All Questions
21 questions with no upvoted or accepted answers
8
votes
0
answers
681
views
Stalks of limit sheaves
Let $\{\mathcal{F}_i\}_{i\in \mathbb{N}}$ be an inverse system of sheaves of abelian groups on a space $X$. Then for any $x\in X$ we have a natural map
$$\left(\lim_i \mathcal{F}_i\right)_x\rightarrow ...
- 4,418
5
votes
0
answers
220
views
Is there a simple counterexample to étale proper base change on the unbounded derived category?
The best non-derived version of proper base change on the étale site of a scheme I know is that for $f : X \to Y$ proper and $g : Y' \to Y$ arbitrary, the base change morphism $g^{-1} R f_\star \...
- 605
5
votes
0
answers
336
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' (...
- 16.9k
4
votes
0
answers
216
views
When inverse image presheaf is already a sheaf
Following proof from Milne's Étale Cohomology (page 94) contains an equality I not understand.
Setting: assume $X$ is a variety (=absolutely reduced, irreducible scheme of finite type over base field ...
- 6,038
4
votes
0
answers
432
views
Reference request: sheaf-theoretic operations in the classical topology?
Like many graduate students before trying to learn something about étale cohomology and Deligne's proof(s) of the Riemann hypothesis part of the Weil conjectures, I am hunting for references detailing ...
- 273
2
votes
0
answers
137
views
details of a dévissage argument for constructible sheaves
I am working on the following Künneth-type isomorphism from [SGA5, exposé III, 2,3]:
$\mathrm{Settings}.$ Let $X_1, X_2$ be separated finite type schemes over the spectrum of a field $S=\mathrm{Spec}...
- 375
2
votes
0
answers
114
views
Two natural morphisms of sheaves with the same source and target; do they agree?
Suppose we have a diagram
$\require{AMScd}$
\begin{CD}
A @>a>> B\\
@V b V V @VV c V\\
C @>>d> D @>e>> E \\
@VfVV @VVgV @VVhV \\
F @>>i> G @>>j> H
\end{CD}...
- 125
2
votes
0
answers
167
views
Explicit construction of a presentation of a constructible sheaf of $\mathbb{Z}$-modules
This question was prompted by the two following:
Constructible étale sheaves on X are étale algebraic spaces over X
Naive question about constructing constructible sheaves
If I have a ...
- 617
2
votes
0
answers
193
views
Usage of Leray spectral sequence
Maybe this is an elementary stuff for experts, I could not figure it out by myself. Let $\pi:G\to S$ be an elliptic curve with zero section $e:S\to G$. Take $\mathcal{H}=(R^1\pi_*\mathbb{Q}_\ell)^\vee$...
- 1,428
2
votes
0
answers
72
views
Support of étale sheaves
Let $X$ be a scheme, $i: Z\to X$ a closed subscheme, $j: U\to X$ its complement in $X$. Assume the codimension of $Z$ in $X$ is large (at least $2$).
Let $A$ be an étale sheaf on $U$, $B$ an étale ...
user120812
2
votes
0
answers
175
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 \...
- 945
2
votes
0
answers
358
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 ...
- 16.9k
2
votes
0
answers
414
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 $S=i_{x*...
- 16.9k
1
vote
0
answers
174
views
Galoisian perspective on local system tamely ramified along a smooth divisor
This question is about (1.7.8) and (1.7.11) in Deligne’s Weil II paper.
Let $X$ be a regular scheme and $D\subset X$ a smooth principal divisor cut out by the function $t$. Let $\mathcal F$ be a ...
- 1,217
1
vote
0
answers
180
views
Weaker version of smooth base change for étale sheaves
Consider the cartesian square of schemes
$$ \require{AMScd}
\begin{CD}
X' @>{g'}>> X \\
@V{f'}VV @VV{f}V \\
S' @>>{g}> S
\end{CD}
$$
and the base change map
$$ \eta : ...
- 11
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
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
1
vote
0
answers
236
views
Can etale $X$-schemes be lifted to $Y$, where $X$ is closed in $Y$?
For a closed embedding (of varieties) $X\to Y$ let $U/X$ be etale. Is is true that there necessarily exists an etale $U'/Y$ such that $U'_X=U$? If this is wrong in general, are there any assumptions ...
- 16.9k
1
vote
0
answers
333
views
Does n-multiplication maps of cohomology groups vanish if it vanishes at the 0th cohomology?
In general, we know that a morphism $f=(f ^ {q})$ between universal (cohomological) $\delta$ functors $S=(S ^ {q}),T=(T ^ {q})\ $vanishes if and only if $f ^ {0} \ \colon \ S^{0} \to T^{0}$ vanishes....
- 945
0
votes
0
answers
133
views
Higher direct images of locally constant etale sheaf under smooth proper map locally constant
Let $f:X \to Y$ a surjective smooth proper map between Noetherian schemes and $F$ a locally constant sheaf on small etale site of $X$.
Question: Refering to Donu Arapura's answer here, how to see that ...
- 6,038
0
votes
0
answers
156
views
A stalk criterion for unit map to be an isomorphism on étale site
Let $f: X \to Y$ be a morphism of schemes and $\mathcal{F}$ sheaf of sets/Abelian groups on the small étale site $Y_{ét}$. Assume we manage somehow to show thatat every geometric point $\overline{y} \...
- 6,038