[論文レビュー] (Co)-Induced Two Crossed Modules

Ummahan Ege Arslan, Z. Arvasi+1 more|arXiv (Cornell University)|Jul 21, 2011

Organometallic Complex Synthesis and Catalysis参考文献 6被引用数 3

ひとこと要約

本稿では、ブラウンとヒギンズの誘導交叉モジュールを高次元に一般化した (co)-誘導 2-交叉モジュールの概念を導入する。2-交叉モジュールの圏における引き戻しと押し出しを用いて、誘導およびコ-誘導 2-交叉モジュールを構成し、3次元のヴァン・カンペン定理への応用を可能にする枠組みを提供する。得られる構造の明示的な代数的記述と、前交叉モジュールおよびペイフェル部分群との関係を含む。

ABSTRACT

We introduce the notion of an induced 2-crossed module, which extends the notion of an induced crossed module (Brown and Higgins).

研究の動機と目的

• 誘導交叉モジュールの理論を 2-交叉モジュールへ拡張し、3 次元代数的トポロジーへの応用を可能にする。
• 2-交叉モジュールの圏における引き戻しと押し出しを用いて、誘導およびコ-誘導 2-交叉モジュールを定義し構成する。
• 3 次元のヴァン・カンペン定理を用いた非アーベルホモトピー 3 型の計算のための代数的枠組みを提供する。
• 誘導およびコ-誘導構造の普遍的性質を、交叉モジュールから 2-交叉モジュールへ一般化する。
• 群の構成における特定の関係の正規閉包を用いて、2-交叉モジュールの押し出しの構造を記述する。

提案手法

• 誘導 2-交叉モジュール φ∗(M) を、自由 Q-群 QM からペイフェル部分群および作用の整合性関係 (q, p·m) = (qφ(p), m) を除いた商として構成する。
• コ-誘導（引き戻し）2-交叉モジュール φ∗(N) を、誘導された P-作用と構造写像を備えた部分群 {(n, p) ∈ N × P | v(n) = φ(p)} として定義する。
• X2Mod/(M,P) における押し出し構成を用いて、誘導された (M→P)-2-交叉モジュール Bi = (θi)∗(Li) から 2-交叉モジュール L を構成する。
• 得られる 2-交叉モジュール L を B/S として記述する。ここで B は群の押し出し、S はペイフェル括弧および作用関係を含む特定の要素の正規閉包である。
• 前交叉モジュールの準同型と整合するように、引き戻しと押し出しの普遍的性質を適用して函手的および整合性を保証する。
• 群論的構成における明示的計算を通じて、2-交叉モジュールの公理（例：ペイフェル関係、作用の整合性）を検証する。

実験結果

リサーチクエスチョン

• RQ1 3 次元において、誘導交叉モジュールの概念を 2-交叉モジュールへどのように一般化できるか。
• RQ2 群準同型 φ: P → Q 沿いの誘導 2-交叉モジュールの代数的構造は何か。
• RQ3 与えられた前交叉モジュールと群準同型から、コ-誘導（引き戻し）2-交叉モジュールをどのように構成できるか。
• RQ4 群の提示および正規部分群を用いて、2-交叉モジュールの押し出しはどのように記述できるか。
• RQ5 誘導およびコ-誘導 2-交叉モジュールは、交叉モジュールの場合と同様の普遍的性質をどのように満たすか。

主な発見

• 誘導 2-交叉モジュール φ∗(M) は、自由 Q-群 QM からペイフェル部分群および作用の整合性関係を除いた商として構成され、Q 上のwell-definedな 2-交叉モジュールが得られる。
• コ-誘導（引き戻し）2-交叉モジュール φ∗(N) は、部分群 {(n, p) ∈ N × P | v(n) = φ(p)} として実現され、誘導された P-作用と構造写像を備え、引き戻しの普遍的性質を満たす。
• 2-交叉モジュールの押し出しは、L = B/S として記述される。ここで B は基底群の押し出し、S はペイフェル括弧および作用関係を含む特定の要素の正規閉包である。
• 構成により、得られる 2-交叉モジュールが、ペイフェル恒等式および境界写像との作用の整合性を含む 2-交叉モジュールの公理を満たすことが保証される。
• 誘導 2-交叉モジュール φ∗(M) は双対普遍的性質を満たす：任意の M から Q-モジュールへの準同型は、一意に φ∗(M) を通じて因数分解される。
• 本稿では、函手 φ∗: X2Mod/P → X2Mod/Q が引き戻し函手 φ∗ の左随伴であることを確立し、古典的な随伴関係を 2-交叉モジュールの設定へ拡張する。