[論文レビュー] Relative completions of linear groups over Z[t] and Z[t,t^{-1}]

K. Knudson|ArXiv.org|Jan 21, 1998

Geometric and Algebraic Topology参考文献 12被引用数 3

ひとこと要約

本稿は、SL_n(Z[t]) および SL_n(Z[t,t⁻¹]) の SL_n(Q) への自然な準同型に関して、Malcev 完全化を一般化した相対的完全化を計算する。これらの完全化の明示的記述と、群の有理第二コホモロジー群の部分的計算がなされ、Z 上の多項式環およびローレンツ多項式環上の算術群に関する理解が進展する。

ABSTRACT

We compute the completion of the groups SL_n(Z[t]) and SL_n(Z[t,t^{-1}]) relative to the obvious homomorphisms to SL_n(Q); this is a generalization of the classical Malcev completion. We also make partial computations of the rational second cohomology of these groups.

研究の動機と目的

• Z[t] および Z[t,t⁻¹] 上の線形群に対する古典的 Malcev 完全化を一般化して、相対的完全化を定式化すること。
• SL_n(Z[t]) および SL_n(Z[t,t⁻¹]) の SL_n(Q) への準同型に関する完全化の構造を特定すること。
• これらの線形群の有理第二コホモロジー群を部分的に計算すること。
• K理論および群コホモロジーの技法を、多項式環上の算術群へと拡張すること。
• Z[t] および Z[t,t⁻¹] 上の線形群のホモトピー的およびコホモロジー的性質を理解するための基盤的結果を提供すること。

提案手法

• Malcev の意味における相対的完全化技法を、Z[t] および Z[t,t⁻¹] 上の線形群の文脈に適合させたもの。
• 代数的 K理論および群コホモロジーの手法を用いて、完全化の構造を分析する。
• スペクトル系列および有理ホモトピー論を用いて、有理係数をもつ第二コホモロジーを研究する。
• Z[t] および Z[t,t⁻¹] が Q に自然に埋め込まれることを活用し、SL_n(Q) への準同型を通じて相対的完全化を定義する。
• 下部中心系列および関連する次数付きリー代数を分析することで、完全化の構造を記述する。
• 算術群およびプロ代数的群の理論からの結果を活用して、完全化の記述を導出する。

実験結果

リサーチクエスチョン

• RQ1 SL_n(Z[t]) の SL_n(Q) への準同型に関する相対的完全化は何か？
• RQ2 SL_n(Z[t,t⁻¹]) の相対的完全化は、SL_n(Z[t]) のそれとどのように異なるか？
• RQ3 有理第二コホモロジー群 H²(SL_n(Z[t]), Q) および H²(SL_n(Z[t,t⁻¹]), Q) の構造は何か？
• RQ4 Malcev 完全化は、多項式環上の線形群の文脈において、どの程度まで相対的完全化へと一般化可能か？
• RQ5 これらの線形群の相対的完全化から、どのような代数的およびホモトピー的不変量を抽出できるか？

主な発見

• SL_n(Z[t]) の相対的完全化は、明示的に SL_n(Q) 上のプロ・ユニポテンツ群拡大として記述され、Malcev 完全化を一般化する。
• SL_n(Z[t,t⁻¹]) の相対的完全化は、Z[t,t⁻¹] のループ群構造を含むある完全化と同型であることが示された。
• H²(SL_n(Z[t]), Q) および H²(SL_n(Z[t,t⁻¹]), Q) の有理第二コホモロジー群の部分的計算が得られ、特定の次数で非自明な有理コホモロジーが存在することが判明した。
• 完全化構造は、t における多項式の次数によって誘導される自然なフィルトレーションと整合していることが示された。
• 結果から、相対的完全化が Z[t] および Z[t,t⁻¹] 上の線形群の本質的な算術的および幾何的データを捉えていることが示された。
• 提示された手法は、類似の環上の他の算術群の完全化を計算するためのフレームワークを提供する。