[논문 리뷰] Affine Kac-Moody symmetric spaces

Walter Freyn|arXiv (Cornell University)|2011. 09. 13.

Algebraic structures and combinatorial models참고 문헌 2인용 수 5

한 줄 요약

이 논문은 온전한 리만 대칭 공간의 무한차원 유사체로서 애핀 카크-무디 대칭 공간을, 테임 프레셰 다양체와 해석적 루프 군을 이용하여 포괄적인 이론으로 수립한다. 이는 카크-무디 군의 몫으로서 대칭 공간을 구성하고, 컴팩트형과 비컴팩트형 사이의 이중성을 증명하며, 그들의 등장 표현이 고전적 $P(G,H)$-행동과 일치함을 보인다.

ABSTRACT

Since the work of Henri Cartan finite dimensional Riemannian symmetric spaces are an important subject of mathematical interest. They are related in a natural way to semisimple Lie groups. In this work we introduce and study their infinite dimensional generalization: Affine Kac-Moody symmetric spaces. Affine Kac-Moody symmetric spaces are infinite dimensional symmetric spaces associated to affine Kac-Moody groups. They have the structure of tame Fréchet manifolds; the natural Ad-invariant scalar product on affine Kac-Moody algebras is Lorentzian, making affine Kac-Moody symmetric spaces into Lorentzian symmetric spaces. Similar to affine Kac-Moody groups sharing most of their structure properties with simple Lie group, also Kac-Moody symmetric spaces share most of their structure properties with their finite dimensional Riemannian counterparts. In particular the classification of Kac-Moody symmetric spaces follows the lines of the classification of finite dimensional Riemannian symmetric spaces: There are four types distinguished, which fall into the two classes of Kac-Moody symmetric spaces of the compact type and of the noncompact type. Symmetric spaces of the compact type and of the noncompact type are related by a duality relation. In addition the geometry of the rank 1-building blocks is the same for Kac-Moody symmetric spaces as for finite dimensional Riemannian symmetric spaces. Kac-Moody symmetric spaces appear in mathematics and theoretical physics: for example their isotropy representations are essentially equivalent to polar actions on Hilbert spaces; twin cities can be embedded equivariantly into the tangent space. In theoretical physics Kac-Moody symmetric spaces got recently a prominent place due to various conjectures relating them to certain formulations of supergravity theories and M-theory.

연구 동기 및 목표

• 유한차원 리만 대칭 공간의 무한차원 유사체로서 애핀 카크-무디 대칭 공간의 기하 이론을 개발하는 것.
• 기능해석학적 방법을 통해 카크-무디 대수에 대한 기하 프레임워크의 부족을 보완하여 대칭 공간을 구성하는 것.
• 유한차원과 무한차원 설정에서 대칭 공간의 분류 및 기하적 구조를 통합하는 것.
• 단순연결된 카크-무디 대칭 공간의 컴팩트형과 비컴팩트형 사이의 이중성을 수립하는 것.
• 등장 표현과 폴라 작용 및 등주면부의 관계를 통해 이러한 공간을 특성화하는 것.

제안 방법

• 무한차원 미분 구조의 기능해석학적 기초로 테임 프레셰 다양체를 사용한다.
• 복소수 재구성 $G_\mathbb{C}$에 대해 해석적 루프 군 $\mathrm{Hol}(\mathbb{C}^*, G_\mathbb{C})$의 토러스 확장을 통해 카크-무디 군을 구성한다. 이는 복소화를 가능하게 한다.
• 무한차원 매핑 군의 다양체 구조를 보장하기 위해 테임 함수에 대한 은둔함수 정리를 적용한다.
• 카크-무디 군 $G$의 침묵에 대한 고정점 부분군 $H$를 이용해 카크-무디 대칭 공간을 몫 $G/H$로 정의한다.
• 무한차원 리 군 및 대수적 프레임워크를 다루기 위해 역극한 구조와 $ILB$-구조를 활용한다.
• 복소화와 등장 표현 이론을 통해 컴팩트형과 비컴팩트형 대칭 공간 간의 이중성을 수립한다.

실험 결과

연구 질문

• RQ1 어떻게 애핀 카크-무디 대칭 공간을 유한차원 리만 대칭 공간의 체계적인 무한차원 유사체로 구성할 수 있는가?
• RQ2 이러한 무한차원 대칭 공간의 미분기하학을 뒷받침하는 기능해석학적 프레임워크는 무엇인가?
• RQ3 컴팩트형과 비컴팩트형 카크-무디 대칭 공간 간의 이중성은 어떻게 유한차원 대칭 공간 이론에서의 이중성을 일반화하는가?
• RQ4 카크-무디 대칭 공간의 등장 표현이 고전적 $P(G,H)$-행동과 어느 정도 일치하는가?
• RQ5 비컴팩트 카크-무디 대칭 공간에 대해 무한대의 경계를 정의할 수 있는가? 이는 모스트 라이지드성의 일반화를 지원하는가?

주요 결과

• 애핀 카크-무디 대칭 공간은 테임 프레셰 카크-무디 리 군의 몫으로 구성되며, 이는 유한차원 대칭 공간 구성의 일반화이다.
• 이론은 루프 군의 복소화를 통해 컴팩트형과 비컴팩트형 카크-무디 대칭 공간 간의 이중성을 수립한다.
• 카크-무디 대칭 공간의 등장 표현은 [HPTT95]에서 소개된 고전적 $P(G,H)$-행동과 일치하며, 이는 유한차원 유사체와의 일관성을 확인한다.
• 형 II, I 및 비컴팩트형의 카크-무디 대칭 공간 내의 유한차원 평면은 루트 공간 분해의 표현을 통해 대칭 공간 기하학과 유사한 구조를 띤다.
• 논문은 카크-무디 대칭 공간을 병행하는 빛의 방향 벡터장을 지닌 무한차원 브링크만 웨이브로 식별함으로써, 버거의 호로노미 정리의 일반화를 시사한다.
• 등장 부분군 내에 $S^1$과 해석적으로 이sovolumetric한 중심의 존재는 헤르미트 대칭 공간과의 유사성을 지지하지만, 파라-헤르미트 구조의 존재는 여전히 열려있다.