[论文解读] Automorphisms of open surfaces with irreducible boundary

Adrien Dubouloz, Stéphane Lamy|Osaka City University (Osaka City University)|Apr 18, 2014

Algebraic Geometry and Number Theory参考文献 29被引用 8

一句话总结

本文提出了一种算法，用于在对数Mori理论框架下，将光滑拟射影曲面的自同构分解为简单双有理链接的序列，其中所有展开与收缩操作均发生在边界上。关键贡献在于利用保持有理纤维结构的模型间同构，为自同构建立了一种标准型，该标准型推广了仿射自同构与Jonquières自同构，并证明了除一个有限族（包括仿射平面）外，大多数曲面的驯服群（tame group）是Aut(V)的真子群。

ABSTRACT

Let (S, B) be the log pair associated with a projective completion of a smooth quasi-projective surface V . Under the assumption that the boundary B is irreducible, we obtain an algorithm to factorize any automorphism of V into a sequence of simple birational links. This factorization lies in the framework of the log Mori theory, with the property that all the blow-ups and contractions involved in the process occur on the boundary. When the completion S is smooth, we obtain a description of the automorphisms of V which is reminiscent of a presentation by generators and relations except that the "generators" are no longer automorphisms. They are instead isomorphisms between different models of V preserving certain rational fibrations. This description enables one to define normal forms of automorphisms and leads in particular to a natural generalization of the usual notions of affine and Jonquieres automorphisms of the affine plane. When V is affine, we show however that except for a finite family of surfaces including the affine plane, the group generated by these affine and Jonquieres automorphisms, which we call the tame group of V, is a proper subgroup of Aut(V).

研究动机与目标

• 在对数Mori理论框架下，描述具有不可约边界的光滑拟射影曲面V的自同构群。
• 开发一种算法，将V的自同构分解为所有修改均发生在边界除子上的简单链接。
• 通过引入保持有理纤维结构的不同V模型之间的同构，推广仿射与Jonquières自同构的概念。
• 证明由这些广义自同构生成的群（即“驯服群”）在除有限多个此类曲面外，均为Aut(V)的真子群。

提出的方法

• 作者利用对数Sarkisov程序，将由V的自同构诱导的双有理映射分解为中间对数Mori纤维空间之间的初等链接。
• 他们聚焦于边界为不可约曲线的完备化，确保所有展开与收缩操作均发生在边界上，从而实现‘恰当’的分解。
• 该方法依赖于对满足特定条件的对(S, B_S)进行分类，其中S为射影曲面，B_S为不可约边界曲线，尤其关注F_4、F_2和F_0的情形。
• 对每种情形，通过几何与群论技术（包括轨道分解与交比不变量）分析(S, B_S)的自同构群。
• 作者通过识别纤维的等价类，并利用保持这些纤维的V的不同模型之间的同构，构造出自同构的标准型。
• 他们证明(F_0, C_{1,b})的自同构群是有限的（阶数≤24），且对除有限多个b外均为平凡群，其中b满足某个二次多项式的根条件。

实验结果

研究问题

• RQ1 能否将具有不可约边界的光滑拟射影曲面的自同构分解为所有修改均发生在边界的简单链接？
• RQ2 如何通过保持有理纤维结构的不同模型之间的同构来描述此类曲面的自同构群？
• RQ3 由广义仿射与Jonquières自同构生成的群的结构是什么？它与完整自同构群有何关系？
• RQ4 是否存在不可数多个非同构对(S, B_S)使得其自同构群有限？它们的不变量是什么？

主要发现

• 当应用于具有不可约边界的完备化时，对数Sarkisov程序通常无法实现恰当分解，因为链接可能不保持内曲面V。
• 在曲面(F_4, C_4)中，自同构群在边界上的作用有两个轨道：无穷远点及其补集。
• 在情形(F_2, C_{2,1})中，自同构群在边界上有三个轨道：无穷远点、原点及其余部分。
• 对于(F_0, C_{0,0})，自同构群同构于ℂ* × ℤ₂，作用方式为加权缩放与对称性。
• 对于(F_0, C_{1,b})，自同构群是有限的（阶数≤24），且对除有限多个b ∈ ℂ \ {0,1}外均为平凡群，其中b满足某个二次多项式的根条件。
• 存在不可数多个同构类的对(F_0, C_{1,b})，其通过水平切线的交比加以区分，且仅有有限多个具有非平凡自同构群。