[論文レビュー] Classification of quadratic and cubic PBW algebras on three generators

Natalia Iyudu, Stanislav Shkarin|arXiv (Cornell University)|Jun 18, 2018

Algebraic structures and combinatorial models参考文献 10被引用数 5

ひとこと要約

本稿は、特性 ≠2,3 の代数的に閉じた体上での3生成子を持つ二次および三次PBW代数の完全分類を提供し、3変数多項式環またはその立方体版と一致するヒルベルト系列を持つすべての代数を特定する。主な貢献は、グローバル次元3のアーティン–シュレーダー正則代数の同型類の完全分類であり、準位相関数とグレブナー基底技術を用いて、カオス的、PBWB、および非カオス的ケースを区別する。

ABSTRACT

We give a complete classification of quadratic algebras A, with Hilbert series $H_A=(1-t)^{-3}$, which is the Hilbert series of commutative polynomials on 3 variables. Koszul algebras as well as algebras with quadratic Gröbner basis among them are identified. We also give a complete classification of cubic algebras A with Hilbert series $H_A=(1+t)^{-1}(1-t)^{-3}$. These two classes of algebras contain all Artin-Schelter regular algebras of global dimension 3. As far as the latter are concerned, our results extend well-known results of Artin and Schelter by providing a classification up to an algebra isomorphism.

研究の動機と目的

• .
• ヒルベルト系列 (1−t)⁻³ を持つ3生成子の二次PBW代数をすべて分類し、カオス的およびPBWB代数を特定すること。
• ヒルベルト系列 (1+t)⁻¹(1−t)⁻³ を持つすべての三次代数を分類し、アーティン–シュレーダー正則代数に関する結果を拡張すること。
• ウンファロフスキーの問いを解決するため、有限グレブナー基底を持たないオートマトン代数を構成すること。
• このような代数の同型類の標準形を提供し、孤立した族とパrametrized族を区別すること。

提案手法

• .
• 二次および三次代数の定義関係の構造を分析するための準位相関数の使用。
• モノイド順序とリーディング項を用いてPBWB代数を特定するグレブナー基底理論の適用。
• 特に HA(−t)HA!(t) = 1 を用いたヒルベルト系列とカオス的双対性の恒等式を用いたカオス的性の検出。
• dim(Ak+1) = nk+1 − 2n² + 1 を用いた次元数え上げにより、特定のヒルベルト系列を持つ代数を特徴付ける。
• 定義関係のケース解析による分類、特にねじれ位相関数代数および位相関数代数を含む。
• 有限グレブナー基底の性質に反する具体例および反例の構成。

実験結果

リサーチクエスチョン

• RQ1 .
• RQ2 ヒルベルト系列 (1−t)⁻³ を持つ3生成子の二次代数で、カオス的またはPBWBであるものはどれか？
• RQ3 ヒルベルト系列 (1+t)⁻¹(1−t)⁻³ を持つ三次代数の同型類の完全分類は何か？
• RQ4 オートマトン代数は有限グレブナー基底を持たないことがあるか？ もしそうなら、どのようにしてそれが示されるか？
• RQ5 分類におけるどの代数が整域であり、ねじれ位相関数性とはどのような関係にあるか？
• RQ6 同型類のモジュライ空間に孤立した代数は存在するか？ それらはどのように特徴づけられるか？

主な発見

• .
• 3生成子を持つグローバル次元3のアーティン–シュレーダー正則代数は、同型を除いてすべて分類された。二次および三次の両ケースが含まれる。
• 分類において唯一の整域であるのはねじれ位相関数代数であり、標準的位相関数代数を含む。
• 族 (N1) に無限個の異なるヒルベルト系列を持つ代数が存在し、モジュライ空間の豊かさを示している。
• ウンファロフスキーの古くからの問いを解決する形で、(N1)族から有限グレブナー基底を持たないオートマトン代数が明示的に構成された。
• 二次分類におけるねじれ位相関数代数として唯一の孤立代数は (T12–T15) であり、(T12) は (T13) と同型、(T14) は (T15) と同型であり、同型類は2つに限られる。
• 分類により、(n,k) = (3,2) および (2,3) の場合、準位相関数代数が整域であるための必要十分条件がねじれ位相関数であることであることが確認され、より広範な予想を支持する。