[論文レビュー] Homological algebra for commutative monoids

Jaret Flores|arXiv (Cornell University)|Jan 1, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 6

ひとこと要約

この論文は、鎖条件、正規化、因子論などの基礎的概念を導入することで、可換モノイドにおけるホモロジー代数を構築し、K理論および拡張理論における主要な結果を確立する。G₀におけるデヴィッサージュ定理を証明し、ランクによって射影的A-集合を分類し、二重矢印複体と単体的A-集合の間の随伴を構成することで、正規化がモノイドではなくモノイドスキームを生じる可能性があることを示している。

ABSTRACT

We first study commutative, pointed monoids providing basic definitions and results in a manner similar commutative ring theory. Included are results on chain conditions, primary decomposition as well as normalization for a special class of monoids which lead to a study monoid schemes, divisors, Picard groups and class groups. It is shown that the normalization of a monoid need not be a monoid, but possibly a monoid scheme. After giving the definition of, and basic results for, A-sets, we classify projective A-sets and show they are completely determine by their rank. Subsequently, for a monoid A, we compute K_0 and K_1 and prove the Devissage Theorem for G_0 . With the definition of short exact sequence for A-sets in hand, we describe the set Ext(X,Y ) of extensions for A-sets X,Y and classify the set of square-zero extensions of a monoid A by an A-set X using the Hochschild cosimplicial set. We also examine the projective model structure on simplicial A-sets showcasing the difficulties involved in computing homotopy groups as well as determining the derived category for a monoid. The author defines the category Da(C) of double-arrow complexes for a class of non-abelian categories C and, in the case of A-sets, shows an adjunction with the category of simplicial A-sets.

研究の動機と目的

• 可換で点付きモノイドに対して、可換環論に類似したホモロジー的枠組みを構築すること。
• モノイドの正規化を検討し、それがモノイドではなくモノイドスキームを生じる可能性があることを示すこと。
• 射影的A-集合をランクによって分類し、モノイドのK₀およびK₁を計算すること。
• ホッシャルドコhomologyおよびコシンプレックス集合を用いてA-集合の拡張を定義し、研究すること。
• 導来圏の文脈において、二重矢印複体と単体的A-集合の間の随伴を確立すること。

提案手法

• 鎖条件や準素分解といった可換環論の概念を可換モノイドへ適応する。
• A-集合を導入し、そのランクによって射影的A-集合を分類し、それがこの不変量によって完全に決定されることを示す。
• G₀にデヴィッサージュ定理を適用し、A-集合のグロテンドイック群とフィルトレーション構造を結びつける。
• ホッシャルドコシンプレックス集合を用いて、モノイドAのA-集合Xによる平方ゼロ拡張を分類する。
• A-集合に対して短完全系列を定義し、拡張の集合Ext(X,Y)を構成する。
• 非アーベル圏Cに対して二重矢印複体の圏Da(C)を導入し、単体的A-集合との間の随伴を確立する。

実験結果

リサーチクエスチョン

• RQ1 可換モノイドは非アーベル的であるため、ホモロジー代数を体系的にどのように展開できるか？
• RQ2 射影的A-集合の構造は何か？ そして、ランクのような不変量によって完全に分類可能か？
• RQ3 古典的K理論の結果、例えばデヴィッサージュ定理は、モノイドおよびそのA-集合へどの程度拡張可能か？
• RQ4 A-集合によるモノイドの拡張はどのように分類可能か？ また、ホッシャルドコhomologyはこの分類においてどのような役割を果たすか？
• RQ5 導来圏における二重矢印複体と単体的A-集合の間の関係は何か？

主な発見

• モノイドの正規化はモノイドでない場合があり、モノイドスキームである可能性がある。これは、環論的状況とは根本的に異なる点を示している。
• 射影的A-集合はそのランクによって完全に決定され、このクラスにおける完全な分類が得られる。
• モノイドのG₀においてデヴィッサージュ定理が成立し、グロテンドイック群がフィルトレーション構造と結びつく。
• A-集合の拡張の集合Ext(X,Y)はホッシャルドコシンプレックス集合を用いて記述され、平方ゼロ拡張の分類が可能になる。
• 二重矢印複体の圏と単体的A-集合の圏との間の随伴が確立され、モノイドのための導来圏フレームワークが強化される。
• モノイドの導来圏は、ホモトピー群の計算における課題にもかかわらず、二重矢印複体を通じてアクセス可能であることが示された。