正則ベクトル束の標準接続(2)
正則直線束の例
p39〜40に書かれている「例2.2.16」について。
ファイバー座標の変換関数については詳しく書かれているのだが、ファイバーをどのように定義しているのか明記されてないので混乱してしまった。まず「例2.2.16」の主張そのものがなんなのかしばらくわからなかったが、ようやくわかったような気がするのでメモしはじめたが、やっぱりわからない。何がわからないのかをメモしておく。
を複素多様体とする。 としておく。
「例2.2.16」 では、
を の余次元1 の複素部分多様体とする。このとき により決まる、上の正則直線束(rank 1 の複素ベクトル束) が存在する。
ということを主張しているようだ。
の余次元1 の複素部分多様体とは何かというと、 の局所座標近傍 を取ったとき
となるようなものだった。
上で第1座標成分をとるような関数 は U上の正則関数である。の余次元1 の複素部分多様体 と の1つの 座標近傍 を与えると、一つの U上の正則関数 が定まる。
仮に m=2 であるとすれば、正則関数 を使って、
という方程式で 上の「直線」が定義されたことになる。この直線をファイバーとする複素ベクトル束を 上の正則直線束と定義しているような書きぶりである。本当にそうなのだろうか。わからないのはとなるような場合で、テキストではこの場合には f として V上で0にならない正則関数、たとえば をとればいいなんて書いてある。この場合を満たす点は存在しないから、方程式が定義する点集合は空集合であり、と同相にならないからベクトル束にならない。いったいどうやってファイバーを定義しているのだろう。。。
→どうやらファイバーはらしい。なかなかむずかしいところなので、もう一度じっくり見直しが必要なようだ。