因子 (代数幾何学)

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

1. 概説
-----

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

例えば、ひとつの重要な問題としては、任意にコンパクトリーマン面 //C// を与えたときに、//M// に複素定数でない元が含まれるか、すなわち //C// 上に自明でない有理型関数が存在するか、という問題がある。この問題は、より強く、//C// 上のある 1点 //P// に極を許し、その他の点では正則な有理型関数が存在できるか、という問題と同値である。//C// 上 //P// のみに極を持つ有理型関数の全体を //R// とすると、これは //M// の部分環になるが、結論から言うとこれも C 上有限次元にはならない。ところが、//P//に高々 //n// 位の極をもち、他の点では正則な有理型関数全体を //L// で表すと であるが、//L// は //C// 上有限次元のベクトル空間になる。0 でない有理型関数 //f// に対して、点 //P// での位数 //v////P// を、//f// が点 //P// で //n// 位の零点を持つとき //n// 、//n// 位の極を持つとき -//n// と定める。//D// を//C// 上の有限個の点の整数係数の型式和 //n//1//P//1 + ... + //n////m////P////m// に対しても、同語反復的に //v//P を //P// = //Pi// のとき //ni// 、//P// がどの //Pi// とも一致しないときは 0 と定める。そして、

とおくと、これは //L// の一般化になっており、このベクトル空間はいつでも C 上有限次元になる。ここに現れた //D// が //C// 上の因子である。

リーマン・ロッホの定理によれば、ある種の場合 //L// の次元は明示的に計算可能である。//C// の種数 が 0 の時には、空間 //L// の次元は //n// が非負のとき //n// + 1 次元になる事が分かり、特に //n// =1 のときを見ると //C// には1位の極をひとつだけもった有理型関数が存在する事になるので、//C// は常に と同型になる事がわかる。種数が 1 の時には、 //L// の次元が //n// が正の時 //n// になることがわかる。従って、種数が 1 のコンパクトリーマン面上にはある 1 点に極を持つ定数でない有理型関数はその極の位数が 2 の時に初めて現れることがわかり、これとは1次独立なもの //g// が位数が 3 の時にもひとつ存在することもわかる。すなわち、//L// は 1 , //f// , //g// の 3つで C 上張られるベクトル空間である。対応

は正則写像 //C// → を定める。さらに、//L// をみれば 、これら2つの有理型関数はある2変数の3次式 //F// に対して //F//=0 となる、つまり、上記正則写像の像が3次曲線 //F// = 0 に含まれている事もわかる。このようにして、種数 1 のコンパクトリーマン面は、平面上の3次曲線に対応していることがわかり、ここで現れた位数が 2 の極を持つ有理型関数 //f// はワイエルシュトラスのペー関数に他ならない。

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

2. ヴェイユ因子
---------

//X// を既約かつ被約で分離的な正規ネータースキームとする。//Z// を dim //Z// = dim //X// - 1 、つまり余次元が 1 の既約で被約な閉部分スキームとする。このような閉部分スキームを素因子  とよぶ。X 上のヴェイユ因子  とは、 有限個の素因子 //Zi// の有限型式和

の事を言う。単にヴェイユ因子といった場合は通常、係数 //ai// は整数である。このとき //D// の次数  を により定める。係数 //ai// が有理数のときは、Q-ヴェイユ因子、 実数の時には R-ヴェイユ因子と呼ぶ。ヴェイユ因子、Q-ヴェイユ因子、R-ヴェイユ因子を単に因子、Q-因子、R-因子と呼ぶ事も多い。ヴェイユ因子、Q-ヴェイユ因子、あるいはR-ヴェイユ因子 //D// のすべての係数 //ai// が非負のとき、//D// は有効  であるといい、//D// ≥ 0 と書く。ヴェイユ因子の全体は 自由Z-加群の構造を持つ。これを Div で表す。また次数0のヴェイユ因子全体はこの群の部分群をなす。これを Div0  で表す。

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

は有限和になるので因子になる。これを //f// で定まる主因子  と呼ぶ。主因子は常に次数0をもつ。=+, -= より主因子の全体は群をなす。2つの因子 //D// , //E// が線形同値  であるとは、//D// - //E// が主因子となることと定義し、//D// 〜 //E// で表す。因子 //D// 自身の係数がすべて非負でなくても、//D// がある有効因子と線形同値になるとき、簡単のため言葉の濫用によって「//D// は有効である」と言うことがある。

