[论文解读] Equivalent Birational Embeddings III: cones

Massimiliano Mella|arXiv (Cornell University)|Jul 30, 2014

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

一句话总结

本文证明了射影空间中两个不可约锥面是Cremona等价的，当且仅当它们的一般超平面截痕是双有理等价的。关键创新在于提出了一种对数解析技术，将锥面的Cremona等价性问题约化为低维子簇的问题，从而实现了从余维2子簇向锥面的Cremona映射的提升。该结果解决了关于ℙ³中理性锥面的一个长期悬而未决的问题，表明所有此类锥面均与一个平面Cremona等价。

ABSTRACT

Two divisors in $\mathbb P^n$ are said to be Cremona equivalent if there is a Cremona modification sending one to the other. In this paper I study irreducible cones in $\mathbb P^n$ and prove that two cones are Cremona equivalent if their general hyperplane sections are birational. In particular I produce examples of cones in $\mathbb P^3$ Cremona equivalent to a plane whose plane section is not Cremona equivalent to a line in $\mathbb P^2$.

研究动机与目标

• 确定ℙⁿ中两个不可约锥面在何时是Cremona等价的。
• 解决在ℙ³中对理性曲面（特别是锥面）的Cremona等价性问题所面临的困难。
• 将Cremona等价性准则从平面曲线推广至高维锥面。
• 阐明在锥面奇点背景下，上阈值不变量的作用。
• 通过其平面截痕，为ℙ³中理性锥面的Cremona等价性提供一个几何判别准则。

提出的方法

• 为锥面S构造了特定的对对(pair (ℙⁿ, S))的对数解析，使得S的严格提升可被吹除为余维2子簇。
• 通过双有理变换策略，将锥面的Cremona等价性问题约化为它们的一般超平面截痕的等价性问题。
• 应用[MP]中的主要结果，即关于余维2子簇的Cremona等价性，将基底上的Cremona映射提升至锥面。
• 利用∗-极小模型程序(MMP)分析与锥面相关的对(T, S_T)的双有理几何结构。
• 构造了将锥面收缩为曲线的双有理映射，从而可将其转化为柱面与二次包络束结构的语言。
• 运用初等变换与双有理映射，确保在降维至低维情形时，Cremona等价类保持不变。

实验结果

研究问题

• RQ1 在ℙⁿ中，何时两个锥面是Cremona等价的？
• RQ2 锥面的Cremona等价性是否可仅由其一般超平面截痕的双有理类型决定？
• RQ3 每个ℙ³中的理性锥面是否都存在一个Cremona变换映射到一个平面？
• RQ4 上阈值不变量在锥面的双有理几何中起什么作用？
• RQ5 当一个3-流形上的二次包络束结构模型能保证原锥面的上阈值为正时，其条件是什么？

主要发现

• 两个ℙⁿ中的锥面是Cremona等价的，当且仅当它们的一般超平面截痕是双有理等价的。
• 每个ℙ³中的理性锥面都与一个平面Cremona等价，这由其平面截痕的几何亏格作为双有理不变量所证实。
• 任何ℙ³中的理性锥面的上阈值均为正，确认了∗-MMP框架中的一个关键条件。
• 通过精心构造的对数解析，锥面的Cremona等价性可约化为余维2子簇的Cremona等价性问题。
• 对于在ℙ³中具有∗-极小模型为二次包络束的有理曲面，若该曲面是具有截面的二次包络束下拉回的曲线，则其上阈值为正。
• 该方法成功地将基曲线上的Cremona映射提升至锥面本身，即使该基曲线本身不与直线Cremona等价。