[논문 리뷰] Open-Closed String Topology via Fat Graphs

Antonio Ramirez|ArXiv.org|2006. 06. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 10

한 줄 요약

이 논문은 닫힌 다양체의 자유 루프 공간과 개방 끈 경로 공간의 호모로지 위에, 개방-폐쇄 지방 그래프의 새로운 프레임워크를 사용하여 개방-폐쇄 위상적 양자장이론(TQFT)을 구성한다. Cohen와 Godin의 끈 호모로지 TQFT을 브라인을 통한 경계 조건을 포함시켜 확장하며, 우무르 맵(umkehr maps)과 지방 그래프 정규형을 통해 끈 호모로지 연산의 존재성을 증명한다.

ABSTRACT

Given a smooth closed manifold M with a family {L_i} of closed submanifolds, we consider the free loop space LM and the spaces PM(L_i,L_j) of open strings (paths g:[0,1]->M with g(0) in L_i, and g(1) in L_j). We construct string topology operations resulting in an open-closed TQFT on the family (h_*(LM),h_*(PM(L_i,L_j)) which extends the known string topology TQFT on h_*(LM). Here, h_* is a multiplicative generalized homology theory supporting orientations for M and the L_i. To construct the operations, we introduce the notion of open-closed fat graph, generalizing fat graphs to the open-closed setting.

연구 동기 및 목표

• 자유 루프 공간에 정의된 끈 호모로지 TQFT를 부분다양체(브라인)에 끝점이 고정된 개방 끈을 포함하도록 확장한다.
• 루프 공간과 개방 끈 경로 공간의 호모로지 위에 일관된 개방-폐쇄 TQFT 구조를 정의한다.
• 지방 그래프를 개방-폐쇄 설정으로 일반화하여, 브라인으로 레이블이 지정된 경계 성분을 가진 표면을 위한 조합적 모델로 개방-폐쇄 지방 그래프를 도입한다.
• 경계 조건이 존재하는 상황에서 폰트랴긴-톰 축소(umkehr 맵)를 통해 끈 호모로지 연산의 존재성을 확립한다.
• 유도된 연산이 코버디즘(gluing)과 호환되며, 잘 정의된 개방-폐쇄 TQFT를 이룬다는 것을 증명한다.

제안 방법

• 경계 성분이 브라인으로 레이블이 지정된 표면을 표현하는 데 필요한 추가 구조를 가진 유한 그래프인 개방-폐쇄 지방 그래프를 도입한다.
• 표면과 지방 그래프 사이의 호모토피 동치를 이용하여, 경계 성분이 레이블이 지정된 지방 그래프를 통해 개방-폐쇄 코버디즘을 모델링한다.
• 유한 코드림계수 포함 사상에 대해 우무르 맵(i!)를 정의하기 위해 폰트랴긴-톰 구성법을 적용하여 끈 호모로지 연산을 정의한다.
• 호모토피 유형과 경계 구조를 유지하면서, 전개/수축 이동을 통해 임의의 개방-폐쇄 지방 그래프를 정규형으로 줄이는 알고리즘을 개발한다.
• 활성 간선과 정점에 기반한 재귀적 감소 과정을 활용하여 최대 활성 부분수형을 수축하고, 레이블이 지정된 일차 정점과 가짜 간선을 관리한다.
• 보조정리 A.3을 사용하여, 단일 정점과 단일 경계 성분을 가진 지방 그래프가 반복 순서로 반쪽 모서리를 정규화할 수 있음을 보여 정규형 구축을 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떻게 끈 호모로지 TQFT를 부분다양체(브라인)에 끝점이 고정된 개방 끈을 포함하도록 확장할 수 있는가?
• RQ2 경계 성분이 레이블이 지정된 개방-폐쇄 코버디즘을 모델링하기 위해 지방 그래프를 어떻게 일반화할 수 있는가?
• RQ3 경계가 있는 표면의 모듈리 공간에 포함된 개방 끈 경로 공간에 대해 우무르 맵는 어떻게 구성할 수 있는가?
• RQ4 개방-폐쇄 지방 그래프의 정규형은 무엇이며, 그래프 연산을 통해 어떻게 달 đạt할 수 있는가?
• RQ5 유도된 호모로지 연산이 코버디즘의 접합과 호환되며, 개방-폐쇄 TQFT의 공리계를 충족하는가?

주요 결과

• 논문은 $ h_*(LM) $ 및 $ h_*(P_M(L_i, L_j)) $의 호모로지 군의 가족 위에 잘 정의된 개방-폐쇄 TQFT를 구성한다. 이는 기존의 끈 호모로지 TQFT를 확장한다.
• 유한 코드림계수 포함 사상의 성질에 기반하여 폰트랴긴-톰 축소를 통해 끈 호모로지 연산의 존재성이 확립된다.
• 개방-폐쇄 지방 그래프의 프레임워크는 개방-폐쇄 코버디즘을 위한 조합적 모델을 제공하며, 폐쇄 끈 호모로지에서 사용된 지방 그래프 모델을 일반화한다.
• 전개 및 수축 이동의 시퀀스를 통해 개방-폐쇄 지방 그래프의 정규형을 달성하며, 이는 유일성과 계산 가능성 보장한다.
• 코버디즘의 접합과의 호환성이 확인되어, 유도된 연산이 위상적 양자장이론의 공리계를 충족함을 증명한다.
• 모든 개방-폐쇄 지방 그래프가 그래프 연산을 통해 정규형으로 줄일 수 있으며, 레이블이 지정된 일차 정점과 끝이 둥글둥글한 간선들이 연속적으로 그룹화됨을 증명한다.