Jones-Wassermann subfactors for modular tensor categories

Boundaries of Walker-Wang models have been used to construct commuting projector models which realize chiral unitary modular tensor categories (UMTCs) as boundary excitations. Given a UMTC A representing the Witt class of an anomaly, the article \cite{MR4640433} gave a commuting projector model associated to an A-enriched unitary fusion category X on a 2D boundary of the 3D Walker-Wang model associated to A. That article claimed that the boundary excitations were given by the enriched center/Müger centralizer ZA(X) of A in Z(X).In this article, we give a rigorous treatment of this 2D boundary model, and we verify this assertion using topological quantum field theory (TQFT) techniques, including skein modules and a certain semisimple algebra whose representation category describes boundary excitations. We also use TQFT techniques to show the 3D bulk point excitations of the Walker-Wang bulk are given by the Müger center Z2(A), and we construct bulk-to-boundary hopping operators Z2(A)→ZA(X) reflecting how the UMTC of boundary excitations ZA(X) is symmetric-braided enriched in Z2(A).This article also includes a self-contained comprehensive review of the Levin-Wen string net model from a unitary tensor category viewpoint, as opposed to the skeletal 6j symbol viewpoint.

A finite bosonic or fermionic symmetry can be described uniquely by a symmetric fusion category $\mathcal{E}$. In this work, we propose that 2+1D topological/SPT orders with a fixed finite symmetry $\mathcal{E}$ are classified, up to $E_8$ quantum Hall states, by the unitary modular tensor categories $\mathcal{C}$ over $\mathcal{E}$ and the modular extensions of each $\mathcal{C}$. In the case $\mathcal{C}=\mathcal{E}$, we prove that the set $\mathcal{M}_{ext}(\mathcal{E})$ of all modular extensions of $\mathcal{E}$ has a natural structure of a finite abelian group. We also prove that the set $\mathcal{M}_{ext}(\mathcal{C})$ of all modular extensions of $\mathcal{C}$, if not empty, is equipped with a natural $\mathcal{M}_{ext}(\mathcal{E})$-action that is free and transitive. Namely, the set $\mathcal{M}_{ext}(\mathcal{C})$ is an $\mathcal{M}_{ext}(\mathcal{E})$-torsor. As special cases, we explain in details how the group $\mathcal{M}_{ext}(\mathcal{E})$ recovers the well-known group-cohomology classification of the 2+1D bosonic SPT orders and Kitaev's 16 fold ways. We also discuss briefly the behavior of the group $\mathcal{M}_{ext}(\mathcal{E})$ under the symmetry-breaking processes and its relation to Witt groups.

We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this construction also establishes the operator product expansion for intertwining operators, which correspond to chiral vertex operators, and more generally, it establishes the logarithmic operator product expansion for logarithmic intertwining operators. We review the main ideas in the construction of the tensor product bifunctors and the associativity isomorphisms. For rational and logarithmic conformal field theories, we review the precise results that yield braided tensor categories, and in the rational case, modular tensor categories as well. In the case of rational conformal field theory, we also briefly discuss the construction of the modular tensor categories for the Wess–Zumino–Novikov–Witten models and, especially, a recent discovery concerning the proof of the fundamental rigidity property of the modular tensor categories for this important special case. In the case of logarithmic conformal field theory, we mention suitable categories of modules for the triplet -algebras as an example of the applications of our general construction of the braided tensor category structure.

A (1 + 1)D unitary bosonic rational conformal field theory (RCFT) may be organized according to its genus, a tuple (c,C) consisting of its central charge c and a unitary modular tensor category C which describes the (2 + 1)D topological quantum field theory for which its maximally extended chiral algebra forms a holomorphic boundary condition. We establish a number of results pertaining to RCFTs in “small” genera, by which we informally mean genera with the central charge c and the number of primary operators rank(C) both not too large. We start by completely solving the modular bootstrap problem for theories with at most four primary operators. In particular, we characterize, and provide an algorithm which efficiently computes, the function spaces to which the partition function of any bosonic RCFT with rank(C)≤4 must belong. Using this result, and leveraging relationships between RCFTs and holomorphic vertex operator algebras which come from “gluing” and cosets, we rigorously enumerate all bosonic theories in 95 of the 105 genera (c,C) with c ≤ 24 and rank(C)≤4. This includes as (new) special cases the classification of chiral algebras with three primaries and c < 120/7 ∼ 17.14, and the classification of chiral algebras with four primaries and c < 62/3 ∼ 20.67. We then study two applications of our classification. First, by making use of chiral versions of bosonization and fermionization, we obtain the complete list of purely left-moving fermionic RCFTs with c < 23 as a corollary of the results of the previous paragraph. Second, using a (conjectural) concept which we call “symmetry/subalgebra duality,” we precisely relate our bosonic classification to the problem of determining certain generalized global symmetries of holomorphic vertex operator algebras.

