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

402 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

4k 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

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

**12**

votes

**2**answers

533 views

### global fibrations of simplicial sheaves

I'm reading the classical Brown-Gersten's paper "Algebraic K-theory as generalized sheaf cohomology" and I'm stuck with their choose of global fibrations. Namely, a morphism of simplicial sheaves $p : ...

**9**

votes

**1**answer

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

**6**

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?

**3**

votes

**0**answers

983 views

### group cohomology and cohomology of classifying space [closed]

Let $G$ be a discrete group, and $BG$ is the classifying space.
It is well-known that the group cohomology of $G$-module M, is the same as the cohomology on $BG$ with coefficient in $\tilde{M}$, which ...

**7**

votes

**2**answers

866 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

336 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

393 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

784 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

342 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

328 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, ...

**3**

votes

**2**answers

518 views

### Two basic questions on derived categories

Let $\mathcal{A}, \mathcal{B}$ be two abelian categories with sufficiently many injective objects (in my case these are categories of sheaves of vector spaces on a manifold).
Let $f_*\colon ...