[论文解读] Makar-Limanov invariant, Derksen invariant, flexible points

Fabrizio Donzelli|arXiv (Cornell University)|Jul 17, 2011

Advanced Differential Equations and Dynamical Systems参考文献 4被引用 3

一句话总结

本文建立了仿射代数簇上Makar-Limanov不变量、Derksen不变量与灵活点存在性之间的深刻联系。证明了对于Picard群有限的仿射代数簇，Makar-Limanov不变量平凡（同构于ℂ）当且仅当存在灵活点；进一步表明，Derksen不变量平凡蕴含SAut(X)作用具有至多一个不动点，从而为仿射代数几何中的代数自同构群提供了结构分类工具。

ABSTRACT

We estabilish some connections among the Makar-Limanov invariant, the Derksen invariant, and the existence of flexible points on an affine variety.

研究动机与目标

• 阐明Makar-Limanov不变量、Derksen不变量与仿射代数簇几何意义上的灵活性之间的关系。
• 通过证明在有限Picard群条件下，正则Makar-Limanov不变量的平凡性蕴含灵活点的存在，弥合了文献中的一个空白。
• 为具有平凡不变量的仿射曲面提供结构表征，特别是在Danilov-Gizatullin曲面及其自同构群的背景下。
• 证明Derksen不变量平凡意味着自同构群至多有一个不动点，从而提供一种基于不变量的新分类准则。

提出的方法

• 利用由所有ℂ+-作用生成的特殊自同构群SAut(X)，分析X的正规点集上的轨道结构与传递性。
• 应用局部幂零导出（LNDs）的概念，将Makar-Limanov不变量定义为X上所有LNDs的核的交集。
• 通过有理SAut(X)-不变量构造几何商，构建一个具有几何商X′//SAut(X)的开仿射子集X′。
• 使用一个引理：若一个局部幂零导出与超曲面D相切，则D的定义函数g在该导出下不变。
• 将Rosenlicht定理的推广应用于有理不变量，以证明存在有限个有理不变量可分离一般位置的轨道。
• 通过显式局部幂零导出和坐标环的单项式生成元，对Danilov-Gizatullin曲面直接计算Derksen不变量。

实验结果

研究问题

• RQ1 在何种条件下，Makar-Limanov不变量的平凡性蕴含仿射代数簇上灵活点的存在？
• RQ2 在Picard群有限的仿射曲面上，Derksen不变量与灵活点的存在性之间有何关系？
• RQ3 具有平凡Derksen不变量的仿射代数簇的自同构群能否有超过一个不动点？
• RQ4 在奇异或非光滑情形下，Makar-Limanov不变量的域与灵活点存在性之间的精确关系是什么？
• RQ5 Danilov-Gizatullin曲面是否具有平凡的Derksen不变量？能否通过显式导出直接计算该不变量来验证？

主要发现

• Makar-Limanov不变量FML(X)平凡（同构于ℂ）当且仅当X具有灵活点，且这等价于SAut(X)在X上作用具有一个开轨道。
• 对于Picard群有限的仿射代数簇，正则Makar-Limanov不变量ML(X)平凡当且仅当X上存在灵活点。
• Derksen不变量D(X)等于ℂ[X]当且仅当自同构群Aut(X)至多有一个不动点。
• 对于Danilov-Gizatullin曲面V_n，Makar-Limanov不变量与Derksen不变量均为平凡：ML(V_n) ≅ ℂ 且 D(V_n) = ℂ[V_n]。
• 直接计算表明，V_n的Derksen不变量由单项式x_k与y生成，且这些不变量张成一个维数为b+1的向量空间，从而证明了其平凡性。
• 本文表明，若一个曲面上自同构群的开轨道的补集至少有两个点，且ML(X) ≅ ℂ，则D(X) ≠ ℂ[X]，从而提供了一个非平凡Derksen不变量的判别准则。