All Questions
Tagged with sheaves or sheaf-theory
979 questions
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 \...
- 197
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}...
- 2,907
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 ...
- 1,347
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,028
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 ...
- 21.8k
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....
- 29
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,028
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 ...
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 ...
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,028
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 ...
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 ...
- 6,028
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 ...
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,292
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 ...
- 51
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,028
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 ...
- 237
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 ...
- 1,071
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)) \...
- 121
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}(...
- 619
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....
- 237
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)/...
- 237
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
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
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 ...
- 5,701
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
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, ...
user513306
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 ...
- 1,763
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$ ...
- 6,028
2
votes
1
answer
290
views
Calculate stalk of etale derived pushforward sheaf (Milne's LEC)
Assume $X=\operatorname{Spec}(A)$ is connected and normal (especially integral), and let $g:\eta \hookrightarrow X$ be the inclusion of the generic point of $X$. In Milne's LEC script on Etale ...
- 6,028
2
votes
0
answers
252
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 ...
2
votes
2
answers
429
views
If $\mathcal{F}$ globally generated, then counit map $f^*f_* \mathcal{F} \to \mathcal{F} $ surjective
Let $f: X \to S$ be a morphism, and $\mathcal{F}$
be quasi-coherent $\mathcal{O}_X$-module generated by global sections (eg if
$X$ projective, then this holds for the twisted sheaf $\mathcal{F}(n)$ ...
- 619
1
vote
1
answer
271
views
Second fundamental exact sequence of sheaves of differentials. Sufficient condition to get a splitting s.e.s
$\def\spec{\operatorname{Spec}}$I am trying to understand the proof of Lemma 0474 of the Stacks Project. I'll give some context to its statement before discussing its proof: In commutative algebra, if ...
7
votes
1
answer
490
views
Equivariant perverse sheaves and orbit stratification
Let $X$ be a complex algebraic variety with an action of a connected algebraic group $G$.
The forgetful functor from the category of $G$-equivariant perverse sheaves on $X$ to the category of perverse ...
- 3,446
4
votes
1
answer
168
views
Sheaves and gratings
A grating is a notion in algebraic topology from the 1940 introduced by Alexander. Cartan extended it as follows.
A grating (carapace in french) is defined by a topological space $X$, a module (or a ...
- 18.7k
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
3
votes
0
answers
215
views
How to read the definition of Grothendieck Pretopology in SGA4?
In SGA4, the first axiom of a Grothendieck pretopology is given as:
PT0: Pour tout objet $X$ de $C$, les morphismes des familles de morphismes de $Cov(𝑋)$
sont quarrables. (Rappelons qu’un morphisme ...
- 237
5
votes
0
answers
146
views
Do presheaf toposes satisfy the full fan theorem?
Presheaf toposes satisfy LPO and (edit: if over categories with binary products) PAx and countable choice internally, so they automatically satisfy the stable fan theorem (every bar which is the ...
- 1,947
2
votes
0
answers
126
views
Compact generators of $\mathcal{D}\text{-Mod}$ via Mayer Vietoris
Let $X$ be a complex variety (or any space for whom a category of sheaves with the six functors is defined), and
$$i\ :\ Z\ \to\ X\ \leftarrow\ U\ :\ j$$
be complementary open and closed embeddings.
...
- 5,701
4
votes
1
answer
541
views
Clarification on smooth de Rham theorem
I am misunderstanding something in Theorem 2.1.9 in Dimca’s Sheaves in Topology:
Let $X$ be a real smooth manifold. Then the natural morphism from the constant sheaf to the de Rham complex
$$\mathbb{R}...
- 511
1
vote
0
answers
91
views
Quotient sheaf obtained from a quotient of $\mathrm{SL}_2$ having a section
$\DeclareMathOperator\SL{SL}$Let $K$ be a field and let $G$ be a $K$-defined, closed, algebraic subgroup of $\SL_2$. Denote by $\mathcal{C}$ the site whose objects are $K$-schemes, with your favorite $...
- 2,907
3
votes
0
answers
177
views
Sheaf theory in TDA
I was wondering wether anyone had any examples as to why it more useful to consider a sheaf theory approach to TDA problems.
I am familiar with some of the benefits of using cellular cosheaves to ...
- 343
8
votes
0
answers
333
views
Who introduced the notion of ringed spaces?
My question is very concise, please forgive it.
Who introduced the concept of ringed space?
My first try would be that they were introduced by Cartan in his study of analytic functions with sheaves. ...
- 894
3
votes
0
answers
280
views
Cellular (co)Sheaves and applications
In the last few years there have been efforts made to generalise the theory of peristence homology and cohomology to deal with sheaves for example Russold - Persistent sheaf cohomology. This as i ...
- 343
1
vote
0
answers
67
views
Question of deforming a sheaf
Consider over $\mathbb C$. Let $Artin/\mathbb C$ denote the category whose objects are Artinian local $\mathbb C$-algebras with residue field $\mathbb C$, and morphisms are local ring maps preserving ...
- 930
7
votes
3
answers
924
views
not quite the sheaf condition
Let $Sets$ be the category of finite sets and all maps. I have come accross several example of functors $F : Sets^{op} \to Sets$ which satisfy the condition below:
-- There exists an integer $k$ such ...
- 2,287
2
votes
0
answers
239
views
Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\widehat{\mathbb{G}}_a,\mathbb{G}_m)=0$ for $i>0$?
Let $k$ be a characteristic zero field and consider the category $(\mathsf{Sch}/k)_\text{fppf}$ of schemes over $k$ with the fppf topology. I know that $\underline{\operatorname{Hom}}(\mathbb{G}_a,\...
- 711
5
votes
1
answer
512
views
Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\mathbb{G}_a,\mathbb{G}_m)=0$ for $i>0$?
Let $k$ be a characteristic zero field and consider the category $(\mathsf{Sch}/k)_\text{fppf}$ of schemes over $k$ with the fppf topology. I know that $\underline{\operatorname{Hom}}(\mathbb{G}_a,\...
- 711
2
votes
1
answer
193
views
Unifying categorical equivalences and dualities for the functors : Gelfand spectrum and Zariski spectrum, Structural sheaf and Continuous sections
I would be very grateful for any references I might be led to, from a categorical point of view for the functors:
$\textsf{Spec}_{\mathscr{Z}\textrm{arisky}}(-)$, related to $\mathcal{O}(-)$, which ...
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+...
- 21.8k