29
$\begingroup$

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 actually coherent and this is good for certain cohomology groups to have finite rank for example.

I think the equivalence of vector bundles and locally free sheaves holds as well for the categories of topological spaces and smooth manifolds, and locally free sheaves are in particular quasi-coherent. The question is, when are they coherent? maybe it is best to ask first about the structure sheaf itself. In algebraic geometry the structure sheaf is coherent for neotherian schemes and in analytic geometry the structure sheaf of a complex manifold is coherent. What about smooth manifolds for example?

  • 1
    You may like to look at ยง6.3 [this paper](http://arxiv.org/pdf/1001.0023.pdf). It seems that there are problems with both Hartshorne's and Grothendieck's definition of coherent sheaf. โ€“ 2012-09-18

2 Answers 2

17

Since coherence is a local property and is preserved by finite direct sums, the general question reduces to the structure sheaf. But this is coherent only in trivial cases.

If $M$ is a smooth manifold whose connected components have positive dimension, then $C^{\infty}_M$ is not coherent.

For a proof, see Prop. 7.3.8 in the course notes by Andrew Lewis on sheaf theory. By a projection argument, it suffices to deal with $M=\mathbb{R}$. If $f$ is a smooth function, which is $>0$ on $\mathbb{R}_{>0}$ and $=0$ on $\mathbb{R}_{\leq 0}$, then the kernel of the multiplication map $f : C^{\infty}_{\mathbb{R}} \to C^{\infty}_{\mathbb{R}}$ is not of finite type: Loot at the stalk at $0$. The kernel $I$ is given by those germs of smooth functions vanishing on $\mathbb{R}_{\geq 0}$. If $\mathfrak{m}$ is the maximal ideal of functions vanishing at $0$, then we have $I = \mathfrak{m} I$ by Taylor expansion. Since $I \neq 0$, Nakayama's Lemma shows that $I$ is not finitely generated.

  • 1
    Do you know the title of the course by Lewis? Your link is dead, and I would like to find the file. โ€“ 2017-07-03
-1

If you're using the [sheaf of continuous sections] and [etale space] functors they do not give an equivalence of these categories. The problem is that locally constant sheaves are covering spaces, and vector bundles aren't covering spaces. They're not even (topologically) etale in general over the base space.

Calling a sheaf coherent over a space that isn't a scheme is silly, since [the definition of coherence] implicitly uses the structure sheaf of the space. A manifold doesn't really have a structure sheaf(it does have a natural sheaf of smooth functions, but I don't know that it makes much sense to talk about coherent modules over such a sheaf of rings, as I don't think there is a good, canonical, functorial way to take a module of the global section and 'tilde'(to use Hartshorne notation) it into a sheaf.)

  • 0
    Zhen, can you give me a reference to hunt down? โ€“ 2012-09-18