因子とリーマン・ロッホの定理

因子は多様体上の関数の零点と極を記録し、直線束はそれらを幾何学的にまとめ、リーマン・ロッホの定理は、所定の極の振る舞いを持つ関数の数を幾何学的普遍量によって数え上げます。

Definition

多様体上の因子は、零点と極を符号化する余次元1の部分多様体の形式的な組み合わせであり、直線束はそれらの幾何学的対応物です。リーマン・ロッホの定理は、因子の切断空間の次元をその次数、種数、および標準因子に関連付けます。

Scope

このトピックでは、ワイル因子とカルティエ因子、線形同値、因子類群とピカール群、および因子と直線束（可逆層）の間の対応関係について展開します。線形系とそれが定義する射影空間への写像、標準因子、曲線の種数について扱い、曲線のリーマン・ロッホの定理とセール双対性の役割で締めくくります。高次元およびグロタンディーク・ヒルツェブルフの一般化は、自然な拡張として示唆されます。

Core questions

• ワイル因子とカルティエ因子は、有理関数の零点と極の振る舞いをどのように符号化するのでしょうか？
• 線形同値を除いた因子が、直線束と同一のデータであるのはなぜでしょうか？
• 線形系は、多様体から射影空間への写像をどのように決定するのでしょうか？
• リーマン・ロッホの定理は何を計算し、セール双対性はどのように関与するのでしょうか？

Key concepts

• ワイル因子とカルティエ因子；線形同値
• 因子類群とピカール群
• 直線束（可逆層）と線形系
• 標準因子と曲線の種数
• リーマン・ロッホの定理とセール双対性

Clinical relevance

因子とリーマン・ロッホの定理は、曲線の理論の計算上の核心であり、誤り訂正符号であるゴッパ符号の構築、楕円曲線の算術、および代数曲面と高次元多様体の分類の基礎となります。

History

リーマンによる関数空間の次元に関する不等式（1857年）は、彼の学生であるロッホによってリーマン・ロッホの定理として完成されました。20世紀半ばのヒルツェブルフによる一般化とグロタンディークによる相対版は、それを現代のコホモロジー代数幾何学に組み込みました。

Key figures

• Bernhard Riemann
• Gustav Roch
• Friedrich Hirzebruch

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

因子と直線束の関係は何ですか？

滑らかな多様体上では、線形同値を除いた因子は、直線束の同型類と正確に対応します。ピカール群における因子の類は、その因子に沿って消滅する切断を持つ直線束です。

リーマン・ロッホの定理は何を教えてくれますか？

滑らかな射影曲線上の因子について、その因子の次数と曲線の種数を用いて、因子によって極が制限される有理関数の空間の次元を与えます。これは基本的な数え上げの結果です。