[論文レビュー] Global actions, groupoid atlases and related topics

Anthony Bak, Ronald Brown+2 more|ArXiv.org|Jun 11, 2006

Geometric and Algebraic TopologyMathematics参考文献 5被引用数 19

ひとこと要約

本稿は、基本的操作、パス、ホモトピーに組み込みられた組合せ的制御を持つ、高次代数的K理論をモデル化するための代数的道具として、グローバル作用と群ガロア図式を導入する。この研究では、Steinberg群 $σ_n(R)$ がグローバル作用 $σ_n(R)$ の普遍的単連結被覆に同型であることを確立し、$K_2(n,R) \cong \pi_1(\mathsf{GL}_n(R))$ を示す。これにより、群コホモロジーとホモトピー論が明示的な代数的設定で結びつけられる。

ABSTRACT

A. Bak developed a combinatorial approach to higher $K$-theory, in which control is kept of the elementary operations involved, through paths and `paths of paths' in what he called a global action. The homotopy theory of these was developed by G. Minian. R. Brown and T. Porter developed applications to identities among relations for groups, and also the extension to groupoid atlases. This paper is intended as an introduction tothis circle of ideas, and so to give a basis for exploration and development of this area.

研究の動機と目的

• ホワイトヘッドの単純ホモトピー論の幾何的直感を保ちつつ、高次代数的K理論の組み込み的枠組みを構築すること。
• 群作用を群ガロア図式へ一般化し、多様体と同様の局所から大域への構造を、代数的設定において可能にすること。
• $\mathsf{GL}_n(R)$ のような代数群の基本群および被覆空間の明示的かつ計算可能なモデルを提供すること。
• グローバル作用ホモトピー論を用いて、第二の $K$-群 $K_2(n,R)$ と基本群 $\pi_1(\mathsf{GL}_n(R))$ の正確な同型を確立すること。

提案手法

• 偏順序集合で添字づけられた群作用の族を備えた集合としてグローバル作用を定義し、局所から大域への振る舞いをモデル化するための接続条件を備える。
• 曲線、パス、パスのホモトピーを用いて、グローバル作用の基本群ガロア図を定義し、古典的ホモトピー論を代数的設定へ一般化する。
• 群作用を作用群ガロア図に置き換えることで群ガロア図式を導入し、同値関係や解消を代数的にモデル化可能にする。
• ナーヴの構成と重心単体分割を用いて、グローバル作用を単体複体と関連づけ、ホモトピー不変量を計算する。
• $\mathsf{St}_n(R)$ を、偏順序集合 $\Phi$ 内の最大鎖を走る局所群 $\operatorname{St}_n(R)_\alpha$ の余極限として定義し、$i<j$ に制限された関係を課す。
• $\operatorname{GL}_n(R)_\alpha \cong T_n(R)$ である最大局所群上で、整合的な同型写像を介して $\mathsf{St}_n(R)$ と $\mathsf{GL}_n(R)$ の普遍的被覆との同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 グローバル作用は、ホワイトヘッドの研究の幾何的直感を保ちつつ、高次代数的 $K$-理論の組み込み的モデルをどのように提供できるか？
• RQ2 群ガロア図式は、群作用の一般化として果たす役割と、群の提示における関係の恒等式の研究を可能にする仕組みは何か？
• RQ3 グローバル作用の基本群および被覆空間は、代数的表現としてどのように構成され、計算可能か？
• RQ4 Steinberg群 $\mathsf{St}_n(R)$ と $\mathsf{GL}_n(R)$ の基本群との正確な関係は何か？
• RQ5 $K_2(n,R)$ はグローバル作用の基本群として実現可能か？

主な発見

• Steinberg群 $\mathsf{St}_n(R)$ は、グローバル作用 $\mathsf{GL}_n(R)$ の普遍的単連結被覆に同型であり、被覆写像は評価準同型 $\varphi: \mathsf{St}_n(R) \to \mathsf{GL}_n(R)$ で与えられる。
• $\varphi$ の核は中心的であり、任意の局所群 $\operatorname{GL}_n(R)_\alpha$ に制限したときには自明であるため、被覆が単連結であることが確認される。
• 最大の $\alpha$ に対して、局所群 $\operatorname{GL}_n(R)_\alpha$ は上三角行列の群 $T_n(R)$ に同型であり、この同型は偏順序集合 $\Phi$ 全体にわたって整合的に拡張可能である。
• $\Phi$ を走る局所群 $\operatorname{GL}_n(R)_\alpha$ の余極限は、$\mathsf{E}_n(R)$ の普遍被覆 $\widetilde{\mathsf{GL}_n(R)}$ に同型である。
• $\mathsf{GL}_n(R), 1)$ の基本群 $\pi_1(\mathsf{GL}_n(R), 1)$ は、第二の $K$-群 $K_2(n,R)$ に同型であり、$K_2$ の直接的なホモトピー的解釈が確立される。
• グローバル作用 $\mathsf{St}_n(R)$ は連結であり、$\Phi$ を走るその余極限は $\mathsf{St}_n(R)$ に同型である。これにより、その普遍被覆としての役割が裏付けられる。