[論文レビュー] Derived equivalences for $Φ$-Auslander-Yoneda algebras

Wei Hu, Changchang Xi|arXiv (Cornell University)|Dec 3, 2009

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

ひとこと要約

本稿では、三角化カテゴリにおける$Φ$-Auslander-Yoneda代数を導入し、ほぼ$ν$-安定な導来同値から、これらの代数（無限次元を含む）の新たな導来同値を構成する方法を確立する。主な結果は、2つのArtin代数がこのような函手によって導来同値であるならば、それらの$Φ$-Auslander-Yoneda代数—加法的生成子または加法的モジュールとそのHellerシフトから構成される—が、任意の許容的$Φ\subseteq\mathbb{N}$に対して導来同値であることを示しており、既知のAuslander代数およびYoneda代数に関する結果を拡張する。

ABSTRACT

In this paper, we introduce $Φ$-Auslander-Yoneda algebras in a triangulated category with $Φ$ a parameter set in $\mathbb N$, and provide a method to construct new derived equivalences between these $Φ$-Auslander-Yoneda algebras (not necessarily Artin algebras), or their quotient algebras, from a given almost $ν$-stable derived equivalence. As consequences of our method, we have: (1) Suppose that $A$ and $B$ are representation-finite, self-injective Artin algebras with $_AX$ and $_BY$ additive generators for $A$ and $B$, respectively. If $A$ and $B$ are derived-equivalent, then the $Φ$-Auslander-Yoneda algebras of $X$ and $Y$ are derived-equivalent for every admissible set $Φ$. In particular, the Auslander algebras of $A$ and $B$ are both derived-equivalent and stably equivalent. (2) For a self-injective Artin algeba $A$ and an $A$-module $X$, the $Φ$-Auslander-Yoneda algebras of $A\oplus X$ and $A\oplus Ω_A(X)$ are derived-equivalent for every admissible set $Φ$, where $Ω$ is the Heller loop operator. Motivated by these derived equivalences between $Φ$-Auslander-Yoneda algebras, we consider constructions of derived equivalences for quotient algebras, and show, among others, that a derived equivalence between two basic self-injective algebras may transfer to a derived equivalence between their quotient algebras obtained by factorizing out socles.

研究の動機と目的

• 与えられたほぼ$ν$-安定な導来同値から、$Φ$-Auslander-Yoneda代数の新たな導来同値を体系的に構成する方法を開発すること。
• 既知のAuslander代数およびYoneda代数の導来同値に関する結果を、無限次元を含むより広い代数のクラスへ一般化すること。
• 基本的自己同型代数間の導来同値が、根基を剰余した商代数へどのように移行するかを調査すること。
• $Φ$-Auslander-Yoneda代数とそのHellerシフトの間の導来同値が成立する条件を確立すること。

提案手法

• $A$をArtin代数とし、$\Phi\subseteq\mathbb{N}$を許容的集合とする。$M$を$A$上のモジュールとするとき、$Φ$-Auslander-Yoneda代数を$\operatorname{E}_A^\Phi(M) = \bigoplus_{i\in\Phi} \operatorname{Ext}^i_A(M,M)$として定義する。
• Artin代数$A$と$B$の間のほぼ$ν$-安定な導来同値$F$を用い、$A$および$B$上の傾き複体を関連付けることで、モジュールカテゴリ上の安定同値を誘導する。
• $M = A\oplus X$および$N = B\oplus\bar{F}(X)$に対して、$Φ$-Auslander-Yoneda代数$\operatorname{E}_A^\Phi(M)$および$\operatorname{E}_B^\Phi(N)$を構成する。ここで$\bar{F}$は誘導された安定函手である。
• 元の導来同値の構造を用いて、傾き複体の構成により、得られた代数が導来同値であることを証明する。
• $\Phi$が有限の場合、$Φ$-Auslander-Yoneda代数間の導来同値が、自身ほぼ$ν$-安定であることを示し、これにより安定同値であることも示される。
• 根基を剰余することで商代数を構成し、基本的自己同型代数間の導来同値が、それらの商代数間の導来同値へと降下することを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の許容的$Φ\subseteq\mathbb{N}$に対して、Artin代数間の導来同値が、それらの$Φ$-Auslander-Yoneda代数への上昇が可能か。
• RQ2 ほぼ$ν$-安定な導来同値によって誘導される$Φ$-Auslander-Yoneda代数間の導来同値が、自身ほぼ$ν$-安定である条件は何か。
• RQ3 $A\oplus X$および$A\oplus\Omega_A(X)$の$Φ$-Auslander-Yoneda代数が、任意の許容的$Φ$に対して導来同値のままであるか。
• RQ4 基本的自己同型代数間の導来同値が、根基を剰余した商代数へと移行する条件は何か。
• RQ5 導来同値の結果は、一般化されたYoneda代数および無限次元代数へどのように拡張されるか。

主な発見

• $A$と$B$が表現的有限かつ自己同型であるArtin代数で、導来同値であるならば、任意の許容的集合$\Phi$に対して、それらの$Φ$-Auslander-Yoneda代数も導来同値である。これは古典的Auslander代数に対しても成立する。
• 任意の自己同型Artin代数$A$と$A$-モジュール$X$に対して、$A\oplus X$および$A\oplus\Omega_A(X)$の$Φ$-Auslander-Yoneda代数は、任意の許容的$\Phi$に対して導来同値である。ここで$\Omega_A$はHellerループ作用素である。
• $\Phi$が有限の場合、$\operatorname{E}_A^\Phi(A\oplus X)$および$\operatorname{E}_B^\Phi(B\oplus\bar{F}(X))$間の導来同値は、自身ほぼ$\nu$-安定であるため、両代数間の安定同値も示される。
• $A$と$B$が基本的かつ自己同型である限り、$A$と$B$間の導来同値が、それぞれの根基を剰余した商代数間の導来同値を誘導する。
• この方法により、無限次元代数、特に一般化されたYoneda代数およびその商代数間の導来同値が得られ、従来の有限次元の場合の結果を拡張する。
• $n\geq1$に対して、有限次元商代数$\operatorname{E}_A^{\Phi(1,n)}(A\oplus X)$および$\operatorname{E}_A^{\Phi(1,n)}(A\oplus\Omega_A(X))$は、両方とも導来同値かつ安定同値であり、生成子$\delta_i$および$z_i$と明示的な関係を持つ。