[論文レビュー] Certain Examples of Deformed Preprojective Algebras and Geometry of Their *-Representations

Anton Mellit|ArXiv.org|Feb 2, 2005

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

ひとこと要約

本稿では、D₄、E₆、E₇、E₈の拡張ディンキン図形に関連する*-代数のC*-包あらわしを、有限群作用に関して不変な球面上の連続行列値関数としての代数として実現することにより、それらのC*-包代数を構成する。変形された前射影的代数とその冪等元切断を用いた統一的な枠組みを確立し、C*-包代数が有限群作用に関して不変な球面上の連続関数値行列代数に同型であることを証明するとともに、局所的副代数の同型が全C*-代数の同型を導くことを示している。

ABSTRACT

We consider algebras $e_i Π^λ(Q) e_i$ obtained from deformed preprojective algebra of affine type $Π^λ(Q)$ and an idempotent $e_i$ for certain concrete value of the vector $λ$ which corresponds to the traces of $-1\in SU(2, C)$ in irreducible representations of finite subgroups of $SU(2, C)$. We give a certain realization of these algebras which allows us to construct the $C^*$-enveloping algebras for them. Some well-known results, including description of four projections with sum 2 happen to be a particular case of this picture.

研究の動機と目的

• 拡張ディンキン図形D₄、E₆、E₇、E₈に関連する*-代数のC*-包代数を統一的に構成すること。
• これらのC*-代数を、有限群作用に関して不変な球面上の連続行列値関数として実現すること。
• 局所的副代数における同型が、全C*-代数の同型を導く基準を確立すること。
• 2を和とする射影の既知の結果を、一様な代数的・幾何的枠組みを用いて高ランクの場合に一般化すること。

提案手法

• 本稿では、アフィン型のクイバーQに対して変形された前射影的代数Π^λ(Q)を用い、特にSU(2)表現における-1のトレースに関連する特定のλ値に注目する。
• 中心的頂点iに対してe_iΠ^λ(Q)e_iの切断を考察し、自己随伴元から生成される*-代数を得る。この代数のスペクトルはλパrameterによって制約を受ける。
• スペクトル条件はモニック多項式P_i(t) = ∏(t - α_ij)を用いて符号化され、生成子がP_i(x_i) = 0および∑x_i = μeを満たすことを保証する。
• C*-包代数は、クイバーの対称性から導かれる有限群作用に関して不変な2次元球面上の連続関数値行列代数として実現される。
• 局所的行列代数M_Pにおける点Pでの相互作用条件を満たす連続写像t: F → SU(H)の間のモルフィズム理論を構築する。
• 全C*-代数の同型は、連続的かつフレームを保存する写像tを構成し、それによって*-同型を誘導することで証明され、SU(H)の単連結性と局所的演算子の可換性に依拠する。

実験結果

リサーチクエスチョン

• RQ1 4つの自己随伴射影の和が2である*-代数A_{D₄}のC*-包代数を幾何的にどのように実現できるか？
• RQ2 A_{E₆}、A_{E₇}、A_{E₈}のC*-包代数について、D₄の場合と同様の均一な構成を与えることは可能か？
• RQ3 変形された前射影的代数とその冪等元切断は、これらのC*-代数を球面上の不変行列関数として実現するために果たす役割は何か？
• RQ4 点A、B、C、A'における局所的副代数M_Pの同型が、全C*-代数の同型を導く条件は何か？
• RQ5 変形された前射影的代数における対合*は、対合的表現および既約表現の分類にどのように関係するか？

主な発見

• A_{D₄}のC*-包代数は、位数8の二面体群に関して不変な2次元球面上の連続行列値関数代数に同型である。
• A_{E₆}、A_{E₇}、A_{E₈}について、C*-包代数はそれぞれ2次元球面上の連続行列値関数として実現され、それぞれ二面体的四面体群、二面体的八面体群、二面体的二十面体群に関して不変である。
• この構成により、特定のλ値を持つ星型クイバーについてe_cΠ^λ(Q)e_cの*-代数が、λ_iから導かれるα_ijパrameterに従ってスペクトルが制約を受ける代数を生成することが示された。
• C*-代数の同型は、連続的かつフレームを保存する写像t: F → SU(H)を構成し、それによって局所的行列代数M_Pが相互作用するようにして確立された。この証明はSU(H)の単連結性に依拠している。
• 本稿では、点A、B、C、A'における局所的代数M_P^1とM_P^2が同型であるならば、全C*-代数C^1とC^2も同型であることを証明した。
• この結果により、4つの射影の和が2である既知の事例が一般化され、群不変関数代数を用いた高ランクケースの幾何的実現が得られた。