The sheaf-theory tag has no wiki summary.

**26**

votes

**8**answers

2k views

### When are there enough projective sheaves on a space X?

This question is being asked on behalf of a colleague of mine.
Let X be a topological space. It is well known that the abelian category of sheaves on X has enough injectives: that is, every sheaf ...

**9**

votes

**1**answer

372 views

### Sheaves on Contractible Analytic Spaces

Let $(X,\mathcal{O}_X)$ be a contractible complex analytic space. Suppose that $\mathcal{F}$ is a coherent sheaf of $\mathcal{O}_X$-modules. Can we invoke the fact that $X$ is contractible to ...

**58**

votes

**5**answers

3k views

### Is there a sheaf theoretical characterization of a differentiable manifold?

I'm going through the crisis of being unhappy with the textbook definition of a differentiable manifold. I'm wondering whether there is a sheaf-theoretic approach which will make me happier. In a ...

**14**

votes

**4**answers

1k views

### What is a section?

This question comes out of the answers to Ho Chung Siu's question about vector bundles. Based on my reading, it seems that the definition of the term "section" went through several phases of ...

**13**

votes

**9**answers

1k views

### What representative examples of modules should I keep in mind?

So here's my problem: I have no intuition for how a "generic" module over a commutative ring should behave. (I think I should never have been told "modules are like vector spaces.") The only ...

**7**

votes

**4**answers

817 views

### Coboundaries and Gluing in Cech Cohomology - Intuition?

I'm trying to develop an intuition for Cech cohomology geometrically, but am currently failing. A lot of people seem to say that the groups $H^n$ measure obstructions to gluing local sections to get ...

**9**

votes

**1**answer

798 views

### Mitchell's embedding theorem

Mitchell's embedding theorem http://en.wikipedia.org/wiki/Mitchell%27s_embedding_theorem tells us that every small abelian category ${\cal A}$ has a full, faithful and exact embedding $V : {\cal A} ...

**3**

votes

**1**answer

1k views

### Grothendieck spectral sequence and Mayer-Vietoris sequence

Suppose $U'\cup U''=X$ is an open cover $U$ of a topological space $X$ and $F$ is a sheaf on $X$ with values in abelian groups. There is a special instance of the Grothendieck spectral sequence ...

**5**

votes

**3**answers

1k views

### Where can I find a proof of the de Rham-Weil theorem?

Where can I find a proof of the de Rham-Weil theorem?
Does anyone know?

**7**

votes

**2**answers

808 views

### Is Sheafification Functor Exact?

I know that sheafification functor from the category of abelian presheaves on $C$ to the category of abelian sheaves on $C$. Here, $C$ is a category with Grothendieck pretopology.
My question is:
...

**6**

votes

**1**answer

326 views

### What information is lost in $X \to \mathrm{Sh}(X)$?

Given a topological space or site $X$. Construct $\mathrm{Sh}(X)$ - the sheaves on $X$ with values in $\mathrm{Set}$. Is it known what information is lost in this procedure?
Thanks, Adrian.

**5**

votes

**2**answers

372 views

### C*-algebras and quantum fields

One can represent a quantum system by the Weyl algebra (which is a C*-algebra). For instance, a 1 degree of freedom system can be represented by the algebra generated by $e^{\imath t Q}, e^{\imath s ...

**5**

votes

**1**answer

769 views

### Natural morphism appearing in Grothendieck spectral sequence

Assume we are in the setting of the Grothendieck spectral sequence (Weibel, 5.8): $G : A \to B, F : B \to C$ are left exact functors such that $G$ sends injective objects to $F$-acyclic objects. Now ...

**2**

votes

**1**answer

339 views

### vanishing theorems

I would be glad to know about possible generalizations of the following results:
1) (Grothendieck) Let $X$ be a noetherian topological space of dimension $n$. Then for all $i>n$ and all sheaves of ...

**5**

votes

**2**answers

311 views

### Is the site of (smooth) manifolds hypercomplete?

By site of manifolds Man, I mean the category of manifolds (maybe submanifolds to obtain a small category) with continuous maps between them. A Grothendieck topology is given by open covers. Actually, ...