[論文レビュー] A note on path a-infinity-algebras over positively graded quivers

Hao Su|arXiv (Cornell University)|Jan 17, 2016

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

ひとこと要約

この論文は、有限で正に重ねられたクーヴィー $Q$ 上の任意のパス $A_{\mathrm{u}}$-代数が、微分が自明な dg 代数として見たパス代数 $kQ$ に quasi-equivalent であることを証明している。 Koszul双対性と導来圏の技法を用いて、このような $A_{\mathrm{u}}$-代数の導来圏が $kQ$ の導来圏と三角的同値であることが示され、重ねられたクーヴィー代数によって生成される圏における三角的構造の一意性に関する結果が得られる。

ABSTRACT

Let A be a path A-infinity-algebra over a positively graded quiver Q. It is proved that the derived category of A is triangulated equivalent to the derived category of kQ, which is viewed as a dg algebra with trivial differential. The main technique used in the proof is Koszul duality.

研究の動機と目的

• 有限で正に重ねられたクーヴィー $Q$ 上のパス $A_\infty$-代数とその基本となるパス代数 $kQ$（微分が自明）との間の導来同値性を確立すること。
• 正に重ねられたクーヴィーのパス代数と同型な自己準同型代数をもつ、コンパクト生成された代数的三角的圏における三角的構造の一意性を調査すること。
• Koszul双対性の技法を用いて、このようなクーヴィー上での最小の厳密に単位的 $A_\infty$-代数が、微分が自明な dg 代数と quasi-equivalent であることを示すこと。
• 導来圏に基づく $A_\infty$-代数がクーヴィーから生じる構造的分類結果を提供すること。

提案手法

• 増分 $A_\infty$-代数 $A$ に増分 dg コalgebra $BA$ を関連付けるためのバー構成 $BA$ の使用により、ホモロジー的解析を可能にする。
• バー構成の双対 $D(BA)$ を用いた Koszul 双対性の応用により、$A$ をその最小モデルおよび $kQ$ の導来圏と関連付ける。
• バー構成の双対 $D(BU)$ のコホモロジーの計算により、$H^*(U^*) \cong R \oplus (D(V))[-1]$ が重ねられた $R$-両側加群として成り立つことを示す。
• $U$ とその二重双対 $U^{**}$ の quasi-equivalence と、$D(BA') \cong kQ$ が微分が自明な dg 代数として成り立つことの利用。
• $U$ が $U^{**}$ と quasi-isomorphic であり、$U^{**}$ が $D(BA')$ と quasi-isomorphic であるという事実を活用し、$U$ が $kQ$ と quasi-equivalent であることを結論づける。
• Keller および Lefèvre-Hasegawa が得た $A_\infty$-圏および $A_\infty$-加群の導来圏に関する結果を応用し、三角的圏を dg 代数の導来圏と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 正に重ねられたクーヴィー上のパス $A_\infty$-代数が、微分が自明なその基本パス代数 $kQ$ と quasi-equivalent となる条件は何か？
• RQ2 有限で正に重ねられたクーヴィー上のパス $A_\infty$-代数の導来圏は、$kQ$ の導来圏と三角的同値となるか？
• RQ3 Koszul 双対性は、$A_\infty$-代数と dg 代数との間の導来同値性を確立するために果たす役割は何か？
• RQ4 自己準同型代数 $A_{\mathcal{T}}$ の構造は、コンパクト生成された代数的三角的圏 $\mathcal{T}$ の三角的構造をどの程度決定づけるか？
• RQ5 $A_{\mathcal{T}}$ が有限で正に重ねられたクーヴィー $Q$ のパス代数と同型であるとき、コンパクトな生成元の有限集合によって生成される圏における三角的構造に一意性が存在するか？

主な発見

• 有限で正に重ねられたクーヴィー $Q$ 上のパス $A_\infty$-代数の任意の導来圏は、微分が自明な $kQ$ の導来圏と三角的同値である。
• $A_\infty$-代数 $A$ は、dg 代数として $kQ$ と quasi-equivalent である。これは、それらの包絡代数が quasi-isomorphic であることを意味する。
• バー構成の双対 $D(BU)$ の最小モデルは、$m_2$ を除くすべての高次乗法が自明な増分 $A_\infty$-代数である。これは、$A_\infty$-構造が dg 代数との $A_\infty$-quasi-equivalence に縮退することを示唆する。
• バー構成の双対 $D(BU)$ のコホモロジーは $R \oplus (D(V))[-1]$ と同型であり、これは最小モデルの構造を支持する。
• 二重双対 $U^{**}$ は $D(BA')$ と quasi-isomorphic であり、$D(BA') \cong kQ$ が微分が自明な dg 代数として成り立つことから、$U$ は $kQ$ と quasi-equivalent である。これは主定理の証明である。
• もし $A_{\mathcal{T}}$ が有限で正に重ねられたクーヴィー $Q$ のパス代数と同型であれば、コンパクト生成された三角的圏 $\mathcal{T}$ は $D^b(kQ)$ と三角的同値である。