[論文レビュー] Representations of Frobenius-type triangular matrix algebras

Fang Li, Chang Ye|arXiv (Cornell University)|Nov 25, 2015

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

ひとこと要約

本稿は、パス代数および可換化可能なカルタン行列から得られる1-ゴレンシュタイン代数を一般化する、新たな1-ゴレンシュタイン代数のクラスとして、フロベニウス型上三角行列代数を導入する。反射関手とAPR-tiltingモジュールの新規構成を用いて、反射関手とHom関手の関手的同型を確立し、任意の体上の有限ルート系の表現論的実現を提供する。

ABSTRACT

The aim of this paper is mainly to build a new representation-theoretic realization of finite root systems through the so-called Frobenius-type triangular matrix algebras by the method of reflection functors over any field. Finally, we give an analog of APR-tilting module for this class of algebras. The major conclusions contains the known results as special cases, e.g. that for path algebras over an algebraically closed field and for path algebras with relations from symmetrizable cartan matrices. Meanwhile, it means the corresponding results for some other important classes of algebras, that is, the path algebras of quivers over Frobenius algebras and the generalized path algebras endowed by Frobenius algebras at vertices.

研究の動機と目的

• パス代数および可換化可能なカルタン行列から得られる1-ゴレンシュタイン代数を超えて、有限ルート系の表現論的実現を拡張すること。
• 反射関手およびAPR-tiltingモジュールの理論を、フロベニウス型上三角行列代数というより広い代数のクラスへ一般化すること。
• 任意の体上での表現論の均一な枠組みを提供し、既存の文献における結果を統合すること。
• 新しいtiltingモジュールの構成を用いて、反射関手とHom関手の関手的同型を確立すること。
• 既存のパス代数および一般化されたパス代数に関する結果を、この枠組みの特別な場合として回復・拡張すること。

提案手法

• 対角成分にフロベニウス代数、非対角成分に双対性条件を満たす双加法的加群をもつ上三角行列として、フロベニウス型上三角行列代数を定義する。
• フロベニウス代数 $A_i$ 上での双加法的加群 $B_{ij}$ のテンソル積を用いて代数 $\Lambda$ を構成し、自由性および双対性の性質を保証する。
• 導来圏における射影的モジュールとシジージの関係を、ナカヤマ関手 $\nu^{-}$ およびその擬似逆関手 $\nu^{-}$ を用いて記述する。
• 射影的加群および双加法的加群のデータから構成されたtiltingモジュール $T_1$ を用いて、反射関手 $F_1^+$ を $\mathrm{Hom}_\Lambda(T_1, -)$ として適用する。
• 可換図式を用いて $\mathrm{Hom}_\Lambda(P_j \otimes B_{j1}, X)$ と $B_{1j} \otimes X_j$ の関係を示し、関手的同型を証明する。
• 同型 $\mathrm{Hom}_\Lambda(P_j \otimes B_{j1}, X) \cong B_{1j} \otimes X_j$ と自然同型 $\mathrm{Hom}_\Lambda(P_1, X) \cong X_1$ を用いて、主要結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限ルート系の表現論的実現は、パス代数およびカルタン行列から得られる1-ゴレンシュタイン代数を超えて拡張可能か？
• RQ2 任意の体上でのフロベニウス型上三角行列代数に対して、関手的同型 $F_1^+ \cong \mathrm{Hom}_\Lambda(T_1, -)$ が成り立つか？
• RQ3 この新しい代数クラスにおいて、APR-tiltingモジュールはどのように一般化され、反射関手が回復されるか？
• RQ4 双加法的加群およびフロベニウス代数にどのような条件を課すと、得られる代数が1-ゴレンシュタインであり、反射関手を支持するようになるか？
• RQ5 既存のパス代数および一般化されたパス代数に関する結果が、この枠組みの特別な場合としてどの程度回復されるか？

主な発見

• 本稿では、関手的同型 $F_1^+(-) \cong \mathrm{Hom}_\Lambda(T_1, -)$ を確立し、反射関手 $F_1^+$ がtiltingモジュール $T_1$ を通じてHom関手として実現されることを証明した。
• $P_1$ と $P_j \otimes B_{j1}$ を含む複体として構成された $T_1$ は、その自己準同型代数が $S_1(\Lambda)$（出発代数）と同型であるtiltingモジュールであることが示された。
• 代数 $\Lambda$ が1-ゴレンシュタインであることが示され、パス代数および可換化可能なカルタン行列から得られる代数の既存の結果が一般化された。
• 双対基底および双加法的加群の双対性を用いて、同型 $\mathrm{Hom}_\Lambda(P_j \otimes B_{j1}, X) \cong B_{1j} \otimes X_j$ が明示的に構成された。
• 主要結果は [11, Theorem 9.7] を一般化し、[11] の手法がこの代数クラスに対して不完全であった点を完全に補い、完全な証明を与えた。
• 特殊ケースとして、頂点にフロベニウス代数を割り当てた一般化されたパス代数 $k(Q, \mathcal{A})$ およびフロベニウス代数上のクーヴィーのパス代数が、いずれも $\Lambda$ の特別な場合として回復された。