[论文解读] 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_∞$-结构本质上由 $A$ 中的关系决定。具体而言，限制在 $\operatorname{Ext}^1$ 上的高阶 $A_\infty$-乘积 $m_n$ 与 $A$ 的最小关系的系数对偶，从而实现了仅从 $A_\infty$-Ext-代数完全重构 $A$，而这是仅从普通的结合 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.

研究动机与目标

• 理解 Ext-代数 $\operatorname{Ext}^*_A(k_A,k_A)$ 上的 $A_\infty$-结构如何编码原始代数 $A$ 的信息。
• 证明 $\operatorname{Ext}^1$ 上的高阶 $A_\infty$-乘积 $m_n$ 由 $A$ 中最小关系的系数决定。
• 证明 Ext-代数上的 $A_\infty$-结构足以重构 $A$，而普通的结合 Ext-代数则不能。
• 将 $A_\infty$-乘积与上同调中的经典 Massey 乘积联系起来。

提出的方法

• 使用 Kadeishvili 定理为 Ext-代数赋予一个自然的 $A_\infty$-结构。
• 定义生成元的分次向量空间 $Q = \mathfrak{m}/\mathfrak{m}^2$，并选择乘法映射的分裂，将 $A_s$ 嵌入 $Q$ 上的张量代数中。
• 在 $\bigoplus_{m\geq 2} Q^{\otimes m}$ 中构造最小关系空间 $R = \bigoplus_{s\geq 2} R_s$，其中 $R_s \subset \bigoplus_{1\leq i\leq s-1} Q_i \otimes A_{s-i}$。
• 证明在度数 $-s$ 上，$\left(\operatorname{Ext}^1_A(k_A,k_A)\right)^{\otimes n}$ 上的 $A_\infty$-乘积 $m_n$ 同构于映射 $(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$-结构是否足以完全重构原始代数 $A$？
• RQ3 高阶 $A_\infty$-乘积 $m_n$ 与群或李代数上同调中的经典 Massey 乘积之间存在何种精确代数关系？
• RQ4 当 $A$ 在度数 1 上不是有限生成时，Ext-代数上的 $A_\infty$-结构如何反映其最小关系？
• RQ5 高阶 $A_\infty$-乘积如何编码关系的系数？这种对偶性如何通过分次对偶实现？

主要发现

• 在度数 $-s$ 上，限制在 $\left(\operatorname{Ext}^1_A(k_A,k_A)\right)^{\otimes n}$ 上的 $A_\infty$-乘积 $m_n$ 等于映射 $(i_s^n)^\#$，其中 $i_s^n$ 将度数为 $s$ 的关系 $R_s$ 映射到 $(Q^{\otimes n})_s$，从而在关系与高阶乘积之间建立了直接对偶。
• 对于连通分次代数 $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$。
• 在例 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$-乘积能够恢复经典的上同调不变量。