豊富な直線束

代数幾何学では、非常に豊富な直線束は、基礎となる代数多様体や多様体 M から射影空間への埋め込みを行う設定に充分な大域的切断があるバンドルのことを言う。豊富な直線束はバンドルのある正のべきが非常に豊富となるときを言う。大域的に生成された層とは、射影空間への射を定義することに充分な切断を持つ層のことを言う。

1. 導入部
------

1.1. 直線束や超平面因子の逆像
-----------------

射 が与えられると、Y 上の任意のベクトルバンドル もしくは、もっと一般的に 加群、つまり連接層の中の任意の層は、X へ引き戻し ことができる。この構成は直線束であることの条件を、さらに一般的に言うと、ランクの条件を保存する。

この記事で用いられる記法は、射影空間への射の場合の構成に関係している。

and ,超平面因子に対応する直線束は、その切断は 1-同次正則函数である。射影空間の代数幾何学の因子とツイスト層を参照。

1.2. 大域切断で生成される層
----------------

X をスキーム、または複素多様体とし、F を X 上の層とする。すべての F の茎が ai の芽による構造層の茎の上で加群として生成されているとき、F を大域切断 により生成されると言う。例えば、F が直線束であったとする、つまり局所自由なランク 1であったとすると、このことは有限個の大域切断を持っていることを意味し、X の任意の点 x に対し、x でゼロとならない少なくとも一つの切断が存在することになる。この場合、大域的生成子 a0, ..., an を選択することは、次の射を与える。

このときに、引き戻し f*) は F となる。この逆のステートメントもまた正しい。そのような射 f が与えられると、O の引き戻しは大域切断により生成される。

もう少し一般的な状況下では、大域切断ではられる層は、局所環付き空間 X の上の層 F で、構造層 OX は単純なタイプの場合である。F をアーベル群の層とすると、次が成立する。A を大域切断のアーベル群、つまり

とすると、任意の X の開集合 U に対し、ρ は OU-加群として F をはる。ここに、

は、制限写像である。言い換えると、F のすべての切断は、大域切断により局所的に生成される。

そのような例として、代数幾何学での R-加群 M で、R が任意の可換環で、環のスペクトル Spec がある。他の例としては、カルタンの定理 Aに従うと、シュタイン多様体上の任意の連接層は大域切断ではられる。

1.3. 非常に豊富な直線束
--------------

基礎となるスキーム S の上にスキーム X が与えられる、もしくは複素多様体が与えられると、直線束 L は、埋め込み i : X → PnS が存在し、ある n に対し S 上の n-次元射影空間 PnS 上のセールのねじり層 O の逆像函手が L と同型

になる場合に、非常に豊富であるという。

従って、この考えは前の考えの特別な場合であり、すなわち、大域的に生成されていてある大域的生成子により与えられてた射が埋め込みになっているときに、非常に豊富という。

X 上に非常に豊富な層 L と連接層 F が与えられると、セールの定理は、F ⊗ L⊗n は充分大きな n に対して有限な大域的切断により生成される。翻って、このことは、大域的切断と高次層コホモロジー群

は有限生成であることを意味する。このことは射影的な状況のきわ立った様子である。例えば、体 k 上のアフィン n-空間 Ank に対し、構造層 O の大域的切断は n 変数の多項式であるので、有限生成な k-ベクトル空間にはならない。一方、Pnk にかんしては、大域的な切断はまさに定数函数であり、1-次元の k-ベクトル空間を形成する。

2. 定義
-----

豊富な直線束 L は、非常に豊富な直線束よりも少し弱い条件で、直線束 L が豊富とは、任意の X 上の連接層 F に対し、ある整数 n が存在し、F ⊗ L⊗n がその大域切断で生成される場合を言う。

おそらく少し直感的に、同じ直線束 の豊富さの定義は、ある正の数のテンソルべきを持っていて、それが非常に豊富となる時を言う。言い換えると、 に対し、射影埋め込み が存在し、 となる、つまり、n > n に対し、 の大域切断のゼロ因子が超平面切断となることを言う。

この定義は、基礎となる因子 に対して意味を持ち、豊富な は、 が充分に大きな因子の一次系の中で動く。そのような因子は、ある意味充分正であるようなすべての因子の中の錐を形成する。射影空間との関係は、非常に豊富な に対する が、 に埋め込まれた超平面切断に対応する。

