All Questions
Tagged with sheaves or sheaf-theory
979 questions
4
votes
0
answers
102
views
Topos as a totally cocomplete object in a 2-category CART
In the preface to Sketches of an elephant, Peter Johnstone gives a list of characterizations of topos, some applicable to elementary (ii- finite limits and power objects) other to Grothendieck (i- ...
- 1,347
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
5
votes
1
answer
286
views
Origin of the name Trace resp Integral symbol for the trace map of Dualizing Sheaf
Let $X \subset \mathbb{P}^n_k$ be a normal projective subscheme over $k$ of dimension $n$. The dualizing sheaf is in context of Serre duality a pair $(\omega_X,t)$ (which exists in that case) ...
- 6,038
8
votes
1
answer
390
views
Grothendieck axioms and sheaf categories
An abelian category, $A$, is said to satisfy axiom AB6 if for every family of filtered diagrams $I_j$ indexed by a set $J$, the canonical map $\mathrm{colim}_{\prod_{I_j}}(\prod_j M_{ij}) \to \prod_J \...
- 2,303
0
votes
2
answers
331
views
Vakil exercise on sheaf associated to the divisor of rational section
This is exercise 15.4.G. of Vakil's notes.
Let $\mathscr{L}$ be an invertible sheaf on an irreducible normal scheme $X$ with $s$ a rational section of $\mathscr{L}$. We want that $\mathscr{O}_X(\text{...
- 29
1
vote
1
answer
122
views
System of local isos gives system of local epis
Suppose that $W$ is a system of local isomorphisms on a presheaf topos $\mathbf{Pre}(\mathcal{C})$. We say a map in $W$ is a $W$-local isomorphism, and we say that a map of presheaves $f: X \to Y$ is ...
- 506
7
votes
2
answers
7k
views
On a proof of the existence of tubular neighborhoods.
Studying analysis on manifolds, I have found, in the proof of the existence of tubular neighborhoods, a reference to theorem 3.1.2 in "Topologie algebrique et theorie des faisceaux" of Godement.
...
- 1,446
39
votes
6
answers
9k
views
What is the inverse image sheaf necessary for in algebraic geometry?
Given a continuous map $f \colon X \to Y$ of topological spaces, and a sheaf $\mathcal{F}$ on $Y$, the inverse image sheaf $f^{-1}\mathcal{F}$ on $X$ is the sheafification of the presheaf
$$U \mapsto \...
- 18.4k
4
votes
4
answers
696
views
Canonical product in sheaf cohomology
EDIT: Let $\mathcal{F},\mathcal{G}$ be sheaves of abelian groups on a topological space $X$. Then there exists a canonical cup product
$$H^i(X,\mathcal{F})\otimes_\mathbb{Z}H^j(X,\mathcal{G})\to H^{i+...
- 1,020
2
votes
0
answers
170
views
Hodge bundles associated to a family of complex manifolds
I'm reading Voisin's books on Hodge theory. In the first volume she claimed but didn't prove this theorem:
Theorem 10.10 (Voisin) Let $\varphi:\chi\rightarrow B$ be a family of compact complex ...
- 21
6
votes
0
answers
103
views
Is the derived category of sheaves localised at pointwise homotopy equivalences locally small?
In order to define the cup and cross products in sheaf cohomology, Iversen makes computations in an intermediate derived category. If $K(X;k)$ is the triangulated category of cochain complexes of ...
- 1,020
3
votes
1
answer
149
views
(Derived category of) sheaves over an infinite union
The short version of my question is:
Suppose $X$ is a (reasonably nice) topological space such that $X = \bigcup_{n \ge 1} X_n$ for an increasing sequence of (closed) subspaces $X_1 \subset X_2 \...
- 40.2k
3
votes
1
answer
260
views
Etale cohomology of relative elliptic curve
Let $E_a: y^2 = x(x-1)(x-a)$ be a smooth proper relative elliptic curve over $\text{Spec}(A)$, with $a\in A$, and assume $\text{Spec}(A)$ is a $\text{Spec}(\mathbb{Q}_p)$-scheme.
Let $R^1f_*\mathbb{Q}...
- 148k
7
votes
1
answer
205
views
Variation on definition of logical functors avoiding power objects
Without power sets in meta-theory not every Grothendieck topos is an elementary topos, Set is still Grothendieck, but it lacks power objects.
Now I am looking for a definition of a logical functor ...
- 66.8k
0
votes
0
answers
57
views
Lifting of quadrics containing hyperplane section for projectively normal curves
Let $C \subset \mathbb{P}^r$ be a projective curve (over $k=\mathbb{C}$), smooth, irreducible and nondegenerate of degree $d$, ie the embedding line bundle $\mathcal{O}_C(1)=(\mathcal{O}_{\mathbb{P}^r}...
- 6,038
4
votes
1
answer
335
views
Gluing objects of derived category of sheaves
Let $X$ be a locally compact topological space (may be assumed to be a stratified space with finite stratification).
Let $\{U_i\}$ be an open finite covering. Assume that over each $U_i$ we are given ...
- 28.7k
3
votes
1
answer
226
views
Čech cohomology refinement mapping
Let us consider the map $t_{AB}^*:H^1(A,F)\to H^1(B,F)$ between the cohomology groups, induced by the refinement map $t_{AB}:J\to I$, where $F$ is a sheaf of abelian groups on $X$, $A$ and $B$ are ...
CommunityBot
- 1
2
votes
1
answer
446
views
Hypersheaves vs derived category of sheaves
This question arose from Peter Scholze's notes on six functor formalisms, specifically lecture VII in the proof of proposition 7.1.
We fix a LCH space $X$ and consider the functor $D(\mathrm{Ab}(X)) \...
- 12.9k
1
vote
0
answers
272
views
Vakil's Generalization of qcqs Lemma
(This was also simultaneously asked on math stack exchange: https://math.stackexchange.com/questions/4857715/vakils-generalization-of-qcqs-lemma)
In the most recent notes of Vakil, this is problem 15....
- 10.4k
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 ...
- 63.9k
5
votes
1
answer
411
views
Day convolution and sheafification
$\DeclareMathOperator\Psh{Psh}\DeclareMathOperator\Sh{Sh}\newcommand\copower{\mathrm{copower}}$I was looking through Bodil Biering's thesis On the Logic of Bunched Implications - and its relation to ...
- 13.6k
3
votes
1
answer
212
views
Reference for original Leray definition of a sheaf
Leray originally defined sheaves over closed sets. Is there any easily readable (i.e. obtainable through the Internet and written in English) reference that explicitly states the definition using ...
- 37.8k
3
votes
1
answer
550
views
Characterization of étale locally constant sheaves over a normal scheme
I have a question about the verification of remark 1.2 in James Milne's book Étale Cohomology stated on page 156:
Assume $X$ be a normal & connected scheme with generic
point $g: \eta \to X$.
Then ...
- 148k
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
0
votes
1
answer
115
views
Do covector fields correspond to homomorphisms of $ \mathscr C^\infty $-modules from the sheaf of vector fields to the sheaf of smooth functions?
This question has been crossposted from MSE since there it received no attention. Please notify me if questions like these are not appropriate for this platform.
The question
Let $ M $ be a smooth ...
- 37.8k
1
vote
0
answers
100
views
Site structure on smooth fibered manifolds
Let $\mathsf{FB}_{s}$ be the category whose objects are smooth fibered manifolds, and whose morphisms are smooth strong projectable maps. Recall that given fibered manifolds $(\pi:Y\rightarrow X)$ and ...
- 3,307
5
votes
0
answers
163
views
Why equaliser of product and terminal object is coproduct?
I’m reading “Sheaves in geometry and logic”, in page 80:
Please refer to [1]: https://i.sstatic.net/INrU0.jpg
It says “…,therefore $FU=\coprod_{x\in U} fx$. The space…”.
So could anyone please explain ...
- 6,367
1
vote
0
answers
221
views
Line bundles on curve with nodal singularity
Let $C$ be be an irreducible reduced curve over alg closed field $k$ with only one single nodal singularity $x$ and $f:N \to C$ it's normalization with $f^{-1}(x)=\{x_1,x_2\}$ (as set), and an iso ...
- 6,038
98
votes
10
answers
14k
views
equivalence of Grothendieck-style versus Cech-style sheaf cohomology
Given a topological space $X$, we can define the sheaf cohomology of $X$ in
I. the Grothendieck style (as the right derived functor of the global sections functor $\Gamma(X,-)$)
or
II. the Čech ...
- 4,492
2
votes
1
answer
94
views
Are the injections of a coproduct a cover in the canonical pretopology?
Assume we're in a category $C$ with all pullbacks and finite coproducts.
Recall that the canonical coverage of $C$ is the finest Grothendieck (pre) topology for which all representables are sheaves. A ...
- 42.4k
2
votes
1
answer
242
views
Derived category of local systems of finite type on a $K(\pi,1)$ space: an explicit counterexample
Let $X$ be a nice enough topological space. I am mostly interested in smooth complex algebraic varieties. One may ask whether the bounded derived category of the category $\mathrm{Loc}(X)$ of local ...
- 148k
10
votes
0
answers
533
views
Isbell duality between algebras and sheaves
nLab says on Isbell duality, the following:
A general abstract adjunction
$(\mathcal{O} \dashv \operatorname{Spec}) : \mathrm{CoPresheaves} \leftrightarrows \mathrm{Presheaves}$
relates (higher) ...
- 1
7
votes
1
answer
787
views
Definition of the cotangent complexes of Artin stacks
I am studying the notion of the cotangent complexes of Artin stacks reading LMB's book and Olsson's paper. According to them, the cotangent complexes are defined as projective systems in their derived ...
CommunityBot
- 1
2
votes
1
answer
752
views
why is counit called the trace map
Let $f: X \to Y$ be a morphism of schemes, then
$f_*$ and $f^*$ form an adjoint pair inducing natural
correspondence
$\text{Hom}_{\mathcal{O}_X}(f^*\mathcal{G},\mathcal{F})=
\text{Hom}_{\mathcal{O}_Y}(...
- 148k
6
votes
1
answer
395
views
Relationship between canonical topology on a topos and its site of definition
The canonical (Grothendieck) topology for a category $C$ is the largest (finest) topology such that every representable presheaf over $C$ is a sheaf.
According to First Order Categorical Logic Lemma 1....
- 42.4k
4
votes
2
answers
340
views
Sheafification of presheaf of trivial vector bundles is the stack of vector bundles
This is a deliberately vague question, possibly obvious to experts. Let $F$ be a field. Over the (say, fpqc) site of $F$-schemes, we may define a presheaf $T^{\textrm{pre}}$ that takes a scheme $S$ ...
- 1,611
2
votes
1
answer
151
views
Is the slice of a subcanonical site also subcanonical?
A subcanonical site is one for which every representable functor is a sheaf.
For a subcanonical site $C$, the fundamental theorem of topos theory says that there is an equivalence $Sh(C/c)\cong Sh(C)/...
- 63.1k
9
votes
1
answer
370
views
G-topological spaces and locales
Consider the following generalization of topological spaces:
Definition: Let $X$ be a set. A G-topology on $X$ is given by certain distinguished subsets $U \subset X$, called admissible open subsets, ...
- 63.1k
2
votes
0
answers
65
views
Coequalizers and pullbacks in $\infty$-topoi
In an $\infty$-topos, suppose we have two cartesian diagrams of the form
$$
\require{AMScd}
\begin{CD}
\overline{A} @>>> \overline{B} \\
@VVV @VVV \\
A @>>> B .
\end{CD}
$$
Let
$$
\...
- 66
2
votes
0
answers
253
views
The conormal sheaf is the sheaf of sections of the conormal bundle for smooth manifolds
$\def\sO{\mathcal{O}}
\def\d{\mathrm{d}}$In ringed spaces theory, there is a notion of “conormal sheaf of an immersion” (mainly used in scheme theory), whereas in smooth manifold theory, there is the ...
8
votes
0
answers
443
views
Sheaf of compact Hausdorff spaces but not a condensed anima
Consider the site $\mathbf{CHaus}$ of compact Hausdorff spaces together with the finitely jointly surjective families of maps as coverings. Restriction induces an equivalence of categories $$ \mathbf{...
- 435
66
votes
4
answers
11k
views
Is there a good way to think of vanishing cycles and nearby cycles?
Once in a while I run into literature that invokes vanishing cycle machinery with a cryptic sentence like, "this follows from a standard vanishing cycle argument." Is there a good way to look at ...
- 1,446
16
votes
2
answers
1k
views
Which topological spaces have the property that their sheaves of continuous functions are determined by their global sections?
I hope I'm using the terminology correctly. What I mean is this: fix $K = \mathbb{R}$ or $\mathbb{C}$ (I'm interested in both cases). Which topological spaces $X$ have the property that for every ...
- 1,446
2
votes
1
answer
245
views
Compatibility of Beck Chevalley condition: sheaves
Given a (not necessarily Cartesian) square of spaces
$$\require{AMScd}\begin{CD}
X @>g>> \overline{X} \\
@VVfV @VV\overline{f}V \\
Y @>\overline{g}>> \overline{Y}
\end{CD}$$
does the ...
- 409
1
vote
0
answers
74
views
Idempotent completeness
We say a category $\mathcal{N}$ is exact if it is additive and is endowed with an exact structure. In brief, it is an additive category with a predetermined class of short exact sequences in its ...
- 167
4
votes
3
answers
473
views
Locally ringed space with noetherian stalks and a non-coherent structural sheaf
I am looking for a locally ringed space the stalks of which are noetherian and such that the structural sheaf is not coherent over itself. Can you provide me an example of this?
Notice that one may ...
- 938
3
votes
1
answer
466
views
Finding global sections of a sheaf of sets using (some kind of) sheaf cohomology?
Let $X$ be a compact manifold, say, and $G$ a Lie group, and $H$ a closed Lie subgroup such that $M \cong G/H$ is a homogeneous space. (For my purposes, $X$ and $M$ would be a smooth projective ...
- 28.7k
8
votes
2
answers
2k
views
Can we relate Cech cohomology and derived functor cohomology even when the cover we choose isn't nice?
In my algebraic geometry class this semester, we've learned about Leray's Theorem, which states that for a sheaf $\mathcal{F}$ on a topological space $X$, and $\mathcal{U}$ a countable cover of $X$, ...
- 4,492
8
votes
1
answer
1k
views
Fpqc sheafification and localisation
I am slightly confused about sheafification at the moment.
I first learned sheaves defined as a subcategory of presheaves, then I was told that sheaves are also a localisation of presheaves, then I ...
- 405
1
vote
1
answer
176
views
Field of fractions of etale stalk of Dedekind domain (Example from Milne's LEC)
Let $X=\operatorname{Spec}(A)$ be an affine Dedekind domain with field of fractions $K$. Let $\widetilde{A}$ be the integral closure of $A$ in separable closure $ K^{\text{sep}}$. A closed point $x$ ...
- 28.7k