[논문 리뷰] Semibounded representations and invariant cones in infinite dimensional Lie algebras

Karl‐Hermann Neeb|ArXiv.org|2009. 11. 23.

Advanced Topics in Algebra참고 문헌 55인용 수 4

한 줄 요약

이 논문은 무한차원 리군의 반유계(unitary) 표현을 위한 기하학적 및 해석적 프레임워크를 개발한다. 이는 리 대수에서의 고정 원뿔(invariant cones)과 운동량 매핑(momentum maps)을 사용한다. 볼록성, 심플렉틱 기하학, 복소해석학을 연결하는 통합 이론을 수립하고, 바이라소르 대수와 원환면의 미분형식군의 기약 반유계 표현이 정확히 유니터리 최고중량 표현과 그 쌍대 표현임을 증명한다.

ABSTRACT

A unitary representation of a, possibly infinite dimensional, Lie group $G$ is called semi-bounded if the corresponding operators $i\ddπ(x)$ from the derived representations are uniformly bounded from above on some non-empty open subset of the Lie algebra $\g$. In the first part of the present paper we explain how this concept leads to a fruitful interaction between the areas of infinite dimensional convexity, Lie theory, symplectic geometry (momentum maps) and complex analysis. Here open invariant cones in Lie algebras play a central role and semibounded representations have interesting connections to $C^*$-algebras which are quite different from the classical use of the group $C^*$-algebra of a finite dimensional Lie group. The second half is devoted to a detailed discussion of semibounded representations of the diffeomorphism group of the circle, the Virasoro group, the metaplectic representation on the bosonic Fock space and the spin representation on fermionic Fock space.

연구 동기 및 목표

• 지역 콪성과 구조 이론이 없는 무한차원 리군에 대해 반유계 유니터리 표현의 일반 이론을 개발하기 위해.
• 유니터리 표현의 맥락에서 볼록 해석학, 심플렉틱 기하학, 복소기하학, $C^*$-대수학의 개념을 통합하기 위해.
• 바이라소르 군과 원환면의 미분형식군의 기약 반유계 표현을 기하학적 및 대수적 불변량을 사용해 특성화하기 위해.
• 해밀턴 작용과 스무스 벡터 공간을 통해 반유계 표현과 $C^*$-동역학계 사이의 연결 고리를 설정하기 위해.
• 메타플레틱 및 스핀 포크 표현이 반유계임을 증명하여 기존 결과를 무한차원 설정으로 확장하기 위해.

제안 방법

• 반유계성의 개념을 활용: 리 대수 $\mathfrak{g}$의 공집합이 아닌 열린 부분집합에서 $i\text{d}\rho(x)$가 일관되게 아래로 유계인 유니터리 표현.
• 운동량 매핑과 운동량 집합을 사용하여 $\mathfrak{g}'$에서 약한-* 닫힌 볼록체를 통해 유도 표현의 스펙트럼 성질을 연구.
• 반유계 표현의 분류를 위한 중심 기하학적 구조로 리 대수 내의 고정 원뿔을 활용.
• 바나흐-리 군의 스무스 벡터에 대한 스무스 작용 결과를 응용하여 $\mathcal{H}^\infty$의 사영 공간 위에서 해밀턴 작용을 구성.
• 정리 5.7을 적용하여 선다발의 해석적 단면 공간에 표현을 실현하고 그 운동량 집합을 계산.
• $\mathcal{V}(\mathbb{S}^1)$와 $\mathfrak{vir}$의 고정 및 쌍대 궤도를 분석하여 기약 반유계 표현이 최고중량 표현과 일치함을 확인.

실험 결과

연구 질문

• RQ1 지역 콱성과 구조 이론이 없는 무한차원 리군에서 반유계 표현을 체계적으로 연구할 수 있는 방법은 무엇인가?
• RQ2 무한차원 리대수의 반유계 표현 분류에서 고정 원뿔의 역할은 무엇인가?
• RQ3 운동량 매핑과 운동량 집합은 이 맥락에서 유도 표현의 스펙트럼 성질을 어떻게 특성화하는가?
• RQ4 보존적 및 페르미온 포크 공간에서의 메타플레틱 및 스핀 포크 표현이 반유계임을 입증할 수 있는가?
• RQ5 바이라소르 대수와 $\mathrm{Diff}_+(\mathbb{S}^1)$의 기약 반유계 표현은 정확히 유니터리 최고중량 표현과 그 쌍대 표현인가?

주요 결과

• 보존 포크 공간에서의 메타플레틱 표현과 페르미온 포크 공간에서의 스핀 표현은 반유계이며, 이는 이전까지 무한차원 설정에서 증명되지 않은 결과이다.
• $\mathcal{V}(\mathbb{S}^1)$와 $\mathfrak{vir}$의 고정 및 쌍대 궤도 분석을 통해 기약 반유계 표현이 정확히 유니터리 최고중량 표현과 그 쌍대 표현으로 완전히 식별됨.
• 반유계 표현의 운동량 집합은 $\mathfrak{g}'$의 약한-* 닫힌 볼록 부분집합이며, 그 구조는 고정 원뿔의 기하학과 깊이 연결되어 있음.
• 바나흐-리 군의 $\mathcal{H}^\infty$ 위에서의 스무스 작용의 스무스성 덕분에 $\mathbb{P}(\mathcal{H}^\infty)$ 위에서 해밀턴 작용을 구성할 수 있으며, 이는 운동량 매핑 이론에 핵심적임.
• 정리 7.4는 스펙트럼 조건을 만족하는 $C^*$-동역학계와 반유계 표현을 가진 반직선곱 군 $\mathrm{U}(\mathcal{A}^\infty) \rtimes H$ 사이의 연결 고리를 설정하며, 이는 이 맥락으로 $C^*$-대수 도구를 확장함.
• 이 이론은 선다발의 해석적 단면을 통한 반유계 표현의 기하학적 실현을 제공하며, 이 구성의 핵심 기술 도구로 정리 5.7이 기능함.