[논문 리뷰] Connectivity and Convexity Properties of the Momentum Map for Group Actions on Hilbert Manifolds

K.R. Smith|arXiv (Cornell University)|2014. 07. 15.

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

한 줄 요약

이 논문은 강한 심플렉틱 구조를 지닌 힐버트 다양체 위에서 유한차원 군 작용에 대해 모멘텀 맵의 정규 일반 수준집합의 연결성을 밝혀내기 위해 모스 이론과 베어 카테고리 정리(정리 1)를 사용한다. 이를 바탕으로, 기반 루프 군과 같은 무한차원 설정으로 일반화된 아티야-기유일맹-스터너버그의 볼록성 정리에 따라 모멘텀 맵의 상의 볼록성을 증명한다.

ABSTRACT

In the early $1980$s a landmark result was obtained by Atiyah and independently Guillemin and Sternberg: the image of the momentum map for a torus action on a compact symplectic manifold is a convex polyhedron. Atiyah's proof makes use of the fact that level sets of the momentum map are connected. These proofs work in the setting of finite-dimensional compact symplectic manifolds. One can ask how these results generalize. A well-known example of an infinite-dimensional symplectic manifold with a finite-dimensional torus action is the based loop group. Atiyah and Pressley proved convexity for this example, but not connectedness of level sets. A proof of connectedness of level sets for the based loop group was provided by Harada, Holm, Jeffrey and Mare in $2006$. In this thesis we study Hilbert manifolds equipped with a strong symplectic structure and a finite-dimensional group action preserving the strong symplectic structure. We prove connectedness of regular generic level sets of the momentum map. We use this to prove convexity of the image of the momentum map.

연구 동기 및 목표

• 유한차원 심플렉틱 결과를 무한차원 심플렉틱 다양체로 일반화하기 위해, 유한차원 군 작용을 갖는 무한차원 심플렉틱 다양체에 대해 아티야-기유일맹-스터너버그의 볼록성 정리를 확장한다.
• 강한 심플렉틱 구조를 지닌 힐버트 다양체에서 모멘텀 맵의 정규 일반 수준집합의 연결성을 확립한다.
• 레벨집합의 연결성을 활용하여 모멘텀 맵의 상의 볼록성을 증명하는 일반적 프레임워크를 제공한다.
• 아티야의 증명 방법—레벨집합 연결성에 기반한 방법—을 기반 루프 군과 같은 무한차원 설정으로 확장한다.
• 기반 루프 군에 대해 아티야와 프레슬리의 원래 증명에서 레벨집합 연결성의 증명이 부족했던 격차를 메운다.

제안 방법

• 모멘텀 맵의 성분에 대해 모스 이론을 적용하여, H¹ 계량에서 일부 성분이 팔라이-스마일 조건(조건 C)을 만족함을 보인다.
• 베어 카테고리 정리를 적용하여, 레벨집합이 연결되는 정규 값의 집합이 리 대수의 쌍대공간에서 잔여집합임을 보인다.
• 힐버트 다양체 위에서의 거의 주기적 Rⁿ-작용 이론을 활용하여 모멘텀 맵의 섬유 구조를 분석한다.
• 문제를 유한차원 볼록성 추론으로 줄이기 위해 모멘텀 맵의 상에서 Rⁿ로의 좋은 사영을 구성한다.
• 함수 공간에서의 미분방정식의 존재 및 유일성 정리를 활용하여 모멘텀 맵 성분의 경로적 흐름을 분석한다.
• 대수적 기반 루프 군 Ω_alg에 대한 직접 극한 위상수학을 사용하여, 전체 힐버트 다양체로 확장하기 전에 밀집 부분공간에서 레벨집합의 연결성을 증명한다.

실험 결과

연구 질문

• RQ1 유한차원 군 작용을 갖는 무한차원 심플렉틱 다양체에서 모멘텀 맵 레벨집합의 연결성은 확립될 수 있는가?
• RQ2 유한차원에서 볼록성이 보장되는 조건이 동일하게 유지될 경우, 힐버트 다양체에서 모멘텀 맵의 상의 볼록성은 유지되는가?
• RQ3 아티야의 방법—레벨집합 연결성에 기반한 방법—은 기반 루프 군과 같은 무한차원 설정으로 확장될 수 있는가?
• RQ4 어떤 위상적 및 분석적 조건이 힐버트 다양체에서 모멘텀 맵의 정규 레벨집합이 연결되도록 보장하는가?
• RQ5 무한차원 심플렉틱 다양체 위에서 거의 주기적 Rⁿ-작용이 모멘텀 맵의 구조에 어떻게 영향을 미치는가?

주요 결과

• 레벨집합 μ⁻¹(c)가 연결되는 정규 값 c ∈ ℝⁿ의 집합은 ℝⁿ에서 잔여집합이므로, 일반적이고 밀집된 Gδ 집합에서 연결성이 성립한다.
• 기반 루프 군 ΩG 위에서 T×S¹ 작용에 대한 모멘텀 맵의 상은 볼록하며, 아티야와 프레슬리의 결과 [7]를 새로운 레벨집합 연결성 기반 증명으로 재현한다.
• 전체 힐버트 다양체 ΩG에서 모멘텀 맵의 정규 값에 대해 레벨집합의 연결성이 확립되며, 이는 이전 결과가 밀집 부분공간 Ω_alg에 국한되었던 것을 초월한다.
• 모멘텀 맵 성분은 H¹ 계량 하에서 조건 (C)를 만족하므로, 연결성 증명을 위한 모스이론적 기법을 적용할 수 있다.
• 이 증명 프레임워크는 강한 심플렉틱 구조를 지닌 힐버트 다양체와 심플렉틱 형식을 보존하는 유한차원 군 작용에 대해 일반적으로 적용 가능하다.
• 결과는 무한차원 설정에서 모멘텀 맵의 상의 볼록성이, 유한차원 사례와 동일한 원리—레벨집합의 연결성—에 기반한다는 것을 확인한다.