[論文レビュー] 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である特定のクラスの横断的多量体的関数の特徴付けを行い、 canonical モジュールを同定する。基底環の 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定理を用いて、canonical モジュールと錐の相対内部との関係を確立する。
• Normalizを用いたコンピュータ代数実験により結果を検証する。

提案手法

• 基底環に含まれる単項式の対数集合が生成する錐を多面体幾何的手段で分析する。
• Danilov-Stanley定理を適用し、錐の相対内部を用いてcanonical モジュールを特徴付ける。
• 対数集合の凸包のEhrhart理論を用いてHilbert関数を計算する。
• 差分作用素 Δ^n をHilbert関数に適用し、二項係数の和を用いて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定理を応用し、錐の相対内部を用いてcanonical モジュールが完全に特徴付けられる。
• 多面体的錐の面は、特定のパターンの巡回的シフトによって定義される法線ベクトルを持つ超平面 $ H_{\nu_{\sigma^k[i]}} $ によって決定される。