[논문 리뷰] A Functorial Symplectic Instanton Homology via Traceless Character Varieties

Henry T. Horton|arXiv (Cornell University)|2016. 11. 29.

Geometric and Algebraic Topology인용 수 3

한 줄 요약

이 논문은 히가드 분할에 관련된 SU(2) 추적 불가능한 특성 다양체의 라그랑주 플로어 homology를 사용하여, 닫힘이고 방향성이 있는 3차원 다양체에 대해 함자적 심플렉틱 인스탄톤 호몰로지 SI(Y)를 구성한다. 이는 히가드 분할에 대해 자연스럽게 정의되며, 이sováth–Szabó의 Heegaard 플로어 호몰로지 기법을 심플렉틱 인스탄톤 설정으로 일반화하고, r > 2인 SU(r)로의 확장을 통해 구조군의 랭크를 높인다. 이로써 3차원 다양체 간의 코바리언스에 대해 함자적 프레임워크를 제공한다.

ABSTRACT

Using ideas pioneered by Wehrheim and Woodward, we associate to any closed, oriented $3$-manifold $Y$ a finitely generated abelian group $\mathrm{SI}(Y)$ obtained from (quilted) Lagrangian Floer homology in a certain moduli space of $\mathrm{SU}(2)$-representations associated to a special kind of handlebody decomposition of $Y$. We show that $\mathrm{SI}(Y)$ is natural with respect to Heegaard splittings of $Y$, so that it may be considered as a concrete group as opposed to an isomorphism class of a group. By adapting constructions of Ozsv\'ath and Szab\'o from Heegaard Floer homology to our setting, we show how to obtain functorial invariants of cobordisms between connected $3$-manifolds. We also generalize the construction to the case of $\mathrm{SU}(r)$-representations, $r > 2$.

연구 동기 및 목표

• 닫힘이고 방향성이 있는 3차원 다양체에 대해, 이소모르피즘 클래스에 의존하지 않는 구체적이고 자연스러운 심플렉틱 인스탄톤 호몰로지 불변량 SI(Y)를 정의하는 것.
• Ozsváth와 Szabó의 Heegaard 플로어 호몰로지 기법을 심플렉틱 인스탄톤 설정으로 적응시키는 것.
• SU(2)에서의 구성 방식을 r > 2인 SU(r)로 일반화하여 불변량의 범위를 넓히는 것.
• 이 호몰로지 이론을 사용하여 연결된 3차원 다양체 간의 코바리언스에 대해 함자성을 확립하는 것.
• 추적 불가능한 SU(r)-표현의 모듈리 공간을 통해 인스탄톤 호몰로지의 기하학적 및 위상수학적 프레임워크를 제공하는 것.

제안 방법

• Wehrheim과 Woodward의 퀼트된 라그랑주 플로어 호몰로지 프레임워크를 사용하여, SU(2)-표현의 모듈리 공간에서 SI(Y)를 정의한다.
• Y의 특수한 하비타울 분해를 통해 SI(Y)를 구성함으로써, 히가드 분할에 대해 자연스러움을 확보한다.
• 호몰로지 군을 하비타울 분해에 관련된 두 라그랑주 부분다양체의 라그랑주 플로어 호몰로지로 정의한다.
• 특성 다양체와 라그랑주 설정에서 SU(2)를 SU(r)로 대체함으로써, SU(r)-표현으로의 구성 일반화를 수행한다.
• Ozsváth–Szabó의 코바리언스 맵을 심플렉틱 인스탄톤 설정으로 적응시켜, 코바리언스에 대해 함자성을 보장한다.
• 결과로 얻어진 불변량이 유한 생성 아벨 군이며, 보조 선택에 관계없이 자연스러운 이소모르피즘을 제외하고 독립적임을 확보한다.

실험 결과

연구 질문

• RQ1 히가드 분할을 사용하여, 이소모르피즘 클래스가 아니라 특정 군으로서의 심플렉틱 인스탄톤 호몰로지를 정의할 수 있는가?
• RQ2 심플렉틱 설정에서 코바리언스에 대해 인스탄톤 호몰로지의 함자성을 어떻게 확립할 수 있는가?
• RQ3 SU(2)의 구성 방식을 r > 2인 SU(r)로 얼마나 넓히는 것이 가능한가?
• RQ4 추적 불가능한 특성 다양체는 잘 정의된 인스탄톤 호몰로지 불변량을 정의하는 데 어떤 역할을 하는가?
• RQ5 Wehrheim과 Woodward의 퀼트된 플로어 호몰로지 기법은 함자적 3차원 다양체 불변량을 구성하는 데 어떻게 적용되는가?

주요 결과

• SI(Y)는 유한 생성 아벨 군이며, 임의의 닫힘이고 방향성이 있는 3차원 다양체 Y에 대해 자연스럽게 부여되며, 선택에 관계없이 자연스러운 이소모르피즘을 제외하고 독립적이다.
• 구성은 히가드 분할에 대해 자연스럽다. 즉, SI(Y)는 이소모르픽 군의 집합이 아니라 특정 군으로서 잘 정의되어 있다.
• Ozsváth–Szabó의 코바리언스 맵 프레임워크를 심플렉틱 인스탄톤 설정으로 적응시켜, 연결된 3차원 다양체 간의 코바리언스에 대해 함자적 불변량을 확보한다.
• 구성은 r > 2인 SU(r)-표현으로 일반화되어, 더 높은 랭크의 구조군으로의 불변량을 확장한다.
• 결과로 얻어진 호몰로지 이론은 코바리언스에 대해 함자적이며, 심플렉틱 인스탄톤 맥락에서 양자 위상 이론 유사한 구조를 제공한다.
• 추적 불가능한 특성 다양체의 사용은 모듈리 공간이 라그랑주 플로어 호몰로지에 적합하고, 필수적인 SU(r)-표현 데이터를 포괄함을 보장한다.