[論文レビュー] A relative theory of universal central extensions

J. M. Casas, Tim Van der Linden|arXiv (Cornell University)|Aug 26, 2009

Advanced Topics in Algebra参考文献 35被引用数 5

ひとこと要約

本稿は、半アーベル圏における普遍中心拡張のための統一的で相対的な圏論的枠組みを構築し、群、リー代数、その他の代数的構造に対する古典的結果を一般化する。主な貢献は、中心拡張が合成に関して閉じていること——条件 (UCE)——が、標準的認識定理が成り立つために必要かつ十分であることを同定することである。反例により、リーマン代数のような特定の圏ではこの条件が成立しないことが示されている。

ABSTRACT

Basing ourselves on Janelidze and Kelly's general notion of central extension, we study universal central extensions in the context of semi-abelian categories. Thus we unify classical, recent and new results in one conceptual framework. The theory we develop is relative to a chosen Birkhoff subcategory of the category considered: for instance, we consider groups vs. abelian groups, Lie algebras vs. vector spaces, precrossed modules vs. crossed modules and Leibniz algebras vs. Lie algebras. We consider a fundamental condition on composition of central extensions and give examples of categories which do, or do not, satisfy this condition.

研究の動機と目的

• さまざまな代数的圏（例えば、群、リー代数、前交叉モジュールなど）における普遍中心拡張に関する古典的および最近の結果を、一つの概念的枠組みに統合すること。
• ジャネリッドゼとケリーの相対的中心拡張理論を、十分な射影対象を備えた半アーベル圏の文脈に拡張し、ホモロジー的アプローチを可能にすること。
• 中心拡張が合成に関して閉じている——条件 (UCE)——という要件を同定し、形式化すること。
• 普遍中心拡張が存在し、かつ、バーキホフ部分圏に関して完璧性と射影性によって特徴づけられるための条件を明確化すること。
• 既存の文献における不整合を解消し、例えばホム・ライブニッツ代数の圏で条件 (UCE) が成立しない場所を特定すること。

提案手法

• ジェネリッドゼとケリーの相対的中心拡張理論に基づく圏論的ガロア理論的アプローチを、点付きバール完全でゴーシュ・カテゴリーである圏に適用する。
• 半アーベル圏 A の中で選択されたバーキホフ部分圏 B に関する相対的中心拡張の概念を導入し、アーベル化のような絶対的ケースを一般化する。
• バーキホフ部分圏に関して完璧な対象を定義し、射影対象が存在する場合、すべての完璧な対象が普遍中心拡張をもつことを証明する。
• 条件 (UCE) を導入する：相対的意味での中心拡張 f と g に対して、合成 f∘g も中心でなければならない。この条件が、主要な定理が成り立つために必要かつ十分であることが示されている。
• 非アーベル的導来関手（例えば、非アーベルホモロジー理論）を用いて、ネストされたバーキホフ部分圏におけるホモロジー群の関係を定式化し、普遍拡張を特徴付ける。
• ホム・ライブニッツ代数や群環の例における具体的な反例を構成し、(UCE) の不成立を示すことで、既存文献における主張の欠陥を暴露する。

実験結果

リサーチクエスチョン

• RQ1 二つの相対的中心拡張の合成が中心のまま保たれるための圏論的条件は何か？（すなわち、条件 (UCE) が成り立つのはいつか？）
• RQ2 バーキホフ部分圏に関して完璧性と射影性によって、普遍中心拡張を普遍的に特徴づけることは可能か？
• RQ3 ネストされたバーキホフ部分圏における相対ホモロジー群どうしの関係は何か？そして、それらは普遍拡張の構造をどのように明らかにするか？
• RQ4 なぜ一部の古典的結果が、例えばホム・ライブニッツ代数の圏のような相対的設定では失敗するのか？
• RQ5 普遍中心拡張の標準的認識定理が成立するための最小限の圏論的仮定は何か？

主な発見

• 中心拡張が合成に関して閉じている——条件 (UCE)——ことが、完璧性と射影性による普遍中心拡張の標準的特徴づけが成り立つために、必要かつ十分である。
• ホム・ライブニッツ代数の圏では、条件 (UCE) が成立しない。これは、先行論文（[18] の命題 6.3）における主張——命題 1.11 に含まれるすべての条件が同値である——を無効にする。
• 無限大の直和 Z/p^kZ-加群に非自明な C作用を導入した反例を構成し、M が b-完璧であっても H₂(M, b) ≅ Z/p ≠ 0 となることが示された。また、p による乗法写像は普遍 b-中心拡張である。
• 無限大巡回群 C を持つ整数群環 R = Z[C] 上の R-加群の圏では、条件 (UCE) が成り立つ。これは、バーキホフ部分圏が自明な C-加群からなるからであり、b-完璧な M に対して H₂(M, b) ≠ 0 である。
• 本理論により、十分な射影対象を備えた半アーベル圏で条件 (UCE) が成り立つ場合、中心拡張が普遍的であることと、その定義域がすべての中心拡張に関して完璧かつ射影的であることとは同値であることが示された。
• 本稿では、スミス＝ヒューケ条件、作用表現可能性、ムーア圏が (UCE) を特徴付けるのに関連している可能性があると指摘したが、まだ簡単な特徴づけは得られていない。