[论文解读] A class of transversal polymatroids with Gorenstein base ring

Alin Ştefan|ArXiv.org|Jan 15, 2008

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

一句话总结

本文利用多面体几何与Danilov-Stanley定理，识别出一类基环为Gorenstein的横截拟模多面体，通过其相对内部表征其典范模。计算了这些基环的a-不变量与Hilbert级数，表明Hilbert级数以精确的有理函数形式呈现，其系数由Hilbert函数前n个值通过有限差分确定。

ABSTRACT

In this paper, the principal tool to describe transversal polymatroids with Gorenstein base ring is polyhedral geometry, especially the $Danilov-Stanley$ theorem for the characterization of canonical module. Also, we compute the $a-invariant$ and the Hilbert series of base ring associated to this class of transversal polymatroids.

研究动机与目标

• 表征基环为Gorenstein的横截拟模多面体。
• 确定生成基环中单项式指数集的多面体锥的面。
• 计算此类拟模多面体基环的a-不变量与Hilbert级数。
• 通过Danilov-Stanley定理，建立典范模与锥的相对内部之间的联系。
• 通过Normaliz进行计算机代数实验验证结果。

提出的方法

• 利用多面体几何分析基环中单项式对数集所生成的锥。
• 应用Danilov-Stanley定理，以锥的相对内部表征典范模。
• 利用对数集凸包的Ehrhart理论计算Hilbert函数。
• 通过Hilbert函数的n阶差分算子Δ^n推导Hilbert级数，系数由二项式和表示。
• 将a-不变量计算为−1，从而简化Hilbert级数的计算。
• 通过Normaliz进行广泛的计算机代数实验验证结果。

实验结果

研究问题

• RQ1 哪些横截拟模多面体具有Gorenstein基环？其结构特征是什么？
• RQ2 如何显式确定与基环相关的多面体锥的面？
• RQ3 此类横截拟模多面体基环的a-不变量是多少？
• RQ4 Hilbert级数如何由Hilbert函数确定？
• RQ5 此类Gorenstein基环的Hilbert级数具有何种精确形式？

主要发现

• 所研究类横截拟模多面体基环的a-不变量为−1。
• 基环的Hilbert函数由公式 $ h(t) = \sum_{k=0}^{(i+1)t} \binom{k+i-1}{k} \binom{nt-k+n-i-1}{nt-k} $ 给出。
• Hilbert级数为有理函数，形式为 $ H_{K[\mathbf{\mathcal{A}}]}(t) = \frac{1 + h_1 t + \cdots + h_{n-1} t^{n-1}}{(1-t)^n} $，其中系数 $ h_j $ 通过Hilbert函数的有限差分计算得出。
• 基环为正规环，由Hilbert函数与对数集凸包的Ehrhart函数相等得到验证。
• 通过Danilov-Stanley定理，典范模被完全表征为锥的相对内部。
• 多面体锥的面由超平面 $ H_{\nu_{\sigma^k[i]}} $ 确定，其法向量由特定模式的循环移位定义。