[論文レビュー] The geometry of A-graded algebras

Bernd Sturmfels|ArXiv.org|Oct 31, 1994

Commutative Algebra and Its Applications参考文献 10被引用数 20

ひとこと要約

この論文は、各次数成分が一様次元である多項式環の二項イデアルによる商として得られるA-次数代数——特にその幾何的・組合せ的構造——を調査する。1次元の場合に生成数が3を超えると、Arnoldの有限性結果が成り立たないことを証明し、n=4, d=1のとき、無限個の同型でない非一貫性代数の族を構成する。また、これらの代数を多面体分割と二項イデアルのパラメータ空間を用いて特徴づける。

ABSTRACT

We study algebras k[x_1,...,x_n]/I which admit a grading by a subsemigroup of N^d such that every graded component is a one-dimensional k-vector space. V.I.~Arnold and coworkers proved that for d = 1 and n <= 3 there are only finitely many isomorphism types of such A-graded algebras, and in these cases I is an initial ideal (in the sense of Groebner bases) of a toric ideal. In this paper it is shown that Arnold's finiteness theorem does not extend to n = 4. Geometric conditions are given for I to be an initial ideal of a toric ideal. The varieties defined by A-graded algebras are characterized in terms of polyhedral subdivisions, and the distinct A-graded algebras are parametrized by a certain binomial scheme.

研究の動機と目的

• ArnoldのA-次数代数に関する有限性定理が、1次元の場合にn≤3を越えて拡張可能かどうかを同定すること。
• 多面体分割とトーリック幾何学を用いてA-次数代数の幾何的特徴づけを行うこと。
• すべてのA-次数イデアルをパラメータ化するパラメータ空間を構成し、群作用を用いてその同型類を研究すること。
• 非一貫性A-次数代数の存在と、非一貫性分割に由来するその幾何的起源を調査すること。
• 幾何的不変量理論を用いて同型類のモジュライ空間の構造を調べること。

提案手法

• Gröbner基底理論と初期イデアルを用い、一貫性を定義し、A-次数代数をトーリックイデアルの初期イデアルとして特定する。
• 二項方程式を用いてすべてのA-次数イデアルをパラメータ化する空間P_Aを導入し、(k*)^nの作用が同型類を符号化する。
• 集合A⊂Ndの多面体分割を用いて、A-次数イデアルの根基を特徴づけ、[15]の結果を一般化する。
• トーリックイデアルI_Aの状態多面体を用いて、一貫性のあるA-次数代数をパラメータ化し、その面が同型型に対応することを示す。
• 無限体上での反例を構成し、A={1,3,4,7}に対して、無限個の同型でない単項式A-次数代数が存在することを示す。
• P_Aの一体の成分が、点eの(k*)^n軌道の閉包に一致することを証明し、これは状態多面体の射影的トーリック多様体に対応する。

実験結果

リサーチクエスチョン

• RQ1 d=1のときn=4に拡張して、Arnoldの有限性定理がA-次数代数に成り立つかどうか。
• RQ2 A-次数イデアルがトーリックイデアルの初期イデアルであるための幾何的条件は何か。
• RQ3 すべてのA-次数イデアルの集合をどのようにパラメータ化できるか。また、その同型類の構造はどのようなものか。
• RQ4 A⊂Ndの任意の多面体分割が、A-次数イデアルの根基として現れるか。
• RQ5 パラメータ空間P_AとA-次数代数の同型類のモジュライ空間との関係は何か。

主な発見

• d=1かつn=4のとき、互いに同型でないA-次数代数の無限族が存在し、Arnoldの有限性結果の拡張が成り立たないことを反証する。
• A={1,3,4,7}で、単項式イデアルI=⟨x₁³, x₁x₂, x₂², x₂x₃, x₁x₄, x₁²x₃², x₁x₃⁴, x₂x₄³, x₄⁴⟩をもつA-次数代数は一貫性をもたない。
• A-次数代数の同型類の集合は、パラメータ空間P_Aにおける(k*)^n軌道の集合と一対一対応する。
• 一貫性のあるA-次数イデアルは、P_Aにおける点eの(k*)^n軌道の閉包にちょうど一致し、これは状態多面体の射影的トーリック多様体に対応する。
• 任意のA-次数イデアルの根基はAの多面体分割によって決定され、Conjecture 6.2が成り立つならば、すべてのこのような分割がA-次数イデアルの根基として現れる。
• パラメータ空間P_Aには、トーリックイデアルI_Aの初期イデアルに対応する特徴的な成分（一体成分）が含まれるが、他の成分は非一貫性分割から生じる可能性がある。