[論文レビュー] Categorical construction of A,D,E root systems

Alexander Kirillov, Jaimal Thind|arXiv (Cornell University)|Jul 15, 2010

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

ひとこと要約

本稿では、翻訳関手 $\tilde{\Gamma}$ と 2-周期的三角分解カテゴリ $\mathcal{C} = D/\langle T^2 \rangle$ を用いて、単純根系 A, D, E の正規化され、方向に依存しない圏的構成を提示する。根は $\mathcal{C}$ 内の分解不能対象の同型類として実現され、エラー形式を介して内積と根格子が定義される。主な結果は、前正則代数の周期性性質であり、Coxeter数 $h$ を用いて $2h$ の翻訳による正規化された Coxeter 元が得られる。

ABSTRACT

Let Γbe a Dynkin diagram of type A,D,E and let R denote the corresponding root system. In this paper we give a categorical construction of R from Γ. Instead of choosing an orientation of Γand studying representations of the associated quiver, we study representations of a canonical quiver \Gammahat associated to Γ. This construction is very closely related to the preprojective algebra of Γ. In particular, the construction gives a certain periodicity result about the preprojective algebra.

研究の動機と目的

• 圏論を用いて A, D, E 根系の正規化され、方向に依存しない構成を提供すること。
• 標準的な根系構成におけるクーヴァーの方向や単純根への任意の選択の依存を排除すること。
• 根が三角分解カテゴリ内の分解不能対象に一致する圏的枠組みを確立し、明示的な内積および根格子構造を備えること。
• Dynkin 場合における前正則代数の Koszul コンプレックスの周期性結果を証明し、Coxeter 数と関連付けること。

提案手法

• Dynkin 図形 $\Gamma$ から、$\tilde{\Gamma} \subset \Gamma \times \mathbb{Z}$ として翻訳クーヴァーを構成し、導来カテゴリ $D(\tilde{\Gamma})$ のフル部分カテゴリとして三角分解カテゴリ $D$ を定義する。
• カテゴリ $D$ の Auslander-Reiten クーヴァーを用いて、分解不能対象を $\tilde{\Gamma}^{\text{op}}$ の頂点と特定し、前正則代数を介してメッシュカテゴリと関連付ける。
• 翻訳関手 $T$ を用いて、$\mathcal{C} = D / T^2$ として 2-周期的三角分解カテゴリを定義する。
• 任意の高さ関数 $h$ に対して、$\mathcal{C}$ と $D^b(\text{Rep}(\Gamma, \Omega_h))/T^2$ の導来カテゴリとの同倣を確立し、BGP 反射関手と整合性を保つ。
• 前正則代数の Koszul コンプレックスの図的記述を用い、$\tilde{\Gamma}$ 内の「ジャンプ」を伴うパスとして要素を可視化し、$\text{RHom}$ コンプレックスを計算する。
• カテゴリ $\mathcal{C}$ が $X \mapsto X(-2)$ で与えられる正規化された Coxeter 元 $C$ を持ち、$C^{2h} = \text{id}$ であることを証明する。これは Coxeter 数 $h$ を反映している。

実験結果

リサーチクエスチョン

• RQ1 A, D, E 根系の正規化され、方向に依存しない構成が圏論によって達成可能か。
• RQ2 Dynkin 場合における前正則代数の Koszul コンプレックスはどのように周期性を示すか。
• RQ3 翻訳クーヴァー $\tilde{\Gamma}$ 及びその導来カテゴリは、根を分解不能対象として実現するためにどのように機能するか。
• RQ4 2-周期的商カテゴリ $\mathcal{C} = D/T^2$ 内で Coxeter 元はどのように圏論的に実現されるか。
• RQ5 Grothendieck 群上のエラー形式および内積は、$\tilde{\Gamma}^{\text{cyc}}$ 上のパス代数の観点から明示的に記述可能か。

主な発見

• カテゴリ $\mathcal{C} = D/T^2$ は 2-周期的であり、$T^2 = \text{id}$ を満たし、すべての対象 $F$ に対して $F(2h) \cong F$ が成り立つ。ここで $h$ は Coxeter 数である。
• カテゴリ $\mathcal{C}$ の Grothendieck 群 $K$ は根格子と同型であり、分解不能クラスの集合 $\text{Ind} \subset K$ は A, D, E 根系の根と一対一対応する。
• Coxeter 元 $C$ は関手 $X \mapsto X(-2)$ として実現され、Auslander-Reiten クーヴァー $\tilde{\Gamma}^{\text{cyc}}$ 上では翻訳 $\tau: (i,n) \mapsto (i,n+2)$ として作用する。
• $K$ 上の内積は $(X,Y) = \langle X,Y \rangle_C + \langle Y,X \rangle_C$ で与えられ、ここで $\langle X,Y \rangle_C = \dim \text{RHom}(X,Y)$ はエラー形式である。
• カテゴリ $\mathcal{C}$ は Serre 対称性を満たす：$\text{Hom}(X,Y) \cong (\text{Ext}^1(Y,X(-2)))^*$ であり、$\text{Hom}(X_q,X_{q'}) \cong \text{Path}(q',q)/J$ が成り立ち、$J$ は明示的に記述されたイデアルである。
• 周期性結果が成り立つ：$A_{i,j;l}^{\bullet+2} \simeq A_{i,j;l+2h}^{\bullet}$ であり、$H^k(A_{i,j;l}) \cong H^{k+2}(A_{i,j;l+2h})$ が成り立つ。これは Dynkin 場合における前正則代数の $2h$-周期性を反映している。