[论文解读] Degree of rational maps via specialization

Yairon Cid‐Ruiz, Aron Simis|arXiv (Cornell University)|Jan 19, 2019

Commutative Algebra and Its Applications参考文献 32被引用 6

一句话总结

本论文确立了在多项式环系数特殊化下，射影概形之间有理映射次数保持不变的条件。通过在诺特环上发展纤维锥与Rees代数的相对理论，证明了在一般特殊化下，映射的次数及其像的次数保持不变，关键应用包括Gorenstein理想与j-重数不变量。

ABSTRACT

One considers the behavior of the degree of a rational map under specialization of the coefficients of the defining linear system. The method rests on the classical idea of Kronecker as applied to the context of projective schemes and their specializations. For the theory to work one is led to develop the details of rational maps and their graphs when the ground ring of coefficients is a Noetherian integral domain.

研究动机与目标

• 理解有理映射的次数在多项式环系数特殊化下的行为。
• 为诺特环上定义的有理映射建立严谨的代数框架，推广经典结果在域上的结论。
• 将纤维锥与饱和纤维锥理论推广至相对情形，将其与有理映射的几何性质联系起来。
• 确立有理映射及其像的次数在特殊化下保持不变的条件。
• 将该框架应用于具体情形，如余维三的Gorenstein理想与j-重数不变性。

提出的方法

• 将Kronecker的特殊化原理适配至诺特环上射影概形的情形。
• 引入相对纤维锥与饱和纤维锥，作为几何像及其次数的代数类比。
• 运用双分次模理论与局部上同调技术，控制各分次分量的维数。
• 利用通用行列式环与Pfaffian理想，构建具有受控基理想的有理映射模型。
• 应用Rees代数与相关分次环，代数化描述有理映射的图与像。
• 利用j-重数作为理想复杂度的度量，证明其在一般特殊化下保持不变。

实验结果

研究问题

• RQ1 在何种条件下，有理映射的次数在定义线性系统系数特殊化后保持不变？
• RQ2 如何将经典域上定义的有理映射理论推广至诺特环上定义的映射？
• RQ3 相对纤维锥与饱和纤维锥在控制有理映射的次数与双有理性方面起什么作用？
• RQ4 理想j-重数是否在系数的一般特殊化下保持不变？
• RQ5 由余维三的Gorenstein基理想定义的有理映射，其次数等于Dr的充分条件是什么？

主要发现

• 当基理想具有最大分析维数时，有理映射的次数及其像的次数在一般系数特殊化下保持不变。
• 对于由高度为3、由D次形式生成的Gorenstein基理想定义的有理映射，其次数有界于Dr，且当理想满足Gr+1条件时，恰好等于Dr。
• 若分析维数为最大，则理想j-重数在系数的一般特殊化下保持不变。
• 饱和纤维锥包含相对纤维锥作为子代数，且其重数等于映射次数与像次数的乘积。
• 由通用交错矩阵的Pfaffians诱导的有理映射是通用有限的，其次数有界于Dr。
• 该理论为在任意诺特环上通过Rees代数与纤维锥研究次数不变性提供了统一框架，推广了经典结果。