[논문 리뷰] Infinite dimensional Chevalley groups and Kac-Moody groups over $\mathbb{Z}$

Lisa Carbone, Dongwen Liu외 1명|arXiv (Cornell University)|2018. 03. 29.

Algebraic structures and combinatorial models참고 문헌 23인용 수 3

한 줄 요약

이 논문은 비유한, 비아핀 Kac-Moody 대수의 $\mathbb{Z}$-형과 $\mathbb{Z}$ 위의 적분 가능한 최고 가중치 모듈러스로부터 무한차원 체바일 유형의 군 $G_V(\mathbb{Z})$를 구성하며, 유한차원 아핀이 아닌 경우에 대해 산술 부분군을 일반화한다. 완비화된 군 $\widetilde{G}(\mathbb{Q})$에 대해 브라우트 분해를 확립하고, 산술 부분군 $\widetilde{\Gamma}(\mathbb{Z})$가 정수 점들의 군 $\widetilde{G}(\mathbb{Z})$와 일치함을 증명한다.

ABSTRACT

Let $A$ be a symmetrizable generalized Cartan matrix, which is not of finite or affine type. Let $\mathfrak{g}$ be the corresponding Kac-Moody algebra over a commutative ring $R$ with $1$. We construct an infinite-dimensional group $G_V(R)$ analogous to a finite-dimensional Chevalley group over $R$. We use a $\mathbb{Z}$-form of the universal enveloping algebra of $\mathfrak{g}$ and a $\mathbb{Z}$-form of an integrable highest-weight module $V$. We construct groups $G_V(\mathbb{Z})$ analogous to arithmetic subgroups in the finite-dimensional case. We also consider a universal representation-theoretic Kac-Moody group $G$ and its completion $\widetilde{G}$. For the completion we prove a Bruhat decomposition $\widetilde{G}({\mathbb{Q}})=\widetilde{G}({\mathbb{Z}})\widetilde{B}({\mathbb{Q}})$ over $\mathbb{Q}$, and that the arithmetic subgroup $\widetildeΓ(\mathbb{Z})$ coincides with the subgroup of integral points $\widetilde{G}(\mathbb{Z})$

연구 동기 및 목표

• 비유한, 비아핀 Kac-Moody 대수를 위한 $\mathbb{Z}$ 위의 무한차원 체바일 군의 일반화를 개발한다.
• $\mathbb{Z}$-형의 보편 포락대수와 적분 가능한 최고 가중치 모듈러스를 사용하여 산술 부분군 $G_V(\mathbb{Z})$를 정의한다.
• 산술 구조를 연구하기 위해 보편 표현 이론적 Kac-Moody 군 $G$와 그 완비화 $\widetilde{G}$를 도입한다.
• $\widetilde{G}(\mathbb{Q})$에 대해 $\widetilde{G}(\mathbb{Z})$와 $\widetilde{B}(\mathbb{Q})$를 이용한 브라우트 분해를 확립한다.
• 산술 부분군 $\widetilde{\Gamma}(\mathbb{Z})$가 정수 점들의 군 $\widetilde{G}(\mathbb{Z})$와 일치함을 증명한다.

제안 방법

• 유한형 또는 아핀형이 아닌 일반화된 카르탕 행렬 $A$를 사용하여 $1$을 가진 가환환 $R$ 위에서 Kac-Moody 대수 $\mathfrak{g}$를 정의한다.
• 보편 포락대수의 $\mathbb{Z}$-형을 구성하여 정수 구조를 정의한다.
• 적분 가능한 최고 가중치 모듈러스 $V$의 $\mathbb{Z}$-형을 활용하여, 유한차원 체바일 군의 일반화로서 군 $G_V(R)$를 정의한다.
• 완비화된 군 $\widetilde{G}$를 정의하여 $\mathbb{Q}$ 위에서 위상적 및 산술적 분석을 가능하게 하는 보편 Kac-Moody 군 $G$를 정의한다.
• 표현 이론적 기법을 적용하여 브라우트 분해 $\widetilde{G}(\mathbb{Q}) = \widetilde{G}(\mathbb{Z})\widetilde{B}(\mathbb{Q})$를 확립한다.
• 완비화된 군 $\widetilde{G}$의 구조를 이용하여 $\widetilde{\Gamma}(\mathbb{Z}) = \widetilde{G}(\mathbb{Z})$임을 증명한다. 이는 산술 부분군을 정수 점들과 동일시한다.

실험 결과

연구 질문

• RQ1 비유한, 비아핀 Kac-Moody 대수를 위한 $\mathbb{Z}$ 위의 무한차원 체바일 군의 일반화를 어떻게 구성할 수 있는가?
• RQ2 $\mathbb{Z}$-형의 보편 포락대수와 적분 가능한 최고 가중치 모듈러스가 산술 부분군 정의에 어떤 역할을 하는가?
• RQ3 보편 Kac-Moody 군의 완비화 $\widetilde{G}(\mathbb{Q})$에 대해 브라우트 분해가 성립하는가?
• RQ4 산술 부분군 $\widetilde{\Gamma}(\mathbb{Z})$는 완비화된 군의 정수 점들의 군 $\widetilde{G}(\mathbb{Z})$와 같은가?
• RQ5 표현 이론적 구성은 산술 군 이론을 무한차원 Kac-Moody 군으로 어떻게 일반화하는가?

주요 결과

• 논문은 $\mathbb{Z}$-형의 보편 포락대수와 $\mathbb{Z}$ 위의 적분 가능한 최고 가중치 모듈러스를 사용하여 무한차원 체바일 유형의 군 $G_V(\mathbb{Z})$를 구성한다.
• 산술적 및 위상적 분석을 용이하게 하기 위해 보편 표현 이론적 Kac-Moody 군 $G$와 그 완비화 $\widetilde{G}$를 정의한다.
• 완비화된 군 $\widetilde{G}$는 $\mathbb{Q}$ 위에서 브라우트 분해를 갖는다: $\widetilde{G}(\mathbb{Q}) = \widetilde{G}(\mathbb{Z})\widetilde{B}(\mathbb{Q})$.
• 산술 부분군 $\widetilde{\Gamma}(\mathbb{Z})$가 정확히 정수 점들의 군 $\widetilde{G}(\mathbb{Z})$와 일치함을 보였다.
• 이 구성은 비아핀 Kac-Moody 군의 무한차원 설정으로 고전적인 산술 부분군의 개념을 일반화한다.