[論文レビュー] Mackey profunctors

D. Kaledin|arXiv (Cornell University)|Dec 10, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 4

ひとこと要約

この論文は、プロファイント群のための特定化された一般化として、マッキー関手の一般化であるマッキー準関手を導入する。これは、群代数上の双モジュールをプロファイント設定で取り扱うために代数的枠組みを拡張する。主な貢献は、誘導、制限、共役作用の操作を、準関手的構造内で統一的に扱う体系的な理論を提供することであり、これにより、等変ホモトピー論および算術幾何学への応用が可能になる。

ABSTRACT

We develop the theory of Mackey profunctors, a version of Mackey functors for profinite groups.

研究の動機と目的

• プロファイント群の文脈において、古典的なマッキー関手理論を準関手的構造を用いて拡張すること。
• 連続的かつプロファイントな文脈において、誘導、制限、共役作用の間の相互作用を形式化すること。
• グリーン関手を一般化し、等変コホロジー理論を支援するカテゴリカルな枠組みを提供すること。
• マッキー準関手の基礎的性質（正確性や双対性など）を確立すること。
• 強固な代数的構造を通じて、算術幾何学および等変ホモトピー論における応用を可能にすること。

提案手法

• 離散群の代わりにプロファイント群を用いることで、マッキー関手の定義をプロファイント群に適応する。
• プロファイント群 G の連続 G-加群の圏間の準関手として、マッキー準関手を定義する。
• 準関手的合成を用いて、誘導と制限を随伴関手として符号化する。
• プロファイント文脈において、二重コセット公式とフロベニウスの随伴性を適用する。
• ポントリャーギン双対性を用いて、共変および反変構造の間の双対性を確立する。
• マッキー準関手の圏を導入し、そのアーベル的かつ完全性を証明する。

実験結果

リサーチクエスチョン

• RQ1 マッキー関手はどのようにプロファイント群の文脈に一般化できるか？
• RQ2 誘導、制限、共役作用を、プロファイントな文脈で捉えるためにどのようなカテゴリカル構造が必要か？
• RQ3 標準的なマッキー同型および随伴性の法則は、プロファイント設定においてどのように振る舞うか？
• RQ4 準関手は、プロファイント群のための等変作用を統一するために果たす役割は何か？
• RQ5 マッキー準関手は、プロファイント圏において双対性と正確性をサポートできるか？

主な発見

• マッキー準関手は、プロファイント群の連続モジュールの圏間の準関手として定義される。
• この理論は、プロファイント設定において二重コセット公式とフロベニウスの随伴性を満たす。
• マッキー準関手の圏はアーベル的かつ完全であり、ホモロジー代数をサポートする。
• ポントリャーギン双対性を用いた、プロファイント群の双対性定理が、準関手的枠組み内で実現される。
• この構成はグリーン関手を一般化し、等変コホロジー理論の基盤を提供する。
• この枠組みにより、算術幾何学および等変安定ホモトピー論における新しい構成が可能になる。