[논문 리뷰] Convexity properties for generalized moment maps I

Yasufumi Nitta|ArXiv.org|2007. 10. 21.

Geometry and complex manifolds참고 문헌 8인용 수 4

한 줄 요약

이 논문은 컴팩트하고 연결된 $H$-twisted 일반화된 복소다양체 위에서 해밀토니안 토르 작용에 대한 일반화된 모멘트 맵의 볼록성과 연결성 성질을 확립한다. Lin과 Tolman의 프레임워크를 바탕으로, 일반화된 모멘트 맵의 상이 고정점 성분에서의 모멘트 맵 값들의 볼록결합임을 증명하며, 클래스적 심플렉틱 볼록성 정리들을 일반화된 복소기하학으로 확장한다. Bott-Morse 함수 분석을 통해 수행된다.

ABSTRACT

We study generalized moment maps for a Hamiltonian action on a connected compact $H$-twisted generalized complex manifold introduced by Lin and Tolman and prove the convexity and connectedness properties of the generalized moment maps for a Hamiltonian torus action.

연구 동기 및 목표

• 심플렉틱 기하학에서 Atiyah와 Guillemin-Sternberg의 고전적 볼록성 및 연결성 정리를 일반화된 복소기하학으로 확장하기 위해.
• 컴팩트하고 연결된 $H$-twisted 일반화된 복소다양체 위에서 해밀토니안 토르 작용에 대한 일반화된 모멘트 맵의 볼록성과 연결성을 확립하기 위해.
• 고정점 성분에서의 값들에 대한 볼록결합으로서의 모멘트 맵 상의 특성화를 일반화된 복소기하학 설정으로 일반화하기 위해.

제안 방법

• Lin과 Tolman가 정의한 $H$-twisted 일반화된 복소다양체 위에서 해밀토니안 작용에 대한 일반화된 모멘트 맵의 개념을 적응한다.
• 일반화된 모멘트 맵 $\mu: M \to \mathfrak{t}^*$와 그 성분 함수 $\mu_i$를 짝수 인덱스와 코인덱스를 가진 Bott-Morse 함수로 분석한다.
• 비특이성 추론을 통해 $\mu^\xi$의 임계다양체가 수준집합과 횡단으로 만난다는 것을 보이며, 위상적 제어를 확보한다.
• Bott-Morse 함수 이론을 적용하여 $\mu$의 수준집합이 연결되어 있고, 상이 볼록함을 증명한다.
• 리 대수 원소들의 유리독립성을 활용하여 $\mu^\xi$의 최대값이 고정점 성분에서 도달됨을 보인다.
• 쌍대성과 볼록결합 추론을 통해 $\mu$의 상이 $a_1, \dots, a_N$의 볼록결합임을 증명한다.

실험 결과

연구 질문

• RQ1 컴팩트한 $H$-twisted 일반화된 복소다양체 위에서 해밀토니안 토르 작용에 대한 일반화된 모멘트 맵이 심플렉틱 경우와 유사한 볼록성 및 연결성 성질을 만족하는가?
• RQ2 일반화된 모멘트 맵의 상은 고정점 성분에서의 모멘트 맵 값들의 볼록결합으로 특성화될 수 있는가?
• RQ3 Bott-Morse 함수 기법은 일반화된 복소기하학 맥락에서 일반화된 모멘트 맵에 어떻게 적용되는가?
• RQ4 리 대수 원소들의 유리독립성은 일반화된 모멘트 맵의 상을 특성화하는 데 어떤 역할을 하는가?
• RQ5 볼록성 및 연결성 정리는 오비폴드를 포함한 일반화된 복소기하학 설정에서도 어느 정도까지 성립하는가?

주요 결과

• 일반화된 모멘트 맵 $\mu$의 수준집합은 연결되어 있으며, 이는 심플렉틱 연결성 결과를 일반화한다.
• 일반화된 모멘트 맵 $\mu$의 상은 볼록하여, Atiyah-Guillemin-Sternberg 볼록성 정리를 일반화된 복소기하학으로 확장한다.
• 토르 작용의 고정점 집합은 유한 개의 연결된, 짝수차원 부분다양체 $C_1, \dots, C_N$로 분해되며, 여기서 $\mu$는 상수이다.
• $\mu(M)$은 점 $a_1, \dots, a_N$의 볼록결합이며, 여기서 $a_i = \mu(C_i)$로 주어지며, 모멘트 맵 상의 정확한 특성화를 확립한다.
• 모든 점 $a \in \mathfrak{t}^*$가 $">\{a_1, \dots, a_N\}$의 볼록결합에 속하지 않는 경우, $\sup \mu^\xi(p) < a(\xi)$를 만족하는 벡터 $\xi \in \mathfrak{t}$가 존재하여 $a \notin \mu(M)$임을 증명한다.
• 결과는 $H$-twisted 일반화된 복소오비폴드로도 확장되며, 이 경우 고정점 성분은 연결된 부분오비폴드가 된다.