ヴェイユ因子の線形同値類からなる群をピカール群 Pic  という。主因子の全体は Div0  の部分群であるから、Div0  の線形同値類からなる群も定義され、この群を Pic0  であらわす。Pic0  をピカール群という場合もある。

3. カルティエ因子
----------

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

//X// を既約で被約な分離的スキームとする。//X// が既約かつ被約であることによりその関数体 //k// が定義される。//X// のアフィン有限開被覆 //X// = ∪ //Ui// および 関数体の元 //gi// が与えられたとき、組 がカルティエ因子  であるとは //gi// / //gj// が //Ui// ∩ //Uj// 上零点も極も持たない、すなわち、//Ui// ∩ //Uj// = Spec //Aij// と書いたとき、//gi// / //gj// が //Aij// の可逆元になることである。2つのカルティエ因子 {} , {} は //Ui// ∩ //Vj// 上 //gi// / //hj// が極も零点も持たないとき、これを同一視する。カルティエ因子 において、//gi// が正則であるとき、すなわち、//gi// ∈ //Ai// となるとき、有効  であるという。ある有理関数 //g// に対して {} で定まるカルティエ因子を主因子  といい、 で表す。カルティエ因子 に対してその和や差 を で定義すれば、//X// 上のカルティエ因子全体 CDiv  は主因子  を零元とするアーベル群になる。 2つのカルティエ因子 はその差 が主因子になるとき線形同値  であるといい、 で表す。有効なカルティエ因子 に対して、で定まる //X// の閉部分集合 //V// を の台  といい、 で表す。任意のカルティエ因子 は2つの有効なカルティエ因子 の差 として一通りにかけるので、その台を で定める。

//f// : //Y// → //X// をスキームの射とし、 を //X// 上のカルティエ因子で、その台が //f// の像の閉包に含まれないものとするとき、//Y// 上の開被覆 {//f// -1} の細分になるアフィン有限被覆 {//Vj// } を取るとき、//Vj ⊂ //f//-1 なら と置けば、 で //f// による の引き戻し  が定義される。//

さらに、//X// が既約で被約な正規分離的ネータースキームであるとする。//X// 上のカルティエ因子 に対して主因子  を考えると、カルティエ因子の定義から、//Ui// ∩ //Uj// 上で  =  が成り立つ。素因子 //Z// に対して //Z// ∩ //Ui// ≠ ∅ となる //i// を選んで と定めるとこれは //i// の選び方によらないので、 に対応するヴェイユ因子

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

さらに、//X//が局所分解的 、すなわち、各点での局所環が素元分解整域になるようなスキームであるとする。素元分解整域上、高さが 1 の素イデアルは単項イデアルであるので、任意の素因子 //Zi// は各点の周りで、既約元 //pi// を使って  の形に表される。従って、一般のヴェイユ因子 //D// = ∑ //ai// . //Zi// に対しては、アフィン開集合 //U// 上

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

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

4. 直線束と因子
---------

既約で被約な分離的スキーム //X// 上のカルティエ因子 に対して、層 を

、ただし //V// ⊂ //Ui//で定まる定数層 //k// の部分層とすると、//hij// = //gj// / //gi// は零も極も持たないので、 は {//hij//} を変換関数とする可逆層になる。線形同値なカルティエ因子が定める変換関数は同じものになるから、線形同値なカルティエ因子は同型な可逆層を定める。

逆に、可逆層 が与えられたとき、層 の切断 //s// を の有理切断  という。 の自明化 で 0 でない有理切断 //s// が //Ui// 上に定める有理関数を //si// とすると、組 {} はカルティエ因子を定める。この因子を  と書くことにする。別の 0 でない有理切断 //t// が与えられれば、有理関数 //g// が存在して //t// = //g.s// と書けるので  =  + 、つまり、 と  は線形同値なカルティエ因子である。

カルティエ因子 から定まる可逆層 に対しては自明化は

で定まっているので、埋め込み によって //k// の単位元 1 から定まる有理切断 //s// に付随する因子  はもとのカルティエ因子 //D// と一致する。従って 2つのカルティエ因子 //D//, //E// に対して、対応する可逆層 が同型であれば、//D// と //E// は線形同値である。

