「単線織多様体」の版間の差分
Enyokoyama (会話 | 投稿記録) |
Enyokoyama (会話 | 投稿記録) →参考文献: 参考文献追加 |
||
33行目: | 33行目: | ||
==参考文献== |
==参考文献== |
||
{{Citation | last1= |
*{{Citation | authorlink1=Fedor Bogomolov | last1=Bogomolov | first1=Fedor | last2=Tschinkel | first2=Yuri | title=Rational curves and points on K3 surfaces | year=2005 | journal=American Journal of Mathematics | volume=127 | year=2005 | issue=4 | pages=825-835 | doi=10.1353/ajm.2005.0025 | mr=2154371 }} |
||
*{{Citation | last1=Boucksom | first1=Sébastien | last2=Demailly | first2=Jean-Pierre | last3=Păun | first3=Mihai | last4=Peternell | first4=Thomas | title=The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension | journal=Journal of Algebraic Geometry | volume=22 | year=2013 | issue=2 | pages=201–248 | doi=10.1090/S1056-3911-2012-00574-8 | mr=3019449}} |
|||
*{{Citation | last1=Kollár | first1=János | author1-link=Janos Kollar | title=Rational Curves on Algebraic Varieties | publisher=[[Springer-Verlag]] | location=Berlin, Heidelberg | isbn=978-3-642-08219-1 | doi=10.1007/978-3-662-03276-3 | mr=1440180 | year=1996 }} |
|||
*{{Citation | last1=Sato | first1=Ei-ichi | title=A criterion for uniruledness in positive characteristic | journal=Tohoku Mathematical Journal | volume=45 | year=1993 | issue=4 | pages=447–460 | |
|||
doi=10.2748/tmj/1178225839 | mr=1245712}} |
|||
*{{Citation | last1=Shioda | first1=Tetsuji | title=An example of unirational surfaces in characteristic ''p'' | journal=Mathematische Annalen | volume=211 | year=1974 | pages=233-236 | doi=10.1007/BF01350715 | mr=0374149}} |
|||
{{デフォルトソート:せん |
{{デフォルトソート:せんしよくたようたい}} |
||
[[Category:代数幾何学]] |
[[Category:代数幾何学]] |
2014年8月26日 (火) 05:05時点における版
代数幾何学では、体 k 上の代数多様体が線織多様体(ruled variety)とは、k 上の何らかの多様体と射影直線との積と双有理同値となる場合をいう。単線織多様体(uniruled variety)とは、有理曲線の族により被覆されている多様体をいう。(より詳しくは、多様体 X が単線織であるとは、ある多様体 Y と支配的有理写像(dominant rational map) Y × P1 → X が存在し、Y への射影を通して分解することができない写像であるときをいう。)この考え方は、直線により覆われるアフィン空間や射影空間の中の曲面を意味する 19世紀の幾何学の線織曲面(ruled surface)の考え方から現れた。単線織多様体は、多数存在するにもかかわらず、すべての多様体の中では比較的単純であると考えるられている。
任意の単線織多様体は小平次元が −∞ である。この逆は、小平次元が −∞ であれば単線織的であるとの命題になる。 3 次元までは、逆も正しいことが示されており、それ以上の次元でも、逆が正しいと予想されている。
性質
標数 0 の体の上のすべての線織多様体の小平次元は、−∞ である。逆は、3 以上の次元でも成立する、つまり、標数 0 の体の上の小平次元が -∞ の多様体は単線織であろうと予想されている。Boucksom, Demailly, Păun and Peternell により示された、標数 0 の対の上の滑らかな(smooth)射影多様体 X が単線織であることと X の標準バンドルが擬有効でない(not pseudo-effective)こととは同値という命題は、すべての次元で成立する。(「擬有効でない」いうことは、ネロン・セヴィリ群と実数のテンソル積での有効因子により張られる閉凸円錐(the closed convex cone)の中にないということを意味する。)[1][2] 非常に特殊なケースとして、標数 0 の体上の Pn の中の次数 d の滑らかな超曲面が単線織であることと、d ≤ n とは随伴公式により同値である。(事実、Pn の中の次数 d ≤ n である滑らかな超曲面はファノ多様体であり、従って、有理連結である。この有理連結は、単線織という条件よりも強い。)
非可算代数的閉体 k の上の多様体 X が単線織であることと、X 上のすべての k-点を通る有理曲線が存在することとは同値である。これとは対照的に、有限体上の代数的閉体 k 上の多様体には、単線織でないがすべての k-点を通る有理曲線を持つ多様体が存在する。(奇素数 p である Fp 上の任意の非超特異(supersingular)アーベル曲面のクンマー多様体(Kummer variety)が、これらの性質を持っている。[3]) これらの性質を持つ多様体が有理数の代数的閉体上に存在するか否かについては知られていない。
単線織性は、幾何学的性質(体の拡大に対しては不変)であることに対し、線織性は幾何学的性質ではない。たとえば、実数 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 がある。[4] 従って、単線織性は、正標数では小平次元が −∞ であることを意味しない。
多様体 X は、多様体 Y が存在し Y への射影としては分解されないような支配的分離的な有理写像 Y × P1 → X が存在するとき、分離的単線織(separably uniruled)であるという。(「分離的(Separable)」とは、微分が同一の点で全射である、このときには標数 0 では支配的な有理写像に対しては自動的に満たされる。)分離的単線織多様体は小平次元が −∞ である。次元 2 では逆も正しいが、高次元では正しくはない。たとえば、小平次元が -∞ であるが分離的な線織性をもたない滑らかな射影 3-次元多様体が F2 上に存在する。[5] 正の標数では、すべての滑らかなファノ多様体が分離的単線織的であるか否かは知られていない。
脚注
- ^ Boucksom, Demailly, Păun and Peternell. J. Alg. Geom. 22 (2013), 201-248. Corollary 0.3.
- ^ 前の日本語版では、「滑らかな多様体の宮岡・森の定理の結果」として、 としていた。この条件が擬有効でないを意味する。
- ^ F. Bogomolov and Y. Tschinkel, Amer. J. Math. 127 (2005), 825-835. Theorem 1.1.
- ^ T. Shioda, Math. Ann. 211 (1974), 233-236. Proposition 1.
- ^ 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