[논문 리뷰] Stable Cohomotopy Seiberg-Witten Invariants of Connected Sums of Four-Manifolds with Positive First Betti Number

Masashi Ishida, Hirofumi Sasahira|ArXiv.org|2008. 04. 22.

Geometric Analysis and Curvature Flows참고 문헌 55인용 수 8

한 줄 요약

이 논문은 첫 번째 베티 수가 양수인 4차원 다양체의 연결합에서 안정(co)호모토피 스위프트-바이어슈트라스 불변량에 대한 새로운 비영성 정리(Non-vanishing theorem)를 수립한다. 이는 바우어(Bauer)의 결과를 $b_1 = 0$ 경우를 초월하여 확장한 것이다. 주요 기여는 $b_1 \neq 0$, $b^+ \geq 2$, 그리고 모듈로 2에서의 스위프트-바이어슈트라스 불변량이 홀수인 거의 복소 4차원 다각형의 연결합에 대해 이 불변량이 비영임을 증명한 것으로, $\ell = 2$ 경우에 대해 한 예측을 강력하게 확인하고, 이로 인해 미세한 스무딩 구조를 가진 4차원 다각형의 새로운 예와 비영인 단순체적 체적을 제공한다.

ABSTRACT

We shall prove a new non-vanishing theorem for the stable cohomotopy Seiberg-Witten invariant of connected sums of 4-manifolds with positive first Betti number. The non-vanishing theorem enables us to find many new examples of 4-manifolds with non-trivial stable cohomotopy Seiberg-Witten invariants and it also gives a partial, but strong affirmative answer to a conjecture concerning non-vanishing of the invariant. Various new applications of the non-vanishing theorem are also given. For example, we shall introduce variants $\barλ_k$ of Perelman's $\barλ$ invariants for real numbers $k$ and compute the values for a large class of 4-manifolds including connected sums of certain K{ä}hler surfaces. The non-vanishing theorem is also used to construct the first examples of 4-manifolds with non-zero simplicial volume and satisfying the strict Gromov-Hitchin-Thorpe inequality, but admitting infinitely many distinct smooth structures for which no compatible Einstein metric exists. Moreover, we are able to prove a new result on the existence of exotic smooth structures.

연구 동기 및 목표

• 첫 번째 베티 수가 0이 아닌 4차원 다각형에 대해 바우어의 안정 호모토피 스위프트-바이어슈트라스 불변량 비영성 정리를 $b_1 = 0$ 경우를 초월하여 확장한다.
• 논문 [79]의 추측 2에 대해 $\ell = 2$ 연결합 성분에 대해 강력한 긍정적 답변을 제공한다.
• 비영인 단순체적 체적과 무한히 많은 서로 다른 스무딩 구조를 가지며, 에인슈타인 메트릭을 가질 수 없는 4차원 다각형의 새로운 예를 구성한다.
• 카일러 표면의 연결합 포함한 광범위한 4차원 다각형 클래스에서 실수 $k$에 대해 페렐만의 $\overline{\lambda}$-불변량의 변형을 계산한다.
• 비영성 불변량을 통한 외부 스무딩 구조 존재성에 대한 새로운 결과를 수립한다.

제안 방법

• S^1-등변 안정 호모토피 코호몰로지 군 $\pi^{b^+}_{S^1,\mathcal{B}}(\mathrm{Pic}^0(X), \mathrm{ind}D)$ 내에서 스위프트-바이어슈트라스 사상의 유한차원 근사화를 개발하여 안정 호모토피 스위프트-바이어슈트라스 불변량 $BF_X$ 를 정의한다.
• 연결합 설정에서 비자명성을 확립하기 위해 스핀 코보르드יזם 스위프트-바이어슈트라스 불변량을 핵심 도구로 사용한다.
• 스위프트-바이어슈트라스 불변량이 $b^+ \equiv 3 \pmod{4}$, $b_1 \neq 0$, $SW \equiv 1 \pmod{2}$ 를 만족하는 4차원 다각형의 연결합에서 비영임을 증명한다.
• $BF_X$, 스핀 코보르드יזם 불변량 $\widehat{SW}^{\mathrm{spin}}_X$, 그리고 표준 스위프트-바이어슈트라스 불변량 $SW_X$ 사이의 가환 다이어그램을 수립한다.
• 비영성 정리를 적용하여 페렐만의 $\mathcal{F}$-함수와 $\overline{\lambda}_k$-불변량의 변형을 포함한 새로운 미분기하학적 불변량을 계산한다.
• 비영성 불변량을 사용하여 비영인 단순체적 체적과 무한히 많은 외부 스무딩 구조를 가지며, 에인슈타인 메트릭을 가질 수 없는 4차원 다각형을 구성한다.

실험 결과

연구 질문

• RQ1 첫 번째 베티 수가 양수인 4차원 다각형의 연결합에 대해 안정 호모토피 스위프트-바이어슈트라스 불변량이 여전히 비영일까?
• RQ2 논문 [79]의 추측 2는 $b_1 \neq 0$ 인 4차원 다각형의 $\ell = 2$ 연결합에 대해 증명될 수 있을까?
• RQ3 비영성 정리를 사용하여 비영인 단순체적 체적과 무한히 많은 서로 다른 스무딩 구조를 가지며, 호환 가능한 에인슈타인 메트릭을 가질 수 없는 4차원 다각형을 구성할 수 있을까?
• RQ4 카일러 표면의 연결합과 $b_1 \neq 0$ 인 다른 4차원 다각형에 대해 $\overline{\lambda}_k$-불변량의 값은 무엇일까?
• RQ5 스핀 코보르드יזם 불변량이 0이 되는 경우, $\ell \geq 4$ 개의 연결합에서 안정 호모토피 스위프트-바이어슈트라스 불변량이 비영임을 확인할 수 있는 새로운 방법이 존재할까?

주요 결과

• 안정 호모토피 스위프트-바이어슈트라스 불변량 $BF_X$ 는 각각 $b_1(X_i) \neq 0$, $b^+(X_i) \equiv 3 \pmod{4}$, $SW_{X_i}(\Gamma_{X_i}) \equiv 1 \pmod{2}$ 를 만족하는 거의 복소 4차원 다각형 $X_i$ 의 연결합 $X = X_1 \# X_2$ 에서 비영임을 보여, $\ell = 2$ 에서 추측 2를 증명한다.
• 논문은 비영인 단순체적 체적과 무한히 많은 서로 다른 스무딩 구조를 가지며, 어떤 것도 호환 가능한 에인슈타인 메트릭을 가질 수 없는 4차원 다각형의 첫 번째 예를 구성한다.
• 비영성 정리를 사용하여 카일러 표면의 연결합 포함한 광범위한 4차원 다각형 클래스에서 $\overline{\lambda}_k$-불변량을 계산한다.
• 비영성 정리는 페렐만의 $\mathcal{F}$-함수의 변형을 계산할 수 있게 하고, 모노폴 클래스를 통한 곡률 한계를 제공한다.
• 연결합 성분 수가 $\ell \geq 4$ 인 경우 이 방법은 실패한다. 이는 스핀 코보르드יזם 스위프트-바이어슈트라스 불변량이 0이 되기 때문이며, 새로운 접근이 필요함을 시사한다.
• 논문은 $b^+ \geq 2$, $b_1 \neq 0$, $SW \equiv 1 \pmod{2}$ 를 만족하고, 필요한 조건을 충족하는 거의 복소 4차원 다각형의 명시적 예를 제공한다. 예를 들어, 홀수 $g,h$ 에 대해 $\Sigma_g \times \Sigma_h$ 와 같은 주요 코다이라 표면을 포함한다.