We investigate the multifusion generalization of string-net ground states and lattice Hamiltonians, delving into their associated weak Hopf symmetries. For the multifusion string-net, the gauge symmetry manifests as a general weak Hopf algebra, leading to a reducible vacuum string label; the charge symmetry, serving as a quantum double of gauge symmetry, constitutes a connected weak Hopf algebra. This implies that the associated topological phase retains its characterization by a unitary modular tensor category (UMTC). The bulk charge symmetry can also be captured by a weak Hopf tube algebra. We offer an explicit construction of the weak Hopf tube algebra structure and thoroughly discuss its properties. The gapped boundary and domain wall models are extensively discussed, with these 1d phases characterized by unitary multifusion categories (UMFCs). We delve into the gauge and charge symmetries of these 1d phases, as well as the construction of the boundary and domain wall tube algebras. Additionally, we illustrate that the domain wall tube algebra can be regarded as a cross product of two boundary tube algebras. As an application of our model, we elucidate how to interpret the defective string-net as a restricted multifusion string-net.

Let \mathcal{C}(\mathfrak{g},k) be the unitary modular tensor categories arising from the representation theory of quantum groups at roots of unity for arbitrary simple finite-dimensional complex Lie algebra \mathfrak{g} and positive integer levels k . Here we classify nondegenerate fusion subcategories of the modular tensor categories of local modules \mathcal{C}(\mathfrak{g},k)_R^0 where R is the regular algebra of Tannakian Rep (H)\subset\mathcal{C}(\mathfrak{g},k)_\text{pt} . We describe the decomposition of \mathcal{C}(\mathfrak{g},k)_R^0 into prime factors, and as an application we classify relations in the Witt group of nondegenerately braided fusion categories generated by the equivalency classes of \mathcal{C}(\mathfrak{so}_5,k) and \mathcal{C}(\mathfrak{g}_2,k) for k\in\mathbb{Z}_{\geq1} .

Let G be a finite group. Given a finite G-set $\cal{X}$ and a modular tensor category $\cal{C}$ , we construct a weak G-equivariant fusion category $\cal{C}^{\cal{X}}$ , called the permutation equivariant tensor category. The construction is geometric and uses the formalism of modular functors. As an application, we concretely work out a complete set of structure morphisms for $\mathbb{Z}/2$ -permutation equivariant categories, finishing thereby a program we initiated in an earlier paper.

This is the second part of the paper (the first part is published in Jour. of AMS, vol.9, 1135--1170, q-alg/9508017). In the first part, we defined for every modular tensor category (MTC) inner products on the spaces of morphisms and proved that the inner product on the space $\Hom (\bigoplus X_i\otimes X^*_i, U)$ is modular invariant. Also, we have shown that in the case of the MTC arising from the representations of the quantum group $U_q \sln$ at roots of unity and $U$ being a symmetric power of the fundamental representation, this inner product coincides with so-called Macdonald's inner product on symmetric polynomials. In this paper, we apply the same construction to the MTC coming from the integrable representations of affine Lie algebras. In this case our construction immediately gives a hermitian form on the spaces of conformal blocks, and this form is modular invariant (Warning: we cannot prove that it is positive definite). We show that this form can be rewritten in terms of asymptotics of KZ equations, and calculate it for $sl_2$, in which case the formula is a natural affine analogue of Macdonald's inner product identities. We also formulate as a conjecture similar formula for $sl_n$.

We consider a pivotal monoidal functor whose domain is a modular tensor category (MTC). We show that the trace of such a functor naturally extends to a representation of the corresponding tube category. As irreducible representations of the tube category are indexed by pairs of simple objects in the underlying MTC, the simple multiplicities of this representation form a candidate modular invariant matrix. In general, this matrix will not be modular invariant, however it will always commute with the T-matrix. Furthermore, under certain additional conditions on the original functor, it is shown that the corresponding representation of the tube category is a haploid, symmetric, commutative Frobenius algebra. Such algebras are known to be connected to modular invariants, in particular a result of Kong and Runkel implies that the matrix of simple multiplicities commutes with the S-matrix if and only if the dimension of the algebra is equal to the dimension of the underlying MTC. Finally, we apply these techniques to certain pivotal monoidal functors arising from module categories over the Temperley-Lieb category and the associated MTC. This provides a novel explanation of the A-D-E pattern appearing in the classification of $ A_1^{(1)} $ modular invariants.

