[論文レビュー] BAR COMPLEXES AND EXTENSIONS OF CLASSICAL EXPONENTIAL FUNCTORS

Antoine Touzé|arXiv (Cornell University)|Aug 17, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 15

ひとこと要約

本稿は、バーロジック構成とエイレンバーグ＝マクレイン空間のホモロジーとの関連を用いて、体および整数環上での古典的指数関手（対称、外積、分割冪）とそのフロベニウス捩れの Ext 群を計算する。特筆すべきは、特徴値 p > 2 においては既存の結果と一致するが、特徴値 2 においては以前の研究に見られる不一致を解消し、ℤ 上での Ext 群に対する明示的公式を提示している。これはアキンの結果を拡張するものである。

ABSTRACT

International audience

研究の動機と目的

• 可換環上の厳密多項式関手の圏における Ext 群の計算のための新しい手法を提供すること、特に古典的指数関手とそのフロベニウス捩れに対して有効であることを目的とする。
• 特に特徴値 2 において不一致を生じさせた過去の計算の不整合を解消すること、例えば [C2, Thm 3.2] において誤りが示された。
• 体上での既知の Ext 計算を整数環 ℤ にまで拡張し、Ext∗PZ(Sd, Λd) に対して明示的公式を提示すること。
• Pk における Ext 群とエイレンバーグ＝マクレイン空間の特異ホモロジーとの間の関係を、バーロジック構成とカルタンのホモロジー計算を用いて確立すること。
• パrameterized 拡張群の代数的構造を明確にし、積を用いた指数公式により、余積が積によって決定されることを示すこと。

提案手法

• 対称代数への反復バーロジック構成を用いて、Ext 群をエイレンバーグ＝マクレイン空間のホモロジーとしてモデル化する。
• 体に係数をとったエイレンバーグ＝マクレイン空間のホモロジーをカルタンが計算した結果を応用し、Pk 上での Ext 群を計算する。
• パラメータ化された拡張関手 E(X, Y)(V) = ⊕i,d,e ExtiPk(Xd(V), Ye) を導入し、畳み込み積を備えた Pk-次数付き代数構造を有する。
• 再次数関手 Rα(Y) を用いて、E(X, Y) から E(X(t), Y) を計算する。ここで α は関手の種別（S, Λ, Γ）に依存する。
• フィルトレーションの議論と分裂定理（例：第14節）を用いて、拡張群におけるフィルトレーションが自明であることを示し、特に奇数特徴値において有効である。
• 特徴値 2 において、厳密な反交換性の議論を用いて、拡張代数間の写像の単射性を証明し、非自明な Ext 群の計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 任意の可換環、特に ℤ 上で、古典的指数関手とそのフロベニウス捩れの Ext 群をどのように計算できるか？
• RQ2 なぜ [C2, Thm 3.2] の過去の結果が特徴値 2 で失敗するのか、そしてどのように是正できるか？
• RQ3 Pk 上でのパラメータ化拡張関手 E(X, Y) の正確な代数的構造（次数付き代数、余積、積）は何か？
• RQ4 分割冪代数へのバーロジック構成とエイレンバーグ＝マクレイン空間のホモロジーとの関係は何か？ そして、この関係を用いて Ext 群をどのように計算できるか？
• RQ5 整数環上での Ext 群 Ext∗PZ(Sd, Λd) は、単純で明示的な公式によって記述可能か？

主な発見

• 本稿は、正の特徴値を持つ体上での古典的指数関手間の Ext 群について、独立した新しい計算を提供し、[FFSS] のすべての結果を確認するとともに、[C2] における不一致を解消した。
• 体 k が奇数特徴値 p を持つとき、Pk-次数付き代数 Ext∗Pk(S(t+s), Γ(s)) は、ある関手 I(b)⟨a⟩ の分割冪と外積のテンソル積と同型であり、明示的な重みおよび次数の公式が与えられる。
• 整数環上では、定理 11.8 が明示的公式を与える：ExtiPZ(Sd, Λd) は i = 0, 2d−2, 2d−3 のとき ℤ と同型であり、それ以外の場合は 0 である。これはアキンの結果を拡張する。
• 本稿は、体の特徴値 p において Ext∗Pk(Sp, Γp) の全次元が 3 に等しいことを証明した。これは [C2, Cor 4.15] が予測する次元 2 とは矛盾するが、この事実の初等的証明も提示している。
• 特徴値 2 において、代数 E(Λ(t+s), S(s)) および E(Γ(t+s), Λ(s)) は厳密に反交換的である。この性質を用いて、比較写像の単射性を証明し、計算の正しさを確立する。
• パラメータ化拡張代数 E(X, Y) が指数公式 E(X, Y)(V ⊕W) ≃ E(X, Y)(V) ⊗ E(X, Y)(W) を満たすことが示され、このことから余積が積によって決定されることを示し、構造解析を簡略化する。