[논문 리뷰] An Algebraic Chain Model of String Topology

Xiaojun Chen|ArXiv.org|2007. 08. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 25인용 수 5

한 줄 요약

이 논문은 닫힘 및 올바르게 방향이 정해진 다성분의 자유 루프 공간에 대해 윌슨 다항식 형태와 전류를 사용하여 사슬 수준의 대수적 모델을 구축한다. 이 모델은 호흐실트 호몰로지가 카스-슐레르의 루프 곱과 동형인 게르스텐하버 대수의 구조를 지닌다는 것을 보이며, 또한 $S^1$-작용이 콘스-유형의 연산자에 의해 상승되어 비탈린-빌코비츠 대수의 구조를 형성함을 보여주며, 단순 연결 다성분에 한정되지 않은 경우에도 성립한다.

ABSTRACT

A chain complex model for the free loop space of a connected, closed and oriented manifold is presented, and on its homology, the Gerstenhaber and Batalin-Vilkovisky algebra structures are defined and identified with the string topology structures. The gravity algebra on the equivariant homology of the free loop space is also modeled. The construction includes non simply-connected case, and therefore gives an algebraic and chain level model of Chas-Sullivan's String Topology.

연구 동기 및 목표

• 다성분의 자유 루프 공간에서 스트링 토폴로지의 대수적 구조—게르스텐하버, 비탈린-빌코비츠, 그리고 그레이비티 대수—의 사슬 수준 모델을 제공하는 것.
• 스트링 토폴로지에서 사슬 수준의 교차 곱을 정의하는 데서 발생하는 과제를 해결하기 위해 윌슨 다항식 형태와 전류를 이용한 DG 열린 프로베니우스 유사 대수를 도입하는 것.
• 모델을 단순 연결 다성분을 넘어서 일반화하여, 카스-슐레르의 스트링 토폴로지를 단순 연결이 아닌 경우에도 일반화하는 것.
• 자기 동치 텐서 곱 $A(M)\hat{\otimes}\hat{\Omega}(C(M))$와 완전한 순환 코바르 복합체 $\widehat{CC}_*(C(M))$ 사이의 준동형을 확립하여 자유 루프 공간 사슬 복합체를 모델링하는 것.

제안 방법

• 윌슨 다항식 형태 $A(M)$와 전류 $C(M)$를 사용하여 DG 열린 프로베니우스 유사 대수 $(A(M), C(M), \iota)$를 구성한다. 여기서 $A(M)$는 DG 대수이고 $C(M)$는 호환 가능한 코프로덕트를 지닌 DG 코알제브라이다.
• 자기 동치 바르 복합체 $\widehat{CC}_*(C(M))$를 자유 루프 공간 $LM$의 사슬 모델로 사용하며, 순환 바 복합체와 유사한 왜곡된 미분을 갖는다.
• 자기 동치 곱 $A(M)\hat{\otimes}\hat{\Omega}(C(M))$에서의 왜곡된 곱을 통해 $HH_*(C(M))$에서 루프 곱을 정의하며, 이것이 교환 법칙을 만족하고 게르스텐하버 괄호를 지닌다는 것을 보인다.
• 자유 루프 공간의 $S^1$-작용을 모델링하기 위해 $\widehat{CC}_*(C(M))$에 콘스-유형의 연산자 $B$를 도입하며, 이는 호몰로지 상에서 비탈린-빌코비츠 연산자를 유도한다.
• 비탈린-빌코비츠 대수의 구조가 준동형과 프로베니우스 호환성에 의해 카스-슐레르의 비탈린-빌코비츠 대수와 동형임을 보장한다.
• 왜곡된 텐서 곱에서 미분과 $B$-작용의 직접 계산을 통해 비탈린-빌코비츠 및 그레이비티 대수의 공리를 검증하며, 기존의 대수적 항등식과 일치함을 보인다.

실험 결과

연구 질문

• RQ1 자유 루프 공간의 사슬 수준 모델을 구성하여 스트링 토폴로지의 전체 대수적 구조—게르스텐하버 및 비탈린-빌코비츠 대수—를 포괄할 수 있는가?
• RQ2 교차성 조건이 실패할 경우 사슬 수준에서 프로베니우스 호환성 조건을 어떻게 대수적으로 실현할 수 있는가?
• RQ3 이 모델은 단순 연결 다성분을 넘어서도 유지되며, 스트링 토폴로지의 구조를 보존하는가?
• RQ4 자유 루프 공간의 $S^1$-작용을 콘스-유형의 연산자에 의해 사슬 복합체에서 대수적으로 모델링할 수 있는가?
• RQ5 전류 복합체 $C(M)$의 호흐실트 호몰로지 $HH_*(C(M))$는 카스-슐레르의 스트링 토폴로지 호몰로지 $H_*(LM; \mathbb{Q})$와 게르스텐하버 대수로서 동형인가?

주요 결과

• 전류 복합체 $C(M)$의 호흐실트 호몰로지 $HH_*(C(M))$는 카스-슐레르의 자유 루프 공간 호몰로지 $H_*(LM; \mathbb{Q})$에서의 루프 곱과 동형인 게르스텐하버 대수의 구조를 지닌다.
• 자유 루프 공간 $LM$의 $S^1$-작용이 $\widehat{CC}_*(C(M))$에 콘스-유형의 연산자 $B$로 상승되며, 이는 $HH_*(C(M))$에 카스-슐레르의 비탈린-빌코비츠 대수와 동형인 비탈린-빌코비츠 대수의 구조를 유도한다.
• 이 모델은 단순 연결 다성분에 국한되지 않으며, 단순 연결이 아닌 경우에도 스트링 토폴로지를 일반화하여 더 넓은 다성분의 범주로 확장한다.
• 왜곡된 곱 $A(M)\hat{\otimes}\hat{\Omega}(C(M))$는 $\widehat{CC}_*(C(M))$와 준동형이므로, 이 사슬 모델이 정확한 호몰로지를 계산한다는 것을 보장한다.
• 비탈린-빌코비츠 연산자는 $B$의 호흐실트 복합체에서의 작용에서 유도되며, 그의 미분과 $B$-작용의 명시적 계산을 통해 게르스텐하버 괄호와의 호환성이 검증된다.
• 미분과 $B$-작용의 대수적 항등식이 기대되는 그레이비티 대수의 관계와 일치함을 보이며, 이는 모델이 전체 스트링 토폴로지 대수적 구조를 포괄하고 있음을 확인한다.