[論文レビュー] The algebra of discrete torsion

Ralph M. Kaufmann|ArXiv.org|Aug 9, 2002

Finite Group Theory Research参考文献 8被引用数 5

ひとこと要約

本稿は、$G$-Frobenius代数における離散的ねじれが、捩れた群環とのテンソル積を通じて$H^2(G, k^*)$の普遍的群作用として生じることを確立し、射影的表現に類似した代数的実現を提供する。主な貢献は、すべての離散的ねじれの定義がこの作用を通じて統一されることを示したことである。この作用は、元の線形構造を保ち、2-コサイクルから導かれる双線形字（bi-character）によって、分配関数を正しく変換する。

ABSTRACT

We analyze the algebraic structures of G--Frobenius algebras which are the algebras associated to global group quotient objects. Here G is any finite group. These algebras turn out to be modules over the Drinfeld double of the group ring k[G]. We furthermore prove that discrete torsion is a universal group action of H^2(G,k^*) on G--Frobenius algebras by isomorphisms of the underlying linear structure. These morphisms are realized explicitly by taking the tensor product with twisted group rings. This gives an algebraic realization of discrete torsion and allows for a treatment analogous to the theory of projective representations of groups, group extensions and twisted group ring modules. Lastly, we identify another set of discrete universal transformations among G--Frobenius algebras pertaining to their super--structure and classified by Hom(G,Z/2Z).

研究の動機と目的

• 離散的ねじれの異なる定義を、単一の代数的枠組みの下に統一すること。
• 離散的ねじれが、捩れた群環とのテンソル積を通じて$G$-Frobenius代数上で普遍的に作用することを示すこと。
• 離散的ねじれと射影的群表現および捩れた群代数の理論との類似性を確立すること。
• $\mathbb{Z}/2\mathbb{Z}$-次数構造に関連する第二の離散的変形類を特定すること。このクラスは$\mathrm{Hom}(G, \mathbb{Z}/2\mathbb{Z})$によって分類される。

提案手法

• Yetter–Drinfeld条件を満たす$k[G]$-加群代数として$G$-Frobenius代数を定義し、これによりDrinfeld双対$D(k[G])$の加群としての構造を備える。
• $\tau \in Z^2(G, k^*)$に対し、捩れた群環$k^\tau[G]$とのテンソル積を用いて$H^2(G, k^*)$の作用を構成する。
• このテンソル積作用が代数的構造を保存することを示し、$\epsilon \in H^1(G, k^*[G])$である双線形字$\epsilon(g,h)$が2-コサイクル$\alpha$から導かれることを示す。
• アーベル群$H$による$G$の中心拡大$G^\alpha$を用いた一般化された構成を導入し、$A^\alpha = A \#_\alpha k[H]$を$G^\alpha$-Frobenius代数として定義する。
• $\chi \in \mathrm{Hom}(H, k^*)$によって誘導される押し下げ写像を用いて、$\alpha \in H^2(G, k^*)$によるねじれ$A_\alpha$が$A^\alpha$へと持ち上がることを示し、$(A^\alpha)^\chi \simeq A_\alpha$が成り立つことを示す。
• コサイクル$\beta \in H^2(G, H^2(G, k^*))$を持つ普遍的拡大$G^*$を用いて、任意のねじれ$A_\alpha$が$A^\beta$の成分へ持ち上がることを示す。

実験結果

リサーチクエスチョン

• RQ1 離散的ねじれは、$G$-Frobenius代数上でどのように普遍的な代数的作用として実現可能か？
• RQ2 $H^2(G, k^*)$が、捩れた群環とのテンソル積を通じて$G$-Frobenius代数上でどのように作用するか、その正確な代数的メカニズムは何か？
• RQ3 この作用は、分配関数における双線形字$\epsilon(g,h)$の期待される振る舞いをどのように再現するか？
• RQ4 離散的ねじれの理論は、射影的表現および捩れた群代数の理論と同等の位置付けに置けるか？
• RQ5 $\mathbb{Z}/2\mathbb{Z}$-次数構造は、$G$-Frobenius代数の変形理論において果たす役割は何か？

主な発見

• 離散的ねじれは、$k^\tau[G]$とのテンソル積を通じて$H^2(G, k^*)$の普遍的作用として$G$-Frobenius代数上に実現され、元の線形構造を保つ。
• この作用は、$\alpha \in Z^2(G, k^*)$から導かれる1-コサイクル$\epsilon \in H^1(G, k^*[G])$として双線形字$\epsilon(g,h)$を正しく再現し、分配関数において係数として現れる。
• 射影的表現と類似の完全な類似性が確立される：捩れた群代数が射影的表現を分類するように、捩れた$G$-Frobenius代数は離散的ねじれの変形を分類する。
• 任意の中心拡大$G^\alpha$と$\chi \in \mathrm{Hom}(H, k^*)$に対して、$G^\alpha$-Frobenius代数$A^\alpha = A \#_\alpha k[H]$はねじれ$A_\alpha$を持ち上げられ、$(A^\alpha)^\chi \simeq A_\alpha$が成り立つ。
• コサイクル$\beta \in H^2(G, H^2(G, k^*))$を持つ普遍的拡大$G^*$を用いて、任意のねじれ$A_\alpha$が$A^\beta$の成分へ持ち上がることが保証され、$A^\beta \simeq \bigoplus_{\alpha \in T} A^\alpha$（$B^2(G, k^*)$における$Z^2(G, k^*)$の横断集合$T$をとる）が成り立つ。