[논문 리뷰] Multiplicity free quasi-Hamiltonian manifolds

Friedrich Knop|arXiv (Cornell University)|2016. 12. 12.

Geometric and Algebraic Topology참고 문헌 22인용 수 12

한 줄 요약

이 논문은 단순 연결된 컴acts Lie 군과 그들의 트위스트드 루프 군 작용에 대해 볼록이고 다중도 없이 quasi-Hamiltonian 다양체를 두 가지 불변량을 사용하여 분류한다: 아코프 내의 볼록 다면체 부분집합(모멘트 맵의 상을 표현)과 격자(주된 이소트로피 군을 표현). 핵심 결과는 구형 쌍을 통한 완전한 분류로, 기존의 예들을 복원하고 허미션 정수 기하학적 그라스만이안 및 모멘트 맵이 전사인 컴팩트 다양체와 같은 새로운 예들을 구성한다.

ABSTRACT

A (quasi-)Hamiltonian manifold is called multiplicity free if all of its symplectic reductions are 0-dimensional. In this paper, we classify multiplicity free Hamiltonian actions for (twisted) loop groups or, equivalently, multiplicity free (twisted) quasi-Hamiltonian manifolds for simply connected compact Lie groups. As a result we recover old and find new examples of these structures.

연구 동기 및 목표

• 단순 연결된 컴팩트 Lie 군에 대해 볼록이고 다중도 없는 quasi-Hamiltonian 다양체의 분류를 구형성 조건 하에 수행하는 것.
• 해밀턴 기하학에서의 Delzant 유형 분류를 quasi-Hamiltonian 기하학으로 확장하여, 특히 트위스트드 루프 군 작용에 대해 적용하는 것.
• 구형 쌍을 기반으로 체계적인 방법을 사용하여 새로운 quasi-Hamiltonian 다양체의 예를 구성하는 것.
• 지역 모델과 모멘트 맵의 상을 통해 이러한 다양체의 기하학적 및 표현 이론적 특성화를 제공하는 것.
• 대칭 및 비대칭 공간의 불변론적 성질을 그들의 quasi-Hamiltonian 구조를 통해 설명하는 것.

제안 방법

• 분류는 두 가지 불변량을 사용한다: $\mathcal{P}_M \subseteq \mathcal{A}$ (군 값 모멘트 맵의 상)인 볼록 다면체와 $\Lambda_M$ (주된 이소트로피 군을 표현하는 격자).
• 구형성 조건은 각 점 $x \in \mathcal{P}_M$ 에서 접선 콩 $C_x\mathcal{P}$ 가 $L_\mathbb{C}$-대칭의 부드러운 아핀 구형 다양체의 콩과 일치하도록 보장하며, 여기서 $L$ 은 $\exp(x)$ 의 트위스트드 중심화군이다.
• 이 방법은 이러한 다양체가 구형 쌍 $(\mathcal{P}, \Lambda)$ 에 의해 유일하게 결정됨을 증명함으로써, quasi-Hamiltonian 설정으로의 Delzant 추측을 일반화한다.
• 지역 모델 $K \times^L X$ (여기서 $X$ 는 부드러운 아핀 구형 $L_\mathbb{C}$-다양체)를 활용하여, 모멘트 맵 상과 이소트로피 격자 수준의 자료로부터 전역 다양체를 구성한다.
• 이 접근법은 트위스트드 quasi-Hamiltonian 다양체와 트위스트드 루프 군의 해밀턴 작용 사이의 대응을 활용하며, 모멘트 맵이 트위스트드 쌍대 작용에 대해 등변적임을 이용한다.
• 이 구성은 기존의 예들(예: 군의 듀얼, 스핀닝 4-구, 스핀닝 $2n$-구, 허미션 정수 기하학적 공간)을 복원하고, $Sp(2n)$-작용을 갖는 $\operatorname{Gr}_k(\mathbb{H}^{n+1})$ 와 같은 새로운 경우로 확장한다.

실험 결과

연구 질문

• RQ1 단순 연결된 컴팩트 Lie 군에 대해 볼록이고 다중도 없는 quasi-Hamiltonian 다양체의 완전한 분류는 무엇인가?
• RQ2 특수한 구성 이외의 체계적인 방법으로 새로운 quasi-Hamiltonian 다양체의 예를 어떻게 구성할 수 있는가?
• RQ3 quasi-Hamiltonian 기하학의 맥락에서 구형성 조건의 기하학적 및 표현 이론적 의미는 무엇인가?
• RQ4 모멘트 맵이 전사인 컴팩트 quasi-Hamiltonian 다양체는 존재하는가? 만약 존재한다면 어떤 군에 대해 존재하는가?
• RQ5 왜 동일한 군의 두 대칭 공간의 곱에 대각선 작용을 하면 다중도 없는 quasi-Hamiltonian 구조를 가질 수 있는가?

주요 결과

• 논문은 볼록 다면체 $\mathcal{P}$ (아코프 내에 있고)와 구형성 조건을 만족하는 격자 $\Lambda$ 로 구성된 구형 쌍 $(\mathcal{P}, \Lambda)$ 을 통해 볼록이고 다중도 없는 quasi-Hamiltonian 다양체의 완전한 분류를 확립한다.
• 이 분류는 모든 알려진 예들을 복원한다: 군의 듀얼, 스핀닝 4-구, 스핀닝 $2n$-구, 허미션 정수 기하학적 공간.
• 논문은 새로운 예를 구성한다. 그 중에는 자연스러운 $Sp(2n)$-불변 quasi-Hamiltonian 구조를 지닌 허미션 정수 기하학적 그라스만이안 $\operatorname{Gr}_k(\mathbb{H}^{n+1})$ 가 포함된다.
• 이 논문은 $SU(n)$ 과 $Sp(2n)$ 에 대해 모멘트 맵이 전사인 컴팩트 quasi-Hamiltonian 다양체의 존재를 증명한다. 이는 해밀턴 설정에서는 불가능한 현상이다.
• 동일한 군에 대해 대각선 작용을 하는 두 대칭 공간의 곱(비대칭 공간)은 다중도 없는 quasi-Hamiltonian 구조를 지닌다. 이는 그들의 불변론적 성질을 설명한다.
• 이러한 다양체의 국소 구조는 $K \times^L X$ 의 형태로 모델링되며, 여기서 $X$ 는 부드러운 아핀 구형 $L_\mathbb{C}$-다양체이고, $L$ 은 각 점 $x \in \mathcal{P}$ 에서 $\exp(x)$ 의 트위스트드 중심화군이다.