[論文レビュー] Representations of the quantum torus and applications to finitely presented groups

C. J. B. Brookes, J. R. J. Groves|arXiv (Cornell University)|Nov 15, 2007

Algebraic structures and combinatorial models参考文献 12被引用数 4

ひとこと要約

本稿は、量子トーラス上の強ホロノミック加群の構造的分解を確立し、それらが無限巡回2コサイクル像を持つ交叉積上のホロノミック加群のテンソル積から生じることを示している。これは、有限生成アーベル・可解群に応用され、部分的に完全なこのような群のフィッティング商群が、ヘイゼンベルク群と巡回群の中心的積としてほぼ同型であることが示された。これはロビンソン–ストレーベルの例を高ランクに拡張するものである。

ABSTRACT

A structure theorem is proved for strongly holonomic modules over a quantum torus (a crossed product of a field with a free abelian group in which the field is central). This can be applied to give a structure theorem for finitely presented abelian-by-nilpotent groups.

研究の動機と目的

• 量子トーラス上の強ホロノミック加群の構造を理解すること。これは、自由アーベル群との体の交叉積である。
• 既知の例を超えて、有限生成アーベル・可解群の分類を拡張すること、特に可解クラス2の可解群を含む。
• アーベル正規部分群と可解クラス2のねじれのない可解群をもつ有限生成群について、そのフィッティング商群が有限指数の中心的積構造を持つことを証明すること。
• 幾何的不変量と末尾係数加群を介して、交叉積上の加群論的不変量と群論的性質を結びつけること。
• ロビンソン–ストレーベルの有限生成アーベル・可解群の例を、高ランクのヘイゼンベルク群および中心的積構造へ一般化すること。

提案手法

• 本稿は、ゲルファンド＝キリロフ次元と不透徹加群の概念を用い、自由アーベル群のランクに対して次元が最小となる加群として強ホロノミック加群を定義する。
• Bieri–Strebel不変量とトロピカル幾何学に関連する、交叉積上の加群に適した幾何的不変量を適用し、加群構造を分析する。
• 群環における弱アーティン＝リース条件を介して、局所錐と末尾係数加群を結ぶワズリーの定理について、代替的証明を与える。
• 強ホロノミック加群の構造が、2コサイクルの像が体の乗法群において無限巡回群である部分交叉積上のホロノミック加群のテンソル積に分解されることを示す。
• 群論的結果は、群環から量子トーラスへの加群構造の持ち上げを用いて導出され、交叉積の中心が群代数の中心に一致することを利用している。
• 本質的部分加群に関する補題と可解群作用に関する補題を用い、本質的部分加群の中心化子が全加群上で可解的に作用することを示し、所望の構造を持つ有限指数部分群の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 量子トーラス上の強ホロノミック加群の構造的分解は何か？ また、その2コサイクルの像はこの分解にどのように影響を与えるか？
• RQ2 有限生成アーベル・可解群の構造は、既知の例を超えて制約され得るか？ 特に、商群が可解クラス2である場合に限って。
• RQ3 アーベル正規部分群とねじれのない可解クラス2の商群をもつ有限生成群において、フィッティング商群がヘイゼンベルク群と巡回群の中心的積である条件は何か？
• RQ4 交叉積上の加群の幾何的不変量は、有限生成群の群論的性質とどのように関係するか？
• RQ5 本質的部分加群と可解群作用は、このような群のグローバル構造を制約するために果たす役割は何か？

主な発見

• 任意の量子トーラス上の強ホロノミック加群は、2コサイクルの像が体の乗法群において無限巡回群である部分交叉積上の強ホロノミック加群のテンソル積に分解される。
• 量子トーラス上の不透徹加群のゲルファンド＝キリロフ次元は、自由アーベル群のランクの半分以上であり、等号が成立する場合に限り強ホロノミック加群である。
• アーベル正規部分群とねじれのない可解クラス2の商群をもつ有限生成群において、そのフィッティング商群にはヘイゼンベルク群と巡回群の中心的積である有限指数部分群が存在する。
• 部分的に完全なこのような群では、フィッティング商群はほぼ中心的積構造であり、ロビンソン–ストレーベルの例を一般化する。
• 有限生成可解群環上の加群において、任意の本質的部分加群の中心化子は、全加群上で可解的に作用し、構造的還元を可能にする。
• 弱アーティン＝リース条件を介して、交叉積上の加群の幾何的不変量は末尾係数加群と関連づけられ、ワズリーの定理の新たな証明が得られる。