Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [sheaf-theory]

The tag has no usage guidance.

2
votes
1answer
168 views

Restriction of Ext sheaves on closed subschemes

Let $f:X\rightarrow C$ be a morphism, where $C$ is a smooth curve. For $t\in C$ let $i_t:X_t = f^{-1}(t)\rightarrow X$ be the inclusion of the fiber of $f$ over $t$, and let $\mathcal{F}$ a coherent ...
2
votes
0answers
103 views

Restriction of the sheaf of relative differentials

Let $f:X\rightarrow C$ be a morphism, where $C$ is a smooth curve, and let $\Omega_f$ be the sheaf of relative differentials. For $t\in C$ let $i_t:X_t = f^{-1}(t)\rightarrow X$ be the inclusion of ...
6
votes
0answers
53 views

Does the category of $G$-equivariant sheaves have enough injectives?

The question is related to this one. Let $k$ be a field and $X$ be a topological space. We consider Sh$(X)$, the category of sheaves of $k$-vector spaces on $X$. Let $G$ be a topological group which ...
4
votes
0answers
76 views

Could we characterize injective objects in the category of $G$-equivariant sheaves?

Let $k$ be a field and $X$ be a topological space. We consider Sh$(X)$, the category of sheaves of $k$-vector spaces on $X$. Let $G$ be a topological group which act on $X$ continuously from the left....
10
votes
1answer
378 views

Serre spectral sequence for de Rham cohomology

