# Questions tagged [sheaf-theory]

The sheaf-theory tag has no usage guidance.

767
questions

**10**

votes

**0**answers

153 views

### How to model (affine) schemes with a large sketch?

Guitart states in "Toute theorie est algebrique et topologique" (Proposition 17) without proof (at least, I don't understand the hints there) that the category $\mathbf{Sch}$ of schemes is ...

**3**

votes

**1**answer

125 views

### Sheaves on sites given by a (regular) cd-structure

Let $C$ be a category equipped with a Grothendieck topology generated by a cd-structure (see https://ncatlab.org/nlab/show/cd-structure or Voevodsky's paper Homotopy theory of simplicial presheaves in ...

**10**

votes

**1**answer

576 views

### How to motivate constructible sheaves

I'm writing some notes for some students which just finished a first course in scheme theory. There I would like to talk about constructible sheaves, but I found it hard to give a compelling ...

**2**

votes

**1**answer

170 views

### Example of an Algebraic Space (“false” affine line with different tangents at origin)

I have a question about the following example from the Algebraic spaces and quotients by equivalence relation of schemes by Roy Mikael Skjelnes (page 12)
of a presheaf quotient, which
has associated ...

**5**

votes

**0**answers

103 views

### Refinement of hypercovers by ordinary covers

I am asking for references and discussions of statements of the form
Every bounded hypercover can be refined by an ordinary cover
E.g., are there conditions for a site making this statement true?
My ...

**4**

votes

**1**answer

209 views

### Functorial isomorphisms

$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Sh{Sh}\DeclareMathOperator\PSh{PSh}$We know that a presheaf $\mathcal{F}$ on category $ \mathcal{C} $ gives a colimit preasheaf $ \mathcal{F}^{+} $ ...

**4**

votes

**0**answers

124 views

### Is the restriction of an injective sheaf on a closed subscheme still injective?

Let $X$ be a Noetherian scheme, and let $i:Z\to X$ be the inclusion of a closed subscheme $Z$. Let $\mathcal{I}$ be an injective sheaf of modules on $X$.
Question. Is $i^*\mathcal{I}$ still an ...

**8**

votes

**2**answers

633 views

### Does inclusion from n-stacks into (n+1)-stacks preserve the sheaf condition?

I'm going to describe two situations that seem to contradict each other, and I'm interested to know precisely what's wrong with this reasoning.
Let $M$ be a manifold, and consider the presheaf $C^*(-,...

**2**

votes

**0**answers

144 views

### Saturation of sheaves

Let $(X, \mathcal{O}_X)$ be a complex manifold, which we can take to be projective. A coherent subsheaf $\mathscr{F}$ of some sheaf $\mathscr{G}$ is said to be saturated in $\mathscr{G}$ if the ...

**4**

votes

**0**answers

112 views

### Sheaf-like reconstruction of a continuous function

Let $X$ and $Y$ be topological manifolds and let $\{(\phi_x,U_x)\}_{x \in X}$ and $\{(\psi_y,Y_y)\}_{y \in Y}$ be respective atlases of $X$ and $Y$; with each $\phi_x:U_x\rightarrow \mathbb{R}^n,\...

**1**

vote

**0**answers

87 views

### Interesting property of a divisor contained in special fiber

Let $(A, \mathfrak{m}, \kappa=A/\mathfrak{m})$ be a local ring and $f:X \to \operatorname{Spec} (A)$
a scheme. Let $D \subset X$ a divisor on $X$ contained in special fiber $D \subset f^{-1}(\sigma_{\...

**1**

vote

**1**answer

127 views

### Dual of stable vector bundle on a Fano threefold

Let $E$ be a rank $2$ stable vector bundle on a prime Fano threefold of genus $8$, with Chern numbers $c_1=1, c_2=6, c_3=0$.
Question. Is it true that $E(-1)=E^*$?
What I am able to show is that ...

**0**

votes

**1**answer

93 views

### Support of a coherent sheaf over a fiber product scheme

I'm trying to prove the following fact which I don't know if it is true since I am not able to find a counterexample:
Let $X,S$ be two $K$-scheme of finite type with $K$ an algebraically closed field....

**5**

votes

**1**answer

266 views

### Is there a Grothendieck correspondence for sheaves/stacks?

Given a category $\mathcal{C}$, the category of elements functor sets up an equivalence of categories
$$
\mathsf{DFib}(\mathcal{C})
\cong
\mathsf{PSh}(\mathcal{C}),
$$
whereas the Grothendieck ...

**4**

votes

**1**answer

88 views

### Checking that (hyper) sheafification is fibrant in local projective model structure on simplicial presheaves

Context and Notation
Let $X$ be a manifold and $\mathcal{C} = Op(X)$ be the category of open subsets of $X$ with inclusions. I then consider the projective model structure on the (simplicial model) ...

**1**

vote

**1**answer

72 views

### Disjoint union of clopen sets such that the fibers has constant cardinality [closed]

Let $Z$ a compact set and $X$ a locally compact set. Let $p:Z\to X$ a local homeomorphism. Show that there exists $n≥1$ and $U_1,…,U_n$ open and closed sets of $X$ such that :
$X=\sqcup_{i=1}^{n}U_i$
...

**1**

vote

**1**answer

231 views

### Computing Ext sheaves over complex projective plane

Let $X:=\mathbb{P}^2_K$ with $K$ algebraically closed field. Take $p\in X$ a point and $\mathcal{I}_p$ its ideal sheaf. One can prove (using Serre Duality and the exact sequence defining $\mathcal{I}...

**1**

vote

**0**answers

94 views

### Schur's lemma for sheaves with different reduced Hilbert polynomials

Recall Schur's Lemma for Gieseker-semistable sheaves, in particular the injectivity statement:
Let $\psi : F \to G$ be a morphism of Gieseker-semistable sheaves. If $p(F)=p(G)$ and $F$ is stable, ...

**3**

votes

**1**answer

195 views

### Automorphisms of Frobenius liftings and degeneration of the Hodge-de Rham spectral sequence

I am still studying Deligne and Illusie's paper (https://eudml.org/doc/143480), and I am again stuck, this time on pages 262/263.
Assume $X\longrightarrow S$ is a smooth morphism of $\mathbb{F}_{p}$-...

**5**

votes

**2**answers

216 views

### commutativity of restriction and Gysin morphisms in a cartesian square

Let $X, Y, Z$ be compact topological manifolds $f: Y \to X, g: Z \to X$ be embeddings of submanifolds meeting transversely and let $W = Y \times_X Z$:
$$
\begin{array}{ccc}
Y & \to^f & X \\...

**5**

votes

**1**answer

561 views

### Putting sheaves to work for algebraic topology?

This is cross-posted from math.se after receiving points and no answers. I apologise if this question is too basic for MathOverflow.
I'm refreshing my memory of ...

**4**

votes

**1**answer

192 views

### Degeneration of Hodge-de Rham spectral sequence, exactness of a pairing and the trace morphism

If $X\longrightarrow S$, where $S=\operatorname{Spec}(k)$, is a proper smooth morphism of dimension $p$ between $\mathbb{F}_{p}$ schemes with Frobenius $F$, then there is an exact pairing $\wedge:\...

**0**

votes

**0**answers

56 views

### Sheafification in an arbitrary category

Let $\mathcal{F}$ be a presheaf valued in an arbitrary category $\mathcal{C}$ on a topological space $X$, with $\mathcal{C} $ has limits(or, $\mathcal{C}$ has equalizers so that a sheaf valued in $\...

**43**

votes

**4**answers

3k views

### Sheaf-theoretic approach to forcing

Inspired by the question here, I have been trying to understand the sheaf-theoretic approach to forcing, as in MacLane–Moerdijk's book "Sheaves in geometry and logic", Chapter VI.
A general ...

**3**

votes

**0**answers

153 views

### Does isomorphism on local rings imply the global isomorphism for the sheaf of spectra?

Let's assume we have a sheaf of spectra on some scheme. As an example I will assume that we are working with the $K$-theory sheaf. There are certain local to global spectral sequences, like descent ...

**1**

vote

**1**answer

215 views

### On the definition of a principal ideal sheaf

In his book Algebraic Geometry and Arithmetic Curves Qing Liu claims in Exercise 3.4, page 56, the following for a scheme $X$ and a global function $f\in \mathcal O_X(X)$:
"The map $U\mapsto f\...

**0**

votes

**0**answers

79 views

### Quotient of $\text{Proj}(A)$ by the action of a finite group

Let $X$ be $ \operatorname{Proj}(A)$ for some graded ring A, and let $G$ be a finite group acting on $A$ with morphisms of graded rings; consequently $G$ acts on $X$.
I know I can write $X = \bigcup_{...

**1**

vote

**1**answer

139 views

### Flat familiy of coherent sheaves over a scheme

I'm studying the moduli problem of locally free sheaves over a connected smooth projective curve on an algebraically closed field, from the Lecture Notes of Victoria Hoskins, and I cannot fully ...

**2**

votes

**1**answer

105 views

### Locally free sheaves and vector bundles over smooth connected projective curve

Let $X$ be a connected smooth projective curve over an algebraically closed field $K$. Let $\mathcal{F}$ be a locally free sheaf on $X$ and $\mathcal{E}$ a subsheaf of $\mathcal{F}$, which is again ...

**4**

votes

**1**answer

240 views

### Push-out in the category of coherent sheaves over the complex projective plane

I'm trying to deal with an example of a rank two vector bundle over the complex projective plane which is non slope-stable (because the associated sheaf of sections has a coherent subsheaf of equal ...

**17**

votes

**1**answer

338 views

### In the internal language of the topos of sheaves on a topological space, can we define locally constant real-valued functions?

For the purposes of this question, in a Grothendieck topos, we will call “definable” the objects and relations obtained from the terminal object, the natural numbers object and the subobject ...

**2**

votes

**1**answer

140 views

### How to compute cup product of derived limits / presheaf cohomology

I have a finite category $\mathcal{C}$, along with a functor $F \colon \mathcal{C}^{\mathrm{op}} \to \mathsf{GradedCommRings}$. If $F_j$ is $j$-th graded piece of $F$, then I write $H^i(\mathcal{C},...

**5**

votes

**1**answer

135 views

### Cohomology of doubly pinched torus via spectral sequences

Let $f:T^2\to Y$ be a resolution of singularities where $Y$ is a torus with two "pinched" points (or, if you prefer, two copies of $\mathbb{P}^1$ meeting at two points). I'm interested in ...

**3**

votes

**1**answer

306 views

### Question about adjoint of forgetful functor from condensed abelian groups to condensed sets

There is a forgetful functor from condensed abelian groups to condensed sets. According to Scholze's notes, this has an adjoint $T \mapsto \mathbb{Z}[T]$ (which is the sheafification of the functor ...

**6**

votes

**1**answer

391 views

### Different definitions of condensed sets

The $\kappa$-condensed sets are defined as the sheaves on the site of profinite spaces of cardinality less than $\kappa$ (with $\kappa$ an uncountable strong limit cardinal) with morphisms the ...

**6**

votes

**0**answers

194 views

### Yoneda product on Ext

Let $M$ be a closed manifold and consider the constant sheaf $\mathbb{R}_M$. I have heard that the Yoneda product on $\operatorname{Ext}(\mathbb{R}_M, \mathbb{R}_M)= H^*(M; \mathbb{R})$ coincides with ...

**4**

votes

**0**answers

149 views

### Example of pseudocoherent complex which is not locally quasi-isomorphic to a strict pseudocoherent one

I ask this question here even if I posted it also on math.stackexchange (recieving no answer so far) because I have read some analogous question but for perfect complexes on this site, even though ...

**1**

vote

**0**answers

88 views

### Does flatness morphisms between ringed spaces implies the direct image sheaf is flat?

Let $(X,\mathcal{O}_X)$ and $(Y,\mathcal{O}_Y)$ be ringed spaces and $f: X\to Y$ be a morphism between them. We call $f$ flat at $x\in X$ if the natural morphism $\mathcal{O}_{Y,f(x)}\to \mathcal{O}_{...

**6**

votes

**0**answers

255 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 ...

**7**

votes

**2**answers

486 views

### A very elementary question on the definition of sheaf on a site

I'm now studying the etale cohomology with the book 'Introduction to Etale Cohomology' by Tamme.
In the page 26 of the book, 'a family of effective epimorphisms' is introduced.
'A family $\{ U_{i} \...

**5**

votes

**1**answer

158 views

### Finding the right map between cohomology with local coefficients and Čech cohomology

Let $X$ be a space which is paracompact, Hausdorff, and sufficiently nice that it has a universal covering space (and map) $p:\tilde{X}\to X$. Also, let $\pi:=\pi_1(X)$ and $A$ some $\mathbb{Z}[\pi]$-...

**1**

vote

**0**answers

62 views

### $L^r_M = i_* \circ \hat{L}^{r-1}_M \circ i^*$ by the projection formula and the Poincare duality

This is a question arising when I am reading
M. A. A. de Cataldo, L. Migliorini - The Hard Lefschetz Theorem and the topology of semismall maps, Ann. sci. École Norm. Sup., Serie 4 35 (2002) 759-772.
...

**-3**

votes

**1**answer

69 views

### Exact sequence of sheaves that generates an exact sequence of Abelian groups [closed]

Let $X$ be a smooth manifold of dimension $n > 1$. Let us denote by $\underline{\mathbb{S}}^{1}$ the sheaf of the smooth functions over circle, $C^{\infty}$ the sheaf of the smooth functions over $\...

**1**

vote

**0**answers

110 views

### Sections of the structure sheaf of a partial flag variety on big cell

Let $G$ be a connected split reductive group over a (non-archimedean) field $K$ of char 0 with split maximal torus $T$ and a standard parabolic $P$. Denote by $W$ the Weyl group of $G$ and by $W_P$ ...

**0**

votes

**0**answers

45 views

### Image of first group of Cech cohomology in the second group of De Rham cohomology

Let $M$ be a smooth manifold and $\mathcal{U}$ an open good cover of $M$. If $\underline{\mathbb{Z}}$ denotes sheaf of locally constant functions, $C^{\infty}(U) := C^{\infty}(U, \mathbb{R})$ and $\...

**8**

votes

**0**answers

135 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 \...

**6**

votes

**1**answer

109 views

### Representation of fundamental groupoid as $2$-sheaf

By https://arxiv.org/abs/1406.4419 (The fundamental groupoid as a terminal costack, Ilia Pirashvili), we know that for a topological space $X$, the $2$-functor
$$\text{Top}(X)\rightarrow \text{Gpd}, \...

**0**

votes

**1**answer

122 views

### Connecting homomorphism in Cech cohomology

Let $M$ be a smooth manifold and $\mathcal{U}$ be a good open cover of $M$. If I have an exact sequence of sheaves
$$0 \longrightarrow A \stackrel{f}\longrightarrow B \stackrel{g}\longrightarrow C \...

**8**

votes

**0**answers

417 views

### intuition about perverse sheaves

firstly, I would know if my very basic intuition on perverse sheaves is correct .
secondly, I would have some clarification in what perverse sheaves behaves better than regular sheaves .
my intuition ...

**2**

votes

**0**answers

196 views

### High direct image of dualizing sheaf

I'm reading the paper "High direct image of dualizing sheaf" of professor Kollar. I summarizing my questions as follows:
Let $f:X\rightarrow Y$ be surjective projective morphism between ...