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.
questions about a fiber bundle
0
$\begingroup$
complex-analysis
fiber-bundles
-
0@Aaron, thank you very much. – 2011-10-11
1 Answers
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.