문자열 위상수학에서 유리 BV 대수의 구조

초록

(M)을 1‑연결된 폐다양체라 하고, (LM)을 (M)의 자유 루프 공간이라 하자. Chas와 Sullivan은 \cite{C‑S}에서 (LM)의 특이동형 (H_{}(LM;\mathbf{k}))에 BV‑대수 구조를 정의하였다. 계수가 특성 0인 체 (\mathbf{k})일 때, 우리는 (C^{}(M))를 계층화된 대수로 보아 Hochschild 코호몰로지 (\widehat{HH}^{}(C^{}(M);C^{}(M)))에 Gerstenhaber 대수 구조가 존재함을 이용해 BV‑대수 구조를 구축한다. 이어서 (\widehat{HH}^{}(C^{}(M);C^{}(M)))와 차이가 (m)인 (H_{+m}(LM;\mathbf{k})) 사이에 BV‑대수 동형을 구성한다. 마지막으로 Chas‑Sullivan 곱과 BV 연산자가 (H_{}(LM))의 Hodge 분해와 잘 호환됨을 증명한다.

상세 요약

이 논문은 문자열 위상수학(String Topology) 분야에서 가장 핵심적인 구조인 BV‑대수(Batalin‑Vilkovisky algebra)를 새로운 관점으로 재구성한다. 기존에 Chas와 Sullivan이 자유 루프 공간 (LM)의 호몰로지에 BV‑대수 구조를 정의한 것은, 루프 합성(Loop concatenation)과 회전 연산을 통해 얻어지는 복합적인 대수적 연산을 포괄한다는 점에서 혁신적이었다. 그러나 그 구조를 다른 대수적 모델, 특히 호흐코흐(cohomology)와 Hochschild 코호몰로지 사이의 관계를 통해 이해하려는 시도는 아직 충분히 정리되지 않았다.

본 연구는 먼저 (M)이 1‑연결된 폐다양체라는 가정 하에, (C^{}(M))를 차원별로 완전한 차동대수(differential graded algebra)로 취급한다. 이때 Hochschild 코호몰로지 (\widehat{HH}^{}(C^{}(M);C^{}(M)))는 자연스럽게 Gerstenhaber 대수 구조를 갖는다. 저자들은 이 Gerstenhaber 구조에 BV‑연산자를 추가함으로써, 전통적인 BV‑대수의 정의와 일치하도록 새로운 연산자를 정의한다. 핵심 아이디어는 Connes의 B‑연산자를 Hochschild 복합에 끌어와, 차원 이동을 고려한 ‘shifted’ 구조를 만들고, 이를 통해 BV‑연산자의 사각 관계와 차수 (-1)의 미분 연산자를 만족시키는 것이다.

그 다음 단계에서는 이 BV‑대수와 문자열 위상수학에서 등장하는 BV‑대수 사이의 동형을 구축한다. 구체적으로, (\widehat{HH}^{}(C^{}(M);C^{}(M)))와 (H_{+m}(LM;\mathbf{k})) 사이에 차원 이동 ((+m))을 포함한 동형을 정의하고, 이 동형이 BV‑연산자와 Gerstenhaber 곱을 모두 보존함을 증명한다. 이는 이전에 알려진 ‘Cohen‑Jones 등식’의 고차원 일반화로 볼 수 있다.

마지막으로 저자들은 Chas‑Sullivan 곱과 BV‑연산자가 (H_{*}(LM))의 Hodge 분해와 어떻게 상호작용하는지를 분석한다. Hodge 분해는 루프 공간의 고유한 대칭성을 반영하는데, 여기서 보여지는 결과는 BV‑연산자가 각 Hodge 성분을 보존하거나 일정한 차이만큼 이동시킨다는 점이다. 이는 문자열 위상수학의 계산을 단순화하고, 고차 동형론 및 대수적 위상수학과의 교차점을 제공한다.

전반적으로 이 논문은 BV‑대수의 존재와 그 구조를 Hochschild 코호몰로지와 연결함으로써, 문자열 위상수학을 대수적 관점에서 새롭게 조명한다. 특히 특성 0 체 위에서의 유리 구조를 명확히 함으로써, 향후 양자장론, 대수적 K‑이론, 그리고 고차 대수 구조 연구에 중요한 토대를 제공한다.