This paper develops a comprehensive theory of symmetry fractionalization together with the properties of symmetry defects in topologically ordered phases of matter in two spatial dimensions. To do this, the authors also introduce the full set of data, consistency conditions, and equivalences for a mathematical theory, known as a G-crossed braided tensor category, that characterizes the algebraic braiding and fusion properties of symmetry defects. This theoretical framework can completely characterize and classify symmetry-enriched topological phases of matter in the presence of arbitrarily strong interactions in quantum many-body systems in two spatial dimensions.
We examine the interplay of symmetry and topological order in
2+1 dimensional fermionic topological phases of matter. We define fermionic topological symmetries acting on the emergent topological effective theory described using braided tensor category theory. Connecting this to the
Gf fermionic symmetry of the microscopic physical system, we characterize and classify symmetry fractionalization in fermionic topological phases. We find that the physical fermion provides constraints that result in a tiered structure of obstructions and classification of fractionalization with respect to the physical fermions, the quasiparticles, and the vortices. The fractionalization of the (bosonic) symmetry
G=Gf/Z2f on the physical fermions is essentially the central extension of
G by the
Z2f fermion parity conservation that yields the fermionic symmetry
Gf. We develop an algebraic theory of
Gf symmetry defects for fermionic topological phases using
G-crossed braided tensor category theory. This formalism allows us to fully characterize and classify
2+1 dimensional fermionic symmetry enriched topological phases with on-site unitary fermionic symmetry group
Gf. We first apply this formalism to extract the minimal data specifying a general fermionic symmetry protected topological phase, and demonstrate that such phases with fixed
Gf form a group under fermionic stacking. Then we analyze general fermionic symmetry enriched topological phases and find their classification is given torsorially by the classification of the symmetry fractionalization of quasiparticles combined with the classification of fermionic symmetry protected topological phases. We illustrate our results by detailing a number of examples, including all the invertible fermionic topological phases.
We describe the mathematical theory of topological quantum computing with symmetry defects in the language of fusion categories and unitary representations. Symmetry defects together with anyons are modeled by G-crossed braided extensions of unitary modular tensor categories. The algebraic data of these categories afford projective unitary representations of the braid group. Elements in the image of such representations correspond to quantum gates arising from exchanging anyons and symmetry defects in topological phases of matter with symmetry. We provide some small examples that highlight features of practical interest for quantum computing. In particular, symmetry defects show the potential to generate non-abelian statistics from abelian topological phases and to be used as as a tool to enlarge the set of quantum gates accessible to an anyonic device.
Symmetry fractionalization on topological excitations is one of the most remarkable quantum phenomena in topological orders with symmetry, i.e., symmetry-enriched topological phases. While much progress has been theoretically and experimentally made in two dimensions (2D), the understanding on symmetry fractionalization in 3D is far from complete. A long-standing challenge is to understand symmetry fractionalization on looplike topological excitations, which are spatially extended objects. In this paper, we construct a powerful topological-field-theoretical framework approach for 3D topological orders, which leads to a systematic characterization and classification of symmetry fractionalization. For systems with Abelian gauge groups (
Gg) and Abelian symmetry groups (
Gs), we successfully establish equivalence classes that lead to a finite number of patterns of symmetry fractionalization, although there are notoriously infinite number of Lagrangian-descriptions of the system. Based on this, we compute topologically distinct types of fractional symmetry charges carried by particles. Then, for each type, we compute topologically distinct statistical phases of braiding processes among loop excitations and external symmetry fluxes. As a result, we are able to unambiguously list all physical observables for each pattern of symmetry fractionalization. We present detailed calculations on many concrete examples. As an example, we find that the symmetry fractionalization in an untwisted ${\mathbb{Z}}_{2}\ifmmode\times\else\texttimes\fi{}{\mathbb{Z}}_{2}$ topological order with
Z2 symmetry is classified by ${({\mathbb{Z}}_{2})}^{6}\ensuremath{\bigoplus}{({\mathbb{Z}}_{2})}^{2}\ensuremath{\bigoplus}{({\mathbb{Z}}_{2})}^{2}\ensuremath{\bigoplus}{({\mathbb{Z}}_{2})}^{2}$. If the topological order is twisted, the classification reduces to
(Z2)6 in which particle excitations always carry integer charge. Inspired by the field-theoretical analysis, we find that our classification of symmetry fractionalization with twist $\ensuremath{\omega}$ can be formally organized into an algebraic formalism: ${⨁}_{{\ensuremath{\nu}}_{i}}{\mathcal{H}}^{4}({G}_{g}{\ensuremath{\leftthreetimes}}_{{\ensuremath{\nu}}_{i}}{G}_{s},U(1))/{\mathrm{\ensuremath{\Gamma}}}_{\ensuremath{\omega}}({\ensuremath{\nu}}_{i}),$ where anomaly-free symmetry fractionalization on particles ${\ensuremath{\nu}}_{i}\ensuremath{\in}{\mathcal{H}}_{non}^{2}({G}_{s},{G}_{g})$. Despite the lack of detailed dependence of ${\mathrm{\ensuremath{\Gamma}}}_{\ensuremath{\omega}}({\ensuremath{\nu}}_{i})$ on $\ensuremath{\omega}$ and ${\ensuremath{\nu}}_{i}$, the present field-theoretical approach allows us to efficiently calculate and understand ${\mathrm{\ensuremath{\Gamma}}}_{\ensuremath{\omega}}({\ensuremath{\nu}}_{i})$. Several future directions are presented at the end of this paper.
Defects between gapped boundaries provide a possible physical realization of projective non-Abelian braid statistics. A notable example is the projective Majorana/parafermion braid statistics of boundary defects in fractional quantum Hall/topological insulator and superconductor heterostructures. In this paper, we develop general theories to analyze the topological properties and projective braiding of boundary defects of topological phases of matter in two spatial dimensions. We present commuting Hamiltonians to realize defects between gapped boundaries in any
(2+1)D untwisted Dijkgraaf-Witten theory, and use these to describe their topological properties such as their quantum dimension. By modeling the algebraic structure of boundary defects through multifusion categories, we establish a bulk-edge correspondence between certain boundary defects and symmetry defects in the bulk. Even though it is not clear how to physically braid the defects, this correspondence elucidates the projective braid statistics for many classes of boundary defects, both amongst themselves and with bulk anyons. Specifically, three such classes of importance to condensed matter physics/topological quantum computation are studied in detail: (1) a boundary defect version of Majorana and parafermion zero modes, (2) a similar version of genons in bilayer theories, and (3) boundary defects in
D(S3).
We provide a superselection theory of symmetry defects in 2+1D symmetry enriched topological (SET) order in the infinite volume setting. For a finite symmetry group
G with a unitary on-site action, our formalism produces a
G-crossed braided tensor category
GSec. This superselection theory is a direct generalization of the usual superselection theory of anyons, and thus is consistent with this standard analysis in the trivially graded component
GSec1. This framework also gives us a completely rigorous understanding of symmetry fractionalization. To demonstrate the utility of our formalism, we compute
GSec explicitly in both short-range and long-range entangled spin systems with symmetry and recover the relevant skeletal data.
We investigate the algebraic theory of symmetry-enriched topological (SET) order in (2+1)D bosonic topological phases of matter and its applications to topological quantum computing. Our goal is twofold: first, to demonstrate how an abstract categorical approach can be applied to understand phenomena in (2+1)D topological phases of matter, and second, to show how ideas from physics can be useful for categorification.After reviewing modular tensor categories (MTCs) and their role as algebraic theories of anyons in topological phases of matter, we recall their associated quantum representations and their interpretation as quantum gates for a topological quantum computer. Next we recall the characterization of SET order in terms of
G-crossed braided extensions of MTCs and the mathematical formalism of topological quantum computing (TQC) with anyons and symmetry defects.We then apply modular tensor category theory to construct algebraic models of symmetry defects in multi-layer (2+1)D topological order with layer-exchange permutation symmetry. Our main result frames a correspondence between bilayer symmetry enriched topological order and monolayer topological order on surfaces with genus, illuminating a connection between quantum symmetry and topological order that first appeared in the work of condensed matter theorists Barkeshi, Ji, and Qian.