Questions tagged [sheaf-theory]

For questions about sheaves on a topological space. Usually you think of a sheaf on a space as the data of functions defined on that space, although there is a more general interpretation in terms of category theory. Use this tag with the broader (algebraic-geometry) tag.

A sheaf $\mathcal F$ on a topological space $X$ captures local data $\mathcal F(U)$ given on open sets $U\subseteq X$ and how such data can be restricted to smaller open sets or glued together. In typical cases, $\mathcal F(U)$ is a set of functions defined on $U$ and an element of $\mathcal F(V)$, $V\subseteq U$ is obtained by restricting the domain and not all elements of $\mathcal F(U)$ can be obtained by restricting a global section $\in\mathcal F(X)$.

2573 questions
125
votes
2 answers

Pullback and Pushforward Isomorphism of Sheaves

Suppose we have two schemes $X, Y$ and a map $f\colon X\to Y$. Then we know that $\operatorname{Hom}_X(f^*\mathcal{G}, \mathcal{F})\simeq \operatorname{Hom}_Y(\mathcal{G}, f_*\mathcal{F})$, where $\mathcal{F}$ is an $\mathcal{O}_X$-module and…
Matt
  • 7,010
  • 4
  • 28
  • 44
85
votes
2 answers

Sheaf cohomology: what is it and where can I learn it?

As I understand it, sheaf cohomology is now an indispensable tool in algebraic geometry, but was originally developed to solve problems in algebraic topology. I have two questions about the matter. Question 1. What is sheaf cohomology? I have a…
45
votes
4 answers

Failure of isomorphisms on stalks to arise from an isomorphism of sheaves

It is well-known (Hartshorne 2.1.1) that if $F$ and $G$ are sheaves on a space $X$, then $\phi:F\rightarrow G$ is an isomorphism if and only if the induced stalk map $\phi_p:F_p\rightarrow G_p$ is an isomorphism for all $p\in X$. However, if we have…
Zev Chonoles
  • 124,702
  • 19
  • 297
  • 503
37
votes
3 answers

Sanity check about Wikipedia definition of differentiable manifold as a locally ringed space

Most textbooks introduce differentiable manifolds via atlases and charts. This has the advantage of being concrete, but the disadvantage that the local coordinates are usually completely irrelevant- the choice of atlas and chart is arbitrary, and…
36
votes
2 answers

tensor product of sheaves commutes with inverse image

Let $f : X \to Y$ be a morphism of ringed spaces and $\mathcal{M}$, $\mathcal{N}$ sheaves of $\mathcal{O}_Y$-modules. Then one has a canonical isomorphism $f^*(\mathcal{M} \otimes_{\mathcal{O}_Y} \mathcal{N}) \cong f^*\mathcal{M}…
Justin Campbell
  • 6,739
  • 22
  • 56
35
votes
8 answers

Examples of surjective sheaf morphisms which are not surjective on sections

Let $X$ be a topological space, and let $\mathscr{F}, \mathscr{G}$ be sheaves of sets on $X$. It is well-known that a morphism $\varphi : \mathscr{F} \to \mathscr{G}$ is epic (in the category of sheaves on $X$) if and only if the induced map of…
Zhen Lin
  • 82,159
  • 10
  • 160
  • 297
34
votes
2 answers

Grothendieck's yoga of six operations - in relatively basic terms?

I'm reading about the basic interactions between sheaves over topological spaces and arrows in $\mathsf{Top}$, in particular, about the inverse/direct image functors $f^\ast \dashv f_\ast$, the proper inverse/direct images functors $f_!\dashv f^!$,…
Arrow
  • 12,694
  • 3
  • 23
  • 64
32
votes
1 answer

Quasi-coherent sheaves, schemes, and the Gabriel-Rosenberg theorem

In the context of commutative rings, a ring is completely determined by its category of modules. That is, two commutative rings $R$ and $S$ are isomorphic if and only if the category of $R$-modules is equivalent to the category of $S$-modules. In…
31
votes
2 answers

How should I think about very ample sheaves?

Definition. [Hartshorne] If $X$ is any scheme over $Y$, an invertible sheaf $\mathcal{L}$ is very ample relative to $Y$, if there is an imersion $i\colon X \to \mathbb{P}_Y^r$ for some $r$ such that $i^\ast(\mathcal{O}(1)) \simeq \mathcal{L}$. My…
Derek Allums
  • 2,932
  • 2
  • 17
  • 34
31
votes
2 answers

When is the sheaf corresponding to a vector bundle on a smooth manifold coherent?

In algebraic and analytic geometry, vector bundles are usually interpreted as locally free sheaves of modules (over the structure sheaves). They are in particular examples of quasi-coherent sheaves. If the bundle is of finite rank, then the sheaf is…
30
votes
1 answer

Using the cocycle condition to glue sheaves

Given a cover $\{U_i\}$ of a space $X$ and for each $U_i$ a sheaf $\mathcal{F}_i$ and isomorphisms $\phi_{ij}:\mathcal{F_j}|_{U_i \cap U_j} \rightarrow \mathcal{F_i}|_{U_i \cap U_j}$ satisfying the cocycle condition $\phi_{ij}\phi_{jk}\phi_{ki} =…
PrimeRibeyeDeal
  • 1,398
  • 13
  • 18
28
votes
1 answer

How to properly use GAGA correspondence

currently studying algebraic surfaces over the complex numbers. Before i did some algebraic geometry (I,II,start of III of Hartshorne) and a course on Riemann surfaces. Now i understood that by GAGA, a lot of results transfer from complex analytic…
28
votes
0 answers

Sheaves of categories

I recently read an answer on this MO post explaining that one reason people are interested in higher category theory is to make reasonable sense of something like a "sheaf of categories" on a topological space $X$, which leads one to the notion of…
27
votes
3 answers

Why doesn't Hom commute with taking stalks?

I have been learning about sheaves and am thinking about the following problem. Let $F$ and $G$ be sheaves, say of abelian groups, on a space $X$. The sheaf $Hom(F, G)$ is defined by $Hom(F, G)(U)=Mor(F|_U, G|_U)$. Given a point $p \in X$ and an…
Vitaly Lorman
  • 1,750
  • 12
  • 22
27
votes
1 answer

The idea behind the notion of dualizing sheaf

Well, studying sheaf cohomology, I've faced the notion of dualizing sheaf on a projective scheme over a field $k$. Recall that a dualizing sheaf on $X$ (according to Hartshorne) is a coherent sheaf $\omega_X^\circ$, such that the…
Alex
  • 370
  • 4
  • 5
1
2 3
99 100