Questions tagged [sheaf-theory]
For questions about sheaves on a topological space.
894
questions
1
vote
0
answers
60
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 $...
- 685
3
votes
0
answers
80
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 ...
- 333
8
votes
0
answers
298
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. ...
- 785
3
votes
0
answers
80
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 ...
- 333
1
vote
0
answers
55
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 ...
- 636
7
votes
3
answers
871
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,125
1
vote
0
answers
211
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,\...
- 980
5
votes
1
answer
387
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,\...
- 980
2
votes
1
answer
138
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 ...
2
votes
3
answers
339
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+...
- 20.3k
2
votes
0
answers
92
views
Global sections of relative characteristic of log-smooth curves
$\DeclareMathOperator\Spec{Spec}$I am currently learning about log-geometry and try to understand the theory in the example of curves with basic log-structure over a general base $S$. Especially, I am ...
- 113
-1
votes
1
answer
152
views
When morphism of complexes is homotopic to 0?
Let $f\colon A^\bullet\to I^\bullet$ be a morphism of bounded below complexes in an abelian category. Assume all $I^i$ are injective objects. Assume also that $f$ induces the zero map on cohomology.
...
- 20.3k
8
votes
2
answers
1k
views
Geometric interpretation of sheaf cohomology
Please forgive me for the informal and naïve nature of my question, as I am a beginner in algebraic geometry.
In the famous book by Hartshorne, sheaf cohomology is defined as a certain derived functor....
- 179
5
votes
2
answers
197
views
References on principal $\mathbf{C}$-bundles, where $\mathbf{C}$ is a category?
Is there any treatment on principal "categorical" bundles - principal $\mathbf{C}$-bundles, where $\mathbf{C}$ is some (topological) category?
I know that one can define "categorical ...
- 303
1
vote
1
answer
142
views
flatness of restriction of structure sheaf over ring of global sections
Let $X$ be an affine scheme. $U \subseteq X$ open. Then I want to show that $\mathcal{O}_X(U)$ is flat over $\mathcal{O}_X(X)$.
But I want to prove it only by knowing the definition of structure sheaf ...
2
votes
0
answers
158
views
Is this double quotient of $\operatorname{SL}_2$ representable by an algebraic space or a scheme?
$\DeclareMathOperator\SL{SL}$Let $B$ be a Borel subgroup (upper triangular matrices), and let $\Gamma := \langle \sigma\rangle$ be the group generated by a (hyperbolic) element of $\SL_2/\mathbb{Q}_p$ ...
- 685
0
votes
0
answers
105
views
Bijective map between two definition for extension for sheaf on base
Let $F$ be sheaf of sets on base $\mathscr B =${$B_i,i \in I$}, there are two equivalent definitions for the extention for $F$, denoted by $\mathscr F $:
Def1:$\mathscr F(U) $ := {$(f_p \in F_p)_{p \...
- 11
10
votes
3
answers
1k
views
Recommendations for getting into sheaves with emphasis on differential geometry and algebraic topology
I want to study the theory of sheaves from a categorical point of view with an emphasis on applications in algebraic topology and differential geometry and I'm looking for a good introductory book to ...
- 101
0
votes
0
answers
47
views
Unit of the inverse/direct image sheaf adjunction in terms of étale spaces
$\def\sF{\mathcal{F}}
\def\sect{\operatorname{Sect}}$[I am reposting here this question from MSE, since thus far I received no answers there and maybe here I attract the attention of other people that ...
6
votes
1
answer
213
views
Subobject classifier for sheaves on large sites with WISC
Let $\mathsf{C}$ be a possibly large category with a Grothendieck topology satisfying the Weakly Initial Set of Covers condition: there is for each $X$ a set (not a proper class) of covering families ...
- 1,741
1
vote
0
answers
73
views
What is $\text{Hom}(\mathcal{F}\times\mathcal{G}, \mathbb{A}^1)$?
Let $S$ be an affine scheme and let $\text{Aff}(S)$ be the site of affine $S$-schemes. Let $\mathcal{F}$ and $\mathcal{G}$ be a pair of sheaves on $\text{Aff}(S)$, and let $\mathbb{A}^1_S$ be the ...
- 685
3
votes
1
answer
233
views
Is this functor $\mathcal{F}: \text{Sch}/\mathbb{Q}\longrightarrow \text{Sets}$ a sheaf?
Consider the functor $\mathcal{F}: \text{Sch}/\mathbb{Q}\longrightarrow \text{Sets}$, defined by sending a scheme $X$ with coordinate ring $\mathcal{O}(X)$ to the set of orbits $B(\mathcal{O}(X))\...
- 685
0
votes
0
answers
74
views
Why does the associated sheaf vanish?
I am learning local cohomology from Hartshorne’s book Local Cohomology.
My question is about understanding a line in the proof of proposition 1.11 in this book.
The set-up for proposition 1.11 is that ...
- 331
2
votes
0
answers
90
views
Push-forward of a locally constant sheaf using two homotopic maps
Let $X,Y$ be compact smooth manifolds. Let $f,g\colon X\to Y$ be smooth submersions
(in particular, locally trivial bundles) which are homotopic to each other (in the class of smooth maps, not ...
- 20.3k
1
vote
0
answers
128
views
The stack $\operatorname{GL}_2/B$
Let $F$ be the functor from the category of affinoid Tate algebras over $\mathbb{Q}_p$ to the category $\mathrm{Sets}$, which maps an affinoid $\operatorname{Spm} R$ to the set of orbits $\...
- 685
4
votes
1
answer
181
views
Normal bundle of a linear subspace
Let $X\subset\mathbb{P}^N$ be a smooth scheme theoretical complete intersection, and $H\subset X$ a linear subspace. Denote by $N_{H,X}$ the normal bundle of $H$ in $X$.
If $\dim(H) = 1$, that is $H$ ...
- 443
9
votes
0
answers
376
views
Using higher topos theory to study Cech cohomology
It seems to me that many classical statements about Cech cohomology should without much effort follow from Lurie's HTT, but I am struggling to fill out the details. I want to show that, given an ...
- 821
0
votes
0
answers
40
views
Understanding the Lagrangian Lift of a given isotopy
I was looking at the paper "Sheaf quantization of Hamiltonian isotopies
and applications to non-displaceability
problems" by Guillermou-Kashiwara-Schapira(GKS). So firstly, GKS doesn't ...
- 1,091
2
votes
1
answer
170
views
About the support of a holonomic D-module
Let $X$ be a smooth algebraic variety over $\mathbb{C}$ and let $M^\bullet\in\mathsf{D}^b_\text{h}(\mathcal{D}_X)$ be a complex of D-modules with holonomic cohomologies. We define the support of $M^\...
- 980
4
votes
3
answers
469
views
"Quasi-coherent" vector spaces in Sch/S
$\DeclareMathOperator\Vec{Vec}\newcommand\Sch{\mathrm{Sch}}\DeclareMathOperator\Hom{Hom}$Let $S$ be a base scheme. Let me write $\Vec(S)$ to denote the category of $\mathbb A_S$-vector space objects ...
- 745
0
votes
0
answers
171
views
Singular cohomology to cohomology of quasi-coherent sheaf
Let $X$ be a projective nonsingular variety (integral Noetherian scheme of finite type that is proper over a field $k=\overline{k}$ such that $\Omega^1_X$ is locally free). Suppose one knows the ...
- 225
3
votes
0
answers
164
views
The site and the space
There is a (seemingly simple) statement in the literature on sheaf theory, namely,
If $E$ is the site of opens of a topological space $X$, the notion of sheaf over $X$ coincides with that of sheaf of ...
- 785
8
votes
0
answers
248
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) ...
- 399
1
vote
0
answers
73
views
Do the covariant maps of a sheaf with transfer automatically satisfy a dual gluing axiom?
I'm interested in describing a notion of equivariant sheaves that uses Mackey functors on topoi. We can describe a genuine G-spectrum as a spectral Mackey functor on the topos of finite G-sets. If we ...
- 1,738
1
vote
0
answers
58
views
What is the functor of points of the moduli scheme of stable sheaves?
Let $\Bbbk$ be an algebraic closed field of characteristic zero. Let $(\mathrm{Sch}/\Bbbk$ denote the category of locally Noetherian schemes. Let $B$ be a projective scheme over $\Bbbk$. Let $L$ be an ...
- 636
6
votes
1
answer
424
views
Subsheaves of Spec K, K a field
$\DeclareMathOperator\Spec{Spec}\newcommand\Ring{\mathrm{Ring}}\newcommand\op{^\text{op}}\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Sh{Sh}$In the category of schemes the objects of the form $\...
- 745
3
votes
1
answer
119
views
What do we know about a sheaf $M$ if we know its derived fibers $\mathsf{L}x^* M$, for $x\in X(k)$?
Let $X$ be a scheme over a field $k$. (Feel free to assume that $X$ is an algebraic variety, if needed.) Also, let $M^\bullet$ be a complex in the derived category of quasi-coherent sheaves $\mathsf{D}...
- 980
4
votes
2
answers
524
views
Basic question on projective bundles
Let $\mathcal{E}$ be a coherent sheaf on an irreducible scheme $S$ ($S$ can be pretty nice, say noetherian of finite type), and let $\mathbf{P}(\mathcal{E}):=\mathrm{Proj}(\mathrm{Sym}(\mathcal{E}))$ ...
- 633
2
votes
0
answers
103
views
Canonicity in split sequence in cotangent spaces
Let $X$ be a locally ringed space. We have for a point $p$ the exact sequence
$$0\to \mathfrak{m}_p^2\to \mathfrak{m}_p\to \mathfrak{m}_p/\mathfrak{m}_p^2 \to 0$$
where $\mathfrak{m}_p$ is the maximal ...
- 167
11
votes
1
answer
321
views
Resolutions of unbounded complexes: Condition ($\ast$) in Spaltenstein's paper
In the paper "Resolutions of unbounded complexes" (Compositio Math., vol. 65, no. 2, pp. 121-154) N. Spaltenstein generalizes the 6 functor formalism to unbounded complexes of sheaves over ...
- 23k
3
votes
0
answers
115
views
When the sheaf of principal parts is reflexive?
Following EGA IV, we can construct the sheaf of principal parts of a sheaf $\mathcal{E}$ over a scheme $X$ by $\mathcal{P}_X^n(\mathcal{E}) = \mathcal{P}_X^n \otimes \mathcal{E}$, where $\otimes$ is ...
0
votes
1
answer
163
views
Does the (Vistoli-)sheafification induce isomorphism?
Given a presheaf, in Angelo Vistoli's 2007 Notes on Grothendieck topologies,
fibered categories
and descent theory
there is a construction of the sheafification (Proof for theorem 2.64).
Note: In ...
- 117
2
votes
0
answers
125
views
On the generalization of a Cech-to-sheaf type spectral sequence
Let $(X,O_{X})$ be a ringed space and $\mathcal{F^{\bullet}}$ be a bounded below complex of $O_{X}$-modules on $(X,O_{X})$. On [Stacks Project 20.25.1][1] it is shown that there is a weakly convergent ...
2
votes
0
answers
113
views
Norm of sections on $T$-invariant subspace of a homogenous space over $\mathbb{Q}_p$
Let $K=\mathbb{Q}_p$ and $G$ a split reductive group over $K$ with split maximal torus $T$. Furthermore, $X$ is a smooth projective variety over $K$ with a free $G$-action. Let $U \subset X$ be a $T$-...
- 451
2
votes
0
answers
133
views
Is the Grothendieck topology equivalent to its Singleton Grothendieck topology?
I'm using the definition of a Grothendieck topology in Angelo Vistoli’s 2007 Notes on Grothendieck topologies,
fibered categories
and descent theory and I found on nLab about superextensive site, that ...
- 117
4
votes
2
answers
207
views
Is there a Čech-like way of computing $H^\bullet(X,M^\bullet)$ or even $\mathsf{R}f_* M^\bullet$?
Let $X$ be a topological space (or a site) and let $M$ be a sheaf on $X$. If $X$ is paracompact, or if $X$ is a noetherian separated scheme and $M$ is quasi-coherent, or if $X$ is quasi-projective ...
- 980
1
vote
1
answer
166
views
Some question about (semi-)stable sheaves
Let $X$ be a projective normal variety over $\mathbb C$, I have several questions about semi-stable sheaves:
Question 1. Suppose that $E$ is a pure sheaf such that $HN_*(E)$ is the Harder-Narasimhan ...
- 3,312
4
votes
1
answer
340
views
Is the determinant line bundle of a coherent sheaf functorial (between sheaves of the same rank)?
The determinant line bundle of a coherent sheaf $\mathcal{F}$ on an $n$-dimensional (smooth) analytic space is defined as
\begin{equation}
\det \mathcal{F} := \bigotimes_i^n (\det \mathcal{E}_i)^{⊗...
- 1,091
1
vote
0
answers
100
views
Joins of (closed) subschemes and Zariski-local Z-functors
$\newcommand\Aff{\mathrm{Aff}}\newcommand\cRing{\mathrm{cRing}}\newcommand\Sch{\mathrm{Sch}}$Equip $\Aff = \cRing^\text{op}$ with the Zariski Grothendieck-topology. There are nested categories:
$$\Aff\...
- 745
0
votes
0
answers
149
views
Is $\mathbb{C}^*$ not irreducible, or is every locally constant sheaf on $\mathbb{C}^*$ constant?
I am running into contradiction from the following set of definitions, propositions, and assumptions. Can anyone spot where I'm off?
Definition A sheaf $\mathcal{F}$ on a topological space $X$ is ...
- 225