[論文レビュー] A Mackey-functor theoretic interpretation of biset functors

Hiroyuki Nakaoka|arXiv (Cornell University)|Nov 16, 2013

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

ひとこと要約

本稿は、有限群作用を伴う有限集合の2カテゴリ $Σ$ を導入し、双セット関手を $Σ$ 上の特別なクラスのマックェイ関手として解釈可能にする。ドリュースのマックェイ関手枠組みをすべての有限群準同型に一般化することで、双セット関手と $Σ$ 上の縮小・厳密マックェイ関手の間のカテゴリカル同値を確立し、グローバル表現論と双セット関手の統一的カテゴリカル基盤を提供する。

ABSTRACT

In this article, we consider a formulation of biset functors using the 2-category of finite sets with variable finite group actions. We introduce a 2-category $\mathbb{S}$, on which a biset functor can be regarded as a special kind of Mackey functors. This gives an analog of Dress' definition of a Mackey functor, in the context of biset functors.

研究の動機と目的

• 固定された群に限らない、すべての有限群および準同型へとマックェイ関手理論を拡張すること。
• 双セット関手が自然に生じるカテゴリカル枠組みを提供すること。
• 2カテゴリ的構造を用いて、双セット関手の文脈に一般化されたドリュースのマックェイ関手の定義を提示すること。
• $Σ$ 上の双セット関手の圏と、縮小・厳密マックェイ関手の部分圏との間の自然同型による同値を確立すること。

提案手法

• 対象が有限群作用を伴う有限集合であり、1セルが等変写像である2カテゴリ $Σ$ を定義する。
• 双セット作用素を引き戻しと押し出しでモデル化するため、$Σ$-スパンの圏とスパン圏の構成を導入する。
• 2カテゴリ $Σ$ を双余積と双引き戻しを備えて構成し、誘導、制限、その他の作用素を1セルの合成として定義可能にする。
• 双余積と双引き戻しを保存する関手として $Σ$ 上のマックェイ関手を定義し、ドリュースの元来の定義を一般化する。
• 双セット関手の本質的構造を捉えるために「縮小・厳密マックェイ関手」の概念を導入する。
• 双セット関手の圏と $Σ$ 上の縮小・厳密マックェイ関手のフル部分圏との間の自然同型を用いて、同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 双セット関手を2カテゴリ的枠組みにおいて、どのように体系的にマックェイ関手として解釈できるか？
• RQ2 すべての有限群および準同型をカバーするマックェイ関手理論を支えるために、2カテゴリがどのような構造を備えている必要があるか？
• RQ3 双セット関手の全圏が、2カテゴリ的構成を用いてマックェイ関手の圏へ埋め込めるか？
• RQ4 双余積と双引き戻しは、群作用の2カテゴリ上でマックェイ関手を定義する際に果たす役割は何か？
• RQ5 適切に定義された2カテゴリ上において、双セット関手と特定のクラスのマックェイ関手との間に自然同値が存在するか？

主な発見

• $Σ$ は、有限群作用を伴う有限集合の2カテゴリとして、古典的およびグローバル理論を一般化するマックェイ関手を定義する自然なカテゴリカル設定を提供する。
• 双セット関手が $Σ$ 上の縮小・厳密マックェイ関手と同値であることが示され、カテゴリカルな統一が確立された。
• $Σ$ の構成により、誘導、制限、インフレーション、縮小といった基本的双セット作用素の2カテゴリ的解釈が可能になる。
• 本稿では、双セット関手をそれに対応する $Σ$ 上のマックェイ関手へ写像する操作が自然同型を定めることを証明し、全忠実性と本質的全射性を確認した。
• $Σ$-集合のスパン圏の安定化は、双セット関手の全構造を捉える well-behaved なマックェイ関手の圏を導く。
• 双セット関手と $Σ$ 上の縮小・厳密マックェイ関手との間の同値性は、グローバルマックェイ関手理論に適した2カテゴリ的枠組みが、十分かつ必要であることを裏付けた。