[논문 리뷰] Koszul A-infinity algebras and free loop space homology

Alexander Berglund, Kaj Börjeson|arXiv (Cornell University)|2017. 11. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 3

한 줄 요약

이 논문은 Priddy의 Koszul 대수의 일반화로 Koszul $A_{\infty}$-대수를 도입하여 Hochschild 코호전자에 대한 작은 $A_{\infty}$-대수 모델을 가능하게 한다. 단순연결된 다양체의 자유 루프 공간 호모로지—형식적 또는 공형식일지라도—는 Koszul 쌍대 구조 위에서의 날카로운 콘볼루션 $A_{\infty}$-대수를 통해 계산 가능하며, 이는 $\mathbb{C}P^n$과 $\mathbb{Z}$ 위에서의 7차원 다양체에 대한 새로운 계산을 가능하게 하며, 이는 이전 결과를 일반화한다.

ABSTRACT

We introduce a notion of Koszul A-infinity algebra that generalizes Priddy's notion of a Koszul algebra and we use it to construct small A-infinity algebra models for Hochschild cochains. As an application, this yields new techniques for computing free loop space homology algebras of manifolds that are either formal or coformal (over a field or over the integers). We illustrate these techniques in two examples.

연구 동기 및 목표

• Koszul 대수 이론을 $A_{\infty}$-대수로 확장하여 대수적 토폴로지 분야에 적용한다.
• 형식적 또는 공형식일지라도 둘 다인 경우가 아니더라도, 다양체의 자유 루프 공간 호모로지 $H_*(LM)$를 계산하기 위한 프레임워크를 제공한다.
• Koszul 대칭을 이용해 Hochschild 코호전자에 대한 작은 $A_{\infty}$-대수 모델을 구축한다.
• 형식적/공형식 조건을 동시에 만족하지 않는 경우에도 이전 결과를 일반화한다.

제안 방법

• 특정 구조 맵의 균일성 조건을 갖는 가중치-급수 $A_{\infty}$-대수를 통해 새로운 Koszul $A_{\infty}$-대수의 개념을 도입한다.
• 특성화를 확립: $A_{\infty}$-대수가 Koszul $A_{\infty}$-대수와 quasi-isomorphic한 것은 그 바르 구조가 dg 코알제브라로서 형식적일 때이다.
• Koszul $A_{\infty}$-대수 위에서 Hochschild 코호전자에 대한 작은 $A_{\infty}$-모델을 날카로운 콘볼루션 대수를 통해 구성한다.
• twisting 사상 $\kappa: H_*(M) \to H_*(\Omega M)$을 사용하여, $C_*(\Omega M)$ 위의 Hochschild 코호전자와 quasi-isomorphic한 날카로운 콘볼루션 $A_{\infty}$-대수를 정의한다.
• 이 프레임워크를 적용하여, 등식 $H_{*+d}(LM) \cong H_*\operatorname{Hom}^\kappa(H_*(M), H_*(\Omega M))$를 통해 $H_{*+d}(LM)$를 계산한다.
• 두 예제에 대해 구성의 타당성을 검증한다: $\mathbb{C}P^n$ (형식적, 비공형식)과 $\mathbb{Z}$ 위에서의 7차원 다양체 (공형식, 비형식).

실험 결과

연구 질문

• RQ1 Koszul 대수 이론을 $A_{\infty}$-대수로 확장하여 자유 루프 공간 호모로지 계산에서 더 일반적인 다양체를 다룰 수 있는가?
• RQ2 만약 다양체 $M$이 형식적 또는 공형식이지만 둘 다가 아닐 경우, $C_*(\Omega M)$ 위의 Hochschild 코호전자에 대해 효율적인 모델링은 어떻게 가능할까?
• RQ3 twisting 사상 $\kappa: H_*(M) \to H_*(\Omega M)$은 $H_*(LM)$을 Koszul 쌍대 위의 $A_{\infty}$-구조와 연결하는 데 어떤 역할을 하는가?
• RQ4 Chas-Sullivan 루프 곱은 날카로운 콘볼루션 $A_{\infty}$-대수 구조로부터 복구될 수 있는가?
• RQ5 이 프레임워크를 통해 형식/공형식의 교차 조건을 완화함으로써 어떤 새로운 $H_*(LM)$ 계산가능성이 열리는가?

주요 결과

• 논문은 $M$이 $\Bbbk$ 위에서 형식적일 때이고 오직 그 때에만 $H_*(\Omega M;\Bbbk)$가 $C_*(\Omega M;\Bbbk)$와 quasi-isomorphic한 최소 Koszul $A_{\infty}$-대수 구조를 갖는다고 규명한다. 이때 $H_*(M;\Bbbk) \cong H_*(\Omega M;\Bbbk)^{<}$이다.
• 논문은 $M$이 $\Bbbk$ 위에서 공형식일 때이고 오직 그 때에만 $H_*(M;\Bbbk)$가 $C_*(M;\Bbbk)$와 quasi-isomorphic한 최소 Koszul $A_{\infty}$-코알제브라 구조를 갖는다고 규명한다. 이때 $H_*(\Omega M;\Bbbk) \cong H_*(M;\Bbbk)^!$이다.
• 차원이 $d$인 다양체 $M$이 $\Bbbk$ 위에서 형식적 또는 공형식일 경우, 다음과 같은 등급 대수의 등식이 성립한다: $H_{*+d}(LM;\Bbbk) \cong H_*\operatorname{Hom}^\kappa(H_*(M;\Bbbk), H_*(\Omega M;\Bbbk))$, 여기서 좌변은 Chas-Sullivan 루프 곱을 지닌다.
• 이 프레임워크는 $\mathbb{C}P^n$의 Chas-Sullivan 대수를 간결하게 계산할 수 있게 하며, Cohen-Jones-Yan 스펙트럴 시퀀스의 체인 수준의 세밀화로 볼 수 있다.
• 논문은 $\mathbb{Z}$ 위에서 공형식이지만 형식적이지 않은 7차원 다양체 $M$에 대해 $H_{*+7}(LM;\mathbb{Z})$를 계산한다. 이는 이전 방법으로는 접근이 어려웠던 결과이다.
• Hochschild 코hom올로지 $HH^*(U,U)$는 $\mathcal{Z}(U)$ 위의 등급 교환 대수로 표현되며, 명시적인 생성자와 관계를 갖는다. 또한 등식 $H_{*+7}(LM) \cong HH^*(U,U)$가 성립한다.