[논문 리뷰] The Geometry of Momentum

Alan Weinstein|ArXiv.org|2002. 08. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 12

한 줄 요약

이 논문은 군oids를 사용하여 고전역학에서 운동량 맵의 일반적 프레임워크를 개발하며, 기존의 운동량 맵이 실패할 때도 보존량을 포착할 수 있는 '최적의 운동량 맵'을 정의한다. 해밀토니안이 아니거나 비준거행동인 경우에도 적용 가능한 일반화된 노이터 정리의 기반을 마련하고, 위상공간에서 군 작용의 등장형태가 대칭성과 보존법칙에 어떻게 포함되어 있는지를 설명한다.

ABSTRACT

Although the idea of the momentum map associated with a symplectic action of a group is already contained in work of Lie, the geometry of momentum maps was not studied extensively until the 1960's. Centering around the relation between symmetries and conserved quantities, the study of momentum maps was very much alive at the end of the 20th century and continues to this day, with the creation of new notions of symmetry. A uniform framework for all these momentum maps is still to be found; groupoids should play an important role in such a framework.

연구 동기 및 목표

• 표준 운동량 맵이 실패하는 시스템, 특히 비해밀토니안 또는 비준거행동인 경우에도 고전적 운동량 맵 프레임워크를 일반화하는 것.
• 최적의 운동량 맵을 통해 대칭성과 관련된 보존량을 보편적이고 불변적인 방식으로 기술하는 것.
• 심플렉틱, 파우소, 군oids 기반 기하학적 구조 간의 운동량 맵을 하나의 일관된 구성으로 통합하는 것.
• 게이지 또는 자석 포텐셜이 존재하는 시스템에서 등장형태의 구조와 그 불변성을 복원하는 것.
• 최적의 운동량 맵이 $G$-불변 해밀토니안 흐름에 의해 보존되는 모든 $G$--equivariant 파우소 맵 중에서 보편적임을 보여주는 것.

제안 방법

• 표준 운동량 맵이 존재하지 않는 경우를 고려하기 위해, $G$-다양체 $M$을 $G$-불변 해밀토니안 벡터장의 흐름으로 생성되는 준군 $\mathcal{G}$로 나누어 최적의 운동량 맵 $\mathcal{J}: M \to M/\mathcal{G}$를 정의한다.
• 운동량 공간 $M/\mathcal{G}$를 $M$ 위의 $\mathcal{G}$-불변 함수로 구성된 매끄러운 함수의 집합으로 정의하며, 이는 매끄러운 파우소 공간이 되고, 파우소 대수를 이룬다.
• 군 $G$의 작용을 모델링하기 위해 바어 군oids $\mathcal{B}G$를 사용한다. 여기서 객체는 $G$의 부분군이며, 사상은 이중 코셋으로, 공共형과 등장형태를 표현한다.
• $\mathcal{B}G$의 작용을 $P$에서 $\mathcal{B}G \times T^*G$로 확장하여, 수준집합이 $J^{-1}(\mu)$와 등장형태의 교차부분인 운동량 맵을 정의한다.
• 최적의 운동량 맵의 수준집합이 $J^{-1}(\mu) \cap \text{등장형태}$의 연결성분과 일치함을 보여주어, 기존의 운동량 맵을 정밀화한다.
• 보편성 확립: $G$-equivariant 파우소 맵 $K: M \to P$가 $G$-불변 해밀토니안 흐름에 의해 보존된다면, 유일한 $G$-equivariant 파우소 맵 $\phi: M/\mathcal{G} \to P$가 존재하여 $K = \phi \circ \mathcal{J}$가 성립한다.

실험 결과

연구 질문

• RQ1 비준거 또는 비해밀토니안 군 작용인 경우 표준 운동량 맵이 존재하지 않는 상황에서 운동량 맵을 어떻게 일반화할 수 있는가?
• RQ2 등장형태와 그 불변량은 표준 운동량 맵을 초월하여 보존량을 어떻게 표현하는가?
• RQ3 해밀토니안이 아니더라도 $G$-작용과 관련된 모든 보존량을 포착할 수 있는 보편적인 운동량 맵을 구성할 수 있는가?
• RQ4 특히 바어 군oids $\mathcal{B}G$는 다양한 기하학적 구조 간의 운동량 맵을 통합하는 데 어떻게 자연스러운 프레임워크를 제공하는가?
• RQ5 최적의 운동량 맵이 $G$-불변 해밀토니안 흐름에 의해 보존되는 모든 $G$-equivariant 파우소 맵 중에서 보편적인가?

주요 결과

• 최적의 운동량 맵 $\mathcal{J}: M \to M/\mathcal{G}$는 임의의 $G$-불변 해밀토니안 벡터장의 흐름에 대해 항상 보존된다.
• 운동량 공간 $M/\mathcal{G}$는 매끄러운 파우소 공간이며, 그 매끄러운 함수들은 $M$ 위의 $\mathcal{G}$-불변 함수로 구성되며, 파우소 대수를 이룬다.
• 준거해밀토니안 작용의 경우, $\mathcal{J}$의 수준집합은 표준 운동량 맵의 수준집합 $J^{-1}(\mu)$와 주어진 등장형태의 교차부분의 연결성분이 된다.
• 최적의 운동량 맵은 보편적이다: 임의의 $G$-equivariant 파우소 맵 $K: M \to P$가 $G$-불변 해밀토니안 흐름에 의해 보존된다면, 유일한 $G$-equivariant 파우소 맵 $\phi: M/\mathcal{G} \to P$가 존재하여 $K = \phi \circ \mathcal{J}$가 성립한다.
• 해밀토니안 작용이면서 군이 컴팩트하고 연결되어 있을 경우, 이는 에벤스–루 운동량 맵의 특수한 경우로 복원된다.
• 바어 군oids $\mathcal{B}G$의 사용은 운동량 맵을 등장형태 부분군을 통해 내재적으로 정의할 수 있게 하며, 사상은 공共형과 정규화군의 구조를 표현한다. 이는 최적의 운동량 맵에 자연스러운 기하학적 배경을 제공한다.