[논문 리뷰] On Generalized Moment Maps for Symplectic Compact Group Actions

Pierre Sleewaegen|arXiv (Cornell University)|2003. 04. 29.

Geometric and Algebraic Topology참고 문헌 19인용 수 3

한 줄 요약

이 논문은 닫힘 심플렉틱 다양체 위에서 컴팩트한 연결 리군의 심플렉틱 작용을 위한 일반화된 순간 맵을 도입하며, McDuff의 원주값을 가지는 순간 맵을 고차수 컴팩트 군으로 확장한다. 토르스 작용에 대한 비해밀토니안 형태의 Atiyah-Guillemin-Sternberg 볼록성 정리 수립하고, 고정점이 존재하는 복잡도-1 심플렉틱 토르스 작용이 해밀토니안임을 증명하며, 피브어 연결 순간 맵과 축소 기법을 사용한다.

ABSTRACT

A generalized moment map is proposed for arbitrary symplectic actions of compact connected Lie groups on closed symplectic manifolds, in the spirit of the circle -valued maps introduced by D. McDuff in the case of non-Hamiltonian circle actions. We study equivariance properties of generalized moments, show that they allow reduction procedures, and obtain in the torus case a version of the Atiyah-Guillemin-Sternberg convexity theorem. As illustration, we reformulate a proof of M.K. Kim that "complexity one" symplectic torus actions are Hamiltonian, and give a symplectic proof of the finiteness of certain symmetry groups of compact oriented surfaces.

연구 동기 및 목표

• 심플렉틱 다양체 위에서 일반 컴팩트 리군 작용을 위한 McDuff의 원주값을 가지는 순간 맵을 일반화한다.
• 토르스 작용에 대한 비해밀토니안 형태의 Atiyah-Guillemin-Sternberg 볼록성 정리를 수립한다.
• 고정점이 존재하는 복잡도-1 심플렉틱 토르스 작용이 일반화된 순간 맵과 축소 기법을 통해 해밀토니안임을 증명한다.
• 일반화된 순간 맵의 등변성 성질과 Marsden-Weinstein 축소와의 호환성을 분석한다.
• 일반화된 순간 맵 프레임워크를 활용해, 종수 ≥2 표면에서 등장하는 등장사상군의 유한성을 심플렉틱적으로 증명한다.

제안 방법

• 𝒞*는 해밀토니안 순간 맵이고 (S¹)^r은 비해밀토니안 토르스 작용을 위한 McDuff 순간 맵인, 일반화된 순간 맵 μ: M → 𝒞* × (S¹)^r을 정의한다.
• M 위에 G-불변인 적분 가능한 심플렉틱 형식 ω′을 구성하여, ω′에 대한 작용이 해밀토니안임을 확보한다.
• G = C × T^r 분해를 통해 C는 해밀토니안 작용하고 T^r은 비해밀토니안 작용하도록 하여, 순간 맵의 구조를 정의한다.
• 순간 맵의 피브어 연결성을 적용하여 수준집합과 축소된 공간의 위상적 제어를 확보한다.
• Marsden-Weinstein 축소를 단계적으로 적용하며, (S¹)^r 위의 애핀 작용을 활용해 비해밀토니안 작용에 적응한다.
• Sard의 정리와 고정점 근처의 국소 정규형을 활용하여 정상값을 구성하고 고정점 궤도를 식별한다.

실험 결과

연구 질문

• RQ1 McDuff의 원주값을 가지는 순간 맵 구성은 심플렉틱 다양체 위의 고차수 컴팩트 리군 작용으로 일반화될 수 있는가?
• RQ2 일반화된 순간 맵을 통해 비해밀토니안 토르스 작용에 대한 Atiyah-Guillemin-Sternberg 볼록성 정리는 성립하는가?
• RQ3 심플렉틱 토르스 작용이 복잡도-1일 때 어떤 조건에서 반드시 해밀토니안인가?
• RQ4 일반화된 순간 맵의 등변성은 달성 가능한가? 고정점이 없을 경우의 장애 요소는 무엇인가?
• RQ5 고정점의 존재는 비해밀토니안 군 작용의 해밀토니안 성질에 어떤 영향을 미치는가?

주요 결과

• 닫힘 심플렉틱 다양체 위에서 컴팩트한 연결 리군 작용에 대해 일반화된 순간 맵 μ: M → 𝒞* × (S¹)^r이 존재하며, 𝒞*는 진정한 해밀토니안 순간 맵이고 (S¹)^r 성분은 McDuff의 순간 맵이다.
• G가 토르스일 경우, 일반화된 순간 맵의 이미지는 μ(M) = Δ × (S¹)^r를 만족하며, Δ는 해밀토니안 성분의 볼록 다각형 이미지이고 μ는 개방 사상이다.
• 1차 베티 수 b₁(M)는 r ≤ b₁(M)를 만족하며, r은 비해밀토니안 토르스 성분의 랭크이다.
• T^r-작용에 고정점이 존재할 경우, 일반화된 순간 맵은 군 작용에 대해 등변으로 선택할 수 있다.
• 비해밀토니안 성질의 유전성은 비해밀토니안 T^r-작용이 T¹-축소 후에도 비해밀토니안으로 남아있음을 보장하며, 순간 맵의 구조를 유지한다.
• 피브어 연결 순간 맵 μ^fc를 통해 단계적 축소를 수행하면, 고정점을 가지며 비해밀토니안 S¹-작용을 갖는 연결된 4차원 오비폴드를 생성할 수 있으며, 이는 McDuff의 결과와 모순되며, 김의 정리(복잡도-1 작용에 관한)를 증명한다.