[論文レビュー] Binomial Difference Ideal and Toric Difference Variety

Xiao-Shan Gao, Zhang Huang+1 more|arXiv (Cornell University)|Apr 30, 2014

Polynomial and algebraic computation参考文献 9被引用数 4

ひとこと要約

本稿は二項差分イデアルとトーリック差分代数的集合を導入し、${\mathbb{Z}}[x]$-格子と特徴的集合を用いてそれらの代数的構造を確立する。特徴的基底と正規化されたグレブナー基底を用いた正規表現が提供され、反射的性、素性、適切混合性、完全性、トーリック性のチェックのためのアルゴリズムが与えられ、閉包計算および完全二項差分イデアルの反射的素成分への分解が行われる。

ABSTRACT

In this paper, the concepts of binomial difference ideals and toric difference varieties are defined and their properties are proved. Two canonical representations for Laurent binomial difference ideals are given using the reduced Groebner basis of Z[x]-lattices and regular and coherent difference ascending chains, respectively. Criteria for a Laurent binomial difference ideal to be reflexive, prime, well-mixed, perfect, and toric are given in terms of their support lattices which are Z[x]-lattices. The reflexive, well-mixed, and perfect closures of a Laurent binomial difference ideal are shown to be binomial. Four equivalent definitions for toric difference varieties are presented. Finally, algorithms are given to check whether a given Laurent binomial difference ideal I is reflexive, prime, well-mixed, perfect, or toric, and in the negative case, to compute the reflexive, well-mixed, and perfect closures of I. An algorithm is given to decompose a finitely generated perfect binomial difference ideal as the intersection of reflexive prime binomial difference ideals.

研究の動機と目的

• 差分代数幾何学における代数的トーリック集合の類似物として、二項差分イデアルおよびトーリック差分代数的集合の理論を形式化すること。
• ${\mathbb{Z}}[x]$-格子と特徴的集合を用いて、ローレンツ二項差分イデアルの正規表現を提供すること。
• 反射的、素、適切混合、完全、トーリック性といった重要なイデアル性質をチェックするためのアルゴリズムを開発し、それらの閉包を計算すること。
• 完全二項差分イデアルが反射的素イデアルの有限個の交わりに分解されることを確立する定理を構築すること。
• ${\mathbb{Z}}[x]$-加群論を用いて、古典的な二項イデアルおよびトーリック集合に関する結果を差分設定に拡張すること。

提案手法

• ${\mathbb{Z}}[x]$-格子を用いてローレンツ二項差分イデアルを表現し、一般化されたエルミート標準形を用いて正規化されたグレブナー基底を計算する。
• 差分多項式系の特徴的集合を用いて二項差分イデアルを表現し、有限グレブナー基底に代わって用いる。
• ${\mathbb{Z}}[x]$-格子の$x$-飽和および${\mathbb{Z}}$-飽和を、$\mathbb{Z}_p[x]$上での線形代数を用いて定義および計算する。
• $\mathbb{Z}_p[x]$上でのエルミート標準形技術を用いて、${\mathbb{Z}}$-飽和性を検出し、格子の${\mathbb{Z}}$-飽和を計算する。
• 格子の飽和および特徴的集合法を用いて、ローレンツ二項差分イデアルの反射的、適切混合、完全閉包を計算するアルゴリズムを構築する。
• 有限生成の完全二項差分イデアルが反射的素イデアルの交わりに表現されることを保証する分解アルゴリズムを開発する。

実験結果

リサーチクエスチョン

• RQ1 ローレンツ二項差分イデアルは、${\mathbb{Z}}[x]$-格子を用いて、差分多項式環においてどのように正規表現可能か？
• RQ2 ローレンツ二項差分イデアルが反射的、素、適切混合、完全、またはトーリックであるための必要十分条件は、そのサポート格子に関してどのように記述できるか？
• RQ3 ローレンツ二項差分イデアルの反射的、適切混合、完全閉包は、アルゴリズム的に計算可能であり、かつ常に二項的であるか？
• RQ4 完全二項差分イデアルは、どのようにして反射的素イデアルの交わりに分解できるか？
• RQ5 トーリック差分代数的集合の同値な定義は何か？また、群作用および$\sigma$-チョウ形式とどのように関係するか？

主な発見

• ローレンツ二項差分イデアルは二通りの正規表現を持つ：${\mathbb{Z}}[x]$-格子の正規化されたグレブナー基底による表現と、正規かつ整合性のある差分上昇列による表現。
• ${\mathbb{Z}}[x]$上の任意の行列の核は自由${\mathbb{Z}}[x]$-加群である。これは、トーリック差分代数的集合の構造的性質において重要な役割を果たす。
• ローレンツ二項差分イデアルの反射的、適切混合、完全閉包は、常に二項的である。これは、閉包性質が二項構造を保存することを保証する。
• 有限生成の完全二項差分イデアルは、アルゴリズム的に反射的素イデアルの有限個の交わりに分解可能である。
• トーリック差分代数的集合について、4つの同値な定義が確立された。群作用や$\sigma$-チョウ形式による定義も含まれ、古典的トーリック幾何学の一般化である。
• 閉包計算およびイデアル性質のチェックのためのアルゴリズムが提供された。これらは、$\mathbb{Z}_p[x]$上でのモジュラ還元およびエルミート標準形を用いた${\mathbb{Z}}[x]$-格子の$x$-飽和および${\mathbb{Z}}$-飽和に基づく。