[论文解读] Linear orbits of smooth plane curves

Paolo Aluffi, Carel Faber|arXiv (Cornell University)|Jun 2, 1992

Advanced Numerical Analysis Techniques参考文献 2被引用 19

一句话总结

本论文通过一系列的爆破（blow-ups）解析从3×3矩阵空间到平面曲线射影空间的有理映射，计算了PGL(3)作用下光滑平面曲线轨道闭包的次数。关键结果是给出了轨道闭包预次数（predegree）的显式公式，其表达式基于曲线的次数与拐点不变量，该结果在自同构群和枚举几何中有应用，包括一般四次曲线轨道闭包的次数为85。

ABSTRACT

The group PGL(3) of linear transformations of the projective plane acts naturally on the projective space parametrizing curves of a given degree. In this note we begin the study of the orbits of smooth curves under this action: we construct a resolution of the closure of the orbit of a given curve, and we use it to compute its degree. This turns out to depend only on the degree of the curve, the order of its automorphism group, and on the number and type of its flexes. This paper will appear on the Journal of Algebraic Geometry.

研究动机与目标

• 确定平面四次曲线空间中一般余维8线性子空间到三性亏格曲线模空间的有理映射的次数。
• 通过迭代爆破解析PGL(3) → P^N 参数化平面曲线的有理映射，以计算轨道闭包的次数。
• 推导轨道闭包预次数的显式公式，其表达式基于曲线的次数与拐点构型。
• 将这些结果应用于研究光滑平面曲线的自同构群及枚举几何，例如计算通过8个一般点的平移次数。

提出的方法

• 通过依次爆破基集，构建从P^8 → P^N 的有理映射φ_C 的解析模型，起始于P^2 × C，当C光滑时该空间为光滑流形。
• 利用曲线C与直线之间的接触阶数确定所需爆破次数，例如一般四次曲线需三次爆破。
• 应用Aluffi（1992）的交集公式，计算在解析空间上超平面类（点条件）的8重自交。
• 提取爆破中心的法丛与交集环，将预次数表示为拐点不变量的多项式。
• 将预次数表达为d与四个不变量的函数，其中包含拐点的数目与阶数，包括高阶拐点（阶数2，即超拐点）与更高阶拐点。
• 通过将预次数除以曲线在PGL(3)作用下的稳定子群阶，得到轨道闭包的次数。

实验结果

研究问题

• RQ1 从平面四次曲线空间中的一般余维8线性子空间到三性亏格曲线模空间的有理映射的次数是多少？
• RQ2 光滑平面曲线轨道闭包的预次数如何依赖于其拐点构型与次数？
• RQ3 这些公式对给定次数的光滑平面曲线自同构群可能阶数施加了何种限制？
• RQ4 如何通过爆破几何方法解析PGL(3)作用，以计算轨道闭包的次数？
• RQ5 轨道闭包的次数提供了哪些枚举信息，例如通过8个一般点的平移次数？

主要发现

• 对于仅含简单拐点的光滑平面四次曲线，其轨道闭包的预次数为14,280；当自同构群阶为168时，轨道闭包的次数为85。
• 费马四次曲线的轨道闭包预次数为14,280 − 294×12 = 10,656，因其具有12个超拐点与96阶自同构群，对应轨道闭包次数为111。
• 克莱因四次曲线具有168阶自同构群与24个简单拐点，其轨道闭包次数为14,280 / 168 = 85。
• 仅含简单拐点的光滑平面曲线在次数d时，其自同构群阶的最小公倍数整除P(d)，其中P(3)=216，P(4)=14,280，依此类推。
• 当d=5时，自同构群阶的最小公倍数上界为188,340，本文推测该上界对某些曲线可能是紧的。
• 光滑平面曲线在次数d时的预次数公式仅依赖于d与各类拐点（特别是阶数2的超拐点与更高阶拐点）的计数，其显式表达式通过爆破几何推导得出。