[논문 리뷰] The Hochschild cohomology of a Poincaré algebra

Po Hu|ArXiv.org|2007. 07. 27.

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

한 줄 요약

이 논문은 Poincaré 대수의 호크시ลด 코homology가 프레임드 2차원 리틀 디스크 작용소 $\mathcal{D}_2$에 자연스럽게 작용한다는 것을 증명한다. 이는 차스와 설리반의 스트링 토폴로지 결과를 일반화한 것이다. 보로노프의 캉터스 작용소를 사용하고 캉터스 집합을 정의함으로써, 저자들은 단순화된 실현과 쌍대성을 통해 Poincaré 대수의 호크시ลด 호모로지의 쌍대가 $\mathcal{D}_2$-대수의 구조를 지닌다는 것을 보여준다.

ABSTRACT

In this note, we define the notion of a cactus set, and show that its geometric realization is naturally an algebra over Voronov's cactus operad, which is equivalent to the framed 2-dimensional little disks operad $\mathcal{D}_2$. Using this, we show that the Hochschild cohomology of a Poincaré algebra A is an algebra over (the chain complexes of) $\mathcal{D}_2$.

연구 동기 및 목표

• 코homology가 자연스럽게 $\mathcal{D}_2$-대수의 구조를 지닌 대수적 구조를 특정하는 것.
• Chas와 Sullivan의 $H_*(LM)$에 대한 스트링 토폴로지 결과를 더 넓은 범주의 대수로 확장하는 것.
• 캉터스 집합을 정의하고, 이를 $\mathcal{D}_2$-대수의 조합적 모델로 활용하는 것.
• 캉터스 작용소의 작용을 통해 Poincaré 대수의 호크시ลด 호모로지의 쌍대가 $\mathcal{D}_2$-대수의 구조를 지닌다는 것을 증명하는 것.
• Poincaré 대수와 프레임드 리틀 디스크 작용소의 구조가 코homology에서 어떻게 연결되는지 밝혀내는 것.

제안 방법

• 순환 구조와 추가적인 구조(특정 점과 교차점에서의 순환 순서)를 지닌 순환 대상으로서 캉터스 집합을 정의하는 것.
• 캉터스 작용소 $\mathcal{C}$의 작용을 자연스럽게 갖는 캉터스 집합의 단순화 실현을 구성하는 것.
• 캉터스 작용소 $\mathcal{C}$가 프레임드 리틀 디스크 작용소 $\mathcal{D}_2$와 호모토피 동치임을 이용하는 것.
• Poincaré 대수 $A$의 순환 코바르 구조 $C_{\text{cyclic}}(A)$에 쌍대를 적용하는 것. 이는 순환 대칭을 가진 $A^{igotimes n+1}$과 동형이다.
• 호크시ลด 호모로지 $HH_*(A)^\vee$가 캉터스 작용소의 작용을 통해 $\mathcal{D}_2$-대수의 구조를 상속받는다는 것을 보이는 것.
• $\mathcal{C}$와 $\mathcal{D}_2$ 사이의 동치를 활용하여 호크시ลด 코homology $HC^*(A)$가 $\mathcal{D}_2$-대수의 구조를 지닌다는 것을 결론 내리는 것.

실험 결과

연구 질문

• RQ1 어떤 대수적 구조의 코homology가 자연스럽게 $\mathcal{D}_2$-대수의 구조를 지니는가?
• RQ2 캉터스 작용소는 호모로지 대수학에서 $\mathcal{D}_2$-대수의 구조를 어떻게 모델링할 수 있는가?
• RQ3 Poincaré 대수의 호크시ลด 코homology는 $\mathcal{D}_2$-대수의 구조를 지니는가?
• RQ4 Poincaré 대수의 코바르 구조를 쌍대를 통해 $\mathcal{D}_2$-대수의 구조를 실현하는 데 사용할 수 있는가?
• RQ5 호크시ลด 호모로지와 코homology 사이의 쌍대성은 $\mathcal{D}_2$-대수의 구조와 어떻게 관련이 있는가?

주요 결과

• Poincaré 대수의 호크시ลด 호모로지의 쌍대는 프레임드 2차원 리틀 디스크 작용소 $\mathcal{D}_2$에 자연스럽게 작용한다.
• 캉터스 집합은 $\mathcal{D}_2$-대수의 조합적 모델을 제공하며, 그 단순화 실현은 캉터스 작용소의 작용을 자연스럽게 갖는다.
• 캉터스 작용소 $\mathcal{C}$는 $\mathcal{D}_2$와 호모토피 동치이므로, $\mathcal{D}_2$-구조를 쌍대를 통해 코homology로 이전시킬 수 있다.
• Poincaré 대수 $A$에 대해 호크시ลด 코homology $HC^*(A)$는 호크시ลด 호모로지 $HH_*(A)^\vee$의 쌍대와 동형이며, 이는 $\mathcal{D}_2$-대수의 구조를 상속받는다.
• 이 구성은 Chas와 Sullivan의 $H_*(LM)$에 대한 결과를 일반화하며, $HC^*(C^*(M)) \simeq C_*(LM^{\nu_M})$에 $\mathcal{D}_2$-대수의 구조가 있음을 보여준다.