[논문 리뷰] Finite group actions and G-monopole classes on smooth 4-manifolds

Chanyoung Sung|arXiv (Cornell University)|2011. 08. 19.

Geometric and Algebraic Topology참고 문헌 39인용 수 4

한 줄 요약

이 논문은 유한군 작용을 가진 매끄러운 4차원 다양체에서 $G$-모노폴 클래스의 개념을 도입한다. 이는 모든 $G$-불변 메트릭에 대해 Seiberg-Witten 방정식의 해를 갖는 $G$-등변 스피너$^c$ 구조로부터 유도되는 $H^2(M;\mathbb{Z})$의 원소로 정의된다. 논문은 $\mathbb{Z}_k \oplus H$의 비자명한 비자유 작용을 $S^2 \times S^2$, $\mathbb{C}P_2$, $\overline{\mathbb{C}P}_2$, $K3$ 다양체의 연결합에 대해 무한히 구성한다. 이는 비자명한 Bauer-Furuta 불변량을 갖는 $\mathbb{Z}_k$-모노폴 클래스를 활용하여 이루어진다.

ABSTRACT

On a smooth closed oriented $4$-manifold $M$ with a smooth action by a compact Lie group $G$, we define a $G$-monopole class as an element of $H^2(M;\Bbb Z)$ which is the first Chern class of a $G$-equivariant Spin$^c$ structure which has a solution of the Seiberg-Witten equations for any $G$-invariant Riemannian metric on $M$. We find $\Bbb Z_k$-monopole classes on some $\Bbb Z_k$-manifolds such as the connected sum of $k$ copies of a 4-manifold with nontrivial mod 2 Seiberg-Witten invariant or Bauer-Furuta invariant, where the $\Bbb Z_k$-action is a cyclic permutation of $k$ summands. As an application, we produce infinitely many exotic non-free actions of $\Bbb Z_k\oplus H$ on some connected sums of finite number of $S^2 imes S^2$, $\Bbb CP_2$, $\overline{\Bbb CP}_2$, and $K3$ surfaces, where $k\geq 2$, and $H$ is any nontrivial finite group acting freely on $S^3$.

연구 동기 및 목표

• 유한군 작용을 가진 매끄러운 4차원 다양체에서 $G$-모노폴 클래스를 정의하고 연구함으로써, 일반 모노폴 클래스를 등변 설정으로 일반화하는 것.
• 등변 Seiberg-Witten 이론과 일반화된 불변량을 사용하여 $G$-모노폴 클래스를 탐지하는 프레임워크를 개발하는 것.
• 표준 4차원 다양체의 연결합에 대해 $\mathbb{Z}_k \oplus H$의 무한히 많은 스무딩, 비디피오모르픽 작용을 구성하는 것. 여기서 $H$는 $S^3$ 위에서 자유롭게 작용한다.
• 표준 불변량이 0이 되는 경우, 특히 $b_2^+ > 0$인 연결합에서 일반 Seiberg-Witten 불변량을 초월하여 모노폴 클래스를 탐지하는 것.

제안 방법

• 모든 $G$-불변 리만 메트릭에 대해 Seiberg-Witten 방정식의 $G$-불변 해를 갖는 $G$-등변 스피너$^c$ 구조의 첫 번째 체른 클래스로 $G$-모노폴 클래스를 정의한다.
• $G$-모노폴 모듈리 공간 $\mathfrak{X}$, 즉 일반 모듈리 공간의 $G$-고정점 집합을 사용하여 정교화된 $G$-모노폴 불변량 $SW^G_{M,\mathfrak{s}}$를 정의한다.
• 연결합 $\overline{M}_k = M\#\cdots\#M\#N$ ($k$개의 $M$ 복제)에 대해 $\mathbb{Z}_k$-모노폴 클래스를 구성한다. 이는 $N$에 대한 $\mathbb{Z}_k$-작용과 $M$-합성항의 순환적 순서 변경을 조합함으로써 이루어진다.
• Bauer-Furuta 불변량과 그 $G$-등변 일반화를 활용하여, 표준 Seiberg-Witten 불변량이 0인 경우에도 비자명한 $G$-모노폴 불변량을 탐지한다.
• Taubes의 접합 공식을 적용하여, mod 2 기본 클래스가 피브어-섬 연산을 통해 유지됨을 보장함으로써, $G$-모노폴 클래스의 구조를 유지한다.
• 타원 다양체에서의 결합 수술과 로그 변환을 활용하여, 임의로 큰 수의 mod 2 기본 클래스를 갖는 무한한 가족의 이국적 다양체를 생성함으로써, 무한히 많은 서로 다른 $G$-작용의 구성이 가능해진다.

실험 결과

연구 질문

• RQ1 유한군 작용 하에서 모노폴 클래스는 등변 설정으로 일반화될 수 있는가? 그리고 이러한 $G$-모노폴 클래스의 존재를 보장하는 조건은 무엇인가?
• RQ2 표준 Seiberg-Witten 불변량이 0이 되는 연결합 4차원 다양체에서 $G$-모노폴 클래스는 어떻게 탐지할 수 있는가?
• RQ3 일반 불변량이 0일 경우, $\overline{BF}^G_{M,\mathfrak{s}}$와 같은 등변 불변량이 $G$-모노폴 클래스 탐지에 어떤 역할을 하는가?
• RQ4 Can one construct infinitely many smooth, non-diffeomorphic actions of $\mathbb{Z}_k \oplus H$ on 4-manifolds using $G$-monopole classes?
• RQ5 결합 수술과 로그 변환은 연결합에서의 $G$-모노폴 클래스의 존재성과 수에 어떤 영향을 미치는가?

주요 결과

• 논문은 $k \geq 2$ 이고, $S^3$ 위에서 자유롭게 작용하는 비자명한 유한군 $H$에 대해, $S^2 \times S^2$, $\mathbb{C}P_2$, $\overline{\mathbb{C}P}_2$, $K3$ 다양체의 연결합에 대해 무한히 많은 이국적인 비자유 작용을 구성한다.
• $m(S^2 \times S^2)$에서 $m$이 무한히 많을 경우, 이러한 이국적 작용이 존재한다. 이는 $E(2n)$의 로그 변환과 심플렉틱 4차원 다양체를 심플렉틱 토러스를 따라 피브어-섬함으로써 구성된다.
• 적절히 큰 로그 변환 매개변수 $r$을 선택함으로써, 결과 다양체의 mod 2 기본 클래스의 수를 임의로 크게 만들 수 있으며, 이는 $G$-모노폴 불변량의 비자명성을 보장한다.
• 이 구성은 $E(2n)$의 $r$-로그 변환의 Seiberg-Witten 다항식이 $r$에 따라 증가하는 mod 2 항을 갖는다는 사실에 기반한다. 이러한 항들은 Taubes의 접합 공식에 의해 피브어-섬 연산을 거쳐도 유지된다.
• $n \geq 2$인 $E(n)$에 대해, 높은 차수의 대칭화된 아우그스터 대수다항식을 갖는 결합 $K$를 사용한 결합 수술은 무한히 많은 mod 2 기본 클래스를 갖는 다양체를 생성하며, 이는 $\mathbb{Z}_k$-모노폴 클래스의 구성이 가능하게 한다.
• 연결합 $klE(2n)\#(l-1)(S^2\times S^2)$는 $klnK3\#(kl(n-1)+l-1)(S^2\times S^2)$와 디피오모르픽하며, 둘 다 $G$-모노폴 클래스의 유지로 인해 원하는 이국적 $\mathbb{Z}_k \oplus H$ 작용을 갖는다.