[論文レビュー] Degree and algebraic properties of lattice and binomial matrix ideals

Liam O’Carroll, Francesc Planas-Vilanova+1 more|arXiv (Cornell University)|Mar 21, 2013

Commutative Algebra and Its Applications参考文献 17被引用数 2

ひとこと要約

この論文は、任意の体上の非斉次格子イデアルの次数を、因子群のねじれおよび格子多面体の相対体積を用いて公式化する。Eisenbud-Sturmfels理論を格子イデアルの素分解へと拡張し、一般化された正の臨界バイノミアル（GPCB）行列を導入し、それが転置に関して閉じていることを証明するとともに、グラフにおけるラプラシアンおよびトッピングイデアルの次数と砂だんご群の位数との関係を明らかにする。

ABSTRACT

We study the degree of non-homogeneous lattice ideals over arbitrary fields, and give formulae to compute the degree in terms of the torsion of certain factor groups of Z^s and in terms of relative volumes of lattice polytopes. We also study primary decompositions of lattice ideals over an arbitrary field using the Eisenbud-Sturmfels theory of binomial ideals over algebraically closed fields. We then use these results to study certain families of integer matrices (PCB, GPCB, CB, GCB matrices) and the algebra of their corresponding matrix ideals. In particular, the family of generalized positive critical binomial matrices (GPCB matrices) is shown to be closed under transposition, and previous results for PCB ideals are extended to GPCB ideals. Then, more particularly, we give some applications to the theory of 1-dimensional binomial ideals. If G is a connected graph, we show as a further application that the order of its sandpile group is the degree of the Laplacian ideal and the degree of the toppling ideal. We also use our earlier results to give a structure theorem for graded lattice ideals of dimension 1 in 3 variables and for homogeneous lattices in Z^3 in terms of critical binomial ideals (CB ideals) and critical binomial matrices, respectively, thus complementing a well-known theorem of Herzog on the toric ideal of a monomial space curve.

研究の動機と目的

• 任意の体上の非斉次格子イデアルの次数に対する明示的公式を導出すること。
• Eisenbud-Sturmfelsのバイノミアルイデアル理論を任意の体上の素分解へと拡張すること。
• 特定の整数行列族（PCB, GPCB, CB, GCB行列）から生じる行列イデアルの代数的性質を研究すること。
• GPCB行列が転置に関して閉じていることを確立し、PCBイデアルに関する先行結果を一般化すること。
• 結果を1次元バイノミアルイデアルに適用し、連結グラフにおけるラプラシアンおよびトッピングイデアルの次数とその砂だんご群の位数との関係を明らかにすること。

提案手法

• Z^s の因子群のねじれを用いて格子イデアルの次数を計算する。
• 相対体積を幾何的道具として用い、次数を決定する。
• 代数的に閉じた体上のバイノミアルイデアルの Eisenbud-Sturmfels理論を用いて素分解を分析する。
• 一般化された正の臨界バイノミアル（GPCB）行列を導入し、その代数的性質を特徴付ける。
• 結果を1次元バイノミアルイデアルに適用し、3変数の次数付き格子イデアルおよびZ^3内の斉次格子の構造定理を確立する。
• ラプラシアンイデアルおよびトッピングイデアルの次数を、次数計算を通じて砂だんご群の位数に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 任意の体上の非斉次格子イデアルの次数は、群のねじれおよび多面体体積を用いてどのように計算可能か？
• RQ2 一般化された正の臨界バイノミアル（GPCB）行列から生じる格子イデアルの代数的性質は何か？また、転置に関して閉じているか？
• RQ3 任意の体上での格子イデアルの素分解はどのように振る舞い、Eisenbud-Sturmfels理論をどのように拡張できるか？
• RQ4 3変数における1次元の次数付き格子イデアルはどのような構造を有するのか？また、臨界バイノミアルイデアルとどのように関係するか？
• RQ5 グラフのラプラシアンイデアルの次数とその砂だんご群の位数との間にはどのような関係があるか？

主な発見

• 非斉次格子イデアルの次数は、Z^s のある因子群のねじれによって決定される。
• 次数は、イデアルに関連する格子多面体の相対体積としても表現可能である。
• 一般化された正の臨界バイノミアル（GPCB）行列の族は、転置に関して閉じている。
• 連結グラフの砂だんご群の位数は、そのラプラシアンイデアルおよびトッピングイデアルの次数に等しい。
• 3変数における1次元の次数付き格子イデアルについて、臨界バイノミアルイデアルを用いて構造定理が確立された。
• Z^3 内の斉次格子に対しては、対応する格子イデアルの構造が臨界バイノミアル行列を用いて特徴付けられた。