[論文レビュー] Hopf algebras under finiteness conditions

Kenneth A. Brown, Paul Gilmartin|ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)|May 16, 2014

Algebraic structures and combinatorial models参考文献 25被引用数 11

ひとこと要約

この論文は、代数的閉体の標数0における、noether性および有限Gelfand-Kirillov（GK）次元という有限性条件の下で、無限次元ホップ代数の構造論の最近の進展を概説する。特に、指標付きおよび連結ホップ代数に焦点を当て、連結ホップ代数が有限GK次元を持つ場合、その一般化としてリー代数の包あらわし代数が得られ、繰り返しホップ・オア・拡張（IHOEs）を用いて構成可能であることが示され、noether性、分類、およびリー代数構造の役割に関する重要な未解決問題が提起されている。

ABSTRACT

This is a brief survey of some recent developments in the study of infinite dimensional Hopf algebras which are either noetherian or have finite Gelfand-Kirillov dimension. A number of open questions are listed.

研究の動機と目的

• 有限性条件（特にnoether性および有限Gelfand-Kirillov（GK）次元）を満たす無限次元ホップ代数の構造論における最近の進展を統合すること。
• これらの有限性条件と、有限生成性、素的・原始的スペクトル、ホップ代数構造といった代数的性質との相関関係を調査すること。
• 有限GK次元の連結ホップ代数の分類および構造的特徴づけを検討し、特にリー代数の包あらわし代数との関係を明らかにすること。
• 繰り返しホップ・オア・拡張（IHOEs）が、有限GK次元の連結ホップ代数の一般化された構成法として果たす役割を調査すること。
• noether性ホップ代数の分類に関する未解決問題を特定・強調すること、特に群代数および無限次元リー代数の包あらわし代数に関するものである。

提案手法

• noether性および有限GK次元ホップ代数に関する最近の文献を調査し、構造的結果と未解決問題に重点を置く。
• 繰り返しホップ・オア・拡張（IHOEs）の理論を応用して、スケュー多項式拡張の鎖を用いて、有限GK次元の連結ホップ代数を構成・分類する。
• 関連する順次代数の構成を用いて、ホップ代数をそのリー代数およびニコルズ代数の類似物と関連づける。特に、指標付きおよび連結の場合に注目する。
• IHOEsにおける反対作用素（antipode）の位数（有限または無限）がホップ代数構造に与える影響を分析する。
• アンドルスキーェヴィッチ＝シュナイダー計画における指標付きホップ代数と、有限GK次元の連結ホップ代数との比較を行い、特に関連する順次代数が次数1で生成される場合に注目する。
• Gelfand-Kirillov次元を用いて成長度を測定し、特にアフィン空間およびユニポテンツ群の変形の文脈でホップ代数を分類する。

実験結果

リサーチクエスチョン

• RQ1 任意の体上のnoether性ホップ代数は常にアフィン代数であるか？（質問D）
• RQ2 どの群Gに対して群代数kGがnoetherianであるか？（質問A）
• RQ3 noetherianであるような無限次元リー代数gが存在するか？（質問C）
• RQ4 代数的閉体の標数0における任意の連結ホップ代数が、有限次元リー代数の包あらわし代数として代数的に同型であるか？（質問L）
• RQ5 IHOEs、包あらわし代数、および余可換ホップ代数とは異なる、有限GK次元の連結ホップ代数の一般化された構成法は存在するか？（質問M）

主な発見

• 標数0の体上のウィットリー代数の包あらわし代数はnoetherianでない。これは、すべての無限次元リー代数の包あらわし代数がnoetherianであるという予想を反証する。
• 最大条件（部分群に関する上昇鎖条件）を満たす群Gであっても、群代数kGがnoetherianでない例が存在する。これはホールの結果の逆が成り立たないことを示している。
• 繰り返しホップ・オア・拡張（IHOEs）は常にnoetherianであり、GK次元は鎖に含まれる拡張の数に等しく、その反対作用素は有限位数または無限位数のいずれかである。
• すべての有限GK次元の連結ホップ代数がIHOEsであるとは限らない。例えば、sl(2,C)の直和に同型でない半単純リー代数の包あらわし代数はIHOEではない。
• 連結ホップ代数の関連する順次代数が次数1で生成されるとき、その代数は余可換であり、かつ有限次元リー代数の包あらわし代数に同型である。
• アンドルスキーェヴィッチ＝シュナイダー計画と有限GK次元の連結ホップ代数のクラスとの共通部分は、標準的余可換コプロダクトを備えた有限次元リー代数の包あらわし代数に限られる。