[논문 리뷰] Lectures on Groups of Symplectomorphisms

Dusa McDuff|ArXiv.org|2002. 01. 06.

Geometric and Algebraic Topology참고 문헌 48인용 수 25

한 줄 요약

이 논문은 $J$-호로모르픽 곡선 기법과 $S^2$ 위의 하미르토니안 패키징을 사용하여, 특히 $\mathbb{C}P^2$와 $S^2 \times S^2$에서 심플렉틱 동형군과 하미르토니안 군의 위상수학적 구조와 기하학적 성질을 조사한다. 시델 표현과 그로모프-위튼 불변량을 통해 호퍼 노름에서 길이를 최소화하는 경로의 존재성을 확립함으로써, 심플렉틱 기하학에서 핵심적인 정규성 문제를 해결한다.

ABSTRACT

These notes combine material from short lecture courses given in Paris, France, in July 2001 and in Srni, the Czech Republic, in January 2003. They discuss groups of symplectomorphisms of closed symplectic manifolds (M,\om) from various points of view. Lectures 1 and 2 provide an overview of our current knowledge of their algebraic, geometric and homotopy theoretic properties. Lecture 3 sketches the arguments used by Gromov, Abreu and Abreu-McDuff to figure out the rational homotopy type of these groups in the cases M= CP^2 and M=S^2 imes S^2. We outline the needed J-holomorphic curve techniques. Much of the recent progress in understanding the geometry and topology of these groups has come from studying the properties of fibrations with the manifold M as fiber and structural group equal either to the symplectic group or to its Hamiltonian subgroup Ham(M). The case when the base is S^2 has proved particularly important. Lecture 4 describes the geometry of Hamiltonian fibrations over S^2, while Lecture 5 discusses their Gromov-Witten invariants via the Seidel representation. It ends by sketching Entov's explanation of the ABW inequalities for eigenvalues of products of special unitary matrices. Finally in Lecture 6 we apply the ideas developed in the previous two lectures to demonstrate the existence of (short) paths in Ham(M,\om) that minimize the Hofer norm over all paths with the given endpoints.

연구 동기 및 목표

• 닫힌 심플렉틱 4차원 다양체, 특히 $\mathbb{C}P^2$와 $S^2 \times S^2$에서 심플렉틱 동형군의 유리수 호모토피 유형을 이해하는 것.
• Seidel 표현을 통해 $S^2$ 위의 하미르토니안 패키징의 기하학과 그 그로모프-위튼 불변량 간의 관계를 분석하는 것.
• 심플렉틱 패키징과 비틀림 없는 성질을 활용하여, 하미르토니안 군 $\mathrm{Ham}(M,\omega)$에서 호퍼 노름 하에 길이를 최소화하는 경로의 존재성을 증명하는 것.

제안 방법

• $M = \mathbb{C}P^2$ 및 $S^2 \times S^2$에 대해 $\mathrm{Symp}(M,\omega)$의 유리수 호모토피 유형을 계산하기 위해 $J$-호로모르픽 곡선 기법을 활용한다.
• 구조군의 위상수학과 관련된 하미르토니안 패키징의 양자 호모로지 간의 관계를 설정하기 위해 시델 표현 $\mathcal{S}$를 적용한다.
• 가치 이론과 그로모프-위튼 불변량을 활용하여 심플렉틱 패키징의 면적을 추정하고 임bedded된 구의 반경을 제약한다.
• 양자 호모로지 대수에서 $\mathcal{S}(\lambda) * \mathcal{S}(-\lambda) = \mathbf{1}$의 항등식을 이용하여 고유값과 곡률에 대한 부등식을 유도한다.
• 특수 유니터리 행렬의 곱에 대한 ABW 부등식을 적용하여, 양자 코호몰로지에 의해 관련된 시델 표현의 구조를 제약한다.
• 작은 면적의 패키징에 대한 비틀림 없는 정리와 시델 표현을 조합하여 $\mathrm{Ham}(M,\omega)$ 내에서 길이를 최소화하는 경로의 존재성을 증명한다.

실험 결과

연구 질문

• RQ1 $M = \mathbb{C}P^2$ 및 $M = S^2 \times S^2$일 때 심플렉틱 동형군 $\mathrm{Symp}(M,\omega)$의 유리수 호모토피 유형은 무엇인가요?
• RQ2 $S^2$ 위의 하미르토니안 패키징의 그로모프-위튼 불변량은 시델 표현과 양자 호모로지와 어떻게 관련이 있나요?
• RQ3 심플렉틱 패키징과 $J$-호로모르픽 곡선 기법을 사용하여, $\mathrm{Ham}(M,\omega)$에서 호퍼 노름 하에 길이를 최소화하는 경로의 존재성을 확립할 수 있을까요?
• RQ4 ABW 부등식은 양자 호모로지 대수에서 시델 표현의 고유값에 어떤 제약을 가하나요?
• RQ5 $S^2$ 위의 하미르토니안 패키징의 면적은 임베딩된 구의 존재성과 시델 표현과 어떻게 관련이 있나요?

주요 결과

• $J$-호로모르픽 곡선 기법을 사용하여 $M = \mathbb{C}P^2$ 및 $M = S^2 \times S^2$에 대해 $\mathrm{Symp}(M,\omega)$의 유리수 호모토피 유형이 계산되었다.
• 시델 표현 $\mathcal{S}$는 패키징의 양자 호모로지와 구조군의 위상수학 간의 관계를 규명하는 강력한 도구를 제공한다.
• 면적이 $\hbar/2$ 이하인 패키징의 경우, 무게 $\kappa_0$를 가진 양호한 섹션의 존재는 임베딩된 반지름 $r$의 공에 대해 $\pi r^2 \leq \mathrm{area}(P,\Omega) - \kappa_0$를 유도한다.
• $\mathcal{S}(\lambda) * \mathcal{S}(-\lambda) = \mathbf{1}$의 항등식은 $\kappa(\lambda) = -\kappa(-\lambda)$를 의미하며, 이는 반대 방향의 고리에 대응하는 시델 원소 간의 연결을 제공한다.
• ABW 부등식은 특수 유니터리 행렬의 곱에 대한 고유값을 제약하며, 이는 양자 코호몰로지에 의해 시델 표현과 관련된다.
• 작은 면적의 패키징에 대한 비틀림 없는 정리와 시델 표현을 조합함으로써, $\mathrm{Ham}(M,\omega)$ 내에서 길이를 최소화하는 경로의 존재성이 증명되었다.