単線織多様体

ウィキペディア

単線織多様体

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/16 07:16 UTC 版)

代数幾何学では、体 k 上の代数多様体が線織多様体(ruled variety)とは、k 上の何らかの多様体と射影直線との積と双有理同値となる場合をいう。単線織多様体(uniruled variety)とは、有理曲線の族により被覆されている多様体をいう。（より詳しくは、多様体 X が単線織であるとは、ある多様体 Y と支配的有理写像(dominant rational map) Y × P¹ → 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 の体上の Pⁿ の中の次数 d の滑らかな超曲面が単線織であることと、d ≤ n とは随伴公式により同値である。（実際に、Pⁿ の中の次数 d ≤ n である滑らかな超曲面はファノ多様体であり、従って、有理連結である。この有理連結という条件は、単線織という条件よりも強い。）

非可算代数的閉体 k の上の多様体 X が単線織であることと、すべての k-点でその点を通る X 上の有理曲線が存在することとは同値である。これと対照的に、有限体上の代数的閉体 k 上の多様体では、単線織でないがすべての k-点でその点を通る有理曲線を持つような多様体が存在する。（奇素数 p である F_p 上の任意の非超特異(supersingular)アーベル曲面のクンマー多様体が、これらの性質を持っている。) これらの性質を持つ多様体が有理数の代数的閉体上に存在するか否かについては知られていない。

単線織性は、幾何学的性質であることに対し、線織性は幾何学的性質ではない。たとえば、実数 R 上の P² 中のコニック(conic) x² + y² + z² = 0 は単線織多様体であるが、線織多様体ではない。（複素数 C 上の付随する曲線は P¹ に同型であり、従って線織多様体である。）一般の位置にある標数 0 の代数的閉対上の次元 2 以下のすべての単線織多様体は、線織である。C 上の P⁴ の中の滑らかな 3次 3次元多様体cubic 3-folds)と滑らかな 4次 3次元多様体(quartic 3-folds)が単線織であるが線織ではない。

正標数

単線織性は正の標数では非常に困難なことになる。特に、一般型であっても単有理でさえある単線織な曲面が存在する。 例としては、任意の素数 p ≥ 5 に対し F_p での曲面 x^p+1 + y^p+1 + z^p+1 + w^p+1 = 0 がある。 従って、単線織性は、正標数では小平次元が −∞ であることを意味しない。

多様体 X は、多様体 Y が存在し Y への射影としては分解されないような支配的で分離的な有理写像 Y × P¹ → X が存在するとき、分離的単線織(separably uniruled)であるという。（「分離的(Separable)」とは、微分が同一の点で全射である、このときには標数 0 では支配的な有理写像に対しては自動的に満たされる。）分離的単線織多様体は小平次元が −∞ である。次元 2 では逆も正しいが、高次元では正しくはない。たとえば、小平次元が -∞ であるが分離的な線織性をもたない滑らかな射影 3-次元多様体が F₂ 上に存在する。 正の標数では、すべての滑らかなファノ多様体が分離的単線織的であるか否かは知られていない。

参考文献

• 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 

ウィキペディア小見出し辞書

単線織多様体

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/02 09:06 UTC 版)

「双有理幾何学」の記事における「単線織多様体」の解説

詳細は「単線織多様体 」を参照 多様体が単線織的(uniruled)とは、多様体が有理曲線により被覆されるときを言う。単線織多様体は極小モデルを持たないが、しかし、素晴らしい代替品がある。バーカー(Birkar)、カッシーニ(Cascini)、ハーコン(Hacon)、マッカナン(McKernan)は、全ての標数 0 の体の上の単線織多様体はファノファイバー空間に双有理であることを示した。 このことからファノファイバー空間と（最も興味のある空間である）ファノ多様体の双有理分類問題が導かれる。定義により、射影多様体 X がファノ多様体とは、反標準バンドル KX* が豊富であることであり、ファノ多様体は射影空間に最も似ている代数多様体であると考えることができる。 次元が 2 のとき、代数的閉体上のすべてのファノ多様体（デル・ペッゾ曲面（英語版）として知られている）は有理的である。1970年代の大きな発見は、次元 3 のときで、有理的な多くのファノ多様体があることがわかった。特に、滑らかな 3次3次元多様体はClemens-Griffiths (1972)により有理的でないことが示され、滑らかな 4次元3次元多様体も Iskovskikh-Manin (1971)により有理的ではないことが示された。 にもかかわらず、ファノ多様体が有理的であることを正確に決定する問題は、解決には程遠い。例えば、n ≥ 4 のときには Pn+1 の中の有理的でない滑らかな 3次超曲面が存在するかどうかがわかっていない。