[论文解读] Equations of Almost Complete Intersections

Jooyoun Hong, Aron Simis+1 more|ArXiv.org|Jun 8, 2009

Commutative Algebra and Its Applications参考文献 8被引用 7

一句话总结

本文提出了一种系统方法，用于确定多项式环中几乎完全交的Rees代数的定义方程，该方法结合了四个关键的Hilbert函数与syzygetic技术。研究建立了消除度与双有理性条件的显式公式，证明了Rees代数在度数1、2以及消除度下生成，且在关键情形下给出了显式的resultant型方程。

ABSTRACT

In this paper we examine the role of four Hilbert functions in the determination of the defining relations of the Rees algebra of almost complete intersections of finite colength. Because three of the corresponding modules are Artinian, some of these relationships are very effective, opening up tracks to the determination of the equations and also to processes of going from homologically defined sets of equations to higher degrees ones assembled by resultants.

研究动机与目标

• 理解多项式环中几乎完全交的Rees代数结构，特别是在双有理映射与消去理论背景下的性质。
• 通过理想及其syzygy关联的四个Hilbert函数，识别Rees代数的定义方程。
• 确定消除度以及相关有理映射为双有理的条件。
• 利用syzygetic原理与resultants开发有效的计算方法，以推导高次方程。
• 将理论扩展至非最大余维情形，涵盖次最大高度的理想，特别是在Cremona变换的背景下。

提出的方法

• 利用四个Hilbert函数分析Rees代数及其定义理想 $L$ 的结构，重点关注模块 $L_i$ 及其最小生成元。
• 应用syzygetic原理，从理想生成元的线性与二次syzygy中生成双次数为 $(1,2)$ 的方程。
• 采用消除度 $\mathrm{edeg}(I)$ 的概念，即最小的度数 $i$ 使得 $L_i \not\subseteq \mathfrak{m}S$，该值决定了消除方程的次数。
• 利用resultants与矩阵构造（如 $\det \mathbf{B}$）生成消除方程 $\mathbf{p}$，该方程生成 $L_{\mathrm{edeg}(I)}$。
• 当标准syzygetic原理失效时，引入两步syzygetic过程，利用 $L_2 / S_1 L_1$ 与更高阶syzygy模中的陪集代表元，构造消除方程。
• 将理论应用于具有二次生成元的具体例子，计算 $\nu(L_1)$、$\nu(L_2)$ 与 $\nu(L_i)$，以确定 $L$ 的结构与消除方程的次数。

实验结果

研究问题

• RQ1 Rees代数的定义理想 $L$ 的结构如何，特别是其分次分量 $L_i$ 的性质是怎样的？
• RQ2 如何利用Hilbert函数与syzygy数据计算消除度 $\mathrm{edeg}(I)$？
• RQ3 在何种条件下由 $I$ 定义的有理映射是双有理的，且如何从代数角度检测这一性质？
• RQ4 当标准syzygetic原理无法生成消除方程时，其失效条件是什么，如何通过更高阶syzygy步骤恢复？
• RQ5 在几乎完全交的背景下，能否利用resultants与矩阵行列式导出消除方程的显式公式？

主要发现

• 对于几乎完全交 $I = (J, a)$，其中 $J = (a_1, \dots, a_d)$ 是次数为 $n$ 的形式的正则序列，Rees代数 $R[It]$ 在度数1、2与 $\mathrm{edeg}(I)$ 下生成，且 $L = (L_1, L_2, L_{\mathrm{edeg}(I)})$。
• 在例5.5中，$\mathrm{edeg}(I) = 9$，$\nu(L_1) = 15$，$\nu(L_2) = 4$，且 $L_9 = k\mathbf{p}$，其中 $\deg(\mathbf{p}) = 8$，因此映射是双有理的。
• 在例5.6中，$\mathrm{edeg}(I) = 4$，$\nu(L_1) = 15$，$\nu(L_2) = 4$，且 $L_4 = k\mathbf{p}$，其中 $\deg(\mathbf{p}) = 4$，因此映射不是双有理的。
• 在例5.7中，$\mathrm{edeg}(I) = 8$，$\nu(L_1) = 9$，$\nu(L_2) = 1$，$\nu(L_3) = 2$，且 $L_8 = k\mathbf{p}$，其中 $\deg(\mathbf{p}) = 8$，通过两步syzygy构造确认了双有理性。
• 消除方程 $\mathbf{p}$ 构造为从syzygy数据构建的矩阵 $\mathbf{B}$ 的行列式 $\det \mathbf{B}$，且 $\deg(\mathbf{p}) = \mathrm{edeg}(I)$。
• 当 $I_1(\varphi) = \mathfrak{m}$（即1-平衡）时，标准syzygetic原理失效，需通过更高阶syzygy步骤构造 $L_3 / S_1 L_2$，最终得到 $\mathbf{p}$。