25/11/11 20:08:49.79 rZBZzvXB.net
>>776のつづき
代数学の基本定理は、CP^1上の線束 O(n)の大域切断が、必ず n個の零点を持つことの言い換えです。
「ねじれ」＝非自明なトポロジー（チャーン類）
「至る所ゼロでない切断なし」→ 必ず零点あり
「ねじれ具合（次数 n）」→ 零点の数 n
さらに踏み込むと：H^1(CP^1,O(n))=0（n≥0）
よって、長完全系列から大域切断の次元が計算できる。
これは FTA の別の証明（解析的・幾何的）を与えます。
参考文献
Griffiths & Harris, Principles of Algebraic Geometry
→ 第0章や複素多様体のパートで、CP^1上の線束 O(n)と多項式の対応がバッチリ。
→ FTA を「切断の零点」として証明（p.150 付近）。
Hartshorne, Algebraic Geometry
→ Chapter II.5–6：線束、切断、チャーン類。
→ CP^1 上の O(n) の大域切断＝多項式。