[論文レビュー] Condensations in higher categories

Davide Gaiotto, Theo Johnson-Freyd|arXiv (Cornell University)|May 23, 2019

Algebraic structures and combinatorial models参考文献 34被引用数 19

ひとこと要約

この論文は、トポロジカルな相転移をモデル化する数学的枠組みである「凝縮」を用いて、カルービ・エンvelopeの高次カテゴリカルな一般化を導入する。この研究では、高次カルービ・エンvelope構成が絶対的極限を実現し、完全双対的対象を完全に特徴づけることを確立しており、ギャップのあるトポロジカルな物質の位相と完全に拡張されたトポロジカル量子場理論（TQFT）の間の厳密な橋渡しを提供する。コボルディズム予想を用いることで、この関係が明確に裏付けられる。

ABSTRACT

We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our construction replaces the idempotents in the ordinary version with a notion that we call "condensations." The name is justified by the direct physical interpretation of the notion of condensation: it encodes a general class of constructions which produce a new topological phase of matter by turning on a commuting projector Hamiltonian on a lattice of defects within a different topological phase, which may be the trivial phase. We also identify our higher Karoubi envelopes with categories of fully-dualizable objects. Together with the Cobordism Hypothesis, we argue that this realizes an equivalence between a very broad class of gapped topological phases of matter and fully extended topological field theories, in any number of dimensions.

研究の動機と目的

• 凝縮をイデムポテン型自己準同型のカテゴリカルなアナログとして用いて、高次カテゴリにおけるカルービ・エンvelope構成を一般化すること。
• 格子ハミルトニアンと欠陥ネットワークを用いて、ギャップのあるトポロジカルな物質の位相を記述する数学的枠組みを提供すること。
• 高次カルービ・エンvelope構成が、直和と凝縮を含む絶対的極限の閉包に正確に対応することを確立すること。
• 高次カテゴリにおける完全双対的対象を凝縮構造と特定し、コボルディズム予想を介して完全に拡張されたTQFTと結びつけること。
• フェルミオン系や対称性拡張系を含む、次元を超えたギャップのある位相と拡張TQFTの記述を統一すること。

提案手法

• n-カテゴリ内での凝縮モノイドを用いて定義される、イデムポテン型自己準同型の高次カテゴリカルアナログである「n-凝縮」を導入する。
• 凝縮モノイドの像として凝縮体を構成し、古典的カルービ・エンvelopeを高次カテゴリに一般化する。
• 状態-演算子写像を用いてユニタリ凝縮を定義し、物理的凝縮プロセスと双模倉における代数的ユニタリティを結びつける。
• コボルディズム予想を用いて、高次カルービ・エンvelopeにおける完全双対的対象が完全に拡張されたTQFTに対応することを示す。
• 特に加法的n-カテゴリにおいて、直和と凝縮の両方の閉包を保証する記号 ΣC = Kar(Mat(BC)) を導入する。
• 具体的な例（例：Σⁿℂ および Σⁿ𝕂）にこの枠組みを適用し、これらがn次元の完全に拡張されたTQFTおよび可換プロジェクターハミルトニアン系を生成することを示す。

実験結果

リサーチクエスチョン

• RQ1 カルービ・エンvelope構成をどのように高次カテゴリに一般化し、トポロジカルな相転移をモデル化できるか？
• RQ2 トポロジカルな物質の位相における物理的凝縮プロセスの背後にあるカテゴリカル構造は何か？
• RQ3 凝縮は高次カテゴリにおける絶対的極限および完全双対的対象とどのように関係するか？
• RQ4 コボルディズム予想を用いて、高次カルービ・エンvelope構成が完全に拡張されたTQFTを完全に分類できるか？
• RQ5 直和と加法的構造は、n-カテゴリの凝縮による完備化において果たす役割は何か？

主な発見

• 凝縮を用いた高次カルービ・エンvelope構成は、高次カテゴリにおける絶対的極限の普遍的閉包であり、古典的カルービ・エンvelopeを一般化する。
• 高次カテゴリにおける凝縮は、欠陥格子上での可換プロジェクターハミルトニアンのオンプロセスをモデル化し、トポロジカルな物質の位相と直接的な関係を提供する。
• ΣC = Kar(Mat(BC)) の構成により、特に加法的n-カテゴリにおいて、直和と凝縮の両方の閉包が保証される。
• 高次カルービ・エンvelopeにおける完全双対的対象は、凝縮構造から生じるものに限りなく一致し、完全に拡張されたTQFTと一対一に対応する。
• コボルディズム予想を用いて、ギャップのあるトポロジカルな物質の位相と完全に拡張されたTQFTの間の正確な同値性が実現される。
• 体 𝕂 に対して、カテゴリ Σⁿ𝕂 は有限次元 𝕂-線形nカテゴリのカテゴリと同値であり、Σⁿℂ の各対象は明確に定義されたn次元の完全に拡張されたTQFTを定義する。