[논문 리뷰] Seiberg-Witten vanishing theorem for $S^1$-manifolds with fixed points

Scott Baldridge|ArXiv.org|2002. 01. 07.

Geometric and Algebraic Topology참고 문헌 9인용 수 8

한 줄 요약

이 논문은 $b_+ > 1$를 만족하고 고정점이 하나 이상 있는 모든 매끄럽고 닫힘며 방향이 주어진 4차원 다양체에 대해 Seiberg-Witten 불변량이 0이 됨을 증명한다. 궤도 공간과 등변 플러밍의 위상적 제약 조건을 이용해 비음성(self-intersection)이 0 이상인 본질적인 2차원 구를 구성함으로써 불변량이 0이 되게 하고, 이를 통해 그러한 원환면 작용을 갖는 심플렉틱 4차원 다각체는 유리 또는 룰러 표면이어야 한다는 것을 보여준다.

ABSTRACT

In this paper we show that the Seiberg--Witten invariant is zero for all smooth 4--manifolds with $b_+{>}1$ which admit circle actions that have at least one fixed point. Furthermore, we show that all symplectic 4--manifolds which admit circle actions with fixed points are rational or ruled, and thus admit a symplectic circle action.

연구 동기 및 목표

• 원환면 작용과 고정점을 갖는 4차원 다각체에 대한 Seiberg-Witten 불변량을 계산하기 위해.
• 고정점이 있는지 여부에 관계없이 $S^1$-다양체에 대한 불변량의 분류를 완성함으로써 Seiberg-Witten 이론의 간극을 메우기 위해.
• 유한성 정리와 기존의 심플렉틱 구조 결과를 결합하여 원환면 작용과 고정점을 갖는 심플렉틱 4차원 다각체를 분류하기 위해.
• 이러한 심플렉틱 다각체가 반드시 유리 또는 룰러 표면이어야 한다는 것을 입증함으로써 Audin과 McDuff가 시작한 분류 프로그램을 완성하기 위해.

제안 방법

• 원환면 작용의 궤도 공간 $Y$ 의 위상을 분석하기 위해 Smith–Gysin 수열과 궤도 위상수학(cohomology)을 사용하기 위해.
• 고정점과 경계 성분을 연결하는 궤도 공간 내의 호의 역상으로 비음성(self-intersection)이 0 이상인 본질적인 2차원 구를 구성하기 위해.
• 비음성 제곱을 갖는 본질적인 구의 존재는 Seiberg-Witten 불변량이 0이 됨을 의미한다는 사실을 적용하기 위해.
• 이전 연구에서 유도된 일반 공식 [5]을 활용하여 $X$ 의 Seiberg-Witten 불변량을 3차원 궤도다양체 몫 $Y$ 의 것과 연결하기 위해.
• 쌍 $(Y, F)$ 의 호모로지에서의 장기 정렬 수열을 사용하여 오일러 클래스에 비례하지 않는 비자명한 1차원 사이클을 식별하고, 그 역상이 본질적인 토러스와 구를 유도함으로써.
• 문헌 [9] 에서 제시된 등변 플러밍 기법을 활용하여 국소적 구조를 분석하고 음성 정의된 교차 형식을 갖는 경우를 제거하기 위해.

실험 결과

연구 질문

• RQ1 매끄럽고 닫힘며 방향이 주어진 4차원 다각체에서 $b_+ > 1$ 이고 원환면 작용과 고정점이 존재할 경우 Seiberg-Witten 불변량의 값은 무엇인가요?
• RQ2 어떤 심플렉틱 4차원 다각체가 원환면 작용과 고정점을 갖을 수 있으며, 이러한 조건은 어떤 위상적 제약을 가집니까?
• RQ3 궤도 공간의 기하학적 자료를 이용하여 고정점이 있는 $S^1$-다양체에 대한 Seiberg-Witten 불변량을 계산할 수 있나요?
• RQ4 4차원 다각체에서 $b_+ > 1$ 이고 원환면 작용이 고정점을 갖는다면, Seiberg-Witten 불변량이 0이 되게 하는가요?
• RQ5 원환면 작용과 고정점을 갖는 모든 심플렉틱 4차원 다각체는 반드시 유리 또는 룰러 표면인가요?

주요 결과

• 모든 매끄럽고 닫힘며 방향이 주어진 4차원 다각체에서 $b_+ > 1$ 이고 원환면 작용과 최소한 하나의 고정점이 존재할 경우 Seiberg-Witten 불변량은 0이 된다.
• 원환면 작용과 고정점을 갖는 모든 심플렉틱 4차원 다각체는 유리 또는 룰러 표면이며, 따라서 심플렉틱 원환면 작용을 갖는다.
• 이러한 다각체 내에서 비음성(self-intersection)이 0 이상인 본질적인 구의 존재는 Seiberg-Witten 불변량이 0이 되게 하는 핵심 기하학적 메커니즘이다.
• 만일 $b_1(X) > 0$ 이면 원환면 작용의 궤도 공간 $Y$ 는 비자명한 $H_1(Y; \mathbb{Z})$ 를 가져야 하며, 이는 오일러 특성 공식과 Smith–Gysin 수열에서 유도된다.
• 고정점이 있고 $b_+ > 1$ 인 $S^1$-다양체에서, 오일러 클래스에 비례하지 않는 $Y$ 내의 1차원 사이클의 역상은 자기 교차 수가 0인 본질적인 토러스를 유도한다.
• 선형적으로 독립인 $n$ 개의 구 $S_i$ 를 $S_i \bullet S_j = -\delta_{ij}$ 를 만족하도록 구성하면 $b_2(X) > n$ 이 되며, 이는 교차 형식이 음성 정의가 될 수 없게 하여 불변량이 0이 되게 한다.