a question about space of smooth sections

138 Views Asked by At

Let $\Gamma(M,L) $ be the space of smooth sections, then why $\Gamma(M,L) $ is isomorphic to $A=\{f:L^{\times}\to \mathbb{C}; f(cz)=c^{-1}f(z), c\in \mathbb{C}-\{0\} , z\in L^{\times}\}$ . Here $L^{\times}$ is the line bundle obtained from $L$ by removing zero section. $M$ is smooth complex manifold and $L$is complex line bundle

1

There are 1 best solutions below

0
On BEST ANSWER

Consider the projection $\pi: L^\times \to M$ and the pullback bundle $\pi^*L$ on $L^\times$. First of all, $\pi^* L $ is a trivial bundle on $L^\times $, as it has a nonzero section $(x, v) \to v$. Thus

$$A: \{ f: L^\times \to \mathbb C\} \cong \Gamma(L^\times , \pi^*L),$$

where

$$(Af) (x,v) := f(x,v)v$$

On the other hand, $\Gamma(M, L)$ can be thought of all $s\in \Gamma(L^\times , \pi^*L)$ that can be pushed down to $L$. That is $s((x,cv)) = s((x,v)) \in L_x$ for all $x\in M$, $v\in L_x$ and $c\in \mathbb C^*$. That corresponds to all $f:L^\times \to \mathbb C$ such that $f(cz) = c^{-1}f(z)$, as

$$(Af)((x, cv)) = f(x, cv) cv = c^{-1}f(x, v) cv = f(x, v)v = (Af)(x, v)$$