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
-
0This follows almost immediately from the definitions. Note that (1) a section of a trivial bundle $U\to U\times F$ is the same as a map $U\to F$, and (2) there is a natural inclusion $\mathbb C^* \to \mathbb C$. – 2011-10-11
-
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.