[論文レビュー] Algebras Generated by Elements with Given Spectrum and Scalar Sum and Kleinian Singularities

Anton Mellit|ArXiv.org|Jun 7, 2004

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

ひとこと要約

本稿は、指定されたスペクトルを持つ要素で生成される代数とスカラー和の代数、および変形された前射影代数のべき等元切断との間の正確な同型を確立する。この代数の中心は、Klein特異点の座標環の変形と同型であり、代数が満たす多項式恒等式の最小次数も特定する。

ABSTRACT

For a certain class of (nonunital) subalgebras of deformed preprojective algebra of affine type we describe their centers as certain deformation of Kleinian singularity and find their PI-degree. These results can be applied to algebras generated by elements with given spectrum and scalar sum.

研究の動機と目的

• 非可換な要素に対する多項式的制約で定義される代数と変形された前射影代数との間の構造的関係を確立すること。
• 拡大ディンキン・クイバー $Q$ および最小虚根 $\delta$ に直交する重み $\lambda$ に対して、idempotent 切断 $e_i π^\lambda(Q)e_i$ の中心を分析すること。
• $e_i π^\lambda(Q)e_i$ で成り立つ標準的恒等式の最小次数 $k$ を特定すること。
• 星型クイバーで中心頂点 $c$ を持つ場合、代数 $A_{P_1,\dots,P_n;\mu}$ が $e_c \tilde{\u03a0}^\lambda(Q)e_c$ の特別な場合であることを示すこと。
• $e_i \tilde{\u03a0}^\lambda(Q)e_i$ の中心が $\mathcal{O}^\lambda(Q)$ と同型であることを示すこと。ここで $\mathcal{O}^\lambda(Q)$ はKlein特異点の座標環の変形である。

提案手法

• 多項式 $P_i$ の根に対応する頂点と中心頂点 $c$ を持つクイバー $Q(A)$ を構成し、各根頂点を次々と $c$ へ向かって鎖状に接続する矢印を設ける。
• 双対クイバーのパス代数を、関係式 $\sum_{a} [a,a^*] = \lambda$ で商取ることにより、変形された前射影代数 $\tilde{\u03a0}^\lambda(Q)$ を定義する。
• 多項式 $P_i$ の根の差に基づいて頂点に重み $\lambda$ を割り当て、$\lambda_c = \mu$ とし、$\lambda$ が最小虚根 $\delta$ に直交するように保証する。
• 帰納法とパス代数の分解を用いて、写像 $x_i \mapsto a_{i1}a_{i1}^*$ を通じて $e_c \tilde{\u03a0}^\lambda(Q)e_c$ が $A_{P_1,\dots,P_n;\mu}$ と同型であることを示す。
• 標準的フィルトレーションに関する付随する次数代数を分析することで、中心写像 $\phi_\lambda^i$ の全射性と単射性を証明する。
• 変形された前射影代数およびその中心の理論を適用し、$\mathcal{O}^\lambda(Q)$ がKlein特異点の座標環の変形であることを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられたスペクトルと固定されたスカラー和を持つ代数は、変形された前射影代数とどのように関係しているか？
• RQ2 $Q$ が拡大ディンキン図形で $\lambda \perp \delta$ のとき、$e_i \tilde{\u03a0}^\lambda(Q)e_i$ の中心の構造は何か？
• RQ3 $e_i \tilde{\u03a0}^\lambda(Q)e_i$ で成り立つ標準的恒等式の最小次数 $k$ は何か？
• RQ4 代数 $A_{P_1,\dots,P_n;\mu}$ が星型クイバー $Q$ に対して $e_c \tilde{\u03a0}^\lambda(Q)e_c$ と同型であるための条件は何か？
• RQ5 $\mathcal{O}^\lambda(Q)$、すなわち $e_i \tilde{\u03a0}^\lambda(Q)e_i$ の中心は、Klein特異点の座標環の変形と同型か？

主な発見

• $A_{P_1,\dots,P_n;\mu}$ は、多項式 $P_i$ の根に基づく重み割り当てのもとで、中心頂点 $c$ を持つ星型クイバー $Q$ に対して $e_c \tilde{\u03a0}^\lambda(Q)e_c$ と同型である。
• $e_i \tilde{\u03a0}^\lambda(Q)e_i$ の中心は $\mathcal{O}^\lambda(Q)$ と同型であり、これは拡大ディンキン図形 $Q$ に対応するKlein特異点の座標環の変形である。
• $e_i \tilde{\u03a0}^\lambda(Q)e_i$ で成り立つ標準的恒等式の最小次数 $k$ は $k = 2\delta_i$ である。ここで $\delta_i$ は最小虚根 $\delta$ の $i$ 番目の成分である。
• 写像 $\phi_\lambda^i: \mathcal{O}^\lambda(Q) \to e_i \tilde{\u03a0}^\lambda(Q)e_i$ は、次数代数の同型であり、付随する次数写像 $\phi_0^i$ は全射である。
• $e_c \tilde{\u03a0}^\lambda(Q)e_c$ の同型型は、多項式 $P_i$ の根の順序に依存せず、対称的な重み割り当てのおかげで決定される。
• 鎖クイバー $C_n$ に対して、代数 $R^\lambda_n$ は $\mathbb{C}[x]/P(x)$ と同型であり、ここで $P(x)$ は $\lambda_i$ の累積和に基づく一次多項式の積である。これにより、切断の構造が確認される。