[論文レビュー] Transformation Double Categories Associated to 2-Group Actions

Jeffrey C. Morton, Roger Picken|arXiv (Cornell University)|Dec 31, 2013

Topological and Geometric Data Analysis参考文献 27被引用数 10

ひとこと要約

本稿は、カテゴリ上の2群作用に対して、変換群準に一般化された変換二重カテゴリ $\mathbf{C}/\!\!/{\mathcal G}$ を導入する。これは $\mathbf{Cat}$ 内部で定義され、水平および垂直の2カテゴリを通じて局所的対称性を捉える。2群が自身に作用する随伴作用が重要な例である。主な貢献は、2群作用の対称性構造を完全に符号化する、図式的かつ内部的な構成法である。

ABSTRACT

Transformation groupoids associated to group actions capture the interplay between global and local symmetries of structures described in set-theoretic terms. This paper examines the analogous situation for structures described in category-theoretic terms, where symmetry is expressed as the action of a 2-group G (equivalently, a categorical group) on a category C. It describes the construction of a transformation groupoid in diagrammatic terms, and considers this construction internal to Cat, the category of categories. The result is a double category C//G which describes the local symmetries of C. We define this and describe some of its structure, with the adjoint action of G on itself as a guiding example.

研究の動機と目的

• 集合上の群作用からカテゴリ上の2群作用への変換群準の構成を一般化すること。
• カテゴリ $\mathbf{C}$ 上の2群作用における局所的対称性を捉える、$\boldsymbol{\rm Cat}$ 内部の二重カテゴリ構造を構築すること。
• 特に2群自身への随伴作用を通じて、得られた二重カテゴリの構造を分析すること。
• 二重カテゴリが水平または垂直の2カテゴリスライスだけでは得られない、完全な対称性情報も符号化していることを示すこと。

提案手法

• 変換群準の構成を圏の圏 $\mathbf{Cat}$ 内部に内部化することで、変換二重カテゴリ $\boldsymbol{\rm C}/\!\!/{\mathcal G}$ を構成する。
• 2群 $\mathcal{G}$ を交叉モジュール $(G, H, \rhd, \partial)$ として表現し、射および2次元射の明示的計算を可能にする。
• 群準 $G\ltimes H$ の群準構造と $G$ による $H$ への作用を用いて、二重カテゴリ内の正方形の水平および垂直の合成を定義する。
• 2群 $\mathcal{G}$ が自身に作用する随伴作用を指針として、$H(\mathcal{G}/\!\!/{\mathcal G})$ および $V(\mathcal{G}/\!\!/{\mathcal G})$、それぞれ水平および垂直の2カテゴリの構造を導出する。
• 水平2カテゴリでは2次元射が $\partial$ の核 $\operatorname{ker}(\partial) \subset H$ の元に対応し、垂直2カテゴリでは共役作用の固定点に対応することを確立する。
• 2次元射と作用構造の相互作用のおかげで、二重カテゴリ全体が水平または垂直の2カテゴリ単体よりもより多くの情報を符号化していることを証明する。

実験結果

リサーチクエスチョン

• RQ1 群作用による変換群準の構成を、集合上の群作用からカテゴリ上の2群作用へどのように一般化できるか。
• RQ2 2群 $\mathcal{G}$ がカテゴリ $\mathbf{C}$ に作用するとき、二重カテゴリ $\boldsymbol{\rm C}/\!\!/{\mathcal G}$ の内部的構造は何か。
• RQ3 $\boldsymbol{\rm C}/\!\!/{\mathcal G}$ の水平および垂直の2カテゴリは、2群作用の対称性をどのように反映しているか。
• RQ4 2群が自身に作用する随伴作用が、得られる二重カテゴリの構造をどのように形作っているか。
• RQ5 なぜ水平または垂直の2カテゴリスライスだけではなく、二重カテゴリ全体が必要となるのか、完全な対称性データを捉えるために。

主な発見

• 変換二重カテゴリ $\boldsymbol{\rm C}/\!\!/{\mathcal G}$ は、$\mathbf{Cat}$ 内部の二重カテゴリとして構成され、2群作用への群準構成の一般化である。
• 交叉モジュール $(G, H, \rhd, \partial)$ で分類される2群 $\mathcal{G}$ の随伴作用に対して、水平2カテゴリ $H(\mathcal{G}/\!\!/{\mathcal G})$ は、対象 $g \in G$、射 $(g, \eta) \in G\ltimes H$、2次元射 $((g,\eta), \chi)$ で、ターゲットが $(g, \eta \cdot (\chi g \rhd \chi^{-1}))$ に、$\operatorname{ker}(\partial) \subset H$ 内の乗法により合成される。
• 垂直2カテゴリ $V(\mathcal{G}/\!\!/{\mathcal G})$ は、対象 $g \in G$、射 $(\gamma, g) \in G \times G$ を持ち、$(\gamma, g)$ から $(\gamma', g)$ への2次元射が存在するのは、$\chi^{-1}$ が作用 $\gamma g \gamma^{-1} \rhd \chi^{-1} = \chi^{-1}$ に関して固定点であるときであり、合成は $H$ 内の乗法により定義される。
• $\mathcal{G}/\!\!/{\mathcal G}$ は、水平または垂直の2カテゴリスライスだけでは捉えきれない多くの正方形を符号化しており、それらが両方のスライスに現れない。
• $\boldsymbol{\rm C}/\!\!/{\mathcal G}$ を $\boldsymbol{\rm Cat}$ 内部の二重カテゴリとして構成することで、カテゴリ上の2群作用が誘導する局所的対称性の完全な図式的記述が得られる。
• 二重カテゴリの構造は完全に交叉モジュールデータ $(G, H, \rhd, \partial)$ によって決定され、随伴作用は、対称性構造を完全に明らかにする標準的な例である。