Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1502.01690

Boundary-bulk relation for topological orders as the functor mapping higher categories to their centers

Liang Kong, Xiao-Gang Wen, Hao Zheng

Published Feb 5, 2015• 45 citations
arXivHTMLPDF

Abstract

In this paper, we study the relation between topological orders and their gapped boundaries. We propose that the bulk for a given gapped boundary theory is unique. It is actually a consequence of a microscopic definition of a local topological order, which is a (potentially anomalous) topological order defined on an open disk. Using this uniqueness, we show that the notion of "bulk" is equivalent to the notion of center in mathematics. We achieve this by first introducing the notion of a morphism between two local topological orders of the same dimension, then proving that the bulk satisfying the same universal property as that of the center in mathematics. We propose a classification (formulated as a macroscopic definition) of $n+$1D local topological orders by unitary multi-fusion $n$-categories, and explain that the notion of a morphism between two local topological orders is compatible with that of a unitary monoidal $n$-functor in a few low dimensional cases. We also explain in some low dimensional cases that this classification is compatible with the result of "bulk = center". In the end, we explain that above boundary-bulk relation is only the first layer of a hierarchical structure which can be summarized by the functoriality of the bulk (or center). This functoriality also provides the physical meanings of some well-known mathematical results on fusion 1-categories. This work can also be viewed as the first step towards a systematic study of the category of local topological orders, and the boundary-bulk relation actually provides a useful tool for this study.

DOI
10.48550/arxiv.1502.01690

Related papers

Boundary-bulk relation in topological orders

Liang Kong, Xiao-Gang Wen, Hao Zheng

In this paper, we study the relation between an anomaly-free n+1D topological order, which are often called n+1D topological order in physics literature, and its nD gapped boundary phases. We argue that the n+1D bulk anomaly-free topological order for a given nD gapped boundary phase is unique. This uniqueness defines the notion of the “bulk” for a given gapped boundary phase. In this paper, we show that the n+1D “bulk” phase is given by the “center” of the nD boundary phase. In other words, the geometric notion of the “bulk” corresponds precisely to the algebraic notion of the “center”. We achieve this by first introducing the notion of a morphism between two (potentially anomalous) topological orders of the same dimension, then proving that the notion of the “bulk” satisfies the same universal property as that of the “center” of an algebra in mathematics, i.e. “bulk = center”. The entire argument does not require us to know the precise mathematical description of a (potentially anomalous) topological order. This result leads to concrete physical predictions.

arXiv:1702.00673•Nuclear Physics B•Jul 5, 2017•86 citations

A mathematical theory of gapless edges of 2d topological orders. Part II

Liang Kong, Hao Zheng

This is the second part of a two-part work on the unified mathematical theory of gapped and gapless edges of 2+1D topological orders. In Part I, we have developed the mathematical theory of chiral gapless edges. In Part II, we study boundary-bulk relation and non-chiral gapless edges. In particular, we explain how the notion of the center of an enriched monoidal category naturally emerges from the boundary-bulk relation. After the study of 0+1D gapless walls, we give the complete boundary-bulk relation for 2+1D topological orders with chiral gapless edges (including gapped edges) and 0d walls between edges. This relation is stated precisely and proved rigorously as a monoidal equivalence, which generalizes the functoriality of the usual Drinfeld center to an enriched setting. We also develop the mathematical theory of non-chiral gapless edges and 0+1D walls, and explain how to gap out certain non-chiral 1+1D gapless edges and 0+1D gapless walls categorically. In the end, we show that all anomaly-free 1+1D boundary-bulk rational CFT's can be recovered from 2d topological orders with chiral gapless edges via a dimensional reduction process. This provides physical meanings to some mysterious connections between mathematical results in fusion categories and those in rational CFT's.

arXiv:1912.01760•Nuclear Physics B•Mar 23, 2021•43 citations

Bulk-boundary correspondence of (1+1)D symmetric gapped phases

Yizhou Ma, Gen Yue, Tian Lan

