Questions tagged [sheaf-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
10
votes
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
1answer
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
0answers
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
4answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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 ...

1
2 3 4 5
16