[论文解读] Ideals with an assigned initial ideal

Margherita Roggero, Lea Terracini|arXiv (Cornell University)|Jul 24, 2008

Commutative Algebra and Its Applications参考文献 5被引用 18

一句话总结

本文提出了一种基于层级的毕业方法，用于在固定项序下对具有初始理想的层进行处理，从而实现这些代数概形的计算高效构造。关键贡献在于证明了当且仅当一个层同构于仿射空间时它是光滑的，并为饱和Lex-和RevLex-段理想的相关齐次层提供了显式的维数公式。

ABSTRACT

The stratum St(J,

研究动机与目标

• 为在项序下具有固定初始理想的理想族提供一个明确定义且计算可行的概形结构。
• 通过引入一种非标准的层级毕业方法，消除层构造中的歧义，确保其明确定义性与齐次性。
• 建立理论与计算工具，以研究层，特别是与希尔伯特概形和格罗布纳基理论的关系。
• 证明层的光滑性蕴含其同构于仿射空间，这一结果此前曾被声称但未被证明。
• 计算饱和Lex-和RevLex-段理想齐次层的维数，并提供显式公式。

提出的方法

• 将层 $\mathcal{S}t(J,\prec)$ 定义为在项序 $\prec$ 下初始理想为 $J$ 的理想族，将齐次层 $\mathcal{S}t_h(J,\prec)$ 定义为齐次理想族。
• 在参数的多项式环上引入一种非标准的层级毕业，使得层的理想为层级齐次。
• 利用布赫贝格尔算法与约化技术推导层的方程，借助基于层级的参数消去法。
• 应用程序3.7，一种基于层级分析的改进算法，以简化方程组并降低计算复杂度。
• 证明层级齐次性意味着层在原点处可等距嵌入其泽里斯基切空间。
• 通过归纳法与S-多项式结构分析，消除冗余参数并计算嵌入维数。

实验结果

研究问题

• RQ1 在何种条件下，具有固定初始理想 $J$ 且在项序 $\prec$ 下的层 $\mathcal{S}t(J,\prec)$ 同构于仿射空间？
• RQ2 如何高效计算层的理想，以避免朴素格罗布纳基方法带来的计算爆炸？
• RQ3 对于饱和Lex-段理想 $J$，齐次层 $\mathcal{S}t_h(J,\text{Lex})$ 的维数是多少？
• RQ4 当 $\mathcal{R}$ 是 $k[x_0,x_1,x_2]$ 中的饱和RevLex-段理想时，齐次层 $\mathcal{S}t_h(\mathcal{R},\text{RevLex})$ 是否光滑？
• RQ5 此类层的嵌入维数如何随变量数 $n$ 变化？

主要发现

• 当且仅当层 $\mathcal{S}t(J,\prec)$ 同构于仿射空间 $\mathbb{A}^s(k)$ 时，它是光滑的，该结果通过层级齐次性得以证明。
• 对于饱和Lex-段理想 $J$，齐次层 $\mathcal{S}t_h(J,\text{Lex})$ 是光滑的，其维数由特定公式给出。
• 对于任意由 $k[x_0,x_1,x_2]$ 中的饱和RevLex-段理想生成的理想 $\mathcal{R}$，齐次层 $\mathcal{S}t_h(\mathcal{R},\text{RevLex})$ 是光滑的。
• 对于此类 $\mathcal{R}$，层 $\mathcal{S}t_h(\mathcal{R},\text{RevLex})$ 的嵌入维数至多为 $2\mu$，其中 $\mu$ 是该段中单项式的数量。
• 由于基于层级的参数消去中存在次数差约束，层的维数随变量数 $n$ 的平方增长。
• 该方法显著降低了复杂度，可显式计算层的理想，相比朴素格罗布纳基方法具有显著优势。