We develop an operator-algebraic framework for boundary conditions and bulk-boundary correspondence in one-dimensional gapped phases with categorical symmetry. Working directly in the thermodynamic limit, we construct half-infinite fusion spin chains and commuting-projector boundary Hamiltonians from a unitary fusion category $\mathcal{C}$, an indecomposable semisimple right $\mathcal{C}$-module category $\mathcal{M}$, a Q-system $Q\in\mathcal{C}$ specifying the bulk phase, and a right $Q$-module $K\in\mathcal{M}_{Q}$, regarded as an object of $\mathcal{M}_{Q}^{\mathrm{op}}$, specifying the boundary. We prove that these Hamiltonians have unique ground states and that the resulting realization functor $\mathcal{M}_{Q}^{\mathrm{op}}\to\mathrm{BCond}$ is an equivalence, so simple boundary conditions are classified by simple objects of $\mathcal{M}_{Q}$ and general boundary conditions by their finite direct sums. We also give a microscopic formulation of the boundary symmetry topological field theory using DHR bimodules of the boundary quasi-local algebra. For a half-infinite fusion spin chain, the boundary DHR category is monoidally equivalent to $(\mathcal{C}_{\mathcal{M}}^{\vee})^{\mathrm{rev}}$, and the canonical action of the bulk DHR category on it agrees with the categorical action of $Z_1(\mathcal{C}^{\mathrm{rev}})$. Finally, we identify the action of the boundary DHR category on boundary conditions with the categorical action of $(\mathcal{C}_{\mathcal{M}}^{\vee})^{\mathrm{rev}}$ on $\mathcal{M}_{Q}^{\mathrm{op}}$. This yields a one-dimensional bulk-boundary correspondence: the enriched monoidal category describing the bulk is the enriched center of the enriched category describing the boundary.

arXiv:2606.19137•Jun 17, 2026•0 citations

Gapless edges of 2d topological orders and enriched monoidal categories

Liang Kong, Hao Zheng

In this work, we give a mathematical description of a chiral gapless edge of a 2d topological order (without symmetry). We show that the observables on the 1+1D world sheet of such an edge consist of a family of topological edge excitations, boundary CFT's and walls between boundary CFT's. These observables can be described by a chiral algebra and an enriched monoidal category. This mathematical description automatically includes that of gapped edges as special cases. Therefore, it gives a unified framework to study both gapped and gapless edges. Moreover, the boundary-bulk duality also holds for gapless edges. More precisely, the unitary modular tensor category that describes the 2d bulk phase is exactly the Drinfeld center of the enriched monoidal category that describes the gapless/gapped edge. We propose a classification of all gapped and chiral gapless edges of a given bulk phase. In the end, we explain how modular-invariant bulk rational conformal field theories naturally emerge on certain gapless walls between two trivial phases.

arXiv:1705.01087•Nuclear Physics B•Dec 11, 2017•50 citations

An invitation to topological orders and category theory

Kong, Liang, Zhihao Zhang

Although it has been a well-known fact, for more than two decades, that category theory is needed for the study of topological orders, it is still a non-trivial challenge for students and working physicists to master the abstract language of category theory. In this work, for those who have no background in category theory, we explain in great details how the structure of a (braided) fusion category naturally emerges from lattice models and physical intuitions. Moreover, we show that nearly all mathematical notions and constructions in fusion categories and its representation theory, such as (monoidal) functors, Drinfeld center, module categories, Morita equivalence, condensation completion and fusion 2-categories, naturally emerge from lattice models and physical intuitions. In this process, we also introduce some basic notions and important results of topological orders.

arXiv:2205.05565•May 11, 2022•12 citations

Braided fusion categories, gravitational anomalies, and the mathematical framework for topological orders in any dimensions

Liang Kong, Xiao-Gang Wen

Gravitational anomalies can be realized on the boundary of topologically ordered states in one higher dimension and are described by topological orders in one higher dimension. In this paper, we try to develop a general theory for both topological order and gravitational anomaly in any dimensions. (1) We introduce the notion of BF category to describe the braiding and fusion properties of topological excitations that can be point-like, string-like, etc. A subset of BF categories -- closed BF categories -- classify topological orders in any dimensions, while generic BF categories classify (potentially) anomalous topological orders that can appear at a boundary of a gapped quantum liquid in one higher dimension. (2) We introduce topological path integral based on tensor network to realize those topological orders. (3) Bosonic topological orders have an important topological invariant: the vector bundles of the degenerate ground states over the moduli spaces of closed spaces with different metrics. They may fully characterize topological orders. (4) We conjecture that a topological order has a gappable boundary iff the above mentioned vector bundles are flat. (5) We find a holographic phenomenon that every topological order with a gappable boundary can be uniquely determined by the knowledge of the boundary. As a consequence, BF categories in different dimensions form a (monoid) cochain complex, that reveals the structure and relation of topological orders and gravitational anomalies in different dimensions. We also studied the simplest kind of bosonic topological orders that have no non-trivial topological excitations. We find that this kind of topological orders form a $\mathbb{Z}$ class in 2+1D (with gapless edge), a $\mathbb{Z}_2$ class in 4+1D (with gappable boundary), and a $\mathbb{Z}\oplus \mathbb{Z}$ class in 6+1D (with gapless boundary).

