[論文レビュー] Derived Picard Groups of Finite Dimensional Hereditary Algebras

Jun-ichi Miyachi, Amnon Yekutieli|ArXiv.org|Apr 2, 1999

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

ひとこと要約

この論文は、体 k 上の有限次元半単純代数 A = kΔ に対する導来ピカード群 DPic_k(A) の構造を、無限クiver への忠実な表現を用いて特徴づける。Δ が木であるとき、DPic_k(A) は離散的である。それ以外の場合は、連結な線型代数群を商として含む可能性がある。この群は、D^b(Mod A) の k-線形三角自己同値の全カテゴリに一致し、三角同値を介して非可換空間の導来カテゴリにおける計算が可能になる。

ABSTRACT

Let A be an algebra over a field k, and denote by D^b(Mod A) the bounded derived category of left A-modules. The derived Picard group DPic_k(A) is the group of triangle auto-equivalences of D^b(Mod A) induced by tilting complexes. We study the group DPic_k(A) when A = k Δis the path algebra of a finite quiver Δ. We obtain general results on the structure of DPic_k(A), as well as explicit calculations for many cases, including all finite and tame representation types. Our method is to construct a representation of DPic_k(A) on a certain infinite quiver. This representation is faithful whenΔis a tree, and then DPic_k(A) is discrete. Otherwise a connected linear algebraic group can occur as a factor of DPic_k(A). When A is hereditary, DPic_k(A) coincides with the full group of k-linear triangle auto-equivalences of D^b(Mod} A). Hence we can calculate the group of such auto-equivalences for any triangulated category D equivalent to D^b(Mod A). These include the derived categories of certain noncommutative spaces introduced by Kontsevich-Rosenberg.

研究の動機と目的

• 体 k 上の有限次元半単純代数 A = kΔ に対する導来ピカード群 DPic_k(A) の構造を特定すること。
• 有界導来カテゴリ D^b(Mod A) の k-線形三角自己同値の群を理解すること。
• 有限およびトロピカル表現型を有する代数への DPic_k(A) の計算を拡張すること。
• DPic_k(A) が離散的であるか、または連結な線型代数群を商として含む条件を確立すること。
• 非可換空間の導来カテゴリにおける自己同値の計算フレームワークを、三角同値を介して提供すること。

提案手法

• 経路代数 kΔ に関連する無限クイバーへの DPic_k(A) の表現を構成すること。
• ティルティング複体を用いて D^b(Mod A) 内に三角自己同値を誘導し、これにより DPic_k(A) を生成すること。
• 表現の核と像を分析し、特に Δ が木である場合に忠実であることを特定すること。
• 表現論および導来カテゴリの技法を用いて、クイバーの対称性と群作用の観点から自己同値を分類すること。
• 半単純代数では、DPic_k(A) が D^b(Mod A) の k-線形三角自己同値の全群に一致することを活用すること。
• コンツェビッチ＝ローゼンバーグが導入した非可換空間の導来カテゴリの自己同値を、三角同値を介して計算すること。

実験結果

リサーチクエスチョン

• RQ1 体 k 上の有限次元半単純代数 A = kΔ に対する導来ピカード群 DPic_k(A) の構造は何か？
• RQ2 DPic_k(A) の無限クイバーへの表現が忠実である条件は何か？ これは群の離散性にどのような意味を持つのか？
• RQ3 クイバー Δ にサイクルが存在する場合、DPic_k(A) の代数的構造にどのような影響を与えるか？
• RQ4 DPic_k(A) が連結な線型代数群を商として含むのはどのような場合か？
• RQ5 DPic_k(A) を用いて、D^b(Mod A) と三角同値である導来カテゴリの k-線形三角自己同値の群をどのように計算できるか？

主な発見

• 有限クイバー Δ が木である場合、DPic_k(A) は無限クイバーへの表現が忠実であるため、離散的である。
• Δ にサイクルが含まれる場合、DPic_k(A) は連結な線型代数群に同型な商を含む可能性がある。
• A が半単純であるとき、導来ピカード群 DPic_k(A) は D^b(Mod A) の k-線形三角自己同値の全群に一致する。
• 半単純代数のすべての有限およびトロピカル表現型について、DPic_k(A) の明示的計算が提供されている。
• 本手法により、コンツェビッチ＝ローゼンバーグが導入した非可換空間の導来カテゴリにおける自己同値の計算が、三角同値を介して可能になる。
• 群 DPic_k(A) は無限クイバーに忠実に作用し、この作用が群の構造を同型を除いて完全に決定する。