[논문 리뷰] Floer field theory for tangles

Katrin Wehrheim, Chris Woodward|arXiv (Cornell University)|2015. 03. 26.

Geometric and Algebraic Topology참고 문헌 40인용 수 10

한 줄 요약

이 논문은 흩어진 표면 위의 추적 없는 홀로노미를 가진 평탄한 SU(r)-bundle의 모듈리 공간에 쿼ilted Floer 이론을 적용하여 끈의 함수자 값 불변량을 구성한다. tangle bordism를 단일 임계점이 있는 기본 조각들로 분해함으로써, 저자들은 일반화된 Fukaya 카테고리 사이의 $A_\infty$-함수자 값을 부여하는 심플렉틱 field theory를 정의하며, Cerf 분해에 대한 불변성을 증명하고, 다섯 개의 구멍이 있는 구면에서 Seidel의 계산을 통해 심플렉틱 사상 클래스 군 원소의 비자명성을 확립한다.

ABSTRACT

We use quilted Floer theory to construct functor-valued invariants of tangles arising from moduli spaces of flat bundles on punctured surfaces. As an application, we show the non-triviality of certain elements in the symplectic mapping class groups of moduli spaces of flat bundles on punctured spheres.

연구 동기 및 목표

• 라그랑주 Floer 코hom올로지와 쿼일티드 Floer 이론을 사용하여 tangle에 대한 함수자 값 불변량을 개발하는 것.
• 표호와 쌍대류류에 대한 적합성 조건을 도입하여 평탄한 번들의 모듈리 공간에서의 특이성과 비단조성 문제를 해결하는 것.
• 단일 임계점이 있는 기본 조각들로 분해함으로써 tangle과 그래프에 대한 일관된 이론을 정의하는 것.
• Cerf 분해에 대한 독립성과 등가 관계에서의 불변성에 대한 증명을 통해 구성의 독립성을 확립하는 것.
• 다섯 개의 구멍이 있는 구면에서의 계산을 통해 심플렉틱 사상 클래스 군 원소의 비자명성을 입증하는 것.

제안 방법

• 평탄한 SU(r)-bundle의 추적 없는 홀로노미를 가진 모듈리 공간의 일반화된 Fukaya 카테고리 사이의 함수자 값을 쿼일티드 Floer 이론을 사용하여 부여하는 것.
• 고립된 임계점을 가진 모스 함수를 통해 tangle bordism를 기본 조각들로 분해하여, 매끄럽고 단조로운 라그랑주 대응관계를 보장하는 것.
• 각 기본 bordism-with-tangle에 대해 확장 가능한 제품 모듈리 공간의 부분집합으로서 일반화된 라그랑주 대응관계를 정의하는 것.
• 결합관계에 상대적 스핀 구조를 부여하여 Floer 이론적 함수자가 잘 정의되도록 하며, [51]과 [56]의 결과에 의존하는 것.
• Cerf 이동에 대한 불변성을 증명하기 위해, 정점과 인덱스 1 임계점 전환을 포함한 모든 기본 이동에서 대응관계의 복합 등가성을 보이는 것.
• 다섯 개의 구멍이 있는 구면에서 Seidel의 계산 결과를 활용하여 모듈리 공간의 심플렉틱 사상 클래스 군에 비자명한 원소를 도출하는 것.

실험 결과

연구 질문

• RQ1 추적 없는 홀로노미를 가진 평탄한 번들의 모듈리 공간에서 라그랑주 Floer 이론을 사용하여 tangle에 대한 함수자 값 불변량을 구성할 수 있는가?
• RQ2 특이성과 비단조성 문제를 가진 평탄한 번들의 모듈리 공간을 어떻게 정규화하여 쿼일티드 Floer 불변량을 지원할 수 있는가?
• RQ3 tangle bordism를 기본 조각들로 분해한 다양한 방법에 대해 결과 함수자가 불변인가?
• RQ4 이 논문에서 구성된 심플렉틱 field theory는 인스탄턴 knot 불변량이나 Atiyah-Floer 추측과 어떤 관계가 있는가?
• RQ5 구멍이 난 표면 위의 평탄한 번들의 모듈리 공간의 심플렉틱 사상 클래스 군에서 비자명한 원소를 탐지할 수 있는가?

주요 결과

• 논문은 tangle 카테고리 Tan(X,r,d)에서 $A_\infty$-카테고리의 카테고리로의 잘 정의된 함수자를 구성하며, 각 라벨이 부여된 경계에 대해 평탄한 번들의 모듈리 공간의 일반화된 Fukaya 카테고리에 해당하는 값을 할당한다.
• Cerf 이동, 특히 정점 전환과 인덱스 1 임계점 전환에 대한 불변성에 의해, 구성은 Cerf 분해의 선택에 독립적임을 입증하였다.
• 같은 라벨을 가진 다섯 개의 구멍이 있는 구면의 경우, Seidel의 결과를 통해 심플렉틱 사상 클래스 군에 비자명한 원소가 존재함을 확인하였다.
• 기본 bordism-with-tangle에 대응하는 일반화된 라그랑주 대응관계는 라벨과 쌍대류류에 대한 적합성 조건을 만족할 경우 매끄럽고 단조로움을 보인다.
• 결과로 얻어진 이론은 그래프로 확장되며, 적합한 라벨을 가진 장식된 그래프에 대한 심플렉틱 값 이론을 정의한다.
• 기저 모듈리 공간이 특이하더라도, 적합성과 단조성 조건 덕분에 함수자 불변량은 잘 정의되고 등가 관계에서 독립적임을 입증하였다.