[論文レビュー] Birationality of the tangent map for minimal rational curves

Jun-Muk Hwang, Ngaiming Mok|ArXiv.org|Apr 7, 2003

Meromorphic and Entire Functions参考文献 3被引用数 4

ひとこと要約

本稿では、有理的被覆的射影多様体上の最小有理曲線とその接ベクトルの対応を表す接写像が双有理的であることを確立し、一般の最小有理曲線がその接ベクトルによって一意に決定されることを証明する。微分系および最小有理接線の幾何学を用いて、Picard数 1 の有理均質多様体から他のファノ多様体への準同型写像の剛性について、Lie理論を用いない証明を提供し、このような写像は同型または射影空間の商写像であることを示す。

ABSTRACT

For a uniruled projective manifold, we prove that a general rational curve of minimal degree through a general point is uniquely determined by its tangent vector. As applications, among other things we give a new proof, using no Lie theory, of our earlier result that a holomorphic map from a rational homogeneous space of Picard number 1 onto a projective manifold different from the projective space must be a biholomorphic map.

研究の動機と目的

• 任意の有理的被覆的射影多様体に対して、最小有理曲線の普遍族から射影接バンドルへの接写像が双有理的であることを証明すること。
• 一般の点を通る一般の最小有理曲線が、その接ベクトルによって一意に決定されることを確立すること。
• Picard数 1 の有理均質多様体からファノ多様体への全射準同型写像が、双正則写像または射影空間への写像であるという剛性結果について、新しいLie理論フリーの証明を提供すること。
• 最小有理接線の多様体の構造と、ファノ多様体への一般に有限な準同型写像の剛性におけるその役割を調査すること。
• 一般点における非線形な最小有理接線の多様体が、Picard数 1 のファノ多様体の変形族における強い剛性を示すこと。

提案手法

• 著者たちは、射影接バンドルの部分多様体上の微分系の理論を用いて、接写像とその纤维を分析する。
• Cho-Miyaoka-Shepherd-Barron の結果を活用し、接写像の双有理性の一般ケースを、写像が全射である特別なケースに還元する。
• 証明は、特に全体的最小有理接線多様体 $\mathcal{C}$ の構造を含む、最小有理曲線とその接方向の幾何学に依拠する。
• 変形理論を適用し、ヒルベルト多様体内の特別なサイクルの構成的族を構成することで、一般に有限な準同型写像の変形における挙動を分析する。
• エタール写像と双有理写像の存在を用いて、変形設定においてホロモーバイオーモルフィズムのホロモーライク族を構成する。
• 準同型写像の下での最小有理接線多様体の逆像を分析し、平坦性と双有理性を用いて、自己同型のホロモーライク族の存在を導く。

実験結果

リサーチクエスチョン

• RQ1 任意の有理的被覆的射影多様体に対して、最小有理曲線の普遍族から射影接バンドルへの接写像は双有理的か？
• RQ2 一般の点を通る最小有理曲線の唯一性は、その接ベクトルのみから確立可能か？
• RQ3 Picard数 1 のファノ多様体への一般に有限な準同型写像の変形族において、ホロモーライクな双正則写像族が存在する条件は何か？
• RQ4 非線形な最小有理接線の多様体は、有理均質多様体からの準同型写像の剛性において、どのような役割を果たすか？
• RQ5 Picard数 1 の有理均質多様体から他のファノ多様体への準同型写像の剛性は、Lie理論を用いずに証明可能か？

主な発見

• 任意の有理的被覆的射影多様体と任意の最小成分 $\mathcal{K}$ に対して、接写像 $\tau: \mathcal{U} \dashrightarrow \mathbb{P}T(X)$ は双有理的であり、最小有理曲線が接ベクトルによって一意に決定されることを意味する。
• 一般点における最小有理接線多様体の正規化は滑らかである。これは接写像の双有理性の結果である。
• 有理的被覆的射影多様体の2つの異なる最小成分は、それぞれ異なる全体的最小有理接線多様体をもたらし、強い一意性の性質を確認する。
• 非線形な最小有理接線多様体を有する、Picard数 1 のファノ多様体の変形族に対して、任意の一般に有限な準同型写像は、ホロモーライクな双正則写像族に引き上げられる。
• Picard数 1 の有理均質多様体 $G/P$ からファノ多様体 $X$ への全射準同型写像は、同型または $X$ が射影空間と同型である。この結果はLie理論を用いないで証明された。