//X// の可逆層の全体 Pic  はテンソル積を加法、を単位元、双対を逆元とする演算によってアーベル群になる。これを //X// のピカール群  と呼ぶ。カルティエ因子 //D//, //E// に対して、が成り立つので、アーベル群の同型

CDiv  / ∼ ≅ Pic がある。

さらに //X// が正規かつネーター的と仮定すると、カルティエ因子//D// に対して、それから定まる可逆層 の定義は

、ただし、//Z// は //V// との交わりが空でない素因子全体を渡ると書き換えられる。したがって、カルティエとは限らないヴェイユ因子 //D// に対してもこの定義式によって層 が定義される。//D// がカルティエでないときは、この は可逆層にならないが、//X// の滑らかな点全体のなす開集合 //U// = //X// に制限すると可逆層になる。//X// が正規であるので、//X// \ //U// の //X// での余次元は 2 以上であることから、 は階数が 1 の反射的層  である。このことから、//k// の階数1の反射的部分層を与えることとヴェイユ因子を与えることは同値であり、階数1の反射的部分層の同型類はヴェイユ因子の線形同値類と1対1に対応していることがわかる。

5. 線形系と有理写像
-----------

//X// を体 //k// 上定義された正規代数多様体とし、//D// をその上のヴェイユ因子とする。//D// に付随する完備線形系  | //D// | とは //D// と線形同値な有効因子全体のなす空間のことである。//L// を層 の大域切断のなす //k//-ベクトル空間 とすると、

であるから、//E// ∈ | //D// | は //L// に属する有理関数 //f// を用いて

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

いま、線形系 Λ に属する因子 //D// に対して が有限次元であると仮定する。たとえば、この仮定は //X// が体 //k// 上固有  であればつねに満足される。このとき、Λ ⊂ | //D// | はともに有限次元の射影空間となる。//X// の点 //p// に対して、 を対応させる対応を考えると、一般の位置にある //p// に対しては Λ//p// は Λ の超平面になるので、有理写像

が定まる。

//X// の点 //p// が有理写像 の不確定点であることは、Λ に属する任意の有効因子が点 //p// を通ることと同値である。そこで、Λ の基点のなす部分集合 Bs Λ を

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

正規代数多様体 //X// から射影空間への有理写像 を取ると、 の超平面 //H// はカルティエ因子であり、引き戻し が //F// の定義域 //U// ⊂ //X// 上で定義される。//X// が正規である事から //X// \ //U// の余次元は2以上であるので、これは //X// 上のヴェイユ因子を定める。超平面が双対射影空間 をわたるときの は線形系をなす。//F// の像が の部分射影空間に含まれないとすると、dim Λ = //n// となり、Λ は固定部分を持たない、すなわち、可動な線形系であり、 となる。このようにして、可動な線形系は、射影空間への有理写像であって、像が非退化なものと1対1に対応している。線形系 Λ の基点集合 Bs Λ が空集合であるとき、自由であるという。自由な線形系は、射影空間への非退化な像を持つ射と1対1に対応する。自由な線形系に属する因子は、射影空間の超平面因子の引き戻しで書けるので、カルティエ因子である。

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

が全射になることと言い換えられる。これを は //V// で生成される  と言う。

より一般に、スキーム //S// 上有限型な被約で既約なスキーム 上のカルティエ因子 //D// に対して が連接層になると仮定する。たとえば、//f// が固有射のときはいつでもこの仮定は成り立つ。いま、部分連接層 に対して自然な準同型

が全射になるとき、 は //S// 上 で生成されるという。このときも、体 //k// 上で考えていた場合と同じく、//S// スキームの射

であって、となるものが定まる。

6. 代数曲線の因子
----------

//C// が非特異な代数曲線の場合、因子は

の形の形式的和である。ただし //n// //P// は有限個の点 //P// を除いて0であるとする。

//L// の次元を //l// とかく。//D// ≤ //E// ならば //L// は //L// の部分空間で、

が成り立つ。また //D// と //E// が線型同値ならば //l// = //l// が成り立つ。

deg<0 ならば //L// に属する有理関数は 0 しかない。また //L// は定数関数全体と一致する。 deg ≥ 0 ならば

が成り立つ。また、 //D// によらない整数 //g// が存在し、つねに

が成り立つ。このような性質を満たす最小の整数 //g// は //C// の種数と一致する。

