[論文レビュー] Topology and Higher-Dimensional Category Theory: the Rough Idea

Tom Leinster|ArXiv.org|Jun 27, 2001

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

ひとこと要約

この論文は、トポロジー的根拠を持つ枠組みとしての高次元圏論の直感的で形式的でない概要を提示し、バターンや五角形などの高次元図式が自然に代数的整合性の法則を符号化することを強調している。非自明な結び目が3次元空間に存在することは、3圏における厳密化の失敗と一致しており、2圏における整合性のおかげで括弧を省略してテンソル積を書ける一方、バターン付きモノイダル構造はトポロジー的障害があるため一般には対称化できないことを説明している。

ABSTRACT

Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. Although it can be treated purely as an algebraic subject, it is inherently topological in nature: the higher-dimensional diagrams one draws to represent these structures can be taken quite literally as pieces of topology. Examples of this are the braids in a braided monoidal category, and the pentagon which appears in the definitions of both monoidal category and A_infinity space. I will try to give a Friday-afternoonish description of some of the dreams people have for higher-dimensional category theory and its interactions with topology. Grothendieck, for instance, suggested that tame topology should be the study of n-groupoids; others have hoped that an n-category of cobordisms between cobordisms between ... will provide a clean setting for TQFT; and there is convincing evidence that the whole world of n-categories is a mirror of the world of homotopy groups of spheres.

研究の動機と目的

• 形式的な定義や証明を用いずに、高次元圏論の直感的でトポロジー的な性質を伝えること。
• n圏が図式を物理的トポロジカル・オブジェクトとして表現できるように、高次元圏が本質的にトポロジカルであることの説明。
• テンソル積における結合則の代数的整合性（例：結合則）と、R³における結び目のトポロジカル不変量との関係の明確化。
• n圏の周期表における安定化現象が、球のホモトピー群の安定化とどのように類似しているかを図式で示すこと。
• n圏がトポロジカル量子場理論やホモトピー論の自然な言語を提供することを動機づけること。

提案手法

• 1-セルを矢印、2-セルを2次元セルとして、n圏を幾何的対象として図式的・直感的に表現する。
• 整合性の法則や高次圏における合成を表すために、バターン、五角形、回路に類似した図式を用いる。
• 非自明な結び目などのトポロジー的現象と、非対称なバターン付きモノイダル圏などの代数的構造との類似性を対比する。
• 構造を単純化（例：対象や射を固定）することで、n圏の周期表を分析し、安定化パターンを明らかにする。
• 弱いn圏と強いn圏を比較し、3圏における厳密化の失敗を用いてトポロジー的障害を説明する。
• Braid 圏やアーベル群のテンソル積といった概念的例を用い、整合性と非整合性を説明する。

実験結果

リサーチクエスチョン

• RQ1 なぜモノイダル圏では A ⊗ B ⊗ C と括弧なしに書けるのか？
• RQ2 なぜR³に非自明な結び目が存在するのか？ そしてそれは高次圏論における代数的構造とどのように関係するのか？
• RQ3 なぜn圏の周期表はk ≥ n+2で安定化するのか？ そしてそれはホモトピー群の安定化とどのように類似しているのか？
• RQ4 なぜ一般にバターン付きモノイダル圏が対称モノイダル圏と同値でないのか？
• RQ5 圏論における高次元図式は、結び目の不変量などのトポロジカル不変量をどのように反映しているのか？

主な発見

• テンソル積の結合則が整合的であるのは、任意の弱い2圏が厳密な1圏と同値であるためであり、括弧を省略できる。
• R³に非自明な結び目が存在することは、任意の弱い3圏が厳密な1圏と同値でないという事実に対応しており、非対称なバターン圏Braidによって示されている。
• 3圏における厳密化の失敗は、物理的に実在するトポロジー的現象である：3次元空間では上側の交差を下側の交差に変形できない。これはバターン圏の非対称性と一致する。
• n圏の周期表はk ≥ n+2で安定化し、これはホモトピー群π_{k+n}(S^k)（k ≥ n+2）の安定化と類似している。
• n圏の構造は球のホモトピー論を反映しており、高次圏論と安定ホモトピー論の間には深い双対性があると示唆している。
• バターン付きモノイダル圏は、3次元空間内の1次元部分多様体のトポロジーから自然に生じる。ここでバターンは非自明なリンクに対応する。