[论文解读] A-infinity structures and Massey products

Urtzi Buijs, José M. Moreno-Fernández+1 more|arXiv (Cornell University)|Jan 9, 2018

Algebraic structures and combinatorial models参考文献 16被引用 5

一句话总结

本文確立了在微分分次代數（DGA）上同調的高階Massey乘積可透過上同調上的$A_\infty$結構中的高階乘法被檢測與恢復的精確條件。證明了對於任意非空的高階Massey乘積$\langle x_1,\dots,x_n\rangle$，存在一個上同調上的$A_\infty$結構，使得$n$元乘法$m_n(x_1,\dots,x_n)$在符號與低階項的意義下恢復該乘積，並表明當$A_\infty$結構源自與Massey乘積定義系統相適配的收縮時，此恢復是保證的。

ABSTRACT

We show how and when it is possible to detect and recover higher Massey products on the cohomology $H$ of a differential graded algebra $A$ with higher multiplications on quasi-isomorphic $A_\infty$ structures on $H$.

研究动机与目标

• 確立高階Massey乘積在微分分次代數（DGA）上同調中可否由上同調上的$A_\infty$結構中的高階乘法恢復的條件。
• 釐清由收縮誘導的$A_\infty$結構與Massey乘積檢測之間的關係。
• 識別上同調上$A_\infty$結構中$n$元乘法$m_n$屬於相應高階Massey乘積集合的必要與充分條件。
• 修正並細化先前關於$A_\infty$結構檢測Massey乘積的一般結果，指出原證明中遺漏的假設。

提出的方法

• 使用同倫傳導定理，透過DGA$A$到其上同調$H$的收縮，構造$H$上的$A_\infty$結構。
• 定義與給定Massey乘積相適配的收縮，確保乘積的定義系統與同倫資料相容。
• 應用Stasheff恆等式，將高階乘法$m_k$與收縮中的微分與同倫資料關聯。
• 使用元素$a_{ij} = K\lambda_{j-i+1}(x_i,\dots,x_j)$構造Massey乘積的定義系統，其中$K$為同倫算子。
• 使用符號慣例$\varepsilon = (-1)^{1 + |x_{n-1}| + |x_{n-3}| + \cdots}$來修正Massey乘積恢復中的符號錯誤。
• 使用數學歸納法證明：若$m_k = 0$對所有$k \leq n-2$成立，則$m_n(x_1,\dots,x_n)$屬於Massey乘積集合$\langle x_1,\dots,x_n\rangle$。

实验结果

研究问题

• RQ1 在何種條件下，DGA上同調中的高階Massey乘積$\langle x_1,\dots,x_n\rangle$可被$A_\infty$結構中的$m_n(x_1,\dots,x_n)$恢復？
• RQ2 為何[12, Thm. 3.1]中的普遍結論在$n \geq 4$時失效？其證明中遺漏了何種假設？
• RQ3 是否每個非空的高階Massey乘積都可被某個上同調上的$A_\infty$結構中的$n$元乘法實現？
• RQ4 何種收縮條件可確保誘導的$A_\infty$結構透過$m_n$檢測Massey乘積？
• RQ5 是否可能某個上同調上的$A_\infty$結構雖非空，卻無法檢測任何Massey乘積？

主要发现

• 對於任意非空的高階Massey乘積$\langle x_1,\dots,x_n\rangle$，存在一個上同調上的$A_\infty$結構，使得$\pm m_n(x_1,\dots,x_n)$等於該乘積集合中的任意給定元素。
• 一般而言，$m_n(x_1,\dots,x_n)$僅在低階項的意義下恢復Massey乘積元素：$\pm m_n(x_1,\dots,x_n) = x + \Gamma$，其中$\Gamma \in \sum_{j=1}^{n-1} \operatorname{Im}(m_j)$。
• 若$A_\infty$結構源自與Massey乘積相適配的收縮，則$\varepsilon \cdot m_n(x_1,\dots,x_n)$精確恢復乘積元素，其中$\varepsilon = (-1)^{1 + |x_{n-1}| + |x_{n-3}| + \cdots}$。
• 修正[12, Thm. 3.1]的結果：僅當元素$a_{ij} = K\lambda_{j-i+1}(x_i,\dots,x_j)$構成有效的定義系統時，該定理成立；否則，對$n \geq 4$的歸納證明會失敗。
• 若在由收縮誘導的$A_\infty$結構中，$m_k = 0$對所有$k \leq n-2$成立，則$\varepsilon \cdot m_n(x_1,\dots,x_n)$屬於Massey乘積集合$\langle x_1,\dots,x_n\rangle$，即使不假設定義系統與收縮相適配亦成立。
• 例2.6表明，並非所有上同調上的$A_\infty$結構都源自收縮，且某些結構即使在非空時亦無法恢復非平凡的Massey乘積。