[논문 리뷰] Loop coproducts in string topology and triviality of higher genus TQFT operations

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

Logic, programming, and type systems참고 문헌 5인용 수 3

한 줄 요약

이 논문은 오리엔티어블 표면의 종수 1 이상인 경우 모든 스트링 토폴로지 연산이 심플렉틱적으로 0이 되며, 이는 가속도가 수축 가능한 고리의 호모로지에서 비자명한 델타곱의 단순성 때문임을 증명한다. 델타곱은 오직 수축 가능한 고리의 성분에서만 비자명하며, 상수 고리 클래스로만 사라지며, 이 값은 다양체의 오일러 특성에 의해 스케일링된다. 이로 인해 고차수의 TQFT 연산이 0이 된다.

ABSTRACT

Cohen and Godin constructed positive boundary topological quantum field theory (TQFT) structure on the homology of free loop spaces of oriented closed smooth manifolds by associating a certain operations called string operations to orientable surfaces with parametrized boundaries. We show that all TQFT string operations associated to surfaces of genus at least one vanish identically. This is a simple consequence of properties of the loop coproduct which will be discussed in detail. One interesting property is that the loop coproduct is nontrivial only on the degree $d$ homology group of the connected component of $LM$ consisting of contractible loops, where $d=\dim M$, with values in the degree 0 homology group of constant loops. Thus the loop coproduct behaves in a dramatically simpler way than the loop product.

연구 동기 및 목표

• 스트링 토폴로지에서 델타곱의 구조와 행동을 이해하는 것.
• 델타곱이 고차수의 위상적 양자장 이론(TQFT) 스트링 연산에 끼치는 영향을 조사하는 것.
• 종수 g ≥ 1인 표면과 관련된 스트링 연산이 언제 0이 되는지 규명하는 것.
• 오일러 특성이 이러한 연산의 0성에 미치는 영향을 명확히 하는 것.
• 델타곱의 정확한 정의역과 상사의 영역을 규명하는 것.

제안 방법

• 자유 고리 공간의 호모로지 클래스에 대한 델타곱의 작용을 분석하며, 특히 수축 가능한 고리 성분에 집중한다.
• 논문은 캡곱의 프로베누스 호환성과 코디버레이션 성질을 사용하여 델타곱의 구조적 제약 조건을 유도한다.
• 고리 곱의 호모토피 이론적 정의를 적용하고, 팬츠 분해를 통해 이를 곱으로 확장한다.
• 핵심 식은 Ψ(a₁⋯aₚ) = χ(M)[c₀]a₁⋯aₗ ⊗ [c₀]aₗ₊₁⋯aₚ이며, 이는 오일러 특성과 상수 고리 클래스를 통해 델타곱을 정의한다.
• χ(M)[c₀]·x = 0 (x가 도수 0 이외의 경우)임을 보여줌으로써 0성 결과를 도출하며, 특히 χ(M) = 0 또는 토파이션 프리 설정에서 성립한다.
• 증명은 상수 고리에서 S¹ 작용의 단순성과 Δ([c₀]) = 0임을 활용한다.

실험 결과

연구 질문

• RQ1 델타곱은 자유 고리 공간의 모든 성분에서 0이 되는가, 유일하게 수축 가능한 고리 성분에서만 비자명한가?
• RQ2 종수 g ≥ 1인 표면과 관련된 스트링 연산이 언제 0이 되는가?
• RQ3 오일러 특성 χ(M)은 델타곱의 행동에 어떻게 영향을 미치는가?
• RQ4 델타곱은 비자명한 방식으로 BV 연산자와 캡곱과 호환되는가?
• RQ5 Δ와 Ψ를 포함하는 다이어그램에서의 교환 법칙 실패는 무엇이며, 이는 0이 되는가?

주요 결과

• 종수 g ≥ 1 또는 q ≥ 3개의 출구 경계를 가진 표면과 관련된 모든 스트링 연산은 심플렉틱적으로 0이 된다.
• 델타곱 Ψ는 오직 H_d((LM)_[1])에서만 비자명하며, 이는 수축 가능한 고리 성분의 도수 d 호모로지이다.
• Ψ의 상은 H₀((LM)_[1]) ⊗ H₀((LM)_[1]) ≅ ℤ[c₀] ⊗ [c₀]에 완전히 포함되며, 이는 상수 고리의 호모로지이다.
• 예를 들어 홀수 차원 다양체와 같이 오일러 특성이 0인 다양체에서는 델타곱이 심플렉틱적으로 0이 된다.
• 모든 a ∈ H_*(LM)에 대해 (Δ×1 + 1×Δ)Ψ(a) = 0 임을 보여, 델타곱의 BV 연산자와의 호환성의 단순성을 입증한다.
• a ∈ H_*(M)이면 고리 브라켓 {a,b}의 델타곱은 0이 된다: Ψ({a,b}) = 0.