Suppose we a given a fibration of manifolds $p\colon E\to M$ with a path connected fiber $F$ and simply connected $M$, then we have the Serre spectral sequence with $$ E_2^{p,q} = H^p(M,\underline{H^...
0
votes
0answers
58 views

Equivalence of a linear functional and a morphism of sheaves(vector bundles)

$\underline {Background}$: let,$X$ be a smooth projective algebraic variety of dimension $n$ over $\mathbb C$. Let,$\mathcal F$ be a rank $r$ vector bundle on $X$. Then we have trace map $tr:End(\...
5
votes
1answer
270 views

Universal property of sheaf category

Given a site $C$ with a Grothendieck topology and the category of presheaves $P(C)$ (either in the sense of presheaves of sets or in the $\infty$-sense), and the category $S(C)$ of sheaves with ...
1
vote
0answers
88 views

Espace étalé for derived category

It is known that for a sheaf $\mathcal{F}$ on $X$, we can associate $X_\mathcal{F}$, the étalé space of $\mathcal{F}$ over $X$ such that section of $X_\mathcal{F}$ coincides with section of $\mathcal{...
4
votes
0answers
155 views

How to construct the espace étalé (space of sections) for an arbitrary category?

I want to consider the sheaf valued in an arbitrary category (not only of sets, groups, modules and so on) on a topological space, using the language of étalé space. In all references I am reading (...
0
votes
0answers
83 views

A reference for studying special ring

A topological space $X$ is called profinite if it is compact, Hausdorff, and has a basis of open–closed sets. Also a commutative ring $R$ with 1 is called a topological ring it there is a topology on ...
5
votes
0answers
108 views

Topos with enough projectives

It is often observed that every presheaf topos has enough projectives, as a corollary of the result that representables are projective and every presheaf is a colimit of representables. We also have ...
2
votes
0answers
93 views

Compact generation of quasicoherent sheaves on mapping stack

Let $k$ be a field of characteristic $0$, and let $\mathcal{C}= \mathbf{Vect}_k^{\leq 0}$ be the $\infty$-category of vector spaces concentrated in degrees $\leq 0$. Consider the category $\mathbf{Pr}(...
0
votes
0answers
98 views

When is the $p$-power on etale sheaves $\mathbb{G}_m$ injective

Let $X$ be a proper scheme over $k$ where the characteristic of $k$ is $p>0$. Consider the etale sheaves $\mathbb{G}_m$ over $X$ and consider the $p$-th power map from $\mathbb{G}_m \to \mathbb{G}...
3
votes
0answers
76 views

How is the restriction of the dualizing sheaf to an irreducible component related to the dualizing sheaf of the component?

$\DeclareMathOperator{\Spec}{Spec} \DeclareMathOperator{\hom}{\mathcal{Hom}} \DeclareMathOperator{\ox}{\mathcal{O}_X}$Let $f:X \to Y$ be a proper morphism. In section 6.4. of Liu's book he introduces ...
1
vote
0answers
94 views

A sheaf for factorization

Let $R$ be a commutative ring with $1$ and let $X$ be the space of connected componens of $Spec (R) $ with Zariski topology ( The boolean spectrum of $R $ )and let for each $x\in X$ there exists a ...
3
votes
0answers
44 views

Relation between the orientation sheaves of the interior and the boundary of a topological manifold

Let $(M, \partial M)$ be an $n$-dimensional topological manifold with boundary. Let $\mathcal{O}_{M \setminus \partial M}$ and $\mathcal{O}_{\partial M}$ denote the orientation sheaves of $M \setminus ...
4
votes
0answers
143 views

How to visualize the Microsupport of a Sheaf?

I am looking through Persistent homology and microlocal sheaf theory to learn a bit on barcodes. They are require the notion of a microsupport of a sheaf, looks like it could be a rather concrete ...
1
vote
0answers
75 views

example of rank 2 torsion free sheaf with no global sections that is not stable

Ìn the book "Vector bundles on complex projective spaces" the authors prove in Chapter 2 Lemma 1.2.5 that, if $E$ is a rank $2$ reflexive sheaf on $\mathbb{P}^n$, then $E$ is stable if, and only if, $...
2
votes
0answers
119 views

Defineing a Sheaf of rings over a topological space

Let $X$ be a topological space and let $R$ be a commutative ring with $1$ such that for each $x\in X$ there exists a multiplicatively closed subset $S_x$ of $R$ such that for each $a\in R$ if $\frac{a}...
6
votes
1answer
248 views

Cokernel of map of étale sheaves

Let $p:\mathbb{G}_m\to \operatorname{Spec} k$ be the structure map, and let $T$ be an algebraic $k$-torus viewed as an étale sheaf over $k$. Why is the cokernel of the canonical map $T\to p_*p^*T$ ...
0
votes
0answers
77 views

Examples of degree zero, rank one reflexive sheaves without r-th roots

Let $X$ be a normal, projective surface (or more generally a variety) over $\mathbb{C}$ (i.e., $X$ is irreducible). Fix a polarisation on $X$. I am looking for examples of rank one, degree zero (...
5
votes
1answer
177 views

Products, coproducts and equalizers in category of lattices

Background: Let $\mathbf{Lat}$ be the 2-category of lattices which can be viewed as a subcategory of the 2-cateogry of posets $\mathbf{Pos}$, that is, objects in $\mathbf{Pos}$ that have all finite ...
1
vote
0answers
79 views

A special family of prime ideals

I am looking for a commutative ring $R$ with identity which has a family $F:=\{p_i\}_{i\in A}$ of prime ideals such that for each $n\in \mathbb{N}$ there exists $m\in \mathbb{N}$ with $n\leqslant m$ ...
1
vote
1answer
90 views

An ideal and its J-radical

Let $R$ be a commutative ring with $1$ and $I$ be an ideal of $R$. Now let $J=\cap_{I\subseteq m\in Max(R)}m$. Set $A:=\{p\in Spec(R): I\subseteq p\}$ and $B:=\{p\in Spec(R): J\subseteq p\}$, where $...
0
votes
0answers
151 views

Sheafification map is surjective

This is not a research level problem for sure. But, similar question by some one else $2$ years back on Stack exchange has not received any attention. So, I thought it does not suit there. Suppose $...
3
votes
0answers
131 views

What is the filtration in Leray's spectral sequence?

Leray's theory of spectral sequences considers a continuous map $f : X \to Y$ between topological spaces. The statement is that there exists a filtration $$H^n(X,k) = F^0H^n(X,k) \supseteq ... \...
1
vote
0answers
123 views

A family of prime ideals and a family of maximal ideals

Let $R$ be a commutative ring with $1$ and let $\{\frak{p}_\alpha\}_{\alpha\in A}$ and $\{\frak{m}_\beta\}_{\beta\in B}$ be a family of prime ideals and a family of maximal ideals of $R$, respectively,...
1
vote
0answers
51 views

Continuous maps vs filtrations construction of the Leray spectral sequence

The Leray spectral sequence of a continuous map $f : X \to Y$ between two topological spaces can be constructed, as far as I understand, in two ways, one very general, and the other a bit more ...
0
votes
1answer
169 views

Sheaf cohomology relative to a closed subspace

Let $i : A \hookrightarrow X$ be a closed subspace of a topological space $X$, and $j : Z := X \setminus A \hookrightarrow X$ denote its open complement. Given a sheaf $F$ of abelian groups on $X$, ...
2
votes
0answers
46 views

On the limit of a directed system of sheaves

I find myself in the following situation: Let $(\mathcal{F}_i, f_{i,j})$ be a directed system of sheaves, defined on an exhausting family of closed topological subspaces $$X_i \subset X_{i+1} \...
1
vote
1answer
135 views

Commutativity between functors on sheaves of abelian groups

I am trying to understand certain properties of sheaf theory, but I'm having trouble finding the notions to answer my questions. I'd be really glad if someone could help me with the following. Let $f :...
3
votes
1answer
87 views

Interesting (non) examples of singular support

I'm trying to better understand singular support of sheaves on smooth manifolds---to this end: What are examples of conical subsets of $T^*X$ that cannot arise as the singular support of a sheaf on $...
1
vote
1answer
192 views

Direct image of reflexive sheaf via finite, flat map

Suppose $f: X \rightarrow Y$ is a finite, flat (hence locally free) morphism of curves (i.e. schemes of dimension 1, not smooth or even reduced). Suppose $L$ is a reflexive sheaf on $X$, locally free ...
1
vote
0answers
57 views

maps between two Leray spectral sequences based on maps on cochain complexes

Let $f_1:X_1 \to Y_1$ and $f_2:X_2 \to Y_2$ be two continuous maps between topological spaces. I am trying to understand under what condition there could be a map relating the Leray spectral sequences ...
2
votes
0answers
100 views

Maps between Leray spectral sequences

Let $f_1 : X_1 \to Y_1$ and $f_2 : X_2 \to Y_2$ be two continuous maps between topological spaces. Suppose that there exists a commutative diagram of singular cohomology groups (say with coefficients ...
2
votes
1answer
110 views

Leray spectral sequence for continuous functions on pairs of topological spaces

Let $A \subset X$ and $B \subset Y$ be topological spaces, with $A$ and $B$ closed, and $f: X \to Y$ be a continuous functions such that $f(A) \subset B$. The Leray spectral sequence (with complex ...
5
votes
1answer
160 views

What does an ideal correspond to in the internal language of sheaves?

Suppose I have a sheaf $\mathcal F$ in some topos $\mathrm{Sh}(\mathcal C)$. Then this becomes the sheaf of rings from algebraic geometry when described as a ring in the internal language of the topos....
0
votes
2answers
265 views

Can we recover a sheaf from its original presheaf on a basis

This question might be completely totological (I apologize in advance if it is the case): suppose that we are given two sheaves $\mathcal{F}, \mathcal{G}$ of Abelian groups on a topological space $X$,...
5
votes
1answer
226 views

On the Leray spectral sequence and sheaf cohomology

I'm having trouble understanding the construction of the Leray spectral sequence for continuous maps (not necessarily fibrations). More precisely, given a continuous map $f : X \to Y$ between two ...
-4
votes
1answer
841 views

Why sheaves are important and why do we care about them? [closed]

Presheaves are contravariant functors from a category $C$ to the category $Set$, that is functors $P$: $$P:C^{op}\to Set.$$ For every topology $J$ on $C$ we can generate a reflexive subcategory $$Sh(...
2
votes
0answers
145 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 : ...
3
votes
3answers
368 views

A few general questions about pre-sheaves and sheaves

I am no specialist in sheaf theory, so I would be glad to get some help regarding the following: I have a pre-sheaf $F$ of abelian groups above a topological space $X$, and I have found an open ...
11
votes
1answer
393 views

Sheaf-theoretically characterize a Riemannian structure?

A smooth structure on a topological manifold can be characterized as a sheaf of local rings, see for example the discussion here. Q: Is there a way to characterize a Riemannian structure on a smooth ...
5
votes
1answer
212 views

Is the sheaf associated to a differential structure of a specific type?

On a set $X$, let us define a set $\mathcal{D}$ of functions from $X$ to $\mathbb{R}$. Consider first the initial topology $\tau_\mathcal{D}$ on $X$ with respect to $\mathcal{D}$, i.e. the coarsest ...
6
votes
1answer
247 views

Kozsul resolution of $\mathcal{O}_X$

Let $i: X \hookrightarrow Y$ be a closed embedding of smooth algebraic varieties. In the book D-modules, perverse sheaves and representation theory the authors say that there exists a locally free ...
2
votes
0answers
113 views

Quotient of a sheaf by group action and representabillity

Let $X$ be a scheme and $S$ be a sheaf of sets over the fppf topology of $X$. Let $G$ be a group scheme over $X$ and there is an action of $G$ on $S$. Now, I want to look at the quotient $G \setminus ...
1
vote
0answers
83 views

Global sections of twisted dualizing sheaf of Hirzebruch surface

Let consider a Hirzebruch surface $S= \mathbb{P}(\mathcal{E})$ over $\mathbb{P}^1$ with invariant $e \ge 0$ where $\mathcal{E}= \mathcal{O}_{\mathbb{P}^1}(e) \oplus \mathcal{O}_{\mathbb{P}^1}$. Let $\...
5
votes
1answer
223 views

A topos where every object is internally projective but not every object is projective

An object $P$ in a topos $\mathcal{E}$ is said to be projective if $Hom_{\mathcal{E}}(p,-)$ preserves epis, internally projective if $(-)^P$ preserves epis. Can anyone give an example of a topos ...
2
votes
0answers
145 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
vote
0answers
116 views

A question on Hilbert polynomial and flat morphisms

Note: this question was previously asked at math.stackexchange (under the same title) to no avail. I have been recently reading Dr. Kaledin's notes on algebraic geometry. There is a statement in ...