[논문 리뷰] A symplectic slice theorem

Juan‐Pablo Ortega, Tudor S. Raţiu|arXiv (Cornell University)|2001. 10. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 4

한 줄 요약

이 논문은 전역 운동량 맵이 필요하지 않은 캐논리컬 proper 리 군 작용에 대해 쌍곡형 슬라이스 정리를 수립한다. 대신, 쌍곡형 형식에서 유도되는 항상 존재하는 2-코chains인 Chu 매핑을 사용하여 궤도 주변의 튜브 모델을 구성함으로써, 쌍곡형 구조와 해밀턴 벡터장에 대한 정규형을 가능하게 한다. 주요 기여는 튜브 내에서 해밀턴 행동을 보장하는 충분조건을 규명한 것으로, Chu 매핑에서 유도된 g*-값을 가진 1-형식의 정확성으로 기술된다.

ABSTRACT

We provide a model for an open invariant neighborhood of any orbit in a symplectic manifold endowed with a canonical proper symmetry. Our results generalize the constructions of Marle and Guillemin and Sternberg for canonical symmetries that have an associated momentum map. In these papers the momentum map played a crucial role in the construction of the tubular model. The present work shows that in the construction of the tubular model it can be used the so called Chu map instead, which exists for any canonical action, unlike the momentum map. Hamilton's equations for any invariant Hamiltonian function take on a particularly simple form in these tubular variables. As an application we will find situations, that we will call tubewise Hamiltonian, in which the existence of a standard momentum map in invariant neighborhoods is guaranteed.

연구 동기 및 목표

• 캐논리컬 proper 군 작용에 대해 운동량 맵을 대체함으로써 해밀턴 작용을 초월한 쌍곡형 슬라이스 정리의 일반화를 위해.
• 캐논리컬 proper 군 작용의 궤도 주변에서 쌍곡형 구조에 대한 정규형을 제공하기 위해.
• 튜버큘라 좌표에서 해밀턴 벡터장의 재구성 방정식을 유도하기 위해.
• 캐논리컬 작용이 G-불변 근방에서 국소 운동량 맵을 갖는다는 조건(즉, 튜브 내 해밀턴 작용)을 규명하기 위해.

제안 방법

• 궤도 접선공간의 영수공간의 몫으로 쌍곡형 정규공간 Vm을 구성한다.
• 모든 캐논리컬 작용에서 항상 정의되는 Ψ: M → Z²(g)를 정의한다. Ψ(m)(ξ,η) = ω(m)(ξM(m), ηM(m))로, 이는 항상 존재한다.
• ηM(m) ∈ (g·m)ω 를 만족하는 원소 η ∈ g 의 집합으로 이루어진 부분대수 k ⊂ g 를 정의하여 쌍곡형 구조와의 호환성을 확보한다.
• 등기군 H, 쌍곡형 정규공간 Vm, 그리고 제한된 운동량 맵을 사용하여 국소 모델 Yr = G ×H (m*r × (Vm)r) 을 구성한다.
• 튜버큘라 좌표에서 G-불변 해밀턴 벡터장의 재구성 방정식을 유도한다.
• g*-값을 가진 1-형식 γ 의 정확성 조건을 도입함으로써 국소 모델에서 표준 운동량 맵의 존재를 보장하는 충분조건을 확립한다.

실험 결과

연구 질문

• RQ1 캐논리컬 proper 군 작용에 대해 전역 운동량 맵이 필요하지 않은 쌍곡형 슬라이스 정리를 구성할 수 있는가?
• RQ2 Chu 매핑은 어떻게 쌍곡형 군 작용의 튜브 모델을 구성하는 데서 운동량 맵을 대체할 수 있는가?
• RQ3 어떤 조건에서 캐논리컬 작용이 G-불변 근방에서 국소 운동량 맵을 갖는가(즉, 튜브 내 해밀턴 작용인가)?
• RQ4 g*-값을 가진 1-형식 γ 는 국소 모델에서 표준 운동량 맵의 존재를 결정하는 데 어떤 역할을 하는가?
• RQ5 쌍곡형 슬라이스 정리에서 정의된 튜버큘라 좌표에서 해밀턴 벡터장의 재구성 방정식은 어떻게 단순화되는가?

주요 결과

• Chu 매핑은 캐논리컬 proper 작용에 대해 쌍곡형 슬라이스 정리를 구성할 때 운동량 맵을 대체하는 캐논리컬이고 항상 존재하는 2-코chains를 제공한다.
• 쌍곡형 정규공간 Vm 은 유도된 형식 ωVm 에 의해 쌍곡형 벡터공간이며, 관련된 운동량 맵 JVm 과 함께 자연스러운 H-작용을 갖는다.
• k = {η ∈g | ηM(m) ∈(g·m)ω} 로 정의된 부분대수 k ⊂ g 는 리 괄호에 대해 닫혀 있으며, 이는 구조적 일관성을 보장한다.
• 튜버큘라 좌표에서 해밀턴 벡터장의 재구성 방정식은 특히 단순한 형태를 띠며, 기존의 번들의 방정식을 일반화한다.
• G-작용이 점 m 에서 튜브 내 해밀턴 작용이 되는 것은, ⟨γ(g)·TeLg·η,ξ⟩= −ω(m)(Adg−1ξM(m), ηM(m)) 로 정의된 g*-값을 가진 1-형식 γ 가 정확할 때이고, 그 때에만 성립한다.
• 만약 H¹(G) = 0 이거나 궤도 G·m 가 등방성이라면, G-작용은 점 m 에서 튜브 내 해밀턴 작용이 되며, 이는 정확성 조건이 자명하게 만족되기 때문이다.