[논문 리뷰] A survey of the topological properties of symplectomorphism groups

Dusa McDuff|ArXiv.org|2004. 04. 19.

Geometric and Algebraic Topology참고 문헌 24인용 수 14

한 줄 요약

이 논문은 해밀턴 심플렉토모피즘군과 그들이 다양체 위에 작용하는 방식에 초점을 맞춰 심플렉토모피즘군의 위상적 성질을 조사한다. 평가 사상 π₁(Ham(M)) → π₁(M)가 자명하다는 것을 증명하고, 양자 호모로지와 그로모프–바이너 인버리언트를 사용하여 Ham(M)이 H*(M) 위에 작용하는 호모로지에서 영이 된다는 것을 보이며, 이는 해밀턴 번들의 안정성 결과로 이어진다.

ABSTRACT

The special structures that arise in symplectic topology (particularly Gromov--Witten invariants and quantum homology) place as yet rather poorly understood restrictions on the topological properties of symplectomorphism groups. This article surveys some recent work by Abreu, Lalonde, McDuff, Polterovich and Seidel, concentrating particularly on the homotopy properties of the action of the group of Hamiltonian symplectomorphisms on the underlying manifold M. It sketches the proof that the evaluation map π_1(Ham(M)) o π_1(M) given by {ϕ_t}\mapsto {ϕ_t(x_0)} is trivial, as well as explaining similar vanishing results for the action of the homology of Ham(M) on the homology of M. Applications to Hamiltonian stability are discussed.

연구 동기 및 목표

• 심플렉토모피즘군, 특히 해밀턴 부분군 Ham(M,ω)의 위상적 구조를 이해하기 위해.
• Ham(M)이 기저가 되는 다양체 M의 호모토피 및 호모로지 위에 작용하는 방식을 분석하기 위해.
• 평가 사상 π₁(Ham(M)) → π₁(M)과 Ham(M)이 H*(M) 위에 작용하는 호모로지에 대한 영성 결과를 확립하기 위해.
• 이러한 결과를 해밀턴 안정성과 해밀턴 섬유 번들의 c-스플릿팅에 적용하기 위해.

제안 방법

• Seidel 표현을 사용하여 π₁(Ham(M))이 양자 호모로지 링 QH*(M) 위에 작용하는 군 작용을 정의한다.
• S² 위에 있는 해밀턴 섬유 번들의 그로모프–바이너 인버리언트를 적용하여 양자 곱셈 작용을 연구한다.
• '목을 뻣는다'는 주장(스트레칭 더 넥)을 사용하여 평가 사상 π₁(Ham(M)) → π₁(M)의 자명성을 증명한다.
• 섬유화된 J-홀로모르픽 커브와 번들 전체 공간에서의 곡선 수를 활용하여 Pλ 내의 불변량과 M 내의 불변량을 연결한다.
• H*(Pλ) ≅ H*(S²) ⊗ H*(M)의 동형을 이용하여 추적 사상 trλ: H*(M) → H*+1(M)가 영이 된다는 것을 유도한다.
• 레마 3.4를 통한 귀납법과 역상 추론을 활용하여 c-스플릿팅 결과를 고차 호모토피 군으로 확장한다.

실험 결과

연구 질문

• RQ1 닫힌 심플렉틱 다양체에 대해 평가 사상 π₁(Ham(M)) → π₁(M)는 자명한가?
• RQ2 Ham(M)이 H*(M) 위에 작용하는 호모로지에서 영이 되는가? 이는 번들의 구조에 어떤 영향을 미치는가?
• RQ3 해밀턴 S²-번들의 그로모프–바이너 인버리언트는 섬유의 양자 호모로지와 어떻게 관련이 있는가?
• RQ4 추적 사상 trλ: H*(M) → H*+1(M)의 영성은 해밀턴 번들의 c-스플릿팅을 증명하는 데 사용될 수 있는가?
• RQ5 양자 호모로지가 심플렉토모피즘군에 가하는 위상적 제약 조건은 무엇인가?

주요 결과

• 평가 사상 π₁(Ham(M)) → π₁(M)는 '목을 뻣는다'는 주장으로 자명하다.
• Ham(M)이 H*(M) 위에 작용하는 호모로지에서 영이 되며, 이는 추적 사상 trλ: H*(M) → H*+1(M)가 식별적으로 영이 된다는 것을 의미한다.
• 해밀턴 S²-번들의 전체 공간 Pλ의 유리 호모로지와 H*(S²) ⊗ H*(M) 사이에 동형이 존재하여 c-스플릿팅을 확인한다.
• Seidel 표현은 π₁(Ham(M))에서 QH*(M)의 자동사상군으로의 군 준동형사상을 제공하며, Ψ(λ)는 단위로 작용한다.
• 양자 곱셈 사상 b ↦ Ψ(λ)*b는 단사적이며, 이는 H*(M)의 이미지가 H*(Pλ)에서 비자명하다는 것을 의미한다.
• 추적 사상의 영성과 c-스플릿팅 결과는 위상적 귀납법과 역상 추론을 통해 고차 호모토피 군으로 확장된다.