[論文レビュー] Center of double extension regular algebras of type (14641)

Andrés Rubiano|arXiv (Cornell University)|Jan 26, 2026

Algebraic structures and combinatorial models被引用数 0

ひとこと要約

この論文は SageMath を用いて、型 (14641) のダブル Ore 拡張の中心および特定の中央部分代数を、明示的なパラメータ制約の下で計算し、結果を Zariski 消去問題に適用する。

ABSTRACT

In this paper we compute the center and, in several cases, central subalgebras of double Ore extensions of type (14641) under suitable restrictions on the defining parameters. Part of the analysis is supported by computations in SageMath. As an application, we provide new examples related to the Zariski cancellation problem.

研究の動機と目的

• 全球次元四の Artin–Schelter 正則代数を生むダブル Ore 拡張を動機づけて研究する。特に型 (14641) を重視する。
• 明示的パラメータ制約の下で、選択されたダブル拡張の中心と中心的部分代数を計算する。
• これらの代数の非可換な中心構造を扱うための SageMath を含む計算手法を開発・適用する。
• 非可換な Zariski 消去問題における消去現象への含意を探る。

提案手法

• グローバル次元二の基底 AS-正則代数の右ダブル拡張の DE-データを見直し修正する。
• 生成元の累積（べき乗）との交換公式を導出・用いて中心を決定する。
• 非可換な関係を扱うための書換系と正規形計算を用いる。
• パラメータの有理式分野内での交換子と正規形を計算する SageMath スクリプトを実装する。
• 完全な中心の記述と部分的な中心部分代数を例示するため、二つの明示的な例を詳しく分析する。

実験結果

リサーチクエスチョン

• RQ1 explicit parameter constraints の下で型 (14641) の選択されたダブル Ore 拡張 の centers および central subalgebras は何か？
• RQ2 これらの非可換代数に対して、計算的（SageMath）手法で明示的な中心要素と関係を得られるか？
• RQ3 中心と中心部分代数は非可換 Zariski 消去問題における消去現象にどのような影響を与えるか？

主な発見

• パラメータ制約の下で分類の 26 ファミリの選定メンバーに対して、中心または重要な中心部分代数が決定される。
• 明示的な交換公式と SageMath 実装を組み合わせて、正規形および中心要素を計算する手法を示す。
• 非可換設定における Zariski 消去問題に関連する新しい例を提供する。
• 型 (14641) のダブル拡張は、非自明な非可換性にもかかわらず、取り扱い可能な中心記述を生み出しうることを実証している。