因子 (代数幾何学)のソースを表示

'''因子'''（いんし; divisor）とは、[[代数幾何学]]や[[複素幾何学]]において、[[代数多様体]]（または[[複素解析空間]]）の余次元1の部分多様体の形式的有限和のことをいう。因子は、代数多様体や解析空間上の有理関数あるいは有理型関数の極や零点の分布を表すために用いられる（[[#概説|概説]]参照）。線形同値な因子の空間である線形系を考えることは、[[射影空間]]への有理写像を考えることと1対1に対応しているので、代数多様体（または複素解析空間）の代数幾何的な性質・情報を取り出すときに欠かせない概念である。

==概説==
因子が代数幾何（あるいは複素幾何）で演じる役割については、[[代数曲線]]（あるいは、コンパクトな[[リーマン面]]）の場合を見ればおおよそ理解する事が出来る。''C'' を代数関数 ''f''(''z''<sub>1</sub> , ''z''<sub>2</sub>) = 0 から定まるコンパクトリーマン面（あるいは、''f''(''z''<sub>1</sub> , ''z''<sub>2</sub>) = 0 で定まる平面曲線の[[特異点解消]]）とするとき、''C'' 上の有理型関数全体（あるいは、代数関数全体）''M''(''C'') は、1変数有理関数体 ''K'' = '''C'''(''z''<sub>1</sub>) の ''f'' による拡大 ''K''[''z''<sub>2</sub>] / (f) と同型である事がわかる。特に、''C'' 上の有理型関数全体 ''M''(''C'') は '''C''' 上のベクトル空間として無限次元である。''M''(''C'') は体論的に明確な形で既述される体であるとはいえ、コンパクトリーマン面の幾何的な性質を調べるには不十分である。

例えば、ひとつの重要な問題としては、任意にコンパクトリーマン面 ''C'' を与えたときに、''M''(''C'') に複素定数でない元が含まれるか、すなわち ''C'' 上に自明でない有理型関数が存在するか、という問題がある（コンパクトリーマン面の代数性、[[GAGA (代数学)|GAGA]]参照）。この問題は、より強く、''C'' 上のある 1点 ''P'' に極を許し、その他の点では正則な有理型関数が存在できるか、という問題と同値である。''C'' 上 ''P'' のみに極を持つ有理型関数の全体を ''R''(''P'') とすると、これは ''M''(''C'') の部分環になるが、結論から言うとこれも '''C''' 上有限次元にはならない。ところが、''P''に高々 ''n'' 位の極をもち、他の点では正則な有理型関数全体を ''L''(''nP'') で表すと <math>R(P)=\bigcup _{n=0}^{\infty} L(nP)</math> であるが、''L''(''nP'') は ''C'' 上有限次元のベクトル空間になる。0 でない有理型関数 ''f'' に対して、点 ''P'' での位数 ''v''<sub>''P''</sub>(''f'') を、''f'' が点 ''P'' で ''n'' 位の零点を持つとき ''n'' 、''n'' 位の極を持つとき -''n''  と定める（ ''f'' = 0 の時は、全ての ''P'' に対して ''v''<sub>''P''</sub>(''f'') = +∞ と約束する）。''D'' を''C'' 上の有限個の点の整数係数の型式和 ''n''<sub>1</sub>''P''<sub>1</sub> + ... + ''n''<sub>''m''</sub>''P''<sub>''m''</sub> に対しても、同語反復的に ''v''<sub>P</sub>(''D'') を ''P'' = ''P<sub>i</sub>'' のとき ''n<sub>i</sub>'' 、''P'' がどの ''P<sub>i</sub>'' とも一致しないときは 0 と定める。そして、

:<math>L(D)=\{f\in M(C) \mid v_P(f)\geqslant - v_P(D)\}</math>
とおくと、これは ''L''(''nP'') の一般化になっており、このベクトル空間はいつでも '''C''' 上有限次元になる。ここに現れた ''D'' が ''C'' 上の'''因子'''である。

[[リーマン・ロッホの定理]]によれば、ある種の場合 ''L''(''D'') の次元は明示的に計算可能である。''C'' の[[種数]] が 0 の時には、空間 ''L''(''nP'') の次元は ''n'' が非負のとき ''n'' + 1 次元になる事が分かり、特に ''n'' =1 のときを見ると ''C'' には1位の極をひとつだけもった有理型関数（すなわちリーマン球面 <math>\mathbb P^1_{\mathbf C}</math> への正則写像）が存在する事になるので、''C'' は常に <math>\mathbb P^1_{\mathbf C}</math> と同型になる事がわかる。種数が 1 の時には、 ''L''(''nP'') の次元が ''n'' が正の時 ''n'' になることがわかる。従って、種数が 1 のコンパクトリーマン面上にはある 1 点に極を持つ定数でない有理型関数はその極の位数が 2 の時に初めて現れる（これを ''f'' とおく）ことがわかり、これとは1次独立なもの ''g'' が位数が 3 の時にもひとつ存在することもわかる。すなわち、''L''(3''P'') は 1 , ''f'' , ''g'' の 3つで '''C''' 上張られるベクトル空間である。対応

:<math>Q\mapsto [ 1 : f(Q) : g(Q) ] </math>
は正則写像 ''C'' → <math>\mathbb P^2_{\mathbf C}</math> を定める。さらに、''L''(6''P'') をみれば 、これら2つの有理型関数はある2変数の3次式 ''F''(''z''<sub>1</sub> , ''z''<sub>2</sub>) に対して ''F''(''f'' , ''g'')=0 となる、つまり、上記正則写像の像が3次曲線 ''F'' = 0 に含まれている事もわかる。このようにして、種数 1 のコンパクトリーマン面は、平面上の3次曲線に対応していることがわかり、ここで現れた位数が 2 の極を持つ有理型関数 ''f'' は[[楕円函数#定義|ワイエルシュトラスのペー関数]]に他ならない。

このように、与えられた多様体に対して、その上の因子 ''D'' と、それから定まる有理型関数の空間 ''L''(''D'') （特にその次元）は多くの幾何学的情報を含んでいるのであり、特に、射影多様体の射影空間への正則写像（一般には有理写像）を考える事と ''L''(''D'') を考える事は同値である。コンパクトな（固有な）代数多様体上では空間 ''L''(''D'') が有限次元のベクトル空間になる事から、正則写像を調べる問題を有限次元のベクトル空間のマニピュレーションに帰着できるのである。

==ヴェイユ因子==
''X'' を既約かつ被約で分離的な[[正規環|正規]]ネーター[[概型|スキーム]]とする（分離的な[[代数多様体]]は既約かつ被約なネーター的スキームであるから、正規で分離的代数多様体を考えていると思って差し支えない）。''Z'' を dim ''Z'' = dim ''X'' - 1 、つまり余次元が 1 の既約で被約な閉部分スキーム（既約な閉部分代数多様体）とする。このような閉部分スキームを'''素因子''' (prime divisor)  とよぶ。X 上の'''ヴェイユ因子''' (Weil divisor) とは、 有限個の素因子 ''Z<sub>i</sub>'' の有限型式和

:<math>D= \sum _{i=1}^m a_i Z_i </math>
の事を言う。単にヴェイユ因子といった場合は通常、係数 ''a<sub>i</sub>'' は整数である。このとき ''D'' の'''次数''' (degree) を<math>\deg(D)=\sum_i a_i</math> により定める。係数 ''a<sub>i</sub>'' が有理数のときは、'''Q'''-ヴェイユ因子、 実数の時には '''R'''-ヴェイユ因子と呼ぶ。ヴェイユ因子、'''Q'''-ヴェイユ因子、'''R'''-ヴェイユ因子を単に因子、'''Q'''-因子、'''R'''-因子と呼ぶ事も多い。ヴェイユ因子、'''Q'''-ヴェイユ因子、あるいは'''R'''-ヴェイユ因子 ''D'' のすべての係数 ''a<sub>i</sub>'' が非負のとき、''D'' は'''有効''' (effective) であるといい、''D'' ≥ 0 と書く。ヴェイユ因子（または、'''Q'''-ヴェイユ因子、'''R'''-ヴェイユ因子）の全体は 自由'''Z'''-加群（'''Q'''-ベクトル空間、'''R'''-ベクトル空間）の構造を持つ。これを Div (''X'')（または Div<sub>'''Q'''</sub> (''X'') , Div<sub>'''R'''</sub> (''X'') ）で表す。また次数0のヴェイユ因子全体はこの群の部分群をなす。これを Div<sup>0</sup> (''X'') で表す。

''X'' 上の素因子 ''Z'' をひとつ取ったとき、''Z'' と交わりが空でないアフィン開部分スキーム ''U'' = Spec (''A'') を取ると、''Z'' は環 ''A'' の[[ネーター環|高さ]]が1の[[素イデアル]] ''P'' に対応する （つまり、''Z'' の高さ 1 の生成点 ''P'' をとり、''U'' = Spec (''A'') として ''P'' を含むアフィン開部分スキームを取った）。この素イデアル ''P'' での ''A'' の[[局所化]] ''A<sub>P</sub>'' は1次元正規ネーター[[局所環]]であるので、関数体 ''k''(''X'') の[[離散付値環]]になる。対応する離散付値を ''v<sub>Z</sub>'' で表す。''A<sub>P</sub>'' の極大イデアルも ''P'' で表すとき、有理関数 ''f'' に対して ''v<sub>Z</sub>''(''f'') は、''f'' ∈ ''P''<sup>''d''</sup> であるが ''f'' ∉ ''P''<sup>''d''+1</sup> となる ''d'' に等しい。すなわち、''f'' が ''Z'' に沿ってどのぐらいの重複度を持っているか（正の時には零、負の時には極）、もっと砕けた言い方をすれば「''f'' が ''P'' で何回割り切れるか」に対応する値である。''f'' を ''A'' の元 ''g'' , ''h'' を用いて ''f'' = ''g'' / ''h'' と表したとき、''v<sub>Z</sub>''(''f'') > 0 ならば ''g'' ∈ ''P'' でなくてはならないし、''v<sub>Z</sub>''(''f'') > 0 ならば ''h'' ∈ ''P'' でなくてはならない。''A'' の元 ''g'' に対して ''g'' ∈ ''P'' となる ''P'' は有限である（付随素因子の有限性、[[準素分解]]参照）。同様に ''h'' ∈ ''P'' となる''P''も有限。したがって、''f'' に対して ''v<sub>Z</sub>''(''f'')　≠ 0 となる ''Z'' で ''Z'' ∩ ''U'' ≠ ∅ となるものは有限である。''X'' はネーター的と仮定したから、''X'' は有限個のアフィンスキームで覆われるので、結局 ''v<sub>Z</sub>''(''f'') ≠ 0 となる素因子 ''Z'' は有限である。そこで、''f'' に対して

:<math>(f) = \!\!\sum _{v_Z(f)\neq 0} \!\! v_Z(f)\cdot Z</math>
は有限和になるので因子になる。これを ''f'' で定まる'''主因子''' (principal divisor) と呼ぶ。主因子は常に次数0をもつ。(''fg'')=(''f'')+(''g''), -(''f'')=(1/''f'') より主因子の全体は群（特に Div<sup>0</sup> (''X'') の部分群）をなす。2つの因子 ''D'' , ''E'' が'''線形同値''' (linearly equivalent) であるとは、''D'' - ''E'' が主因子となることと定義し、''D'' 〜 ''E'' で表す。因子 ''D'' 自身の係数がすべて非負でなくても、''D'' がある有効因子と線形同値になるとき、簡単のため言葉の濫用によって「''D'' は有効である」と言うことがある（下記[[#線形型と有理写像]]参照）。

ヴェイユ因子の線形同値類からなる群を[[ピカール群]] Pic (''X'') という。主因子の全体は Div<sup>0</sup> (''X'') の部分群であるから、Div<sup>0</sup> (''X'') の線形同値類からなる群も定義され、この群を Pic<sup>0</sup> (''X'') であらわす。Pic<sup>0</sup> (''X'') をピカール群という場合もある。

==カルティエ因子==
ヴェイユ因子は、代数多様体の付値論的な観点から見て自然な因子の取り扱いであり、その直感的な意味もとらえやすいが、正規スキームの上でしか上手く働かないこと、また、[[代数多様体の射|スキーム（代数多様体）の射]]に関する引き戻しが一般に定義できないなど不満足な点もある。これら欠点を補うのがカルティエ因子の概念である。

''X'' を既約で被約な分離的スキームとする。''X'' が既約かつ被約であることによりその関数体 ''k''(''X'') が定義される<ref>既約性の仮定はここでしか使わない。既約でない場合も、関数体の代わりに構造層の全商環の層をもちいることで、任意のスキームでカルティエ因子は定義できる</ref>。''X'' のアフィン有限開被覆 ''X'' = ∪ ''U<sub>i</sub>'' および 関数体の元 ''g<sub>i</sub>'' が与えられたとき、組 <math>\mathcal D = \{(U_i, g_i)\}_i</math> が'''カルティエ因子''' (Cartier divisor) であるとは ''g<sub>i</sub>'' / ''g<sub>j</sub>'' が ''U<sub>i</sub>'' ∩ ''U<sub>j</sub>'' 上零点も極も持たない、すなわち、''U<sub>i</sub>'' ∩ ''U<sub>j</sub>'' = Spec ''A<sub>ij</sub>'' と書いたとき<ref>分離性を仮定しているので、2つのアフィン開集合の交わりはまたアフィン開集合になる。零点も極も持たないということは、<math>\mathcal O^{\times}</math>の切断になると表せるので、分離性の仮定は全く本質的ではない。</ref>、''g<sub>i</sub>'' / ''g<sub>j</sub>'' が ''A<sub>ij</sub>'' の可逆元になることである。2つのカルティエ因子 {(''U<sub>i</sub>'' , ''g<sub>i</sub>'')} , {(''V<sub>i</sub>'' , ''h<sub>i</sub>'')} は ''U<sub>i</sub>'' ∩ ''V<sub>j</sub>'' 上 ''g<sub>i</sub>'' / ''h<sub>j</sub>'' が極も零点も持たないとき、これを同一視する<ref>つまり、カルティエ因子は ''k''(''X'') を定数層と見たとき、層 <math>k(X)^{\times}/\mathcal O_X^{\times}</math> の大域切断である。</ref>。カルティエ因子 <math>\mathcal D = \{(U_i, g_i)\}_i</math> において、''g<sub>i</sub>'' が正則であるとき、すなわち、''g<sub>i</sub>'' ∈ ''A<sub>i</sub>'' （ただし、''U<sub>i</sub>'' = Spec ''A<sub>i</sub>''）となるとき、'''有効''' (effective) であるという。ある有理関数 ''g'' に対して {(''U<sub>i</sub>'' , ''g'')} で定まるカルティエ因子を'''主因子''' (principal divisor) といい、(''g'') で表す。カルティエ因子 <math>\mathcal D=\{(U_i, g_i)\},\; \mathcal E=\{(V_j, h_j)\}</math> に対してその和や差 <math>\mathcal D\pm\mathcal E</math> を <math>\{(U_i\cap V_j, g_i\cdot h_j^{\pm 1})\}</math> で定義すれば、''X'' 上のカルティエ因子全体 CDiv (''X'') は主因子 (1) を零元とするアーベル群になる。 2つのカルティエ因子 <math>\mathcal D,\; \mathcal E</math> はその差 <math>\mathcal D-\mathcal E</math> が主因子になるとき'''線形同値''' (linearly equivalent) であるといい、<math>\mathcal D\sim \mathcal E</math> で表す。有効なカルティエ因子 <math>\mathcal D = \{(U_i, g_i)\}_i</math> に対して、<math>V\cap U_i=V(g_i)</math>（''g<sub>i</sub>''を含む素イデアル全体のなす閉集合）で定まる ''X'' の閉部分集合 ''V'' を <math>\mathcal D</math> の'''台''' (support) といい、<math>\mbox{supp }\mathcal D</math> で表す。任意のカルティエ因子 <math>\mathcal D</math> は2つの有効なカルティエ因子 <math>\mathcal D_1, \mathcal D_2</math> の差 <math>\mathcal D = \mathcal D_1 - \mathcal D_2</math>として一通りにかけるので、その台を <math>\mbox{supp }\mathcal D = \mbox{supp }\mathcal D_1 \cup  \mbox{supp }\mathcal D_2</math> で定める。

''f'' : ''Y'' → ''X'' をスキームの射とし、<math>\mathcal D</math> を ''X'' 上のカルティエ因子で、その台が ''f'' の像の閉包に含まれないものとするとき、''Y'' 上の開被覆 {''f''<sup> -1</sup>(''U<sub>i</sub>'')} の細分になるアフィン有限被覆 {''V<sub>j</sub>'' } を取るとき、''V<sub>j</sub> ⊂ ''f''<sup>-1</sup>(''U<sub>i</sub>'') なら <math>h_j = f^*(g_i)_{|V_j}</math> と置けば、<math>f^*\mathcal D=\{(V_j, h_j)\}</math> で ''f'' による <math>\mathcal D</math> の'''引き戻し''' (pull-back) が定義される。

さらに、''X'' が既約で被約な正規分離的ネータースキームであるとする。''X'' 上のカルティエ因子 <math>\mathcal D = \{(U_i, g_i)\}_i</math> に対して主因子 (''g<sub>i</sub>'') を考えると、カルティエ因子の定義から、''U<sub>i</sub>'' ∩ ''U<sub>j</sub>'' 上で (''g<sub>i</sub>'') = (''g<sub>j</sub>'') が成り立つ。素因子 ''Z'' に対して ''Z'' ∩ ''U<sub>i</sub>'' ≠ ∅ となる ''i'' を選んで <math>v_Z(\mathcal D)=v_Z(g_i)</math> と定めるとこれは ''i'' の選び方によらないので、<math>\mathcal D</math> に対応するヴェイユ因子

:<math>D=\sum v_Z(\mathcal D)\cdot Z</math>
が矛盾無く定義される。従って、既約かつ被約な分離的正規ネータースキーム上では、カルティエ因子は、ヴェイユ因子であって、任意の点の近傍で (有理関数) = 0 の形の単項な局所方程式を持つようなものと言い換えることができる。この対応で、カルティエ因子の和・差は対応するヴェイユ因子の和・差に対応する。

さらに、''X''が'''局所分解的''' (locally factorial)、すなわち、各点での局所環（座標環の任意の点に対応する素イデアルでの局所化）が[[素元分解整域]]になるようなスキームであるとする。素元分解整域上、高さが 1 の素イデアルは単項イデアルであるので、任意の素因子 ''Z<sub>i</sub>'' は各点の周りで、既約元 ''p<sub>i</sub>'' を使って (''p<sub>i</sub>'') の形に表される。従って、一般のヴェイユ因子 ''D'' = ∑ ''a<sub>i</sub>'' . ''Z<sub>i</sub>'' に対しては、アフィン開集合 ''U'' 上

:<math>g_U= \prod p_i^{a_i}</math>
と定めれば ''U'' 上で ''D'' = (''g<sub>U</sub>'') となる。よって、''X'' が局所分解的な場合はヴェイユ因子はカルティエ因子になる、すなわち、ヴェイユ因子とカルティエ因子の概念は同じものである。たとえば、''X''　が[[非特異]]であるとき、定義により、各点の局所環は[[正則局所環]]であるが、正則局所環は素元分解整域であるから、非特異な被約で既約な分離的ネータースキーム上ではヴェイユ因子とカルティエ因子は等価である。

しかし、一般にはヴェイユ因子はカルティエ因子になるとは限らない。ヴェイユ因子（または '''Q'''-ヴェイユ因子） ''D'' に対して、十分大きな自然数 ''n'' を取ると ''nD'' がカルティエ因子になるとき、''D'' は '''Q'''-カルティエ因子 ('''Q'''-Cartier divisor) であるという。任意のヴェイユ因子が '''Q'''-カルティエ因子になる代数多様体 ''X'' は '''Q'''-'''分解的''' ('''Q'''-factorial) と呼ばれる。

==直線束と因子==
既約で被約な分離的スキーム ''X'' 上のカルティエ因子 <math>D = \{(U_i, g_i)\}_i</math> に対して、層 <math>\mathcal O_X(D)</math> を

:<math>\mathcal O_X(D)(V)=\{f\in k(X)\mid f\cdot g_i \in \mathcal O_X(U)\}</math> 、ただし ''V'' ⊂ ''U<sub>i</sub>''
で定まる定数層 ''k''(''X'') の部分層とすると、''h<sub>ij</sub>'' = ''g<sub>j</sub>'' / ''g<sub>i</sub>'' は零も極も持たないので、<math>\mathcal O_X(D)</math> は {''h<sub>ij</sub>''}  を変換関数とする'''[[可逆層]]'''（invertible sheaf; あるいは、スキーム ''X'' が体上定義されているときは'''[[直線束]]''' (line bundle) と言っても同じ）になる。線形同値なカルティエ因子が定める変換関数は同じものになるから、線形同値なカルティエ因子は同型な可逆層を定める。

逆に、可逆層 <math>\mathcal L</math> が与えられたとき、層 <math>\mathcal L\otimes k(X)</math> の切断 ''s'' を <math>\mathcal L</math> の'''有理切断''' (rational section) という（スキーム ''X'' が体上定義されているときは、有理切断は<math>\mathcal L</math> に対応する直線束 π : ''L'' → ''X'' に対して、有理写像 ''s'' : ''X'' → ''L'' で π ◦ ''s'' = id<sub>X</sub> をみたすものにほかならない）。<math>\mathcal L</math> の自明化 <math>\mathcal L_{|U_i}\cong \mathcal O_{U_i}</math> で 0 でない有理切断 ''s'' が ''U<sub>i</sub>'' 上に定める有理関数を ''s<sub>i</sub>'' とすると、組 {(''U<sub>i</sub>'' , ''s<sub>i</sub>'')} はカルティエ因子を定める。この因子を (''s'') と書くことにする。別の 0 でない有理切断 ''t'' が与えられれば、有理関数 ''g'' が存在して ''t'' = ''g.s'' と書けるので (''t'') = (''s'') + (''g'')、つまり、(''t'') と (''s'') は線形同値なカルティエ因子である。

カルティエ因子 <math>D = \{(U_i, g_i)\}_i</math> から定まる可逆層 <math>\mathcal O_X(D)</math> に対しては自明化は 

:<math>k(X)\supset \mathcal O_X(D)_{|U_i}=\frac 1{g_i}\mathcal O_{U_i}</math>
で定まっているので、埋め込み <math>\mathcal O_X(D)\subset k(X)</math> によって ''k''(''X'') の単位元 1 から定まる有理切断 ''s'' に付随する因子 (''s'') はもとのカルティエ因子 ''D'' と一致する。従って 2つのカルティエ因子 ''D'', ''E'' に対して、対応する可逆層 <math>\mathcal O_X(D),\; \mathcal O_X(E)</math> が同型であれば、''D'' と ''E'' は線形同値である。

''X'' の可逆層（あるいは、直線束）の全体 Pic (''X'') はテンソル積を加法、<math>\mathcal O_X</math>を単位元、双対を逆元とする演算によってアーベル群になる。これを ''X'' の'''[[ピカール群]]''' (Picard group) と呼ぶ。カルティエ因子 ''D'', ''E'' に対して<math>\mathcal O_X(D+E)\cong \mathcal O_X(D)\otimes \mathcal O_X(E)</math>、<math>\mathcal O_X(-D)\cong \mathcal O_X(D)^{\vee}</math>が成り立つので、アーベル群の同型

:CDiv (''X'') / ∼ ≅ Pic (''X'') 
がある。

さらに ''X'' が正規かつネーター的と仮定すると、カルティエ因子（に対応するヴェイユ因子）''D'' に対して、それから定まる可逆層 <math>\mathcal O_X(D)</math> の定義は

:<math>\mathcal O_X(D)(V)=\{f\in k(X)\mid v_Z(f)\geqslant -v_Z(D)\}</math> 、ただし、''Z'' は ''V'' との交わりが空でない素因子全体を渡る
と書き換えられる。したがって、カルティエとは限らないヴェイユ因子 ''D'' に対してもこの定義式によって層 <math>\mathcal O_X(D)</math> が定義される。''D'' がカルティエでないときは、この <math>\mathcal O_X(D)</math> は可逆層にならないが、''X'' の滑らかな点全体のなす開集合 ''U'' = ''X'' に制限すると可逆層になる。''X'' が正規であるので、''X'' \ ''U'' の ''X'' での余次元は 2 以上であることから、<math>\mathcal O_X(D)</math> は階数が 1 の'''反射的層''' (reflexive sheaf) である<ref>既約で被約なネータースキーム上の連接層 <math>\mathcal F</math> が反射的層であるとは、<math>\mathcal F</math> がその二重双対 <math>\mathcal F^{\vee\vee}</math>と同型になることをいう。''X'' が正規のときは、これは <math>\mathcal F</math> が捩れのない連接層であり、''X'' の開集合 ''U'' で、補集合 ''X'' \ ''U'' の余次元が2以上のものとその上の局所自由な連接層 <math>\mathcal F_U</math> が存在して、包含写像 ''i'' : ''U'' → ''X'' に対して <math>\mathcal F=i_*\mathcal F_U</math> と書けることと同値である。階数が1の反射的層を'''因子的層''' (divisorial sheaf) とも呼ぶ。</ref>。このことから、''k''(''X'') の階数1の反射的部分層を与えることとヴェイユ因子を与えることは同値であり、階数1の反射的部分層の同型類はヴェイユ因子の線形同値類と1対1に対応していることがわかる<ref>演算構造に関しては一般に <math>\mathcal O_X(D+E)\cong \mathcal O_X(D)\otimes \mathcal O_X(E)</math> は<span style="text-decoration:underline;">成り立たない</span>。<math>\mathcal O_X(D+E)\cong (\mathcal O_X(D)\otimes \mathcal O_X(E))^{\vee\vee}</math> は成り立っている。</ref>。

==線形系と有理写像==
''X'' を体 ''k'' 上定義された正規代数多様体とし、''D'' をその上のヴェイユ因子とする。''D'' に付随する'''完備線形系''' (complete linear system) | ''D'' | とは ''D'' と線形同値な有効因子全体のなす空間のことである。''L''(''D'') を層 <math>\mathcal O_X(D)</math> の[[層 (数学)#大域切断|大域切断]]のなす ''k''-ベクトル空間 <math>\Gamma (X,\mathcal O_X(D))</math> とすると、

:<math>L(D)=\{f\in k(X)\mid v_Z(D)+v_Z(f)\ge 0\}</math>
であるから、''E'' ∈ | ''D'' | は ''L''(''D'') に属する有理関数 ''f'' を用いて 

:''E'' = ''D'' + (''f'') 
と書ける。主因子 (''f'') は ''f'' の定数倍の差に拠らないから、| ''D'' | は ''L''(''D'') に付随する射影空間 <math>\mathbb P L(D)</math> と同一視される。''L''(''D'') の部分線形空間 ''V'' をとると、それに対応して部分射影空間 Λ ⊂ | ''D'' | が定まる。このようにして定まる Λ を'''線形系''' (linear system) という。

いま、線形系 Λ に属する因子 ''D'' に対して <math>L(D)=\Gamma (X,\mathcal O_X(D))</math> が有限次元であると仮定する。たとえば、この仮定は ''X'' が体 ''k'' 上'''固有''' (proper) であればつねに満足される。このとき、Λ ⊂ | ''D'' | はともに有限次元の射影空間となる。''X'' の点 ''p'' に対して<ref>点 ''p'' としては ''k'' の代数的閉包に値を取る、いわゆる'''幾何学的点'''を考える。簡単のために ''k'' が代数的閉体であると考えても良い。</ref>、<math>\Lambda _p=\{E\in \Lambda \mid p\in E\}</math> を対応させる対応を考えると、一般の位置にある ''p'' に対しては Λ<sub>''p''</sub> は Λ の超平面になるので、有理写像

:<math>\varphi _{\Lambda} : X - \to \Lambda ^{\vee}</math>
が定まる<ref>Λ に対応するベクトル空間 ''V'' ⊂ ''L''(''D'') をとり、''f''<sub>0</sub> , ... , ''f<sub>m</sub>'' をその基底とすると、Λ の元 ''E'' は ''D'' + (''a''<sub>0</sub> ''f''<sub>0</sub> + ... + ''a<sub>m</sub> f<sub>m</sub>'') と書ける。点 ''p'' を ''D'' および ''f<sub>i</sub>'' の極および零の外から取ると、''p'' ∈ ''E'' は

:''a''<sub>0</sub> ''f''<sub>0</sub>(''p'') + ... + ''a<sub>m</sub> f<sub>m</sub>''(''p'') = 0
と表される。''p'' が ''f<sub>i</sub>'' の零点でない事から、この関係式はベクトル (''a''<sub>0</sub> , ... , ''a<sub>m</sub>'') のなす空間の超平面 ''H<sub>p</sub>'' を定める。上記 Λ<sub>''p''</sub> は 

:<math>\Lambda _p=\{E=D+(a_0f_0+\cdots + a_mf_m) \mid (a_0,\ldots, a_m)\in H_p\}</math>
で与えられる Λ の超平面である。点 ''p'' を動かしたとき、超平面 Λ<sub>''p''</sub> は ''f<sub>i</sub>'' （の値の変化）によって基礎体 ''k'' 上「代数的に」動く。これが実際に[[代数多様体]]で定義されている有理写像になっている事を確かめるのは簡単である。</ref>。

''X'' の点 ''p'' が有理写像 <math>\varphi _{\Lambda}</math> の不確定点（写像が定義できない点）であることは、Λ に属する任意の有効因子が点 ''p'' を通ることと同値である。そこで、Λ の'''基点'''（base point、 あるいは'''固定点'''; fixed point ともいう）のなす部分集合 Bs Λ を

:<math>\mbox{Bs} \Lambda = \{p\in X\mid \forall E\in \Lambda\quad p\in E\}=\bigcap _{E\in \Lambda} E</math>

で定めると、これは ''X'' の閉集合になる。Bs Λ は余次元1の既約成分（素因子）を含んでいるかもしれない。線形系 Λ に対してその'''固定部分''' (fixed part) ''F'' を、任意の ''E'' ∈ Λ に対して ''E'' - ''F'' が有効因子になるような ''F'' のうち（各素因子の係数が）最大のものとする。このとき、線形系 M = Λ - ''F'' = { ''E'' - ''F'' | ''E'' ∈ Λ } の基点の集合は素因子を含まない。この M を線形系 Λ の'''可動部分''' (movable part, mobile part) とよぶ。固定部分を持たない線形系を可動な線形系と呼ぶ。

正規代数多様体 ''X'' から射影空間への有理写像 <math>F:X - \to \mathbb P^n_k</math> を取ると、<math>\mathbb P^n_k</math> の超平面 ''H'' はカルティエ因子であり、引き戻し <math>F^*H</math> が ''F'' の定義域 ''U'' ⊂ ''X'' 上で定義される。''X'' が正規である事から ''X'' \ ''U'' の余次元は2以上であるので、これは ''X'' 上のヴェイユ因子を定める。超平面が双対射影空間 <math>H\in \mathbb (\mathbb P^n_k)^{\vee}</math>をわたるときの <math>\Lambda = \{F^*H\mid H\in \mathbb (\mathbb P^n_k)^{\vee}\}</math> は線形系をなす。''F'' の像が <math>\mathbb P^n_k</math> の部分射影空間に含まれないとすると、dim Λ = ''n'' となり、Λ は固定部分を持たない、すなわち、可動な線形系であり、<math>\varphi _{\Lambda}=F</math> となる。このようにして、可動な線形系は、射影空間への有理写像であって、像が非退化（どんな超平面にも含まれない）なものと1対1に対応している。線形系 Λ の基点集合 Bs Λ が空集合であるとき、'''自由'''（free あるいは、基点をもたない base point free）であるという。自由な線形系は、射影空間への非退化な像を持つ射と1対1に対応する。自由な線形系に属する因子は、射影空間の超平面因子の引き戻しで書けるので、カルティエ因子である。

部分空間 ''V'' ⊂ ''L''(''D'') に対応する線形系 Λ が自由である事は、自然な層の準同型

:<math> V\otimes \mathcal O_X \to \mathcal O_X(D)</math>
が全射になることと言い換えられる。これを <math>\mathcal O_X(D)</math> は ''V'' で'''生成される''' (generated by ''V'') と言う。

より一般に、スキーム ''S'' 上有限型な被約で既約なスキーム <math>f:X\to S</math> 上のカルティエ因子 ''D'' に対して <math>f_*\mathcal O_X(D)</math> が[[連接層]]になると仮定する。たとえば、''f'' が[[固有射]]のときはいつでもこの仮定は成り立つ。いま、部分連接層 <math>\mathcal V\subset f_*\mathcal O_X(D)</math> に対して自然な準同型

:<math>f^*\mathcal V\to \mathcal O_X(D)</math>
が全射になるとき、<math>\mathcal O_X(D)</math> は ''S'' 上 <math>\mathcal V</math> で生成されるという。このときも、体 ''k'' 上で考えていた場合と同じく、''S'' スキームの射

:<math>\varphi _{\mathcal V}: X\to \mathbb P(\mathcal V)</math>
であって、<math>\mathcal O_X(D)=\varphi _{\mathcal V}^*\mathcal O_{\mathbb P(\mathcal V)}(1)</math>となるものが定まる。

==代数曲線の因子==
''C'' が非特異な代数曲線の場合、因子は
:<math>D=\sum_{P\in C} n_P P, n_P\in \mathbb{Z}</math>
の形の形式的和である。ただし ''n'' <sub>''P''</sub> は有限個の点 ''P'' を除いて0であるとする。

''L''(''D'') の次元を ''l''(''D'') とかく。''D'' &le; ''E'' ならば ''L''(''D'') は ''L''(''E'') の部分空間で、
:<math>l(E)-l(D)\leq \deg (E-D)</math>
が成り立つ。また ''D'' と ''E'' が線型同値ならば ''l''(''D'') = ''l''(''E'') が成り立つ<ref>{{Harv|Fulton|1974|loc=Section 8.2}} </ref>。

deg(''D'')<0 ならば ''L''(''D'') に属する有理関数は 0 しかない。また ''L''(0) は定数関数全体と一致する。
deg(''D'') &ge; 0 ならば 
:<math>l(D)\leq \deg (D)+1</math>
が成り立つ。また、 ''D'' によらない整数 ''g'' が存在し、つねに
:<math>l(D)\geq \deg (D)+1-g</math>
が成り立つ。このような性質を満たす最小の整数 ''g'' は ''C'' の種数と一致する<ref>{{Harv|Fulton|1974|loc=Section 8.3}} </ref>。

{{仮リンク|局所助変数|label=局所助変数|en|local parameter}} ''t'' に対し、有理型[[微分形式|1形式]] ''&omega;'' = ''f dt'' &ne; 0 の因子 (''&omega;'') を (''&omega;'') = (''f'') で定義する。この因子は局所助変数の取り方によらずに定まる。大域的な有理型1形式の因子を'''[[標準因子]]''' (canonical divisor) と呼ぶ。任意の有理型1形式の因子は線型同値なので、標準因子は線型同値を除いて一意に定まる（よって、''標準''因子と呼ぶ）<ref>{{Harv|Fulton|1974|loc=Section 8.5}} </ref>。

標準因子 ''K'' をとると、任意の因子 ''D'' に対し
:<math>l(D)-l(K-D)=\deg (D)+1-g</math>
が成り立つ（[[代数曲線に対するリーマン–ロッホの定理]]）<ref>{{Harv|Fulton|1974|loc=Section 8.6}} </ref>。

==豊富な因子==
{{main|豊富なラインバンドル}}
''X'' を体 ''k'' 上固有な代数多様体とする。''X'' 上の（カルティエ）因子 ''D'' は、射影空間への埋め込み <math>F:X\to \mathbb P^N_k</math> および射影空間の超平面 ''H'' を使って <math> D=F^*H</math> と書かれるとき、'''非常に豊富''' (very ample) であるという。

カルティエ因子 ''D'' は
# ''X'' の任意の2点 ''p'' , ''q'' に対して、''E'' ∈ | ''D'' | であって、''p'' ∈ ''E'' かつ ''q'' ∉ ''E'' となるものが存在する ('''点の分離''')
# ''X'' の任意の点 ''p'' およびその点での 0 でない接ベクトル ''v''（ザリスキ接空間の元）に対して、''E'' ∈ | ''D'' | であって ''p'' ∈ ''E'' であるが ''E'' は ''v'' と接しない（''E'' のザリスキ接空間が ''v'' を含まない）ものが存在する ('''接ベクトルの分離''')
の2条件を満たすとき、非常に豊富である<ref>条件 1. によって、| ''D'' | は自由であり、それによって定まる射 <math>\varphi _{|D|}</math>は単射である。条件 2. によって、この単射はより強く埋め込みになる。</ref>。

ヴェイユ因子（あるいは、'''Q'''-ヴェイユ因子）''D'' はその正整数倍 ''nD'' が非常に豊富になるとき、'''豊富''' (ample) であるという。非常に豊富なカルティエ因子は、多様体 ''X'' の射影空間への埋め込みを考えることと同値で、非常に幾何学的な概念であり、ある因子が非常に豊富であるかどうかを判定する事は一般には難しい。しかし、豊富性はコホモロジー的あるいは、数値的な特徴づけを持つためより扱いやすく、本質的な概念である。例えば、

:固有な代数多様体 ''X'' 上の可逆層 <math>\mathcal L</math> が豊富である（豊富なカルティエ因子に対応する可逆層である）ことの必要十分条件は、''X'' 上の任意の連接層 <math>\mathcal F</math> に対して十分大きな自然数 ''n'' が存在して、''i'' > 0 に対してコホモロジーの消滅 <math>H^i(X,\mathcal F\otimes \mathcal L^{\otimes n})=0</math> が成り立ことである（'''セールのコホモロジー的豊富性判定'''）。
更に、'''クライマンの数値的豊富性判定'''は豊富性の問題を因子と曲線（の極限でかける実数係数有効1サイクル）の[[交点数]]が正である事として特徴づける。このような数値的な特徴づけは、上記の非常に豊富な因子の特徴づけ （
点の分離と接ベクトルの分離）に比べて扱いやすい。また、コンパクト[[ケーラー多様体]]の上の直線束に対しては、その上にいたるところ正な曲率を持つ[[エルミート計量]]が入るならば、この直線束は豊富である（'''[[小平埋め込み定理]]'''）。因子の豊富性はこのように、因子の何らかの '''正値性'''（positivity）と関連付けてとらえる事が出来る（詳細は[[直線束の数値的性質]]などを参照）。

因子が非常に豊富である、あるいは豊富であるという概念は、任意のスキーム ''S'' 上固有なスキーム ''X'' 上の可逆層 <math>\mathcal L</math>に対して定義できる。すなわち、''S'' 上の射影空間束への埋め込み <math>F:X\to \mathbb P(\mathcal V)</math> によって <math>\mathcal L=F^*\mathcal O_{\mathbb P(\mathcal V)}(1)</math> と書かれるとき、<math>\mathcal L</math> は ''S'' 上非常に豊富であるといい、可逆層の正整数の自己テンソル積 <math>\mathcal L^{\otimes n}</math> が ''S'' 上非常に豊富になるとき、<math>\mathcal L</math> は ''S'' 上豊富であるという。セールのコホモロジー的豊富性判定は、コホモロジー群を構造射 ''f'' : ''X'' → ''S'' による高次順像 <math>R^if_*(\mathcal F\otimes \mathcal L^{\otimes n})=0</math> で置き換えればそのまま成り立つ。

==複素解析空間上の因子==
正規な複素解析空間 ''X'' においても、その素因子 ''Z'' および素因子に沿った有理型関数の位数 ''v''<sub>''Z''</sub>( - ) が定まり、ヴェイユ因子の概念が定義できる<ref>有理関数の位数 ''v''<sub>''Z''</sub>( - ) は代数多様体のように、素イデアルに対応する関数体の付値として「大域的に」定義できるわけではない。局所的に定義される位数が矛盾なく ''Z'' に沿った位数を定める事を証明しなければならない。</ref>。また、カルティエ因子も有理関数を有理型関数に置き換える事によって定義できる。しかし、[[#直線束と因子]]で述べた、直線束とカルティエ因子の線形同値類の1対1の対応は一般にはなく、単射準同型

:<math>\mbox{CDiv }(X)/\sim \; \hookrightarrow \mbox{Pic }(X)</math>
があるのみである。

例えば、''X'' を非常に一般の複素トーラスとする。このとき、複素トーラスの周期の理論により、''X'' 上には因子が全く存在しない。しかし、数値的に自明な ''X'' の上の直線束全体は ''X'' の双対トーラスと同一視できる。つまり、''X'' にはたくさん直線束があるが、それに対応する因子は全く存在しない事になる。これは、非常に一般の複素トーラスの'''代数次元''' (algebraic dimension) が 0 である事を意味する<ref>次元が1のコンパクト複素多様体（すなわち、コンパクトリーマン面）では、[[リーマン・ロッホの定理]]によって自明でない有理型関数が存在する事から、代数次元は常に 1 であるから、射影代数多様体の構造を持つ事がわかる。通常「[[代数幾何学と解析幾何学|GAGA]]」と呼ばれている {{Harvtxt|Serre|1956}} を参照のこと</ref>

==脚注==
<references/>

==関連項目==
* [[代数多様体]]・[[概型]]
* [[直線束の数値的性質]]
* [[準素分解]]
* [[射影多様体|射影代数多様体]]
* [[GAGA (代数学)]]

==参考文献==
* 飯高茂、代数幾何学 I, II, III、岩波講座・基礎数学、[[岩波書店]] (1976/7)
* [[川又雄二郎]]、代数多様体論、共立講座 21世紀の数学 19、[[共立出版]] (1997) ISBN 4320015711
* {{Citation | last=Fulton | first=William | title=Algebraic Curves | series=Mathematics Lecture Note Series | publisher=W.A. Benjamin | year=1974 | isbn=0-8053-3080-1|url=http://www.math.lsa.umich.edu/~wfulton/CurveBook.pdf|format=pdf}}
* Hartshorne, R., Algebraic Geometry, Springer-Verlag (1977) ISBN 0387902449 [ 邦訳：高橋宣能、松下大介 訳、代数幾何学 1,2,3、[[シュプリンガー・ジャパン|シュプリンガーフェアラーク東京]] (2004) ISBN 443171135X ISBN 4431711368 ISBN 4431711376 ]
* Hartshorne, R., ''Stable Reflexive Sheaves'', Math. Ann. 254, (1980) 121 - 176. 
* Reid, M., ''Canonical 3-folds'', Journées de géometrie algébrique d'Angers, Ed. A. Beauville, Sijthoff and Noordhoff, Alphen, (1980), 273-310.
* {{Citation | last1=Serre | first1=Jean-Pierre | author1-link=Jean-Pierre Serre | title=Géométrie algébrique et géométrie analytique | url=http://www.numdam.org/numdam-bin/item?id=AIF_1956__6__1_0 | mr=0082175 | year=1956 | journal=[[Annales de l'Institut Fourier|Université de Grenoble. Annales de l'Institut Fourier]] | issn=0373-0956 | volume=6 | pages=1–42 | doi=10.5802/aif.59}}


{{DEFAULTSORT:いんし}}
[[Category:代数幾何学]]
[[Category:数学に関する記事]]

[[en:Linear_system_of_divisors]]