5
$\begingroup$

For a holomorphic vector bundle $E$ over a complex manifold $M$, we denote its space of smooth sections by $\Gamma^{\infty}(E)$, and its space of holomorphic sections by $\Gamma^{hol}(E)$. Now I've been looking at the line bundles $L_k$ over the complex projective spaces ${\bf C} P^N$, and I have managed to show that $\Gamma^{\infty}(L_k)$ is generated as a $C^{\infty}({\bf C} P^N)$-module by $\Gamma^{hol}(E)$, which is to say that every element $\Gamma^{\infty}(E)$ is a sum of elements of the form $ef$, where $e \in \Gamma^{hol}(E)$, and $f \in C^{\infty}({\bf C} P^N)$.

I am guessing that this result is extremely well known, and an example of a well understood general phenomenon. So I would like to ask if there is a characterization of the manifolds for which this result holds, for both the case of line bundles alone, and holomorphic vector bundles of general dimension?

$\endgroup$

1 Answer 1

5
$\begingroup$

Swan has proved that taking global section gives an anti-equivalence between finitely generate projective $\Gamma^{\infty}(M)$-modules and $C^{\infty}$ vector bundles on $M$; this correspondence is functorial in $M$. Hence a set of section of a $C^{\infty}$ vector bundle $E$ on $M$ generated $\Gamma^{\infty}(E)$ if and only if it generates each fiber of $E$. So if $E$ is holomorphic, the holomorphic sections generate if and only if $E$ is globally generated. In particular, this is always true if $M$ is Stein. In the case of $L_k$ on $\mathbb{CP}^N$, this is true if and only if $k ≥ 0$.

$\endgroup$
6
  • $\begingroup$ Excuse my ignorance, but what is a globally generated vector bundle? $\endgroup$ Commented Feb 10, 2013 at 15:56
  • $\begingroup$ It is a vector bundles whose global sections generate each fiber. $\endgroup$
    – Angelo
    Commented Feb 10, 2013 at 19:47
  • $\begingroup$ Sorry, but I would like to get this totally clear for my mind. What you are saying is that there exists for $v \in E_p$, for any $p \in M$, an element $s \in \Gamma^{\infty}(E)$ of the smooth sections (or global sections as you call them), such that $v = s(p)$. Is this correct? $\endgroup$ Commented Feb 11, 2013 at 16:06
  • $\begingroup$ .... but I can't see why every vector is not globally generated. Surely, for $v \in E_p$ as above, we have a local section for which $s(p) = v$, why can one not just use a partition of unity argument to extend $s$ to a global section, and hence conclude that your vector bundle is globally generated? I can't see the problem in my logic here. $\endgroup$ Commented Feb 11, 2013 at 16:13
  • $\begingroup$ A holomorphic vector bundle is globally generated when for every point $p$ of $M$ and every $v \in E_p$ there exists a holomorphic global section $s$ with $s(p) = v$. There are lots of holomorphic vector bundles which have no non-zero sections, for example, the line bundles on $\mathbb{CP}^N$ with negative degree, so they can't be globally generated. $\endgroup$
    – Angelo
    Commented Feb 11, 2013 at 17:08

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .