[논문 리뷰] Higher string topology operations

Véronique Godin|ArXiv.org|2007. 11. 30.

Algorithms and Data Compression참고 문헌 12인용 수 48

한 줄 요약

이 논문은 닫힘 양측성 다각형의 자유 루프 공간 $LM$ 상에서 Chas와 Sullivan의 스트링 토폴로지 연산을, 경계가 있는 리만 표면의 모듈리 공간의 타원형 호모로지로 매개화된 전순서의 호모로지 보존 장 이론(HCFT)으로 확장한다. 이는 $H_*LM$ 상에서 열린-닫힘 코버디즘의 매핑 클래스군을 이용하여 연산을 구성하고, $H_*LM$ 이 양성 경계를 가진 차수 $d$의 열린-닫힘 HCFT를 지닌다는 것을 증명함으로써 [5]에서 제기된 추측을 해결한다.

ABSTRACT

Chas and Sullivan have defined an intersection-type product on the homology of the free loop space LM of an oriented manifold M. In this paper we show how to extend this construction to a topological conformal field theory of degree d. In particular, we get operations on the homology of LM which are parameterized by the homology of the moduli space of open-closed Riemann surfaces.

연구 동기 및 목표

• Chas와 Sullivan의 $H_*LM$ 상의 루프 곱을 위상적 자료로 매개화된 더 풍부한 대수적 구조로 일반화하기.
• 스트링 토폴로지 연산이 경계가 있는 리만 표면의 모듈리 공간의 호모로지에서 유래한다는 아이디어를 체계화하기.
• $(H_*LM, H_*M)$ 상에서 차수 $d$의 열린-닫힘 호모로지 보존 장 이론(HCFT)을 구성하고 [5]에서 제기된 추측을 해결하기.
• 열린-닫힘 코버디즘의 매핑 클래스군의 타원형 호모로지로 $H_*LM$ 상의 연산을 정의하기.
• 코버디즘 접합에 대한 연산의 호환성을 타원형 계수를 가진 교환 다이어그램 조건을 통해 보장하기.

제안 방법

• 들어오는, 나가는, 자유로운 경계 성분을 지닌 콪-오리엔티드 표면으로서 열린-닫힘 코버디즘을 정의하고, 순서된 구간과 원의 합집합으로의 매개화 미분동형사상을 갖춘다.
• 들어오는 경계와 나가는 경계를 점별로 고정하는 방향 보존 미분동형사상의 집합인 매핑 클래스군 $\mathit{Mod}^{\mathit{oc}}(S)$를 도입한다.
• 가상의 벡터 공간 $\chi_S = H_*(S, \partial_{\mathit{in}}S)$를 사용하여 결정선다발 $\det(\chi_S)$를 정의하고, 계수 체계에서의 타원형 $\det(\chi_S)^{\otimes d}$를 제공한다.
• 계수 $\det(\chi_S)^{\otimes d} \otimes H_*LM^{\otimes p} \otimes H_*M^{\otimes q}$를 갖는 $B\mathit{Mod}^{\mathit{oc}}(S)$의 호모로지에서 $H_*LM^{\otimes m} \otimes H_*M^{\otimes n}$으로 향하는 연산 $\mu_S$를 구성하고, 차수를 유지한다.
• 코버디즘 접합에 대한 호환성을, 연산의 조합 $\mu_{S_1} \cdot \mu_{S_2} = \mu_{S_1 \# S_2}$를 포함하는 교환 다이어그램 조건을 통해 확보하며, 등식 $\det(\chi_{S_1})^{\otimes d} \otimes \det(\chi_{S_2})^{\otimes d} \cong \det(\chi_{S_1 \# S_2})^{\otimes d}$ 를 이용한다.
• 임베딩과 복합에 대한 호환 가능한 튜브형 이웃의 공간의 계약성과 호모토피 불변성을 확보하여, 구성에서 사용된 톰 충돌의 잘 정의성과 호모토피 불변성을 보장한다.

실험 결과

연구 질문

• RQ1 Can the loop product on $H_*LM$ be extended to a full open-closed homological conformal field theory (HCFT) of degree $d$?
• RQ2 How can string topology operations be systematically parameterized by the homology of moduli spaces of bordered Riemann surfaces?
• RQ3 What is the role of twisted coefficients—specifically $\det(\chi_S)^{\otimes d}$—in defining consistent operations under gluing of cobordisms?
• RQ4 How do the mapping class groups of open-closed cobordisms act on $H_*LM$ to produce a consistent field theory structure?
• RQ5 Can the construction be made compatible with gluing via a commutative diagram involving the composition of operations?

주요 결과

• 정리 1에서 서술된 바와 같이, $(H_*LM, H_*M)$는 양성 경계를 지닌 차수 $d$의 열린-닫힘 호모로지 보존 장 이론(HCFT)의 구조를 지닌다.
• 연산은 $B\mathit{Mod}^{\mathit{oc}}(S)$의 호모로지와 계수 $\det(\chi_S)^{\otimes d} \otimes H_*LM^{\otimes p} \otimes H_*M^{\otimes q}$를 갖는다. 이는 차수를 유지하는 작용을 유도한다.
• 타원형 $\det(\chi_S)^{\otimes d}$는 $\chi_S = H_*(S, \partial_{\mathit{in}}S)$에서 유래하며, 이는 자연스럽게 $\mathit{Mod}^{\mathit{oc}}(S)$의 작용을 지닌다.
• 코버디즘 접합은 자연스러운 동형사상 $\det(\chi_{S_1})^{\otimes d} \otimes \det(\chi_{S_2})^{\otimes d} \cong \det(\chi_{S_1 \# S_2})^{\otimes d}$ 를 유도하여 장 이론의 일관성을 보장한다.
• 임베딩 복합에 대한 호환 가능한 튜브형 이웃의 공간은 계약 가능하며, 이는 톰 충돌 구성의 호모토피 불변성과 잘 정의성을 보장한다.
• 이 구성은 [5]에서 제기된 추측을 해결하며, 스트링 토폴로지를 양성 경계를 가진 전순서의 HCFT로 실현함으로써 루프 곱을 더 높은 차수의 연산으로 일반화하고, 모듈리 공간으로 매개화한다.