[論文レビュー] Primitive Cohomology of Hopf algebras

D.-G. Wang, J.J. Zhang+1 more|arXiv (Cornell University)|Nov 17, 2014

Algebraic structures and combinatorial models参考文献 30被引用数 3

ひとこと要約

本稿は、基になる余代数上の修正されたcobar複体を用いて、ホップ代数の原始的コホモロジーを導入し、Gelfand-Kirillov次元2の非局所PIで点付きのホップ代数の整域およびすべてのランク1の点付きホップ代数を分類する。主な貢献は、これらのクラスの完全な分類であり、余代数的構造から導かれるコホモロジック的不変量を通じて、新たなホップ代数の族を同定することにある。

ABSTRACT

Primitive cohomology of a Hopf algebra is defined by using a modification of the cobar construction of the underlying coalgebra. Among many of its applications, two classifications are presented. Firstly we classify all non locally PI, pointed Hopf algebra domains of Gelfand-Kirillov dimension two; and secondly we classify all pointed Hopf algebras of rank one. The first classification extends some results of Brown, Goodearl and others in an ongoing project to understand all Hopf algebras of low Gelfand-Kirillov dimension. The second generalizes results of Krop-Radford and Wang-You-Chen which classified Hopf algebras of rank one under extra hypothesis. Properties and algebraic structures of the primitive cohomology are discussed.

研究の動機と目的

• 無限次元ホップ代数の研究のため、ホップ代数の余代数的構造に基づくコホモロジック的不変量（原始的コホモロジー）を定義する。
• Gelfand-Kirillov次元2の非局所PIで点付きのホップ代数の整域をすべて分類する。
• 生成元としてグロープライクおよびスケュー原始的元を仮定しない条件下で、ランク1のすべての点付きホップ代数を分類する。
• 主な分類の証明に用いられる、ホップ代数の主要な族に対して原始的コホモロジーを明示的に計算する。

提案手法

• 原始的コホモロジーは、特別な1次元双加法的加群を係数に持つ、余代数のホッフコホモロジーとして定義される。これは一般化されたcobar複体を用いて構成される。
• この構成は、基になる余代数のcobar複体を用い、グロープライクおよびスケュー原始的元を組み込むように修正されている。
• 論文では、余代数的構造に由来するcocommutativeホップ部分代数 $ K $ が、コホモロジーリング $ rak{P}_D(H) $ に左随伴作用を誘導し、テンソル複体への作用を通じて定義される。
• 主なホップ代数の族、特に $ U(rak{g}) $、$ A(n,q) $、$ C(n) $、および $ E_G $、$ F_G $、$ L_G $ などの新しい族に対して、重要な計算が行われている。
• 分類定理は、特に $ rak{P}^1_{g,h}(C) $ の消滅または非消滅を詳細に計算することに依存しており、これにより代数的構造の区別がなされる。
• コホモロジック的障害を用いて、有限生成またはPI構造をもたないホップ代数を低GK次元および低ランクの設定で分類する。

実験結果

リサーチクエスチョン

• RQ1 GK次元2の非局所PIで点付きのホップ代数の整域は、どのようなものがあり、それらを余代数的コホモロジック的不変量を用いて完全に分類できるか？
• RQ2 グロープライクおよびスケュー原始的元による生成を仮定しない条件下で、ランク1の点付きホップ代数のクラスを完全に分類できるか？
• RQ3 原始的コホモロジーは、低GK次元および低ランクのホップ代数を区別する上で果たす役割は何か？
• RQ4 原始的コホモロジーは、非PI性や非局所有限生成性といった構造的特徴をどのように検出するか？
• RQ5 一般化されたランク1分類から新たに出現するホップ代数の族は何か？ それらの定義的コホモロジック的性質は何か？

主な発見

• GK次元が3未満の非局所PIで点付きのホップ代数の整域は、すべて次のいずれかに同型である：2次元可解リー代数の普遍包あらわし $ U(rak{g}) $、$ n>0 $ かつ $ q $ が単位根でないときの $ A(n,q) $、または $ n\neq 1 $ のときの $ C(n) $。
• ランク1の点付きホップ代数の分類には9つの同型類が含まれており、それらには $ E_G $、$ F_G $、$ L_G $、$ N_G $、$ O_G $、$ P_G $、$ Q_G $ など、従来分類されていなかった新しい族が含まれる。
• 原始的コホモロジー $ rak{P}^1_{g,h}(C) $ は、商 $ P_{h,g}/k(g-h) $ に同型であり、特定の代数的構造に対するコホモロジック的障害を提供する。
• cocommutativeホップ部分代数 $ K $ がコホモロジーリング $ rak{P}_D(H) $ に誘導する左随伴作用は微分と可換であり、$ \text{ad}_l(a)(\text{d}(x)) = \text{d}(\text{ad}_l(a)(x)) $ を満たす。これはコホモロジカル構造にとって不可欠である。
• 主な族における $ \frak{P}^n_{g,h}(C) $ の計算は、分類定理の証明の中心的役割を果たしており、特に非PI性および非局所有限生成構造の検出に寄与する。
• 論文は、原始的コホモロジーが、ホモロジカル的および代数的制約と組み合わせることで、低GK次元および低ランクのホップ代数の分類に強力な不変量であることを確立している。