[論文レビュー] The maximal free rational quotient

Jason Starr|ArXiv.org|Feb 28, 2006

Algebraic Geometry and Number Theory参考文献 5被引用数 3

ひとこと要約

この論文は、体上の代数的空間への全射的準同型として定義される、自由な有理曲線の有理同値類をパラメトライズする、正規代数的空間への最大自由有理商の存在を確立する。この構成は安定写像のモジュライ空間とヒルベルト汎関手を用い、主な結果は、このような商が存在し、かつ基底空間の有理同値関係に関して一意的であるということである。

ABSTRACT

This short, expository note proves the existence of the maximal quotient of a variety by free rational curves.

研究の動機と目的

• 自由有理曲線の作用下での多様体の最大自由有理商を定義し、構成すること。
• Deligne-Mumford スタックにおいて、固有的かつ有限表示可能な準同型の文脈で、このような商の存在を確立すること。
• 最大自由有理商が、基底空間の同型的有理同値関係に関して一意的であることの証明。
• 一般の有理商とは異なり、純粋に非分離な基底変換を必要としない、商の構成を示すこと。

提案手法

• 自由有理曲線を、接線束の引き戻しが全的に生成され、正の次数を持つ、スタックの滑らか領域への準同型として定義する。
• πX の纤维における滑らか領域内の自由有理曲線のモジュライスタック H を構成する。
• 写像の普遍的ファミリーを用いて、X ×_S X における対応 W_i ⊂ X ×_S X を、(H_i × P¹ × P¹) の像の閉包として定義する。
• ヒルベルト汎関手を用いて平坦ファミリーの部分スキームをパラメトライズし、スティーン因子分解を用いて商準同型 φ: X* → Q* を構成する。
• φ の幾何的一般ファイバーが整であること、およびファイバー内の任意の一般な点のペアが自由有理曲線で接続可能であることの証明。
• 忠実平坦降下とヒルベルト汎関手の性質を用いて、商が最大性条件を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 自由有理曲線による多様体の最大商が存在するか。また、全射的準同型の下で普遍的性質を満たすか。
• RQ2 一般の有理商とは異なり、正標数においても基底変換なしにこのような最大商を構成できるか。
• RQ3 最大自由有理商は一意的か。もし一意的でなければ、どのような意味で一意的か。
• RQ4 商の幾何的構造は、ファイバー内に自由有理曲線が存在することとどのように関係するか。

主な発見

• 任意の固有的かつ局所有限表示可能な準同型 πX: X → S で、幾何的一般ファイバーが整であるような場合、最大自由有理商 (X*, Q*, φ) が存在する。
• 最大自由有理商は、基底空間 Q* の一意的有理同値関係に関して一意的である。
• 一般の有理商の構成とは異なり、純粋に非分離な基底変換を必要としない。
• 商準同型 φ: X* → Q* は、任意の幾何的ファイバー内の一般な点のペアが自由有理曲線で接続可能であるという性質を満たす。
• 商は全空間のヒルベルト汎関手とスティーン因子分解を用いて構成され、Q* が S に対して正規かつ有限表示であることが保証される。
• 最大自由有理商が自明であることは、幾何的一般ファイバー内に自由有理曲線が存在しないことと同倹である。