代数幾何学では、体 上の代数多様体が線織多様体(ruled variety)とは、 上の何らかの多様体と射影直線との積と双有理同値となる場合をいう。単線織多様体(uniruled variety)とは、有理曲線の族により被覆されている多様体をいうより詳しくは、多様体 が単線織であるとは、ある多様体 Y と（dominant rational map）が存在し、 への射影を通して分解することができない写像であるときをいう。。この考え方は、直線により覆われるアフィン空間や射影空間の中の曲面を意味する19世紀の幾何学の（ruled surface）の考え方から現れた。単線織多様体は、多数存在するにもかかわらず、すべての多様体の中では比較的単純であると考えられている。
性質 標数 の体の上のすべての単線織多様体の小平次元は、 である。この逆は、 以上の次元でも成立するであろう、つまり、標数 の体上の小平次元が の多様体は単線織であろうと予想されている。
Boucksom, Demailly, Păun と Peternell は次の事実を示した。Boucksom, Demailly, Păun and Peternell. J. Alg. Geom. 22 (2013), 201-248. Corollary 0.3. 標数 の対の上の滑らかな射影多様体 X が単線織であることと の標準バンドルが擬有効でない「擬有効でない(not pseudo-effective)」ということは、ネロン・セヴィリ群と実数のテンソル積での有効因子により張られる閉凸円錐（the closed convex cone）の中にないということを意味する。こととは同値であり、これはすべての次元で成立する前の日本語版では、「滑らかな多様体の宮岡・森の定理の結果」として、 を代数的閉体上の滑らかな射影多様体、 をその標準バンドルとする。 上に となるような曲線 が存在すれば、多様体 は線織的である。 特に、 がネフな反標準因子を持つと、線織的である に対し、反標準因子は数値的に自明ではない。
としていた。この条件が擬有効でないを意味する。。 非常に特殊なケースとして、標数 0 の体上の Pn の中の次数 d の滑らかな超曲面が単線織であることと、 とは随伴公式により同値である実際に、 の中の次数 である滑らかな超曲面はファノ多様体であり、従って、有理連結である。この有理連結という条件は、単線織という条件よりも強い。。
非可算代数的閉体 の上の多様体 が単線織であることと、すべての -点でその点を通る 上の有理曲線が存在することとは同値である。これと対照的に、有限体上の代数的閉体 上の多様体では、単線織でないがすべての -点でその点を通る有理曲線を持つような多様体が存在する奇素数 である 上の任意の非アーベル曲面のクンマー多様体が、これらの性質を持っている。F. Bogomolov and Y. Tschinkel, Amer. J. Math. 127 (2005), 825-835. Theorem 1.1.。 これらの性質を持つ多様体が有理数の代数的閉体上に存在するか否かについては知られていない。
単線織性が幾何学的性質体の拡大 に対して、 でも保存される性質をスキーム X の幾何学的性質という。であることに対し、線織性は幾何学的性質ではない。たとえば、実数 上の 中のコニック(conic) は単線織多様体であるが、線織多様体ではない複素数 上の付随する曲線は に同型であり、従って線織多様体である。。一般の位置にある標数 の代数的閉対上の次元 2 以下のすべての単線織多様体は、線織である。C 上の P4 の中の滑らかな三次超曲面（Cubic 3-folds）と滑らかな四次超曲面（Quartic 3-folds）が単線織であるが、線織ではない。
正標数 単線織性は正の標数では非常に困難なことになる。特に、一般型であっても単有理でさえある単線織な曲面が存在する。 例としては、任意の素数 に対しでの曲面 がある。T. Shioda, Math. Ann. 211 (1974), 233-236. Proposition 1. 従って、単線織性は、正標数では小平次元が であることを意味しない。
多様体は、多様体 が存在して且つ への射影としては分解されないような支配的有理写像 の像が の中で稠密となる場合を支配的という。で分離的な有理写像 が存在するとき、分離的単線織（separably uniruled）であるという分離的(Separable)」とは、微分が同一の点で全射である、このときには標数 では支配的な有理写像に対しては自動的に満たされる。。分離的単線織多様体は小平次元が である。次元 では逆も正しいが、高次元では正しくはない。たとえば、小平次元が であるが分離的な線織性をもたない滑らかな射影 次元多様体が 上に存在するE. Sato, Tohoku Math. J. 45 (1993), 447-460. Theorem.。 正の標数では、すべての滑らかなファノ多様体が分離的単線織的であるか否かは知られていない。
脚注
出典
参考文献