[논문 리뷰] Secondary Stiefel-Whitney class and diffeomorphisms of rational and ruled symplectic 4-manifolds

Vsevolod Shevchishin|arXiv (Cornell University)|2009. 04. 02.

Geometric and Algebraic Topology참고 문헌 18인용 수 6

한 줄 요약

이 논문은 유리 및 룰드(symplectic 4-다양체)의 호모토피적으로 자명한 미분구조에 대한 불변량으로 2차 스티펠-블라시크 클래스 $\tilde{w}_2$를 도입한다. 이에 따라 그러한 심플렉틱 미분구조가 매끄럽게 항등사상과 동치임은 물론 $\tilde{w}_2$가 0이 되는 것과 동치이며, 이는 미분구조의 변형류를 미분구조군의 구조를 통해 완전히 분류한다.

ABSTRACT

We introduce the secondary Stiefel-Whitney class $ ilde w_2$ of homotopically trivial diffeomorphisms and show that a homotopically trivial symplectomorphism of a ruled 4-manifold is isotopic to identity if and only if the class $ ilde w_2$ vanishes. Using this, we give a detailed description of the combinatorial structure of the diffeotopy group of ruled symplectic 4-manifolds $X$, either minimal or blown-up, and its action on the homology and homotopy groups $H_2(X,\zz)$, $π_1(X)$, and $π_2(X)$.

연구 동기 및 목표

• 유리 및 룰드 4-다양체 위의 심플렉틱 구조의 변형류를 미분구조 불변량을 통해 분류하기 위해.
• 4-다양체의 호모토피적으로 자명한 미분구조에 대해 2차 스티펠-블라시크 클래스 $\tilde{w}_2$를 정의하고 연구하기 위해.
• 심플렉틱 4-다양체의 미분구조군의 조합론적 구조를 호모로지 및 호모토피 군에 작용하는 방식으로 묘사하기 위해.
• 변형류의 심플렉틱 구조와 $\tilde{w}_2 = 0$인 미분구조의 등기류 사이의 전단사 관계를 확립하기 위해.
• 최소 및 블로우업된 룰드 다양체에 대해 미분구조군이 $H_2(X,\mathbb{Z})$, $\pi_1(X)$, $\pi_2(X)$에 작용하는 방식을 규명하기 위해.

제안 방법

• 다양체 $Z$ 위의 미분구조 $F: Z \to Z$가 $H_\bullet(Z,\mathbb{Z}_2)$에 자명하게 작용할 때, $\tilde{w}_2(F) \in H^1(Z,\mathbb{Z}_2)$로 2차 스티펠-블라시크 클래스를 도입한다.
• 특히 호모토피적으로 자명한 경우에 대해, 룰드 및 유리 심플렉틱 4-다양체의 심플렉틱 미분구조에 이 클래스 $\tilde{w}_2$를 적용한다.
• Auroux의 결과를 바탕으로, 블로우업과 변형을 통한 4-다양체 위 심플렉틱 구조의 분류를 활용한다.
• $H_2(X,\mathbb{Z})$ 및 $H_2(X,\mathbb{R})$의 양의 원뿔에 대한 미분구조의 작용을 분석하며, 로렌츠형 교차 형식을 활용한다.
• 반사군 및 코크세터-바일 군을 적용하여, 양의 원뿔을 보존하는 $H_2(X,\mathbb{Z})$의 자기동형군을 묘사한다.
• 유리 경우에서는 미분구조군과 $\mathrm{O}_+(1,2,\mathbb{Z})$ 사이의 동형사상, 룰드 경우에서는 관련된 반사군을 확립한다.

실험 결과

연구 질문

• RQ1 2차 스티펠-블라시크 클래스 $\tilde{w}_2$는 심플렉틱 미분구조의 등기성 자명성 판단에 어떤 역할을 하는가?
• RQ2 유리 또는 룰드 심플렉틱 4-다양체의 미분구조군은 $H_2(X,\mathbb{Z})$, $\pi_1(X)$, $\pi_2(X)$에 어떻게 작용하는가?
• RQ3 등기성 자명한 미분구조 중 $\tilde{w}_2 = 0$인 것들의 등기류 군이 심플렉틱 구조의 변형류를 분류할 수 있는가?
• RQ4 최소 및 블로우업된 룰드 4-다양체에 대해 미분구조군의 구조는 어떠한가?
• RQ5 미분구조군이 $H_2(X,\mathbb{Z})$에 작용하는 것은 반사로 생성되며, 이는 유리 경우에 $\mathrm{O}_+(1,2,\mathbb{Z})$와 일치하는가?

주요 결과

• 룰드 또는 유리 심플렉틱 4-다양체의 호모토피적으로 자명한 심플렉틱 미분구조 $F$는 매끄럽게 항등사상과 동치임과 동시에 $\tilde{w}_2(F) = 0$이 되는 것과 동치이다.
• 모든 $w \in H^1(X,\mathbb{Z}_2)$에 대해, $\pi_1(X)$, $\pi_2(X)$, $H_2(X,\mathbb{Z})$에 자명하게 작용하는 $\tilde{w}_2(F) = w$인 심플렉틱 미분구조 $F$가 존재한다.
• 유리 4-다양체의 심플렉틱 미분구조의 매끄러운 등기류는 그 $H_2(X,\mathbb{Z})$에 대한 작용에 의해 완전히 결정된다.
• 고정된 코homology 클래스를 가진 $X$ 위의 심플렉틱 구조의 변형류와 $\tilde{w}_2 = 0$인 등기성 자명한 미분구조의 등기류 군 $\Gamma_\blacksquare$ 사이에 자연스러운 전단사 관계가 존재한다.
• $X = (Y \times S^2)\# \overline{\mathbb{C}P^2}$인 경우, 미분구조군은 $H_2(X,\mathbb{Z})$에 대해 $\mathrm{O}_+(1,2,\mathbb{Z})$와 동형인 반사군을 통해 작용한다.
• $H_2(X,\mathbb{Z})$의 양의 원뿔을 보존하는 미분구조의 등기류 군인 $\widetilde{\Gamma}_H$는 $\mathrm{O}_+(1,2,\mathbb{Z})$와 동형이며, 반사 $s_1, s_2, s_0^*$에 의해 생성된다.