[論文レビュー] Module Hom-algebras

Donald Yau|ArXiv.org|Dec 26, 2008

Advanced Topics in Algebra参考文献 16被引用数 40

ひとこと要約

本稿では、自己準同型を介して代数的公理が変形される、モジュール代数のねじれ一般化としてのモジュールホム代数を導入する。バイ algebra 上の任意のモジュール代数は、代数的およびバイ algebra 的自己準同型が適合する場合、モジュールホム代数に変形可能であることを証明し、アフィン平面における sl(2)作用の明示的 q-変形を、主要な例として構成する。

ABSTRACT

We study a twisted version of module algebras called module Hom-algebras. It is shown that module algebras deform into module Hom-algebras via endomorphisms. As an example, we construct certain q-deformations of the usual sl(2)-action on the affine plane.

研究の動機と目的

• モジュール代数のホム代数版としてのモジュールホム代数の研究を動機づけ、古典的代数からねじれ代数的系への構造の拡張を図ること。
• 特にホム代数の文脈において、自己準同型によるモジュール代数構造の変形がどのように行われるかを理解する空白を埋めること。
• 作用するバイ algebra と代数の両方における適合する自己準同型を用いて、モジュール代数からモジュールホム代数を体系的に構成するフレームワークを提供すること。
• 多項式環 k[x,y] 上の sl(2)作用の明示的 q-変形を、非自明なモジュールホム代数の例として提示すること。
• 自己準同型によるねじれを介してモジュール代数構造が保存される一般の変形機構を確立することで、ホム代数理論における既知の結果を一般化すること。

提案手法

• ホム結合的代数にホムバイ algebra の作用を備えたモジュールホム代数を定義し、$\alpha_H^2$ を含むねじれたモジュール代数公理を満たすようにする。
• テンソル積上のモジュール作用を再表現するためのねじれ同型 $\tau_{H,A}$ を導入し、$A^{\times 2}$ と $A$ 上のモジュール構造の比較を可能にする。
• 写像 $\rho$ が $A$ に $H$-モジュールホム代数構造を与えるための必要十分条件として、乗法写像 $\mu_A: A^{\times 2} \to A$ が、特定の誘導された $H$-モジュール構造に関して $H$-モジュールの準同型であることを証明する。
• 適合する自己準同型 $\alpha_H$ と $\alpha_A$ を用いて、元の $H$-モジュール代数構造 $\rho$ から新しい $H$-モジュールホム代数構造 $\rho_\alpha = \alpha_A \circ \rho$ を構成する。
• 適合条件 $\alpha_A \circ \rho = \rho \circ (\alpha_H \otimes \alpha_A)$ が、$\rho_\alpha$ がモジュールホム代数公理を満たすことを保証することを検証する。
• 一般構成法を、$\mathbf{k}[x,y]$ 上の sl(2)作用に適用し、$\alpha_A(x) = q^2x$, $\alpha_A(y) = qy$, および $\alpha_L(X) = qX$, $\alpha_L(Y) = q^{-1}Y$, $\alpha_L(Z) = Z$ を定義することで、q-変形されたモジュールホム代数を構成する。

実験結果

リサーチクエスチョン

• RQ1 結合的およびモジュール公理が線形写像によってねじれられるホム代数設定において、モジュール代数の概念をどのように一般化できるか。
• RQ2 バイ algebra $H$ 上の代数 $A$ に定義されたモジュール代数構造が、自己準同型を介してモジュールホム代数構造に変形可能であるための条件は何か。
• RQ3 アフィン平面 $\mathbf{k}[x,y]$ 上の標準的 sl(2)作用は、適合する自己準同型を用いて q-変形可能か。
• RQ4 リー代数の普遍包あらわし代数は、一貫したホムバイ algebra 構造への変形を許すバイ algebra 自己準同型を有するか。
• RQ5 自己準同型 $\alpha_A$ と $\alpha_H$ が適合するとき、合成 $\rho_\alpha = \alpha_A \circ \rho$ がモジュールホム代数構造を保存するための条件は何か。

主な発見

• 本稿では、自己準同型 $\alpha_H$ と $\alpha_A$ が適合する場合、バイ algebra $H$ 上のモジュール代数がモジュールホム代数に変形可能であることを確立した。条件は $\alpha_A \circ \rho = \rho \circ (\alpha_H \otimes \alpha_A)$ である。
• ホム結合的代数 $A_\alpha$ に $H$-モジュールホム代数構造が $\rho_\alpha = \alpha_A \circ \rho$ により構成され、ここで $\alpha_A$ は代数自己準同型、$\alpha_H$ はバイ algebra 自己準同型である。
• q-変形された sl(2)作用は、明示的にモジュールホム代数として実現され、構造写像は $\rho_\alpha(X \otimes P) = q^2x \cdot \partial_y P(q^2x, qy)$ および $Y$, $Z$ について同様の式で与えられる。
• q = 1 のとき、q-変形構造は元の sl(2)モジュール代数に戻り、古典的ケースと整合していることが確認された。
• 普遍包あらわし代数 $U(\mathfrak{sl}(2))$ は、生成元上で $\alpha_U(x) = \alpha_L(x)$ と定義されるバイ algebra 自己準同型 $\alpha_U$ を有し、これにより代数的およびコモジュール構造が保存される。
• $W \in \{X,Y,Z\}$ に対して、$\alpha_A(WP) = \alpha_L(W)\alpha_A(P)$ が検証され、q-変形がモジュールホム代数構造に必要な条件を満たすことが確認された。