[论文解读] Some effectivity questions for plane Cremona transformations

N. I. Shepherd‐Barron|arXiv (Cornell University)|Nov 26, 2013

Advanced Combinatorial Mathematics参考文献 5被引用 5

一句话总结

本文研究了通过分析其在双曲平面 H 上的动力学，对平面 Cremona 变换进行分类的有效性——具体而言，确定此类变换是椭圆型、抛物型还是双曲型。关键结果表明，Cr₂(k) 中的 Cremona 变换的类型和移位长度在域扩张下保持不变，从而可通过双曲平面上的几何性质在任意域上实现分类。

ABSTRACT

We give a way of estimating quickly the length of the hyperbolic isometry associated to a plane Cremona transformation that is presented as the product of two involutions. We also show, using the ideas of Cantat and Lamy, that, provided that the ground field is either algebraic of characteristic not 2 or of characteristic zero, the normal closure of a high power of such a transformation is a proper subgroup of the Cremona group; this gives an effective instantiation of some of their results. Moreover, we show that any hyperbolic Cremona transformation is rigid and give a simple criterion for it to be tight. This version is thoroughly revised from the previous version. In particular, it corrects an error in an earlier version that was pointed out by Lonjou.

研究动机与目标

• 确定平面 Cremona 变换（椭圆型、抛物型、双曲型）的动力学分类是否在任意域上均有效。
• 通过其在双曲平面 H 上的作用分析 Cremona 变换的几何行为。
• 确立 Cr₂(k) 中变换的类型和移位长度在域扩张下保持不变。
• 通过其轴线和在 H 中测地线 G 上的不动点刻画双曲型变换。
• 证明平面 Cremona 变换的动力学类型由其在 H 中一条测地线 G 上的限制决定。

提出的方法

• 利用 Cremona 变换在双曲平面 H 上的作用，将其视为等距变换。
• 应用几何动力学：H 中测地线的不动点和最近点投影。
• 定义映射 x ↦ y，其中 y 是 x 到测地线 G 的最近点，以分析不变结构。
• 通过其轴线 Γ 刻画双曲型变换，并证明 Γ 必须与在限制到 G 时被 ϕ 保持的测地线 Δ 重合。
• 利用 H 中不动点与其在 G 上的投影之间的对偶性，推断变换的类型。
• 依赖于如下事实：若 ϕ|G 是双曲型，则 ϕ 是双曲型且其轴线为被 ϕ|G 保持的测地线 Δ，反之亦然。

实验结果

研究问题

• RQ1 能否在任意域上有效确定平面 Cremona 变换的动力学类型（椭圆型、抛物型、双曲型）？
• RQ2 Cremona 变换在 H 中一条测地线 G 上的限制如何决定其全局动力学类型？
• RQ3 双曲型 Cremona 变换的轴线与在限制到 G 时被保持的测地线之间有何关系？
• RQ4 Cremona 变换的移位长度是否依赖于基域，还是在域扩张下保持不变？
• RQ5 在何种条件下，一个固定点 P ∈ H−G 及其在 G 上最近点 Q 的变换会扩展为全局双曲型变换？

主要发现

• 若 Cremona 变换 ϕ 固定一点 P ∈ H−G，且也固定其在 G 上的最近点 Q，则 ϕ 保持测地线 G。
• 对于轴线为 Γ 的双曲型变换 ϕ，从 H 到 G 的最近点投影 x ↦ y 的像是一条被 ϕ 保持的测地线 Δ，且 Γ = Δ。
• 若限制 ϕ|G 是双曲型，则 ϕ 是双曲型，且其轴线为被 ϕ|G 保持的测地线 Δ。
• Cremona 变换在 Cr₂(k) 中被分类为椭圆型、抛物型或双曲型的类型在域扩张下保持不变。
• Cr₂(k) 中 Cremona 变换的移位长度可在任意域扩张后计算，意味着其为一个稳定不变量。