[論文レビュー] Zariski Cancellation Problem for Noncommutative Algebras

Jason P. Bell, James J. Zhang|arXiv (Cornell University)|Jan 18, 2016

Advanced Topics in Algebra参考文献 11被引用数 7

ひとこと要約

この論文は、特性0の代数的に閉じた体上での、有限生成で非可換なGelfand-Kirillov次元2の非可換整域に対して、非可換Zariskiキャンセレーション問題を、Makar-Limanov不変量と判別式法を用いて肯定的に解決する。非可換な代数のキャンセレーション性が示され、可換代数における既知の結果が非可換な設定へと拡張される。

ABSTRACT

A noncommutative analogue of the Zariski cancellation problem asks whether $A[x]\cong B[x]$ implies $A\cong B$ when $A$ and $B$ are noncommutative algebras. We resolve this affirmatively in the case when $A$ is a noncommutative finitely generated domain over the complex field of Gelfand-Kirillov dimension two. In addition, we resolve the Zariski cancellation problem for several classes of Artin-Schelter regular algebras of higher Gelfand-Kirillov dimension.

研究の動機と目的

• 非可換代数に対して $ A[x] \cong B[x] $ ならば $ A \cong B $ であるかを問う、Zariskiキャンセレーション問題（ZCP）の非可換版を確立すること。
• 特にGelfand-Kirillov（GK）次元が低い非可換Artin-Schelter正則代数のキャンセレーション性を調査すること。
• 可換多項式環における古典的なZCPの結果を、非可換整域、特に次元2への拡張すること。
• キャンセレーション性の証明に向け、具体的にはMakar-Limanov不変量と判別式を含む新しい不変量を開発・適用すること。

提案手法

• Makar-Limanov不変量 $ \operatorname{ML}(A) $ を用いて $ \operatorname{LND} $-剛性を検出する。ここで $ \operatorname{ML}(A) = \bigcap_{\delta \in \operatorname{LND}(A)} \ker(\delta) $ であり、$ \operatorname{LND} $-剛性を持つ代数はキャンセレーション性を示すことを証明する。
• 判別式法を適用し、中心 $ C $ に関する代数 $ A $ の判別式 $ d(A/C) $ を計算し、それが有効的または支配的であることを確認することで、強い $ \operatorname{LND}^H $-剛性を保証する。
• 素数 $ p $ を法として modulo をとることで、有限体上で作業し、代数がPI（多項式恒等式）的になるようにし、判別式の計算を可能にする。
• アフィン $ \mathbb{Z} $-代数上の基本変換技術を用いて、有限体から元の代数的設定へ性質を持ち上げる。
• 代数が強い $ \operatorname{LND}^H $-剛性であり、かつ有限GK次元をもつならば、定理3.3により強くキャンセレーション可能であることを活用する。
• パラメータ $ p, q $ および基底環 $ K $ に関する条件下で、判別式が有効的または支配的であることを確認し、代数が要求される有限性および整域性条件を満たすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 複素数体上、特性0の代数的に閉じた体上での、有限生成で非可換な整域でGK次元2の代数 $ A $ に対して、$ A[x] \cong B[x] $ ならば $ A \cong B $ であるか？
• RQ2 Makar-Limanov不変量は非可換代数におけるキャンセレーション性の証明に用いることができるか？
• RQ3 非可換代数の判別式が有効的または支配的である条件は何か？ そしてそれはキャンセレーション性とどのように関係するか？
• RQ4 特に有限体上でPI的となる代数に対して、$ p $ を法としての還元を用いて非可換ZCPを解けるか？
• RQ5 埋め込み問題、自己同型問題、線形化問題の間の古典的な含意関係が、非可換な設定へとどの程度まで拡張可能か？

主な発見

• 特性0の代数的に閉じた体上での、有限生成で非可換なGK次元2の整域は、すべてキャンセレーション可能である。
• Makar-Limanov不変量はキャンセレーション性の十分条件を提供する：$ A $ が $ \operatorname{LND} $-剛性ならば、$ A $ はキャンセレーション可能である。
• 中心上の支配的判別式をもつ代数に対しては、強い $ \operatorname{LND}^H $-剛性が確立され、それが強いキャンセレーション性を示唆する。
• 判別式法は、より高いGK次元のArtin-Schelter正則代数のいくつかのクラスについて、キャンセレーション性を正当化するのに成功した。
• $ p $ を法としての還元技術により、複素数体上の代数から有限体上への移行が可能となり、PI性および判別式計算が現実可能になる。
• 条件 $ 2^{-1}, p^{\pm 1}, q^{\pm 1}, (p-1)^{-1}, (q-1)^{-1} \in K $ が満たされることにより、判別式が有効的であり、代数が基本変換のもとで良好に保たれることを保証する。