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
27
votes
4 answers

When is the pushforward of a quasi-coherent sheaf quasi-coherent? Hartshorne proof

In the following we have $f:X \rightarrow Y$ morphism of schemes, $\mathcal{F}$ a quasi-coherent sheaf on $X$ and I am referring to proposition 5.8 page 115 in Hartshorne. To prove that the pushforward of a quasi-coherent sheaf is quasi-coherent,…
26
votes
1 answer

Global sections of a tensor product of vector bundles on a smooth manifold

This question is similar to Conditions such that taking global sections of line bundles commutes with tensor product? and Tensor product of invertible sheaves except that I am concerned with smooth manifolds. If $M$ is a smooth manifold and $V$…
Keenan Kidwell
  • 24,652
  • 2
  • 56
  • 97
26
votes
1 answer

Differentiable manifolds as locally ringed spaces

Let $X$ be a differentiable manifold. Let $\mathcal{O}_X$ be the sheaf of $\mathcal{C}^\infty$ functions on $X$. Since every stalk of $\mathcal{O}_X$ is a local ring, $(X, \mathcal{O}_X)$ is a locally ringed space. Let $Y$ be another differentiable…
Makoto Kato
  • 39,693
  • 9
  • 96
  • 219
26
votes
4 answers

Sheaves and complex analysis

A complex analysis professor once told me that "sheaves are all over the place" in complex analysis. Of course one can define the sheaf of holomorphic functions: if $U\subset \mathbf{C}$ (or $\mathbf{C}^n$) is a nonempty open set, let…
vgty6h7uij
  • 898
  • 8
  • 16
25
votes
4 answers

What are the differences between a fiber bundle and a sheaf?

They are similar. Both contain a projection map and one can define sections, moreover the fiber of the fiber bundle is just like the stalk of the sheaf. But what are the differences between them? Maybe a sheaf is more abstract and can break down,…
Strongart
  • 4,567
  • 1
  • 20
  • 40
25
votes
5 answers

What is an intuitive Geometrical explanation of a "sheaf?"

As I understand it, a sheaf is a very broad concept, but is most often used when referencing a function that maps algebraic structures (like rings) to points on a manifolds. Is a sheaf just yet another type of function, but built specifically for…
23
votes
4 answers

What is the difference between $\ell$-adic cohomology and cohomology with coefficient in $Z_\ell$?

Let $X$ be a non-singular projective variety over $\mathbb{Q}$. Consider on the one hand $H^i_B(X(\mathbb{C}),\mathbb{Z}_\ell)$ the singular cohomology with value in $\mathbb{Z}_\ell$, and on the other hand $\varprojlim…
22
votes
1 answer

Category of quasicoherent sheaves not abelian

Wikipedia mentions that the category of quasicoherent sheaves need not form an abelian category on general ringed spaces. Is there a `naturally occurring' example of this failing, even for locally ringed spaces?
22
votes
3 answers

Tensor product of invertible sheaves

Given two invertible sheaves $\mathcal{F}$ and $\mathcal{G}$, one can define their tensor product, but in this definition $\mathcal{F} \otimes \mathcal{G} (U)$ is (apparently) not simply equal to $\mathcal{F} (U) \otimes \mathcal{G}(U)$ for an open…
Tony
  • 6,308
  • 26
  • 49
21
votes
2 answers

Geometric interpretation and computation of the Normal bundle

My question concern the definition, geometric meaning, and usage of the normal bundle in algebraic geometry. Let $X$ be a nonsingular variety over an algebraically closed field $k$, and $Y\subseteq X$ a nonsingular closed subvariety. Let…
Fq00
  • 1,151
  • 8
  • 14
21
votes
1 answer

Why are de Rham cohomology and Cech cohomology of the constant sheaf the same

I am comfortable with de Rham cohomology, sheaves, sheaf cohomology and Cech cohomology. I am looking to prove the following theorem: If $M$ is a smooth manifold of dimension $m$, then we have the following isomorphism for each $k \leq m$ …
21
votes
1 answer

functoriality of derivations

I seem to have problems understanding algebraically why given a map of manifolds $f: M \to N$ we get a bundle map $TM \to f^*TN$. Now, fiberwise it's all good. But I do not understand how to define on sections, as a map of sheaves of…
20
votes
1 answer

On the definition of the structure sheaf attached to $Spec A$

Let $A$ be a ring (commutative with $1$),if $X=Spec A$ we want to attach a sheaf of rings to $X$. If $f\in A$, $D(f)=X\setminus V(f)$ is an element of the base and we define $$\mathcal O_X(D(f)):=A_f$$ I've problems to show that $\mathcal…
Dubious
  • 12,084
  • 10
  • 43
  • 113
20
votes
3 answers

Sheaf Theory for Complex Analysis

I've recently been reading Complex Analysis in One Variable by Narasimhan and Nievergelt. I've done enough work in complex analysis prior that I find the majority of the text quite understandable and beautiful; however, I was pleasantly shocked when…
Brevan Ellefsen
  • 13,643
  • 4
  • 23
  • 63
19
votes
3 answers

Hartshorne Theorem 8.17

I can't understand the proof of theorem 8.17 from Hartshorne's "Algebraic Geometry". Namely, he says that we have an exact sequence $$ 0 \to \mathcal J'/\mathcal J'^2 \to \Omega_{X/k} \otimes \mathcal O_{Y'} \to \Omega_{Y'/k} \to 0 $$ and there…
qwerzzx
  • 273
  • 1
  • 8