[논문 리뷰] A new class of examples of group-valued moment maps

Alimjon Eshmatov|ArXiv.org|2007. 10. 20.

Quantum chaos and dynamical systems참고 문헌 5인용 수 5

한 줄 요약

이 논문은 $D\mathbf{Sp}(n)_{\rm impl}$의 특정 분할에 대해 그 폐쇄가 허수 사영 공간 $\mathbf{HP}^n$와 미분동형임을 보여, 새로운 유형의 준해밀토니안 다양체를 구성한다. 준심플렉틱 임플로전과 명시적 모멘트 맵 구성법을 사용하여, $\mathbf{HP}^n$ 위에 $\mathbf{Sp}(n) \times T$--equivariant인 미분형 모멘트 맵과 닫힘, 비퇴화된 두차형식을 정의함으로써, 비효율적 군 작용을 가진 다중도수 없는 준해밀토니안 공간으로서의 성격을 입증한다.

ABSTRACT

The purpose of this paper is to construct new examples of group-valued moment maps. As the main tool for construction of such examples we use quasi-symplectic implosion which was introduced in [HJS06]. More precisely we show that there are certain strata of $D{\bf Sp}(n)_{ m impl}$, the universal imploded space, where it is singular but whose closure is a smooth quasi-Hamiltonian ${\bf Sp}(n) imes T$ space.

연구 동기 및 목표

• 비아벨 리군에 대한 고전적 $\mathbf{SU}(n)$ 사례를 초월해 새로운 군가치 모멘트 맵의 예를 구성하는 것.
• 특정 분할의 특이점 폐쇄가 $D\mathbf{Sp}(n)_{\rm impl}$에서 매끄럽게 이루어지는 것으로 나타나, 준해밀토니안 다양체 이론을 확장하는 것.
• 임플로전 공간 $D\mathbf{Sp}(n)_{\rm impl}$의 특정 분할 폐쇄가 $\mathbf{HP}^n$과 미분동형임을 보이고, 자연스러운 준해밀토니안 구조를 지닌다는 것을 입증하는 것.
• 비효율적 $\mathbf{Sp}(n) \times T$-작용을 가진 다중도수 없는 준해밀토니안 공간의 새로운 유형을 제공하는 것.
• $\mathbf{SU}(n)$에서 $\mathbf{Sp}(n)$로의 준해밀토니안 구조의 구성법을 임플로전 기법을 사용해 일반화하는 것.

제안 방법

• HJS06에서 제시된 준심플렉틱 임플로전 구성법을 활용하여, 특이점이 있지만 폐쇄가 매끄러운 분할에 초점을 맞춘 $D\mathbf{Sp}(n)_{\rm impl}$의 구조를 분석한다.
• 저자들은 $D\mathbf{Sp}(n)_{\rm impl}$ 내에서 특정 분할 $X_{01}$을 식별하고, 동차좌표 $[Z_1, \dots, Z_{n+1}]$와 대각행렬 $B = \mathrm{diag}(\exp(\lambda\pi i), 1, \dots, 1)$를 포함한 행렬 표현을 통해 명시적 좌표 매개변수화를 통해 그 폐쇄가 $\mathbf{HP}^n$과 미분동형임을 보인다.
• $\mathbf{Sp}(n) \times T$-equivariant인 매끄러운 모멘트 맵 $\Phi: \mathbf{HP}^n \to \mathbf{Sp}(n) \times T$를 $Z_p$ 좌표와 대각행렬 $B$를 포함한 행렬 표현을 통해 구성한다.
• $\mathbf{HP}^n$ 위의 닫힘, 비퇴화된 두차형식 $\omega$는 임플로전 공간으로부터의 인버트를 통해 유도되며, $dx_{ij}$ 항과 $\lambda$의 삼각함수를 포함한 국소 표현식을 가진다.
• 비판적 위치인 $Z_1 = 0$ 및 $[1,0,\dots,0]$ 근처에서의 행동을 분석함으로써, 두차형식과 모멘트 맵의 매끄러움을 엄밀히 증명한다. 이는 $t = \exp(\pi i \lambda)$에 대한 점근 전개를 사용한다.
• 최종적으로, 이 구조가 준해밀토니안 $\mathbf{Sp}(n) \times T$-다양체의 공리계를 만족함을 검증한다. 이는 모멘트 맵 조건 $d\omega = -\Phi^*\chi$와 $\omega$의 핵심 조건을 포함한다.

실험 결과

연구 질문

• RQ1 임플로전된 분할을 통한 매끄러운 준해밀토니안 다양체의 구성법을 $\mathbf{SU}(n)$에서 $\mathbf{Sp}(n)$로 확장할 수 있는가?
• RQ2 임플로전된 공간 $D\mathbf{Sp}(n)_{\rm impl}$의 특이 분할 폐쇄가 매끄러운 준해밀토니안 구조를 지닐 수 있는가?
• RQ3 $\mathbf{HP}^n$이 비효율적 작용을 가진 준해밀토니안 $\mathbf{Sp}(n) \times T$-다양체로 실현될 수 있는가?
• RQ4 이러한 공간 위의 모멘트 맵과 심플렉틱 형식의 명시적 형태는 무엇인가?
• RQ5 $\mathbf{HP}^n$ 위의 두차형식이 좌표 기반 분석을 통해 특이점에 걸쳐 매끄럽게 연장될 수 있는가?

주요 결과

• 임플로전 공간 $D\mathbf{Sp}(n)_{\rm impl}$ 내 분할 $X_{01}$의 폐쇄는 매끄러운 다양체로서 $\mathbf{HP}^n$과 미분동형이며, 임플로전을 통해 특이 분할을 해결한다.
• 동차좌표 $Z_p$와 대각행렬 $B$를 포함한 행렬 표현을 사용하여, $\mathbf{Sp}(n) \times T$-equivariant인 명시적 모멘트 맵 $\Phi: \mathbf{HP}^n \to \mathbf{Sp}(n) \times T$가 구성된다.
• $\mathbf{HP}^n$ 위의 두차형식 $\omega_0$의 인버트는 $\mathcal{F}^*\omega_{01} = 2\pi dx_{11}dx_{12} - 2\sin(2\pi\lambda)(t + t^{-1})dx_{13}dx_{14} + 4\sin(\pi\lambda)\sum_{p=3}^{n+1}(dx_{p1}dx_{p2} - dx_{p3}dx_{p4})$로 주어지며, 이는 $\mathbf{HP}^n$ 전체에 걸쳐 매끄럽게 연장된다.
• 두차형식은 $\mathbf{HP}^n$ 위에서 닫힘이고 비퇴화적이며, 준해밀토니안 조건 $d\omega = -\Phi^*\chi$를 만족함으로써 다양체 구조가 확인된다.
• 모멘트 맵은 $Z_1 = 0$ 및 $[1,0,\dots,0]$에서도 $t = \exp(\pi i \lambda)$에 대한 점근 분석을 통해 전 구역에서 매끄럽다.
• 결과로 얻어진 공간은 비효율적 군 작용을 가진 다중도수 없는 준해밀토니안 $\mathbf{Sp}(n) \times T$-다양체로서, 군가치 모멘트 맵 이론에서 새로운 유형의 예를 제공한다.