[論文レビュー] A-infinity structure on Ext-algebras

D.-M. Lu, John H. Palmieri+2 more|ArXiv.org|Jun 6, 2006

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

ひとこと要約

この論文は、連結な次数付き代数 $A$ の Ext-代数 $\operatorname{Ext}^*_A(k_A,k_A)$ における $A_\infty$-構造が、$A$ の関係によって本質的に決定されることを確立している。具体的には、$A_\infty$-積 $m_n$ を $\operatorname{Ext}^1$ に制限したものは、$A$ の最小関係の係数と双対的であることが示され、$A$ が通常の結合的 Ext-代数だけでは復元できないのに対し、$A_\infty$-Ext-代数から完全に再構成可能であることを示している。

ABSTRACT

Let A be a connected graded algebra and let E denote its Ext-algebra. There is a natural A-infinity algebra structure on E, and we prove that this structure is mainly determined by the relations of A. In particular, the coefficients of the A-infinity products m_n restricted to the tensor powers of Ext^1 give the coefficients of the relations of A. We also relate the m_n's to Massey products.

研究の動機と目的

• 代数 $A$ の元である $A_\infty$-構造が Ext-代数 $\operatorname{Ext}^*_A(k_A,k_A)$ にどのように情報を符号化しているかを理解すること。
• Ext-代数上の高次の $A_\infty$-積 $m_n$ が、$A$ の最小関係の係数によって決定されることを示すこと。
• Ext-代数上の $A_\infty$-構造が $A$ を完全に再構成可能であることを示し、それに対して通常の結合的 Ext-代数では不可能であることを示すこと。
• $A_\infty$-積とコホモロジーにおける古典的 Massey 積との関係を明らかにすること。

提案手法

• Kadeishvili の定理を用いて、Ext-代数に標準的な $A_\infty$-構造を導入する。
• 代数 $A$ の生成子の次数付きベクトル空間 $Q = \mathfrak{m}/\mathfrak{m}^2$ を定義し、積写像のスプリットを選び、$A_s$ を $Q$ 上のテンソル代数に埋め込む。
• 最小関係空間 $R = \bigoplus_{s\geq 2} R_s$ を $\bigoplus_{m\geq 2} Q^{\otimes m}$ 内に構成し、$R_s \subset \bigoplus_{1\leq i\leq s-1} Q_i \otimes A_{s-i}$ を満たすようにする。
• Ext-代数上の $A_\infty$-積 $m_n$ が、$(\operatorname{Ext}^1_A(k_A,k_A))^{\otimes n}$ の次数 $-s$ において、$(i_s^n)^\#$ に同型であることを示し、ここで $i_s^n$ は $R_s$ を $(Q^{\otimes n})_s$ に写す写像である。
• 具体例での明示的計算を通じて、$A_\infty$-積と Massey 積との関係を示し、古典的コホモロジー的構成と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 Ext-代数 $\operatorname{Ext}^*_A(k_A,k_A)$ 上の高次の $A_\infty$-積 $m_n$ は、代数 $A$ の定義関係とどのように関係しているか？
• RQ2 通常の結合的 Ext-代数では不可能であるが、$A_\infty$-構造が Ext-代数上で $A$ を完全に再構成可能か？
• RQ3 $A_\infty$-積 $m_n$ と群や Lie 代数コホモロジーにおける古典的 Massey 積との明確な代数的関係は何か？
• RQ4 代数 $A$ が次数 1 で有限生成でない場合、Ext-代数上の $A_\infty$-構造は最小関係をどのように反映しているか？
• RQ5 $A_\infty$-積は関係の係数をどのように符号化しているか？ そして、その双対性はどのように次数付き双対を介して実現されるか？

主な発見

• 次数 $-s$ における $(\operatorname{Ext}^1_A(k_A,k_A))^{\otimes n}$ に制限された $A_\infty$-積 $m_n$ は、$R_s$ を $(Q^{\otimes n})_s$ に写す写像 $i_s^n$ の次数付き双対 $(i_s^n)^\#$ に等しく、関係と高次積の間の直接的な双対性を確立している。
• 連結な次数付き代数 $A$ に対して、$\operatorname{Ext}^*_A(k_A,k_A)$ 上の $A_\infty$-構造は、$A$ の最小関係の係数によって完全に決定され、$A$ を再構成するための完全な不変量であることが示された。
• 例 6.1 において、$q$ 個の $\operatorname{Ext}^1$ への $A_\infty$-積 $m_q$ は、関係 $f(x_1,x_2)$ に次数 $q$ の単項式が含まれる場合にのみ非ゼロであり、$\alpha x_{i_1} \cdots x_{i_q}$ が $f$ に現れるとき $m_q(y_{i_1} \otimes \cdots \otimes y_{i_q}) = \alpha z$ となる。これは明示的な双対性を示している。
• 例 6.2 において、$m_2(b_2 \otimes b_3) = s_5$, $m_2(b_3 \otimes b_2) = -s_5$, $m_2(b_3 \otimes b_3) = s_6$, および $m_3(b_2 \otimes b_2 \otimes b_2) = -s_6$ の公式が、関係 $x_3^2 - x_2^3 = 0$ および $x_2x_3 - x_3x_2 = 0$ を $A_\infty$-積によって明示的に実現している。
• 例 6.3 において、$p$ 重の Massey 積 $\langle y_1, \dots, y_1 \rangle$ は $\{(-1)^{(p+1)/2} y_2\}$ に等しく、$A_\infty$-積は $m_p(y_1 \otimes \cdots \otimes y_1) = y_2$ を満たす。これにより、$A_\infty$-構造が Massey 積と同じ情報を捉えていることが確認された。
• 例 6.4 において、$A_\infty$-積 $m_3(h_0 \otimes h_1 \otimes h_0) = h_1^2$ は、Massey 積 $\langle h_0, h_1, h_0 \rangle = \{h_1^2\}$ と一致し、$A_\infty$-積が古典的コホモロジー不変量を完全に回復していることが示された。