[論文レビュー] 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）のコホモロジーにおける高次マッセイ積が、コホモロジー上の $A_\infty$ 構造における高次乗法により、いつ検出され、回復できるかを明確にした条件を確立する。任意の空でない高次マッセイ積 $\langle x_1,\dots,x_n\rangle$ に対して、$n$ 重乗法 $m_n(x_1,\dots,x_n)$ が符号を除き、低次の項を含めて積を回復するようなコホモロジー上の $A_\infty$ 構造が存在することを証明し、$A_\infty$ 構造がマッセイ積の定義系に適合した収縮から生じる場合、この回復が保証されることを示している。

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$.

研究の動機と目的

• 微分付き代数（DGA）のコホモロジーにおける高次マッセイ積が、コホモロジー上の $A_\infty$ 構造における高次乗法からいつ回復できるかを特定すること。
• 収縮によって誘導される $A_\infty$ 構造とマッセイ積の検出との関係を明確にすること。
• コホモロジー上の $A_\infty$ 構造における $n$ 重乗法 $m_n$ が、対応する高次マッセイ積集合に属するための必要十分条件を同定すること。
• マッセイ積の検出に関して、以前に主張された一般結果を修正・精錬すること。特に、証明における欠落した仮定を同定すること。

提案手法

• DGA $A$ のコホモロジー $H$ に $A_\infty$ 構造を、$A$ から $H$ への収縮を用いてホモトピー転送定理により構成する。
• 与えられたマッセイ積に適合した収縮を定義し、積の定義系とホモトピー情報の整合性を保証する。
• スターシェフの恒等式を用いて、高次乗法 $m_k$ を収縮における微分とホモトピー情報に関連付ける。
• ホモトピー作用素 $K$ を用いて $a_{ij} = K\lambda_{j-i+1}(x_i,\dots,x_j)$ と定義される要素を用いて、マッセイ積の定義系を構成する。
• マッセイ積の回復における符号を正しく修正するための符号規約 $\varepsilon = (-1)^{1 + |x_{n-1}| + |x_{n-3}| + \cdots}$ を用いる。
• 帰納法を用いて、$m_k = 0$ がすべての $k \leq n-2$ に対して成り立つならば、$m_n(x_1,\dots,x_n)$ がマッセイ積集合 $\langle x_1,\dots,x_n\rangle$ に属することを示す。

実験結果

リサーチクエスチョン

• RQ1 高次マッセイ積 $\langle x_1,\dots,x_n\rangle$ が、DGA コホモロジー上の $A_\infty$ 構造における $m_n(x_1,\dots,x_n)$ としていつ回復可能か。
• RQ2 なぜ [12, Thm. 3.1] の一般的主張は $n \geq 4$ に対して失敗するのか。証明における欠落した仮定は何か。
• RQ3 すべての空でない高次マッセイ積は、コホモロジー上のある $A_\infty$ 構造における $n$ 重乗法として実現可能か。
• RQ4 マッセイ積を $m_n$ によって検出できるようにする収縮の条件は何か。
• RQ5 コホモロジー上の $A_\infty$ 構造が、マッセイ積が非空であっても、いかなるマッセイ積も検出できないことは可能か。

主な発見

• 任意の空でない高次マッセイ積 $\langle x_1,\dots,x_n\rangle$ に対して、$\pm m_n(x_1,\dots,x_n)$ が積集合の任意の要素に等しくなるようなコホモロジー上の $A_\infty$ 構造が存在する。
• 一般には、$m_n(x_1,\dots,x_n)$ は低次の項を除きマッセイ積要素を回復するにとどまり、$\pm m_n(x_1,\dots,x_n) = x + \Gamma$ と表され、$\Gamma \in \sum_{j=1}^{n-1} \operatorname{Im}(m_j)$ である。
• もし $A_\infty$ 構造がマッセイ積に適合した収縮から生じるならば、$\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$ で帰納的証明は失敗する。
• $m_k = 0$ がすべての $k \leq n-2$ に対して成り立つような、収縮によって誘導される $A_\infty$ 構造において、$\varepsilon \cdot m_n(x_1,\dots,x_n)$ はマッセイ積集合 $\langle x_1,\dots,x_n\rangle$ に属する。定義系が適合していると仮定しなくても成り立つ。
• 例 2.6 は、すべての $A_\infty$ 構造が収縮から生じるわけではないこと、および、非自明なマッセイ積が非空であっても、一部の構造はそれらを回復できないことを示している。