[논문 리뷰] A Homotopy Theoretic Proof of the BV Identity in Loop Homology

Hirotaka Tamanoi|ArXiv.org|2007. 06. 08.

Advanced Topics in Algebra참고 문헌 3인용 수 4

한 줄 요약

이 논문은 스펙트럴 사상과 전이 준동형사를 통해 루프 브라켓과 BV 연산자를 명시적으로 기술하여 루프 homology에서 BV 항등식의 호모토피 이론적 증명을 제공한다. 루프 브라켓과 BV 도함수는 자유 루프 공간에서 동일한 사이클에서 유래하며, 루프 매개변수화 방식의 차이만 존재하며, 이를 통해 매개변수화 보정을 통해 Δ(a·b)를 유도함으로써 BV 항등식을 도출한다.

ABSTRACT

Chas and Sullivan proved the existence of a Batalin-Vilkovisky algebra structure in the homology of free loop spaces on closed finite dimensional smooth manifolds using chains and chain homotopies. This algebraic structure involves an associative product called the loop product, a Lie bracket called the loop bracket, and a square 0 operator called the BV operator. Cohen and Jones gave a homotopy theoretic description of the loop product in terms of spectra. In this paper, we give an explicit homotopy theoretic description of the loop bracket and, using this description, we give a homological proof of the BV identity connecting the loop product, the loop bracket, and the BV operator. The proof is based on an observation that the loop bracket and the BV derivation are given by the same cycle in the free loop space, except that they differ by parametrization of loops.

연구 동기 및 목표

• 기존에 체인을 통해 정의된 루프 브라켓에 대해 호모토피 이론적 기술을 제공한다.
• 자유 루프 공간에서 S¹ 작용을 통해 BV 연산자 Δ를 스펙트럼 수준에서 기술한다.
• e⁻¹(φ(M))의 동일한 사이클을 통해 루프 브라켓과 BV 도함수의 통합 기하학적 기원을 확립한다.
• 호모토피 이론적 전이 사상과 매개변수화 보정을 사용하여 BV 항등식을 증명한다.
• 루프 곱, 브라켓, BV 연산자를 통합함으로써 루프 호모로지의 호모토피 이론적 프레임워크를 완성한다.

제안 방법

• 기본점이 공유되는 루프들을 포함하는 전역 사전상태 e⁻¹(φ(M))를 정의하기 위해 평가 사상 e: S¹ × LM × LM → M × M 를 사용한다.
• 루프 브라켓과 BV 도함수를 각각 나타내는 두 사상 ι₁, ι₂: e⁻¹(φ(M)) → LM 를 정의하며, 이들은 루프 재매개변수화의 차이만 존재한다.
• 정규 범주의 톰 클래스를 통한 전이 사상 jₚ! 을 적용하여 호모로지에서 루프 곱과 브라켓을 정의한다.
• S¹ 작용을 통해 루프 브라켓과 BV 도함수 사이의 관계를 설정하기 위해 항등식 ι₂ = Δ ∘ (π, ι₁) 를 적용한다.
• homology 다이어그램을 구성하여 (π, ι₁)과 (h × 1)을 포함함으로써 (π, ι₁)ₚ!([S¹] × a × b) 의 호모로지적 행동을 계산한다.
• 매개변수화 이동에 의한 보정을 통해 ι₁* 와 ι₂* 가 [S¹] × a × b 에 작용한 호모로지 클래스를 비교함으로써 BV 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 스펙트럼과 전이 사상을 사용하여 루프 호모로지에서 루프 브라켓을 호모토피 이론적 용어로 어떻게 기술할 수 있는가?
• RQ2 루프 매개변수화 관점에서 BV 연산자 Δ 와 루프 브라켓 사이의 스펙트럼 수준의 관계는 무엇인가?
• RQ3 자유 루프 공간에서 동일한 사이클을 사용하여 매개변수화의 차이만 존재하는 경우, BV 항등식을 증명할 수 있는가?
• RQ4 루프 공간의 맥락에서 호모로지 클래스 (Δa)·b + (-1)^(|a|-d)a·Δb 와 {a,b} 는 기하학적으로 어떻게 관련되어 있는가?
• RQ5 LM 에서의 S¹ 작용은 BV 항등식의 호모토피 이론적 유도에서 어떤 역할을 하는가?

주요 결과

• 루프 브라켓과 BV 도함수는 모두 매개변수화의 차이만 존재하는 동일한 사이클 e⁻¹(φ(M)) 에 의해 표현된다.
• 호모로지 클래스 (π, ι₁)ₚ!([S¹] × a × b) 는 [S¹] × (-1)^(d|a|)a·b + [0] × (-1)^(|a|+d(|a|-d)) {a,b} 로 분해되며, 이는 루프 곱과 브라켓을 연결한다.
• 루프 브라켓에서 ι₁ 에서 ι₂ 로의 매개변수화 이동이 Δ(a·b) 를 유도함으로써 BV 항등식이 증명된다.
• 관계 ι₂ = Δ ∘ (π, ι₁) 를 통해 항등식 Δ(a·b) = (Δa)·b + (-1)^(|a|-d)a·Δb - (-1)^(|a|-d){a,b} 가 성립함을 보였다.
• 전이 사상 jₚ! 는 M×M 에서 φ(M) 의 정규 범주의 톰 클래스를 사용하여 구성되며, 스펙트럼 수준의 계산을 가능하게 한다.
• 호모로지 계산에서의 부호 규칙은 교차 이론과 전이 사상의 부호 규칙을 엄밀히 유도하였다.