出典: フリー百科事典『ウィキペディア(Wikipedia)』
代数幾何学 では、ファノ多様体 (Fano variety)は、( Fano 1934 , 1942 ) により導入され、多様体上の反標準バンドル が豊富 な完備代数多様体(英語版 ) (complete variety) X のことを言う。この定義は、X がある定義体上で滑らか(英語版 ) (smooth)なことを前提としているが、極小モデルプログラム では、端末特異点 (canonical singularity)やklt特異点 (klt singularity)(川又対数端末特異点)といった、様々なタイプの特異点を持ったファノ多様体の研究も進められていた。
ファノ多様体の例 D を P k n {\displaystyle \mathbb {P} _{\mathbf {k} }^{n}} の中の滑らかな余次元 1 の部分多様体とすると、随伴公式 より、 K D = ( K X + D ) | D = ( − ( n + 1 ) H + d e g ( D ) H ) | D {\displaystyle {\mathcal {K}}_{D}=({\mathcal {K}}_{X}+D)|_{D}=(-(n+1)H+\mathrm {deg} (D)H)|_{D}} を得る。ここに H は超平面のクラスである。従って、超曲面 D がファノ多様体であることと d e g ( D ) < n + 1 {\displaystyle \mathrm {deg} (D)<n+1} であることとは同値である。 より一般的な n-次元の射影空間の超曲面の滑らかな完全交叉(英語版 ) (complete intersection)がファノ多様体であることと、それらの次数が多くとも n であることとは同値である。 重み付き射影空間(英語版 ) (Weighed projective space) P (a0 ,...,an ) はファノ多様体である。この空間は、生成元が次数 a0 ,...,an である次数付き多項式環に付随する射影スキームである。これがうまく構成されると、数 a の中の n が 1 よりも大きな公約数が存在しないので、a0 +...+an よりも次数の小さな超曲面の任意の完全交叉がファノ多様体である。標数 0 の射影多様体で線型代数群の下に等質な多様体は、全てファノ多様体である。 いくつかの性質 X 上に豊富なラインバンドルが存在することと、X が射影多様体 であることとは同値であるから、ファノ多様体はいつでも射影的である。複素数体上のファノ多様体は、小平消滅定理 により、 i > 0 {\displaystyle i>0} に対して、構造層 の高次コホモロジー群 H i ( X , O X ) {\displaystyle H^{i}(X,{\mathcal {O}}_{X})} が 0 である。このことから、第一チャーン類 から、同型 c 1 : P i c ( X ) → H 2 ( X , Z ) {\displaystyle c_{1}:\mathrm {Pic} (X)\to H^{2}(X,\mathbb {Z} )} が導かれる。
滑らかな複素ファノ多様体は、単連結 である。カンパナ(Campana)とケラー・宮岡・森(Kollár-Miyaoka-Mori)は、代数的閉体上の滑らかなファノ多様体は有理チェーン連結 であることを示した。すなわち、任意の 2つの閉点は有理曲線 のチェーンにより連結することができる。[1] 最も簡単な事実は、ファノ多様体の小平次元 は、−∞ という事実である。
ケラー・宮岡・森は、標数 0 の代数的閉体上の任意の次元の滑らかなファノ多様体が有界な族を作ることを示した。このことはそのようなファノ多様体が有限個の代数多様体の点により分類されることを意味している。[2] 特に、各々の次元のファノ多様体の変形クラスは、有限個しかないことを意味する。この意味で、ファノ多様体は一般型 の多様体のような他のクラスよりも非常に特殊である。
小さな次元での分類 次の議論は複素数上の滑らかなファノ多様体を考える。
次元が 1 のファノ曲線は、射影直線 に同型 である。
次元が 2 のファノ曲面は、デルペッゾ曲面(英語版 ) と呼ばれる。どのデルペッゾ曲面も P 1 × P 1 {\displaystyle \mathbb {P} ^{1}\times \mathbb {P} ^{1}} か、または、最大 8 個の点でブローアップした射影平面であり、とくにファノ多様体全てが再び有理的 である。
3 次元では、滑らかな複素ファノ多様体であって、有理的でないものが存在する。例えば、P 4 の中の3次 3次元多様体(3-fold)や、(クレメンス(Clemens)とグリフィス(Griffiths)による)、P 4 の中の 4次 3次元多様体(イスコフスキー(Iskovskih)とマーニン(Manin)による)である。Iskovskih (1977 , 1978 , 1979 ) では、第二ベッチ数 が 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 , http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=209966 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 Kulikov, Vik.S. (2001), “Fano variety” , in Hazewinkel, Michiel, Encyclopedia of Mathematics , Springer, ISBN 978-1-55608-010-4 , https://www.encyclopediaofmath.org/index.php?title=Fano_variety 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