[논문 리뷰] The Topological Structure of Contact and Symplectic Quotients

Eugene Lerman, Christopher Willett|ArXiv.org|2000. 08. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 5

한 줄 요약

이 논문은 적절한 리 군 작용 하에서 접촉 및 심플렉틱 몽환은 위상적으로 분할된 공간임을 확립한다. 각 점의 이웃은 분할된 공간 위의 콘과 디스크의 곱으로 모델링된다. 주요 기여는 접촉 몽환과 심플렉틱 몽환 둘 다 강한 분할된 구조를 상속한다는 것을 보여주는 통합적이고 간결한 증명이다. 이는 이전의 심플렉틱 몽환 결과를 확장하고 단순화하며, 접촉 몽환에 대해서도 동일한 결과를 확립한다.

ABSTRACT

We show that if a Lie group acts properly on a co-oriented contact manifold preserving the contact structure, then the contact quotient is topologically a stratified space (in the sense that a neighborhood of a point in the quotient is a product of a disk with a cone on a compact stratified space). As a corollary, we obtain that symplectic quotients for proper Hamiltonian actions are topologically stratified spaces in this strong sense thereby extending and simplifying previous work.

연구 동기 및 목표

• 적절한 리 군 작용 하에서 코-oriented 접촉 다양체의 접촉 몽환은 위상적으로 분할된 공간임을 확립하는 것.
• 기존의 심플렉틱 몽환에 대한 분할 결과를 접촉 설정으로 확장하여, 접촉 몽환이 동일한 강한 의미에서 분할됨을 증명하는 것.
• 지역 정규형 기법을 사용하여 심플렉틱 및 접촉 몽환의 분할을 동시에 보여주는 통합적이고 간결한 증명을 제공하는 것.
• 심플렉틱 몽환의 분할이 접촉 환원의 기하학으로 자연스럽게 유도됨을 보여주어 이전 증명을 단순화하는 것.
• 후속 연구에서 다루는 접촉 몽환의 분할에서의 접촉 구조에 대한 기초를 마련하는 것.

제안 방법

• 접촉 및 심플렉틱 다양체 위의 군 작용에 대한 지역 정규형 정리들을 사용하여 몽환 내 궤도의 이웃을 모델링하는 것.
• W가 심플렉틱 정규 공간의 접촉화임을 고려할 때, G-불변의 접촉 형식을 정규 벡터(bundle) $\mathcal{Y} = G \times_H (\mathfrak{h}^\circ \times W)$ 상에 구성하는 것.
• H-불변 분해 $\mathfrak{g}^* = \mathfrak{h}^\circ \oplus \mathfrak{h}^*$를 이용하여 $T^*G \times W$의 H에 의한 접촉 몽환을 통해 모델 공간 $\mathcal{Y}$를 H-불변 분해를 통해 접촉 다양체로 식별하는 것.
• 모델 공간 $\mathcal{Y}$ 상의 순간 맵이 몽환 상의 원하는 순간 맵과 일치함을 보여주어 환원 과정과의 호환성을 확보하는 것.
• 접촉 다양체에 대한 다르부 정리를 적용하여 M 내 궤도의 이웃을 모델 공간 $\mathcal{Y}$ 내 이웃과 동일시하며, 접촉 구조와 순간 맵의 구조를 유지하는 것.
• 심플렉틱 몽환 내 특이점의 이웃이 디스크와 접촉 환원 공간 위의 콘의 곱임을 이용하여 분할을 도출하는 것.

실험 결과

연구 질문

• RQ1 적절한 리 군 작용 하에서 코-oriented 접촉 다양체의 접촉 몽환은 위상적으로 분할된 공간인가?
• RQ2 심플렉틱 몽환에 대한 분할 결과를 통합적이고 단순화된 증명을 통해 접촉 설정으로 확장할 수 있는가?
• RQ3 접촉 몽환의 분할은 어떻게 접촉 구조를 상속하며, 기하학적 성격은 무엇인가?
• RQ4 심플렉틱 몽환 내 특이점의 이웃에 대한 국소 모델은 무엇이며, 접촉 환원과 어떻게 관련되는가?
• RQ5 심플렉틱 몽환의 분할은 자연스러운 구성으로 접촉 몽환의 기하학으로부터 도출될 수 있는가?

주요 결과

• 적절한 리 군 작용 하에서 코-oriented 접촉 다양체의 접촉 몽환은 위상적으로 분할된 공간이며, 각 분할은 다양체이며 이웃은 컴act 분할된 공간 위의 콘과 디스크의 곱으로 모델링된다.
• 접촉 몽환의 분할은 자체적으로 접촉 다양체이며, 몽환 구성으로부터 접촉 구조를 상속한다.
• 적절한 해밀턴 군 작용에 의한 심플렉틱 몽환 역시 동일한 강한 의미에서 위상적으로 분할된 공간이며, 이는 [SL, BL]의 이전 결과를 확장하고 단순화한다.
• 심플렉틱 몽환 내 특이점의 이웃은 접촉 환원 공간 위의 콘과 디스크의 곱이며, 이는 분할의 기하학적 기초를 제공한다.
• 컴act 군 작용을 갖는 벡터 공간의 환원을 통해 접촉 및 심플렉틱 몽환의 분할을 동시에 보여주는 통합된 증명 기법이 개발되었다.
• 접촉 군 작용에 대한 국소 정규형은 심플렉틱 다양체에 대한 마를-쥐예민-스터너버 정리와 유사하게 구성되며, 이는 모델의 기하학적 일관성을 확인한다.