[论文解读] Variations on Log Sarkisov Program for Surfaces

Adrien Dubouloz, Stéphane Lamy|ArXiv.org|Feb 18, 2008

Geometric Analysis and Curvature Flows参考文献 13被引用 3

一句话总结

本文提出了一种针对具有不可约边界除子的光滑拟射影曲面的对数 Sarkisov 程序，将自同构分解为所有爆破与收缩均发生在边界上的初等链。关键贡献在于，当紧化为光滑时，通过此类分解给出了自同构群的类似表示描述。

ABSTRACT

Let (S, BS) be the log-pair associated with a compactification of a given smooth quasi-projective surface V . Under the assumption that the boundary BS is irreducible, we propose an algorithm, in the spirit of the (log) Sarkisov program, to factorize any automorphism of V into a sequence of elementary links in the framework of the logarithmic Mori theory. The new noteworthy feature of our algorithm is that all the blow-ups and contractions involved in the process occur on the boundary.

研究动机与目标

• 将不扩展为紧化曲面 S 上双正则自同构的光滑拟射影曲面 V 的自同构进行分解。
• 在边界除子 B_S 不可约的曲面背景下，发展一种类似对数 Sarkisov 程序的算法。
• 以类似于生成元与关系的表示方式，描述 V 的自同构群。
• 确保分解过程中所有的爆破与收缩均发生在边界除子 B_S 上。
• 将对数 Sarkisov 框架扩展至边界系数为 1 的情形，克服标准 klt/dlt 假设的限制。

提出的方法

• 该算法利用对数 Mori 理论，将 V 的紧化之间的双有理映射分解为初等链。
• 所有爆破与收缩均仅在边界除子 B_S 上执行，从而确保对紧化几何的控制。
• 该方法依赖于通过在边界上的点处进行爆破序列来解析双有理映射的基点。
• 使用典范除子 K_X、边界除子 B_X 以及 ample 除子 H_Y 的严格提升的分歧公式。
• 最大重数 λ 定义为 m_i / (c_i - b_i) 的最大值，其中 m_i、c_i、b_i 分别为 H_Y、K_Y、B_Y 的拉回系数。
• 通过爆破与收缩的序列构建中间曲面 S_i，因子分解以初等链的链形式表达。

实验结果

研究问题

• RQ1 当边界除子不可约时，光滑拟射影曲面 V 的自同构是否可在对数 Mori 框架内分解为初等链？
• RQ2 当紧化 S 光滑且边界 B_S 不可约时，V 的自同构群的结构如何？
• RQ3 对数 Sarkisov 程序如何适应边界除子系数为 1 的情形，从而违反标准 klt/dlt 条件？
• RQ4 在因子分解中涉及的爆破与收缩在多大程度上可被限制在边界除子 B_S 上？
• RQ5 此类因子分解是否可产生类似于生成元与关系的自同构群表示？

主要发现

• V 的自同构群可通过一系列初等链实现类似表示的结构，所有变换均发生在边界除子 B_S 上。
• 对于光滑紧化 S，V 的自同构群通过完全由边界几何控制的初等链因子分解来描述。
• 特定自同构 h: V → V 的因子分解由六个初等链组成：S₀ ↔ S₁ ↔ S₂ ↔ S₃ ↔ S₂ ↔ S₁ ↔ S₀。
• 中间曲面 S₃ 是通过对加权射影平面 P²(2) 进行一系列爆破与收缩得到的，其过程与 S₂ 由 P² 构造的方式类似。
• 自同构 h₀: S₀ ⇢ S₀ 的解析涉及一个最小对数解析，其边界结构如图 13 所示，特征为具有自交数 -1、-2、-4、-2、-4、-2、-1 的例外除子。
• 映射 σ: S₀ ⇢ S₂ 的因子分解由两个初等链组成，其逆映射 σ⁻¹ 同样如此，中间曲面 S₁ 具有 A₃,₂ 和 A₂,₁ 型奇点。