[論文レビュー] A classification result on prime Hopf algebras of GK-dimension one

Gongxiang Liu|arXiv (Cornell University)|Apr 24, 2018

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

ひとこと要約

本稿は、代数のPI次数に等しい位数の1次元表現の存在、およびこの表現による成分の不変性という2つの条件下で、Gelfand-Kirillov次元1の素Hopf代数を分類する。この分類により、非点的（non-pointed）なGK次元1のHopf代数が新たに得られ、その中には次元24のHopf代数を含む2つの新しい有限次元Hopf代数の系列が含まれ、[9]で提起された問題に対する部分的な答えが得られる。

ABSTRACT

In this paper, we classify all prime Hopf algebras $H$ of GK-dimension one satisfying the following two conditions: 1) $H$ has a 1-dimensional representation of order PI.deg$(H)$ and 2) the invariant components of $H$ with respect to this 1-dimensional representation are domains (see Section 2 for related definitions). As consequences, 1) a number of new Hopf algebras of GK-dimension one are found and some of them are not pointed, 2) we give a partial answer to a question posed by Brown and Zhang and 3) some new kinds of finite-dimensional Hopf algebras are found.

研究の動機と目的

• GK次元1の素Hopf代数を、1次元表現の位数がPI次数に等しく、成分がその表現で不変であるという2つの構造的条件を満たすものとして分類すること。
• 正則性の仮定を緩和することで、GK次元1の素正則Hopf代数の分類を拡張すること。
• GK次元1の非点的Hopf代数の新しい例を同定すること。これは文献において非常に稀な例である。
• GK次元1の素正則Hopf代数の構造に関して[9]で提起された問題に部分的な答えを与えること。
• 次元24の例を含む2つの新しい有限次元Hopf代数の族を構成すること。

提案手法

• 群代数 $\mathbbm{k}\mathbb{Z}_n$ 上のYetter-Drinfeld加群の枠組みを用い、特異的曲線を braided tensor category 内のHopf代数として実現する。
• Nichols代数およびbraided Hopf代数の理論を用いて、GK次元1の素Hopf代数の構造を分析する。
• 1次元表現による不変成分の概念を用いて、代数的構造を制約する。
• 順序付き代数の技術と単項式正則性の議論を用い、$\Lambda(n)$ のような代数の素性を示す。非自明なイデアルが単項式を含むべきであることを示す。
• 公式 $\text{PI-deg}(\Lambda(n)) = 2^{m+1}$ を用い、$\Lambda(n)$ に対して $n = 2(m+1)$ のとき、1次元表現の条件を検証する。
• 1次元表現による左不変成分の構造を分析し、可換でない限り領域でないことを示し、仮説 (Hyp2) の主要な障害を導く。

実験結果

リサーチクエスチョン

• RQ1 特異的既約曲線、たとえばカスプ $y_1^2 = y_2^3$ は、braided category ${}^{\mathbb{Z}_n}_{\mathbb{Z}_n}\mathcal{YD}$ にHopf代数として実現可能か？
• RQ2 1次元表現の位数がPI次数に等しく、成分が領域的であるという条件を満たすGK次元1の素Hopf代数は、すべて分類可能か？
• RQ3 1次元表現が領域的成分を不変にする（Hyp2）という性質は、その表現の位数がPI次数に等しい（Hyp1）という性質と同値か？
• RQ4 既知の例を超えて、GK次元1の非点的Hopf代数を新たに構成可能か？
• RQ5 すべてのGK次元1の素Hopf代数は、正確な列 $\mathbbm{k} \to \text{alg.gp} \to H \to \text{f.d. Hopf} \to \mathbbm{k}$ の形に含まれるか？

主な発見

• 本稿は、非点的であるGK次元1の素Hopf代数の新しいクラスを構成し、その中には次元24の有限次元Hopf代数も含まれる。
• カスプ $y_1^2 = y_2^3$ 上に新しいHopf代数構造を、braided category ${}^{\mathbb{Z}_6}_{\mathbb{Z}_6}\mathcal{YD}$ に実現した例を同定した。
• 代数 $\Lambda(n)$ のPI次数は、$n = 2(m+1)$ のとき $2^{m+1}$ に等しいことが計算され、分類における1次元表現条件が確認された。
• 分類結果により、1次元表現による不変成分が領域であるのは特定の構造的制約のもとでのみであり、一般には領域ではないことが示された。
• 本稿は、[9]で提起された問題に対して部分的な答えを提供した。すなわち、与えられた仮定のもとで、GK次元1の素正則Hopf代数の分類が非正則の場合へ拡張可能であることを示した。
• 本稿のすべての例について、その予想が正当であることが確認された：すべてのこのようなGK次元1の素Hopf代数は、可換な正規Hopf部分代数の有限次元拡張である、すなわち可換的有限（commutative-by-finite）である。