局所助変数 //t// に対し、有理型1形式 //ω// = //f dt// ≠ 0 の因子  を  =  で定義する。この因子は局所助変数の取り方によらずに定まる。大域的な有理型1形式の因子を標準因子  と呼ぶ。任意の有理型1形式の因子は線型同値なので、標準因子は線型同値を除いて一意に定まる。

標準因子 //K// をとると、任意の因子 //D// に対し

が成り立つ。

7. 豊富な因子
--------

//X// を体 //k// 上固有な代数多様体とする。//X// 上の因子 //D// は、射影空間への埋め込み および射影空間の超平面 //H// を使って と書かれるとき、非常に豊富  であるという。

カルティエ因子 //D// は

//X// の任意の2点 //p// , //q// に対して、//E// ∈ | //D// | であって、//p// ∈ //E// かつ //q// ∉ //E// となるものが存在する 
//X// の任意の点 //p// およびその点での 0 でない接ベクトル //v//に対して、//E// ∈ | //D// | であって //p// ∈ //E// であるが //E// は //v// と接しないものが存在する の2条件を満たすとき、非常に豊富である。

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

固有な代数多様体 //X// 上の可逆層 が豊富であることの必要十分条件は、//X// 上の任意の連接層 に対して十分大きな自然数 //n// が存在して、//i// > 0 に対してコホモロジーの消滅 が成り立ことである。更に、クライマンの数値的豊富性判定は豊富性の問題を因子と曲線の交点数が正である事として特徴づける。このような数値的な特徴づけは、上記の非常に豊富な因子の特徴づけ に比べて扱いやすい。また、コンパクトケーラー多様体の上の直線束に対しては、その上にいたるところ正な曲率を持つエルミート計量が入るならば、この直線束は豊富である。因子の豊富性はこのように、因子の何らかの 正値性と関連付けてとらえる事が出来る。

因子が非常に豊富である、あるいは豊富であるという概念は、任意のスキーム //S// 上固有なスキーム //X// 上の可逆層 に対して定義できる。すなわち、//S// 上の射影空間束への埋め込み によって と書かれるとき、 は //S// 上非常に豊富であるといい、可逆層の正整数の自己テンソル積 が //S// 上非常に豊富になるとき、 は //S// 上豊富であるという。セールのコホモロジー的豊富性判定は、コホモロジー群を構造射 //f// : //X// → //S// による高次順像 で置き換えればそのまま成り立つ。

8. 複素解析空間上の因子
-------------

正規な複素解析空間 //X// においても、その素因子 //Z// および素因子に沿った有理型関数の位数 //v////Z// が定まり、ヴェイユ因子の概念が定義できる。また、カルティエ因子も有理関数を有理型関数に置き換える事によって定義できる。しかし、#直線束と因子で述べた、直線束とカルティエ因子の線形同値類の1対1の対応は一般にはなく、単射準同型

があるのみである。

例えば、//X// を非常に一般の複素トーラスとする。このとき、複素トーラスの周期の理論により、//X// 上には因子が全く存在しない。しかし、数値的に自明な //X// の上の直線束全体は //X// の双対トーラスと同一視できる。つまり、//X// にはたくさん直線束があるが、それに対応する因子は全く存在しない事になる。これは、非常に一般の複素トーラスの代数次元  が 0 である事を意味する

9. 脚注
-----

10. 関連項目
--------

代数多様体・概型
直線束の数値的性質
準素分解
射影代数多様体
GAGA 

11. 参考文献
--------

飯高茂、代数幾何学 I, II, III、岩波講座・基礎数学、岩波書店 
川又雄二郎、代数多様体論、共立講座 21世紀の数学 19、共立出版  ISBN 4320015711
Hartshorne, R., Algebraic Geometry, Springer-Verlag  ISBN 0387902449 [ 邦訳：高橋宣能、松下大介 訳、代数幾何学 1,2,3、シュプリンガーフェアラーク東京  ISBN 443171135X ISBN 4431711368 ISBN 4431711376 ]
Hartshorne, R., //Stable Reflexive Sheaves//, Math. Ann. 254,  121 - 176.
Reid, M., //Canonical 3-folds//, Journées de géometrie algébrique d'Angers, Ed. A. Beauville, Sijthoff and Noordhoff, Alphen, , 273-310.

en:Linear_system_of_divisors