[논문 리뷰] Symplectic automorphisms of T^*S^2

Paul Seidel|ArXiv.org|1998. 03. 19.

Geometric and Algebraic Topology참고 문헌 1인용 수 16

한 줄 요약

이 논문은 경계 근처에서 자명한 단위 코탄젠트 배럴 $T^*S^2$의 심플렉틱 자기동형사상 군이 $\mathbb{Z}$와 약한 호모토피 동치임을 증명한다. 이 군은 영점면을 따라 일반화된 드레인 토크로 생성되며, 핵심 통찰은 $S^2 \times S^2$로의 콪actification을 통해, 고려된 심플렉틱 미분형상군이 무한 순환군임을 보여주는 고전적 기법을 활용한다. 이는 비록 해당 미분형상군이 오직 두 개의 성분만을 가지는 반면, 심플렉틱 구조는 더 세밀한 불변량을 감지함을 시사한다.

ABSTRACT

Let M be the cotangent bundle of S^2, with the standard symplectic structure. By adapting an argument of Gromov we determine the weak homotopy type of the group S of those symplectic automorphisms of M which are trivial at infinity. It turns out that S is weakly homotopy equivalent to \Z. π_0(S) is generated by the class of the standard "generalized Dehn twist". As a consequence, we show that there are different connected components of S which lie in the same connected component of the corresponding group of diffeomorphisms.

연구 동기 및 목표

• 경계 근처에서 자명한 $T^*S^2$의 심플렉틱 자기동형사상 군 $\SS$의 호모토피 유형을 규명하는 것.
• 심플렉틱 매핑 클래스가 무한 순환인 데 반해, 미분형상군의 매핑 클래스가 순서 2임에 비해 발생하는 괴리 문제를 해결하는 것.
• $\SS$와 $\mathbb{Z}$ 사이의 약한 호모토피 동치를 확립하고, 일반화된 드레인 토크가 생성자로 식별되는 것.
• 콤팩티피케이션과 게이지이론적 기법을 통해 심플렉틱군과 미분형상군 간의 관계를 명확히 하는 것.

제안 방법

• 단위 코탄젠트 배럴 $T \subset T^*S^2$를 표준 심플렉틱 형식을 지닌 $S^2 \times S^2$로 콤팩티피케이션하여, 내부를 $S^2 \times S^2 \setminus \Delta$로 식별한다. 여기서 $\Delta$는 대각선이다.
• Gromov의 $S^2 \times S^2$의 심플렉틱 미분형상군 분류를 활용하여, $\SS$의 위상수학적 성질을 콤팩티피케이션된 공간의 심플렉틱 자기동형사상 군과 연결한다.
• exact한 행을 가지며 호모토피 정확열을 이룬 $\SS_1$, $\SS_2$, $\mathcal{D}_1$, $\mathcal{D}_2$, $\mathcal{G}^s$, $\mathcal{G}$를 포함하는 위상군의 교차도를 구성한다.
• 정규군 $\nu\Delta$ 위에서 평가 사상들을 적용하여 $\SS_2$의 호모토피군과 $\mathcal{G}^s$의 호모토피군을 연결하고, $\pi_1(\mathcal{G}^s) \cong \mathbb{Z}$임을 보인다.
• moment 함수 $\mu(x,y) = -|x+y|$를 가진 $S^1$-작용을 통해 $S^2 \times S^2 \setminus \Delta$ 위에 정의된 일반화된 드레인 토크 $\tau$를 구성하고, 이로써 $\pi_0(\SS)$의 생성자를 찾는다.
• $\SS_1$가 $\{\mathrm{id}, \iota\}$로의 호모토피 수축을 갖는다는 것을 증명하고, $J$-호로모르픽 분할을 활용한 Gromov의 추론을 적용하여 $\SS_+$가 수축 가능하다는 것을 보인다.

실험 결과

연구 질문

• RQ1 경계 근처에서 자명한 $T^*S^2$의 심플렉틱 자기동형사상 군 $\SS$의 호모토피 유형은 무엇인가?
• RQ2 일반화된 드레인 토크 $\tau$는 왜 $\pi_0(\SS)$에서 무한 순환을 가지나, 그 이미지가 미분형상군에서 순서 2임에도 불구하고?
• RQ3 $T^*S^2$를 $S^2 \times S^2$로 콤팩티피케이션하는 것이 $\pi_0(\SS)$ 계산에 어떻게 기여하는가?
• RQ4 심플렉틱 정규군 자동형사상의 게이지군 $\mathcal{G}^s$는 $\SS$의 호모토피군을 결정하는 데 어떤 역할을 하는가?
• RQ5 $T^*S^2$의 심플렉틱 매핑 클래스 군은 일반화된 드레인 토크로 완전히 기술될 수 있는가, 아니면 추가 생성자가 존재하는가?

주요 결과

• $T^*S^2$의 심플렉틱 자기동형사상 군 $\SS$는 $\mathbb{Z}$와 약한 호모토피 동치이며, $\pi_0(\SS) \cong \mathbb{Z}$이다.
• 영점면 $Z \subset T^*S^2$를 따라 정의된 일반화된 드레인 토크 $\tau$는 $\pi_0(\SS)$를 생성하며, $[\tau]$는 무한 순환을 가진다.
• $\pi_0(\SS)$의 이미지가 $\pi_0(\mathcal{D})$ (미분형상군)에서 $\mathbb{Z}/2$와 동형임을 보여, 심플렉틱 구조가 미분 구조보다 더 세밀한 불변량을 감지함을 시사한다.
• 모든 $i > 0$에 대해 고차 호모토피군 $\pi_i(\SS)$는 영이다. 따라서 $\SS$는 이산적 $\mathbb{Z}$와 약한 호모토피 동치이다.
• 점 $x \in \Delta$에서의 평가 사상 $e_x: \mathcal{G}^s \to SL_2(\mathbb{R})$는 약한 호모토피 동치이며, 이는 $\mathcal{G}^s$가 $\mathbb{Z}$의 호모토피 유형을 가짐을 시사한다.
• $\partial: \pi_1(\mathcal{G}^s) \to \pi_0(\SS_2)$는 동형이며, 생성자 $r \in \pi_1(\mathcal{G}^s) \cong \mathbb{Z}$에 대해 $[\tau]^2 = \partial(r)$임을 보여, $\pi_0(\SS_2) \cong \mathbb{Z}$임을 확인한다.