[論文レビュー] On unirationality of double covers of fixed degree and large dimension; a method of Ciliberto

Alberto Conte, Marina Marchisio+1 more|ArXiv.org|Apr 17, 2002

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

ひとこと要約

この論文は、$ r $ が $ d $ に対して十分に大きいとき、$ 2d $ 次の超曲面を分岐超曲面とする $ r $ 次射影空間の二重被覆が有理的であることを確立している。これはチリベルティの手法を拡張したものであり、ヴェイルおよびグローテンディークの意味での一般性を用いて、被覆上に有理曲線の有理的族を構成することで、体の有限拡大上で有理的であることを示している。具体的な体の超越次元の議論とファイバー次元解析を用いている。

ABSTRACT

Following an idea of Ciliberto we show that double covers of projective r-space branched over an hypersurface of degree 2d are unirational provided r is sufficiently big with respect to d.

研究の動機と目的

• 超曲面の有理的性に関するモーリンの結果を、$ 2d $ 次超曲面を分岐超曲面とする射影空間の二重被覆へと拡張すること。
• このような二重被覆の有理的性を示すチリベルティの概要的手法を、明示的な代数幾何的議論で完全に形式化・検証すること。
• 任意の $ d $ に対して、$ r \geq \rho(d) $ ならば、二重被覆が体の有限拡大上で有理的であるような定数 $ \rho(d) $ の存在を確立すること。
• 体上での正確な一般性の概念を用いて、二重被覆へのモーリン＝プレドンツァン理論の適用における技術的困難を解決すること。

提案手法

• 体 $ K $ 上での一般性の概念を用い、定義方程式における独立な超越的係数を用いて定義する。
• ヴェイル＝グローテンディークの一般性の概念を用いて、$ V $ が $ K $ 上一般であることと、$ V $ が固定された線型空間 $ L $ を含むという条件下で $ K $ 上一般であることの区別を行う。
• $ \mathbb{P}^r $ 内の直線の引き戻しにより、二重被覆 $ W $ 上に有理曲線の族を構成する。具体的には $ C_{\eta\xi} = \pi^{-1}(\langle\eta,\xi\rangle) $ とし、$ \eta, \xi $ は一般点である。
• 曲線 $ C_{\eta\xi} $ が二点で分岐する直線の二重被覆であることを示し、それにより $ K'_{1}(\eta, \xi) $ 上で有理的であることを証明する。
• $ C_{\eta\xi} $ 上の一般点 $ \omega \in C_{\eta\xi} $ のザリスキ閉包 $ W' $ を $ M_0 \times H_0 \times W $ 内で考察し、$ K'(W') $ が $ K' $ 上純粋に超越的であることを示し、これにより $ W' $ およびしたがって $ W $ の有理的性を示す。
• 一般点 $ \alpha = p_3(\omega) $ の一般性から、射影 $ p_3: W' \to W $ の全射性を確立し、これにより $ W $ が $ K'_{1} $ 上で有理的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $ r $ が十分に大きいとき、$ \mathbb{P}^r $ 内の $ d $ 次超曲面の有理的性結果は、$ 2d $ 次超曲面を分岐超曲面とする $ \mathbb{P}^r $ の二重被覆へと拡張可能か？
• RQ2 このような二重被覆の有理的性を示すチリベルティの概要的手法は、明示的な代数幾何的議論により完全に形式化・検証可能か？
• RQ3 体の有限拡大上で二重被覆 $ W_{r}[2d,B] \to \mathbb{P}^r $ が有理的であるような $ r $ の $ d $ に関する明確な条件は何か？
• RQ4 体上での一般性の概念を用いることで、二重被覆へのモーリン＝プレドンツァン基準の適用における技術的困難はどのように解決可能か？

主な発見

• 任意の $ d \geq 2 $ に対して、定数 $ \rho(d) $ が存在し、$ r \geq \rho(d) $ ならば、二重被覆 $ \pi: W_{r}[2d,B] \to \mathbb{P}^r $ は体の有限拡大 $ K'_{1} $ 上で有理的である。
• 有理的族としての有理曲線 $ C_{\eta\xi} = \pi^{-1}(\langle\eta,\xi\rangle) $ を構成することで、有理的性が確立され、これは $ K'_{1}(\eta, \xi) $ 上で有理的である。
• 一般点 $ C_{\eta\xi} $ 上の点のザリスキ閉包 $ W' $ 上の有理関数体 $ K'(W') $ は $ K'_{1} $ 上純粋に超越的であるため、$ W' $ およびしたがって $ W $ の有理的性が確認される。
• 射影 $ p_3: W' \to W $ は全射であり、これは $ \alpha = p_3(\omega) $ が $ K'_{1} $ 上で $ \mathbb{P}^r $ 上で一般的であるという事実から従う。これにより $ W $ は $ K'_{1} $ 上で有理的である。
• 証明はファイバー次元に関する背理法に依拠している。一般点のファイバーが正次元を持つと仮定すると、ファイバー内に唯一の点が存在することになり、仮定に矛盾する。
• 鍵となる技術的ステップは、特別な $ B^* $ の選択に対して、点 $ \eta^* $ が $ (\vartheta(B^*), \beta^*) $ のファイバー内で唯一の点であることを示すことである。これにより正次元ファイバーの存在が否定され、体の超越次元条件が確認される。