A∞ 대수의 꼬임 코호몰로지와 마세이 곱

초록

본 논문은 $A_\infty$‑대수의 꼬임 원소에 의해 정의되는 꼬임 코호몰로지군을 바 건설을 이용해 체계적으로 연구한다. 일반 $A_\infty$‑대수의 코호몰로지 위에 고차 마세이 곱을 정의하고, 사상 및 호모토피에 대한 자연성, 정의계 시스템에 대한 의존성을 입증한다. 또한 $C_\infty$‑대수에 대한 유사한 전개와, 꼬임 코호몰로지에 수렴하는 스펙트럴 시퀀스를 구성하여 그 고차 차동이 $A_\infty$‑마세이 곱과 일치함을 보인다.

상세 분석

이 연구는 $A_\infty$‑대수 $(A,{m_k})$에 대해, 차수가 $0$인 원소 $h\in A^0$를 꼬임 원소(twisting element)라 정의하고, 바 복합 $\Bar(A)$에 $h$를 삽입해 새로운 미분 $d_h$를 만든다. $d_h$는 기존 미분 $m_1$에 고차 연산 $m_k$와 $h$의 삽입을 조합한 형태이며, $d_h^2=0$임을 바 건설과 $A_\infty$ 관계식으로 증명한다. 따라서 $(A,d_h)$는 꼬임 코호몰로지 $H_h(A)$를 정의한다. 사상 $f:A\to B$가 $A_\infty$‑사상일 때, 꼬임 원소 $h$와 $f_(h)$ 사이에 일치 조건을 두면 $f$는 $d_h$‑사슬을 $d_{f_(h)}$‑사슬로 보존하고, 유도된 코호몰로지 사상 $f_:H_h(A)\to H_{f_(h)}(B)$가 자연스럽게 정의된다. 호모토피 $F$에 대해서도 유사한 전이 원리가 성립한다.

고차 마세이 곱은 전통적인 삼중 마세이 곱을 일반화한 것으로, 정의계 시스템(defining system) ${a_{ij}}$를 통해 $n$‑차 마세이 곱 $\langle\alpha_1,\dots,\alpha_n\rangle$를 구성한다. 여기서 각 $a_{ij}$는 $A$의 원소이며, $m_1$‑경계와 $m_k$ 연산을 이용해 일련의 일관성 조건을 만족한다. 논문은 이러한 정의계가 서로 호모토피 동등이면 마세이 곱의 동등 클래스가 변하지 않으며, $A_\infty$‑사상이 정의계를 보존하면 마세이 곱도 사상에 대해 자연스럽게 변한다는 정리를 증명한다.

$C_\infty$‑대수(완전 교환 $A_\infty$‑대수)의 경우, 대칭성 때문에 마세이 곱이 교환적 성질을 갖고, 정의계의 선택이 보다 제한된다. 저자는 이 경우에도 동일한 꼬임 코호몰로지와 마세이 곱 구조가 유지됨을 확인한다.

스펙트럴 시퀀스는 필터링된 바 복합 $\Fil^p\Bar(A)$를 이용해 구성한다. $E_1$ 페이지는 꼬임 코호몰로지 $H_h(A)$와 동형이며, 차등 $d_r$는 $r$‑차 마세이 곱에 정확히 대응한다. 특히 $d_2$는 이항 마세이 곱, $d_3$는 삼중 마세이 곱과 일치하고, 일반적인 $d_r$는 $r$‑차 마세이 곱을 통해 계산된다. 이는 고차 연산이 코호몰로지 수준에서 어떻게 나타나는지를 명확히 보여준다.

전체적으로 논문은 $A_\infty$‑구조와 꼬임 코호몰로지, 마세이 곱 사이의 깊은 상호작용을 바 건설이라는 강력한 도구를 통해 체계화하고, 사상·호모토피에 대한 자연성 및 스펙트럴 시퀀스와의 연결을 통해 고차 연산의 의미론적 해석을 제공한다.