単線織多様体

代数幾何学では、体 k 上の代数多様体が線織多様体(ruled variety)とは、k 上の何らかの多様体と射影直線との積と双有理同値となる場合をいう。単線織多様体(uniruled variety)とは、有理曲線の族により被覆されている多様体をいう。（より詳しくは、多様体 X が単線織であるとは、ある多様体 Y と支配的有理写像（英語版）(dominant rational map) Y × P1 → X が存在し、Y への射影を通して分解することができない写像であるときをいう。）この考え方は、直線により覆われるアフィン空間や射影空間の中の曲面を意味する 19世紀の幾何学の線織曲面（英語版）(ruled surface)の考え方から現れた。単線織多様体は、多数存在するにもかかわらず、すべての多様体の中では比較的単純であると考えるられている。 標数 0 の体の上のすべての単線織多様体の小平次元は、−∞ である。この逆は、3 以上の次元でも成立するであろう、つまり、標数 0 の体上の小平次元が −∞ の多様体は単線織であろうと予想されている。 Boucksom, Demailly, Păun と Peternell は次の事実を示した。 標数 0 の対の上の滑らかな（英語版）(smooth)射影多様体 X が単線織であることと X の標準バンドルが擬有効でない(not pseudo-effective)こととは同値であり、これはすべての次元で成立する。（「擬有効でない」ということは、ネロン・セヴィリ群と実数のテンソル積での有効因子により張られる閉凸円錐(the closed convex cone)の中にないということを意味する。） 非常に特殊なケースとして、標数 0 の体上の Pn の中の次数 d の滑らかな超曲面が単線織であることと、d ≤ n とは随伴公式により同値である。（実際に、Pn の中の次数 d ≤ n である滑らかな超曲面はファノ多様体であり、従って、有理連結である。この有理連結という条件は、単線織という条件よりも強い。） 非可算代数的閉体 k の上の多様体 X が単線織であることと、すべての k-点でその点を通る X 上の有理曲線が存在することとは同値である。これと対照的に、有限体上の代数的閉体 k 上の多様体では、単線織でないがすべての k-点でその点を通る有理曲線を持つような多様体が存在する。（奇素数 p である Fp 上の任意の非超特異（英語版）(supersingular)アーベル曲面のクンマー多様体が、これらの性質を持っている。) これらの性質を持つ多様体が有理数の代数的閉体上に存在するか否かについては知られていない。 単線織性は、幾何学的性質であることに対し、線織性は幾何学的性質ではない。たとえば、実数 R 上の P2 中のコニック(conic) x2 + y2 + z2 = 0 は単線織多様体であるが、線織多様体ではない。（複素数 C 上の付随する曲線は P1 に同型であり、従って線織多様体である。）一般の位置にある標数 0 の代数的閉対上の次元 2 以下のすべての単線織多様体は、線織である。C 上の P4 の中の滑らかな 3次 3次元多様体cubic 3-folds)と滑らかな 4次 3次元多様体(quartic 3-folds)が単線織であるが線織ではない。 単線織性は正の標数では非常に困難なことになる。特に、一般型であっても単有理でさえある単線織な曲面が存在する。 例としては、任意の素数 p ≥ 5 に対し Fp での曲面 xp+1 + yp+1 + zp+1 + wp+1 = 0 がある。 従って、単線織性は、正標数では小平次元が −∞ であることを意味しない。 多様体 X は、多様体 Y が存在し Y への射影としては分解されないような支配的で分離的な有理写像 Y × P1 → X が存在するとき、分離的単線織(separably uniruled)であるという。（「分離的(Separable)」とは、微分が同一の点で全射である、このときには標数 0 では支配的な有理写像に対しては自動的に満たされる。）分離的単線織多様体は小平次元が −∞ である。次元 2 では逆も正しいが、高次元では正しくはない。たとえば、小平次元が -∞ であるが分離的な線織性をもたない滑らかな射影 3-次元多様体が F2 上に存在する。 正の標数では、すべての滑らかなファノ多様体が分離的単線織的であるか否かは知られていない。 ^ Boucksom, Demailly, Păun and Peternell. J. Alg. Geom. 22 (2013), 201-248. Corollary 0.3. ^ 前の日本語版では、「滑らかな多様体の宮岡・森の定理の結果」として、 X を代数的閉体上の滑らかな射影多様体、 K X {\displaystyle {\mathcal {K}}_{X}} をその標準バンドルとする。X 上に C . K X < 0 {\displaystyle C.{\mathcal {K}}_{X}<0} となるような曲線 C が存在すれば、多様体 X は線織的である。 特に、X がネフな反標準因子を持つと、線織的である X に対し、反標準因子は数値的に自明ではない。 としていた。この条件が擬有効でないを意味する。 ^ F. Bogomolov and Y. Tschinkel, Amer. J. Math. 127 (2005), 825-835. Theorem 1.1. ^ アーベル多様体のクンマー多様体とは、すべての元をその逆元への移す写像で割った商空間である。2次元アーベル多様体のクンマー多様体をクンマー曲面（英語版）(Kummer surface)という。 ^ 体の拡大 E / k {\displaystyle E/k} に対して、 X E = × S p e c   k S p e c   E {\displaystyle X_{E}=\times _{Spec\ k}Spec\ E} でも保存される性質をスキーム X の幾何学的性質という。 ^ T. Shioda, Math. Ann. 211 (1974), 233-236. Proposition 1. ^ 有理写像 f の像が X の中で稠密となる場合を支配的という。 ^ E. Sato, Tohoku Math. J. 45 (1993), 447-460. Theorem. Bogomolov, Fedor; Tschinkel, Yuri (2005), “Rational curves and points on K3 surfaces”, American Journal of Mathematics 127 (4): 825-835, doi:10.1353/ajm.2005.0025, MR2154371  Boucksom, Sébastien; Demailly, Jean-Pierre; Păun, Mihai; Peternell, Thomas (2013), “The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension”, Journal of Algebraic Geometry 22 (2): 201–248, doi:10.1090/S1056-3911-2012-00574-8, MR3019449  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, MR1440180  Sato, Ei-ichi (1993), “A criterion for uniruledness in positive characteristic”, Tohoku Mathematical Journal 45 (4): 447–460, doi:10.2748/tmj/1178225839, MR1245712  Shioda, Tetsuji (1974), “An example of unirational surfaces in characteristic p”, Mathematische Annalen 211: 233-236, doi:10.1007/BF01350715, MR0374149