[论文解读] A Combinatorial Approach to Involution and delta-Regularity II: Structure Analysis of Polynomial Modules with Pommaret Base

Werner M. Seiler|arXiv (Cornell University)|Aug 30, 2002

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

一句话总结

本文提出了一种组合框架，利用Pommaret基分析多项式模，展示了其如何直接编码关键的同调不变量，如Krull维数、投影维数、深度和Castelnuovo-Mumford正则性。研究证明，在反字典序下Pommaret基的次数恰好等于正则性，为Bayer/Stillman与Eisenbud/Goto的经典刻画提供了新证明，并提出一种高效算法，用于检测存在Pommaret基的δ-正则坐标。

ABSTRACT

Substantial changes in many parts of the paper. In particular, significantly expanded treatment of monomial ideals and of Castelnuovo-Mumford regularity. Also relation between delta-regularity and Noether normalisation now treated.

研究动机与目标

• 开发一种基于Pommaret基的多项式模结构分析方法，用于计算同调不变量。
• 为经典结果（如Hironaka对Cohen-Macaulay模的判别准则及分次Auslander-Buchsbaum公式）提供新的、直接的证明。
• 通过在反字典序下Pommaret基的次数，建立Pommaret基与Castelnuovo-Mumford正则性之间的联系。
• 提出一种新的、确定性的、高效的算法，用于检测存在Pommaret基的δ-正则坐标，克服Pommaret基并非总存在的局限。

提出的方法

• 将Pommaret基作为一类特殊的初等基，其诱导多项式模的Rees分解。
• 应用坐标类与乘法变量的概念，定义用于分析关系式与模解析的组合结构。
• 采用递归算法（算法2）通过迭代提取按坐标类递增顺序生成的子模，构造Rees分解。
• 利用初等基的正规形式与强基性质，推导出关系式模的类似Gröbner基结构。
• 提出一种基于比较Janet与Pommaret乘法变量的判别准则，用于检测δ-奇异坐标系。
• 基于一般坐标为δ-正则的事实，将仅在一般情形下成立的结果推广至更广泛的坐标系类别。

实验结果

研究问题

• RQ1 如何利用Pommaret基计算多项式模的Krull维数、投影维数与深度？
• RQ2 在反字典序下，Pommaret基的次数与Castelnuovo-Mumford正则性之间的确切关系是什么？
• RQ3 能否构建一种确定性且高效的算法，用于检测存在Pommaret基的δ-正则坐标？
• RQ4 在δ-正则坐标下，经典交换代数结果（如正则序列、Noether标准化与初等分解）在多大程度上仍然成立？
• RQ5 Pommaret基的关系理论如何导出具有显式微分结构的自由解析？

主要发现

• 在反字典序下，Pommaret基的次数恰好等于模的Castelnuovo-Mumford正则性。
• 本文基于Pommaret基框架，为Bayer/Stillman与Eisenbud/Goto提出的Castelnuovo-Mumford正则性判别准则提供了新的、直接的证明。
• 基于比较Janet与Pommaret乘法变量，推导出一种新的、简单的δ-奇异坐标检测准则，其效率高于以往方法。
• 在单项式情形下，Pommaret基的关系模具有微分代数结构，且可给出微分的显式公式。
• 对于具有Pommaret基的单项式理想，可直接从基中获得非冗余的初等分解。
• 由Pommaret基构造的解析是极小的，当且仅当Pommaret基本身是极小的，这一结果推广了Eliahou与Kervaire的结论。