심플렉틱 A 무한대 대수와 문자열 위상수학 연산

초록

본 논문은 정형적인 푸앵카레 이중성 공간(예: 유한 차원 매니폴드)의 자유 루프 공간에 대한 일반 및 등변 동류에 루프 곱, 루프 괄호, 문자열 괄호와 같은 문자열 위상수학 연산이 존재함을 증명한다. 이를 위해 C∞‑대수의 폐색 이론과 유리 동형론을 이용해 대칭(심플렉틱) A∞‑구조를 구축하고, 그 구조가 호모토피 불변임을 보인다.

상세 분석

논문은 먼저 푸앵카레 이중성(Poincaré duality)을 갖는 유한 차원 체인 복합체 A에 대해 비퇴화 대칭 2‑형식 ω를 정의한다. 이 ω는 A의 코호몰로지 H⁎(A)와 H_{dim‑*}(A) 사이의 비대칭 쌍대성을 구현하며, ω가 닫혀 있다는 조건은 A가 ‘심플렉틱 A∞‑대수’라는 구조를 가질 수 있는 전제조건이 된다. 저자들은 기존의 최소 모델 이론을 이용해 A의 C∞‑구조(즉, 무한 차원의 연산 μ_k)가 존재함을 보이고, 이어서 ‘사이클릭’(cyclic) 조건을 만족하도록 μ_k를 수정한다. 이 과정에서 사용되는 핵심 도구는 ‘폐색 이론(obstruction theory)’이다. 구체적으로, μ_2는 이미 주어진 곱이며, μ_3, μ_4,… 를 차례로 정의하면서 각 단계마다 ω와의 사이클릭성 조건을 만족시키는지 확인한다. 만약 장애 클래스가 사라지면(즉, 차수별 코사인 복합체의 코호몰로지가 0이면) 다음 차수의 연산을 정의할 수 있다. 푸앵카레 이중성 공간에서는 이러한 장애가 모두 사라짐을 보이므로, 전 차수에 걸쳐 완전한 심플렉틱 A∞‑구조를 얻는다.

구조가 완성되면, 자유 루프 공간 LM의 체인 복합체 C_(LM)와 A의 Hochschild 복합체 CH_(A,A) 사이에 강한 동형사상이 존재함을 보인다. 이 동형사상은 ‘고전적’인 문자열 위상수학 연산을 Hochschild(co)homology의 대수적 연산으로 전이한다. 구체적으로, 루프 곱은 Hochschild 코호몰로지의 카프(Cup)곱과 동일시되고, 루프 괄호는 Gerstenhaber 괄호와 일치한다. 또한 S¹-작용에 의해 유도되는 Connes B 연산을 이용해 등변 호몰로지 H_*^{S¹}(LM) 위에 정의되는 문자열 괄호는 Hochschild 복합체의 순환(co)homology에 대한 Lie 괄호와 동형임을 증명한다.

마지막으로 저자들은 이러한 연산이 ‘호모토피 불변’임을 확인한다. 이는 최소 모델이 매니폴드의 유리 동형 유형에만 의존하고, 심플렉틱 A∞‑구조가 최소 모델 사이의 A∞‑동형사상에 따라 전이되기 때문이다. 따라서 매니폴드가 서로 유리 동형이면, 그들의 자유 루프 공간에 정의된 모든 문자열 위상수학 연산은 동형이다.

이러한 결과는 기존에 Chas‑Sullivan이 정의한 연산을 대수적·동형론적 관점에서 재구성함으로써, 연산들의 존재와 불변성을 보다 체계적으로 이해할 수 있게 만든다. 특히, 심플렉틱 A∞‑대수와 사이클릭 C∞‑구조 사이의 깊은 연관성을 밝힘으로써, 문자열 위상수학을 고전적인 대수위상학(특히 Hochschild 및 순환(co)homology)과 연결시키는 중요한 교량 역할을 수행한다.