[논문 리뷰] Nonsmoothable actions of Z2 * Z2 on spin four-manifolds

Yuya Kato|arXiv (Cornell University)|2017. 08. 27.

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

한 줄 요약

이 논문은 스핀 4차원 다양체 위에 국소적으로 선형인 ℤ₂×ℤ₂ 작용을 구성하여, 모든 진부분군이 어떤 스무스 구조에서 스무스하게 작용하더라도 전체 작용은 스무스화될 수 없는 경우를 다룬다. Seiberg-Witten 이론에서 유도된 등변적인 Furuta의 10/8부등식을 사용하여, 고정점 구조와 스핀 구조 위의 홀수 호모트로피의 지표 이론을 분석함으로써, 이러한 작용이 심지어 개별 ℤ₂ 작용이 스무스화 가능하더라도 스무스화될 수 없음을 증명한다.

ABSTRACT

We construct some nonsmoothable actions of Z2 * Z2 on spin four-manifolds by using an equivariant version of Furuta' s 10/8inequality. The examples satisfy following property: any proper subgroup of Z2 * Z2 is smoothable for some smooth structure.

연구 동기 및 목표

• 스핀 4차원 다각체 위에 국소적으로 선형인 ℤ₂×ℤ₂ 작용의 예를 제시하여, 어떤 스무스 구조에서든 모든 진부분군이 스무스하게 작용하더라도 전체 작용은 스무스화될 수 없는 경우를 만들기.
• 스핀 4차원 다각체 위의 홀수 호모트로피에 대해 Furuta의 10/8부등식을 스무스 구조의 보존을 가정하지 않는 등변적 형태로 확장하기.
• 스무스 구조에서 개별 ℤ₂ 작용은 스무스화 가능하지만, 전체 ℤ₂×ℤ₂ 작용이 어떤 스무스 구조에서도 스무스화되지 않는 4차원 다각체의 존재를 보여주기.
• Nakamura의 Seiberg-Witten 이론의 서술 방식을 자유도가 없는 홀수 호모트로피로 일반화하여 고정점 집합과 지표 이론적 차단 조건을 분석할 수 있도록 하기.

제안 방법

• Seiberg-Witten 이론과 게이지 이론적 기법을 사용하여, 스무스한 스핀 4차원 다각체 위에 홀수 호모트로피를 지닌 등변적인 10/8정리의 형태를 개발한다.
• 등변적 지표 정리를 적용하여 불변 부분공간 위에서 디랙 연산자의 실수 지표를 계산함으로써 핵심 부등식 $ b_{+}^{I}(X) \geq -\frac{1}{16}\tau(X) $ 를 이끌어낸다.
• ℤ₄의 유한 차원 표현 간 등변 사상에 대한 tom Dieck의 공식을 사용하여 차수 사상의 추적으로부터 위상적 차단 조건을 유도한다.
• 공형 호모로지 불변량 $ H^k(X;\R)^{\langle I_1,I_2\rangle} $ 과 불변 부분공간으로의 교차형식 제약을 분석하여 $ b_{+}^{\langle I_1,I_2\rangle}(X) $ 를 정의한다.
• 정수 $ l_1, l_2, k $ 가 $ l_1, l_2 \geq 3k $, $ k \geq 1 $ 를 만족할 때, $ S^2 \times S^2 $ 와 K3 표면의 연결합을 통해 구체적인 예를 구성한다.
• 스무스화 불가능성의 근본 원인은 개별 $ \mathbb{Z}_2 $-작용이 스무스화 가능하더라도 $ \mathbb{Z}_2 \times \mathbb{Z}_2 $-등변 지표의 비자명성에 기인함을 입증한다.

실험 결과

연구 질문

• RQ1 스핀 4차원 다각체 위에 국소적으로 선형인 $ \mathbb{Z}_2 \times \mathbb{Z}_2 $-작용이 존재할 수 있는가? 이는 어떤 스무스 구조에서든 모든 진부분군이 스무스하게 작용하더라도 전체 작용은 스무스화될 수 없다.
• RQ2 스핀 4차원 다각체 위의 홀수 호모트로피에 대해, 스핀^c 구조를 보존하지 않는 경우에도 적용 가능한 Furuta의 10/8부등식의 등변적 일반화는 무엇인가?
• RQ3 홀수 호모트로피의 고정점 집합의 구조는 작용의 스무스화 가능성에 어떤 제약을 가하는가?
• RQ4 Seiberg-Witten 이론의 지표 이론적 장벽은 자유도가 없고 스핀^c를 보존하지 않는 군 작용에 대해 스핀 4차원 다각체에 대해 어떻게 일반화될 수 있는가?
• RQ5 교차형식과 베티 수에 어떤 조건이 성립하면, 부분군이 스무스화 가능하더라도 $ \mathbb{Z}_2 \times \mathbb{Z}_2 $-작용은 스무스화될 수 없게 되는가?

주요 결과

• 정수 $ l_1, l_2, k $ 가 $ l_1, l_2 \geq 3k $ 이고 $ k \geq 1 $ 를 만족할 때, $ X = (2l_1 + 2l_2 + 1 - 6k)(S^2 \times S^2) \sharp 4k(K3) $ 에서 국소적으로 선형인 $ \mathbb{Z}_2 \times \mathbb{Z}_2 $-작용이 존재하며, 어떤 스무스 구조에서도 스무스화될 수 없다.
• 모든 진부분군은 다각체의 어떤 스무스 구조에서나 스무스하게 작용한다.
• 주요 장벽은 등변적 10/8정리에 기인한다: $ b_{+}^{\langle I_1, I_2 \rangle}(X) \geq \frac{1}{4} \left( -\frac{\sigma(X)}{4} + \mathrm{index}_{I_1 \circ I_2} D \right) $, 여기서 $ \mathrm{index}_{I_1 \circ I_2} D $ 는 비자명하다.
• Ewing-Edmonds의 방법을 피하고, 자유도가 없고 홀수인 호모트로피를 위한 등변적 Seiberg-Witten 이론에 기반한 구성법을 사용한다.
• 홀수 호모트로피에 대해 핵심 부등식 $ b_{+}^{I}(X) \geq -\frac{1}{16}\sigma(X) $ 가 성립하며, 등호는 지표 조건이 포화되었을 때에만 성립한다.
• 등변 사상의 복소화와 tom Dieck의 공식을 사용하여 차수 사상의 추적이 대수적 정수여야 하며, 이는 $ b_{+}^{\langle I_1, I_2 \rangle}(X) \geq k $ 를 유도한다. 여기서 $ k = -\frac{1}{16}\sigma(X) $ 이다.