ファノ多様体
代数幾何学では、ファノ多様体(Fano variety)は、テンプレート:Harvs により導入され、多様体上の反標準バンドルが豊富な完備代数多様体(complete variety) X のことを言う。この定義は、X がある定義体上で滑らか(smooth)なことを前提としているが、極小モデルプログラムでは、端末特異点(canonical singularity)やklt特異点(klt singularity)(川又対数端末特異点)といった、様々なタイプの特異点を持ったファノ多様体の研究も進められていた。
Contents
ファノ多様体の例
- ファノ多様体の基本的な例は、射影空間である。[math]\mathbb P_{\mathbf k}^n[/math] の反標準ラインバンドルは [math]\mathcal O(n+1)[/math] であり、反標準バンドルは非常に豊富である(その曲率はフビニ・スタディ計量の n+1 倍のシンプレクティック形式である)。
- D を [math]\mathbb P_{\mathbf k}^n[/math] の中の滑らかな余次元 1 の部分多様体とすると、随伴公式より、[math]\mathcal K_D = (\mathcal K_X + D)|_D = (-(n+1) H + \mathrm{deg}(D) H)|_D[/math] を得る。ここに H は超平面のクラスである。従って、超曲面 D がファノ多様体であることと [math]\mathrm{deg}(D) \lt n+1[/math] であることとは同値である。
- より一般的な n-次元の射影空間の超曲面の滑らかな完全交叉(complete intersection)がファノ多様体であることと、それらの次数が多くとも n であることとは同値である。
- 重み付き射影空間(Weighed projective space) P(a0,...,an) はファノ多様体である。この空間は、生成元が次数 a0,...,an である次数付き多項式環に付随する射影スキームである。これがうまく構成されると、数 a の中の n が 1 よりも大きな公約数が存在しないので、a0+...+an よりも次数の小さな超曲面の任意の完全交叉がファノ多様体である。
- 標数 0 の射影多様体で線型代数群の下に等質な多様体は、全てファノ多様体である。
いくつかの性質
X 上に豊富なラインバンドルが存在することと、X が射影多様体であることとは同値であるから、ファノ多様体はいつでも射影的である。複素数体上のファノ多様体は、小平消滅定理により、[math]i \gt 0[/math] に対して、構造層の高次コホモロジー群 [math]H^i(X, \mathcal O_X)[/math] が 0 である。このことから、第一チャーン類から、同型 [math]c_1 : \mathrm{Pic}(X) \to H^2(X,\mathbb Z)[/math] が導かれる。
滑らかな複素ファノ多様体は、単連結である。カンパナ(Campana)とケラー・宮岡・森(Kollár-Miyaoka-Mori)は、代数的閉体上の滑らかなファノ多様体は有理チェーン連結であることを示した。すなわち、任意の 2つの閉点は有理曲線のチェーンにより連結することができる。[1] 最も簡単な事実は、ファノ多様体の小平次元は、−∞ という事実である。
ケラー・宮岡・森は、標数 0 の代数的閉体上の任意の次元の滑らかなファノ多様体が有界な族を作ることを示した。このことはそのようなファノ多様体が有限個の代数多様体の点により分類されることを意味している。[2] 特に、各々の次元のファノ多様体の変形クラスは、有限個しかないことを意味する。この意味で、ファノ多様体は一般型の多様体のような他のクラスよりも非常に特殊である。
小さな次元での分類
次の議論は複素数上の滑らかなファノ多様体を考える。
次元が 2 のファノ曲面は、デルペッゾ曲面と呼ばれる。どのデルペッゾ曲面も [math]\mathbb{P}^1 \times \mathbb{P}^1[/math] か、または、最大 8 個の点でブローアップした射影平面であり、とくにファノ多様体全てが再び有理的である。
次元が 3 のファノ多様体は、非有理的な例が、滑らかな複素ファノ多様体が存在し、例えば、3次 3次元多様体(3-fold)が P4 の中に存在し(クレメンス(Clemens)とグリフィス(Griffiths)による)、また、P4 の中に 4次 3次元多様体も存在する(イスコフスキー(Iskovskih)とマーニン(Manin)による)。テンプレート:Harvsでは、第二ベッチ数が 1 である滑らかな 3次元ファノ多様体は、17 個のクラスへ分類され、また、Mori & Mukai (1981) では、第二ベッチ数がすくなくとも 2 の 3次元ファノ多様体は 88 個の変形するクラスを発見して、滑らかなファノ多様体を分類した。滑らかな 3次元ファノ多様体の分類の詳細なまとめは、Iskovskikh & Prokhorov (1999) で与えられている。
脚注
関連項目
- 形の周期表(Periodic table of shapes) 3 と 4次元のすべてのファノ多様体を分類するプロジェクト
参考文献
- Fano, Gino (1934), “Sulle varietà algebriche a tre dimensioni aventi tutti i generi nulli”, Proc. Internat. Congress Mathematicians (Bologna) , 4 , Zanichelli, pp. 115–119
- Fano, Gino (1942), “Su alcune varietà algebriche a tre dimensioni razionali, e aventi curve-sezioni canoniche”, Commentarii Mathematici Helvetici 14: 202–211, doi:10.1007/BF02565618, ISSN 0010-2571, MR 0006445
- Iskovskih, V. A. (1977), “Fano threefolds. I”, Math. USSR Izv. 11 (3): 485–527, doi:10.1070/IM1977v011n03ABEH001733, ISSN 0373-2436, MR 463151
- Iskovskih, V. A. (1978), “Fano 3-folds II”, Math USSR Izv. 12 (3): 469–506, doi:10.1070/IM1978v012n03ABEH001994Fano+3-folds+II, MR 0463151
- Iskovskih, V. A. (1979), “Anticanonical models of three-dimensional algebraic varieties”, Current problems in mathematics, Vol. 12 (Russian), VINITI, Moscow, pp. 59–157, MR 537685
- Iskovskikh, V. A.; Prokhorov, Yu. G. (1999), “Fano varieties”, in A. N. Parshin; I. R. Shafarevich, Algebraic Geometry, V. Encyclopedia Math. Sci., 47, Springer-Verlag, pp. 1-247, ISBN 3-540-61468-0, MR 1668579
- Kollár, János (1996), Rational Curves on Algebraic Varieties, Berlin, Heidelberg: Springer-Verlag, doi:10.1007/978-3-662-03276-3, ISBN 978-3-642-08219-1, MR 1440180
- テンプレート:Eom
- Mori, Shigefumi; Mukai, Shigeru (1981), “Classification of Fano 3-folds with B2≥2”, Manuscripta Mathematica 36 (2): 147–162, doi:10.1007/BF01170131, ISSN 0025-2611, MR 641971
- Mori, Shigefumi; Mukai, Shigeru (2003), “Erratum: "Classification of Fano 3-folds with B2≥2"”, Manuscripta Mathematica 110 (3): 407, doi:10.1007/s00229-002-0336-2, ISSN 0025-2611, MR 1969009