[논문 리뷰] Convexity of Hamiltonian manifolds

Friedrich Knop|ArXiv.org|2001. 12. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 29

한 줄 요약

이 논문은 moment map의 Weyl chamber로의 사영에 대한 preimage의 연결성을 정의함으로써 볼록 해밀턴 다양체의 개념을 도입한다. 볼록성은 볼록한 운동량 영역, 연결된 섬유, 열린 moment map를 암시하며, 주요 클래스들—예를 들어 컴팩트 다양체, 유니터리 표현, 코탄젠트(bundle), 모든 해밀턴 다양체가 국소적으로 볼록하다는 것을 보여준다.

ABSTRACT

Let K be a connected Lie group and M a Hamiltonian K-manifold. In this paper, we introduce the notion of convexity of M. It implies that the momentum image is convex, the moment map has connected fibers, and the total moment map is open onto its image. Conversely, the three properties above imply convexity. We show that most Hamiltonian manifolds occuring "in nature" are convex (e.g., if M is compact, complex algebraic, or a cotangent bundle). Moreover, every Hamiltonian manifold is locally convex. This is an expanded version of section 2 of my paper dg-ga/9712010 on Weyl groups of Hamiltonian manifolds.

연구 동기 및 목표

• 해밀턴 $K$-다양체에서 병리적인 행동을 차단할 수 있는 moment map에 대한 위상적 조건을 체계화하기 위해.
• 기존에 컴팩트 및 유니터리 케이스에서 알려진 운동량 영역의 볼록성과 섬유의 연결성이라는 성질들을 하나의 구조적 개념으로 통합하기 위해.
• moment map의 개방성 조건이 볼록성의 필요 및 충분 조건이 되는 볼록성 기준을 설정하기 위해.
• 기본적인 해밀턴 다양체 클래스들(예: 코탄젠트(bundle), 컴팩트 다양체 등)이 볼록성을 만족하는지 보여주기 위해.
• 모든 해밀턴 다양체가 국소적으로 볼록함을 증명하여 볼록성의 적용 범위를 일반적인 설정으로 확장하기 위해.

제안 방법

• moment map $\mu$ 와 Weyl chamber $\mathfrak{t}^+$로의 사영의 합성으로 정의된 사상 $\psi: M \to \mathfrak{t}^+$를 정의하여, 각 점에 대해 $\mathfrak{t}^+$ 내의 유일한 $K$-오빗 표현을 할당한다.
• 선분 위에서의 섬유의 위상적 일관성을 확보하기 위해, 모든 $u,v \in \psi(M)$에 대해 $\psi^{-1}(\overline{uv})$가 연결되어 있다는 조건을 통해 볼록성을 정의한다.
• Sjamaar의 moment map의 국소 구조에 관한 결과를 활용하여, (i) 볼록한 이미지, (ii) 연결된 섬유, (iii) 개방 사상이라는 조건들이 볼록성과 동치임을 증명한다.
• 국소 구조 정리를 적용하여, 모든 해밀턴 다양체가 각 점 주변에 볼록한 해밀턴 다양체로서의 이웃을 가짐을 보여준다.
• 코탄젠트(bundle)의 moment map의 동차성과 $\mathbb{R}_{>0}$-작용을 이용하여 $\psi(T^*X) = C_x$ (영 섹션 주변의 국소 콘)임을 증명하고, 볼록성을 유도한다.
• 모든 $M$에서 $\psi(M)$의 애핀 스트레임이 일정하고, $\psi(M)$의 상대 내부가 $\psi(M)$에 밀집해 있음을, 국소 볼록성과 개방성에 기반하여 증명한다.

실험 결과

연구 질문

• RQ1 moment map에 어떤 위상적 조건이 있어야 해밀턴 다양체가 병리적인 행동을 피할 수 있는가?
• RQ2 운동량 영역의 볼록성과 섬유의 연결성은 하나의 구조적 조건으로 통합될 수 있는가?
• RQ3 moment map의 개방성이 해밀턴 다양체에서 볼록성의 필요 및 충분 조건인가?
• RQ4 표준적인 해밀턴 다양체 클래스들—예를 들어 컴팩트 다양체, 유니터리 표현, 코탄젠트(bundle)—중에서 어떤 것이 볼록성 조건을 만족하는가?
• RQ5 모든 해밀턴 다양체가 국소적으로 볼록한 것으로 근사될 수 있는가? 그리고 이는 전반적인 위상에 어떤 영향을 미치는가?

주요 결과

• 해밀턴 $K$-다양체의 볼록성은 다음 세 조건을 동시에 만족하는 것과 동치이다: (i) $\psi(M) \subseteq \mathfrak{t}^+$의 볼록성, (ii) $\psi$의 섬유의 연결성, (iii) 사상 $\psi: M \to \psi(M)$의 개방성.
• 모든 컴팩트 해밀턴 $K$-다양체는 볼록하며, 연결된 복소대수적 카플러 다양체와 코탄젠트(bundle) $T^*X$ 역시 볼록하다.
• 유니터리 표현은 볼록하며, 이는 컴팩트 케이스를 초월해 키르반의 볼록성 정리가 확장됨을 의미한다.
• 볼록 다양체의 운동량 영역 $\psi(M)$는 국소적으로 볼록 다면체이며, 그 상대 내부는 $\psi(M)$에 밀집해 있다.
• 모든 $x \in M$에 대해, $\psi(U)$가 국소 콘 $C_x$ 에서 열린 집합이고, $\psi^{-1}(\psi(U))$가 볼록한 집합이 되는 이웃 $U$가 존재한다.
• 모든 해밀턴 $K$-다양체는 국소적으로 볼록하다. 즉, 모든 점이 해밀턴적 의미에서 볼록한 이웃을 가지며, 이는 비콤팩트 및 비대수적 설정으로 볼록성의 일반화를 가능하게 한다.