[論文レビュー] A 3-categorical perspective on G-crossed braided categories

Corey Jones, David Penneys+1 more|ArXiv.org|Sep 1, 2020

Algebraic structures and combinatorial models参考文献 44被引用数 14

ひとこと要約

本稿は、1-全射的 G-ポイント付き 3-圏と G-クロスド braided 圈の間で 3-圏的同値を確立し、高次圏論とトポロジカル量子場理論の視点を統合する。厳密化を用いてグレイ圏へとし、厳密な G-ポイント付き 3-圏と厳密な G-クロスド braided 圈の間で 2-同値を構成することで、著者たちは、このような 3-圏の 4-圏が G-クロスド braided 圈の 2-圏と同値であることを証明し、自明でない群へのデロープィング仮説の一般化を達成する。

ABSTRACT

A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to $G$-crossed braided categories, certain mathematical structures which have emerged as important invariants of low-dimensional quantum field theories. More precisely, we show that the 4-category of $3$-categories $\mathcal{C}$ equipped with a 3-functor $\mathrm{B}G o \mathcal{C}$ which is essentially surjective on objects and $1$-morphisms is equivalent to the $2$-category of $G$-crossed braided categories. This provides a uniform approach to various constructions of $G$-crossed braided categories.

研究の動機と目的

• 群作用を伴う 3-圏を用いた G-クロスド braided 圈の高次圏的枠組みを確立すること。
• 1-全射的 G-ポイント付き 3-圏の 4-圏と G-クロスド braided 圈の 2-圏の不一致を厳密化によって解消すること。
• デロープィング仮説を自明な群から非自明な群へ一般化し、G-クロスド braided 圈が 1-全射的 G-ポイント付き 3-圏から自然に生じることを示すこと。
• トポロジカルおよびコンformal場理論における G-クロスド braided 圈の構成に対する一貫した圏論的基盤を提供すること。

提案手法

• デロープィング仮説を用いて、braided monoidal 圈を一つの対象と一つの 1-射を持つ 3-圏として解釈する。
• BG が群 G のデロープィングであるとき、3-ファンクター π: BG → C を用いて 1-全射的 G-ポイント付き 3-圏を導入する。
• 3-圏 C を一つの対象と 1-射が合成に関して群 G をなすグレイ圏へ厳密化する。
• 厳密な G-ポイント付き 3-圏の 2-圏と厳密な G-クロスド braided 圈の 2-圏の間で厳密な 2-同値を構成する。
• G-クロスド braided 圈のすべてが厳密なものと同値であるという Galvez-Carrillo の結果を活用し、同値を全 2-圏へ拡張する。
• 特にテンソル作用素とモノイダル自然変換に関して、図式的計算とストリングダイアグラムにおける自然性を用いて同値の整合性条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 G-クロスド braided 圈は、どのようにして高次圏的構造から体系的に導出可能か？
• RQ2 3-圏の文脈において、G-クロスド braided 圈の背後にある正確な高次圏的構造は何か？
• RQ3 3-圏の 1-全射的 G-ポイントが、G-クロスド braided 圈の完全なデータをどのように符号化するか？
• RQ4 3-圏論を用いて、デロープィング仮説を自明な群から非自明な群へ一般化できるか？
• RQ5 厳密化は、3-圏と G-クロスド braided 圈の間の同値を確立する上で果たす役割は何か？

主な発見

• 1-全射的 G-ポイント付き 3-圏の 4-圏は、G-クロスド braided 圈の 2-圏と同値であり、基礎的な統合を確立した。
• 同値は、厳密な G-ポイント付き 3-圏と厳密な G-クロスド braided 圈を経由する zig-zag の厳密な 2-同値を通じて達成された。
• すべての G-クロスド braided 圈は、厳密なものと同値であるため、同値を厳密なレベルで構成できた。
• G-ポイント付き 3-圏の 4-圏におけるホム 2-圏は、可縮であることが確認され、それが 2-圏的性質を裏付けた。
• 構成は古典的なデロープィング仮説を一般化する：G = {e} の場合、結果は braided monoidal 圈と二重に退化した 3-圏の同値性を回復する。
• 同値は明示的なデータを通じて実現された：G-クロスド braided 圈は、グレイ圏に基づく図式的計算を用いて、3-圏の 1-射と 2-射から構成された。