リーマン・ロッホの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

リーマン・ロッホの定理(リーマン・ロッホのていり、: Riemann–Roch theorem)とは、複素解析学代数幾何学などで用いられる、閉リーマン面の位相的な性質を代数的な性質と結びつける定理である。特定の位数の零点をもつ有理型関数空間の次元計算に役立つ。リーマン・ロッホの定理は、連結な閉リーマン面の複素解析を、トポロジー的な曲面の種数に、代数的な設定を通して関連付ける。

まず、ベルンハルト・リーマンRiemann (1857)リーマンの不等式(Riemann's inequality)を証明した。そして短い間ではあったが、リーマンの学生であったグスタフ・ロッホが、Roch (1865)で決定的な形に到達した。その後、この定理は代数曲線上や高次元代数多様体に一般化され、さらにそれを超えた一般化もなされている。


準備[編集]

種数[編集]

種数 g の連結な閉リーマン面上の点 P を考える。そして次のようなベクトル空間の列を考える。

{(極を持たない関数全体), (点Pで高々1位の極を持つ関数全体), (点 P で高々2位の極を持つ関数全体), (点Pで高々3位の極を持つ関数全体), …}

これらのベクトル空間は有限次元である。種数 g = 0 の時はベクトル空間の次元の列は 1, 2, 3, …となり, 種数 g = 1 の時はベクトル空間の次元の列は 1, 1, 2, 3, 4, 5, …となる。

種数 3 のリーマン面

リーマン面[編集]

リーマン面 X とは、局所的には複素数の集合 C の開部分集合と同相である位相空間を言う。加えて、これらの開集合の間の変換関数には、正則性も要求される。正則性条件は、曲面 X への C 上の正則関数有理型関数を扱う複素解析学の考え方と方法を映し出すことが可能となる。リーマン・ロッホの定理の目的のため、曲面 X はいつもコンパクトであることを仮定する。さらに言うと、リーマン面の種数 g はリーマン面のハンドル体(把手体)の数のことで、例えば、右の図に示したリーマン面の種数は 3 である。さらに詳しくは、種数は1次ベッチ数の半分として定義され、つまり、複素数係数の1次特異ホモロジー H1(X, C) の C-次元の半分である。種数は、閉リーマン面を同相を同一視して分類英語版する。すなわち、2つのリーマン面が同相であること(微分同相である必要はない)と、それらの種数が等しいこととは同値である。従って、種数はリーマン面の重要な位相不変量である。他方、ホッジ理論は、種数と X の正則1形式の空間の(C-)次元とが一致することを示しているので、種数はまたリーマン面についての複素解析的な情報を持っているといえる[1]

因子[編集]

因子とは、曲面 X 上の点を基底とする自由アーベル群 Div(X) の元、つまり、曲面上の点に関する整数係数の形式的な有限和である。因子 D の係数がすべて非負であるものは有効因子と呼ばれ、D ≥ 0 と表される。

閉リーマン面 X 上の有理型関数 f ≠ 0 に対し、因子 (f) を次で定める。

ここで台 R(f) は f のすべての零点と極からなる集合で、係数 sz

( z が位数 a の零点のとき)
( z が位数 a の極のとき)

で与えられる。 この台 R(f) は有限集合であることが知られている;これは X がコンパクトであることと、(ゼロでない)正則関数の零点集合は集積点を持たないという事実(一致の定理)の結果である。従って (f) はwell-definedである。この形の因子を主因子と呼ぶ。また主因子の分だけ異なる因子は線型同値であるという。

有理型1形式 ω = f dz ≠ 0 の因子 (ω) も同様に、つまり (ω) = (f) で定義される。大域的な有理型1形式の因子は、(記号 K で普通表し)標準因子と呼ぶ。任意の有理型1形式の因子は線型同値なので、標準因子は線型同値を除いて一意に定まる(よって、標準因子と呼ぶ)。

次数[編集]

因子 D の次数、つまり、D のすべての係数の和を deg(D) で表す。主因子の次数は 0 であることが示せるので[2]、因子の次数は線型同値類にのみ依存している。

次で定義される C 上のベクトル空間 L(D) の次元 は基本的な量である:

ここで M(X) は閉リーマン面 X 上の有理型関数のなす体である。つまり、もし点 z で因子 D の係数 sz が負ならば 0 ≠ f ∈ L(D) は z で位数が −sz 以上の零点を持ち、正ならば z で位数が sz 以下の極を持つ。因子の線型同値類は、自然に多重度を通して大域的有理型関数と同型となる(スカラー倍を除外して)。

古典的なリーマン・ロッホの定理[編集]

主張[編集]

を種数 g の閉リーマン面、K を標準因子とすると、任意の因子 に対し

が成り立つ[3]

解説[編集]

典型的には が興味のある量であり、 は補正項と考えることができる。(特殊指数ともよぶ[4][5]。)従って、定理は大まかに言い換えると、

次元補正 = 次数 + 1 − g.

補正項 は非負であるから

となる。これをリーマンの不等式と呼ぶ。定理の中の「ロッホの部分」は、不等式の両辺の間のありうる差異の記述の部分である。種数 g のリーマン面上で、 K は次数 2g − 2 であるので、因子を表現するために選ばれた有理型関数とは独立である。このことは、定理の中で D = 0 をとることから導かれる。特に、D が少なくとも 2g − 1 の次数のときは、補正項は 0 となるので、

となる。

以下では、種数が小さいときに定理の説明をしている。他にも密接に関連した定理が数多くあり、この定理の定式化と同値な直線束を使った定式化や、代数曲線への定理を一般化定理がある。

[編集]

問題の曲面上の点 P をとり、次の数列を考えることで定理を説明する。

すなわち、この値は、点 P を除く各点で正則であり、点 P で位数が n 以下の極を持つ関数のなす空間の次元である。従って n = 0 の場合、関数は曲面 X 全体で正則な関数、つまり整関数であることが要求される。よってリウヴィルの定理から、そのような関数は定数関数に限るので、 となる。一般に、数列 は増加列である。

種数が 0 の場合[編集]

リーマン球面(または、複素射影直線ともいう)は、単連結であるので、その1次特異ホモロジーはゼロである。特に、種数はゼロである。球は、C の 2つのコピーで被覆することができ、変換写像英語版は次の式で与えられる。

したがって、C ひとつのコピー上の微分形式 ω = dz は、リーマン面上の有理型微分形式に拡張される。

であるので、無限遠点に極を持っている。このように、その因子 K := div(ω) = −2P (ここに P は無限遠点)である。

したがって、この定理は、数列

1, 2, 3, ...

である。この列はまた、部分分数分解からも導出することが可能である。結論として、この列がこのように始まると、種数 g は必然的にゼロとなる。

種数が 1 の場合[編集]

トーラス

次の場合は、リーマン面の種数が g = 1 の場合であり、トーラス C/Λ の場合である。この場合は、Λ は2-次元の格子(群としては、 Z2 に同型)である。その種数は、1であり、1次特異ホモロジー群は、右の図に示したように、2つのループにより自由に生成された群である。C 上の標準的な座標 z は、いたるところ正則(つまり、極を持たない)な X 上の1-形式 ω = dz である。したがって、標準因子 K は ω であり、ゼロである。

曲面上で、この数列は、

1, 1, 2, 3, 4, 5 ...

であり、これは種数 g = 1 を特徴付ける。実際、因子 D = 0 に対し、上で述べたように、 となる。n > 0 である D = nP に対して、K - D は、ゼロではない負の値であるので、補正項は 0 である。次元の列は、楕円関数論から導くこともできる。

種数が 2 以上の場合[編集]

種数 g = 2 の場合は上記の数列[注釈 1]は、

1, 1, ?, 2, 3, ...

である。このことから、次数 2 の ? のついた項が、点に依存して 1 か 2 になることを示そう。種数 2 の場合には、その数列がちょうど 1, 1, 2, 2, ... となるような 6つの点が存在して、あと残りの点では生成点 1, 1, 1, 2, ... となる。特に、種数 2 の曲線のことを超楕円曲線という。g > 2 に対しては、ほとんどの点で g+1 で始まる数列となり、ほかの数列の点は有限個しか存在しない(ヴァイエルシュトラスの点英語版(Weierstrass point)を参照)ということは常に正しい。

直線束のリーマン・ロッホの定理[編集]

リーマン面上の因子と正則直線束の間の密接な対応関係を使い、異なってはいるが同値な方法で述べることもできる。L を X 上の正則直線束とする。 で L の正則切断の空間を表すとする。この空間は有限次元となるので、この空間の次元を で表すとする。K で X 上の標準バンドルを表す。すると、リーマン・ロッホの定理は、次のように記述できる。

前の章の定理は、L がポイントバンドル英語版のときの特別な場合である。定理は K の g 正則切断や X 上の1-形式が存在していること示すことにも適用できる。L を自明バンドルとすると、X 上の唯一の正則関数は定数関数であるので、 である。L の次数はゼロで、 は自明バンドルである。このようにして次が得られる。

したがって、 であり、g 正則 1-形式が存在することを証明したこととなる。

代数曲線のリーマン・ロッホの定理[編集]

リーマン面上の因子のリーマン・ロッホ定理の上の定式化の対象はすべて、代数幾何学に類似するものがある。リーマン面の類似物は、体 k 上の非特異英語版代数曲線 C である。用語の差異(曲線 vs. 曲面)は、実多様体としてはリーマン面の次元は 2 であるが、複素多様体である点である。リーマン面がコンパクトであることは、代数曲線が完備英語版であるという条件と並行して議論することができ、条件は射影的であることに同値である。一般的な体 k 上には、特異(コ)ホモロジーの考え方はないので、いわゆる、幾何種数が次のように定義される。

つまり、この式の値は、大域的に定義された(代数的)1-形式の空間の次元である(ケーラー微分を参照)。結局、リーマン面の有理型関数は局所的には正則関数の分数として表現される。従って、それらは代数多様体の射[注釈 2]の局所的な分数である有理関数に置き換えることができる。このようにして、曲線上の有理関数の空間の k 上の次元を と書き、すべての点での極が D での対応する係数より小さくないようにすると、上とまったく同じ公式が成り立つ。

ここに C は代数的閉体 k 上の射影的な非特異代数曲線である。事実、同じ公式が任意の体の上の射影曲線に対して成立する。ただし、因子の次数を、基礎体の可能な拡張と因子をサポートする点の剰余体からくる重複度を考えに入れる[6]。 結局、アルティン環の上の固有曲線に対して、因子に付随する直線束のオイラー標数は、(近似的に定義された)因子の次数と構造層 のオイラー標数により与えられる[7]

定理の中の滑らかさの前提は緩めることができて、代数的閉体の上の(射影的な)曲線に対し、それらのすべての局所環はゴレンシュタイン環であり、上と同じステートメントが成立し、上記で定義した幾何種数算術種数より ga 置き換えることができる。算術種数は次のように定義され、証明された[8]

(滑らかな曲線は、幾何種数と算術種数が一致する)この定理は一般の特異点を持つ曲線(や高次元の多様体)に対しても成立する[9]

証明[編集]

代数曲線に対してのステートメントは、セール双対性を使い証明できる。整数 l(D) は D に付随する直線束 の大域的切断の空間の次元である(カルティエ因子を参照のこと)。従って、層コホモロジーのことばで、

といった関係式を得る。しかし、曲線という特別な場合の非特異射影多様体に対するセールの双対性は、 が双対 に同型であることを言っている。すると、左辺は因子 D のオイラー標数に等しく、D = 0 のとき、構造層、「つまり」定義により に対するオイラー標数を得る。一般的な因子に対する定理を証明するためには、ひとつひとつ因子を点として追加することができて、そのようにすると、オイラー標数が右辺に代わることを確かめることができる。

閉リーマン面に対する定理は、GAGA原理と周の定理を使い、代数的なバージョンから導くことができる。事実、すべての閉リーマン面は、ある複素射影空間の代数方程式によって定義されている。

応用[編集]

次数 d の既約な平面代数曲線は、固有に特異点の数を数えると、(d - 1)(d - 2)/2 - g 個の特異点を持っている。このことは、もし曲線が (d - 1)(d - 2)/2 個の異なる特異点を持っていたとすると、有理曲線となるので、有理パラメータ化が可能である。

リーマン面や代数曲線の間の(分岐)写像に関連するリーマン・フルヴィッツの公式は、リーマン・ロッホの定理の結果である。

特別因子のクリフォードの定理英語版もまた、リーマン・ロッホの定理の結果である。クリフォードの定理は、 を満たす特別因子(つまり、)に対して、次の不等式が成立する[10]

リーマン・ロッホの定理の一般化[編集]

曲線に対するリーマン・ロッホの定理は、1850年にリーマンとロッホにより証明され、代数曲線に対しては、フリードリッヒ・シュミット英語版により1931年に有限標数完全体についての仕事として証明された。カール・ロケット英語版(Peter Roquette)の書いた [1]に、下記のような記載がある。

F. K. シュミットの第一の重要な結果は、閉リーマン面に対するリーマン・ロッホの定理が、基礎体が有限体の時の関数体への翻訳の辞書として結果とみることができる。実際、任意の完全体(有限体であってもよい)を基礎体とするリーマン・ロッホの定理の証明がなされている。

曲線論の結果は、(例えば、ブリル・ネター理論英語版の中に)この主張の内容を整備しようと試みるという意味では、基本的である。

高次元のバージョンも存在する(適当な因子直線束の考え方)。これらの定式化は2つの部分へと分解することが可能となる。ひとつは、現在はセール双対性と呼ばれる部分であり、 を一次の層コホモロジー群の次元と解釈することであり、あるいは を層コホモロジーの零次の次元、切断の空間の次元と考えると、左辺はオイラー標数となり、右辺はオイラー標数の次数(degree)としてのリーマン面のトポロジーに従って修正する計算となる。

代数幾何学での次元が 2 のときのそのような公式は、代数幾何学のイタリア学派英語版により基礎づけられ、曲面のリーマン・ロッホの定理が証明された(いくつかのバージョンがあり、最初のバージョンはマックス・ネター英語版よる)。そのような扱いが1950年以前に行われている。

n-次元への一般化であるヒルツェブルフ・リーマン・ロッホの定理は、フリードリッヒ・ヒルツェブルフにより、代数トポロジー特性類の応用として発見され証明された。彼の仕事は小平邦彦の仕事に大きな影響を与えた。同時期に、ジャン・ピエール・セールは、現在では知られているようなセール双対性に一般的な形を与えた。

アレクサンドル・グロタンディークは、1957年に現在はグロタンディーク・リーマン・ロッホの定理英語版(Grothendieck–Riemann–Roch theorem)として知られている遠大な一般化を行った。彼の仕事は多様体に対するリーマン・ロッホの定理であるばかりでなく、2つの多様体の間の射に対するリーマン・ロッホの定理でもある。この証明の詳細は、1958年にボレルとセールにより出版された。

最終的には、(もっとも)一般化されたバージョンは代数トポロジーの中にもある。これらの発展は、本質的には1950年から1960年の間にすべて推し進められた。その後、アティヤ=シンガーの指数定理が一般化の別の道を切り開いた。

連接層の)オイラー標数はどのようなものとなるかは、ある程度合理的に計算が可能である。普通の場合に注目すると、交代和をとることで考えることができ、さらなる議論には消滅定理を使わねばならない。

