[論文レビュー] Nil algebras with restricted growth

T. H. Lenagan, Agata Smoktunowicz+1 more|arXiv (Cornell University)|Aug 26, 2010

Rings, Modules, and Algebras参考文献 2被引用数 5

ひとこと要約

本稿は、任意の可算体上で、Gelfand-Kirillov次元が3以下である、有限生成で無限次元のニル代数を構成する。これは、このような代数における既知で最も低い成長率を達成する。Golod-Shafarevich型の手法を精緻に応用し、スパarselyな高余次元の関係を用いてイデアルの成長を厳密に制御することで、ニル代数が指数的成長より小さい成長を示しても、無限次元になり得ることを示した。これは、長年にわたり未解決であった、最小成長率に関する根本的問題を解決する。

ABSTRACT

It is shown that over an arbitrary countable field, there exists a finitely generated algebra that is nil, infinite dimensional, and has Gelfand-Kirillov dimension at most three.

研究の動機と目的

• 有限生成で無限次元のニル代数の最小可能なGelfand-Kirillov次元を特定すること。
• 既存の無限次元ニル代数の構成法を改善し、これまでに知られていたものよりも著しく低い成長率を達成すること。
• このような代数が任意の可算体上で構成可能であることを示し、それまでのGK次元がより高い結果を拡張すること。
• ニル代数が多項式的または二次的成長を示す場合、それが必ず有限次元である必要があるかどうかを検討すること。
• 成長と有限提示性の観点から、ニル代数とニルポテンシャル代数の境界を調査すること。

提案手法

• 2つの非可換生成元からなる自由代数を用い、特定の単項式次数に制約を課して、大きな斉次イデアル E を定義する。
• 成長を制御するために、余次元が制御された線形部分空間の列 U(2^n) を構成する。これにより E が十分に大きく、成長を抑えることが保証される。
• E を、すべての n に対して E ∩ H(2^n) ⊆ U(2^n) を満たす最大の両側イデアルとして定義する。同次性と成長制御を活用する。
• 要素 f_i を、自由代数の適切に列挙された集合から選び、スパarselyで急激に増加する次数に関係を導入する。
• 商代数の同次成分の成長を抑えるために、部分空間 Q(k) と W(k) の再帰的構成に依存する。
• 特に、インデックス集合 Z のスパarsity を活用し、対数的および指数的境界を用いてインデックスと次元の成長を制御する。

実験結果

リサーチクエスチョン

• RQ1 有限生成で無限次元のニル代数の最小可能なGelfand-Kirillov次元は何か？
• RQ2 多項式的または二次的成長を示すニル代数が無限次元になり得るか？
• RQ3 有限提示でニル的だがニルポテンシャルでないニル代数は存在するか？
• RQ4 Gelfand-Kirillov次元が2であるニル代数の存在が、ニルポテンシャル性を示唆するか？
• RQ5 このような構成を非可算体へ拡張可能か？

主な発見

• 著者らは、任意の可算体上で、無限次元でGelfand-Kirillov次元が3以下である有限生成ニル代数を構成した。
• この代数は2つの元で生成され、ニル的だがニルポテンシャルでない。これは、GK次元3においてもニル性がニルポテンシャル性を意味しないことを示している。
• 商代数の同次成分の成長は O(n²(log n)⁶) で抑えられ、結果としてGK次元は3以下である。
• 関係をスパarselyで急激に増加する次数に導入することで、イデアル E が十分に大きく、成長を抑えることができた。
• 代数の要素の適切に選ばれた列挙と、インデックスが極めて急速に増加するスパarsely集合 Z を用いることで、この方法は成立する。
• 従来の構成法ではGK次元が20以下にしか達成できなかったが、本結果は、予想される最小成長率に近づける大幅な進展をもたらした。