[논문 리뷰] Gluing formula for the stable cohomotopy version of Seiberg-Witten invariants along 3-manifolds with $b_1 > 0$

Hirofumi Sasahira|arXiv (Cornell University)|2014. 08. 12.

Geometric and Algebraic Topology참고 문헌 20인용 수 3

한 줄 요약

이 논문은 제3의 조건이 만족될 경우, 경계를 가진 4차원 다양체에 대해 안정(co)호모토피 버전의 Seiberg-Witten 불변량을 구성한다. 이는 첫 번째 Betti 수가 0이 아닌 3차원 다양체에서 Seiberg-Witten-Floer 안정 호모토피 유형을 정의하고, 삼중 코homology 곱형식 $q_Y$ 가 0일 조건 하에, 이를 통해 닫힌 4차원 다양체의 불변량을 그 경계로 분해된 부분들의 상대 불변량의 조합으로 계산하는 글루잉 공식을 수립한다.

ABSTRACT

We will define a version of Seiberg-Witten-Floer stable homotopy types for a closed, oriented 3-manifold $Y$ with $b_1(Y) > 0$ and a spin-c structure $\mathfrak{c}$ on $Y$ with $c_1(\mathfrak{c})$ torsion under an assumption on $Y$. Using the Seiberg-Witten-Floer stable homotopy type, we will construct a gluing formula for the stable cohomotopy version of Seiberg-Witten invariants of a closed 4-manifold $X$ which has a decomposition $X = X_1 \cup_Y X_2$ along $Y$.

연구 동기 및 목표

• 경계가 있는 3차원 다양체 $Y$ 에 대해 $b_1(Y) > 0$ 이고 $c_1(\mathfrak{c})$ 가 토르션일 때, 조건 $q_Y = 0$ 하에 Seiberg-Witten-Floer 안정 호모토피 유형을 확장한다.
• 새로운 안정 호모토피 유형을 사용하여 경계가 $Y$ 인 4차원 다양체에 대한 상대 불변량을 정의한다.
• 경계가 $b_1(Y) > 0$ 인 4차원 다양체에 대해 안정 호모토피 버전의 Seiberg-Witten 불변량에 대한 글루잉 공식을 수립한다.
• U(1)-등변 안정 호모토피 이론을 통해 Bauer-Furuta 불변량을 경계를 가진 4차원 다양체로 일반화한다.
• 첫 번째 Betti 수가 0이 아닌 3차원 다양체를 따라 분해된 닫힌 4차원 다양체의 불변량을 계산하는 프레임워크를 제공한다.

제안 방법

• 스펙트럼 섹션 $\mathbf{P}$ 를 사용하여, $b_1(Y) > 0$, $c_1(\mathfrak{c})$ 가 토르션이고 $q_Y = 0$ 인 3차원 다양체 $Y$ 에 대해 Seiberg-Witten-Floer 안정 호모토피 유형 $\operatorname{SWF}(Y,\mathfrak{c},H,g,\mathbf{P})$ 를 정의한다.
• Melrose-Piazza 스펙트럼 섹션 구축을 활용하여, $\operatorname{Ind}\mathbf{D}_{\mathfrak{c}} = 0$ 이 $K^1(\operatorname{Pic}(Y))$ 에서 성립할 경우 $\mathbf{P}$ 가 존재함을 보장하며, 이는 $q_Y = 0$ 조건 하에 성립한다.
• 경계가 $Y$ 인 4차원 다양체 $X_1$ 에 대해, $\operatorname{SWF}(Y,\mathfrak{c},H,g,\mathbf{P})$ 의 $U(1)$-등변 안정 호모토피 군에 속하는 상대 불변량 $\psi_{X_1,\hat{\mathfrak{c}}_1,H,g,\mathbf{P}}$ 를 구성한다.
• 플로우 라인과 인덱스 쌍을 이용한 변형 방법을 적용하여, 상대 불변량의 조합과 닫힌 4차원 다양체에서의 총 불변량 사이의 호모토피를 정의한다.
• 모노폴 모듈리 공간의 컴actness를 이용하여, 작은 변형과 큰 截단값 하에서 글루잉 사상이 잘 정의됨을 보장한다.
• 연속적인 호모토피 $H_u$ 를 사용하여, 상대 불변량의 곱과 총 불변량 사이의 글루잉 공식을 수립하며, 특정 조건 하에서 조합이 원래 불변량과 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 Seiberg-Witten-Floer 안정 호모토피 유형은 $b_1 > 0$ 이고 $c_1(\mathfrak{c})$ 가 토르션인 3차원 다양체로 확장될 수 있는가?
• RQ2 가장자리의 가족 디라크 연산자 $\mathbf{D}_{\mathfrak{c}}$ 에 대해 스펙트럼 섹션이 존재하는 데 필요한 위상적 조건은 무엇인가?
• RQ3 경계가 $Y$ 이고 $b_1(Y) > 0$ 인 4차원 다양체에 대해 상대 불변량은 어떻게 정의할 수 있는가?
• RQ4 경계가 $b_1(Y) > 0$ 인 경우, 안정 호모토피 Seiberg-Witten 불변량에 대한 글루잉 공식이 존재하는가?
• RQ5 경계가 $Y$ 인 부분들에 대해 상대 불변량의 조합이 닫힌 4차원 다양체 $X = X_1 \cup_Y X_2$ 의 총 불변량을 복원하는가?

주요 결과

• 닫힘되고 올바르게 방향이 정해진 3차원 다양체 $Y$ 에 대해 $b_1(Y) > 0$, $c_1(\mathfrak{c})$ 가 토르션이고 $q_Y = 0$ 일 경우, Seiberg-Witten-Floer 안정 호모토피 유형 $\operatorname{SWF}(Y,\mathfrak{c},H,g,\mathbf{P})$ 가 잘 정의된다.
• $q_Y = 0$ 조건 하에, 가족 디라크 연산자 $\mathbf{D}_{\mathfrak{c}}$ 에 대한 스펙트럼 섹션 $\mathbf{P}$ 가 존재함이 보장되며, 이는 구성이 가능함을 보장한다.
• 경계가 $Y$ 인 4차원 다양체 $X_1$ 에 대해, $\operatorname{SWF}(Y,\mathfrak{c},H,g,\mathbf{P})$ 의 $U(1)$-등변 안정 호모토피 군에 속하는 상대 불변량 $\psi_{X_1,\hat{\mathfrak{c}}_1,H,g,\mathbf{P}}$ 가 정의된다.
• 글루잉 공식이 성립한다: 상대 불변량 $\psi_{X_1,\hat{\mathfrak{c}}_1}$ 과 $\psi_{X_2,\hat{\mathfrak{c}}_2}$ 의 조합은 닫힌 4차원 다양체 $X = X_1 \cup_Y X_2$ 에서의 총 불변량 $\psi_{X,\hat{\mathfrak{c}}}$ 와 호모토피적이다.
• 증명은 플로우 라인과 모노폴 모듈리 공간의 컴actness를 이용하여, 상대 불변량의 곱과 총 불변량 사이의 연속 호모토피 $H_u$ 를 구성함으로써 이루어진다.
• 결과는 Manolescu의 글루잉 공식을 $b_1(Y) > 0$ 경우로 일반화하며, 안정 호모토피 Seiberg-Witten 이론이 $b_1 = 0$ 경우를 초월하여 확장됨을 보여준다.