脚注[編集]

注釈[編集]

  1. ^ この数列をヴァイエルシュトラス数列という名前が付いている。
  2. ^ もとは、regular mapであり、アフィン代数多様体の間の多項式の写像や対応関係のことを言う。regular mapの訳語として、『代数多様体の射』という用語に置き換えた。regular mapは、正則写像と言う。

出典[編集]

  1. ^ Griffith, Harris, pp. 116–117
  2. ^ Jost 2006, Lemma 5.4.1.
  3. ^ Jost 2006, Theorem 5.4.1.
  4. ^ Stichtenoth, p. 22
  5. ^ Mukai, pp. 295–297
  6. ^ Liu, Qing (2002), Algebraic Geometry and Arithmetic Curves, Oxford University Press, ISBN 978-0-19-850284-5 , Section 7.3
  7. ^ Altman, Allen; Kleiman, Steven (1970), Introduction to Grothendieck duality theory, Lecture Notes in Mathematics, Vol. 146, Berlin, New York: Springer-Verlag , Theorem VIII.1.4., p. 164
  8. ^ Hartshorne, Robin (1986), “Generalized divisors on Gorenstein curves and a theorem of Noether”, Journal of Mathematics of Kyoto University 26 (3): 375–386, ISSN 0023-608X, http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.kjm/1250520873 
  9. ^ Baum, Paul; Fulton, William; MacPherson, Robert (1975), “Riemann-Roch for singular varieties”, Publications Mathématiques de l'IHÉS (45): 101–145, ISSN 1618-1913 
  10. ^ Fulton, William (1989), Algebraic curves, Advanced Book Classics, Addison-Wesley, ISBN 978-0-201-51010-2, http://www.math.lsa.umich.edu/~wfulton/CurveBook.pdf , p. 109

参考文献[編集]

関連項目[編集]