arXiv:1405.5858•May 22, 2014•79 citations
In this paper, we study the relation between topological orders and their gapped boundaries. We propose that the bulk for a given gapped boundary theory is unique. It is actually a consequence of a microscopic definition of a local topological order, which is a (potentially anomalous) topological order defined on an open disk. Using this uniqueness, we show that the notion of "bulk" is equivalent to the notion of center in mathematics. We achieve this by first introducing the notion of a morphism between two local topological orders of the same dimension, then proving that the bulk satisfying the same universal property as that of the center in mathematics. We propose a classification (formulated as a macroscopic definition) of n+n+n+1D local topological orders by unitary multi-fusion nnn-categories, and explain that the notion of a morphism between two local topological orders is compatible with that of a unitary monoidal nnn-functor in a few low dimensional cases. We also explain in some low dimensional cases that this classification is compatible with the result of "bulk = center". In the end, we explain that above boundary-bulk relation is only the first layer of a hierarchical structure which can be summarized by the functoriality of the bulk (or center). This functoriality also provides the physical meanings of some well-known mathematical results on fusion 1-categories. This work can also be viewed as the first step towards a systematic study of the category of local topological orders, and the boundary-bulk relation actually provides a useful tool for this study.
In this paper, we study the relation between an anomaly-free n+1D topological order, which are often called n+1D topological order in physics literature, and its nD gapped boundary phases. We argue that the n+1D bulk anomaly-free topological order for a given nD gapped boundary phase is unique. This uniqueness defines the notion of the “bulk” for a given gapped boundary phase. In this paper, we show that the n+1D “bulk” phase is given by the “center” of the nD boundary phase. In other words, the geometric notion of the “bulk” corresponds precisely to the algebraic notion of the “center”. We achieve this by first introducing the notion of a morphism between two (potentially anomalous) topological orders of the same dimension, then proving that the notion of the “bulk” satisfies the same universal property as that of the “center” of an algebra in mathematics, i.e. “bulk = center”. The entire argument does not require us to know the precise mathematical description of a (potentially anomalous) topological order. This result leads to concrete physical predictions.
This is the second part of a two-part work on the unified mathematical theory of gapped and gapless edges of 2+1D topological orders. In Part I, we have developed the mathematical theory of chiral gapless edges. In Part II, we study boundary-bulk relation and non-chiral gapless edges. In particular, we explain how the notion of the center of an enriched monoidal category naturally emerges from the boundary-bulk relation. After the study of 0+1D gapless walls, we give the complete boundary-bulk relation for 2+1D topological orders with chiral gapless edges (including gapped edges) and 0d walls between edges. This relation is stated precisely and proved rigorously as a monoidal equivalence, which generalizes the functoriality of the usual Drinfeld center to an enriched setting. We also develop the mathematical theory of non-chiral gapless edges and 0+1D walls, and explain how to gap out certain non-chiral 1+1D gapless edges and 0+1D gapless walls categorically. In the end, we show that all anomaly-free 1+1D boundary-bulk rational CFT's can be recovered from 2d topological orders with chiral gapless edges via a dimensional reduction process. This provides physical meanings to some mysterious connections between mathematical results in fusion categories and those in rational CFT's.
We develop an operator-algebraic framework for boundary conditions and bulk-boundary correspondence in one-dimensional gapped phases with categorical symmetry. Working directly in the thermodynamic limit, we construct half-infinite fusion spin chains and commuting-projector boundary Hamiltonians from a unitary fusion category C\mathcal{C}C, an indecomposable semisimple right C\mathcal{C}C-module category M\mathcal{M}M, a Q-system Q∈CQ\in\mathcal{C}Q∈C specifying the bulk phase, and a right QQQ-module K∈MQK\in\mathcal{M}_{Q}K∈MQ​, regarded as an object of MQop\mathcal{M}_{Q}^{\mathrm{op}}MQop​, specifying the boundary. We prove that these Hamiltonians have unique ground states and that the resulting realization functor MQop→BCond\mathcal{M}_{Q}^{\mathrm{op}}\to\mathrm{BCond}MQop​→BCond is an equivalence, so simple boundary conditions are classified by simple objects of MQ\mathcal{M}_{Q}MQ​ and general boundary conditions by their finite direct sums. We also give a microscopic formulation of the boundary symmetry topological field theory using DHR bimodules of the boundary quasi-local algebra. For a half-infinite fusion spin chain, the boundary DHR category is monoidally equivalent to (CM∨)rev(\mathcal{C}_{\mathcal{M}}^{\vee})^{\mathrm{rev}}(CM∨​)rev, and the canonical action of the bulk DHR category on it agrees with the categorical action of Z1(Crev)Z_1(\mathcal{C}^{\mathrm{rev}})Z1​(Crev). Finally, we identify the action of the boundary DHR category on boundary conditions with the categorical action of (CM∨)rev(\mathcal{C}_{\mathcal{M}}^{\vee})^{\mathrm{rev}}(CM∨​)rev on MQop\mathcal{M}_{Q}^{\mathrm{op}}MQop​. This yields a one-dimensional bulk-boundary correspondence: the enriched monoidal category describing the bulk is the enriched center of the enriched category describing the boundary.
In this work, we give a mathematical description of a chiral gapless edge of a 2d topological order (without symmetry). We show that the observables on the 1+1D world sheet of such an edge consist of a family of topological edge excitations, boundary CFT's and walls between boundary CFT's. These observables can be described by a chiral algebra and an enriched monoidal category. This mathematical description automatically includes that of gapped edges as special cases. Therefore, it gives a unified framework to study both gapped and gapless edges. Moreover, the boundary-bulk duality also holds for gapless edges. More precisely, the unitary modular tensor category that describes the 2d bulk phase is exactly the Drinfeld center of the enriched monoidal category that describes the gapless/gapped edge. We propose a classification of all gapped and chiral gapless edges of a given bulk phase. In the end, we explain how modular-invariant bulk rational conformal field theories naturally emerge on certain gapless walls between two trivial phases.
Although it has been a well-known fact, for more than two decades, that category theory is needed for the study of topological orders, it is still a non-trivial challenge for students and working physicists to master the abstract language of category theory. In this work, for those who have no background in category theory, we explain in great details how the structure of a (braided) fusion category naturally emerges from lattice models and physical intuitions. Moreover, we show that nearly all mathematical notions and constructions in fusion categories and its representation theory, such as (monoidal) functors, Drinfeld center, module categories, Morita equivalence, condensation completion and fusion 2-categories, naturally emerge from lattice models and physical intuitions. In this process, we also introduce some basic notions and important results of topological orders.
Gravitational anomalies can be realized on the boundary of topologically ordered states in one higher dimension and are described by topological orders in one higher dimension. In this paper, we try to develop a general theory for both topological order and gravitational anomaly in any dimensions. (1) We introduce the notion of BF category to describe the braiding and fusion properties of topological excitations that can be point-like, string-like, etc. A subset of BF categories -- closed BF categories -- classify topological orders in any dimensions, while generic BF categories classify (potentially) anomalous topological orders that can appear at a boundary of a gapped quantum liquid in one higher dimension. (2) We introduce topological path integral based on tensor network to realize those topological orders. (3) Bosonic topological orders have an important topological invariant: the vector bundles of the degenerate ground states over the moduli spaces of closed spaces with different metrics. They may fully characterize topological orders. (4) We conjecture that a topological order has a gappable boundary iff the above mentioned vector bundles are flat. (5) We find a holographic phenomenon that every topological order with a gappable boundary can be uniquely determined by the knowledge of the boundary. As a consequence, BF categories in different dimensions form a (monoid) cochain complex, that reveals the structure and relation of topological orders and gravitational anomalies in different dimensions. We also studied the simplest kind of bosonic topological orders that have no non-trivial topological excitations. We find that this kind of topological orders form a Z\mathbb{Z}Z class in 2+1D (with gapless edge), a Z2\mathbb{Z}_2Z2​ class in 4+1D (with gappable boundary), and a Z⊕Z\mathbb{Z}\oplus \mathbb{Z}Z⊕Z class in 6+1D (with gapless boundary).