[论文解读] On non-standard graded algebras

Dalzotto, G., Sbarra, E.|ArXiv.org|Jun 16, 2005

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

一句话总结

本文利用组合学与交换代数工具，研究非标准加权代数——即变量权重非均匀的多项式环——的性质。论文引入加权强稳定理想，确立了在何种条件下 Castelnuovo-Mumford 正则性与一般初始理想得以保持，并提出一个可计算不变量 $G(w)$ 作为理想可字典序化（lexifiability）的判别准则，同时表明即使在有利的权重条件下，也并非所有理想都可字典序化。

ABSTRACT

Positively graded algebras are fairly natural objects which are arduous to be studied. In this article we query quotients of non-standard graded polynomial rings with combinatorial and commutative algebra methods.

研究动机与目标

• 将标准加权代数中的基础结果——如一般初始理想、素理想避让、正则性及字典序理想——推广至具有任意正整数权重的非标准加权多项式环。
• 研究在加权多项式环中哪些理想是可字典序化的，即是否存在具有相同 Hilbert 函数的字典序理想。
• 确定在何种条件下，如 Castelnuovo-Mumford 正则性与深度等关键不变量，在一般初始理想构造下得以保持。
• 开发计算工具与不变量——特别是 $G(w)$——以测试给定齐次理想是否为字典序理想或可字典序化。

提出的方法

• 通过定义加权多项式环的自同构，建立在 Borel-固定型不变性下的通用初始理想的存在性。
• 引入‘加权强稳定’理想的概念，作为非标准情形下一般初始理想的组合学刻画。
• 利用经权重校正的分次 Betti 数及其重数计算 Castelnuovo-Mumford 正则性，推广标准情形下的公式。
• 提出一种基于检查有限个分次分量是否由字典段生成的字典序理想测试方法，利用不变量 $G(w)$。
• 在 CoCoA 中实现 Hilbert 函数、一般初始理想、极化与字典序理想的相关计算程序。
• 应用完全极化技术，即使理想不可字典序化，也能构造出与给定理想具有相同 Hilbert 函数的强稳定单项式理想。

实验结果

研究问题

• RQ1 在何种权重条件下，取一般初始理想时，Castelnuovo-Mumford 正则性得以保持？
• RQ2 在加权多项式环中，齐次理想在何种条件下是可字典序化的，即是否存在具有相同 Hilbert 函数的字典序理想？
• RQ3 能否有效利用如 $G(w)$ 这类组合不变量来测试给定理想是否为字典序理想？
• RQ4 能否对非标准加权设定下的完全极化理想给出完整刻画？
• RQ5 对于哪些权重序列，多项式环是 Macaulay-Lex 的，即所有理想均可字典序化？

主要发现

• 在加权多项式环中，齐次理想的通用初始理想是加权强稳定的，推广了标准情形下的 Borel-固定性质。
• Castelnuovo-Mumford 正则性可通过经权重校正的分次 Betti 数及其重数计算，推广了标准情形下的公式。
• 当每个权重整除下一个权重时，理想与其通用初始理想的正则性一致，但一般情况下不成立，如例 3.7 所示。
• 齐次理想是字典序理想的充要条件是其分次分量由字典段生成，且可通过不变量 $G(w)$ 进行测试，尽管由于等权重变量下增长过快，该测试并非最优。
• 即使权重序列满足条件 2.3，仍存在不可字典序化的理想，如例 4.17 和 4.18 所示，表明 Macaulay-Lex 环极为稀少。
• 完全极化理想虽不一定是字典序理想，但保持 Hilbert 函数，可在不可字典序化的情形下作为字典序理想的替代品。