[논문 리뷰] Periodic Floer pro-spectra from the Seiberg-Witten equations

P. B. Kronheimer, Ciprian Manolescu|arXiv (Cornell University)|2002. 03. 23.

Geometric and Algebraic Topology참고 문헌 25인용 수 23

한 줄 요약

이 논문은 $b_1 = 1$ 이고 비토르션 스피너^c 구조를 가진 3차원 다중체 위에서 Seiberg-Witten 방정식으로부터 유한차원 근사와 Conley 지수 이론을 사용하여 주기적인 Floer pro-스펙트럼을 구성한다. 주요 결과는 주기성 모듈로 $\ell = \gcd\{(h \cup c_1(\mathfrak{s}))[Y] \mid h \in H^1(Y;\mathbb{Z})\}$에 대해 안정 호모토피 불변량 SWF이며, 이는 동치 호모로지를 가지지만 다른 호모토피 유형을 지닌 쌍대 불변량 SWF$_0$을 포함하여 Seiberg-Witten 이론의 정밀한 Floer 안정 호모토피 유형을 제공한다.

ABSTRACT

Given a three-manifold with b_1=1 and a nontorsion spin^c structure, we use finite dimensional approximation to construct from the Seiberg-Witten equations two invariants in the form of a periodic pro-spectra. Various functors applied to these invariants give different flavors of Seiberg-Witten Floer homology. We also construct stable homotopy versions of the relative Seiberg-Witten invariants for certain four-manifolds with boundary.

연구 동기 및 목표

• $b_1 = 1$ 이고 비토르션 스피너^c 구조를 가진 3차원 다중체에 대해 Seiberg-Witten Floer 호모로지의 안정 호모토피 보완을 정의하기 위해.
• Chern-Simons-Dirac 함수열의 유계 부분수준 집합 위에서 유한차원 근사와 Conley 지수 이론을 사용하여 Seiberg-Witten 모듈리 공간의 컴팩트성 상실 문제를 해결하기 위해.
• 두 불변량인 SWF (주기적 pro-스펙트럼) 와 SWF$_0$ (비정확한 편항이 있는 스펙트럼)을 구성하여, 양측 모두 Floer 안정 호모토피 유형을 포착한다.
• 새로운 불변량과 Ozsváth-Szabó Floer 호모로지 사이의 연결 고리를 수립하기 위해 자연스러운 준동형사상 $j: \text{SWF}_0 \to \text{SWF}$를 제공하기 위해.

제안 방법

• 유한차원 근사를 사용하여 Seiberg-Witten 사상의 pro-스펙트럼 불변량을 $\text{Pro-}\mathfrak{S}'$ 범주에서 구성하며, 이는 유령 사상과 역극한을 다룰 수 있도록 한다.
• Chern-Simons-Dirac 함수열 $CSD$ 는 구성 공간을 두 수준 사이로 잘라내어 기울기 흐름에 대한 Conley 지수를 정의할 수 있도록 한다.
• SWF의 경우, $H^1(Y;i\mathbb{Z})$ 의 잔여 게이지 작용이 $\ell$ 모듈로 주기성을 유도하며, 실수 차원 $\ell$ 인 복소 표현 $E$ 에 대해 자연스러운 동치 $\text{SWF} \simeq \Sigma^E(\text{SWF})$ 를 이끌어낸다.
• SWF$_0$ 의 경우, $[\nu] = -c_1(\mathfrak{s})$ 인 비정확한 편항을 도입함으로써 주기성이 제거되어 양방향으로 직접/역극한을 취할 수 있으며, 이로 인해 다른 스펙트럼이 유도된다.
• 좋은 코일리미트와 리미트를 확보하기 위해, 안정 호모토피 범주 $\mathfrak{S}$ 의 사상에서 유령 사상을 몫으로 취한 범주 $\mathfrak{S}'$ 를 사용한다.
• 흐름 범주에 대한 프레임링을 방해하는 K-이론적 차단 요소 $q(Y,\mathfrak{s}) \in K^1(\tilde{P})$ 는 $\Lambda^3 H^1(Y,\mathfrak{s};\mathbb{R})$ 위의 교차 형식으로 계산되며, 이는 캐논리컬 안정 호모토피 유형의 존재를 방해한다.

실험 결과

연구 질문

• RQ1 $b_1 = 1$ 이고 비토르션 스피너^c 구조를 가진 3차원 다중체에 대해 Seiberg-Witten Floer 호모로지의 안정 호모토피 보완을 구성할 수 있는가?
• RQ2 유한차원 근사와 Conley 지수 이론의 맥락에서 Seiberg-Witten 모듈리 공간의 비콤팩트성 문제는 어떻게 다뤄질 수 있는가?
• RQ3 잔여 게이지 작용이 $\ell$ 모듈로 SWF 불변량의 주기성을 유도하는 데 어떤 역할을 하는가?
• RQ4 비정확한 편항의 도입은 구성 과정에 어떤 영향을 미치며, 새로운 불변량 SWF$_0$ 를 어떻게 이끌어내는가?
• RQ5 새로운 불변량 SWF 와 SWF$_0$ 이나 Ozsváth-Szabó Floer 호모로지 사이의 관계는 무엇인가?

주요 결과

• 불변량 SWF 는 $\text{Pro-}\mathfrak{S}'$ 내에서 정규 동치에 대해 잘 정의된, $S^1$-동차 pro-스펙트럼이며, $\ell = \gcd\{(h \cup c_1(\mathfrak{s}}))[Y] \mid h \in H^1(Y;\mathbb{Z})\}$ 모듈로 주기적이다. 이에 따라 실수 차원 $\ell$ 인 복소 표현 $E$ 에 대해 자연스러운 동치 $\text{SWF} \simeq \Sigma^E(\text{SWF})$ 가 존재한다.
• 불변량 SWF$_0$ 는 $-c_1(\mathfrak{s})$ 에 속하는 비정확한 편항을 사용한 유한차원 근사를 통해 얻어진 스펙트럼이며, 호모로지와 동차 Borel 호모로지에 대해 동치를 유도하는 자연스러운 준동형사상 $j: \text{SWF}_0 \to \text{SWF}$ 가 존재한다.
• 방향 전환에 따라 SWF 와 $\overline{\text{SWF}}$ 는 상호 쌍대적이지만, SWF$_0$ 에 대해서는 유사한 쌍대성은 성립하지 않으며, 이는 서로 다른 호모토피 이론적 성격을 나타낸다.
• $Y = S^1 \times S^2$ 와 임의의 비토르션 스피너^c 구조에 대해, SWF 는 자명하다 ($\text{SWF} = *$), 반면 SWF$_0$ 는 비자명하므로, 두 불변량 사이의 핵심적 차이를 보여준다.
• K-이론적 차단 요소 $q(Y,\mathfrak{s}) \in K^1(\tilde{P})$ 는 $\Lambda^3 H^1(Y,\mathfrak{s};\mathbb{R}) \to \mathbb{R}$ 의 교차 형식으로 주어지며, 이는 Seiberg-Witten 흐름 범주의 프레임링을 방해하고, 따라서 캐논리컬 안정 호모토피 유형의 존재를 방해한다.