[論文レビュー] Derived Picard groups of preprojective algebras of Dynkin type

Yuya Mizuno|arXiv (Cornell University)|Sep 11, 2017

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

ひとこと要約

本稿は、Weyl群の簡約表現および拡張された前射影的代数を用いて、Dykin型の前射影的代数の基本的な両側ティルティング複体のクラスを構成する。導来Picard群と折りたたみグラフのブレッド群との間の同型を確立し、すべてのティルティング複体がこれらの生成子の導来テンソル積として得られることを示し、A型およびD型について導来Picard群を完全に特定する。

ABSTRACT

In this paper, we study two-sided tilting complexes of preprojective algebras of Dynkin type. We construct the most fundamental class of two-sided tilting complexes, which has a group structure by derived tensor products and induces a group of auto-equivalences of the derived category. We show that the group structure of the two-sided tilting complexes is isomorphic to the braid group of the corresponding folded graph. Moreover we show that these two-sided tilting complexes induce tilting mutation and any tilting complex is given as the derived tensor products of them. Using these results, we determine the derived Picard group of preprojective algebras for type $A$ and $D$.

研究の動機と目的

• 拡張された前射影的代数およびWeyl群の元を用いて、Dykin型の前射影的代数の基本的な両側ティルティング複体のクラスを構成すること。
• 導来Picard群と折りたたみグラフのブレッド群との間の群同型を確立すること。
• すべてのティルティング複体がこれらの基本的両側ティルティング複体の導来テンソル積として得られることを示すこと。
• 構築された枠組みを用いて、A型およびD型について導来Picard群を明示的に特定すること。
• ティルティング変形と導来テンソル積の構造が、導来Picard群全体を生成する役割を果たすことの解明。

提案手法

• Weyl群における簡約表現 $ t_i $ に関連するティルティング加群 $ \tilde{I}_{t_i} $ を用いて、導来テンソル積 $ \tau^{\text{≥-1}}(\text{Λ} \mathop{\text{L}}\to_{\tilde{Λ}} \tilde{I}_{t_i} \mathop{\text{L}}\to_{\tilde{Λ}} \text{Λ}) $ により両側ティルティング複体 $ T_i $ を定義する。
• Nakayamaの置換 $ \iota $ を用いて、$ \Delta $ の辺構造に応じて $ t_i $ を $ s_i $、$ s_i s_{\iota(i)} s_i $、または $ s_i s_{\iota(i)} $ として定義する。
• 導来テンソル積 $ \mathop{{\otimes}^\mathbf{L}}\nolimits_\Lambda $ に関して、$ \langle T_i \mid i \in \Delta_0^f \rangle $ を群として構成し、両側ティルティング複体の群を形成する。
• 写像 $ a \mapsto T_a = T_{i_1}^{\epsilon_{i_1}} \mathop{{\otimes}^\mathbf{L}}\nolimits \cdots \mathop{{\otimes}^\mathbf{L}}\nolimits T_{i_k}^{\epsilon_{i_k}} $ が、ブレッド群 $ B_{\Delta^f} $ から $ \langle T_i \rangle $ への群同型を与えることを証明する。
• この同型を用いて、すべてのティルティング複体がこのような導来テンソル積として得られ、かつ導来Picard群がこれらの $ T_i $ で生成されることを示す。
• A型およびD型の分類を完成させるために、自己同型を解析し、因子分解技法および明示的な上への持ち上げ $ \tilde{u}, \tilde{v} \in \text{Aut}(\tilde{\Lambda}) $ を用いて、拡張された前射影的代数に自己同型を持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 Dykin型の前射影的代数に対して、基本的な両側ティルティング複体のクラスをどのように構成できるか？
• RQ2 Dykin型の前射影的代数の導来Picard群の群構造は何か？
• RQ3 ティルティング変形は、両側ティルティング複体の導来テンソル積構造とどのように関係するか？
• RQ4 この構成を用いて、A型およびD型の導来Picard群を完全に特定できるか？
• RQ5 折りたたみグラフのブレッド群と導来Picard群の間の関係は何か？

主な発見

• A型の前射影的代数の導来Picard群は、対応する折りたたみグラフのブレッド群と同型である。
• D型についても、導来Picard群は折りたたみグラフのブレッド群と同型であり、構築された両側ティルティング複体を通じてこの同型が実現される。
• $ \mathsf{D}^b(\mathsf{mod}\Lambda) $ 内のすべての基本的ティルティング複体が、基本的両側ティルティング複体 $ T_i $ の導来テンソル積として得られることを確認し、それらが導来Picard群を生成することを裏付ける。
• 両側ティルティング複体の群は、$ \Lambda $ 上の導来テンソル積を乗法として持つブレッド群 $ B_{\Delta^f} $ と同型である。
• 各 $ i \in \Delta_0^f $ に対して、$ \sigma^{\geq -1}(\Lambda \mathop{{\otimes}^\mathbf{L}}\nolimits_{\tilde{\Lambda}} \tilde{I}_{t_i} \mathop{{\otimes}^\mathbf{L}}\nolimits_{\tilde{\Lambda}} \Lambda) $ を用いた $ T_i $ の構成は、各 $ i $ に対して適切に定義された両側ティルティング複体をもたらす。
• 前射影的代数の自己同型群は拡張された前射影的代数に持ち上がり、導来Picard群の構造を保つ成分に自己同型を因子分解することが可能になる。