2つの定義の間の同値性は、ジャン＝ピエール・セールの代数的連接層により確立している。

3. 直線束の豊富性の判定条件
---------------

3.1. 交叉理論
---------

カルティエ因子 D が豊富な直線束に対応していることを実際に決定するために、いくつかの幾何学的な条件がある。

曲線に対しては、因子 D が非常に豊富であることと、A と B が点である場合でも l = 2 + l であることとは同値である。リーマン・ロッホの定理により、少なくとも次数が 2//g//   +   1 であるこの条件を持たす全ての因子は、非常に豊富である。このことは因子が豊富であることと次数が正であることとは同値であることを意味する。次数が 2//g//   −   2 である標準因子が非常に豊富であることと、曲線が超楕円曲線ではないこととは同値である。

中井・モアシェゾンの判定条件は、代数的閉体上の固有スキーム X 上のカルティエ因子 D が豊富であることと、X の任意の整閉な部分スキーム Y に対して、Ddim.Y > 0 であることとは同値であることを言っている。この特別な場合である曲線の場合は、因子が豊富であることと次数が正であることは同値であり、また、ある滑らかな射影的代数曲面 S に対して、中井・モアシェゾンの判定条件は、D が豊富であることと、自己交叉数 D.D が正であることとは同値であることを言っている。従って、任意の S 上の既約曲線 C に対して、D.C > 0 を得る。

クライマンの判定条件は、任意の射影スキーム X に対し、X 上の因子 D が豊富であることと、NEの閉包、つまり、X の曲線の錐の中で D.C > 0 が任意のゼロでない元 C に対して成り立つことと同値であると言っている。言い換えると、因子が豊富であることと、ネフ因子によって生成される実円錐の内部にあることとは同値である。

Nagataはすべての曲線との交叉数が正であるが豊富ではない曲面上の因子を構成した。このことは、条件 D.D   >   0 が中井・モアシェゾンの判定条件から省略できなく、クライマンの条件の NE というよりも NE の閉包を使う必要があることを意味している。

Seshadri は、完備代数的スキームの上の直線束 L が豊富であることと、ある正の数 ε が存在し、X の中のすべての整な曲線 C に対して deg ≥ εm となることと同値であることを示した。ここに m は C の点での多重度の最大値である。

3.2. 層コホモロジー
------------

カルタン-セール-グロタンディークの定理は、多様体 上の直線束 に対し、次の条件は同値であることを言っている。

が豊富であること
充分大きな m に対し、 は非常に豊富であること
X 上の任意の連接層 に対し、層 は、充分大きな m に対し大域切断により生成される。 があるネター環の上に固有であれば、次も同値である。

X 上の任意の連接層 対し、充分大きな m では高次コホモロジー はゼロとなる。

4. 一般化
------

4.1. 高次ランクのベクトルバンドル
-------------------

多様体上の局所自由層 が豊富とは、 上の可逆層 が豊富である時を言う。

豊富なベクトルバンドルは、豊富な直線束の多くの性質を引き継いで持っている。

4.2. 大きな直線束
-----------

双有理幾何学において重要な一般化には、大きな直線束であるということがある。X 上の直線束 が大きいとは、次の同値な条件のうちのひとつを満たすときを言う。

は豊富な直線束と有効な直線束のテンソル積
有限生成な次数付き環 のヒルベルト多項式は、X の次元の次数を持っている。
因子の一次系 の有理写像は、大きな に対し、その像に双有理同値である。この考え方の面白いところは、有理変換に関して安定性を持っていることである。

5. 参照項目
-------

5.1. 一般の代数幾何学での豊富性
------------------

カルティエ因子
ファノ多様体：反標準直線束が豊富な代数多様体

5.2. 複素幾何学での豊富性
---------------

正則ベクトルバンドル
直線束が豊富であることと、チャーン類がケーラー類であることとは同値
小平埋め込み定理: コンパクトな複素多様体に対し、豊富性と正値性は一致する。
レフシェッツ超平面定理: 複素射影多様体の上の非常に豊富な直線束の研究は強いトポロジカルな情報をもたらす。

6. 参考文献
-------

6.1. 学習用の参考文献
-------------

The slides on ampleness in Vladimir Lazić's [1]

6.2. 研究のための参考文献
---------------