[논문 리뷰] An SO(3)-version of 2-torsion instanton invariants

Hirofumi Sasahira|ArXiv.org|2007. 01. 17.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 12

한 줄 요약

이 논문은 비스핀 4차원 다양체에 대해 Fintushel-Stern의 2-torsion 인stanton 불변량의 SO(3) 형태를 2-torsion 코homology 클래스를 이용해 구성한다. SO(3) 인stanton 모듈리 공간에서의 이 불변량은 $2\mathbb{CP}^2\#\overline{\mathbb{CP}}^2$에서 비자명함을 증명하며, 이는 정규 도널드슨 및 세이버그-와이튼 불변량이 모두 양의 스칼라 곡률로 인해 영이 되는 다양체이므로, 고전적 소멸 정리의 범위를 초월하는 새로운 미분위상수학적 불변량임을 보여준다.

ABSTRACT

We construct an invariant for non-spin 4-manifolds by using 2-torsion cohomology classes of moduli spaces of instantons on SO(3)-bundles. The invariant is an SO(3)-version of Fintushel-Stern's 2-torsion instanton invariant. We show that this SO(3)-torsion invariant is non-trivial for $2CP^2 # -CP^2$, while it is known that any known invariant of $2CP^2 # -CP^2$ coming from the Seiberg-Witten theory is trivial since $2CP^2 # -CP^2$ has a positive scalar curvature metric.

연구 동기 및 목표

• 비스핀 4차원 다양체에 대해 Fintushel-Stern의 2-torsion 인stanton 불변량을 SO(3) bundle을 이용해 확장하기.
• SO(3) 모듈리 공간의 2-torsion 코homology 클래스에 기반한 미분위상수학적 불변량 정의하기.
• 양의 스칼라 곡률로 인해 표준 불변량이 소멸하는 다양체에서도 이 불변량이 비자명할 수 있음을 보여주기.
• 연결합에서 도널드슨 이론에서 사용하는 차원 수 계산 논리의 한계를 극복하기.

제안 방법

• 비스핀 4차원 다양체 $X$ 위에 $w_2(P) = w_2(X)$ 이고 $p_1(P) \equiv \sigma(X) \mod 8$ 를 만족하는 SO(3)-bundle $P$ 정의하기.
• 첫 번째 모듈리 공간 코homology $H^1(\mathcal{B}_P^*; \mathbb{Z}_2)$ 의 생성자 $u_1$ 정의하기.
• 자기교차수가 짝수인 $[\Sigma] \in H_2(X; \mathbb{Z})$ 에 대해 정수 계수의 코homology 클래스 $\mu([\Sigma]) \in H^2(\mathcal{B}_P^*; \mathbb{Z})$ 정의하기.
• 홀수 차원 모듈리 공간에 대해 쌍선형형식 $q_X^{u_1}([\Sigma_1], \dots, [\Sigma_d]) = \langle u_1 \cup \mu([\Sigma_1]) \cup \cdots \cup \mu([\Sigma_d]), [M_P] \rangle \in \mathbb{Z}_2$ 정의하기.
• Fintushel-Stern의 결과와 유사한 $Y\#S^2\times S^2$ 에 대한 접합 공식 증명하여 연결합에서의 계산 가능하게 하기.
• Kotschick의 계산과 접합 공식을 활용하여 $2\mathbb{CP}^2\#\overline{\mathbb{CP}}^2$ 에서 불변량의 비자명성 입증하기.

실험 결과

연구 질문

• RQ1 비스핀 4차원 다양체에 대해 SO(3) 게이지 이론을 이용해 2-torsion 인stanton 불변량을 정의할 수 있는가?
• RQ2 양의 스칼라 곡률로 인해 Seiberg-Witten 불변량이 소멸하는 다양체에서도 이 SO(3)-버전의 불변량이 비자명한가?
• RQ3 왜 표준적인 차원 수 계산 논리가 $2\mathbb{CP}^2\#\overline{\mathbb{CP}}^2$ 와 같은 연결합에서 이 불변량의 소멸을 유도하지 못하는가?
• RQ4 이 불변량에 대해 Fintushel-Stern의 결과와 유사한 연결합 연산에 대한 접합 공식이 존재하는가?
• RQ5 기타 불변량이 모두 영일 때, 이 불변량은 $2\mathbb{CP}^2\#\overline{\mathbb{CP}}^2$ 의 스무스 구조를 감지할 수 있는가?

주요 결과

• 불변량 $q_{2\mathbb{CP}^2\#\overline{\mathbb{CP}}^2}^{u_1}$ 은 모듈로 2로 비자명하며, 구체적으로 $q^{u_1}_{\frac{7}{4},w,2\mathbb{CP}^2\#\overline{\mathbb{CP}}^2}(-H_1+E, H_2-E) \equiv 1 \mod 2$ 이다.
• 이 불변량이 $2\mathbb{CP}^2\#\overline{\mathbb{CP}}^2$ 에서 비자명한 것은, 양의 스칼라 곡률 메트릭을 갖는다 해도 접합 공식과 Kotschick의 계산을 통해 입증된다.
• 표준적인 차원 수 계산 논리가 이 불변량의 소멸을 유도하지 못하는 이유는, 관련된 호의 자기교차수가 짝수 조건을 위반하지 않고는 합성된 부분들인 $Y_1 = \mathbb{CP}^2$ 와 $Y_2 = \mathbb{CP}^2\#\overline{\mathbb{CP}}^2$ 에서 제한될 수 없기 때문이다.
• 이 불변량은 모든 알려진 Seiberg-Witten 불변량이 $2\mathbb{CP}^2\#\overline{\mathbb{CP}}^2$ 에서 소멸함에도 불구하고 비자명함을 보이며, 스무스 4차원 다양체 불변량의 새로운 근원을 드러낸다.
• 이 불변량은 호의 합성된 부분들로부터 온 클래스에 대해 단순한 덧셈 접합 공식을 만족하지 않으며, 그 이유는 필요한 클래스들이 홀수 자기교차수를 가지므로 불변량을 정의할 수 없기 때문이다.
• 이 구성은 $u_1$ 클래스와 $\mu([\Sigma])$ 클래스가 전체 모듈리 공간이 비유계이면서도 기존 도널드슨 불변량이 소멸하는 상황에서도 모듈리 공간의 비자명한 위상구조를 감지할 수 있음을 보여준다.