[論文レビュー] A Frobenius-Schur theorem for Hopf algebras

V. Linchenko, Susan Montgomery|ArXiv.org|Apr 14, 2000

Algebraic structures and combinatorial models参考文献 8被引用数 45

ひとこと要約

この論文は、特性 0 または p≠2 の代数的に閉じた体上の有限次元半単純ホイッパー代数へ、古典的フロベニウス＝シュール定理を一般化する。可約な特徴のためのシュール指標 ν₂(χ) を導入し、ν₂(χ) ∈ {−1, 0, 1} が成り立つことを証明する。ν₂(χ)≠0 であることは、対応する加群が自己双対であることと同値であり、余計の反対作用素 S のトレースは、ν₂(χ) と χ の次元の積の和に等しい。これは、不変形式を持つホイッパー代数への群論的結果の拡張である。

ABSTRACT

In this note we prove a generalization of the Frobenius-Schur theorem for finite groups for the case of semisimple Hopf algebra over an algebraically closed field of characteristic 0. A similar result holds in characteristic $p > 2$ if the Hopf algebra is also cosemisimple. In fact we show a more general version for any finite-dimensional semisimple algebra with an involution.

研究の動機と目的

• 有限群の古典的フロベニウス＝シュール定理を、特性 0 または p≠2 の代数的に閉じた体上の半単純ホイッパー代数へ拡張すること。
• 一般化されたべき写像と積分を用いて、半単純ホイッパー代数の可約特徴の一般化されたシュール指標 ν₂(χ) を定義すること。
• ν₂(χ) = 1、−1、または 0 であることを確立し、対応する加群の自己双対性によって ν₂(χ)≠0 である条件を特徴づけること。
• ホイッパー代数の反対作用素 S のトレースが、可約特徴の ν₂(χ) とその次元の積の和に等しいことを示すこと。
• 関数 χ(h) ↦ ∑(h)χ(h₁h₂) が一般には二つの特徴の差ではないことを調査し、反例を提示すること。

提案手法

• ホイッパー代数における (m−1) 回の余乗法を用いて、一般化されたべき写像 h^{[m]} = ∑(h) h₁⋯hₘ を定義する。
• ε(Λ) = 1 を満たす正規化された積分 Λ ∈ ∫H を用いて、νₘ(χ) = ∑(Λ) χ(Λ₁⋯Λₘ) を定義し、群特徴和の一般化とする。
• 反対作用素 S を用いて双対加群 V* に H-作用を導入し、χ_{V*} = χ_V ∘ S となるようにする。
• λ を正則特徴とするとき、<a|b> = λ(ab) により H 上に非退化な対称双一次形式を構成し、双対基底を用いて ν₂(χ) を加群不変量と関連付ける。
• ν₂(χ) = 1（それぞれ −1）であることは、V_χ が非退化な H-不変対称（それぞれ反対称）双一次形式をもつことと同値であることを証明する。
• 与えられた条件下で S² = id が成り立つことと、半単純ホイッパー代数の構造を用いて、対合を伴う代数に関する結果に問題を還元する。

実験結果

リサーチクエスチョン

• RQ1 有限群の古典的フロベニウス＝シュール定理は、特性 0 または p≠2 の代数的に閉じた体上の半単純ホイッパー代数へ一般化可能か？
• RQ2 ホイッパー代数の文脈において、シュール指標 ν₂(χ) の正しい類似物は何か？ そして、加群の自己双対性および不変形式とどのように関係するか？
• RQ3 関数 χ^{(2)}(h) = ∑(h)χ(h₁h₂) は、群の場合と同様に一般には二つの特徴の差の形をとるか？
• RQ4 ホイッパー代数の文脈において、反対作用素 S の H 上のトレースは、可約特徴の ν₂(χ)χ(1_H) の和とどのように関係するか？
• RQ5 群の場合と同様に、『実数値の』特徴を定義するための自然な方法は存在するか？

主な発見

• 特性 0 または p≠2 の代数的に閉じた体上の半単純ホイッパー代数 H の任意の可約特徴 χ に対して、シュール指標 ν₂(χ) は {−1, 0, 1} に値をとる。
• ν₂(χ) ≠ 0 であることは、対応する H-加群 V_χ がその双対 V_χ* と同型であることと同値であり、ν₂(χ) = 1（それぞれ −1）であることは、V_χ が非退化な対称（それぞれ反対称）の H-不変双一次形式をもつことと同値である。
• 反対作用素 S の H 上のトレースは、∑_{χ∈Irr(H)} ν₂(χ)χ(1_H) に等しく、これは群論的公式 1 + t = ∑ ν₂(χ)χ(e_G) の一般化である。ここで t は対合の数を表す。
• 関数 χ^{(2)}(h) = ∑(h)χ(h₁h₂) は一般には二つの特徴の差ではない。これは、H = kQ₂#^αkC₂ を用いた反例によって示された。
• 一般化されたシュール指標 ν₂(χ) は、加群上の双一次形式を用いて定義された指標と一致し、正則トレース形式に関して双対基底の存在に依存する。
• この結果は、H が半単純であり、char(k) = p > 2 のとき H* が半単純であるという条件下で成り立つ。このとき S² = id が成り立ち、対合を伴う代数の枠組みへの適用が可能になる。