[论文解读] 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 $-维射影空间的双重覆盖是有理曲面化（unirational），扩展了 Ciliberto 的方法。通过 Weil 和 Grothendieck 意义下的通用性（genericity），作者在双重覆盖上构造了一个有理曲线的有理曲面化族，通过显式的域超越性论证和纤维维数分析，证明了在基域的有限扩张上具有有理曲面化性质。

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.

研究动机与目标

• 将 Morin 对 $ \mathbb{P}^r $ 中次数 $ d $ 的超曲面的有理曲面化结果推广至关于次数 $ 2d $ 超曲面的 $ \mathbb{P}^r $ 的双重覆盖。
• 对 Ciliberto 所概述的证明此类双重覆盖有理曲面化的方法进行详尽验证。
• 建立一个常数 $ \rho(d) $，使得当 $ r \geq \rho(d) $ 时，双重覆盖在基域的有限扩张上是有理曲面化。
• 通过在域上使用精确的通用性概念，解决将 Morin-Predonzan 理论应用于双重覆盖时遇到的技术难题。

提出的方法

• 采用在域 $ K $ 上的通用性概念，通过定义方程中独立超越系数来定义。
• 利用 Weil-Grothendieck 的通用性概念，区分 $ 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) $ 上是有理曲线，来证明其在 $ K'_{1}(\eta, \xi) $ 上是有理的。
• 分析 $ C_{\eta\xi} $ 上通用点 $ \omega $ 在 $ M_0 \times H_0 \times W $ 中的 Zariski 闭包 $ W' $，并证明 $ K'(W') $ 在 $ K' $ 上是纯超越的，从而推出 $ W' $（进而 $ W $）是有理曲面化。
• 通过 $ \alpha = p_3(\omega) $ 在 $ \mathbb{P}^r $ 上关于 $ K'_{1} $ 的通用性，证明投影 $ p_3: W' \to W $ 的满射性，从而推出 $ W $ 在 $ K'_{1} $ 上是有理曲面化。

实验结果

研究问题

• RQ1 当 $ r $ 足够大时，$ \mathbb{P}^r $ 中次数 $ d $ 的超曲面的有理曲面化结果是否可推广至关于次数 $ 2d $ 超曲面的 $ \mathbb{P}^r $ 的双重覆盖？
• RQ2 Ciliberto 所概述的用于证明此类双重覆盖有理曲面化的策略，能否通过精确的代数几何论证实现完整形式化与验证？
• RQ3 在什么关于 $ d $ 的精确条件下，使得双重覆盖 $ W_{r}[2d,B] \to \mathbb{P}^r $ 在基域的有限扩张上是有理曲面化？
• RQ4 如何通过通用性概念解决将 Morin-Predonzan 准则应用于双重覆盖时遇到的技术困难？

主要发现

• 对每个 $ d \geq 2 $，存在一个常数 $ \rho(d) $，使得当 $ r \geq \rho(d) $ 时，双重覆盖 $ \pi: W_{r}[2d,B] \to \mathbb{P}^r $ 在基域的有限扩张 $ K'_{1} $ 上是有理曲面化。
• 通过在 $ W $ 上构造有理曲线族 $ C_{\eta\xi} = \pi^{-1}(\langle\eta,\xi\rangle) $，其中 $ C_{\eta\xi} $ 在 $ K'_{1}(\eta, \xi) $ 上是有理曲线，从而证明了有理曲面化。
• 在 $ C_{\eta\xi} $ 上通用点的 Zariski 闭包 $ W' $ 上的有理函数域 $ K'(W') $ 在 $ K'_{1} $ 上是纯超越的，从而确认了 $ W' $（因此 $ W $）是有理曲面化。
• 投影 $ p_3: W' \to W $ 是满射，其原因在于 $ \alpha = p_3(\omega) $ 在 $ \mathbb{P}^r $ 上关于 $ K'_{1} $ 是通用的，从而保证了 $ W $ 在 $ K'_{1} $ 上是有理曲面化。
• 证明依赖于反证法：假设基空间中通用点的纤维维数为正，则导致纤维中仅有一个点，与假设矛盾。
• 关键技术步骤在于：对特殊选择的 $ B^* $，点 $ \eta^* $ 是在 $ (\vartheta(B^*), \beta^*) $ 上的纤维中唯一一点，这与正维纤维的存在性矛盾，从而确认了域超越次数条件。