In this paper we provide a general condition for the reducibility of the Reshetikhin–Turaev quantum representations of the mapping class groups. Namely, for any modular tensor category with a special symmetric Frobenius algebra with a non-trivial genus one partition function, we prove that the quantum representations of all the mapping class groups built from the modular tensor category are reducible. In particular, for SU(N) we get reducibility for certain levels and ranks. For the quantum SU(2) Reshetikhin–Turaev theory we construct a decomposition for all even levels. We conjecture this decomposition is a complete decomposition into irreducible representations for high enough levels.

Drinfeld center of enriched monoidal categories

We describe a systematic way of producing fermionic topological phases using the technique of fermion condensation. We give a prescription for performing fermion condensation in bosonic topological phases which contain an emergent fermion. Our approach to fermion condensation can roughly be understood as coupling the parent bosonic topological phase to a phase of physical fermions, and condensing pairs of physical and emergent fermions. There are two distinct types of objects in fermionic theories, which we call “m-type” and “q-type” particles. The endomorphism algebras of q-type particles are complex Clifford algebras, and they have no analogues in bosonic theories. We construct a fermionic generalization of the tube category, which allows us to compute the quasiparticle excitations in fermionic topological phases. We then prove a series of results relating data in condensed theories to data in their parent theories; for example, if C is a modular tensor category containing a fermion, then the tube category of the condensed theory satisfies Tube(C/ψ) ≅ C × C/ψ. We also study how modular transformations, fusion rules, and coherence relations are modified in the fermionic setting, prove a fermionic version of the Verlinde dimension formula, construct a commuting projector lattice Hamiltonian for fermionic theories, and write down a fermionic version of the Turaev-Viro-Barrett-Westbury state sum.

Using a result of Longo and Xu, we show that the anomaly arising from a cyclic permutation orbifold of order 3 of a holomorphic conformal net [Formula: see text] with central charge [Formula: see text] depends on the “gravitational anomaly” [Formula: see text]. In particular, the conjecture that holomorphic permutation orbifolds are non-anomalous and therefore a stronger conjecture of Müger about braided crossed [Formula: see text]-categories arising from permutation orbifolds of completely rational conformal nets are wrong. More generally, we show that cyclic permutations of order [Formula: see text] are non-anomalous if and only if [Formula: see text] or [Formula: see text]. We also show that all cyclic permutation gaugings of [Formula: see text] arise from conformal nets.

Self-consistent (non-)abelian statistics in 2+1D are classified by modular tensor categories (MTC). In recent works, a simplified axiomatic approach to MTCs, based on fusion coefficients $N^{ij}_k$ and spins $s_i$, was proposed. A numerical search based on these axioms led to a list of possible (non-)abelian statistics, with rank up to $N=7$. However, there is no guarantee that all solutions to the simplified axioms are consistent and can be realised by bosonic physical systems. In this paper, we use simple-current algebra to address this issue. We explicitly construct many-body wave functions, aiming to realize the entries in the list (\ie realize their fusion coefficients $N^{ij}_k$ and spins $s_i$). We find that all entries can be constructed by simple-current algebra plus conjugation under time reversal symmetry. This supports the conjecture that simple-current algebra is a general approach that allows us to construct all (non-)abelian statistics in 2+1D. It also suggests that the simplified theory based on $(N^{ij}_k,s_i)$ is a classifying theory at least for simple bosonic 2+1D topological orders (up to invertible topological orders).

Anyon condensation in wormhole geometries is investigated in the Virasoro TQFT (VTQFT) formulation, a proposed reformulation of 3d AdS quantum gravity. We first review some elementary techniques of VTQFT and summarize a gauging scheme for non-invertible symmetries referred to as anyon condensation. We then exhibit that anyon condensation is applicable to VTQFT even though the category of Wilson lines associated with it is not strictly a modular tensor category (MTC) due to the continuously infinite label p ∈ ℝ+. More specifically, it is shown that the partition function of the wormhole factorizes upon condensing the so-called diagonal condensable anyon A=∫0∞dpLp⊠L¯p in VTQFT. The resulting 2d boundary theory is Liouville CFT by symmetry TFT construction, and to our knowledge, this is among the very few explicit computational examples of gauging continuous non-invertible symmetries in the literature.