[논문 리뷰] Symplectic Actions and Central Extensions

Andrew Beckett, José Figueroa-O’Farrill|arXiv (Cornell University)|2022. 03. 14.

Advanced Algebra and Geometry인용 수 7

한 줄 요약

이 논문은 연결된 리군 $G$ 의 단순연결된 심플렉틱 동차공간 $(M,\omega)$ 가 $G$ 의 일차원 중심확장에서의 코어지언트 오비트의 유니버설 커버임을 증명한다. 심플렉틱 기하학, 리군 코homology, 기하학적 양자화를 심플렉틱 코사이클과 모멘트 맵을 통해 연결하는 바, 리대수 2-코사이클이 심플렉틱 군 코사이클로 적분 가능함은 그에 대응하는 중심확장을 리대수에서 군으로의 적분 가능성과 동치임을 증명한다.

ABSTRACT

We give a proof of the fact that a simply-connected symplectic homogeneous space $(M,ω)$ of a connected Lie group $G$ is the universal cover of a coadjoint orbit of a one-dimensional central extension of $G$. We emphasise the rôle of symplectic group cocycles and the relationship between such cocycles, left-invariant presymplectic structures on $G$ and central extensions of $G$; in particular, we show that integrability of a central extension of $\mathfrak{g}$ to a central extension of $G$ is equivalent to integrability of a representative Chevalley-Eilenberg 2-cocycle of $\mathfrak{g}$ to a symplectic cocycle of $G$.

연구 동기 및 목표

• 단순연결된 심플렉틱 동차 $G$-공간과 $G$ 의 일차원 중심확장에서의 코어지언트 오비트 사이의 정확한 대응관계를 설정하는 것.
• 심플렉틱 군 코사이클, $G$ 상의 왼쪽-불변 프레심플렉틱 구조, $G$ 의 중심확장 간의 관계를 명확히 하는 것.
• 리대수 $\mathfrak{g}$ 의 체바레-일렌버그 2-코사이클이 군 $G$ 의 심플렉틱 코사이클로 적분 가능함은 그에 대응하는 중심확장이 리대수에서 군으로 적분 가능함과 동치임을 증명하는 것.
• 기하학적 모멘트 맵의 개념을 리군 및 리대수 코homology의 대수적 구조와 통합하는 것.

제안 방법

• 단순연결된 경우에 $M$ 에 대한 $G$-심플렉틱 작용을 $\mathfrak{g}^*$ 상의 코어지언트 오비트와 연결하기 위해 모멘트 맵 구성법을 사용한다.
• 심플렉틱 군 코사이클을 $H^2(G;\mathbb{R})$ 의 원소로 간주하고, 군 1-코사이클의 미분을 통해 $G$ 상의 왼쪽-불변 프레심플렉틱 형식과 연관지킨다.
• 심플렉틱 코사이클과 중심확장 간의 대응관계를 증명하기 위해, 체바레-일렌버그 2-코사이클의 표현이 $H^2(\mathfrak{g};\mathbb{R})$ 에서 유도된 심플렉틱 코사이클이 됨을 보인다.
• 홀로노미 원리를 적용하여, 코어지언트 오비트 상의 $G$-불변 심플렉틱 형식이 키릴로프–코스타ント–소리외의 기하학적 구조에서 유도됨을 보여준다.
• $G$ 상의 왼쪽-불변 디람 복합체를 사용하여 $\Omega^\bullet_{\text{LI}}(G)$ 를 체바레-일렌버그 복합체 $C^\bullet(\mathfrak{g})$ 와 동일시함으로써 코homology 비교를 가능하게 한다.
• 기하학적으로 자명한 중심확장이 $H^2(G;\mathbb{R})$ 와 비례함을 보여주며, 군 코homology와 기하학적 실현 가능성 간의 연결을 확립한다.

실험 결과

연구 질문

• RQ1 단순연결된 심플렉틱 동차 $G$-공간이 $G$ 의 중심확장에서의 코어지언트 오비트의 유니버설 커버와 미분형태로 일치하는 조건은 무엇인가?
• RQ2 심플렉틱 군 코사이클은 $G$ 상의 왼쪽-불변 프레심플렉틱 구조와 어떻게 관련이 있는가?
• RQ3 리대수 2-코사이클이 군의 심플렉틱 코사이클로 적분 가능해지는 정확한 코homology 조건은 무엇인가?
• RQ4 리대수 $\mathfrak{g}$ 의 중심확장의 적분 가능성은 그에 대응하는 체바레-일렌버그 코사이클의 적분 가능성과 어떻게 관련이 있는가?
• RQ5 모든 심플렉틱 $G$-작용이 단순연결된 다양체 위에서 중심확장에서의 코어지언트 작용으로 실현될 수 있는가?

주요 결과

• 연결된 리군 $G$ 의 단순연결된 심플렉틱 동차공간 $(M,\omega)$ 는 $G$ 의 일차원 중심확장에서의 코어지언트 오비트의 유니버설 커버와 미분형태로 일치한다.
• 동차공간 $M$ 에 $G$-불변 심플렉틱 형식이 존재하면, 모멘트 맵 $\mu: M \to \mathfrak{g}^*$ 가 존재하며, $M$ 이 단순연결일 경우 이 맵은 그 이미지 위로 미분형태로 일치하며, 이 이미지는 코어지언트 오비트이다.
• 군 $G$ 상의 심플렉틱 코사이클은 군 1-코사이클의 도함수이며, $H^2(G;\mathbb{R})$ 의 원소로 표현된다.
• $\mathfrak{g}$ 의 중심확장이 군 $G$ 로 적분 가능함은 $\mathfrak{g}$ 의 체바레-일렌버그 2-코사이클의 표현이 군 $G$ 의 심플렉틱 코사이클로 적분 가능함과 동치이다.
• $G$ 상의 왼쪽-불변 디람 복합체는 체바레-일렌버그 복합체와 동형이므로, 컴팩트한 $G$ 에 대해 $H^\bullet_{\text{dR}}(G) \cong H^\bullet(\mathfrak{g};\mathbb{R})$ 가 성립하여 코homology 비교가 가능하다.
• 기하학적으로 자명한 중심확장은 $H^2(G;\mathbb{R})$ 와 일대일 대응되며, 이는 코homology 클래스가 이러한 중심확장들을 동치류에 따라 분류함을 보여준다.