[论文解读] Construction of free commutative integro-differential algebras by the method of Gröbner-Shirshov bases

Xing Gao, Li Guo+1 more|arXiv (Cornell University)|Feb 1, 2013

Advanced Topics in Algebra参考文献 1被引用 5

一句话总结

本文使用格罗布纳-希罗绍夫基底方法，为自由交换微分-积分代数构造了一个规范线性基底，建立了自由交换微分罗塔-巴克斯特代数（阶数为 $n$）的组合-钻石引理，并引入一种弱单项序以通过格罗布纳-希罗绍夫基底方法推导基底。关键贡献在于建立了自由交换微分-积分代数与一个包含自由模和一个理想之直和的线性同构，从而为这类代数提供了一种基于规范形的构造性方法。

ABSTRACT

In this paper, we construct a canonical linear basis for free commutative integro-differential algebras by applying the method of Gröbner-Shirshov bases. We establish the Composition-Diamond Lemma for free commutative differential Rota-Baxter algebras of order $n$. We also obtain a weakly monomial order on these algebras, allowing us to obtain Gröbner-Shirshov bases for free commutative integro-differential algebras on a set. We finally generalize the concept of functional derivations to free differential algebras with arbitrary weight and generating sets from which to construct a canonical linear basis for free commutative integro-differential algebras.

研究动机与目标

• 使用代数方法为自由交换微分-积分代数构造一个规范线性基底。
• 为自由交换微分罗塔-巴克斯特代数（阶数为 $n$）建立组合-钻石引理。
• 在自由交换微分罗塔-巴克斯特代数上引入一种弱单项序，以支持格罗布纳-希罗绍夫基底的计算。
• 将函数导子推广至任意权和生成集的自由微分代数。
• 通过将自由微分罗塔-巴克斯特代数模去特定理想，提供一种基于规范形的自由交换微分-积分代数的构造性表征。

提出的方法

• 该方法将格罗布纳-希罗绍夫基底技术应用于阶数为 $n$ 的自由交换微分罗塔-巴克斯特代数。
• 在自由交换微分罗塔-巴克斯特代数上定义一种弱单项序，以促进组合-钻石引理的应用。
• 理想 $I_{ID}$ 由来自微分-积分条件的关系生成，具体关系为 $P(d(u)P(v)) = uP(v) - P(uv) - \theta P(d(u)v)$。
• 构造使用代数的直接系统 $A_n = \text{span}(\bigcup_{k \to \bigcup} \text{次数为 } k \text{ 的单项式})$，其中 $A = \text{colim } A_n$。
• 规范基底被实现为直和 $A \bigoplus \bigoplus_{k \to \bigcup} A \bigotimes A_f^{\bigotimes k} \bigotimes A$，其中 $A_f$ 是生成集上的自由模。
• 证明依赖于验证 $I_{ID} \bigcap \text{span}(\text{在 } \bigtriangleup_n X \text{ 中的单项式}) = I_{ID,n}$，以确保在直极限下的相容性。

实验结果

研究问题

• RQ1 如何为自由交换微分-积分代数构造一个规范线性基底？
• RQ2 格罗布纳-希罗绍夫基底方法能否推广至阶数为 $n$ 的自由交换微分罗塔-巴克斯特代数？
• RQ3 何种弱单项序可使组合-钻石引理在此背景下适用？
• RQ4 如何代数地编码微分-积分关系以定义商代数？
• RQ5 自由交换微分-积分代数作为自由模的直和，其结构如何？

主要发现

• 本文为自由交换微分罗塔-巴克斯特代数（阶数为 $n$）建立了组合-钻石引理，从而能够推导出规范形。
• 在自由交换微分罗塔-巴克斯特代数上定义了一种弱单项序，使得格罗布纳-希罗绍夫基底技术得以应用。
• 由微分-积分关系生成的理想 $I_{ID}$ 满足 $I_{ID} \bigcap \text{span}(\text{在 } \bigtriangleup_n X \text{ 中的单项式}) = I_{ID,n}$，确保其与直极限的相容性。
• 在集合 $X$ 上的自由交换微分-积分代数同构于 $A \bigoplus \bigoplus_{k \to \bigcup} A \bigotimes A_f^{\bigotimes k} \bigotimes A$，其中 $A = \text{span}(\bigtriangleup X)$。
• 该同构通过直和分解 ${\rm X}(A) = {\rm X}(A)_f \bigoplus I_{ID}$ 实现，其中 ${\rm X}(A)_f$ 是自由模，$I_{ID}$ 是关系理想。
• 该构造将函数导子推广至任意权和生成集，从而实现了统一的基底构造。