[論文レビュー] Infinite dimensional Chevalley groups and Kac-Moody groups over $\mathbb{Z}$

Lisa Carbone, Dongwen Liu+1 more|arXiv (Cornell University)|Mar 29, 2018

Algebraic structures and combinatorial models参考文献 23被引用数 3

ひとこと要約

この論文は、Kac-Moody代数の $\mathbb{Z}$-形式と $\mathbb{Z}$ 上の可解最高-weight加群から、無限次元のChevalley型群 $G_V(\mathbb{Z})$ を構成し、非アフィンで可約なKac-Moody群への算術部分群の一般化を達成する。完成化 $\widetilde{G}(\mathbb{Q})$ に対してBruhat分解を確立し、算術部分群 $\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}$ 上の無限次元Chevalley群の類似物を構成すること。
• $\mathbb{Z}$-形式の普遍包あらゆる代数と可解最高重量加群を用いて、算術部分群 $G_V(\mathbb{Z})$ を定義すること。
• 表現論的枠組みに基づく普遍Kac-Moody群 $G$ 及びその完成化 $\widetilde{G}$ を導入し、算術構造を研究すること。
• $\widetilde{G}(\mathbb{Q})$ に対して、$\widetilde{G}(\mathbb{Z})$ と $\widetilde{B}(\mathbb{Q})$ を用いたBruhat分解を確立すること。
• 算術部分群 $\widetilde{\Gamma}(\mathbb{Z})$ が整数点群 $\widetilde{G}(\mathbb{Z})$ に一致することを証明すること。

提案手法

• 有限型またはアフィン型でない対称可能な一般化Cartan行列 $A$ を用いて、単位元を持つ可換環 $R$ 上のKac-Moody代数 $\mathfrak{g}$ を定義する。
• 普遍包あらゆる代数の $\mathbb{Z}$-形式を構成し、整数的構造を定義する。
• 可解最高重量加群 $V$ の $\mathbb{Z}$-形式を用いて、有限次元Chevalley群の一般化として群 $G_V(R)$ を定義する。
• 普遍Kac-Moody群 $G$ 及びその完成化 $\widetilde{G}$ を定義し、$\mathbb{Q}$ 上での位相的・算術的解析を可能にする。
• 表現論的技法を適用して、Bruhat分解 $\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}$ 上の無限次元Chevalley群の類似物をどのように構成できるか？
• RQ2 $\mathbb{Z}$-形式の普遍包あらゆる代数と可解最高重量加群が、算術部分群の定義において果たす役割は何か？
• RQ3 普遍Kac-Moody群の完成化 $\widetilde{G}(\mathbb{Q})$ に対してBruhat分解が成立するか？
• RQ4 算術部分群 $\widetilde{\Gamma}(\mathbb{Z})$ は、完成化群における整数点群 $\widetilde{G}(\mathbb{Z})$ に等しいか？
• RQ5 表現論的構成は、無限次元Kac-Moody群への算術群理論をどのように拡張するか？

主な発見

• この論文は、普遍包あらゆる代数の $\mathbb{Z}$-形式と $\mathbb{Z}$ 上の可解最高重量加群を用いて、無限次元のChevalley型群 $G_V(\mathbb{Z})$ を構成する。
• 算術的および位相的解析を容易にするために、普遍表現論的Kac-Moody群 $G$ 及びその完成化 $\widetilde{G}$ が定義される。
• 完成化 $\widetilde{G}$ は $\mathbb{Q}$ 上でBruhat分解を有する：$\widetilde{G}(\mathbb{Q}) = \widetilde{G}(\mathbb{Z})\widetilde{B}(\mathbb{Q})$。
• 算術部分群 $\widetilde{\Gamma}(\mathbb{Z})$ が整数点群 $\widetilde{G}(\mathbb{Z})$ に正確に一致することが示される。
• この構成は、非アフィンKac-Moody群の無限次元的設定への古典的算術部分群の概念の一般化を達成する。