[논문 리뷰] A-infinity structures and Massey products

Urtzi Buijs, José M. Moreno-Fernández외 1명|arXiv (Cornell University)|2018. 01. 09.

Algebraic structures and combinatorial models참고 문헌 16인용 수 5

한 줄 요약

이 논문은 미분형 대수(DGA)의 코homology에서의 고차 Massey 곱을 어떤 조건에서 고차 곱셈이 $A_\infty$ 구조에 의해 탐지되고 복원될 수 있는지를 정확히 규명한다. 모든 비어 있지 않은 고차 Massey 곱 $\langle x_1,\dots,x_n\rangle$에 대해, $n$-항 곱셈 $m_n(x_1,\dots,x_n)$가 부호와 저차항을 제외한 곱을 복원하는 $A_\infty$ 구조가 존재하며, 이 복원이 $Massey 곱의 정의 체계에 적합한 수축으로부터 유도된 $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의 코homology에서 고차 Massey 곱이 코homology 위의 $A_\infty$ 구조의 고차 곱셈으로 언제 복원될 수 있는지 규명하는 것.
• 수축에 의해 유도된 $A_\infty$ 구조와 Massey 곱 탐지 간의 관계를 명확히 하는 것.
• 코homology 위의 $A_\infty$ 구조에서 $n$-항 곱셈 $m_n$이 해당 고차 Massey 곱 집합에 속하는 데 필요한 필수 및 충분조건을 규명하는 것.
• 이전에 주장된 Massey 곱 탐지에 관한 일반 결과를 수정하고 보완하며, 증명에서 누락된 가정을 특정하는 것.

제안 방법

• DGA $A$의 코homology $H$로의 수축을 통해 $A_\infty$ 구조를 수축을 이용해 수축을 통해 $H$에 구축하는 데 히포터피 전달 정리를 사용하는 것.
• 주어진 Massey 곱에 적합한 수축을 정의하여, 곱의 정의 체계와 호모토피 자료 간의 호환성을 확보하는 것.
• Stasheff 항등식을 적용하여 고차 곱셈 $m_k$를 수축의 미분 및 호모토피 자료와 연결하는 것.
• 호모토피 연산자 $K$를 사용하여 $a_{ij} = K\lambda_{j-i+1}(x_i,\dots,x_j)$로 구성된 정의 체계를 Massey 곱에 대해 구성하는 것.
• 복원 과정에서의 부호를 수정하기 위해 부호 관례 $\varepsilon = (-1)^{1 + |x_{n-1}| + |x_{n-3}| + \cdots}$를 사용하는 것.
• 귀납적 증명을 통해 $m_k = 0$ for $k \leq n-2$ 이면 $m_n(x_1,\dots,x_n)$이 Massey 곱 집합 $\langle x_1,\dots,x_n\rangle$에 속함을 보이는 것.

실험 결과

연구 질문

• RQ1 어떤 조건에서 DGA의 코homology에서의 고차 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 곱은 코homology 위의 어떤 $A_\infty$ 구조에서의 $n$-항 곱셈으로 실현될 수 있는가?
• RQ4 어떤 조건을 만족하는 수축이 유도하는 $A_\infty$ 구조가 $m_n$을 통해 Massey 곱을 탐지하는가?
• RQ5 코homology 위의 $A_\infty$ 구조가 Massey 곱을 탐지하지 못할 수 있는가? 비록 곱이 비어 있지 않더라도 말이다.

주요 결과

• 모든 비어 있지 않은 고차 Massey 곱 $\langle x_1,\dots,x_n\rangle$에 대해, $\pm m_n(x_1,\dots,x_n)$가 곱 집합의 임의의 원소와 일치하는 $A_\infty$ 구조가 코homology에 존재한다.
• 일반적으로 $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$ for all $k \leq n-2$ 이면, $\varepsilon \cdot m_n(x_1,\dots,x_n)$는 정의 체계가 적합하지 않다는 가정 없이도 Massey 곱 집합 $\langle x_1,\dots,x_n\rangle$에 속한다.
• 예제 2.6는 코homology 위의 모든 $A_\infty$ 구조가 수축에서 유도되지 않으며, 일부 구조는 비자명한 Massey 곱을 복원하지 못함을 보여주며, 이는 곱이 비어 있지 않더라도 성립한다.