リーマン・ロッホの定理
リーマン・ロッホの定理（リーマン・ロッホのていり、）とは、複素解析学や代数幾何学などで用いられる、閉リーマン面上の複素解析と曲面の種数とを結びつける定理である。特定の位数の零点と極をもつ有理型関数空間の次元計算に役立つ。
まず、ベルンハルト・リーマンがでリーマンの不等式(Riemann's inequality)を証明した。そして短い間ではあったが、リーマンの学生であったグスタフ・ロッホが、で決定的な形に到達した。その後、この定理は代数曲線上や高次元代数多様体に一般化され、さらにそれを超えた一般化もなされている。
リーマン面 X とは、局所的には複素数の集合 C の開部分集合と同相である位相空間を言う；加えて、これらの開集合の間に正則な変換写像があることが要請される。正則性条件により C 上の正則関数や有理型関数を扱う複素解析学の考え方や方法を曲面 X へ移すことが可能となる。コンパクトなリーマン面を閉リーマン面という。
閉リーマン面の種数 g とは、くだけた言い方をするとハンドル（把手）の数のことである。例えば右の図に示した閉リーマン面の種数は 3 である。より正確には、種数は1次ベッチ数の半分として、つまり、複素係数1次特異ホモロジー群 H(X, C) の C-次元の半分として定義される。種数は閉リーマン面を同相の違いを除いてする。すなわち、閉リーマン面が同相であること（ただし微分同相である必要はない）と、種数が等しいこととは同値である。したがって、種数は閉リーマン面の基本的な位相不変量である。他方、ホッジ理論は、X の種数と X 上の正則1形式がなす空間の(C-)次元とが一致することを示しているので、種数はリーマン面の複素解析的な情報を持っているともいえる。
因子とは、曲面 X 上の点を基底とする自由アーベル群 Div(X) の元、つまり、曲面上の点に関する整数係数の形式的な有限和である。因子 D の係数がすべて非負であるものは有効因子と呼ばれ、D ≥ 0 と表される。
閉リーマン面 X 上の有理型関数 f ≠ 0 に対し、因子 (f) を次で定める。
ここで台 R(f) は f のすべての零点と極からなる集合で、係数 s は
で与えられる。
この台 R(f) は有限集合であることが知られている；これは X がコンパクトであることと、（ゼロでない）正則関数の零点集合は集積点を持たないという事実（一致の定理）の結果である。したがって (f) はwell-definedである。この形の因子を主因子と呼ぶ。また主因子の分だけ異なる因子は線型同値であるという。
また、因子 D の次数、つまり、D のすべての係数の和を deg(D) で表す。主因子の次数は 0 であることが示せるので、因子の次数は線型同値類にのみ依存している。
有理型1形式 ω = f dz ≠ 0 の因子 (ω) も同様に、つまり (ω) = (f) で定義される。大域的な有理型1形式の因子を（記号 K で普通表し）標準因子と呼ぶ。任意の有理型1形式の因子は線型同値なので、標準因子は線型同値を除いて一意に定まる（よって、"標準"因子と呼ぶ）。
次で定義される C 上のベクトル空間 L(D) の次元 formula_4 は基本的な量である：
ここで M(X) は閉リーマン面 X 上の有理型関数のなす体である。つまり、もし点 z で因子 D の係数 s が負ならば関数 0 ≠ f ∈ L(D) は点 z で位数が −s 以上の零点を持ち、正ならば点 z で位数が s 以下の極を持つ。因子の線型同値類は、自然に多重度を通して大域的有理型関数と同型となる（スカラー倍を除外して）。
formula_6 を種数 g の閉リーマン面、K を標準因子とすると、任意の因子 formula_7 に対し
が成り立つ。
典型的には formula_4 が興味のある量であり、 formula_10 は補正項と考えることができる。（特殊指数とも呼ぶ。）したがって、定理は大まかに言い換えると、
特に補正項 formula_10 は非負であるから
となる。これをリーマンの不等式と呼ぶ。定理の中の「ロッホの部分」は、不等式の両辺の間のありうる差異の記述の部分である。種数 g のリーマン面の標準因子 K は次数 2g − 2 であり、因子を定める有理型1形式の取り方には依存しない。これは、定理中で D = 0 とすればよい。特に、D の次数が 2g − 1 以上のとき補正項は 0 となるので、
以下では、種数が小さいときに定理の説明をしている。他にも密接に関連した定理が数多くあり、この定理の定式化と同値な直線束を使った定式化や、代数曲線への定理を一般化定理がある。
閉リーマン面上の点 P をとり、次の数列を考えることで種数が小さいときに定理の説明する。
すなわち、この値は、点 P を除く各点で正則であり、点 P で位数が n 以下の極を持つ関数のなす空間の次元である。したがって n = 0 の場合、関数は曲面 X 全体で正則な関数、つまり整関数であることが要求される。リウヴィルの定理から、そのような関数は定数関数に限るので、 formula_15となる。一般に、数列 formula_16 は増加列である。
リーマン球面（または、複素射影直線ともいう）は、単連結であるので、その1次特異ホモロジーはゼロである。特に、種数はゼロである。リーマン球面は、C の 2つのコピーで被覆することができ、は次の式で与えられる。
したがって、C ひとつのコピー上の微分形式 ω = dz は、リーマン球面上の有理型微分形式に拡張される。これは
より無限遠点に位数2の極を持っている。したがって、その因子は K = (ω) = −2P （ここに P は無限遠点）である。
したがって、定理より、数列 l(nP) は
である。この列は部分分数分解から導出することも可能である。逆に、この列がこのように始まると種数 g はゼロとなる。
次はトーラス C/Λ のような閉リーマン面の種数が g = 1 の場合である。ここで、Λ は2-次元の格子（群としては、 Z に同型）である。その種数は1であり、1次特異ホモロジー群は、右の図に示した2つのループにより自由に生成された群である。C 上の標準的な座標 z は、いたるところ正則（つまり、極を持たない）な X 上の1-形式 ω = dz を与える。したがって、標準因子 K は (ω) であり、ゼロである。
曲面上で、数列 l(nP) は、
であり、これは種数 g = 1 を特徴付ける。実際、因子 D = 0 に対し、上で述べたように、l(K − D) = l(0) = 1 となる。n > 0 である D = nP に対して、K − D の次数は、負の値であるので、補正項は 0 である。次元の列は、楕円関数論から導くこともできる。
種数 g = 2 の場合は数列 l(nP) は、
である。このことから、次数 2 の ？ のついた項が、点 P に依って 1 または 2 になることを示そう。種数 2 の場合には、その数列が 1, 1, 2, 2, ... となるような点がちょうど 6つの存在して、残りの点では一般の列 1, 1, 1, 2, ... となる。特に、種数 2 の曲線のことを超楕円曲線という。g > 2 に対して数列は、ほとんどの点で g + 1 個の1から始まり、そのほかとなる点は有限個しか存在しない（(Weierstrass point)を参照）。
リーマン面上の因子と正則直線束の間の密接な対応関係を使い、異なってはいるが同値な方法で述べることもできる。L を X 上の正則直線束とする。formula_19 で L の正則切断の空間を表すとする。この空間は有限次元となるので、この空間の次元を formula_20 で表すとする。K で X 上の標準バンドルを表す。すると、リーマン・ロッホの定理は、次のように記述できる。
前の章の定理は、L がのときの特別な場合である。定理は K の g 正則切断や X 上の1-形式が存在していること示すことにも適用できる。L を自明バンドルとすると、X 上の唯一の正則関数は定数関数であるので、formula_22 である。L の次数はゼロで、formula_23 は自明バンドルである。このようにして次が得られる。
したがって、formula_25 であり、g 正則 1-形式が存在することを証明したこととなる。
リーマン面上の因子のリーマン・ロッホ定理の上の定式化の対象はすべて、代数幾何学に類似するものがある。リーマン面の類似物は、体 k 上の代数曲線 C である。用語の差異（曲線 vs. 曲面）は、実多様体としてはリーマン面の次元は 2 であるが、複素多様体である点である。リーマン面がコンパクトであることは、代数曲線がであるという条件と並行して議論することができ、条件は射影的であることに同値である。一般的な体 k 上には、特異（コ）ホモロジーの考え方はないので、いわゆる、幾何種数が次のように定義される。
つまり、この式の値は、大域的に定義された（代数的）1-形式の空間の次元である（ケーラー微分を参照）。結局、リーマン面の有理型関数は局所的には正則関数の分数として表現される。したがって、それらは代数多様体の射の局所的な分数である有理関数に置き換えることができる。上と同じように、曲線上の有理関数 "f" で formula_27 となるもの全体のなすベクトル空間の次元を formula_4 とかくと、
上とまったく同じ公式が成り立つ。
deg "D" ≥ 2"g" -1 のときに
が成り立つことも上と同様である。
ここに C は代数的閉体 k 上の射影的な非特異代数曲線である。事実、同じ公式が任意の体の上の射影曲線に対して成立する。ただし、因子の次数を、基礎体の可能な拡張と因子をサポートする点の剰余体からくる重複度を考えに入れる。 結局、アルティン環の上の固有曲線に対して、因子に付随する直線束のオイラー標数は、（近似的に定義された）因子の次数と構造層 formula_31 のオイラー標数により与えられる。
定理の中の滑らかさの前提は緩めることができて、代数的閉体の上の（射影的な）曲線に対し、それらのすべての局所環はゴレンシュタイン環であり、上と同じステートメントが成立し、上記で定義した幾何種数が算術種数より g 置き換えることができる。算術種数は次のように定義され、証明された。
（滑らかな曲線は、幾何種数と算術種数が一致する）この定理は一般の特異点を持つ曲線（や高次元の多様体）に対しても成立する。
代数曲線に対してのステートメントは、セール双対性を使い証明できる。整数 l(D) は D に付随する直線束 formula_33 の大域的切断の空間の次元である（カルティエ因子を参照のこと）。したがって、層コホモロジーのことばで、
といった関係式を得る。しかし、曲線という特別な場合の非特異射影多様体に対するセールの双対性は、formula_36 が双対 formula_37 に同型であることを言っている。すると、左辺は因子 D のオイラー標数に等しく、D = 0 のとき、構造層、「つまり」定義により formula_38 に対するオイラー標数を得る。一般的な因子に対する定理を証明するためには、ひとつひとつ因子を点として追加することができて、そのようにすると、オイラー標数が右辺に代わることを確かめることができる。
閉リーマン面に対する定理は、GAGA原理と周の定理を使い、代数的なバージョンから導くことができる。事実、すべての閉リーマン面は、ある複素射影空間の代数方程式によって定義されている。
次数 d の既約な平面代数曲線は、固有に特異点の数を数えると、(d - 1)(d - 2)/2 - g 個の特異点を持っている。このことは、もし曲線が (d - 1)(d - 2)/2 個の異なる特異点を持っていたとすると、有理曲線となるので、有理パラメータ化が可能である。
リーマン面や代数曲線の間の（分岐）写像に関連するリーマン・フルヴィッツの公式は、リーマン・ロッホの定理の結果である。
もまた、リーマン・ロッホの定理の結果である。クリフォードの定理は、formula_39 を満たす特殊因子（つまり、formula_40）に対して、次の不等式が成立する。
曲線に対するリーマン・ロッホの定理は、1850年にリーマンとロッホにより証明され、代数曲線に対しては、により1931年に有限標数の完全体についての仕事として証明された。(Peter Roquette)の書いた に、下記のような記載がある。
F. K. シュミットの第一の重要な結果は、閉リーマン面に対するリーマン・ロッホの定理が、基礎体が有限体の時の関数体への翻訳の辞書として結果とみることができる。実際、任意の完全体（有限体であってもよい）を基礎体とするリーマン・ロッホの定理の証明がなされている。
曲線論の結果は、（例えば、の中に）この主張の内容を整備しようと試みるという意味では、基本的である。
高次元のバージョンも存在する（適当な因子や直線束の考え方）。これらの定式化は2つの部分へと分解することが可能となる。ひとつは、現在はセール双対性と呼ばれる部分であり、formula_42 を一次の層コホモロジー群の次元と解釈することであり、あるいは formula_4 を層コホモロジーの零次の次元、切断の空間の次元と考えると、左辺はオイラー標数となり、右辺はオイラー標数の次数(degree)としてのリーマン面のトポロジーにしたがって修正する計算となる。
代数幾何学での次元が 2 のときのそのような公式は、により基礎づけられ、曲面のリーマン・ロッホの定理が証明された（いくつかのバージョンがあり、最初のバージョンはよる）。そのような扱いが1950年以前に行われている。
n-次元への一般化であるヒルツェブルフ・リーマン・ロッホの定理は、フリードリッヒ・ヒルツェブルフにより、代数トポロジーの特性類の応用として発見され証明された。彼の仕事は小平邦彦の仕事に大きな影響を与えた。同時期に、ジャン・ピエール・セールは、現在では知られているようなセール双対性に一般的な形を与えた。
アレクサンドル・グロタンディークは、1957年に現在は(Grothendieck–Riemann–Roch theorem)として知られている遠大な一般化を行った。彼の仕事は多様体に対するリーマン・ロッホの定理であるばかりでなく、2つの多様体の間の射に対するリーマン・ロッホの定理でもある。この証明の詳細は、1958年にボレルとセールにより出版された。
最終的には、（もっとも）一般化されたバージョンは代数トポロジーの中にもある。これらの発展は、本質的には1950年から1960年の間にすべて推し進められた。その後、アティヤ＝シンガーの指数定理が一般化の別の道を切り開いた。
（連接層の）オイラー標数はどのようなものとなるかは、ある程度合理的に計算が可能である。普通の場合に注目すると、交代和をとることで考えることができ、さらなる議論にはを使わねばならない。