0
$\begingroup$

I am reading the book From holomorphic functions to complex manifolds by Klaus Fritzsche and Hans Grauert. I have a question about a fiber bundle. On page 186, the last line. How to show that $ \Gamma(U, \mathcal{O}^*_{X}) \cong \mathcal{O}^*(U):=\{f\in \mathcal{O}(U) : f(x) \neq 0 \text{ for every } x\in U\}? $ Thank you very much.

  • 0
    @Aaron, thank you very much.2011-10-11

1 Answers 1

1

To get this off the Unanswered list, I'll restate Aaron's explanation as an answer:

The notation is $\mathbb C^*=\mathbb C\setminus \{0\}$ and $\mathcal{O}_X^* = X\times \mathbb C^*$, a trivial fibre bundle. By definition of a section, an element of $\Gamma(U,\mathcal{O}_X^*)$ is a holomorphic map $s:U\to \mathcal{O}_X^*$ such that $\pi\circ s = \mathrm{id}_U$. The fibres being $\mathbb C^*$, what we have is a nonvanishing holomorphic function.