セール双対性

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

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

以上の（代数幾何学・複素幾何学における）2つの解釈は、非特異な複素射影多様体については一致する。これは層係数コホモロジーとドルボーコホモロジーを結びつけるドルボーの定理の帰結である。
ベクトル束のセール双対
代数的なバージョン
を体上の次元非特異多様体とする。の標準束を、上の形式のなす直線束、すなわち余接束の最高次外冪

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

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

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

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

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

この定式化において，リーマン・ロッホの定理は
h0(D) − h1(D), 
を曲線の種数
h1(C,OC),
と  の次数のことばで計算したものと見ることができる．高次元に一般化できるのはこの形である．

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

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

参考文献

 , see Ch. III.7

 , see p. 171.
  contains a proof for Serre duality for curves
Serre duality at the weblog Rigorous trivialities 
A link between Poincaré and Serre dualities via Hodge theory on Stack exchange

Category:代数幾何学の位相的方法
Category:複素多様体
Category:双対性
Category:数学に関する記事