자유 루프 공간을 위한 대수적 체인 모델과 문자열 위상수학

초록

연결되고 닫힌 방향성 다양체의 자유 루프 공간을 다루는 체인 복합체 모델을 제시한다. 이 모델의 호몰로지 위에 게르슈벤베르크와 바탈린-볼코프스키 대수 구조를 정의하고, 이를 기존 문자열 위상수학의 구조와 일치시킨다. 또한 비단순연결 경우까지 포함하여, Chas‑Sullivan 문자열 위상수학의 사슬 수준 모델을 제공한다.

상세 분석

본 논문은 자유 루프 공간 (LX) 의 체인 모델을 Hochschild‑체인 복합체와 순환 바(bar) 복합체의 결합을 통해 구성한다. 구체적으로, 닫힌 방향성 다양체 (M) 의 차원 (d) 를 기준으로, (C_{}(M)) 를 차원 이동된 대수 (A:=C^{}(M)) 로 간주하고, (A) 의 Hochschild 복합체 (CH_{}(A,A)) 를 자유 루프 공간의 체인 모델로 식별한다. 이때, (A) 가 (E_{\infty}) 구조를 갖는 CDGA 로서, 그 Hochschild 복합체는 자연스럽게 Gerstenhaber 대수를 형성한다. 논문은 또한 Connes의 B 연산자를 이용해 BV 연산 (\Delta) 를 정의하고, 이 연산이 (CH_{}(A,A)) 의 차원 이동된 구조와 호환되어 BV 대수를 만든다.

비단순연결 경우를 다루기 위해, 저자는 기본군 (\pi_{1}(M)) 의 작용을 고려한 twisted Hochschild 복합체 (CH_{}^{\rho}(A,A)) 를 도입한다. 여기서 (\rho:\pi_{1}(M)\to \operatorname{Aut}(A)) 는 자연스러운 모노이드 작용이며, 이를 통해 자유 루프 공간의 여러 연결 성분을 동시에 모델링한다. 이 과정에서 순환 바 복합체 (CC_{}(A)) 를 사용해 (S^{1})-등변 호몰로지 (H_{*}^{S^{1}}(LX)) 를 계산하고, 그 위에 중력 대수 구조를 구현한다.

핵심 정리는 다음과 같다. (1) (H_{}(CH_{}(A,A))) 은 Chas‑Sullivan 이 정의한 문자열 위상수학의 Gerstenhaber 대수와 동형이다. (2) BV 연산 (\Delta) 가 Connes의 B 연산과 동등하게 작용함을 보이며, 이는 문자열 위상수학의 BV 구조와 일치한다. (3) (S^{1})-등변 호몰로지에 대한 중력 대수는 순환 바 복합체의 고차 연산을 통해 정확히 재현된다. 이러한 결과는 기존의 기하학적 정의를 완전한 대수적 사슬 수준으로 끌어올려, 계산 가능성과 범용성을 크게 향상시킨다.