[논문 리뷰] Exact triangles in Seiberg-Witten Floer theory. Part III: proof of exactness

Matilde Marcolli, Bai‐Ling Wang|ArXiv.org|2000. 09. 15.

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

한 줄 요약

이 논문은 끈 이론에서의 3차원 동치구면에서의 끈 수술에 기반한 삼각형의 정확성을 Seiberg-Witten Floer homology에서 기하적 극한과 구멍이 있는 코바리에이션에 대한 접합 기법을 사용하여 확립한다. 이는 사슬 복합체의 유도 범주에서 다음 시퀀스 $ C_*(Y_1) \xrightarrow{w^1_*} C_*(Y,\mu) \xrightarrow{w^0_*} \bigoplus_k C_{(*)}(Y_0,\mathfrak{s}_k) \xrightarrow{\bar{w}^2_*} C_*(Y_1)[-1] $ 가 분명한 삼각형을 이룬다는 것을 증명하여, Seiberg-Witten Floer 이론의 맥락에서 표준적인 정확한 삼각형의 존재를 확인한다.

ABSTRACT

This is the third part of the work on the exact triangles. We construct chain homomorphisms and show exactness of the resulting sequence.

연구 동기 및 목표

• 3차원 동치구면 내의 끈에서의 0- 및 1-수술에 기반한 Seiberg-Witten Floer homology에서 삼각형의 정확성을 확립한다.
• 수술 코바리에이션 $ W_1 $ 과 $ W_0 $ 를 통해 사슬 사상 $ w^1_* $ 와 $ w^0_* $ 를 구성하고, 모듈리 공간 분해와 호환되도록 한다.
• 합성 $ w^0_* \circ w^1_* = 0 $ 이며, $ w^0_* $ 는 전사적이고 $ w^1_* $ 는 단사적임을 증명하여 중간 항에서의 정확성을 확보한다.
• 기하적 극한과 유한 에너지 모노폴의 접합을 사용하여, 결과적으로 사슬 복합체의 유도 범주에서 분명한 삼각형을 이루는 시퀀스를 구성한다.

제안 방법

• 수술 코바리에이션 $ W_1 $ 과 $ W_0 $ 에서의 스핀^c 구조를 사용하여 사슬 사상 $ w^1_* $ 과 $ w^0_* $ 를 구성하며, 경계 성분에서 주어진 구조로 제한된다.
• V 를 끈 보완체로 하여 $ V \times \mathbb{R} $ 에서의 유한 에너지 모노폴의 모듈리 공간의 기하적 극한을 분석한다.
• 특성 다양체 $ \chi(T^2) $ 의 커버링에서의 해석적 삼각형에서 유도된 사전 접합 자료를 사용하며, 스핀^c 구조에 의해 결정된 라그랑주 수에 따라 경계가 설정된다.
• 접합 정리를 적용하여, 구멍이 있는 코바리에이션에서의 모듈리 공간을 사전 접합 자료와 동일하게 하여, $ W_1 $ 과 $ W_0 $ 에서의 모듈리 공간 사이의 미분동형을 확립한다.
• 모듈리 공간 $ \mathcal{M}^{W_1}_\ell(a_1,a) $ 과 $ \mathcal{M}^{W_0}_k(j(a_1),\pi(a)) $ 간의 방향 전환 미분동형을 비교하여 $ w^0_* \circ w^1_* = 0 $ 를 증명한다.
• 기하적 극한이 $ \epsilon \to 0 $ 일 때 수렴함을 이용하여 복합 코바리에이션에서의 해의 대수적 수와 원래 Floer 복합체에서의 수를 동일하게 한다.

실험 결과

연구 질문

• RQ1 3차원 동치구면 내의 끈에서의 0- 및 1-수술에 의해 유도된 사슬 복합체의 시퀀스가 Seiberg-Witten Floer homology에서 정확한 삼각형을 이룬다.
• RQ2 수술 코바리에이션을 통해 정의된 사상 $ w^1_* $ 과 $ w^0_* $ 가 정확성 조건 $ w^0_* \circ w^1_* = 0 $ 을 만족하는가?
• RQ3 유한 에너지 모노폴의 기하적 극한 $ V \times \mathbb{R} $ 과 $ \chi(T^2) $ 에서의 해석적 삼각형이 코바리에이션에서의 해의 접합에 어떻게 기여하는가?
• RQ4 결과로 얻어진 시퀀스가 사슬 복합체의 유도 범주에서 표준적인 분명한 삼각형과 준동형인가?
• RQ5 기하적 극한을 통해 복합 코바리에이션의 모듈리 공간에서의 플로우 라인의 대수적 수를 원래 Floer 복합체의 수와 일치시킬 수 있는가?

주요 결과

• 합성 $ w^0_* \circ w^1_* = 0 $ 는 모듈리 공간 $ \mathcal{M}^{W_1}_\ell(a_1,a) $ 과 $ \mathcal{M}^{W_0}_k(j(a_1),\pi(a)) $ 사이의 방향 전환 미분동형을 통해 증명되며, 이는 정확성 조건을 의미한다.
• $ w^1_* $ 는 단사적이고 $ w^0_* $ 는 전사적임을 보여주는 페어링 항등식 $ \langle j(a_1'), w^1_*(a_1) \rangle = \delta_{a_1',a_1} $ 과 $ \langle a_0, w^0_*(a) \rangle = \delta_{a_0,\pi(a)} $ 이다.
• 영차원 모듈리 공간 $ \mathcal{M}^{\bar{W}_2}_k(a_j^{(0)}, a_i^{(1)}) $ 에서의 해의 대수적 수는 원래 복합체와 일치한다: $ N^{\bar{W}_2}_k(a_j^{(0)}, a_i^{(1)}) = n_{Y,\mu}(a_j^{(0)}(\epsilon), a_i^{(1)}(\epsilon)) $.
• 충분히 작은 $ \epsilon \leq \epsilon_0 $ 에 대해, 시퀀스 $ C_*(Y_1) \xrightarrow{w^1_*} C_*(Y,\mu) \xrightarrow{w^0_*} \bigoplus_k C_{(*)}(Y_0,\mathfrak{s}_k) \to 0 $ 는 복합체의 정확한 삼중항이 된다.
• 완전한 시퀀스 $ C_*(Y_1) \xrightarrow{w^1_*} C_*(Y,\mu) \xrightarrow{w^0_*} \bigoplus_k C_{(*)}(Y_0,\mathfrak{s}_k) \xrightarrow{\bar{w}^2_*} C_*(Y_1)[-1] $ 는 사슬 복합체의 유도 범주에서 분명한 삼각형이다.
• 제거된 점 $ \{x_1\} $ 과 $ \{x_0\} $ 을 가진 $ W_1 \setminus \{x_1\} $ 과 $ W_0 \setminus \{x_0\} $ 에서의 해의 기하적 극한이 제품 영역을 늘린 후 복합 코바리에이션 $ W = W_1 \cup_Y W_0 $ 에서의 해로 수렴하며, 이는 접합 및 수의 계산 논증을 가능하게 한다.