[論文レビュー] Curtis Tits amalgams and presentations of locally split Kac-Moody groups

Rieuwert J. Blok, Corneliu Hoffman|arXiv (Cornell University)|Jul 8, 2009

Geometric and Algebraic Topology被引用数 3

ひとこと要約

本稿では、三角形を含まない単純ラクスな図形上のCurtis-Tits結合体の分類のための新しい枠組みを提示する。Bass-Serre理論を用いて、可換型と非可換型に分類し、完全な同型分類を確立する。可換型構造は、Moufang基礎を介して局所的に分裂するKac-Moody群と自然に一致し、このような結合体がKac-Moody群を生じるための簡単な基準を提示する。一方、非可換型の場合は、さらなる研究のためのより豊かな非自明な完備化を許容する。

ABSTRACT

A celebrated theorem of Curtis and Tits on groups with finite BN-pair shows that roughly speaking these groups are determined by their local structure. This result was later extended to Kac-Moody groups by P.~Abramenko and B.~Muhlherr. Their theorem states that a Kac-Moody group $G$ is the universal completion of an amalgam of rank two (Levi) subgroups, as they are arranged inside $G$ itself. Taking this result as a starting point, we define a Curtis-Tits structure over a given diagram to be an amalgam of groups such that the sub-amalgam corresponding to a two-vertex sub-diagram is the Curtis-Tits amalgam of some rank-$2$ group of Lie type. There is no a priori reference to an ambient group, nor to the existence of an associated (twin-) building. Indeed, there is no a priori guarantee that the amalgam will not collapse. We then classify these amalgams up to isomorphism. In the present paper we consider triangle-free simply-laced diagrams. Instead of using Goldschmidt's lemma, we introduce a new approach by applying Bass and Serre's theory of graphs of groups. The classification reveals a natural division into two main types: and Curtis-Tits structures. Our classification of orientable Curtis-Tits structures naturally fits with the classification of all locally split Kac-Moody groups using Moufang foundations. In particular, our classification yields a simple criterion for recognizing when Curtis-Tits structures give rise to Kac-Moody groups. The class of non-orientable Curtis-Tits structures is in some sense much larger. Many of these amalgams turn out to have non-trivial interesting completions inviting further study.

研究の動機と目的

• 三角形を含まない単純ラクスな図形上のCurtis-Tits結合体を定義・分類し、埋め込み群やビルディング構造を仮定しないこと。
• 図形論的技法を用いて、これらの結合体を同型の観点から体系的に分類すること。
• このような結合体が局所的に分裂するKac-Moody群を生じる条件を特定すること、特に可換性に基づくもの。
• 非可換型Curtis-Tits結合体の構造的性質および完備化の性質を調査し、非自明な完備化が存在することを明らかにすること。

提案手法

• BassとSerreの群の図形理論を用いて、与えられた図形上の結合体構造を分析する。
• 図形上にCurtis-Tits構造を定義し、各2頂点部分図形がリー型のランク2群のCurtis-Tits結合体を誘導することを要件とする。
• 図形の三角形を含まないことと単純ラクス性を活用し、小サイクルに起因する複雑さを回避する。
• 局所的群構造がグローバルな向きに整合するかに基づいて、可換型と非可換型を区別する。
• Moufang基礎を介して、既知の局所的に分裂するKac-Moody群に関する結果を回復する。
• 非可換型結合体の完備化を分析し、非自明で興味深い群拡張が存在することを特定する。

実験結果

リサーチクエスチョン

• RQ1 三角形を含まない単純ラクスな図形上のCurtis-Tits結合体を、埋め込み群やビルディング構造に依存せずに同型の観点からどのように分類できるか。
• RQ2 Curtis-Tits結合体が局所的に分裂するKac-Moody群を生じるための構造的条件は何か。
• RQ3 可換型と非可換型のCurtis-Tits構造は、群論的性質および完備化挙動においてどのように異なるか。
• RQ4 Curtis-Tits結合体がKac-Moody群を生じるかどうかを識別する簡単な基準を導出できるか。
• RQ5 非可換型Curtis-Tits結合体からどのような非自明な完備化が生じるか。

主な発見

• 三角形を含まない単純ラクスな図形上のCurtis-Tits結合体の分類は、自然に可換型と非可換型に分かれる。
• 可換型Curtis-Tits構造は、Moufang基礎による分類を通じて、局所的に分裂するKac-Moody群と自然に対応する。
• 可換性と局所的群構造の整合性に基づき、Curtis-Tits結合体がKac-Moody群を生じるかどうかを識別する簡単な基準が確立された。
• 非可換型Curtis-Tits構造ははるかに大きなクラスを形成し、しばしば非自明で崩壊しない完備化を許容する。
• 結果として、Bass-Serre理論がこれらの結合体の分類に強力で自然な枠組みを提供することが示された。これにより、従来のGoldschmidtの補題に依存する手法が置き換えられた。
• この枠組みは、埋め込みや幾何的実現に依存しない、結合体の内発的な群論的性質を明らかにした。