[论文解读] 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}_p[x]$ 上利用线性代数方法定义并计算 ${\mathbb{Z}}[x]$-格的 $x$-饱和与 $\mathbb{Z}$-饱和。
• 在 $\mathbb{Z}_p[x]$ 上应用赫米特标准形技术，检测 ${\mathbb{Z}}[x]$-格的 $\mathbb{Z}$-饱和性并计算其 $\mathbb{Z}$-饱和。
• 构建算法，利用格饱和与特征集方法，计算洛朗二项式差分理想的反射、良好混合与完备闭包。
• 开发一种分解算法，将有限生成的完备二项式差分理想表示为反射素二项式差分理想的交。

实验结果

研究问题

• RQ1 如何利用 ${\mathbb{Z}}[x]$-格在差分多项式环中为二项式差分理想提供典范表示？
• RQ2 洛朗二项式差分理想在支持格的术语下，其反射性、素性、良好混合性、完备性或环形性的充要条件是什么？
• RQ3 洛朗二项式差分理想的反射、良好混合与完备闭包是否可算法计算，且是否恒为二项式？
• RQ4 如何将一个完备二项式差分理想分解为反射素二项式差分理想的交？
• RQ5 环形差分代数簇的等价定义是什么，其与群作用及 $\sigma$-查劳型式的关系如何？

主要发现

• 洛朗二项式差分理想具有两种典范表示：一种基于 ${\mathbb{Z}}[x]$-格的约化格罗布纳基，另一种基于正规且一致的差分升链。
• 任意矩阵在 ${\mathbb{Z}}[x]$ 上的核是自由 ${\mathbb{Z}}[x]$-模，这是环形差分代数簇的关键结构性质。
• 洛朗二项式差分理想的反射、良好混合与完备闭包恒为二项式，确保闭包性质保持二项式结构。
• 有限生成的完备二项式差分理想可被算法分解为有限个反射素二项式差分理想的交。
• 确立了环形差分代数簇的四种等价定义，包括通过群作用与 $\sigma$-查劳型式，推广了经典环形几何。
• 提供了用于检验理想性质与计算闭包的算法，基于 ${\mathbb{Z}}[x]$-格在 $\mathbb{Z}_p[x]$ 上的模约化与赫米特标准形技术。