セール双対性

代数幾何学という数学の分野において、セール双対（セールそうつい、Serre duality）は、ジャン＝ピエール・セールによって証明された、代数多様体の連接層のコホモロジーについての双対性である。基本的な主張は非特異射影多様体上のベクトル束に関するものだが、アレクサンドル・グロタンディークによる（例えば特異点を持つ多様体にも適用できる）広範な一般化も存在する。定理の主張は、テンプレート:Mvar 次元多様体においてコホモロジー群テンプレート:Math が別の群テンプレート:Math の双対空間であるというものである。セール双対は、位相幾何学におけるポアンカレ双対の、連接層のコホモロジーでの類似でもある。

また、セール双対は射影多様体とは限らないコンパクト複素多様体についても成り立つ。複素幾何学の設定では、セール双対はホッジ理論のドルボーコホモロジーへの応用の結果、あるいは楕円型作用素の理論の結果とみなせる。

以上の（代数幾何学・複素幾何学における）2つの解釈は、非特異な複素射影多様体については一致する。これは層係数コホモロジーとドルボーコホモロジーを結びつけるドルボーの定理の帰結である。

ベクトル束のセール双対

$X$ を体 $k$ 上の $n$ 次元非特異多様体とする。 $X$ の標準束 $K_{X}$ を、 $X$ 上の $n$ 形式のなす直線束、すなわち余接束の最高次外冪

K_{X} = Ω_{X}^{n} = ⋀^{n} (T^{*} X) .

と定義する。さらに、 $X$ が $k$ 上固有（例えば射影的ならばこの条件は満たされる）だと仮定する。このときセール双対の主張は以下である。 $X$ 上の代数的なベクトル束 $E$ と整数 $i$ について、有限次元ベクトル空間の自然な同型

H^{i} (X, E) ≅ H^{n - i} (X, K_{X} \otimes E^{*})^{*}

が存在する。ここで $\otimes$ はベクトル束のテンソル積である。とくに両辺の次元を比較すると、等式

h^{i} (X, E) = h^{n - i} (X, K_{X} \otimes E^{*})

が成り立つ。ポアンカレ双対のときと同様に、セール双対の主張する同型も層係数コホモロジーのカップ積に由来する。すなわち、カップ積と $H^{n} (X, K_{X})$ 上の自然なトレース写像を合成したもの

H^{i} (X, E) \times H^{n - i} (X, K_{X} \otimes E^{*}) \to H^{n} (X, K_{X}) \to k

がテンプレート:仮リンクになる。トレース写像は、ドラームコホモロジーの積分（ $n$ 形式を $X$ 全体で積分するという写像）の層係数コホモロジーにおける類似である。

代数曲線の場合は既にリーマン・ロッホの定理に含まれている．曲線テンプレート:Mvar に対して coherent 群テンプレート:Math はテンプレート:Math に対して消える；しかしテンプレート:Math は一般には非自明である．実際，定理の基本関係式はテンプレート:Math とテンプレート:Math に関わり，ここでテンプレート:Mvar は因子でありテンプレート:Mvar は標準類の因子である．セール以降我々はテンプレート:Math をテンプレート:Math の次元と認識している，ただし今テンプレート:Mvar は因子テンプレート:Mvar によって決定される直線束を意味する．つまり，この場合のセール双対性は群テンプレート:Math とテンプレート:Math を関係づけ，次元の関係が分かる（表記：テンプレート:Mvar は標準直線束，テンプレート:Math は双対直線束，並置は直線束のテンソル積）．

この定式化において，リーマン・ロッホの定理はテンプレート:仮リンク

h⁰(D) − h¹(D),

を曲線の種数

h¹(C,O_C),

とテンプレート:Mvar の次数のことばで計算したものと見ることができる．高次元に一般化できるのはこの形である．

したがって曲線のセール双対性は非常に古典的なものではあるが，興味深い観点を持っている．例えば，リーマン面の理論において，複素構造のテンプレート:仮リンクは古典的にテンプレート:仮リンク（すなわちテンプレート:Math の切断）を用いて研究される．小平邦彦とテンプレート:仮リンクの変形理論はテンプレート:Math を通した変形を同一視する，ここでテンプレート:Mvar は接束層テンプレート:Math である．双対性はなぜこれらのアプローチが一致するかを示す．

理論の起源は多変数複素関数論に関するセールの先の研究にある．アレクサンドル・グロタンディークの一般化において，セール双対性ははるかに広い設定におけるテンプレート:仮リンクの一部となる．テンプレート:Mvar が多様体のとき上のテンプレート:Mvar の役割は一般のセール双対性では余接束の行列式束によってなされ，完全に一般にはテンプレート:Mvar はテンプレート:Mvar の非特異性のなんらかの仮定なしではただ1つの層ではありえない．完全に一般的な定式化は導来圏と Ext 関手を使うことで，テンプレート:Mvar が層の鎖複体，すなわちテンプレート:仮リンクによって表されることが可能となる．それにもかかわらず，定理の主張は recognisably セールのものである．