[論文レビュー] Free crossed resolutions of groups and presentations of modules of identities among relations

Ronald Brown, Abdul Razak Salleh|ArXiv.org|Dec 22, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 8

ひとこと要約

本稿では、自由交差分解とケイリー図の0次および1次コンビネータリック構造からのデータを用いて、群の提示における関係の恒等式のモジュール提示を計算する手法を提示する。主な貢献は、部分的収縮ホモトピーと交差複体技術を活用して、自由モジュールの商として恒等式のモジュールを体系的に代数的・位相的構成することにある。

ABSTRACT

We give formulae for a module presentation of the module of identities among relations for a presentation of a group, in terms of information on 0- and 1-combings of the Cayley graph. This is seen as a special case of extending a partial free crossed resolution of a group given a partial contracting homotopy of its universal cover.

研究の動機と目的

• 群の提示における関係の恒等式のモジュールの明示的代数的構成を提供すること。
• ケイリー図の0次および1次コンビネータリックデータを用いて、群の部分的自由交差分解を拡張すること。
• コンビネータリックデータを用いて、群の第二ホモトピー・モジュールを計算するホモトピー的枠組みを確立すること。
• 恒等式の関係を幾何学的およびホモトピー的構造に関連付けることで、代数的および位相的アプローチを群論において統合すること。
• 交差複体の枠組みに恒等式の関係を体系的かつアルゴリズム的に組み込むように、交差分解の構成を一般化すること。

提案手法

• ケイリー複体の普遍被覆を用いて、部分的収縮ホモトピーを定義する。
• ケイリー図の0次および1次コンビネータリックデータを用いて、部分的分解を拡張することで自由交差分解を構成する。
• 交差複体の理論を適用して、群の第二ホモトピー・モジュールを恒等式のモジュールとしてモデル化する。
• ケイリー図のコンビネータリックから導かれる生成子と関係式を用いて、恒等式のモジュールの提示を導出する。
• LaTeXのxypicパッケージを用いて、代数的構造およびホモトピー・データを図式的に表現する。
• 「部分的自由交差分解」の概念を、完全な分解構成への基礎的段階として依存する。

実験結果

リサーチクエスチョン

• RQ1 群の提示における関係の恒等式のモジュールを体系的に構成する方法は何か？
• RQ2 ケイリー図からのどのコンビネータリック・データが、恒等式モジュールの提示を導出可能にするか？
• RQ3 ケイリー図上の0次および1次コンビネータリック構造は、群のホモトピー型の分解にどのように寄与するか？
• RQ4 ホモトピー的データを用いて、部分的自由交差分解を完全な分解にどのように拡張できるか？
• RQ5 関係の恒等式と普遍被覆上の部分的収縮ホモトピーの構造との間の明確な代数的関係は何か？

主な発見

• 関係の恒等式のモジュールは、ケイリー図の1次コンビネータリック・データによって生成される自由モジュールの商として提示される。
• 本手法は、有限提示から群の第二ホモトピー・モジュールを計算する明確なアルゴリズム的手法を提供する。
• 本手法は、幾何的コンビネータリック（0次および1次コンビネータリック）と代数的不変量（恒等式のモジュール）との直接的な関連を確立する。
• 交差複体の枠組みに組み込むことで、群コホモロジーおよびホモトピー論の古典的結果を一般化する。
• 本稿では、関係の恒等式が普遍被覆上の部分的収縮ホモトピーの構造から導出可能であることを示している。
• 得られた恒等式モジュールの提示は、代数的トポロジーおよび群論における既知の結果と整合していることが示された。