Abstract
Given any symmetry acting on a d-dimensional quantum field theory, there is an associated \((d+1)\)-dimensional topological field theory known as the Symmetry TFT (SymTFT). The SymTFT is useful for decoupling the universal quantities of quantum field theories, such as their generalized global symmetries and ’t Hooft anomalies, from their dynamics. In this work, we explore the SymTFT for theories with Kramers-Wannier-like duality symmetry in both \((1+1)\)d and \((3+1)\)d quantum field theories. After constructing the SymTFT, we use it to reproduce the non-invertible fusion rules of duality defects, and along the way we generalize the concept of duality defects to higher duality defects. We also apply the SymTFT to the problem of distinguishing intrinsically versus non-intrinsically non-invertible duality defects in \((1+1)\)d.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Summary
Kramers-Wannier duality, originally identified in the \((1+1)\)d Ising model, is the simplest example of a so-called “non-invertible symmetry.” Non-invertible symmetries have been the subject of an extensive literature in \((1+1)\)d (see e.g. [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]), but have only recently been generalized to spacetime dimensions greater than two [21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47]. The constructions of non-invertible symmetries in higher dimensions that have appeared in the literature so far involve the following techniques,
-
Gauging a discrete symmetry in a theory with particular ‘t Hooft anomaly [21];
-
Gauging a non-anomalous symmetry in half of the spacetime [22, 24];
-
Gauging a non-normal finite subgroup of the global symmetry [26, 26, 28, 32, 48];
-
Gauging a higher form symmetry along a higher co-dimension submanifold [27];
-
Gauging a diagonal symmetry between the quantum field theory and a lower dimensional topological theory on a defect [38].
Applications of non-invertible symmetries have ranged from constraints on the IR phases of supersymmetric and non-supersymmetric gauge theories [22, 24, 36] to the generation of new strongly-coupled theories via twisted compactification [29], and also include the obtaining of selection rules in real-world models such as QED and QCD [30, 31].
Despite their newfound utility, sometimes statements made using non-invertible symmetries in a theory \({{\mathcal {X}}}\) can be recast as statements involving only invertible symmetries in a theory \(\phi ({{\mathcal {X}}})\), where \(\phi \) is some appropriate topological manipulation. The set of topological manipulations \(\phi \) includes gauging of finite (non-anomalous) symmetries, as well as stacking with invertible phases. Non-invertible symmetries which cannot be recast as (potentially anomalous) invertible symmetries upon appropriate application of \(\phi \) were dubbed “intrinsically” non-invertible in [29], whereas non-invertible symmetries which can be recast as invertible symmetries were dubbed “non-intrinsically” non-invertible. The upshot is that the non-invertibility of a given symmetry, and indeed the full fusion (higher-)category, is not an invariant under topological manipulations.
With this in mind, it is interesting to search for an object which is invariant under topological operations \(\phi \). Indeed, such an object is known to exist: given a d-dimensional theory with symmetry captured by a fusion \((d-1)\)-category \({{\mathcal {C}}}\), we may define a \((d+1)\)-dimensional topological field theory SymTFT\(({{\mathcal {C}}})\) with the property that SymTFT\(({{\mathcal {C}}})=\)SymTFT\((\phi ({{\mathcal {C}}}))\) for any topological manipulation \(\phi \). The topological theory SymTFT\(({{\mathcal {C}}})\) is known as the symmetry topological field theory [49,50,51,52,53,54,55] (see also related developments in condensed matter physics [56,57,58,59,60,61]), and will be the main focus of this paper.
1.1 Symmetry TFT and boundary conditions
The SymTFT of a theory \({{\mathcal {X}}}\) in d-dimensions with global symmetry \({{\mathcal {C}}}\) is a topological theory SymTFT(\({{\mathcal {C}}})\) in \((d+1)\)-dimensions which, when compactified on an interval with appropriate boundary conditions, gives back the theory \({{\mathcal {X}}}\) of interest. One of the many nice properties of the SymTFT is that it decouples the dynamics of \({{\mathcal {X}}}\) from the symmetries. This makes the action of the various topological manipulations \(\phi \) more transparent: indeed, by choosing appropriate topological boundary conditions for the SymTFT before compactification to d-dimensions, we can obtain not only the original \({{\mathcal {X}}}\), but any theory of the form \(\phi ({{\mathcal {X}}})\).
The basic idea is illustrated in Fig. 1. The \((d+1)\)-dimensional SymTFT is placed on an interval, where the right boundary is endowed with non-topological “enriched Neumann” boundary conditions capturing the dynamics of \({{\mathcal {X}}}\), whereas the left boundary condition is topological. Both boundaries can be labeled by appropriate elements of the state space of SymTFT\(({{\mathcal {C}}})\). The dynamical boundary of SymTFT\(({{\mathcal {C}}})\) is taken to be
When \({{\mathcal {C}}}\) is a finite group G, the a above represents the collective set of flat connections of G, and \(Z_{{{\mathcal {X}}}}[a]\) denotes the partition function of \({{\mathcal {X}}}\) coupled to gauge fields a (on some fiducial d-manifold). When \({{\mathcal {C}}}\) is a fusion (higher-)category rather than a group, the label a is an appropriate collective label for the topological defects in the theory.
The topological boundary of SymTFT\(({{\mathcal {C}}})\) can take a number of forms, with common options being Dirichlet or Neumann boundary conditions. Dirichlet boundary conditions fix the fields a to certain values A, whereas Neumann boundary conditions allow a to fluctuate freely. In the state notation, these can be written as
The normalization factor in \(\int a\cup A\) depends on the symmetry and is suppressed here. We will restore it in the main text.
Because the SymTFT is topological, the length of the interval is unimportant and can be shrank to zero size, upon which one obtains a d-dimensional theory whose partition function can be computed by taking the inner product between the states on the left and right boundaries. In the case of Dirichlet boundary conditions, one obtains
and hence one reproduces the original d-dimensional theory \({{\mathcal {X}}}\), coupled to background fields A. On the other hand, by putting Neumann boundary conditions on the right, we obtain
In other words, in this case we obtain a d-dimensional theory \(\phi ({{\mathcal {X}}})\), where \(\phi \) in this case represents gauging the discrete symmetry G (which is indeed a topological operation). Choosing mixed Dirichlet-Neumann boundary conditions will allow us to obtain \({{\mathcal {X}}}\) with a subgroup of G gauged.
More generally, one can dress either boundary condition in (1.2) by a d-cocycle \(\nu _d\). The corresponding theories obtained by shrinking the slab are \({{\mathcal {X}}}\) stacked with a counterterm, and \({{\mathcal {X}}}/G\) with the gauging done with discrete torsion associated with the d-cocycle,
One therefore expects that any two theories \({{\mathcal {X}}}\) and \({{\mathcal {X}}}'\) that are related by a topological manipulation \(\phi \), i.e. \({{\mathcal {X}}}'=\phi ({{\mathcal {X}}})\), can be obtained by the slab construction with the same SymTFT but with different topological boundary conditions. In particular, this implies that the SymTFT in the bulk is invariant under topological manipulations.
1.2 Invertible symmetry and Dijkgraaf-Witten theories
The SymTFT takes a particularly simple form when the symmetry in question is group-like. To see this, begin by considering a theory \({{\mathcal {X}}}\) with background gauge fields A and anomaly \(\alpha \). The anomaly inflow paradigm [62], in modern language, says that such a theory may be realized on the boundary of an appropriate invertible phase \(\hbox {Inv}^\alpha (A)\); see Fig. 2a.
Given Fig. 2a, one can promote the background gauge field A to a dynamical gauge field a both on the right boundary and in a slab in the bulk. The bulk theory within this slab is then a nontrivial TQFT, namely a (generalized) Dijkgraaf-Witten (DW) theoryFootnote 1
where both a and b are invariant G-valued cochains, and as commented above we suppress the normalization in the BF coupling for now. On the right of the slab, one further imposes Dirichlet boundary conditions to pin the dynamical field a to the background A. The theory \({{\mathcal {X}}}\) is recovered by taking the thin slab limit where the non-topological boundary condition \({|{{{\mathcal {X}}}}\rangle }\) and the Dirichlet boundary condition \({|{D(A)}\rangle }\) collide. We conclude that the SymTFT for an invertible symmetry with an anomaly is given by a (generalized) DW theory (1.6), i.e. a discrete gauge theory, potentially with a non-trivial twist.
1.3 Symmetry TFT for duality defects
Having understood the SymTFT for theories with only group-like (i.e. invertible) symmetries, we may next proceed to consider theories with non-invertible symmetries. In \((1+1)\)d, the simplest categories with non-invertible symmetries are the so-called Tambara-Yamagami categories TY(G) with G an Abelian group. The objects of this category consist of invertible lines \(L_g\) for each \(g \in G\), together with a single non-invertible line \({{\mathcal {N}}}\) with fusion rulesFootnote 2
A higher-categorical analog of TY(G) fusion rules exists in higher dimensions, as will be discussed for \(G={\mathbb {Z}}_N^{(1)}\) in \((3+1)\)d in the main text. The goal of this paper is to construct the SymTFTs for \((1+1)\)d theories with \(TY({\mathbb {Z}}_N)\) symmetry, as well as the analogs in \((3+1)\)d.
Before beginning this analysis, we should note that the SymTFT is, at least implicitly, already known for any fusion (higher-)category. Indeed, given a theory with fusion (higher-)category \({{\mathcal {C}}}\), the SymTFT is always given by Turaev-Viro theory on \({{\mathcal {C}}}\), or equivalently as Reshetikhin-Turaev theory on the Drinfeld center \({{\mathcal {Z}}}({{\mathcal {C}}})\) (subject to important caveatsFootnote 3). The latter definition makes it clear that the SymTFT of \({{\mathcal {C}}}\) is the quantum double \({{\mathcal {Z}}}({{\mathcal {C}}})\) of \({{\mathcal {C}}}\). This matches with the results obtained above for group-like symmetry \({{\mathcal {C}}}= \textrm{Vec}^\alpha (G)\) discussed above, since Turaev-Viro theory on \(\textrm{Vec}^\alpha (G)\) is known to be equivalent to DW theory with DW action \(\alpha \).
For the case of \({{\mathcal {C}}}= TY({\mathbb {Z}}_N)\) in \((1+1)\)d, various properties of the Drinfeld center \({{\mathcal {Z}}}(TY({\mathbb {Z}}_N))\) are known in detail in the mathematics literature [64, 65], as well as in the physics literature [66, 67]. As such, the results we present in \((1+1)\)d are not new. However, the way in which we obtain these results will be new, and will carry the virtue of being more easily generalizable to the case of higher dimensions.
As will be described in the rest of this work, the SymTFTs for theories with duality symmetries can be obtained by starting with appropriate DW theories and gauging an electro-magnetic (EM) exchange symmetry. As part of our analysis, we will identify an explicit Lagrangian description of the EM-gauged theory, and will use it to obtain data about the spectrum of objects and (higher-)morphisms in the relevant categories \({\mathcal {Z}}({{\mathcal {C}}})\).
1.4 Organization and conventions
This paper is organized as follows. In the first half of the paper, we focus on the \((2+1)\)d SymTFT for \((1+1)\)d theories with \(TY({\mathbb {Z}}_N)\) symmetry. To prepare for this, we begin in Sect. 2 by reviewing the construction of duality defects in \((1+1)\)d via half-space gauging, as well as the derivation of their fusion rules. We pay special attention to the normalizations appearing in the fusion rules, which we feel have not been carefully treated in the literature yet. After reviewing the fusion rules of \(TY({\mathbb {Z}}_N)\), we then construct the SymTFT in two steps. We begin in Sect. 3 by constructing the SymTFT for a theory with non-anomalous \({\mathbb {Z}}_N^{(0)}\) symmetry. As discussed above, for theories with only group-like symmetries the SymTFT should be a DW theory, and in the current case we expect it to be \({\mathbb {Z}}_N\) gauge theory with trivial DW action. The spectrum of topological operators of this \({\mathbb {Z}}_N\) gauge theory, including the so-called “twist defects,” are studied in detail. Interestingly, the twist defects admit an interpretation as higher duality interfaces, generalizing the constructions of non-invertible defects/interfaces listed in the beginning of this introduction. To obtain the SymTFT for \(TY({\mathbb {Z}}_N)\), we next gauge the \({\mathbb {Z}}_2^{\textrm{EM}}\) symmetry of the bulk \({\mathbb {Z}}_N\) gauge theory. This is done in Sect. 4 in two different ways. In Sect. 4.1, the gauging is done at the level of the category by tracing the behavior of all of the simple objects of \({\mathbb {Z}}_N\) gauge theory under gauging of EM and carefully adding in the twisted sector objects. In Sect. 4.2, the gauging is done at the level of the Lagrangian by promoting cocycles to twisted cocycles.
The second half of the paper gives the analogous construction of the \((4+1)\)d SymTFT for \((3+1)\)d theories with duality defects. As before, we begin in Sect. 5 by reviewing the construction of duality defects in \((3+1)\)d via half-space gauging, as well as the derivation of their fusion rules. Once again, we pay special attention to the normalization appearing in these fusion rules. Having done so, we then construct the SymTFT for the duality defects in two steps. First in Sect. 6 we construct the SymTFT for \({\mathbb {Z}}_N^{(1)}\) one-form symmetry in \((3+1)\)d, which is again simply a \({\mathbb {Z}}_N^{(1)}\) gauge theory, and analyze its spectrum of topological operators as well as their fusions. Then in Sect. 7 we gauge the \({\mathbb {Z}}_4^{\textrm{EM}}\) EM duality of the \({\mathbb {Z}}_N^{(1)}\) gauge theory. This gauging is again done in two ways: in Sect. 7.1 it is done by tracing the behavior of the various objects and morphisms of the ungauged theory under gauging, while in Sect. 7.2 it is done by writing down an explicit Lagrangian in terms of twisted cocycles.
Finally, we close in Sect. 8 by describing one application of the SymTFT, namely to the question of intrinsic vs non-intrinsic non-invertibility discussed in the beginning of this introduction. For example, we will see that when N is not a perfect square, all duality defects in bosonic \((1+1)\)d theories are intrinsically non-invertible.
Various computations needed in the main text are relegated to appendices. In Appendix A we derive the commutation relations between k-dimensional operators in \((2k+1)\)d \({\mathbb {Z}}_N^{(k-1)}\) gauge theory, which are crucial for understanding the fusion rules of objects in the SymTFT. In Appendix B, we explain how to measure the EM-charge of junctions in \({\mathbb {Z}}_N\) gauge theory, which is crucial for obtaining the fusion rules of the EM-gauged theory. In Appendix C we provide details for the proof of gauge invariance of the \((2+1)\)d Lagrangian describing the EM-gauged theory, which is written in terms of twisted cocycles. In Appendix D, we review results from the math literature regarding the modular S and T matrices for the Drinfeld center of \(TY({\mathbb {Z}}_N)\). These results provide a useful check of the results obtained in the first half of this paper. In Appendix E we give details on the form of the EM duality defects in the \((4+1)\)d SymTFT before gauging, which depend crucially on whether N is odd, \(N=2\), or N is even with \(N>2\). Finally, in Appendix F we provide a physical argument for the assignment of quantum defect lines after gauging \({\mathbb {Z}}_4^{\text {EM}}\) to operators whose constituents are invariant under the \({\mathbb {Z}}_2^{\text {EM}}\) normal subgroup of \({\mathbb {Z}}_4^{\text {EM}}\).
We close this introduction by listing some conventions that will be used throughout the paper:
-
1.
1-form gauge fields are denoted as a or A (potentially with a hat or subscript) depending on whether they are dynamical or background fields. Likewise 2-form gauge fields are denoted by b or B depending on whether they are dynamical or background.
-
2.
Cup products are mostly suppressed, e.g. \(aA:= a\cup A\). We will explicitly write down the cup product only when it is necessary to distinguish it from the twisted cup product.
-
3.
We use \(X_{d}\) to denote the d-dimensional spacetime, and \(M_n\) to denote worldvolumes of n-dimensional topological defects/interfaces in spacetime.
-
4.
We denote the global fusion by \(\times \) and the global direct sum as \(+\). On the other hand, we denote the local fusion by \(\otimes \) and the local direct sum as \(\oplus \). We will also use the notation \({\mathcal {O}}_c \subset {\mathcal {O}}_a\otimes {\mathcal {O}}_b\) to indicate that there exists a junction between incoming topological defects \({\mathcal {O}}_a\) and \({\mathcal {O}}_b\) and an outgoing topological defect \({\mathcal {O}}_c\).
2 Duality Interfaces in \((1+1)\)d
Before analyzing the SymTFT for theories with duality defects, we begin with a detailed discussion of the duality defects themselves, together with their fusion rules. Special attention will be paid to normalizations, which are surprisingly subtle. We begin in \((1+1)d\) where things are somewhat simpler.
2.1 Duality interfaces from half-space gauging
Consider a non-spin QFT \({{\mathcal {X}}}\) in \((1+1)\)d with an anomaly free \({\mathbb {Z}}_N^{(0)}\) zero-form global symmetry, defined on a closed two-dimensional spacetime \(X_2\). We denote the \({\mathbb {Z}}_N^{(0)}\) background gauge field as A, and the partition function as \(Z_{{{\mathcal {X}}}}[X_2,A]\). Gauging \({\mathbb {Z}}_N^{(0)}\) gives a new theory \({{\mathcal {X}}}/{\mathbb {Z}}_N\),
where now \(A\in H^1(X_2, {\widehat{{\mathbb {Z}}}}_N)\) is the background field of the quantum symmetry \({\widehat{{\mathbb {Z}}}}_N^{(0)}\) after gauging. The defect that generates this quantum symmetry is the Wilson line of a,
Let us comment on the normalization factor in (2.1), which is introduced to subtract out gauge redundancies. It is straightforward to check that gauging \({\mathbb {Z}}^{(0)}_N\) twice maps the theory \({{\mathcal {X}}}\) back to itself, up to an additional Euler counterterm \(\chi [X_2,{\mathbb {Z}}_N]^{-1}\), with
The normalization of the partition function may be modified by multiplying by an arbitrary power of the Euler counterterm \(\chi [X_2,{\mathbb {Z}}_N]^{\kappa }\). The case of \(\kappa =\frac{1}{2}\) is of particular interest, since in this case the normalization in (2.1) becomes \(1/\sqrt{|H^1(X_2,{\mathbb {Z}}_N)|}\), and then gauging twice maps \({{\mathcal {X}}}\) back to itself exactly, without any counterterm,Footnote 4 We however will not include this factor, and will instead adopt the normalization in (2.1).
Instead of gauging \({\mathbb {Z}}_N^{(0)}\) over the entire \(X_2\), one can gauge in half of the spacetime with Dirichlet boundary conditions. This defines a topological duality interface \({{\mathcal {N}}}\) between \({{\mathcal {X}}}\) and \({{\mathcal {X}}}/{\mathbb {Z}}_N\) [21, 22].Footnote 5 Let us decompose the spacetime manifold \(X_2\) into left and right parts,
where \(\partial X_{2}^{\ge 0}= M_1\) is the interface. Locally around the interface, the topology of the manifold is \(M_1\times {\mathbb {R}}\), and we can use a local coordinate x to parameterize \({\mathbb {R}}\). The interface is located at \(x=0\), as shown in Fig. 3. The theory \({{\mathcal {X}}}\) lives on \(X_2^{<0}\), while the theory \({{\mathcal {X}}}/{\mathbb {Z}}_N\) lives on \(X_2^{\ge 0}\).
This is also shown in Fig. 4, where the theory on the right side \(X_2^{\ge 0}\) is defined to be
The Dirichlet boundary condition implies that the dynamical gauge field a is an element in relative cohomology \(H^1(X_2^{\ge 0}, M_1|_0, {\mathbb {Z}}_N)\). Here, we use \(M_1|_0\) to emphasize that \(M_1\) is located at \(x=0\).
The orientation reversal of the duality defect \({\overline{{{\mathcal {N}}}}}\) is defined by exchanging the theories on the two sides of Fig. 4. Concretely, \({{\mathcal {X}}}/{\mathbb {Z}}_N\) lives on the left and \({{\mathcal {X}}}\) lives on the right. By redefining the theory \({\widetilde{{{\mathcal {X}}}}}= {{\mathcal {X}}}/{\mathbb {Z}}_N\), the defect \({\overline{{{\mathcal {N}}}}}\) can be rewritten as having \({\widetilde{{{\mathcal {X}}}}}\) on the left and \({{\mathcal {X}}}= \chi \cdot {\widetilde{{{\mathcal {X}}}}}/{\mathbb {Z}}_N\) on the right. In other words,
Hence the duality interfaces in \((1+1)\)d are orientation-reversal invariant, up to an Euler counterterm. This is also a consequence of the fact that gauging twice maps the theory to itself (up to a counterterm).
In the special case that the theory \({{\mathcal {X}}}\) is self-dual under gauging, i.e. \({{\mathcal {X}}}={{\mathcal {X}}}/{\mathbb {Z}}_N\), the duality interface discussed above which connects two different theories becomes a duality defect within a single theory. In this section we will not assume the self-duality condition; it will be the main focus of Sect. 4.
2.2 Fusion rules of duality interfaces
We now proceed to a discussion of the fusion rules of the duality interface \({{\mathcal {N}}}\) defined in Sect. 2.1. In particular, we will find that \({{\mathcal {N}}}\) is non-invertible. We warn the reader that the following analysis is somewhat technical, and those interested only in the final answer may skip to (2.19).
We first discuss the fusion rule \(\eta \times {{\mathcal {N}}}\). Since a has Dirichlet boundary conditions on \(M_1\), \(a|_{M_1|_0}=0\), the \({\mathbb {Z}}^{(0)}_N\) symmetry defect \(\eta \) is trivial on \(M_1|_0\). This justifies the fusion rule
It is more interesting to study the fusion rule between two duality interfaces \({{\mathcal {N}}}\times {{\mathcal {N}}}\). Let us place the two duality defects at \(x=0\) and \(x= \epsilon \), and let \(\epsilon \rightarrow 0^+\). The two duality defects divide the spacetime \(X_2\) into three regions, \(X_2=X_2^{<0} \cup X_2^{[0,\epsilon )} \cup X_2^{\ge \epsilon }\). Since \(\epsilon \) is small, we may always take \(X_2^{[0,\epsilon )}= M_1\times I_{[0,\epsilon )}\). The theories living on the three regions are as shown in Fig. 5. Instead of defining \(Z_{{{\mathcal {X}}}/{\mathbb {Z}}_N}[X_2^{[0,\epsilon )}, A]\) and \(Z_{{{\mathcal {X}}}/{\mathbb {Z}}_N/{\mathbb {Z}}_N}[X_2^{\ge \epsilon }, A]\) separately and discussing how to glue them together along \(M_1|_{\epsilon }\), it suffices to discuss the theory on \(X_2^{\ge 0}\) all together. The theory living on \(X_2^{\ge 0}\) is given by
and we will now evaluate (2.8) in detail.
Since \(Z_{{{\mathcal {X}}}}\) in the summand does not depend on \({\widetilde{a}}\), we would first like to sum over \({\widetilde{a}}\), which intuitively should enforce \(a=A\) on \(X_{2}^{\ge \epsilon }\). To perform this summation rigorously, one must convert the sum over cohomologies into a sum over cochains (for reasons that will be explained below). Note that \(H^1= Z^1/B^1\), \(|B^1|=|C^0|/|Z^0|\), and \(|B^0|=1\)Footnote 6; these equations hold for both absolute and relative cohomologies. The sum \(\frac{1}{|H^0|}\sum _{a\in H^1}\) can thus be rewritten as \(\frac{1}{|H^0||B^0|} \sum _{a\in Z^1}= \frac{1}{|C^0|} \sum _{a\in Z^1}\). Equation (2.8) then becomes
The cocycle condition in the sum can further be relaxed by introducing additional dynamical scalars \(\phi \in C^0(X_2^{\ge 0}, {\mathbb {Z}}_N)\) and \({\widetilde{\phi }}\in C^0(X_2^{\ge \epsilon }, {\mathbb {Z}}_N)\) with BF couplings acting as Lagrange multiplier fields. The relative condition can likewise be eliminated by including the couplings \(\phi a\) and \({\widetilde{\phi }} {\widetilde{a}}\) on the subloci \(M_1|_0\) and \(M_1|_\epsilon \). Then all the variables in the sum are cochains,
Indeed, summing over \(\phi \) in the bulk \(X_2^{\ge 0}\) enforces a to be a cocycle due to the coupling \(\int _{X_2^{> 0}}\phi \delta a\), and summing over \(\phi \) on the boundary \(X_1|_0\) enforces \(a=0\), which makes the cocycle relative to \(M_1|_0\). The same comments apply to \({\widetilde{a}}\).
We are now ready to perform the sum over \({\widetilde{a}}\). By rewriting the final factor of the summand as
we see that summing over \({\widetilde{a}}\) produces a factor of \(|C^1(X_2^{\ge \epsilon }, {\mathbb {Z}}_N)|\) and enforces that \(a - A - \delta {{\widetilde{\phi }}} = 0\) on \(X_2^{\ge \epsilon }\),
Next we integrate out \(\phi \), which produces a factor of \(| C^0(X_2^{\ge 0},{\mathbb {Z}}_N)|\) and enforces \(a \in Z^1(X_2^{\ge 0}, M_1|_0, {\mathbb {Z}}_N)\),
The summand is now manifestly independent of \({{\widetilde{\phi }}}\), so we may set \({{\widetilde{\phi }}}\) to zero in the delta function and replace the sum with a factor of \(|C^0(X_2^{\ge \epsilon },{\mathbb {Z}}_N)|\). The remaining delta function then fixes \(a = A\) in \(X_2^{\ge \epsilon }\), which makes a an element of \(a \in Z^1(X_2^{[0,\epsilon ]}, M_1|_0 \cup M_1|_\epsilon , {\mathbb {Z}}_N)\),
where \(A|_{M_2^{\epsilon }}\) is equal to A if we’re on \(M_2^{\ge \epsilon }\), and vanishes elsewhere. It is useful reorganize the normalization by factorizing out the Euler counter term,
The second factor above is the inverse of the Euler counterterm \(\chi [M_2^{\ge \epsilon }, {\mathbb {Z}}_N]^{-1}\) on \(X_2^{\ge \epsilon }\), which can be seen by direct evaluation
and by further noting that \(Z^2(X_2^{\ge \epsilon },{\mathbb {Z}}_N)= C^2(X_2^{\ge \epsilon },{\mathbb {Z}}_N)\) since all top forms are closed. Moreover, the first factor in (2.15) can be simplified by using \(|C^2(X_2^{\ge \epsilon },{\mathbb {Z}}_N)|= |C^0(X_2^{\ge \epsilon }, M_1|_\epsilon ,{\mathbb {Z}}_N)|\) since the elements in \(C^0(X_2^{\ge \epsilon }, M_1|_\epsilon ,{\mathbb {Z}}_N)\) and the elements in \(C^2(X_2^{\ge \epsilon },{\mathbb {Z}}_N)\) are Fourier partners. We finally use the fact that
which is simply a decomposition of cochains on \(X_2^{\ge 0}\) into the sum of cochains on \(X_2^{[0,\epsilon ]}\) with fixed boundary condition at \(M_1|_{\epsilon }\) and cochains on \(X_2^{\ge \epsilon }\) with free boundary conditions. Note crucially that such decomposition can not be achieved at the level of cocycles or cohomologies, because the flatness condition is violated at \(M_1|_{\epsilon }\). The ability to use this decomposition is the main reason for our reformulation of the sum over cohomologies in (2.8) as a sum over cochains.
Using (2.17), we may now simplify the first term in (2.15) to \(1/|C^0( X_2^{[0,\epsilon ]}, M_1|_0 \cup M_1|_\epsilon , {\mathbb {Z}}_N)|\). Substituting the simplified normalization in (2.15) into (2.14), we get
This formula admits a simple physical interpretation. First, in the region \(M_2^{\ge \epsilon }\) we have two overlapping gaugings, which “annihilate” to produce a factor of \(\chi [M_2^{\ge \epsilon }, {\mathbb {Z}}_N]^{-1}\). This is a consequence of the fact, mentioned before, that gauging twice takes the theory \({{\mathcal {X}}}\) back to itself up to an Euler counterterm.Footnote 7 As for the rest of (2.18), we notice that after the two gaugings “annihilate” to give the Euler counterterm, we are left with a gauging in the strip \(X_2^{[0,\epsilon ]}\), with Dirichlet boundary conditions on both boundaries \(M_1|_{0} \cup M_1|_{\epsilon }\). This gives the remaining portions of the formula.
By taking the limit \(\epsilon \rightarrow 0\), it now follows that the \({{\mathcal {N}}}\times {{\mathcal {N}}}\) fusion rule is
where LD stands for the Lefschetz dual, and we have used \(|H^0( X_2^{[0,\epsilon ]}, M_1|_0 \cup M_1|_\epsilon , {\mathbb {Z}}_N)|= 1\). Using (2.6), we likewise find
This fusion rule more straightforwardly corresponds to gauging in a slab, and indeed this “gauging in a slab” is precisely how the fusion rule of duality defects was originally derived in [21, 22]. The method used here was more roundabout, but gives important insight into the correct way to keep track of normalization factors.
In summary, the fusion rules for duality interfaces in \((1+1)\)d are as follows,
These are, not coincidentally, the fusion rules of the \({\mathbb {Z}}_N\) Tambara-Yamagami fusion categories.
3 \((2+1)\)d Symmetry TFT for \({\mathbb {Z}}_N^{(0)}\) Symmetry
In Sect. 2, we defined the duality interface \({{\mathcal {N}}}\) and studied its fusion rules. In this section, we study the properties of the duality interface from the SymTFT point of view. In particular, we find that the duality interface in a \((1+1)\)d QFT can be realized as a twist defect in a \((2+1)\)d \({\mathbb {Z}}_N\) TQFT, from which the fusion rules (2.21) can be reproduced. We also study the F-symbols of the duality interfaces using the SymTFT. Throughout this section, we will only assume that the \((1+1)\)d QFT has a \({\mathbb {Z}}_N^{(0)}\) zero-form global symmetry; in particular, we do not assume invariance under gauging \({\mathbb {Z}}_N^{(0)}\).
3.1 \({\mathbb {Z}}_N\) gauge theory as the symmetry TFT
Suppose \({{\mathcal {X}}}\) is a \((1+1)\)d QFT with an anomaly-free \({\mathbb {Z}}_N^{(0)}\) global symmetry, whose partition function is \(Z_{{{\mathcal {X}}}}[X_2,A]\). As discussed in the introduction, we can expand the theory into a \((2+1)\)d slab, as shown in Fig. 6. The SymTFT living in the bulk of the slab is a \((2+1)\)d \({\mathbb {Z}}_N\) gauge theory, whose action is
Both a and \({\widehat{a}}\) are dynamical \({\mathbb {Z}}_N^{(0)}\)-valued 1-cochains. We will take the bulk to be a product \(X_3= X_2\times I_{[0,\varepsilon ]}\), and will use the coordinate x to parameterize the interval \(I_{[0,\varepsilon ]}\). The two boundaries are \(X_2|_{\varepsilon }\) and \(X_2|_0\).
The boundary conditions on the left (\(x=0\)) and right (\(x=\varepsilon \)) boundaries of the slab are specified by appropriate boundary states. On the right boundary, the state is
It corresponds to a non-topological enriched Neumann boundary condition that encodes all of the dynamical information of the \((1+1)\)d QFT \({{\mathcal {X}}}\). On the left boundary, the state is
which corresponds to a topological Dirichlet boundary condition. Note that the background field dependence only enters in the left, topological boundary. By shrinking the slab, i.e. taking \(\varepsilon \rightarrow 0\), the partition function of the \((1+1)\)d theory is reproduced by the inner product of the two boundary states,
where we have used \({\langle {a'|a}\rangle }=\delta (a'-a)\).
Gauging the \({\mathbb {Z}}_N^{(0)}\) symmetry of \({{\mathcal {X}}}\) in \((1+1)\)d corresponds to changing the topological boundary condition on the left from Dirichlet to Neumann. To see this, we define the Neumann boundary condition as
and check explicitly that
More generally, when the \({\mathbb {Z}}_N^{(0)}\) symmetry has a nontrivial ’t Hooft anomaly, the SymTFT will be a \({\mathbb {Z}}_N\) gauge theory with a non-trivial twist, i.e. a Dijkgraaf Witten theory. In this case, one cannot gauge \({\mathbb {Z}}_N^{(0)}\) in \((1+1)\)d because of the anomaly. Correspondingly, there is no Neumann topological boundary condition.
3.2 Lines and surfaces in \({\mathbb {Z}}_N\) gauge theory
We now consider the line and surface operators in \({\mathbb {Z}}_N\) gauge theory, focusing for the moment on the ones without topological boundaries. The operators with boundaries will be discussed in subsequent subsections.
3.2.1 Line operators
The \({\mathbb {Z}}_N\) gauge theory (3.1) has \(N^2\) genuine topological line operators,
where \(L_{(1,0)}\) and \(L_{(0,1)}\) together generate a \({\mathbb {Z}}_N^{(1)}\times {\mathbb {Z}}_N^{(1)}\) 1-form symmetry, or in other words \({{\mathcal {Z}}}(\text {Vec}_{{\mathbb {Z}}_N})\). They satisfy the following fusion and braiding rules:
-
1.
Fusion rule: The lines \(L_{(e,m)}(\gamma )\) are invertible, and have straightforward fusion rules
$$\begin{aligned} L_{(e,m)}(\gamma ) \times L_{(e',m')}(\gamma ) = L_{(e+e',m+m')}(\gamma )~. \end{aligned}$$(3.8) -
2.
Commutation relation: As derived in Appendix A, the correlation function between \(L_{(e,m)}\) on a closed, contractible loop \(\gamma \) and \(L_{(e',m')}\) on another closed, contractible loop \(\gamma '\) is
$$\begin{aligned} \langle L_{(e,m)}(\gamma ) L_{(e',m')}(\gamma ')\dots \rangle = \exp \left( -\frac{2\pi i}{N}(em'+ me')\text {link}(\gamma ,\gamma ')\right) {\langle {\dots }\rangle }~, \end{aligned}$$(3.9)where \(\text {link}(\gamma ,\gamma ')\) is the Hopf linking number between \(\gamma \) and \(\gamma '\). The phase on the right-hand side gives the braiding phase between the two anyons whose worldlines are \(L_{(e,m)}\) and \(L_{(e',m')}\). Here, \(\gamma \) and \(\gamma '\) are contractible loops that do not intersect each other and we also assume that the operators represented by “\(\dots \)” in (3.9) do not link with \(\gamma \) and \(\gamma '\). Equation (3.9) can be equivalently rewritten as an equal time commutation relation by pushing \(\gamma \) and \(\gamma '\) to a 2d plane [71],
$$\begin{aligned} L_{(e,m)}(\gamma ) L_{(e',m')}(\gamma ') = \exp \left( -{2 \pi i \over N} (e m' + m e') \langle \gamma , \gamma '\rangle \right) L_{(e',m')}(\gamma ') L_{(e,m)}(\gamma ),\nonumber \\ \end{aligned}$$(3.10)where \(\langle \gamma , \gamma '\rangle \) represents the intersection number between \(\gamma \) and \(\gamma '\). Equation (3.10) makes sense even when \(\gamma \) and \(\gamma '\) are line intervals. Note that the order of lines in the correlation function matters: the operators are “time-ordered.” The correlation function \(L_{(e,m)}(\gamma ) L_{(e',m')}(\gamma ')\) on the left hand side of (3.10) means that the line segment \(\gamma '\) is at time t, while the line segment \(\gamma \) is at time \(t+\epsilon \) with \(\epsilon \) an infinitesimal positive real number. Hence \(L_{(e,m)}\) crosses \(L_{(e',m')}\) from above. Likewise, the correlation function \(L_{(e',m')}(\gamma ') L_{(e,m)}(\gamma ) \) on the right-hand side of (3.10) means that the line \(L_{(e,m)}\) crosses \(L_{(e',m')}\) from below. See Fig. 7 for a pictorial explanation.
-
3.
Quantum torus algebra: The correlation function (3.10) implies a quantum torus algebra on the plane. To see this, consider two lines of the same type but supported on two seperate segments, \(L_{(e,m)}(\gamma )\) and \(L_{(e,m)}(\gamma ')\). From the definition in (3.7), it is obvious that \(L_{(1,0)}(\gamma +\gamma ')= L_{(1,0)}(\gamma )L_{(1,0)}(\gamma ')\) and similarly for \(L_{(0,1)}\). However, this is not true for general \(L_{(e,m)}\) due to the non-commutativity (3.10). By using the definition (3.7) to expand \(L_{(e,m)}= \left( L_{(1,0)}\right) ^e \left( L_{(0,1)}\right) ^m\), and applying the commutation relations mentioned above, the quantum torus algebra is
$$\begin{aligned} L_{(e,m)}(\gamma ) L_{(e,m)}(\gamma ') = \exp \left( -\frac{2\pi i}{N} em {\langle {\gamma ,\gamma '}\rangle }\right) L_{(e,m)}(\gamma +\gamma ')~. \end{aligned}$$(3.11)This will be useful below when discussing the symmetry defect of the \({\mathbb {Z}}_2^{\text {EM}}\) electro-magnetic exchange symmetry.
3.2.2 \({\mathbb {Z}}_2^{\text {EM}}\) symmetry and condensation defects
The \({\mathbb {Z}}_N\) gauge theory (3.1) has an electromagnetic exchange symmetry \({\mathbb {Z}}_2^{\text {EM}}\) which interchanges the two gauge fields
Indeed, this manifestly leaves the action (3.1) (on a closed manifold) invariant. This symmetry is a zero-form symmetry, and there is a corresponding codimension-one surface defect \(D_{\textrm{EM}}\) in the bulk implementing the symmetry transformation. It was proven in [72] and rediscovered in [27] that the symmetry defect of any zero-form symmetry in \((2+1)\)d TQFT with a single vacuum can be realized as a condensation defect, including the defect generating \({\mathbb {Z}}_2^{\text {EM}}\). In particular, it was pointed out in [27] that the defect for \({\mathbb {Z}}_2^{\text {EM}}\) in a \({\mathbb {Z}}_N\) gauge theory can be realized by condensing \(L_{(1,N-1)}\) on a surface. Below, we provide further motivation for why \(D_{\textrm{EM}}\) should be a condensation defect, and then provide a rigorous definition. We then perform some consistency checks.
We first motivate the condensation construction of the \({\mathbb {Z}}_2^{\text {EM}}\) symmetry defect \(D_{\text {EM}}\). Note that in a \((2+1)\)d TQFT with a single vacuum, there are no non-trivial local operators. This means that \(D_\text {EM}\) acts only on line operators via the piercing action depicted in Fig. 8, resulting from (3.12). Furthermore, it means that \(D_\text {EM}\) admits topological boundary conditions that can be used to punch a hole in the defect (see Fig. 9), since there are no local operators which could detect such a hole in the first place (see [72, Theorem 6.7] for the case of \(2+1\) dimensions, and [73, Theorem 4] for TQFTs in more general dimensions). When a line \(L_{(e,m)}\) enters \(D_{\text {EM}}\) perpendicularly from the left, the line \(L_{(m,e)}\) should leave \(D_{\text {EM}}\) perpendicularly from the right. We may then consider a configuration in which the line \(L_{(m,e)}\) is folded back through a hole to the left side of \(D_{\text {EM}}\), as shown in Fig. 10. By reversing the orientation of the folded line, which flips the sign of both electric and magnetic charges, we arrive at a configuration where a line \(L_{(e-m,m-e)}=L_{(1,-1)}^{\otimes (e-m)}\) enters from the left and is absorbed into the surface defect. In other words, \(D_{\text {EM}}\) can absorb \(L_{(1,-1)}\). This implies that \(D_{\text {EM}}\) should be a condensate of \(L_{(1,-1)}\).
With the above motivation, we now give a precise definition of the \({\mathbb {Z}}_2^{\text {EM}}\) condensation defect supported on a surface \(M_2\), following [27],
Note that condensing \(L_{(1,-1)}\) on \(M_2\) amounts to gauging the \({\mathbb {Z}}_N^{(1)}\) one-form symmetry only on the surface \(M_2\), which amounts to gauging a \({\mathbb {Z}}_N^{(0)}\) zero-form symmetry from the point of view of the surface. The normalization in (3.13) comes precisely from the gauge redundancy of gauging the \({\mathbb {Z}}_N^{(0)}\) zero-form symmetry on \(M_2\). However, as noted in Sect. 2.1, such a gauging is always subjected to an Euler counterterm ambiguity. For example, the convention adopted in [27] is to further multiply (3.13) by \(\chi [M_2, {\mathbb {Z}}_N]^{1/2}\) such that \(D_{\text {EM}}^2=1\). It turns out that the standard convention as in (3.13) is more convenient when discussing operators with boundaries, so we work with that convention.
With this definition, we may verify that the fusion of \(L_{(e,m)}\) with \(D_{\textrm{EM}}\) from the left is equivalent to fusion of \(L_{(m,e)}\) with \(D_{\textrm{EM}}\) from the right, as desired. To see this, we consider \(L_{(e,m)}(M_1)\) and \(D_{\textrm{EM}}(M_2)\), where \(M_1\) is located to the left of \(M_2\) and parallel to it. We begin by noting that
where we have used (3.10). We may then use the fusion rules (3.8) to split \(L_{(e,m)}(M_1) = L_{(e-m,m-e)}(M_1) \times L_{(m,e)}(M_1) = L_{(1,N-1)}(M_1)^{ (e-m)} \times L_{(m,e)}(M_1)\).
Using the quantum torus algebra (3.11), we obtain
giving the desired result.
We may also verify the invertibility of \(D_{\text {EM}}\) by computing \(D_{\textrm{EM}}(M_2)\times D_{\textrm{EM}}(M_2)\),
where we used the quantum torus algebra (3.11) in the second equality. The result is an Euler counterterm, which confirms that \(D_{\text {EM}}\) is an invertible condensation defect.
As discussed in [27], there are actually more condensation defects in \({\mathbb {Z}}_N\) gauge theory than just \(D_{\textrm{EM}}\). These are obtained by condensing different line operators with or without discrete torsion. Most of these condensation defects are non-invertible. In the present work, we will only study the particular invertible condensation defect \(D_{\text {EM}}\) implementing the \({\mathbb {Z}}_2^{\text {EM}}\) symmetry.
3.3 Twist defects as higher duality interfaces
So far we have only discussed topological defects without boundaries. We now consider those with boundaries. By gauge invariance, the simple line operator \(L_{(e,m)}\) cannot be given a boundary (unless it ends at a non-trivial junction involving other lines, as discussed below). On the other hand, there is a topological boundary condition for the condensation operator \(D_{\text {EM}}\), which can be used construct a new topological defect while maintaining gauge invariance. This is known as a twist defect [66, 67]. As we will see below, such twist defects can be interpreted as higher duality interfaces.
3.3.1 Twist defects
A twist defect can be defined by condensing \(L_{(1,-1)}\) on a surface \(M_2\) with a nontrivial boundary \(M_1=\partial M_2\) and imposing Dirichlet boundary conditions on \(M_1\). We denote this “minimal” twist defect by \(\Sigma _{(0)}\). Concretely,
where \(M_2\) has a boundary. Equation (3.17) is almost identical to the definition of the condensation defect (3.13), with the only difference being that absolute cohomology \(H^n(M_2,{\mathbb {Z}}_N)\) is replaced by relative cohomology \(H^n(M_2,M_1,{\mathbb {Z}}_N)\) due to the Dirichlet boundary conditions.Footnote 8 Moreover, thanks to the Dirichlet boundary conditions, the twist defect is topological. The twist defect \(\Sigma _{(0)}(M_1,M_2)\) can be understood as a non-genuine topological line operator on \(M_1\) with a condensation surface on \(M_2\) attached it.
Whereas fusing \(L_{(1,-1)}\) with \(D_{\textrm{EM}}\) gives a new quantum operator (i.e. a line supported on a surface), because of the Dirichlet boundary conditions the non-genuine line operator \(\Sigma ^{(0)}\) can absorb \(L_{(1,-1)}\), and more generally any line of the form \(L_{(n,-n)}\). On the other hand, it cannot absorb lines \(L_{(e,m)}\) for \(e + m \ne 0 \,\,\, \textrm{mod}\,\, N\). We may thus obtain new twist operators by beginning with \(\Sigma _{(0)}\) and fusing with such \(L_{(e,m)}\). Due to the Dirichlet boundary conditions, the resulting operator does not depend on e and m individually, but only on the combination \(e+m\mod N\), and hence we have N distinct twist defects, labeled by \(e+m=0,1,...,N-1\), each being writable in N equivalent ways. Picking one representative, we can define
It is useful to note that \(\Sigma _{(0)}\) is \({\mathbb {Z}}_2^{\text {EM}}\) invariant. As a consequence, \(\Sigma _{(e)}\) is also \({\mathbb {Z}}_2^{\text {EM}}\) invariant, since
3.3.2 Higher duality interfaces
Before discussing the fusion of twist defects, let us compare their construction with that of duality interfaces [21, 22], which was reviewed in Sect. 2. Duality interfaces are constructed by gauging a global symmetry in half of the entire spacetime and imposing Dirichlet boundary conditions for the gauge fields. Likewise, the twist defect is defined by gauging a global symmetry (a one-form symmetry in the present context) along half of a codimension-q spacetime submanifold (\(q=1\) in the present context), with Dirichlet boundary conditions on the codimension-\((q+1)\) boundary. Hence the twist defects can naturally be interpreted as higher duality interfaces—duality interfaces associated with higher gauging.
In Sect. 4, we will gauge the \({\mathbb {Z}}_2^{\text {EM}}\) symmetry of the \((2+1)\)d gauge theory. After gauging, the condensation defect (3.13) becomes transparent, and the twist defects become genuine line operators on \(M_1\). Accordingly, the higher duality interface becomes a higher duality defect since both sides of \(M_1\) in \(M_2\) support trivial operators after gauging.
3.3.3 Fusion rules of the twist defects
We now proceed to study the fusion rules of the twist defects. Interestingly, although the condensation defect \(D_{\text {EM}}\) on a closed surface is invertible, the twist defect obeys non-invertible fusion rules.
The fusion between \(\Sigma _{(e)}\) and the invertible defects \(L_{(e',m')}\) follows directly from the definition (3.18),
More nontrivial are the fusion rules between the twist defects themselves \(\Sigma _{(e)}\times \Sigma _{(e')}\). It is simplest to first understand the fusion rule for \(\Sigma _{(0)}\times \Sigma _{(0)}\), and then to fuse the outcome with an appropriate invertible line \(L_{(e+e',0)}\). The fusion rule \(\Sigma _{(0)}\times \Sigma _{(0)}\) can be obtained by similar calculations as in Sect. 2. Near the boundary of \(M_2\), the manifold is locally \(M_1\times {\mathbb {R}}_{+}\). As before, we parameterize \({\mathbb {R}}_+\) by x and label the manifolds as \(M_2^{\ge 0}\) and \(M_1|_0\) in the bulk and on the boundary, respectively. We take the two twist defects to be \(\Sigma _{(0)}(M_1|_0, M_2^{\ge 0})\) and \(\Sigma _{(0)}(M_1|_\epsilon , M_2^{\ge \epsilon })\). They overlap on the same two-dimensional manifold \(M_2^{\ge \epsilon }\). Fusing two operators amounts to taking \(\epsilon \rightarrow 0\), as seen in the left panel of Fig. 11.
To proceed, we directly compute the fusion rule
Evaluating this sum is analogous to evaluating (2.8). The idea is to first rewrite the sum over lines \(\gamma , \gamma '\) in absolute homology as a sum over the Lefschetz duals \(a_{\gamma }, a_{\gamma '}\) in relative cohomology. Then we further convert the sums over relative cohomology into sums over cochains by introducing additional fields \(\phi , \phi '\) and appropriate BF terms. Integrating out \(a_{\gamma '}\) on \(M_2^{\ge \epsilon }\), the right-hand side of (3.21) becomes
which is of precisely the same form as (2.19). The first factor is the Euler counterterm and can be removed by appropriate field redefinition. The remaining factors have the physical interpretation of condensing \(L_{(1,-1)}\) only on \(M_2^{[0,\epsilon ]}\), with Dirichlet boundary conditions on both \(M_1|_0\cup M_1|_{\epsilon }\). Interpreting this in terms of higher gauging, it is the 1-gauging of the one-form symmetry generated by \(L_{(1,-1)}\) on the slab \(M_2^{[0,\epsilon ]}\). Taking the limit \(\epsilon \rightarrow 0\), we find the fusion rule
where we have used \(|H^0(M_2^{[0,\epsilon ]}, M_1|_0 \cup M_1|_\epsilon , {\mathbb {Z}}_N)|=1\). One can likewise define the orientation reversal of \(\Sigma _{(e)}\) by switching the two sides of \(M_1|_0\). As in (2.6), we have
Thus (3.23) becomes
The right hand side can be interpreted as 2-gauging of the one-form symmetry generated by \(L_{(1,-1)}\) on a codimension two manifold \(M_1\). When \(M_1= S^1\), the right-hand side is simply the sum over \(L_{(e,-e)}\) for all \(e\in {\mathbb {Z}}_N\).
Given (3.23), we obtain the \(\Sigma _{(e)}\times \Sigma _{(e')}\) fusion rule by further fusing with \(L_{(e,0)}(M_1)\) and \(L_{(e',0)}(M_1)\),
In the special case of \(N=2\), these fusion rules were discussed in [67] from a lattice Hamiltonian perspective. It immediately follows from (3.26) that the twist defect \(\Sigma _{(e)}\) is non-invertible, and has quantum dimension \(\sqrt{N}\).
3.4 Symmetry defects/interfaces in \((1+1)\)d from topological defects in \((2+1)\)d
Having discussed the closed and open topological defects in \({\mathbb {Z}}_N\) gauge theory, we now insert these operators into the \((2+1)\)d slab in Fig. 6 and examine their behavior upon shrinking the slab. Schematically, we find the following correspondences
These correspondences have also been discussed in e.g. [51, 54, 55, 61].
3.4.1 \({\mathbb {Z}}_N\) symmetry defects and order parameters from the bulk line operators
We first insert a line operator into the \((2+1)\)d slab. One can either place the line operator parallel to the topological boundary \(X_2|_{0}\), or orthogonal to the boundary. Because of the Dirichlet boundary condition of a, i.e. \(a|_{X_2|_{0}}=0\), the electric line \(L_{(1,0)}\) can either end on the boundary perpendicularly, or be completely absorbed into the boundary (in the sense that it becomes a trivial operator) if it is parallel to it. Thus the only way that it can survive upon shrinking the slab is to place it orthogonal to the boundary, with one end anchored on the Dirichlet boundary on the left, and the other end anchored on the non-topological boundary on the right. As a consequence of ending on the non-topological boundary, one generically obtains a non-topological point-like operator \({{\mathcal {O}}}\) upon shrinking the slab. This point operator will be charged under the \({\mathbb {Z}}^{(0)}_N\) symmetry of the \((1+1)\)d theory, and hence serves as the non-topological \({\mathbb {Z}}^{(0)}_N\) order parameter.
On the other hand, the magnetic line \(L_{(0,1)}\) can neither be absorbed into the Dirichlet boundary nor terminate on it. Hence it survives as a line defect upon shrinking the slab. This is the topological line \(\eta \) generating the \({\mathbb {Z}}_N^{(0)}\) symmetry of the \((1+1)\)d QFT \({{\mathcal {X}}}\). Indeed, because \(L_{(0,1)}\) and \(L_{(1,0)}\) have a nontrivial correlation function when linked, it follows that the correlation function between \(\eta \) and \({{\mathcal {O}}}\) is also nontrivial when \(\eta \) links with the \({{\mathcal {O}}}\). This link measures the \({\mathbb {Z}}^{(0)}_N\) charge of the order parameter \({{\mathcal {O}}}\).
3.4.2 Duality interfaces from the twist defects
We next insert the condensation defect \(D_{\text {EM}}(M_2)\) into the slab. When the condensation defect \(D_{\text {EM}}(M_2)\) collides with the Dirichlet boundary condition \({\langle {D(A)}|}\) on \(X_2\), it produces the Neumann boundary condition \({\langle {N(A)}|}\); see Fig. 12. One can see this explicitly as follows,
where we have used the fact that the EM dual bases are related by a discrete Fourier transform, i.e.
We may now consider inserting a twist defect \(\Sigma _{(e)}(M_1, M_2)\) into the slab. We place it parallel to the Dirichlet boundary, as shown in Fig. 13.Footnote 9 For convenience, we use y to parameterize the horizontal direction in the slab, and x to parameterize the vertical direction near the boundary of the twist defect, with the boundary \(M_1\) located at \(x=0\). By colliding the twist defect with the left boundary of the slab, the lower half of the Dirichlet boundary conditions (i.e. in \(X_2^{\ge 0}\)) is transformed to Neumann boundary conditions. Thus upon shrinking the slab, from Sect. 3.1 the \((1+1)\)d QFT on \(X_2^{\ge 0}\) becomes \({{\mathcal {X}}}/{\mathbb {Z}}_N\), as shown in the left panel of Fig. 13. This implies that the twist defect \(\Sigma _{(e)}\), when collided with the Dirichlet boundary, becomes a duality interface \({{\mathcal {N}}}\).
Because there are N twist defects in \((2+1)\)d, one may initially expect N different duality interfaces in \((1+1)\)d. However, all N types of twist defects actually reduce to a single type of duality interface upon colliding with the Dirichlet boundary condition. To see this, note that the generic twist defect \(\Sigma _{(e)}\) is related to the minimal twist defect \(\Sigma _{(0)}\) by fusing an electric line \(L_{(e,0)}\) on its boundary. Such electric line can be absorbed by the Dirichlet boundary condition of the SymTFT. As a consequence, when \(\Sigma _{(e)}\) is brought to the Dirichlet boundary, it reduces to \(\Sigma _{(0)}\). We thus have
Furthermore, the fusion rules of the twist defects given in (3.20) and (3.26) descend to the fusion rules of the duality interfaces. Upon colliding with the Dirichlet boundary, \(\Sigma _{(e)}\) and \(L_{(e',m')}\) reduce to \({{\mathcal {N}}}\) and \(\eta ^{m'}\) respectively, and (3.20) thus simplifies to
which reproduces (2.7). Moreover, (3.26) simplifies to
which reproduces (2.19).
3.5 F-symbols of twist defects and duality interfaces
We close this section by discussing the F-symbols for lines, both genuine and non-genuine, of the \({\mathbb {Z}}_N\) gauge theory, as well as the F-symbols of the duality interfaces. Additional details on the techniques used here are given in Appendix B.
3.5.1 F-symbols of twist defects
In the current context, it is possible to work in a basis of the junction vector space such that the F-symbols for the genuine lines \(L_{(e,m)}\) are trivial, and the half-braiding is as shown in Fig. 14. Note in particular that this half-braiding correctly reproduces the full braiding given in Fig. 7. Our goal is to now incorporate twist defects.
Before considering the F-symbols involving twist defects, we must first discuss the relevant trivalent junctions. From the fusion rules in (3.26), it is clear that each junction should involve two twist defects \(\Sigma _{(e)}\) and \(\Sigma _{(e')}\), together with one genuine line \(L_{(e+e'+n,-n)}\) for arbitrary n. A crucial fact is that these junctions actually depend on the angle \(\theta \) between \(L_{(e+e'+n,-n)}\) and the surface \(D_{\textrm{EM}}\) on which \(\Sigma _{(e)}\) and \(\Sigma _{(e')}\) are anchored, the signature of framing dependence. We will consider two angles for our current analysis, namely \(\theta = 0^+\) and \(\pi \). The junction with \(\theta = \pi \) will be labelled with a triangle, while the junction with \(\theta = 0^+\) will be denoted by a square. The notation \(\theta =0^+\) is to emphasize that the \(D_{\text {EM}}\) surface is behind the line anchored on the square junction. Both of these configurations are illustrated in Fig. 15. They will be studied in more detail in Appendix B.
Another important fact is that the junctions should not depend on where along \(\Sigma _{(e)}\) the line \(L_{(e+e'+n,-n)}\) is anchored. To phrase this more concretely, we begin by defining the algebra object \({{\mathcal {A}}}= \bigoplus _{n=0}^{N-1} L_{(n,-n)}\). The condensation defect \(D_{\textrm{EM}}\) can be resolved into a mesh of such algebra objects [3, 74, 75], and in terms of this mesh the invariance under change in the anchor point is equivalent to Fig. 16. The \(\mu _L\) and \(\mu _L^\vee \) appearing in Fig. 16 are certain junction vectors, defined in Appendix B, which will not be important to us here. What is important for us is that, given a solution to the consistency condition for the triangle junction, a solution for the square junction can be obtained by defining the junction as in Fig. 17. This is discussed in more detail in Appendix B. We will take this as the definition of the square junction from now on.
We now return to the F-symbols. We begin with the case of two external genuine lines and two external twist defect. From the form of the fusion rules in (3.26), it is clear that the internal line is necessarily non-genuine, i.e. it is a twist defect. We may now calculate the F-symbols using the tools developed above. The computation is shown in Fig. 18. Summarizing it in words, one begins by using the definition of the square junction in terms of the triangle junction, and then decomposes the boundary of \(\Sigma _{(e)}\) into \({{\mathcal {A}}}\otimes L_{(e,0)} = \bigoplus _{n=0}^{N-1} L_{(e+n,-n)}\). The factor of \({{\mathcal {A}}}\) is included here so that the mesh of \({{\mathcal {A}}}\) making up \(D_{\textrm{EM}}\) can end on \(\Sigma _{(e)}\) from the left. One then uses the half-braiding and fusion rules of the genuine lines, given in Fig. 14, to obtain the right-hand side of the second line of Fig. 18. One finally does a half-braiding and reassembles \(\Sigma _{(e)}\) to get the end result.
We next consider the F-symbols involving four external twist defects. Note that because of the fusion rules (3.26), the internal line is guaranteed to be genuine. Let us take the three incoming twist defects to be \(\Sigma _{(e_1)},\Sigma _{(e_2)},\) and \(\Sigma _{(e_3)}\), and place the mesh of \({{\mathcal {A}}}\) as shown in Fig. 19. The coefficient relating the configuration with internal line \(L_{(e,m)}\) to that with internal line \(L_{({{\widetilde{e}}}, {{\widetilde{m}}})}\) is then given in Fig. 19, and derived in Fig. 20. The various charges appearing here satisfy \(e_1+e_2=e+m\), \(e_2+e_3={\widetilde{e}}+{\widetilde{m}}\). For simplicity we neglect real number normalization factors, and focus only on the phases. In the special case of \(N=2\), the F-symbols in Figs. 18 and 19 are consistent with those found in [67].
3.5.2 F-symbols of duality interfaces
We finally obtain the F-symbols of duality interfaces in \((1+1)\)d. As explained in Sect. 3.4, upon shrinking the slab the twist defects of \({\mathbb {Z}}_N\) gauge theory become the duality interface of a \((1+1)\)d QFT. As a consequence, the F-symbols of the duality interface naturally follow from those of the twist defects.
We first consider the F-symbols of duality interfaces descending from Fig. 18. Upon shrinking, \(\Sigma _{(e)}\) reduces to \({{\mathcal {N}}}\). Moreover, note that \(L_{(e_2,m_2)}\) collides with the Dirichlet boundary condition upon shrinking, and hence only its magnetic components survive the \({\mathbb {Z}}_N\) symmetry generators, i.e. \(L_{(e_2,m_2)}\) reduces to \(\eta ^{m_2}\). On the other hand, \(L_{(e_1, m_1)}\) is on top of \(D_{\text {EM}}\), and hence upon shrinking it collides with the Neumann boundary condition and its electric component survives, i.e. \(L_{(e_1, m_1)}\) reduces to \({\widehat{\eta }}^{e_1}\), where \(\widehat{\eta }\) is the generator of the quantum \({\mathbb {Z}}_N\) symmetry. Hence the F-symbol involving one duality interface and two \({\mathbb {Z}}_N\) symmetry generators distributed on its two sides is as shown in Fig. 21. Note that the duality interface is unoriented, i.e. \({{\mathcal {N}}}={\overline{{{\mathcal {N}}}}}\) (up to an Euler counterterm, c.f. (2.6)), and hence we do not place an arrow on it. In the next section we will gauge \({\mathbb {Z}}_2^{\textrm{EM}}\) to obtain the SymTFT for the \(TY({\mathbb {Z}}_N)\) category, for which the phase appearing in Fig. 21 implies a nontrivial bi-character.
We next consider the F-symbols involving three duality interfaces, which follows from Fig. 19. The result is shown in Fig. 22. Note that e and \({\widetilde{m}}\) can be arbitrary integers. The nontrivial phase on the right hand side of Fig. 22 implies that, once we gauge \({\mathbb {Z}}_2^{\textrm{EM}}\) to make \({{\mathcal {N}}}\) into a duality defect, the defect \({{\mathcal {N}}}\) is “self-anomalous,” in the sense that it is an obstruction to the existence of a trivially gapped phase. This is consistent with the results in [22].
4 \((2+1)\)d Symmetry TFT for Duality Defects
In Sect. 3 we discussed the SymTFT for a theory with \({\mathbb {Z}}_N^{(0)}\) symmetry, and derived the fusion rules and F-symbols for the duality interface implementing \({\mathbb {Z}}_N^{(0)}\) gauging. In the current section, we will demand more symmetries of the \((1+1)\)d theory \({{\mathcal {X}}}\): namely, we require that it not only be \({\mathbb {Z}}_N\) symmetric, but also invariant under gauging \({\mathbb {Z}}_N^{(0)}\), i.e. \({{\mathcal {X}}}={{\mathcal {X}}}/{\mathbb {Z}}_N^{(0)}\), or equivalently \(D_\text {EM}{|{{{\mathcal {X}}}}\rangle }={|{{{\mathcal {X}}}}\rangle }\). This means that the duality interface \({{\mathcal {N}}}\) defined in Sect. 2 is not just a topological interface between two distinct theories, but a topological defect within the theory \({{\mathcal {X}}}\) itself. In this case the full symmetry is the Tambara-Yamagami fusion category \(TY({\mathbb {Z}}_N)\) (for particular choice of the Frobenius-Schur index and bicharacter). Our goal now is to find the SymTFT for \(TY({\mathbb {Z}}_N)\).
4.1 Symmetry TFT for \(TY({\mathbb {Z}}_N)\)
From a mathematical point of view, the SymTFT for \(TY({\mathbb {Z}}_N)\) is the Turaev-Viro theory specified by the Tambara-Yamagami \(TY({\mathbb {Z}}_N)\) category, or alternatively the Reshetikhin-Turaev theory for the Drinfeld center \({{\mathcal {Z}}}(TY({\mathbb {Z}}_N))\). As we have mentioned already in the introduction, the simple objects and fusion rules of \({{\mathcal {Z}}}(TY({\mathbb {Z}}_N))\) have appeared already in the math and physics literature, so the results to be obtained below are not, strictly speaking, new.
The presentation given here emphasizes the fact that the SymTFT of \(TY({\mathbb {Z}}_N)\) can be obtained from that of \(\textrm{Vec}({\mathbb {Z}}_N)\) by gauging the \({\mathbb {Z}}_2^{\text {EM}}\) electro-magnetic symmetry of the latter.Footnote 10 This fact is simple to see physically: indeed, recall that in the case of \(\textrm{Vec}({\mathbb {Z}}_N)\), the duality interface \({{\mathcal {N}}}\) descended from the twist defects \( \Sigma _{(e)}\) of the SymTFT, which were the boundaries of the \({\mathbb {Z}}_2^{\text {EM}}\) duality surface \(D_{\textrm{EM}}\). This was illustrated in Fig. 13. Upon gauging the \({\mathbb {Z}}_2^{\text {EM}}\) symmetry of the SymTFT this duality surface becomes transparent, and hence the duality interface \({{\mathcal {N}}}\) becomes a duality defect, as shown in Fig. 23.
Note that the procedure of gauging a zero-form symmetry in a \((2+1)\)d TFT has been fully studied in the condensed matter literature [66, 67], where the power of modular tensor categories was utilized. Since the ultimate goal of this paper will be to generalize to higher dimensions, and since a full-fledged theory of higher modular tensor categories has not been fully developed, we will not adopt this approach here. Instead, we will give a more physical rederivation of the known results from both the math [64, 65] and physics [66, 67] literature, being content with the operator contents and their fusion rules (without worrying about braiding properties). Our rederivation will have the virtue of being generalizable to higher dimensions.Footnote 11 We will also present a second derivation of the SymTFT of \(TY({\mathbb {Z}}_N)\) based on discrete twisted-cocycles. This will be (at least partially) generalizable to higher dimensions as well.
4.1.1 Lines defects in the SymTFT of \(TY({\mathbb {Z}}_N)\)
As we have just claimed, the SymTFT for \(TY({\mathbb {Z}}_N)\) can be obtained from \({\mathbb {Z}}_N\) gauge theory by gauging the \({\mathbb {Z}}_2^{\textrm{EM }}\) zero-form symmetry. This gauging may be split into two steps. First, we begin by keeping only the lines invariant under \({\mathbb {Z}}_2^{\textrm{EM }}\). This leaves us with lines \(L_{(e,e)}\) with equal electric and magnetic charge. Next, we note that upon gauging the \({\mathbb {Z}}_2^{\textrm{EM }}\) zero-form symmetry, we obtain a quantum one-form symmetry \({\widehat{{\mathbb {Z}}}}_2^{(1)}\) generated by an operator K. Note that K is labelled by a representation of \({\mathbb {Z}}_2^{\text {EM}}\). If in the pre-gauged theory a simple line is invariant under \({\mathbb {Z}}_2^{\textrm{EM }}\), then in the gauged theory it can be assigned a \({\mathbb {Z}}_2\) representation distinguished by whether or not it is stacked with a K-line. We therefore denote the invertible lines of the gauged theory by \({{\widehat{L}}}_{(e)}^q\) where the \(q=\pm \) labels whether K is stacked with it or not, i.e. \({{\widehat{L}}}_{(e)}^+:= L_{(e,e)}\) and \({{\widehat{L}}}_{(e)}^-:=K\, L_{(e,e)}\). There are a total of 2N invertible lines.
In additional to the invertible lines, we should also allow for the combinations \(L_{(e,m)}\oplus L_{(m,e)}\), which are invariant under \({\mathbb {Z}}_2^{\textrm{EM }}\) when viewed as a single object.Footnote 12 Such combinations \(L_{(e,m)}\oplus L_{(m,e)}\) are not simple before gauging, but become simple after gauging, and will be denoted by \({{\widehat{L}}}_{[e,m]}\).Footnote 13 Noting that when \(e=m\) the two factors in the direct sum are individually \({\mathbb {Z}}_2^{\text {EM}}\) invariant, and because by definition \({{\widehat{L}}}_{[e,m]} \equiv {\widehat{L}}_{[m,e]}\), we may assume without loss of generality that \(0\le e<m\le N-1\). Unlike for \({{\widehat{L}}}_{(e)}^\pm \), in the current case we cannot stack with a K defect since the constituent lines \(L_{(e,m)}\) and \(L_{(m,e)}\) in the pre-gauged theory are not invariant under \({\mathbb {Z}}_2^{\textrm{EM}}\). Another way to say this is that \({{\widehat{L}}}_{[e,m]}\) can absorb K.
A physical picture for why this absorption can occur is given in Fig. 24. We consider a configuration of coincident loops of \({{\widehat{L}}}_{[e,m]}\) and K and ask if this configuration can be distinguished from a loop of \({{\widehat{L}}}_{[e,m]}\) in isolation. To answer this, we fix an arbitrary EM gauge configuration and compute the vev of the loops. In order for the K loop to give a non-trivial result, it must link with an odd number of units of EM flux. However, in the presence of an odd number of units of EM flux, the loop of \({{\widehat{L}}}_{[e,m]}\) gives vanishing contribution, since each consitutent of \({{\widehat{L}}}_{[e,m]}\) is not EM invariant and hence cannot form a closed loop around such flux. The configuration of \({{\widehat{L}}}_{[e,m]}\) stacked with K is thus indistinguishable from the configuration with only \({{\widehat{L}}}_{[e,m]}\). We conclude that there are only \({1 \over 2} N(N-1)\) distinct non-invertible defects of quantum dimension 2, labeled by the symmetric pair \([e,m]\equiv [m,e]\) with \(e\ne m\).
Finally, there are lines descending from the twist defects in the pre-gauged theory. As shown in Fig. 23, after gauging \({\mathbb {Z}}_2^{\text {EM}}\) the surface attached to the twist defect becomes transparent, and hence the twist defect become a genuine line defect. Since, as discussed in Sect. 3.3, before gauging \({\mathbb {Z}}_2^{\text {EM}}\) the twist defect \(\Sigma _{(e)}\) is \({\mathbb {Z}}_2^{\text {EM}}\) invariant, the genuine lines after gauging can be stacked with a K line. We will denote the resulting genuine lines by \(\widehat{\Sigma }_{(e)}^q\), where \(q=\pm \) again indicates whether or not we have stacked with K. There are 2N lines of this type. Below, we will find that the fusion rules of these genuine lines are almost identical to the fusion rules of the twist defects in (3.20), (3.23), and (3.26), from which we can tell that the quantum dimensions are \(\sqrt{N}\). The only new ingredient in determining the fusion rules is determining how to assign factors of q.
To summarize the discussion so far, the theory with \({\mathbb {Z}}_2^{\textrm{EM }}\) gauged has the following simple objects:
-
2N invertible lines \({{\widehat{L}}}_{(e)}^\pm \) ,
-
\( {1\over 2} N(N-1)\) lines \({{\widehat{L}}}_{[e,m]}\) of quantum dimension 2 ,
-
2N lines \(\widehat{\Sigma }_{(e)}^\pm \) of quantum dimension \(\sqrt{N}\) .
A first-order consistency check is that the total quantum dimension for these lines is \( 2N\times (1)^2 + {1\over 2}N(N-1)\times (2)^2 + 2N \times (\sqrt{N})^2 = (2N)^2\), which is the square of the total quantum dimension of \(\textrm{TY}({\mathbb {Z}}_N)\). We now obtain the fusion rules for these objects.
4.1.2 Fusion rules involving only \({\widehat{L}}_{(e)}^{\pm }\) and \({\widehat{L}}_{[e,m]}\)
The fusion rule involving only the lines \({\widehat{L}}_{(e)}^{\pm }\) and \({\widehat{L}}_{[e,m]}\) largely follow from those in the pre-gauged theory. The only new ingredient is to determine the distribution of K lines (i.e. the value of q’s). To determine this, we need to determine the \({\mathbb {Z}}_2^{\text {EM}}\) charge localized at junctions in the pre-gauged theory; if the junction is \({\mathbb {Z}}_2^{\text {EM}}\) even, then there should be an even number of K lines anchored on the junction after gauging, whereas if the junction is \({\mathbb {Z}}_2^{\text {EM}}\) odd there should be an odd number of K lines anchored on the junction. The junction charges of the pre-gauged theory can be measured by wrapping \(D_{\text {EM}}\) surfaces around them, as discussed in Appendix B. Using the tools developed there, one finds that e.g. the junction between three operators \({L}_{(e,e)}, {L}_{(e',e')}\) and \({L}_{(e+e', e+e')}\) is \({\mathbb {Z}}_2^\textrm{EM}\) even, and hence the number of K lines is conserved under fusion, i.e. \({\widehat{L}}_{(e)}^{q}\otimes {\widehat{L}}_{(e')}^{q'}= {\widehat{L}}_{(e+e')}^{qq'}\).
Another interesting case is the fusion between \({\widehat{L}}_{[e,m]}\otimes {\widehat{L}}_{[e',m']}\) when \(e+e'=m+m', m+e'=e+m'\). Before gauging \({\mathbb {Z}}_2^{\text {EM}}\), the right hand side is a direct sum of two lines \(L_{(e+e',e+e')}\), \(L_{(m+e', m+e')}\). Each of them are \({\mathbb {Z}}_2^{\text {EM}}\) invariant separately, and hence we must determine the assignment of q after gauging. One could again determine this via computation of the junction charge, but a nice trick to circumvent this computation is to observe that since \({\widehat{L}}_{[e,m]}\otimes {\widehat{L}}_{[e',m']}\) can absorb a K line, the right-hand side of the fusion rules must also be able to absorb a K line. The only possibility is then to sum over all possible q values, i.e. \({\widehat{L}}_{[e,m]}\otimes {\widehat{L}}_{[e',m']}= {\widehat{L}}_{(e+e')}^{+}\oplus {\widehat{L}}_{(e+e')}^{-}\oplus {\widehat{L}}_{(m+e')}^{+}\oplus {\widehat{L}}_{(m+e')}^{-}\). See [28] for more systematic discussions. In summary, we are able to determine the fusion rules as follows,
Note that since all of the operators above are lines, the local fusion is identical to the global fusion.
4.1.3 Fusion rules involving \(\widehat{\Sigma }_{(e)}^{q}\)
We now describe the fusion rules involving the \(\widehat{\Sigma }_{(e)}^{q}\) lines of quantum dimension \(\sqrt{N}\).
Fusion rule \({\widehat{L}}_{(e)}^{q}\otimes \widehat{\Sigma }_{(e')}^{q'}\): We start by considering the fusion between the invertible line \({\widehat{L}}_{(e)}^{q}\) and the non-invertible line \(\widehat{\Sigma }_{(e')}^{q'}\). The cases of N odd and even are qualitatively different, and we begin by analyzing the former.
For odd N, it is useful to observe that before gauging, none of the twist defects map to themselves under fusing with a non-trivial \({\mathbb {Z}}_2^{\text {EM}}\) invariant invertible line,
where \(e' \ne e'+2e\) for \(e\ne 0\mod N\). This implies that after gauging \({\mathbb {Z}}_2^{\text {EM}}\) one can define the twist defect \(\widehat{\Sigma }_{(e)}^{q}\) by fusing \({\widehat{L}}_{({\widetilde{e}})}^{q}\) with the minimal twist defect \(\widehat{\Sigma }_{(0)}^{+}\),
where \({\widetilde{e}}= e/2\) for even e, and \({\widetilde{e}}= (e+N)/2\) for odd e. Note that since the operators are always subject to relabeling, such a definition is always allowed. The fusion rule then follows from (4.3),
We now proceed to the case of N even. The main conceptual difference is that we can no longer obtain all defects \(\widehat{\Sigma }^q_{(e)}\) from \({\widehat{\Sigma }}^0_{(0)}\) by fusing with an appropriate choice of \({{\widehat{L}}}_{(e')}^q\). Before gauging \({\mathbb {Z}}_2^{\text {EM}}\), every twist defect maps to itself upon fusing with \(L_{(N/2, N/2)}\). This means that after gauging one can define the twist defects as
Once this definition is fixed though, we are no longer free to choose the sign that appears in the fusion of \({{\widehat{L}}}_{(N/2)}^q\) with \({\widehat{\Sigma }}_{(0)}^{+}\) and \({\widehat{\Sigma }}_{(1)}^{+}\). Indeed, because before gauging the twist defects are stabilized under this fusion, the \(q', q''\) in the following fusion rules
are unambiguously defined. In other words, it is not possible to relabel the twist defects to change \(q' \) and \(q''\) once q is given. To determine \(q'\) and \(q''\), one must measure the \({\mathbb {Z}}_2^{\textrm{EM}}\) charge of the relevant junction in the theory before gauging EM. Relegating the details to Appendix B, we find that the junction associated with the first fusion rule in (4.6) is \({\mathbb {Z}}_2^{\text {EM}}\) even, and hence the number of K lines is conserved. On the other hand, the junction associated with the second fusion rule in (4.6) is \({\mathbb {Z}}_2^{\text {EM}}\) odd, and hence the number of K lines jumps by one. In terms of the relation between \(q,q'\) and \(q''\), we have
As a consequence, fusing \({\widehat{L}}^q_{(e)}\) and \({\widehat{\Sigma }}^+_{(0,1)}\) for the remaining choices of e, i.e. \(e=N/2+1,..., N-1\), are given by
The fusion between generic \({\widehat{L}}^q_{(e)}\) and \({\widehat{\Sigma }}_{(e')}^{q'}\) then follows straightforwardly.
To summarize the results for even N, we have
where \([x]_N\) is the mod N reduction of x.
Fusion rule \({\widehat{L}}_{[e,m]}\otimes \widehat{\Sigma }_{(e)}^{q}\): Since \({\widehat{L}}_{[e,m]}\) before gauging \({\mathbb {Z}}_2^{\text {EM}}\) consists of two lines exchanged under \({\mathbb {Z}}_2^{\text {EM}}\), after gauging \({\mathbb {Z}}_2^{\text {EM}}\) the fusion rules \({\widehat{L}}_{[e,m]}\otimes \widehat{\Sigma }_{(e)}^{q}\) contains two fusion channels which differ by a \({\mathbb {Z}}_2^{\text {EM}}\) representation. This leads to the fusion rule
Another way to argue for the sum of \(\widehat{\Sigma }_{(e+m+e')}^{\pm }\) on the right-hand side is to notice that since \({{\widehat{L}}}_{[e,m]}\) can absorb a factor of K, the right-hand side must also be able to absorb a factor of K. This can only be achieved by summing over the defects with and without K stacked.
Fusion rule \(\widehat{\Sigma }_{(e)}^{q}\otimes \widehat{\Sigma }_{(e')}^{q'}\): The fusion rule \(\widehat{\Sigma }_{(e)}^{q}\otimes \widehat{\Sigma }_{(e')}^{q'}\) can be obtained from the fusion rules derived in (4.4), (4.9), and (4.10). When N is odd, the fusion rules are
where in the second line, we used the commutativity of lines (since they are objects with codimension higher than one). The \({\tilde{e}}\) appearing here is defined below (4.3) and similarly for \({\tilde{e}}'\). When N is even, one obtains the fusion rules
The lines in the SymTFT of \(TY({\mathbb {Z}}_N)\) form objects in the Drinfeld center of the fusion category \(TY({\mathbb {Z}}_N)\), i.e. \({{\mathcal {Z}}}(TY({\mathbb {Z}}_N))\). This center \({{\mathcal {Z}}}(TY({\mathbb {Z}}_N))\) has been studied in the mathematics literature, see e.g. [64, 65]. In particular, the explicit expressions of the modular S matrices have been derived. In Appendix D, we collect the modular S matrices, and use the Verlinde formula to verify the fusion rules above.
4.1.4 Example: SymTFT for \(TY({\mathbb {Z}}_2)\)
To illustrate the results we have obtained, let us apply them to the special case of \(N=2\). We first discuss the SymTFT for a theory with only \({\mathbb {Z}}_2\) symmetry, which as described in Sect. 3 is simply \({\mathbb {Z}}_2\) gauge theory. There are four invertible lines
There is also a \({\mathbb {Z}}_2^{\text {EM}}\) zero-form global symmetry, generated by the 2d surface defect \(D_{\text {EM}}\). In the current case \(D_{\text {EM}}\) is obtained by condensing the \(\psi \) line on a 2d surface. There are also twist defects obtained by condensing \(\psi \) on half of a 2d surface with Dirichlet boundary conditions, and fusing with an appropriate invertible line in (4.13),
The notation given on the right-hand side of \(\leftrightarrow \) is that used in [66, 67]. By the results in Sect. 3, the fusion rules among the lines and the twist defects are
We now obtain the SymTFT for \(TY({\mathbb {Z}}_2)\) by gauging \({\mathbb {Z}}_2^{\textrm{EM}}\). Upon gauging, we obtain a quantum \(\widehat{\mathbb {Z}}_2^{(1)}\) symmetry generated by K. There are four line operators of quantum dimension 1,
one line operator of quantum dimension 2,
and four line operators of quantum dimension \(\sqrt{2}\),
By the formulas given in this section, the fusion rules are found to be,
These fusion rules coincide with the ones given in [66, 67], where it was further noted that the fusion rules exactly match those of \(\text {Ising}\times \overline{\text {Ising}}\), if we identify
This identification also matches with the expectation that the SymTFT should have symmetry given by the Drinfeld center of \(TY({\mathbb {Z}}_N)\). Indeed, for a modular tensor category (of which \(TY({\mathbb {Z}}_2)=\textrm{Ising}\) is an example) the Drinfeld center is known to be the tensor product of the original category with its orientation reversal.
4.2 Twisted cocycle description
In Sect. 4.1 we obtained the simple objects and fusion rules for the SymTFT of \(TY({\mathbb {Z}}_N)\). We now reobtain these results in a different way, using an explicit Lagrangian description of the SymTFT. This in particular allows us to give a concrete twisted cocycle description of all simple objects.
4.2.1 The action and restricted gauge transformations
The starting point is once again the \({\mathbb {Z}}_N\) gauge theory in (3.1). We will find it convenient to symmetrize the two gauge fields, and rewrite the BF theory (3.1) in the K-matrix form:
where \({\textbf{a}}= (a, {\widehat{a}})\) is a two-component cochain valued in \({\mathbb {Z}}\), and \(K=\sigma ^x\).Footnote 14 In terms of \({\textbf{a}}\), the \({\mathbb {Z}}_2^{\textrm{EM}}\) symmetry acts as \({\textbf{a}} \rightarrow K {\textbf{a}}\). Beginning in the pre-gauged theory, the action is as given in (4.21), and the line operators are as given in (3.7). We now attempt to gauge \({\mathbb {Z}}_2^{\textrm{EM}}\). To do so, we must first understand how to couple the action (4.21) to a background field C for \({\mathbb {Z}}_2^{\textrm{EM}}\).
The coupling to C can be achieved by promoting the cochain \({\textbf{a}}\) to a \({\mathbb {Z}}_2^{\textrm{EM}}\)-twisted cochain. Let us begin by recalling this notion. A 1-cochain is most easily understood as a link between sites on a lattice. Such a 1-cochain can be labelled by two indices \(\alpha _{ij}\), which label the lattice sites between which the link is stretched. In this index notation, the usual cup product and coboundary operator are defined as
It is straightforward to check that \(\delta ^2 = 0\). The gauge transformation \(\alpha \rightarrow \alpha + \delta g\) in index notation becomes
For a \({\mathbb {Z}}_2\)-twisted cocycle \(\varvec{\alpha }_{ij}\) with background C and matrix K, the twisted cup product and twisted coboundary operations are defined as
and the twisted gauge transformation is given by
see Appendix B of [76] for more details. One can again check that \(\delta _C^2 = 0\) as long as C is flat. Intuitively, in the current context promoting \(\alpha \) to a \({\mathbb {Z}}_2\)-twisted cocycle \(\varvec{\alpha }\) means that we take \(\varvec{\alpha }\) to be a 2-vector, and allow the transition functions between patches to include a matrix swapping the entries of \(\varvec{\alpha }\).
We may now write the action of (4.21) coupled to a background for \({\mathbb {Z}}_2^{\textrm{EM}}\) as
where the integrand, in components, is
It is a good exercise to verify that (4.26) is invariant under dynamical gauge transformations (4.25). Details of this exercise are provided in Appendix C. The action is furthermore invariant under background gauge transformations of C, which are given by
The form of these transformations can be understood pictorially as in Fig. 25.
Since the action (4.26) is completely invariant under background gauge transformations, we may now gauge \({\mathbb {Z}}_2^{\textrm{EM}}\). To do so, we promote the background gauge field C to a dynamical gauge field c, upon which the action (4.26) becomes
The last term is a BF term, such that integrating out x enforces that c is a \({\mathbb {Z}}_2\) cocycle. Because of the complicated dependence on c in the kinetic term, we see that c is now flat only on-shell. This means that the action is no longer invariant under (4.25), since without c being flat the first term in (4.29) transforms by
as follows from the computation in Appendix C. For generic \({\textbf{g}}\), this is non-vanishing, and our action would seemingly not be gauge invariant. However, for \({\textbf{g}}\) satisfying
the problematic term (4.30) vanishes. Thus as long as we restrict to gauge transformations satisfying this constraint, the action is indeed gauge invariant. Note that this is a non-trivial constraint on \({\textbf{g}}\) only at points where c is not flat. We will see below that this constraint has a simple physical interpretation.
4.2.2 Cocycle description of line operators
We now give a cocycle description for all of the lines identified in Sect. 4.1.1. The combined gauge transformations (4.25) and (4.28) take the form
with \({\textbf{g}}\) constrained as in (4.31), and our goal is to construct the full spectrum of gauge-invariant line operators.
Invertible Operators We first study the invertible operators. Begin by rewriting the line operators (3.7) of the pre-gauged theory asFootnote 15
Under the gauge transformations given in (4.32), these lines transform as
For \(L_{{\textbf{n}}}\) to be gauge-invariant, we must first remove the \(\omega _i\) dependence from the right-hand side, which means enforcing
This immediately removes the \({\textbf{g}}_i\) dependence as well, since subject to this condition we have
We thus conclude that the following line operators
are the only gauge invariant operators of this form.
There exist two other obvious invertible gauge-invariant line operators, namely
The line \(\chi (\gamma )\) is naively not topological, since \(\delta x\) is not generically zero—this is because c cannot act as a Lagrange multiplier due to its appearance in the kinetic term. The line \(\chi (\gamma )\) will reappear below in our analysis of non-invertible lines, but for the moment we will ignore it. On the other hand, the line \(K(\gamma )\) is topological, and is the generator of the dual \({\widehat{{\mathbb {Z}}}}_2^{(1)}\) symmetry which we have already met before. Hence we conclude that there are 2N invertible topological line operators \({{\widehat{L}}}_{(e)}^+:= L_{(e,e)}\) and \({{\widehat{L}}}_{(e)}^-:= K \, L_{(e,e)}\).
Non-invertible Operators We now proceed to the non-invertible operators. The non-invertible operators with quantum dimension 2 are the simplest to construct, and are obtained by noting that alternating chains of \(e a + m {{\widehat{a}}}\) and \(m a + e {{\widehat{a}}}\) on links can be made gauge-invariant by inserting appropriate factors of K. Concretely, the line
is gauge invariant. As shown in Fig. 26, this intuitively corresponds to the insertion of \(L_{(e,m)} \oplus L_{(m,e)}\) on each link. There are \({1\over 2} N(N-1)\) distinct such operators. These operators can absorb the line K, as follows from precisely the same argument as was given in Sect. 4.1.1.
We next consider the non-invertible lines with quantum dimension \(\sqrt{N}\). In fact, searching for gauge invariant operators involving only \({\textbf{a}}\) and c does not turn up anything new besides the operators identified above. We are thus led back to consideration of the non-topological operator \(\chi (\gamma )\) defined in (4.38). To understand this better, we may begin by using the equations of motion of c to obtain
Note that the repeated indices are not summed over. In obtaining this, we used
where the derivative with respect to the \({\mathbb {Z}}_2\) valued cochain \(c_{ij}\) is defined to be the finite difference. Thanks to the factor of \((K-\mathbb {1})\), we see that \(\delta x\) actually can be made to vanish as long as \(a = {{\widehat{a}}}\) at the location of the line. This condition is also physically sensible, since x acts as a source of c flux, meaning that traversing any cycle linking it causes \((a, {{\widehat{a}}}) \rightarrow ({{\widehat{a}}}, a)\). Subject to this condition, the line \(\chi (\gamma )\) becomes topological and can be used to define the non-invertible lines of quantum dimension \(\sqrt{N}\). We may also stack with \(K(\gamma )\) or \(L_{(e,0)}\) to obtain
Note that stacking with \(L_{(e,0)}\) still gives something gauge invariant since a and \({{\widehat{a}}}\) are identified on the locus \(\gamma \). The factor of \(\sqrt{H^0(\gamma , {\mathbb {Z}}_N)|}\) included here is such that we reproduce the correctly normalized fusion rules obtained in Sect. 4.1.1.
To reproduce the results for parallel fusion identified before, we may first note that the delta function above can be rewritten asFootnote 16
For e.g. N odd, we then note that
which allows us to reproduce the results for parallel fusion given in (4.11). The other results for parallel fusion follow straightforwardly.
4.2.3 Trivalent junctions
In addition to studying parallel fusion, we may also study gauge-invariant trivalent junctions. Once one has all of the trivalent junctions, the parallel fusion may be reproduced. This analysis is conceptually straightforward but somewhat technical, and can be skipped on a first read.
To begin, consider \({{\widehat{L}}}_{(e)}^\pm \) on a chain \(\gamma \) with boundary. Such a configuration is not gauge invariant under (4.25), but rather transforms as
However, this configuration can be made consistent if
-
It ends on a point with other lines \({{\widehat{L}}}_{(e')}^\pm (\gamma )\) such that the total charge cancels.
-
It ends on a locus with non-zero c flux.
-
A mix of the above.
The first of these allows for gauge-invariant junctions between three invertible defects \({{\widehat{L}}}_{(e)}^\pm (\gamma )\), \({{\widehat{L}}}_{(e')}^\pm (\gamma )\), and \({{\widehat{L}}}_{(e+e')}^\pm (\gamma )\); we will write this in the notation
where we take the convention that \({{\widehat{L}}}_{(e)}^q\) and \({{\widehat{L}}}_{(e')}^{q'}\) are incoming and \({{\widehat{L}}}_{(e+e')}^{qq'}\) is outgoing. The factors of \(q, q'\) shown follow from the fact that, under c gauge transformations the lines \(K(\gamma )\) transform as
and hence cannot end unless the junction point itself transforms under gauge transformations of c. When the junction point is invariant, as is the case here, there must be an even number of K-lines.
Note that this is the only gauge-invariant junction between \({{\widehat{L}}}_{(e)}^q\) and \({{\widehat{L}}}_{(e')}^{q'}\). Indeed, no \({{\widehat{L}}}_{[e,m]}\) or \({\widehat{\Sigma }}^q_{(e)}\) can appear on the right-hand side: for \({{\widehat{L}}}_{[e,m]}\) this follows from charge conservation, while for \({\widehat{\Sigma }}^q_{(e)}\) this is because there does not exist a gauge-invariant endpoint for \(\chi (\gamma )\), and hence any trivalent junction involving \({\widehat{\Sigma }}^q_{(e)}\) must contain both an incoming and outgoing \({\widehat{\Sigma }}\). Because (4.46) is the only allowed gauge-invariant junction, we may conclude that the local fusion rules are
The overall normalization is fixed by the fact that \({{\widehat{L}}}_{(e)}^q\) is invertible, and hence has quantum dimension 1. This reproduces the result in (4.1).
The second option above relies on the fact that, on a locus with non-zero c flux, we have \((e,-e) {\textbf{g}}=0\) by the constraint (4.31). This gives rise to a gauge-invariant configuration of \({{\widehat{L}}}_{(e)}^\pm \) ending on \(\widehat{\Sigma }_{(e')}^\pm \) as long as \( e = - e \,\,\,\textrm{mod}\,\, N\). This happens whenever N is even and \(e = {N \over 2}\), giving rise to the junction
where \(q''=\pm qq'\) depends on \(e'\) being even/odd. This junction contains both an incoming and outgoing factor of \(\chi (\gamma )\), consistent with the fact that \(\chi (\gamma )\) cannot end.
For more general \(e \ne N/2\), the lines \({{\widehat{L}}}_{(e)}^\pm \) cannot end on \({\widehat{\Sigma }}_{(e')}^\pm \) alone, but by the third option there can be a trivalent junction between \({{\widehat{L}}}_{(e)}^\pm \), \({\widehat{\Sigma }}_{(e')}^\pm \), and \(\widehat{\Sigma }_{(2e+e')}^\pm \),
The sign \(q''\) must be fixed by checking if the junction point transforms under c gauge transformations. If not, then by (4.47) the K line cannot end and thus \(q''=q q'\). On the other hand, if the junction point does transform non-trivially, then the K line must end, and we have \(q''=-q q'\). Unfortunately, it is not clear to us how to understand this aspect of the junction point in the cocycle description, so here we simply quote the result from the analysis in Sect. 4.1,
These turn out to be the only junctions between \({{\widehat{L}}}_{(e)}^q\) and \({\widehat{\Sigma }}_{(e')}^{q'}\), and hence we may now reproduce the fusion rules in (4.9). As we will see momentarily though, these are not the only gauge-invariant junction involving two \({\widehat{\Sigma }}_{(e)}^{q}\), so we cannot yet read of the fusion rules for \({\widehat{\Sigma }}_{(e)}^{q} \otimes {\widehat{\Sigma }}_{(e')}^{q'}\). For future purposes though, let us note that (4.50) can be rewritten as
for \(e+e'\) even, being careful about the conventions for orientation of lines at the junction.
We next consider junctions involving \({{\widehat{L}}}_{[e,m]}\). To do so, let us first notice that the given three curves \(\gamma _1, \gamma _2, \gamma _3\) with the same boundary point \(\partial \gamma _i\), we have the following shift under gauge transformations,
If the boundary is not located on a locus of non-trivial c flux, then we conclude that gauge invariant junctions must have
which leads to junctions of the form
These are the only junctions involving \({{\widehat{L}}}_{(e)}^q\) and \({{\widehat{L}}}_{[e', m']}\), and hence we determine the fusion rules
where the coefficient is again fixed by knowing that the quantum dimension of \({{\widehat{L}}}_{(e)}^q\) is 1. One may similarly determine the fusion rules between \({{\widehat{L}}}_{[e, m]}\) and \({{\widehat{L}}}_{[e', m']}\).
On the other hand, assume that the boundary is located on a locus of non-trivial c flux, i.e. on an (ingoing) \(\widehat{\Sigma }^q_{(e')}\). Since there is no gauge-invariant endpoint for \(\chi (\gamma )\), the third (outgoing) leg in the trivalent junction must also be a \({\widehat{\Sigma }}^{q''}_{(e'')}\). In this case \(m' = m'' = 0\) and \((1,-1) {\textbf{g}} = 0\), so the condition for gauge-invariance is that
We thus obtain junctions of the form
Note that in this case the sign \(q'\) is uncorrelated with \(q''\), since as discussed in Sect. 4.2.2 the line \({{\widehat{L}}}_{[e,m]}\) can absorb a K line. Hence for every pair of \({{\widehat{L}}}_{[e,m]}\) and \( {\widehat{\Sigma }}^{q'}_{(e')}\), there are two possible gauge invariant junctions, with the outgoing leg being either \({\widehat{\Sigma }}^{+}_{(e+m+e')}\) or \(\widehat{\Sigma }^{-}_{(e+m+e')}\). The local fusion rules involve a sum over these possibilities, with the result given by
We have now finally obtained the full set of gauge-invariant junctions, and can use this to read off the fusion rules of \({\widehat{\Sigma }}^q_{(e)}\) and \({\widehat{\Sigma }}^{q'}_{(e)}\). First, being careful about orientation of lines in the junction, we may rewrite (4.58) as
where \(( e''_n, m''_n)\) are the solutions, parameterized by \(n \in {\mathbb {Z}}_N\), to the equation
This equation descends from (4.57) by appropriate relabeling and changing of orientation. The solutions are given by
We may restrict to \(n = 1, \dots , \lfloor {N-1 \over 2}\rfloor \) to obtain the full set of non-redundant pairs.
The junctions (4.52) and (4.60) give the full set of gauge-invariant junctions involving \(\widehat{\Sigma }^q_{(e)}\) and \({\widehat{\Sigma }}^{q'}_{(e)}\). We may thus obtain the fusion rules by summing over these possibilities, successfully reproducing the results in (4.11) and (4.12).
4.2.4 S-matrix elements
We have now reproduced the fusion rules of Sect. 4.1 via both parallel fusion and analysis of gauge-invariant junctions. Before moving on to higher dimensions, let us briefly mention a third strategy towards obtaining the fusion rules, which is to first compute the S-matrix elements and then utilize the Verlinde formula. This is relatively straightforward in \((2+1)\)d since the S-matrix element \(S_{XY}\) between two line operators X and Y is given by the amplitude of the Hopf link shown in Fig. 27, up to an overall factor of the total quantum dimension
The Hopf link amplitude can in turn be obtained directly from the path integral. Unfortunately, for the \((4+1)\)d case this third strategy will no longer be viable, since there is not yet an established analog of the S-matrix (though see [77, 78] for work in this direction) or of the Verlinde formula. Because of this, we will not give an exhaustive treatment of this strategy, but only a flavor of it.
Begin by considering the S-matrix element between \({{\widehat{L}}}_{(e)}^q\) and \({{\widehat{L}}}_{(e')}^{q'}\). Take \({{\widehat{L}}}_{(e)}^q\) to be inserted on \(\gamma \) and \({{\widehat{L}}}_{(e')}^{q'}\) to be inserted on \(\gamma '\), such that \(\textrm{link}(\gamma , \gamma ') = 1\) as in Fig. 27. The action in the presence of these insertions becomes
where \(\omega _\gamma \) is the Poincaré dual to the one-cycle \(\gamma \) and we take \(\log q = 0, i \pi \) for \(q= 1, -1\).
We would now like to carry out manipulations similar to those used in Appendix A to compute the braidings. Because of the complicated appearance of c in the kinetic term for \({\textbf{a}}\), this would at first sight seem impossible, but under certain circumstances it turns out to not be a problem. Indeed, the S-matrix element \(S_{XY}\) involves only the linking of the lines X and Y, and hence as long as we are considering lines X and Y which do not act as sources for c, we are allowed to consider the link in a small patch of \(M_3\) in which c is turned off. This means that the computation proceeds exactly as in Appendix A; namely, we can focus on a patch \(U_3 \subset M_3\) in which we have
and integrating out \({{\widehat{a}}}\) then gives
Defining \(M_2\) such that \(\partial M_2 = e \gamma + e' \gamma '\) and plugging back into the action then gives a factor of
We thus conclude that
We next consider the S-matrix element between \({{\widehat{L}}}_{(e)}^\pm \) and \({{\widehat{L}}}_{[e',m']}\). Since neither of these is a source of c flux, we may again focus on a region in which c is trivial. Using \({{\widehat{L}}}_{[e',m']} = L_{(e',m')} \oplus L_{(m',e')}\), we see that the relevant S-matrix element is given by the sum of amplitudes for the Hopf link between \({{\widehat{L}}}_{(e)}^\pm \) and \(L_{(e',m')}\) or \(L_{(m',e')}\). Using the general formula in (A.8), we conclude that
Finally, the S-matrix element between \({{\widehat{L}}}_{[e,m]}\) and \({{\widehat{L}}}_{[e',m']}\) can be easily computed, giving rise to
All of the results so far match precisely with those identified in the math literature for \({{\mathcal {Z}}}(TY({\mathbb {Z}}_N))\); see Appendix D and in particular (D.1) for a summary of those results. Plugging them into the Verlinde formula (D.4), they also match with the fusion rules obtained before.
We now turn towards the more difficult case involving \(\widehat{\Sigma }_{(e)}^q\). These defects involve \(\chi = e^{i \pi \oint x}\), and hence act as a source for c flux. This means that our previous strategy of evaluating the link in a patch with zero c is invalid. We will not try to give a complete treatment here, but instead just note that a surprising amount of information about the S-matrices can be obtained even without a deep understanding of this complication.
Begin by considering the S-matrix element between \({{\widehat{L}}}_{(e)}^q\) and the basic twist line \({\widehat{\Sigma }}_{(0)}^{q'} \sim \chi \times K^{\log q'/i \pi } \delta (a-{{\widehat{a}}})|_\gamma \). The action in the presence of these insertions is given by
where as before \(\log q = 0, i \pi \) for \( q = 1,-1\) and \(\lambda \) is a Lagrange multiplier field implementing the delta function. To evaluate this, we first path integrate over x, which restricts
As before, we may define \(M_2\) such that \(\partial M_2 = \gamma '\), in which case \(c = - \textrm{PD}(M_2)\). Plugging this back into the action gives a term \(\log q \, \text {link}(\gamma , \gamma ')\); note that there is no term proportional to \(\log q'\) since the unknot does not have self-linking. The amplitude thus has an overall factor of \(e^{\log q \, \text {link}(\gamma , \gamma ')}= q\). When we consider the more general twist lines \({{\widetilde{\Sigma }}}_{(e)}^{q'}\), we must also consider the linking between \({{\widehat{L}}}_{(e)}^q\) and \(L_{(e,0)}\), which by (A.8) gives a factor of \(e^{- {2 \pi i \over N} e e'}\). To summarize then, thus far we find
This is almost the correct result, c.f. (D.1), up to an overall factor of \(\sqrt{N}\), which comes from the quantum dimension of \({\widehat{\Sigma }}_{(e)}^{q'}\). Obtaining this factor would require a more careful treatment of the path integral over \({\textbf{a}}\) in the presence of c flux.
Next, we consider the S-matrix between \({\widehat{\Sigma }}_{(e)}^\pm \) and \({{\widehat{L}}}_{[e'm']}\). In fact, in this case the result is rather easy to understand. Because \({{\widehat{L}}}_{[e'm']} = L_{(e,m)}\oplus L_{(m,e)}\), computing this S-matrix element would involve summation over the Hopf link of \({\widehat{\Sigma }}_{(e)}^\pm \) with \(L_{(e,m)}\), together with the Hopf link of \(\widehat{\Sigma }_{(e)}^\pm \) with \(L_{(m,e)}\). However, both of these configurations are not gauge invariant, and hence both correlators must individually vanish. Indeed, because \(\widehat{\Sigma }_{(e)}^\pm (\gamma )\) acts as a source for c flux on \(\gamma \), then traversing a cycle \(\gamma '\) with linking \(\textrm{link}(\gamma , \gamma ') =1\) leads to exchange \((a, {{\widehat{a}}}) \rightarrow ({{\widehat{a}}}, a)\). Thus only the lines \(L_{(e,m)}\) with \(e = m\) can consistenly wrap \(\gamma '\), and we conclude that \(S_{{{\widetilde{\Sigma }}}_{(e)}^\pm , L_{[e'm']}}=0\), matching with the known results given in (D.1).
Finally, let us briefly mention the S-matrix between \(\widehat{\Sigma }_{(e)}^q\) and \({\widehat{\Sigma }}_{(e')}^{q'}\). In this case the naive considerations above are not enough to obtain the full form of the matrix elements, but we can at least correctly predict that we should have \(S_{{\widehat{\Sigma }}_{(e)}^q,{\widehat{\Sigma }}_{(e)}^{q'}} \propto q q'\). This follows since the \(\chi = e^{i \pi \oint x}\) of each line can link with the \(K^{\log q / i \pi } = e^{\log q \oint c}\) of the other. It would be interesting to carry out this analysis more thoroughly.
5 Duality Interfaces in \((3+1)\)d
Having introduced the relevant tools for studying duality defects in \((1+1)\)d, we may now proceed to the analogous discussion in \((3+1)\)d. As before, we will first review the construction of the duality interfaces/defects themselves, and then move on to the construction of the corresponding SymTFT. Note that the fusion rules of duality defects in \((3+1)\)d have already been discussed in [21, 22, 24], though the discussion here will be more explicit about the precise normalization and counterterms involved.
5.1 Duality interfaces from half-space gauging
We begin by considering a non-spin QFT \({{\mathcal {X}}}\) in \((3+1)\)d with an anomaly free \({\mathbb {Z}}_N^{(1)}\) one-form global symmetry, defined on a closed four-dimensional spacetime \(X_4\). We denote the \({\mathbb {Z}}_N^{(1)}\) background gauge field as B, and the partition function as \(Z_{{{\mathcal {X}}}}[X_4, B]\). Gauging \({\mathbb {Z}}_N^{(1)}\) gives a new theory \({{\mathcal {X}}}/{\mathbb {Z}}_N\),
where \(B\in H^2(X_4, {\mathbb {Z}}_N)\) is the background field of the quantum symmetry \({\mathbb {Z}}_N^{(1)}\) after gauging. The defect that generates this quantum symmetry is the Wilson surface of b,
The denominator of the normalization in (5.1) comes from the volume of the gauge redundancy, while the numerator comes from the volume of the gauge redundancies for the previous gauge redundancies. It is straightforward to check that gauging \({\mathbb {Z}}_N^{(1)}\) twice does not quite map the theory \({{\mathcal {X}}}\) back to itself, but rather to the charge conjugate of \({{\mathcal {X}}}\), up to an Euler counterterm \(\chi [X_4, {\mathbb {Z}}_N]\), where
This means that gauging \({\mathbb {Z}}_N^{(1)}\) is, up to the Euler counterterm, an order four operation. As in \((1+1)\)d, we are allowed to redefine our gauging such that it is exactly order four, which involves multiplying (5.1) by \(\chi [X_4, {\mathbb {Z}}_N]^{-\frac{1}{2}}\). In this case the normalization becomes \(1/\sqrt{|H^2(X_4, {\mathbb {Z}}_N)|}\), and gauging twice maps the theory \({{\mathcal {X}}}\) exactly to the charge conjugate of \({{\mathcal {X}}}\). We will however continue to work with the normalization (5.1).
Instead of gauging \({\mathbb {Z}}_N^{(1)}\) over the entire \(X_4\), one can gauge in half of the spacetime with Dirichlet boundary conditions. This defines a topological duality interface \({{\mathcal {N}}}\) between \({{\mathcal {X}}}\) and \({{\mathcal {X}}}/{\mathbb {Z}}_N\). We decompose the spacetime into two parts,
where \(\partial X_4^{\ge 0} = X_3\) is the interface. Depending on the situation, we sometimes also include \(X_3\) in \(X_4^{\le 0}\). Around the interface, the geometry is \(X_3\times {\mathbb {R}}\), and we use the coordinate x to parameterize \({\mathbb {R}}\). The interface sits at \(x=0\), and we denote this locus by \(M_3|_0\). The duality interface is defined by specifying the theories on its two sides. The theory \({{\mathcal {X}}}\) lives on \(X_4^{<0}\), while the theory \({{\mathcal {X}}}/{\mathbb {Z}}_N\) lives on \(X_4^{\ge 0}\). A definition of the duality defect is given in Fig. 28, where the theory on the right side \(X_4^{\ge 0}\) is
The Dirichlet boundary condition implies that the dynamical gauge field b is an element in relative cohomology \(H^2(X_4^{\ge 0}, M_3|_0, {\mathbb {Z}}_N)\).
The orientation reversal of the duality defect is defined by exchanging the theories on the two sides of Fig. 28. This is illustrated in the upper panel of Fig. 29. By reorganizing \({{\mathcal {X}}}\) to the left of the defect, we obtain an equivalent expression of \({\overline{{{\mathcal {N}}}}}\) as shown in the lower panel of Fig. 29. Therefore we have
where C is the charge conjugation operator mapping \(B\rightarrow -B\).
5.2 Fusion rule of duality interfaces
We proceed to discuss the fusion rules of the duality interface \({{\mathcal {N}}}\) defined in Sect. 5.1. In particular, we will find that \({{\mathcal {N}}}\) is non-invertible. The discussion here is somewhat technical, and the reader interested in only the answer may skip to (5.14).
We first discuss the fusion rule \(\eta \times {{\mathcal {N}}}\). Since b has Dirichlet boundary conditions on \(M_3|_0\), i.e. \(b|_{M_3|_0}=0\), the \({\mathbb {Z}}_N^{(1)}\) symmetry defect \(\eta \) is trivial on \(M_3|_0\). This justifies
It is more interesting to study the fusion rules between two duality interfaces. We will first consider \({{\mathcal {N}}}\times {\overline{{{\mathcal {N}}}}}\), from which \({{\mathcal {N}}}\times {{\mathcal {N}}}\) can be derived using (5.6). The derivation is similar to the computation in Sect. 2.2. We begin by placing \({{\mathcal {N}}}\) and \({\overline{{{\mathcal {N}}}}}\) at \(x=0\) and \(x= \epsilon \) respectively, and let \(\epsilon \rightarrow 0^+\). The two duality defects divide the spacetime \(X_4\) into three regions, \(X_4=X_4^{<0} \cup X_4^{[0,\epsilon )} \cup X_4^{\ge \epsilon }\). Since \(\epsilon \) is small, we always take \(X_4^{[0,\epsilon )}= M_3\times I_{[0,\epsilon )}\). The theories living on the three regions are as shown in Fig. 30. Instead of defining the theories in the two regions to the right of \({{\mathcal {N}}}\) separately and discussing how to glue them together along \(M_3|_{\epsilon }\), we will instead discuss the theory on \(X_4^{\ge 0}\) all together. The theory living on \(X_4^{\ge 0}\) is given by
The techniques used to evaluate (5.8) are similar to those used to evaluate (2.8), and hence we will only mention the main steps, highlighting new features.
To evaluate (5.8), the first step is to convert the sum over relative cohomologies to absolute cochains by introducing additional 1-form cochains and BF couplings. This gives
We then integrate out \({\widetilde{b}}\), u, and \({\widetilde{u}}\) subsequently. The final result is
where \(b=B\) on \(X_4^{\ge \epsilon }\). Using the identity for cochains \(|C^n(X_4, M_3, {\mathbb {Z}}_N)| = |C^{4-n}(X_4, {\mathbb {Z}}_N)|\) as well as the analogue of (2.17),
the normalization factors in the first line of (5.10) can be simplified to
Converting the sum back to cohomologies, we find the fusion rule
where LD stands for Lefschetz dual. The right-hand side is the condensation defect [24] associated with 1-gauging of the \({\mathbb {Z}}_N^{(1)}\) one-form symmetry on a codimension-one submanifold \(M_3\).
In summary, the fusion rules are
Note that the right-hand side of the first equation is the condensation defect of the algebra made of \(\eta \) [24, 27, 79]. This is reminiscent of the fusion rules for the Tambara-Yamagami category \(TY({\mathbb {Z}}_N)\) given in (2.21), which in particular contained an object whose fusion with its conjugate was an algebra made of invertible symmetry defects. For this reason, we consider the fusion rules in (5.14) to be the higher-dimensional analogues of the fusion rules for the Tambara-Yamagami category. The reason that we have a condensation defect on the right-hand side of the first equation, as opposed to the algebra object itself, is to match the dimensionality of the defects on both sides. To better understand this higher-category, we now turn to the SymTFT.
6 \((4+1)\)d Symmetry TFT for \({\mathbb {Z}}_N^{(1)}\) Symmetry
In Sect. 5, we defined the duality interface \({{\mathcal {N}}}\) in \((3+1)\)d and studied its (global) fusion rules. In this section we study properties of the duality interface from the SymTFT point of view. As in the lower-dimensional case, we will aim to classify the twist defects, exhibit their relation with the duality interface upon shrinking, and derive their fusion rules.
6.1 \({\mathbb {Z}}_N^{(1)}\) gauge theory as the symmetry TFT
Suppose \({{\mathcal {X}}}\) is a \((3+1)\)d QFT with an anomaly-free \({\mathbb {Z}}_N^{(1)}\) global symmetry, whose partition function is \(Z_{{{\mathcal {X}}}}[X_4,B]\). In the current section we will not assume that \({{\mathcal {X}}}\) is self-dual under gauging \({\mathbb {Z}}_N^{(1)}\). It is always possible to expand this theory into a \((4+1)\)d slab, as shown in Fig. 31. The theory in the bulk of the slab is a \((4+1)\)d \({\mathbb {Z}}_N^{(1)}\) gauge theory with action
Both b and \({\widehat{b}}\) are dynamical \({\mathbb {Z}}_N\) valued 2-cochains. We will take the bulk to be the product \(X_5= X_4\times I_{[0,\varepsilon ]}\) and will use the coordinate x to parameterize the interval \(I_{[0,\varepsilon ]}\). The two boundaries are \(X_4|_{\varepsilon }\) and \(X_4|_0\) respectively.
The boundary conditions on the left (\(x=0\)) and right (\(x=\varepsilon \)) boundaries of the slab are specified by appropriate boundary states. On the right boundary, the state is
This state encodes all the dynamical information of the \((3+1)\)d QFT \({{\mathcal {X}}}\). On the left boundary, the state is
Note that the background field dependence only enters at the topological boundary. By shrinking the slab \(\varepsilon \rightarrow 0\), the partition function of the \((3+1)\)d theory is reproduced by the inner product of the two boundary states,
where we have used \({\langle {b'|b}\rangle }=\delta (b'-b)\).
Gauging \({\mathbb {Z}}_N^{(1)}\) of \({{\mathcal {X}}}\) in \((3+1)\)d amounts to changing the topological boundary condition on the left boundary from Dirichlet to Neumann. To see this, we define the Neumann boundary condition as
and check explicitly that
6.2 Extended defects in \({\mathbb {Z}}_N^{(1)}\) gauge theory
In this section, we consider the extended defects in \({\mathbb {Z}}_N^{(1)}\) gauge theory that do not have topological boundaries. The operators with boundaries will be discussed in Sects. 6.3, 6.5 and 6.7.
6.2.1 Fusion, braiding and higher quantum torus algebra of surfaces
The \({\mathbb {Z}}_N^{(1)}\) gauge theory has \(N^2\) genuine topological surfaces, defined by
Above, \(\sigma \) is a two-dimensional surface. The surfaces \(S_{(1,0)}\) and \(S_{(0,1)}\) together generate a \({\mathbb {Z}}_N^{(2)}\times {\mathbb {Z}}_N^{(2)}\) two-form symmetry in the bulk. From canonical quantization, we have the commutation relations
where \({\langle {\sigma ,\sigma '}\rangle }\) is the intersection pairing between the two surfaces \(\sigma ,\sigma '\) within the four manifold; see Appendix A for a derivation. Since \(\sigma \) is two-dimensional, the pairing is symmetric—this is to be contrasted with the case in \((2+1)\)d, in which case the relevant pairing was anti-symmetric. The fact that the pairing is symmetric implies that we are allowed to consider the self-pairing \({\langle {\sigma ,\sigma }\rangle }\), which will be important below. Based on the definition (6.7) and the basic commutation relation (6.8), one can derive the fusion rule
We should view the phase \(\exp \left( \frac{2\pi i}{N} m e' {\langle {\sigma ,\sigma }\rangle }\right) \) as a counterterm living on \(\sigma \). This is related to the ambiguity in the definition of \(S_{(e,m)}\) in (6.7). Indeed, one can instead define \(S_{(e,m)}(\sigma )\) in the opposite order as \(S_{(0,m)}(\sigma )S_{(e,0)}(\sigma )\), which differs from (6.7) by a phase \(\exp \left( -2\pi i em/N {\langle {\sigma ,\sigma }\rangle }\right) \).
Combining (6.7) and (6.8), we also have the commutation relation between arbitrary two surfaces \(S_{(e,m)}(\sigma )\) and \(S_{(e',m')}(\sigma ')\),
and the higher quantum torus algebra
The \(\sigma \) and \(\sigma '\) in these equations can be either local patches of surfaces or entire surfaces without boundary.
6.2.2 \({\mathbb {Z}}_4^{\text {EM}}\) symmetry and co-dimension one condensation defect in \((4+1)\)d
Just as the \({\mathbb {Z}}_N\) gauge theory in \((2+1)\)d had a \({\mathbb {Z}}_2^{\text {EM}}\) symmetry, so too does the \({\mathbb {Z}}_N^{(1)}\) gauge theory (6.1) have an electro-magnetic exchange symmetry. The symmetry is defined by acting on the gauge fields as
and thus acts on the invertible surface operators as
This operation leaves the action (6.1) invariant on a closed 5d manifold. The group which the operation (6.12) generates depends on the value of N. When \(N>2\), it generates \({\mathbb {Z}}_4^{\text {EM}}\). Moreover, the square of (6.12) generates the charge conjugation symmetry, transforming both b and \({\widehat{b}}\) by a minus sign. When \(N=2\), since the charge conjugation transformation is trivial, (6.12) generates \({\mathbb {Z}}_2^{\text {EM}}\).
Like the \({\mathbb {Z}}_2^{\text {EM}}\) symmetry in \((2+1)\)d for which the corresponding surface was a condensation defect, the \({\mathbb {Z}}_4^{\text {EM}}\) symmetry generator in \((4+1)\)d can also be constructed as a condensation defect. The intuition is analogous to that in Fig. 10. As shown in (6.13), when a surface \(S_{(e,m)}\) intersects the 4d defect \(D_{\text {EM}}\) from the left, an operator \(S_{(-m,e)}\) intersects the 4d defect \(D_{\text {EM}}\) from the right (up to a phase to be specified later). Using the folding trick, we see that the surface \(S_{(e+m, m-e)} = S^{\otimes e}_{(1,-1)} \otimes S^{\otimes m}_{(1,1)}\) can be absorbed into the 4d defect for arbitrary e, m. This implies that the defect is now a condensation of two species of surfaces, with charges
This should be contrasted with the defect (3.13), for which there was only one species of defect condensed.
The two types of surfaces generate different higher form symmetries depending on the value of N. When N is odd, the surfaces \(S_{(1,-1)}\) and \( S_{(1,1)}\) generate a \({\mathbb {Z}}_N^{(2)}\times {\mathbb {Z}}_N^{(2)}\) two-form symmetry in the bulk, or a \({\mathbb {Z}}_N^{(1)}\times {\mathbb {Z}}_N^{(1)}\) one-form symmetry on the worldvolume \(M_4\) of the defect \(D_{\text {EM}}\). When N is even, because of the identification \(S_{(N/2,-N/2)}=S_{(N/2,N/2)}\), the surfaces \(S_{(1,-1)}\) and \(S_{(1,1)}\) generate a \(({\mathbb {Z}}_N^{(2)}\times {\mathbb {Z}}_N^{(2)})/{\mathbb {Z}}_2\) two-form symmetry in the bulk, or a \(({\mathbb {Z}}_N^{(1)}\times {\mathbb {Z}}_N^{(1)})/{\mathbb {Z}}_2\) one-form symmetry on the worldvolume of the defect \(M_4\). When \(N=2\), the two surfaces coincide, and generate a \({\mathbb {Z}}_2^{(1)}\) symmetry on \(M_4\). In summary, the symmetries generated by the surfaces in (6.14) within the worldvolume of the \({\mathbb {Z}}_4^{\text {EM}}\) defect are
With the above intuition, we now give a precise definition of the \({\mathbb {Z}}_4^{\text {EM}}\) condensation defect on a 4d manifold \(M_4\). When N is odd, the condensation defect is
When \(N=2\), the condensation defect is
When N is even and \(N\ge 4\), the condensation defect is
We relegate the derivation of these condensation defects to Appendix E, but will comment on a couple of interesting features which are new compared to the \({\mathbb {Z}}_2^{\text {EM}}\) defect in \((2+1)\)d \({\mathbb {Z}}_N\) gauge theory:
-
1.
The defect depends on the parity of N. Summing over surfaces on \(M_4\) amounts to 1-gauging of \({\mathbb {Z}}_N^{(2)}\times {\mathbb {Z}}_N^{(2)}\) for odd N, and 1-gauging of \(({\mathbb {Z}}_N^{(2)}\times {\mathbb {Z}}_N^{(2)})/{\mathbb {Z}}_2\) for even N.
-
2.
In contrast to the condensation defect in \((2+1)\)d \({\mathbb {Z}}_N\) gauge theory, for which there was no discrete torsion due to \(H^2(B{\mathbb {Z}}_N, U(1))\) being trivial, in the \((4+1)\)d \({\mathbb {Z}}_N^{(1)}\) gauge theory we are allowed to include discrete torsion when constructing the condensation defect. In fact, it turns out that the discrete torsion as shown in (6.16) is required in order to produce the correct fusion rules between \(S_{(e,m)}\) and \(D_{\text {EM}}\). Furthermore, the discrete torsion depends on the ordering of the surfaces. According to (6.10), moving \(S_{(1,1)}(\sigma ')\) to the left of \(S_{(1,-1)}(\sigma )\) produces an additional phase \(\exp \left( -\frac{4\pi i}{N}{\langle {\sigma ,\sigma '}\rangle }\right) \).
The fusion rules involving the defect \(D_{\text {EM}}(M_4)\) can be worked out by using the definitions (6.16), (6.17), and (6.18), as well as the properties of the surface operators (6.9), (6.8), and (6.11). The fusion rules are found to be
For the third line, the group G is given by (6.15). Here \(\chi [M_4,G]\) is the Euler characteristic of \(M_4\) defined in (5.3), while \({{\mathcal {Z}}}_{Y}[M_4,G]\) is the partition function of an invertible TQFT defined in (E.39). Concretely, for odd N one has \(G={\mathbb {Z}}_N\times {\mathbb {Z}}_N\) and the invertible TQFT \({{\mathcal {Z}}}_{Y}[M_4,{\mathbb {Z}}_N\times {\mathbb {Z}}_N]:= {{\mathcal {Z}}}_{Y}[M_4,{\mathbb {Z}}_N]^2\) where \({{\mathcal {Z}}}_{Y}[M_4,{\mathbb {Z}}_N]\) is given by (E.11). For \(N=2\), one has \(G={\mathbb {Z}}_2\) and we don’t include any invertible TQFT. Finally, for even N and \(N\ge 4\), one has \(G= ({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2\), and the invertible TQFT \({{\mathcal {Z}}}_{Y}[M_4, ({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2]\) is defined as in (E.39).
The first fusion rule in (6.19) is exactly as expected from (6.13). The last two fusion rules in (6.19) confirm that the condensation defect \(D_{\text {EM}}\) is an invertible defect, generating a \({\mathbb {Z}}_4^{\text {EM}}\) symmetry for \(N>2\) and a \({\mathbb {Z}}_2^{\text {EM}}\) symmetry for \(N=2\).
6.3 Twist defects and their fusion rules for odd N
We next discuss the twist defects in \((4+1)\)d \({\mathbb {Z}}_N^{(1)}\) gauge theory. Since the cases of odd N, \(N=2\), and even N for \(N\ge 4\) differ significantly, we will treat them separately, beginning with the case of N odd.
6.3.1 Twist defects as higher duality interfaces
As in \((2+1)\)d, twist defects are defined by placing the \({\mathbb {Z}}_4^{\text {EM}}\) symmetry operator \(D_{\text {EM}}\) defined in (6.16) on a manifold \(M_4\) with boundary \(M_3=\partial M_4\), with Dirichlet boundary conditions imposed on \(M_3\). We first define the “minimal” twist defect as
Let us point out that, despite the fact that we have a boundary with Dirichlet boundary conditions, the sum is still over elements of absolute homology, not relative homology, as would be the case if we were working with cohomology.Footnote 17
The Dirichlet boundary conditions mean that the surfaces \(S_{(1,\pm 1)}(\tau )\) for \(\tau \in H_2(M_3, {\mathbb {Z}}_N)\) can be absorbed by fusing with the twist defect \(V_{(0)}\) along the boundary \(M_3\),
For the two conditions above to be compatible, it must be the case that the phase \(\exp (4\pi i/N {\langle {\tau ,\tau '}\rangle })\) coming from exchanging the order of \(S_{(1,-1)}(\tau )\) and \(S_{(1,1)}(\tau ')\) is trivial for any \(\tau ,\tau '\in H_2(M_3,{\mathbb {Z}}_N)\). This means that the intersection pairing must be trivial mod N. To justify this, we note that \(M_3\) is the boundary of \(M_4\), and that one can regularize the intersection between \(\tau \) and \(\tau '\) within \(M_3\) to be an intersection between \(\tau \) in \(M_3\) and \(\tau '\) in \(M_3'\), where \(M_3'\) is obtained by parallel transporting \(M_3\) along the direction orthogonal to \(M_3\) into \(M_4\). This ensures that \(M_3\) and \(M_3'\) do not share a common submanifold, and thus implies that \({\langle {\tau ,\tau '}\rangle }=0\). Since the intersection pairing is between elements in homology, and since the regularization prescribed above amounts to choosing different representatives within the same homology class, we conclude that the pairing always vanishes. This justifies the simultaneous validity of the two equations in (6.21).
Using (6.21), we further find that there is only one type of twist defect. To see this, we fuse an arbitrary surface \(S_{(e,m)}(\tau )\) with \(V_{(0)}(M_3,M_4)\). Noting that we may decompose
where we have used \({\langle {\tau ,\tau }\rangle }=0\mod N\) for \(\tau \in H_2(M_3,{\mathbb {Z}}_N)\), we find that \(V_{(0)}\) can absorb arbitrary \(S_{(e,m)}(\tau )\) under fusion.
We define the orientation reversal of \(V_{(0)}\) to be
where the right-hand side is, apart from the Euler counterterm, the Hermitian conjugate of \(V_{(0)}\). The inclusion of the Euler counterterm is motivated by (5.6). As shown in Appendix E, including the same Euler counterterm in the orientation reversal of \(D_{\text {EM}}\) ensures the expected behavior \(D_{\text {EM}} \overline{D}_{\text {EM}}=1\).
Since the twist defect is defined to be the higher gauging of a two-form symmetry along half of the codimension-one submanifold \(M_4\) of the spacetime with Dirichlet boundary conditions on \(M_3\), it can be interpreted as a higher duality interface.
6.3.2 Fusion rules of the twist defects
We now discuss the fusion rules involving twist defects for N odd.
Fusion rule \(S_{(e,m)}\times V_{(0)}\): As discussed in the previous subsection, any simple surface operator \(S_{(e,m)}\) can be absorbed into the twist defect \({V}_{(0)}\), and hence we have the fusion rule
Fusion rule \(V_{(0)}\times \overline{V}_{(0)}\): More interesting is the fusion rule between two twist defects. For simplicity, we first consider \(V_{(0)}\times \overline{V}_{(0)}\). It is useful to again specify the geometry near the boundary of \(M_4\) as \(M_3\times {\mathbb {R}}_+\), and to use the coordinate x to parameterize the direction orthogonal to the boundary. We take \(V_{(0)}\) to be on \(M_4^{\ge 0}\) and \(\overline{V}_{(0)}\) to be on \(M_4^{\ge \epsilon }\). From the definition of the twist defect (6.20) and its Hermitian conjugate (6.23), we find that
To evaluate this expression, we apply steps similar to those in Sect. 5.2, upon which the above expression simplifies to
which is exactly the result one would obtain by placing the \(D_{\text {EM}}\) defect on an interval \(M_4^{[0,\epsilon ]} \simeq M_3\times I_{[0,\epsilon ]}\), with Dirichlet boundary conditions on both sides. Note that on the interval, the intersection pairing \({\langle {\cdot ,\cdot }\rangle }\) is trivial, which also holds when shrinking the slab to \(M_3\). After making a change of variables \(\sigma +\sigma '\rightarrow \rho ', \sigma '-\sigma \rightarrow \rho \) (which is possible for odd N), the fusion rule then simplifies to
Fusion rule \(V_{(0)}\times V_{(0)}\): We next consider the fusion between \(V_{(0)}\) and itself, with both defined on \(M_4^{\ge 0}\). Taking the square of (6.20), we find
where we define \({{\mathcal {Z}}}_{Y}[M_4^{\ge 0},{\mathbb {Z}}_N]\) for an open \(M_4^{\ge 0}\) to be
Although \({{\mathcal {Z}}}_Y\) is an invertible TQFT on a closed manifold, \({{\mathcal {Z}}}_Y\) is no longer invertible on an open manifold. Equation (6.28) is precisely the charge conjugation defect (E.15) on \(M_4^{\ge 0}\), i.e. \(C(M_4^{\ge 0})\).
6.4 Duality defect in \((3+1)\)d from twist defects in \((4+1)\)d for odd N
Still restricting to N odd, we now insert the extended defects into the \((4+1)\)d slab and examine their fate upon shrinking the slab. We will find the following correspondence,
6.4.1 \({\mathbb {Z}}_N^{(1)}\) symmetry defects and order parameters from bulk surface operators
When inserting a surface operator \(S_{(e,m)}\) into the \((4+1)\)d slab, one can either place the surface parallel to the boundary \(X_4|_0\), or with one of its directions orthogonal to the boundary. Because of the Dirichlet boundary conditions of b, i.e. \(b|_{X_4|_0}=0\), the electric surface \(S_{(1,0)}\) can either end on the boundary perpendicularly, or be absorbed into the boundary when parallel to it. Thus upon shrinking, the only way for it to survive as a non-trivial operator is to place it orthogonal to the boundary, with one of its boundaries terminating on the Dirichlet boundary and the other terminating on the non-topological boundary. As a consequence, \(S_{(1,0)}\) becomes a non-topological line operator, which can act as the \({\mathbb {Z}}_N^{(1)}\) order parameter L.
On the other hand, the magnetic surface \(S_{(0,1)}\) survives upon shrinking, and becomes the \({\mathbb {Z}}_N^{(1)}\) symmetry defect \(\eta \) in the \((3+1)\)d QFT \({{\mathcal {X}}}\). The \(\eta \) surface can link with L on \(X_4\) and produces a nontrivial phase measuring the charge of L.
6.4.2 Duality interface from the twist defect
We can also insert a twist defect \(V_{(0)}\) into the \((4+1)\)d slab. Like in \((2+1)\)d, colliding the \(D_{\text {EM}}\) defect with the Dirichlet boundary yields Neumann boundary conditions. Hence colliding a twist defect with the Dirichlet boundary yields an interface between \({{\mathcal {X}}}\) and \({{\mathcal {X}}}/{\mathbb {Z}}_N\); see Fig. 32.
To reproduce the fusion rules of duality defects (5.14) from the twist defects, let us first consider the collision of the twist defect with the Dirichlet boundary condition.Footnote 18 The Dirichlet boundary condition of the dynamical field b of the SymTFT means that b in \(S_{(1,0)}(\tau )= e^{2\pi i/N \int _{\tau }b}\) is valued in relative cohomology \(H^{2}(X_5, X_4, {\mathbb {Z}}_N)\). To integrate such b on a two-cycle \(\tau \), the two-cycle \(\tau \) should be in relative homology \(H_2(X_5, X_4, {\mathbb {Z}}_N)\). Moreover, when \(\tau \) lives on the boundary \(M_3\) of a twist defect, we require \(\tau \in H_2(M_3,{\mathbb {Z}}_N)\). Hence upon moving the twist defect onto the Dirichlet boundary, \(\tau \) is restricted to lie in
Since after colliding the twist defect with the Dirichlet boundary condition we have \(M_3=\partial M_4 \subset X_4=\partial X_5\), it follows that \(\tau \) is relative to itself, i.e. \(\tau \in H_2(M_3,M_3,{\mathbb {Z}}_N) = \varnothing \). This fact will be important below.
Returning to the fusion, the fusion rule \(\eta \times {{\mathcal {N}}}= {{\mathcal {N}}}\) clearly follows from (6.24). Concretely, bringing the operators to the Dirichlet boundary we have \(S_{(e,m)} \rightarrow \eta \) and \(V_{(0)}\rightarrow {{\mathcal {N}}}\), and hence (6.24) immediately leads to the desired fusion rule.
More interesting is the fusion rule of two duality interfaces \({{\mathcal {N}}}\times {\overline{{{\mathcal {N}}}}}\), which should descend from (6.27), which we reproduce here for convenience,
Upon colliding the twist defect with the Dirichlet boundary, \(\rho '\) should be valued in the relative homology of \(M_3\) with respect to itself as discussed above, meaning that it is trivial. We should also change one of the normalization factors to be in relative cohomology. The above fusion rule then simplifies to
This reproduces the results given in (5.14).
6.5 Twist defects and their fusion rules for \(N=2\)
We now proceed to a discussion of twist defects in \((4+1)\)d \({\mathbb {Z}}_N^{(1)}\) gauge theory for \(N=2\). Because the discussion is parallel to that in the previous subsection we will be brief, mainly just emphasizing the differences. The busy reader may wish to skip directly to Sect. 7.
6.5.1 Twist defects
We begin by defining the minimal twist defect by placing the \({\mathbb {Z}}_2^{\text {EM}}\) symmetry defect \(D_{\text {EM}}\) defined in (6.17) on an open 4d manifold \(M_4\), with Dirichlet boundary conditions on \(M_3=\partial M_4\),
Above, \([w_2^{TM}]\in H^2(M_4,{\mathbb {Z}}_2)\) is the Lefschetz dual of the second Stiefel-whitney class \(w_2^{TM}\in H^2(M_4,M_3,{\mathbb {Z}}_N)\). Note that \(w_2^{TM}\) is trivialized on \(M_3\) by a spin structure, and hence \(V_{(0)}\) depends on the presence of a spin structure. Since the defect has Dirichlet boundary conditions on \(M_3\), the surface \(S_{(1,1)}(\tau )\) for \(\tau \in H_2(M_3,{\mathbb {Z}}_2)\) can be absorbed by \(V_{(0)}\), giving
On the other hand, since \(S_{(1,0)}(\tau )\) and \(S_{(0,1)}(\tau )\) do not belong to the condensate, fusing them with \(V_{(0)}\) on the boundary produces a new twist defect,
Note that fusing \(V_{(0)}\) with \(S_{(1,0)}(\tau )\) and \(S_{(0,1)}(\tau )\) yields the same defect, because they differ by a phase \((-1)^{{\langle {\tau ,\tau }\rangle }}\) which vanishes for \(\tau \in H_2(M_3, {\mathbb {Z}}_2)\); c.f. the discussion below (6.21). The presence of multiple twist defects here should be contrasted with the case of N odd. Moreover, we note that \(V_{(1)}\) depends explicitly on \(\tau \), and hence it is best thought of as a surface operator living inside \(M_3\), which is in turn the boundary of \(M_4\).
The orientation reversal of \(V_{(0)}\) is given by
which is precisely the same as placing the orientation reversal of the \({\mathbb {Z}}_2^{\text {EM}}\) defect (E.25) on half of the space.
6.5.2 Fusion rules of the twist defects
We now discuss fusion rules involving the twist defects for \(N=2\).
Fusion rule: \(S_{(e,m)}\times V_{(e')}\): The fusion rule between a surface operator and a twist defect follows almost by definition,
When \(e-m+e'=0\) mod N, the right hand side is independent of the surface \(\tau \).
Fusion rule: \(V_{(0)}\times \overline{V}_{(0)}\): We further consider the fusion between two twist defects. Since all variants of twist defects can be obtained from the minimal one by fusing a surface operator, it suffices to only discuss the fusion rule for the minimal twist defect \(V_{(0)}\). From (6.34) and (6.37), we compute the fusion to be
here we have used the fact that \(w_2^{TM}\) on \(M_4^{[0,\epsilon ]}= M_3\times I_{[0,\epsilon ]}\) is always trivial.Footnote 19 Simplifying the above expression in the way done in previous subsections, we obtain exactly the \({\mathbb {Z}}_2^{\text {EM}}\) topological operator on an interval \(M_4^{[0,\epsilon ]}\) with two Dirichlet boundary conditions, which can be further simplified to
Using the relation \(V_{(0)}= \chi [M_4,{\mathbb {Z}}_2]\cdot \overline{V}_{(0)}\), the fusion rule for \(V_{(0)}\times V_{(0)}\) can also be obtained.
6.6 Duality defect in \((3+1)\)d from twist defects in \((4+1)\)d for \(N=2\)
Still restricting to \(N=2\), we proceed to insert the extended defects into the \((4+1)\)d slab and examine their fate upon shrinking the slab. We will find the following correspondence,
6.6.1 \({\mathbb {Z}}_2^{(1)}\) symmetry defects and order parameters from bulk surface operators
We first consider inserting a surface operator \(S_{(e,m)}\) into the \((4+1)\)d slab. As before, by placing the surface operator along different directions, we obtain different operators upon shrinking. Summarizing the results,
-
1.
The surface operator \(S_{(1,0)}\) can terminate on the boundary orthogonally or be absorbed into the boundary parallelly. Hence upon shrinking, it survives as a line operator L, which is the order parameter of the \({\mathbb {Z}}_2^{(1)}\) one-form symmetry of the \((3+1)\)d QFT \({{\mathcal {X}}}\).
-
2.
The surface operator \(S_{(0,1)}\), when placed parallel to the boundary, survives upon shrinking. It becomes the symmetry defect \(\eta \) for the \({\mathbb {Z}}_2^{(1)}\) one-form symmetry. The surface \(\eta \) can link with L with a nontrivial phase, which measures the \({\mathbb {Z}}_2^{(1)}\) charge of L.
6.6.2 Duality interface from twist defects
We can also insert a twist defect into the \((4+1)\)d slab, giving the configuration shown in Fig. 32. We again find that the twist defect in the \((4+1)\)d bulk becomes a duality interface upon shrinking. Moreover, thanks to the Dirichlet boundary conditions of the SymTFT, the resulting duality defect is independent of the type of the twist defect,
In other words, there is only a single type of duality interface.
It is interesting to see how the fusion rules of the duality interfaces are reproduced from those of the twist defects. We start from (6.40) and collide the defects in the fusion rule with the Dirichlet boundary condition, which amounts to replacing \(V_{(0)}\rightarrow {{\mathcal {N}}},\) \(\overline{V}_{(0)}\rightarrow {\overline{{{\mathcal {N}}}}}\), and \(S_{(1,1)}(\sigma )\rightarrow \eta (\sigma )\).Footnote 20 The fusion rule (6.40) then simplifies to
The right-hand side is exactly the condensation defect associated with higher gauging of \({\mathbb {Z}}_2^{(2)}\) one-form symmetry on a codimension one defect \(M_3\). This agrees with the results of (5.14).
6.7 Twist defects and fusion rules for even N and \(N\ge 4\)
We finally discuss the remaining case, namely twist defects in \((4+1)\)d \({\mathbb {Z}}_N^{(1)}\) gauge theory with even N and \(N\ge 4\). This proceeds as before, and the busy reader may wish to skip directly to Sect. 7.
6.7.1 Twist defects
We start by defining the minimal twist defect by placing the \({\mathbb {Z}}_4^{\text {EM}}\) defect (6.18) on an open 4d manifold with Dirichlet boundary conditions
The Dirichlet boundary conditions for \(\sigma ,\sigma '\) imply that fusing \(S_{(1,\pm 1)}(\tau )\) with \((\tau , \tau ')\in H_2(M_3, ({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2)\) does not change the twist defect,
The two conditions can be simutaneously satisfied for the same reasons as given below (6.21). Moreover, by sequentially fusing with either \(S_{(1,1)}\) or \(S_{(1,-1)}\), a surface operator with arbitrary charge can be decomposed as
Hence as in the \(N=2\) case, there are two types of the twist defects, \(V_{(0)}\) and \(V_{(1)}\), defined as
When \(e+m\) is even, fusing \(S_{(e,m)}(\tau )\) with the minimal twist defect \(V_{(0)}(M_3, M_4)\) does not give rise to a new operator, while when \(e+m\) is odd fusing \(S_{(e,m)}(\tau )\) with \(V_{(0)}(M_3,M_4)\) yields \(V_{(1)}(\tau , M_3, M_4)\).
We define the orientation reversal of \(V_{(0)}\) as
which is precisely the orientation reversal of the \({\mathbb {Z}}_4^{\text {EM}}\) defect (E.50) on an open 4d manifold.
6.7.2 Fusion rules of twist defects
We now discuss fusion rules involving the twist defects for N even and \(N\ge 4\).
Fusion rule \(S_{(e,m)}\times V_{(e')}\): The fusion rules between a surface operator and a twist defect are a straightforward generalization of those for \(N=2\). When both of them depend on the same \(\tau \), we have
where \([e]_2 \equiv e\mod 2\).
Fusion rule \(V_{(0)}\times \overline{V}_{(0)}\): We next consider the fusion between two twist defects. Without loss of generality, we only discuss the fusion between minimal twist defects. From (6.44) and (6.48), the fusion \(V_{(0)}\otimes \overline{V}_{(0)}\) is exactly the \({\mathbb {Z}}_4^{\text {EM}}\) topological defect on an interval with Dirichlet boundary conditions on both sides,
where we have used \(S_{(0,1)}(\frac{N}{2}[w_2^{TM}])=1\) on \(M_3\times I\). The sum can further be reduced to one over \(M_3\) by using \(H_2(M_4^{[0,\epsilon ]}, G)= H_2(M_3,G)\), which also allows us to drop the phase in the sum. This gives
6.8 Duality defect in \((3+1)\)d from twist defects in \((4+1)\)d for even N and \(N\ge 4\)
We finally insert the extended defects into the \((4+1)\)d slab and examine their fate upon shrinking the slab. Like in the previous cases, we find the correspondence
6.8.1 \({\mathbb {Z}}_N^{(1)}\) symmetry defects and order parameters from bulk surface operators
For insertions of invertible surfaces, the discussion is identical to the previous cases. In short,
-
1.
The surface operator \(S_{(1,0)}\) can terminate on the boundary orthogonally or be absorbed into the boundary parallelly. Upon shrinking, it survives as a line operator L, which is the order parameter of the \({\mathbb {Z}}_N^{(1)}\) one-form symmetry of the \((3+1)\)d QFT \({{\mathcal {X}}}\).
-
2.
The surface operator \(S_{(0,1)}\), when placed parallel to the boundary, survives upon shrinking. Hence it becomes the symmetry defect \(\eta \) for the \({\mathbb {Z}}_N^{(1)}\) one-form symmetry on the boundary. The surface \(\eta \) can have non-trivial linking with L, which measures the \({\mathbb {Z}}_N^{(1)}\) charge of L.
6.8.2 Duality interface from twist defects
We next insert a twist defect into the \((4+1)\)d slab, giving the configuration shown in Fig. 32. From this we see that the twist defect in the \((4+1)\)d bulk induces a duality interface upon shrinking. Moreover, thanks to the Dirichlet boundary condition of the SymTFT, the resulting duality interface is independent of the type of the twist defect,
In other words, there is only one type of duality interface.
It is interesting to see how the fusion rules of the duality interface are reproduced from those of the twist defects. We start from (6.51). It is useful to introduce the new variables, \(\tau '=\sigma +\sigma '\) and \(\tau =\sigma '-\sigma \). Then \(\tau \) and \(\tau '\) both belong to \(H_2(M_3,{\mathbb {Z}}_N)\) subject to one constraint, namely that there exists a primitive \(\lambda \in H_2(M_3,{\mathbb {Z}}_N)\) such that \(\tau '- \tau =2\lambda \). Then summing over \((\sigma ,\sigma ')\in H_2(M_3,({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2)\) is equivalent to summing over \(\tau , \tau '\in H_2(M_3,{\mathbb {Z}}_N)\) with the constraint that \(\tau '-\tau =2\lambda \) for certain \(\lambda \in H_2(M_3,{\mathbb {Z}}_N)\). Because \(\lambda \) and \(\lambda +N/2\eta \) do not give rise to different \((\tau ,\tau ')\) for arbitrary \(\eta \), the sum over \(H_2(M_3,({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2)\) is further equivalent to summing over \(\tau \in H_2(M_3,{\mathbb {Z}}_N)\) and \(\lambda \in H_2(M_3,{\mathbb {Z}}_{N/2})\). In other words, we have
We further apply the discussion around (6.31), demanding that \(\lambda \in H_2(M_3,M_3,{\mathbb {Z}}_N)\) when colliding with the Dirichlet boundary condition, and correspondingly also changing the normalization \(|H^0(M_3,{\mathbb {Z}}_{N/2})| \rightarrow |H^0(M_3,M_3,{\mathbb {Z}}_{N/2})|=1\). Furthermore, \(S_{(1,1)}(\tau ) \rightarrow S_{(0,1)}(\tau )=\eta (\tau )\). Hence
which is the condensation defect. This matches the fusion rule found in (5.14).
7 \((4+1)\)d Symmetry TFT for Duality Defects
In Sect. 6 we studied the SymTFT for a \((3+1)\)d theory with \({\mathbb {Z}}_N^{(1)}\) global symmetry, and rederived the fusion rules for the duality interface implementing \({\mathbb {Z}}_N^{(1)}\) gauging. In the current section we demand that the \((3+1)\)d theory be self-dual under gauging \({\mathbb {Z}}_N^{(1)}\), which means that the duality interface identified before becomes a duality defect in a single theory. The full symmetry (higher-)category is now some analog of the Tambara-Yamagami category \(TY({\mathbb {Z}}_N)\) in \((1+1)\)d. In order to obtain the SymTFT corresponding to this larger symmetry, we proceed as in \((2+1)\)d by gauging the EM duality symmetry. As before, we do this in two separate ways: first, by tracing the fate of the various topological operators identified in Sect. 6 under gauging; and second, by writing down an explicit expression for the action in terms of twisted cocycles.
7.1 Symmetry TFT for duality defects
We begin by using the topological operators and fusion rules obtained in Sect. 6 to identify the topological operators and fusion rules of the SymTFT after gauging the EM duality symmetry. In Sect. 7.2 we give an independent cocycle rederivation of many of these results.
7.1.1 Topological operators
Recall that in \((2+1)\)d, after gauging the \({\mathbb {Z}}_2^{\text {EM}}\) symmetry the surface operator \(D_{\text {EM}}\) became transparent and the twist defects \(\Sigma _{(e)}\) became genuine line operators. As a result, the SymTFT involved only line operators. In \((4+1)\)d, the spectrum of topological operators after gauging the \({\mathbb {Z}}_4^{\text {EM}}\) symmetry is richer: the SymTFT will have line, surface, and three-manifold operators. Because of this diversity, it will be important to distinguish between local and global fusions of the operators. We begin in this subsection by listing the operators of various dimensions.
Three-manifold operators We begin with the three-manifold operators. These operators descend from the twist defects \(V_{(e)}(\sigma , M_3, M_4)\) in the \({\mathbb {Z}}_N\) gauge theory, which were the boundaries of the four-manifold operator implementing EM duality transformations. Upon gauging EM duality this four-manifold becomes transparent, and \(V_{(e)}(\sigma , M_3, M_4)\) becomes a genuine three-manifold operator \({{\widehat{V}}}_{(e)}(\sigma , M_3)\) (note that throughout this section, we denote the operators in the \({\mathbb {Z}}_4^{\text {EM}}\)-gauged theory with a hat). Recall that for N odd we have \(e=0\), whereas for N even we have \(e=0,1\). When \(e=0\), the dependence on the surface \(\sigma \) drops out.
It is convenient to consider the operators defined on a local patch. Then there are two types of three-manifold operators,
where \({\mathfrak {I}}_3\) is the trivial three-manifold operator. Note that this holds for both even and odd N; for N even \({{\widehat{V}}}_{(0)}\) and \({{\widehat{V}}}_{(1)}\) are indistinguishable on a local three-dimensional patch, though they can be distinguished at the level of local surface operators, as described in the next paragraph.
Surface operators We now turn to surface operators. Before gauging \({\mathbb {Z}}_4^{\text {EM}}\) there were a total of \(N^2\) surface operators \(S_{(e,m)}\) defined in (6.7), which transformed under EM duality as in (6.13). In the current context it is useful to define an equivalent basis of surfaces \({{\widetilde{S}}}_{(e,m)}\) as
where \({{\mathcal {P}}}([\sigma ])\) is the Pontryagin square of the Poincaré dual of \(\sigma \). Unlike for the lines encountered in \((2+1)\)d, for surfaces in \((4+1)\)d the self-pairing \(\langle \sigma , \sigma \rangle \) (and hence \({{\mathcal {P}}}([\sigma ])\)) is not in general trivial, and hence \({{\widetilde{S}}}_{(e,m)}(\sigma )\) is not identical to \(S_{(e,m)}\). The surfaces \({{\widetilde{S}}}_{(e,m)}(\sigma )\) have the virtue of transforming more simply under EM duality,
We may now search for EM invariant combinations of \({{\widetilde{S}}}_{(e,m)}(\sigma )\) which can survive the gauging. A single surface \({{\widetilde{S}}}_{(e,m)}(\sigma )\) is EM invariant in isolation when \((e,m) = (-m,e)\) mod N. For N odd the only solution to this constraint is \((e,m) = (0,0)\), whereas for N even there are two solutions \((e,m) = (0,0)\) and (N/2, N/2). We will denote these surfaces as
This notation can refer either to the operators defined locally on a patch or globally on a surface, though for the latter we will write the surface dependence explicitly, e.g. \({\widehat{S}}_{(0,0)}(\sigma )\).
We may next consider a sum of two surfaces \({{\widetilde{S}}}_{(e,m)} \oplus {{\widetilde{S}}}_{(e',m')}\). This is non-simple in the original theory, but after gauging can become simple. We will assume that neither (e, m) nor \((e',m')\) is itself gauge invariant, lest we obtain a direct sum of the simple surfaces in (7.4). The condition for the sum to be EM invariant is then
For N odd there is only a trivial solution \((e,m)=(e',m')=(0,0)\) which reduces to the first entry in (7.4). For N even, in addition to the trivial solution we may also choose \((e,m) = (N/2, 0)\) and \((e',m') = (0,N/2)\). We will denote the resulting surface by
Likewise we may consider sums of four surfaces,
For N odd there are a total of \({1\over 4}(N^2 - 1)\) such surfaces, while for N even there are a total of \(\left( {N\over 2} \right) ^2 - 1\) of them (and in particular for \(N=2\) there are no surfaces of this type).
Finally we can also consider the non-genuine surface operators that are constrained to live on three-manifolds. For odd N, there is a single type of non-trivial non-genuine surface operator
which is the identity surface living on \({\widehat{V}}_{(0)}\). For even N, there are two types of non-genuine surface operators,
The surface \({\mathfrak {I}}_2({\widehat{V}}_{(1)})\) is obtained by fusing the identity surface living on the boundary \(M_3\) of \(V_{(0)}(M_3,M_4)\) with \(S_{(1,0)}(\sigma )\) before gauging \({\mathbb {Z}}_4^{\text {EM}}\). Note that despite our notation here, \({\mathfrak {I}}_2({\widehat{V}}_{(1)})\) is not the identity surface on a three-manifold \({\widehat{V}}_{(1)}\), and indeed there is no three-manifold operator \({\widehat{V}}_{(1)}\). Instead, it is a non-identity surface on \({\widehat{V}}_{(0)}\).
In summary, the list of non-trivial surfaces is as follows,
The operators labelled with an \({\mathfrak {I}}_2\) are non-genuine surface operators, while those without are genunine surface operators. When \(N=2\), we drop the \({{\widehat{S}}}_{[e,m]}\) in the even N case.
Line operators We finally proceed to the line operators. The spectrum of lines is even richer than for surfaces. Upon gauging the \({\mathbb {Z}}_4^\textrm{EM}\) (or \({\mathbb {Z}}_2^\textrm{EM}\) for \(N=2\)) duality symmetry, one obtains a quantum \({\mathbb {Z}}_4^{(3)}\) (or \({\mathbb {Z}}_2^{(3)}\)) three-form symmetry. This symmetry is generated by a topological line in \((4+1)\)d, which we denote by K in analogy to \((2+1)\)d. This is the only non-trivial genuine line operator in the SymTFT.
We should also consider the non-genuine line operators living on three-manifolds and surfaces. We can first consider the identity operators living on each three-manifold or surface,
The meaning of superscripts 0 will be explained below. Since \({{\widehat{S}}}_{(0,0)}\) is a trivial surface operator, the identity line \({\mathfrak {I}}^0_1({{\widehat{S}}}_{(0,0)})\) living on it is also a trivial, genuine line. The other line operators are non-genuine.
One can now stack the non-trivial genuine line K on top of the line operators in (7.11). First, since the trivial line \({\mathfrak {I}}^0_1({{\widehat{S}}}_{(0,0)})\) can be rewritten as \(K^0\), it is useful to rewrite \(K^q\) as \({\mathfrak {I}}^q_1({{\widehat{S}}}_{(0,0)})\). Here q runs from \(0,\dots , 3\) for \(N>2\), and through 0, 1 for \(N=2\). We then consider stacking K with the non-genuine line operators in (7.11). To determine whether such stacking will generate a new line operator, we apply a discussion similar to the one around Fig. 24. Since the pre-gauged counterparts of \({\mathfrak {I}}_1^0({\widehat{V}}_{(0)})\), \({\mathfrak {I}}_1^0({\widehat{V}}_{(1)})\), and \({\mathfrak {I}}^0_1({{\widehat{S}}}_{(N/2,N/2)})\) are \({\mathbb {Z}}_4^{\text {EM}}\) invariant, attaching a K line to them generates new lines, which we denote by \({\mathfrak {I}}_1^q({\widehat{V}}_{(0)})\), \({\mathfrak {I}}_1^q({\widehat{V}}_{(1)})\), and \({\mathfrak {I}}^q_1({{\widehat{S}}}_{(N/2,N/2)})\), with \(q\simeq q+4\). On the other hand, since each of the pre-gauged counterparts of the constituents of \({\mathfrak {I}}_1^{0}({\widehat{S}}_{[e,m]})\) is not \({\mathbb {Z}}_4^{\text {EM}}\) invariant, the K line can be completely absorbed by \({\mathfrak {I}}_1^{0}({\widehat{S}}_{[e,m]})\). In this case we simply drop the 0 superscript.
Somewhat more subtle is the fact that, although each of the pregauged counterparts of the constituents of \({\mathfrak {I}}_1^{0}({\widehat{S}}_{\{N/2,0\}})\) is not \({\mathbb {Z}}_4^{\text {EM}}\) invariant, they are invariant under the \({\mathbb {Z}}_2^{\text {EM}}\) normal subgroup of \({\mathbb {Z}}_4^{\text {EM}}\). As discussed in Appendix F, this means that \({\mathfrak {I}}_1^{0}({\widehat{S}}_{\{N/2,0\}})\) cannot absorb K, but can absorb \(K^2\). Hence one can still stack K and define \({\mathfrak {I}}_1^{p}({\widehat{S}}_{\{N/2,0\}})\) with \(p\simeq p+2\).
In summary, we have the following line operators,
For \(N=2\), we drop \({\mathfrak {I}}_1({{\widehat{S}}}_{[e,m]})\), take q to be defined mod 2, i.e. \(q=0,1\), and drop the label p on \({\mathfrak {I}}^p_1({{\widehat{S}}}_{\{{N \over 2},0\}})\).
The operators described in (7.1), (7.10), and (7.12) together form the (non-condensate) objects, 1-morphisms, and 2-morphisms of the 3-category of the \((4+1)\)d SymTFT,Footnote 21 We note that all line (resp. surface) operators are endomorphisms of surface (resp. volume) operators. For example, \({\widehat{S}}_{[e,m]}\) in (7.10) is an endomorphism of \({\mathfrak {I}}_3\) in (7.1), and \({\mathfrak {I}}_1({\widehat{S}}_{[e,m]})\) in (7.12) is an endomorphism of \({\widehat{S}}_{[e,m]}\) in (7.10).
7.1.2 Fusion rules for N odd
We now discuss the fusion rules of the topological operators discussed above, starting with the case of N odd. We will be somewhat brief in our presentation here, postponing details (and derivation of the F-symbols) to future work. We will follow the method described in [28], where one first derives the local fusion rules, from which the global fusion rules can then be obtained.
Local fusion of three-manifolds Beginning with local fusions of three-manifold operators, we have simply
Local fusion of surface operators The local fusion rules for the surface operators are
We make some remarks about these fusion rules:
-
1.
The fusion rules amongst \({{\widehat{S}}}_{[e,m]}\) follow straightforwardly from the fusion rules (6.9) amongst \(S_{(e,m)}\) in the ungauged theory. Note that the result depends on the value of (e, m) and \((e',m')\), and we list only two representative cases. In the first case, the condition on (e, m) and \((e',m')\) is such that none of the terms on the right-hand side reduce to \({\widehat{S}}_{(0,0)}\). When this condition is violated, such as in the fusion between two \({\widehat{S}}_{[e,m]}\) of the same charge (given in the second line), one must replace \({\widehat{S}}_{[0,0]}\) by \(4{\widehat{S}}_{(0,0)}\). Let us add a cautionary remark that the first fusion rule in (7.14) does not strictly hold since, before gauging \({\mathbb {Z}}_4^{\text {EM}}\), the global fusion rule \({\widetilde{S}}_{(e,m)}(\sigma )\times {\widetilde{S}}_{(e',m')}(\sigma )= {\widetilde{S}}_{(e+e',m+m')}(\sigma )\) does not hold. One should instead include a phase factor \(e^{\frac{\pi i}{N}(me'-em'){{\mathcal {P}}}([\sigma ])}\) on the right hand side of the fusion rule, and we expect a similar phase in the local fusion. However, if we restrict these operators to a three dimensional submanifold \(M_3\), the phase factor trivializes, and (7.14) holds. For simplicity, we will assume this throughout this section.
-
2.
The fusion rule between \({\mathfrak {I}}_2({{\widehat{V}}}_{(0)})\) and its orientation reversal follows from (6.27) before gauging \({\mathbb {Z}}_4^{\text {EM}}\). Indeed, one can rewrite the global fusion rule (6.27) as
$$\begin{aligned} V_{(0)}(M_3, M_4)\times \overline{V}_{(0)}(M_3, M_4) = \frac{{\mathfrak {I}}_3(M_3)}{{\mathbb {Z}}_N^{(0)}\times {\mathbb {Z}}_N^{(0)}}~, \end{aligned}$$(7.15)where the denominator on the right-hand side means gauging a \({\mathbb {Z}}_N^{(0)}\times {\mathbb {Z}}_N^{(0)}\) symmetry on \(M_3\). Gauging the zero-form symmetry amounts to inserting a mesh of algebra objects, given by \({{\mathcal {A}}}=\bigoplus _{m,n=0}^{N-1} {\widetilde{S}}_{(m,0)}\otimes {\widetilde{S}}_{(0,n)}= \bigoplus _{m,n=0}^{N-1} {\widetilde{S}}_{(m,n)}\). After gauging \({\mathbb {Z}}_4^{\text {EM}}\), we need to recast the algebra object in terms of a linear combination of \({\widehat{S}}_{(0,0)}\) and \({\widehat{S}}_{[e,m]}\),
$$\begin{aligned} {{\mathcal {A}}}= {{\widehat{S}}}_{(0,0)} \oplus \bigoplus _{m=0}^{N-1 \over 2}\bigoplus _{n=1}^{N-1 \over 2} {{\widehat{S}}}_{[n,m]}~. \end{aligned}$$(7.16)We thus conclude that the local fusion rule is \({\mathfrak {I}}_2({{\widehat{V}}}_{(0)}) \otimes \overline{{\mathfrak {I}}_2({{\widehat{V}}}_{(0)})} = {{\mathcal {A}}}\), which is precisely the third fusion rule in (7.14).
-
3.
The fusion rules between \({\mathfrak {I}}_2({{\widehat{V}}}_{(0)})\) and \({{\widehat{S}}}_{[e,m]}\) follow from the fact that \(S_{(e,m)}\) can be absorbed by the twist defect in the ungauged theory.
-
4.
Apart from the fusions discussed above, one can also consider the fusion of two surfaces within the same three manifold (i.e. “composition” of surface operators). For simplicity, we will not consider those fusion rules in this work.
Local fusion of line operators The local fusion rules between line operators are as follows,
The general form of these fusion rules follows from the fusion between two surfaces given in (7.14). The only new feature for the line operators is that one is able to assign charges q by stacking with the quantum line \(K^q\). To ensure that the q indices are assigned consistently on the two sides of the fusion rule, a useful trick is to stack a K line on both sides and see whether it changes the fusion rule to another consistent one. For instance, consider the fifth fusion rule \({\mathfrak {I}}_1({{\widehat{S}}}_{[e,m]})\otimes {\mathfrak {I}}^q_1({{\widehat{V}}}_{(0)})=\bigoplus _{q'=0}^3 {\mathfrak {I}}_1^{q'}({{\widehat{V}}}_{(0)})\). Stacking a K line does not change the left-hand side because \({\mathfrak {I}}_1({{\widehat{S}}}_{[e,m]})\) absorbs the K line, as discussed above. Hence for consistency, the right-hand side should also be able to absorb K. The only way to achieve this is to sum over all \(q'=0,1,2,3\). The same discussion also applies to the fusion between \({\mathfrak {I}}_1({\widehat{S}}_{[e,m]})\) and itself (see the sixth fusion rule). Note that the outcome of the fusion \({\mathfrak {I}}_1({{\widehat{S}}}_{[e,m]}) \otimes {\mathfrak {I}}_1({{\widehat{S}}}_{[e',m']})\) depends on whether any of the following \(e\pm e', e\pm m', m\pm e', m\pm m'\) are 0 mod N. For simplicity, we only listed two representative choices above, which are the last two fusion rules. Other cases can be similarly worked out.
Global fusion from local fusion Given the local fusion rules, one can now construct the global fusion rules by combining local patches together. For instance, consider the global fusion rule between \({\widehat{V}}_{(0)}(M_3)\) and its orientation reversal on \(M_3=S^1\times S^2\). Recall that the relevant local fusion rules are
which implies that the global fusion between \({\widehat{V}}_{(0)}(M_3)\times \overline{{\widehat{V}}_{(0)}}(M_3)\) is the sum of a mesh of the algebra object \({{\mathcal {A}}}\) along every two-cycle of \(M_3\). In particular, when \(M_3= S^1\times S^2\), the only nontrivial two-cycle is \(S^2\), and the only nontrivial one-cycle is \(S^1\). We can define \({\widehat{V}}^q_{(0)}(S^2\times S^1)\) to be
similar to (6.36). Then the global fusion rule is simply
where the normalization \(\frac{1}{N}\) is the standard normalization from gauging a zero form symmetry (i.e. condensing a surface) on a three manifold, \(1/|H^0(S^2\times S^1, {\mathbb {Z}}_N)|^2 =1/N^2\).
From this single example of global fusion, we already encounter the general feature that operators of different dimensions enter the same fusion rule. In contrast, in local fusion rules all the operators entering a given fusion rule are of the same dimension—objects fuse with objects, 1-morphisms fuse with 1-morphisms, etc. This distinction was not present in the \((2+1)\)d case discussed in Sect. 4, since there all operators were lines.
7.1.3 Fusion rules for N even
We now move on to the case of N even (in the case of \(N=2\), one simply drops the fusion rules involving \({{\widehat{S}}}_{[e,m]}\) and restricts q to be \({\mathbb {Z}}_2\)-valued). We will again be brief, leaving details to future work.
Local fusion of three manifolds Beginning with local fusions of three-manifold operators, we have
Local fusion of surface operators The local fusion rules between surface operators take the following form,
The derivation of these fusion rules is mostly the same as for the odd N case. Let us comment only on some of the new features,
-
1.
There are two non-genuine surface operators coming from the twist defects, \({\mathfrak {I}}_2({{\widehat{V}}}_{(0)})\) and \({\mathfrak {I}}_2({{\widehat{V}}}_{(1)})\). Before gauging \({\mathbb {Z}}_4^{\text {EM}}\), we know from (6.51) that the global fusion rule between \(V_{(0)}\) and its orientation reversal is
$$\begin{aligned} V_{(0)}(M_3, M_4)\times \overline{V}_{(0)}(M_3, M_4) = \frac{{\mathfrak {I}}_3(M_3)}{({\mathbb {Z}}_N^{(0)}\times {\mathbb {Z}}_N^{(0)})/{\mathbb {Z}}_2^{(0)}}~. \end{aligned}$$(7.23)This implies that the right-hand side is a condensation of the algebra object of \(({\mathbb {Z}}_N^{(0)}\times {\mathbb {Z}}_N^{(0)})/{\mathbb {Z}}_2^{(0)}\), which is given by the surface
$$\begin{aligned} {{\mathcal {A}}}= \bigoplus _{\begin{array}{c} m,n=0\\ (m,n)\simeq (m+\frac{N}{2}, n+\frac{N}{2}) \end{array}}^{N-1} {\widetilde{S}}_{(m+n, n-m)} = \bigoplus _{\begin{array}{c} m,n=0\\ m+n\in 2{\mathbb {Z}} \end{array}}^{N-1} {\widetilde{S}}_{(m,n)}~. \end{aligned}$$(7.24)After gauging, one should express the right-hand side of the above in terms of the operators invariant under \({\mathbb {Z}}_4^{\text {EM}}\). It turns out that the result depends on whether N/2 is even or odd, and yields the expression in the first fusion rule of (7.22). For the second fusion rule, the algebra object before gauging \({\mathbb {Z}}_4^{\text {EM}}\) should instead be \({{\mathcal {A}}}'= \bigoplus _{\begin{array}{c} m,n=0\\ m+n\in 2{\mathbb {Z}}+1 \end{array}}^{N-1} {\widetilde{S}}_{(m,n)}\). Rewriting in terms of \({\mathbb {Z}}_4^{\text {EM}}\) invariant surfaces, one finds the right-hand side of the second fusion rule of (7.22), which again depends on the parity of N/2.
-
2.
For even N, there are additional genuine surface operators \(S_{(N/2, N/2)}\) and \(S_{\{N/2,0\}}\). When fusing \(S_{\{N/2,0\}}\) with \({\mathfrak {I}}_2({{\widehat{V}}}_{(e)})\) one gets two copies of \({\mathfrak {I}}_2({{\widehat{V}}}_{(e)})\) for even N/2, and two copies of \({\mathfrak {I}}_2({{\widehat{V}}}_{(e+1)})\) for odd N/2. This follows from the definition of \(V_{(1)}\) before gauging.
Local fusion of line operators The local fusion rules between lines are as follows,
Many of these fusion rules, including the first two, follow from those for surfaces in (7.22). Let us make some remarks about the features that were not present in the cases already discussed:
-
1.
Note that the non-genuine line \({\mathfrak {I}}_1({{\widehat{S}}}_{\{N/2,0\}})\) can be assigned a \({\mathbb {Z}}_2\) charge \([q]_2\). Here, we take \(q\in {\mathbb {Z}}_4\), and denote its mod 2 reduction as \([q]_2\), i.e. \([q]_2= q\mod 2\). This is described in Appendix F.
-
2.
It is useful to check that both sides of the fusion rule \( {\mathfrak {I}}^q_1({{\widehat{V}}}_{(e)}) \otimes {\mathfrak {I}}^{[q']_2}_1({{\widehat{S}}}_{\{N/2,0\}}) = {\mathfrak {I}}^{q+q'}_1({{\widehat{V}}}_{(e+N/2)})\oplus {\mathfrak {I}}^{q+q'+2}_1({{\widehat{V}}}_{(e+N/2)})\) depend on \(q'\) only via its mod 2 reduction. In other words, one can check that the result does not change under shifting \(q'\rightarrow q'+2\).
-
3.
We should make a cautionary remark that the \(+2e\) shift of the q charge assignment on the right-hand side of the fusion rule \({{\mathfrak {I}}^q_1({{\widehat{V}}}_{(e)}) \otimes {\mathfrak {I}}^{q'}_1({{\widehat{S}}}_{(N/2,N/2)}) = {\mathfrak {I}}^{q+q'+2e}_1({{\widehat{V}}}_{(e)})}\) is at present conjectural, and is motivated by the lower-dimensional calculation in Sect. 4.1. To actually prove the presence of this shift, one must measure the charge of the junction between the three lines by wrapping a 4d condensation defect around it. This is analogous to the computation performed in Appendix B for \((2+1)\)d. We will leave this calculation to future work.
7.2 Twisted cocycle description
We close our analysis of the \((4+1)\)d SymTFT by presenting an explicit twisted cocycle description of the theory. As in \((2+1)\)d, our starting point is the BF theory (6.1). We will find it more useful to write this in K-matrix form,
where \({\textbf{b}}= (b,{{\widehat{b}}})\) is a two component cochain valued in \({\mathbb {Z}}\) and \(K=i\sigma ^y\).Footnote 22 Note that K is no longer symmetric as it was in \((2+1)\)d, due to the anticommutativity properties of form fields in \((4+1)\)d.
As before, our goal is to gauge \({\mathbb {Z}}_4^{\textrm{EM}}\) (or \({\mathbb {Z}}_2^{\textrm{EM}}\) for \(N=2\)). We begin by coupling to a background gauge field C, which as in \((2+1)\)d amounts to promoting \({\textbf{b}}\) to a twisted cocycle. This modifies the gauge transformation of \({\textbf{b}}\) to
The action then becomes
where the integrand in components reads
The action is invariant under the dynamical gauge transformation (7.27) as well as the background gauge transformations
Gauging the \({\mathbb {Z}}_4^{\textrm{EM}}\) symmetry amounts to promoting C to a dynamical field c, giving
where x is a \({\mathbb {Z}}_4\)-valued 3-cochain. See Appendix B of [76] for more details on twisted cocycles.
As in \((2+1)\)d, the complicated dependence on c in the kinetic term means that c is now flat only on-shell, and hence the action is no longer invariant under the gauge transformations in (7.27). Instead, we must restrict to gauge transformations satisfying the analog of (4.31), namely
This constraint will allow surfaces to end on sources of flux for c, which will give rise to junctions. Note however that unlike in the case of \((2+1)\)d for which the constraint on \({\textbf{g}}\) in the presence of non-trivial c flux was \((1,-1){\textbf{g}}=0\), the above constraint on \({\textbf{h}}\) instead requires \({\textbf{h}}=(0,0)^T\) for N odd, and \({\textbf{h}} = (0,0)^T\) or \((N/2, N/2)^T\) for N even. This will give rise to more potential junctions than in lower dimensions.
7.2.1 Operators in symmetry TFT
We now give a description of the gauge-invariant operators of the theory, beginning with surface operators. The full gauge transformations for the theory are
with \({\textbf{h}}\) constrained to satisfy (7.32).
Surface operators We may first consider the invertible surface operators, given by
This operator is identical to the one defined in (7.2). We recall that, due to the non-commutativity of b and \({{\widehat{b}}}\), the surface \({{\widetilde{S}}}_{{\textbf{n}}}\) differs from the surface \(S_{{\textbf{n}}}\) defined in (6.7) by a phase, i.e. \({\widetilde{S}}_{{\textbf{n}}}(\sigma )= {S}_{{\textbf{n}}}(\sigma ) e^{\frac{\pi i}{N} n_1 n_2 {{\mathcal {P}}}([\sigma ])}\), where \({{\mathcal {P}}}([\sigma ])\) is the Pontryagin square of the Poincaré dual of \(\sigma \) and \(n_{1,2}\) are the two components of \({\textbf{n}}\). We prefer to use \({\widetilde{S}}_{{\textbf{n}}}(\sigma )\) because it transforms simply as \({\widetilde{S}}_{{\textbf{n}}}\rightarrow {\widetilde{S}}_{K{\textbf{n}}}\) under \({\mathbb {Z}}_4^{\text {EM}}\), and hence it is \({\mathbb {Z}}_4^{\text {EM}}\) invariant if and only if \({\textbf{n}}^T K = {\textbf{n}}^T\). A straightforward analysis paralleling that in Sect. 7.1.1 then reproduces the spectrum of gauge-invariant surfaces \({{\widehat{S}}}_{[e,m]}\).
Line and 3-manifold operators In addition to the surface operators studied above, there is also a topological line operator
generating the \({\widehat{{\mathbb {Z}}}}_4\) symmetry quantum dual to \({\mathbb {Z}}_4^{\textrm{EM}}\). There is also a three-manifold operator
but as in \((2+1)\)d this is generically non-topological since x is not closed in general. However, with appropriate restrictions on b and \({{\widehat{b}}}\) the field x can become closed. For odd N, we require \(b = {{\widehat{b}}}=0\) at the locus \(M_3\).Footnote 23 We may then construct three-manifold operators \({{\widehat{V}}}_{(0)}(M_3)\) via
which are the images of the twist defects upon gauging \({\mathbb {Z}}_4^{\textrm{EM}}\). The normalization is chosen to match the fusion rules derived in Sect. 7.1. The delta functions may alternatively be rewritten as
For even N, we instead require that \((b,{\widehat{b}})\) be trivial as an element in \(H^2(M_3, ({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2)\) on the defect locus. We may then construct the three-manifold operator \({\widehat{V}}_{(0)}(M_3)\) via
where the delta function can be rewritten as
The remaining twist defects \({{\widehat{V}}}_{(1)} (\sigma , M_3)\) can then be obtained by stacking with \(S_{(1,0)}\) as before. We can also consider the 1-endomorphisms and 2-endomorphisms on the three manifolds and surfaces, which give rise to non-genuine surfaces and lines. The discussion is similar to that in Sect. 7.1.1, and hence we will not repeat it here.
7.2.2 Junctions and local fusion rules
We now ask about gauge-invariant junctions between the operators above. The analysis here is done following that in Sect. 4.2.3. We begin by considering \({{\widetilde{S}}}_{(e,m)}\) on a 2-chain \(\sigma \) with boundary. Such a configuration is not gauge-invariant, but instead transforms as
Since the gauge-invariant operators \({{\widehat{S}}}_{[e,m]}\) are built out of these surfaces, in order for them to be well-defined in the presence of a boundary, one of the following must be satisfied:
-
The surface ends on a line together with other surfaces \({{\widehat{S}}}_{[e,m]}\) such that the total charge cancels.
-
The surface ends on a locus with non-zero c flux.
The first of these allows for gauge-invariant junctions between three surface defects,
This then gives rise to a number of junctions between gauge-invariant surface operators. When all are accounted for, we obtain precisely the same fusion rules as in (7.14) and (7.22).
On the other hand, we may also consider the surfaces ending on a locus with non-zero c flux. In this case Eq. (7.32) enforces \({\textbf{h}}= (0,0)^T\) or \((N/2, N/2)^T\), with the latter only possible when N is even. Assuming first that N is odd, we have \({\textbf{h}}= (0,0)^T\) and hence any surface is allowed to end on \({{\widehat{V}}}_{(0)}\). However, we cannot really discuss trivalent junctions of \({{\widehat{S}}}_{[e,m]}\) and \({{\widehat{V}}}_{(0)}\) directly, since the former is supported on a surface while the latter is supported on a three-manifold. Instead, we can summarize the above observation by saying that the identity surface in \({{\widehat{V}}}_{(0)}\), which we previously denoted by \({\mathfrak {I}}_2({{\widehat{V}}}_{{(0)}})\), admits a trivalent junction with \({{\widehat{S}}}_{[e,m]}\) of the form
This is consistent with the last local fusion rule in (7.14).
For N even, we instead allow both \({\textbf{h}}= (0,0)^T\) and \((N/2, N/2)^T\) at loci of non-zero c flux. Under the latter, we have from (7.41) that \({{\widetilde{S}}}_{(e,m)}(\sigma )\) transforms as
which means that only operators \({{\widehat{S}}}_{(e,m)}\) with \(e+m\) even can end on \({{\widehat{V}}}_{(0)}\), giving trivalent junctions of the form \({\mathfrak {I}}_2({{\widehat{V}}}_{{(0)}})\subset {{\widehat{S}}}_{[e,m]} \otimes {\mathfrak {I}}_2({{\widehat{V}}}_{{(0)}}) \). Contrarily, when \(e+m\) is odd \({{\widehat{S}}}_{[e,m]}\) cannot end alone, but can form a trivalent junction
since the gauge non-invariance of \({\mathfrak {I}}_2({{\widehat{V}}}_{{(1)}})\) at the boundary (coming from the gauge non-invariance of \(S_{(1,0)}\)) precisely cancels that in (7.44). These reproduce the local fusion rule of the surfaces in (7.22), and we see that a trivalent junction is allowed (by gauge invariance) whenever the three surface operators appear in the same fusion rule in (7.14) and (7.22). Similar techniques could be used to study trivalent junctions between lines, but we leave this to future work.
Let us close by mentioning that one might aim to use the Hopf linking of the operators above, which are readily computed, to define some higher analog of the S-matrix, along the lines of [77, 78]. We do not comment on this further here.
8 Application: Intrinsic Versus Non-intrinsic Non-invertible Duality Defects
In this final section we briefly discuss one application of SymTFTs, namely to the determination of whether a given duality defect is intrinsically non-invertible or not. We will only discuss the case of \((1+1)\)d bosonic theories, with the results for spin theories or theories in \((3+1)\)d left for future work.
8.1 Topological manipulations
Given any \((1+1)\)d QFT \({{\mathcal {X}}}\) with a non-anomalous \({\mathbb {Z}}_N^{(0)}\) zero-form symmetry, one can define a non-trivial topological manipulation \(\sigma _{r}\) for any r dividing N, defined by gauging the \({\mathbb {Z}}_r\) normal subgroup of \({\mathbb {Z}}_N\). In terms of partition functions, we have
where A is a \({\mathbb {Z}}_r\) background field, \(A'\) is a \({\mathbb {Z}}_{N/r}\) background field, and \({\tilde{A}}'\) is its \({\mathbb {Z}}_N\) lift. The combination \(\frac{N}{r}a + {\tilde{A}}'\) is a \({\mathbb {Z}}_N\) gauge field. After gauging \({\mathbb {Z}}_{r}\), the non-anomalous \({\mathbb {Z}}_N\) symmetry becomes a product symmetry \({\mathbb {Z}}_r\times {\mathbb {Z}}_{N/r}\) with a nontrivial mixed anomaly between them [9]. The anomaly is given by \(e^{\frac{2\pi i}{r}\int _{X_3} A \beta (A') }\) where \(\beta (A')\) is defined by the symmetry extension \(1\rightarrow {\mathbb {Z}}_r\rightarrow {\mathbb {Z}}_N \rightarrow {\mathbb {Z}}_{N/r}\rightarrow 1\) specified by \(\delta a = \beta (A)\).
Starting from \(\sigma _r {{\mathcal {X}}}\), there are two topological manipulations that one can perform. The first, which we denote by \(\tau \) is stacking with a \({\mathbb {Z}}_r\times {\mathbb {Z}}_{N/r}\) SPT,
The second is gauging of a \({\mathbb {Z}}_{r'}\) subgroup of \({\mathbb {Z}}_{r}\times {\mathbb {Z}}_{N/r}\). The resulting theory has the global symmetry \({\mathbb {Z}}_{r'}\times \frac{{\mathbb {Z}}_{r}\times {\mathbb {Z}}_{N/r}}{{\mathbb {Z}}_r'}\) with an appropriate mixed anomaly. One can then perform suitable \(\sigma \) or \(\tau \) transformations on the resulting theory.
Suppose that the theory \({{\mathcal {X}}}\) is invariant under gauging \({\mathbb {Z}}_N\) (up to an Euler counterterm), i.e.
If this is the case, then as we have seen above \({{\mathcal {X}}}\) admits a Tambara-Yamagami extension of its \({\mathbb {Z}}_N\) symmetry. We now ask if, starting from \({{\mathcal {X}}}\), we can perform a sequence of topological manipulations \(\phi \) such that the \(TY({\mathbb {Z}}_N)\) category of \({{\mathcal {X}}}\) is replaced by a group-like category \(\phi (TY({\mathbb {Z}}_N))\) in a theory \(\phi ({{\mathcal {X}}})\). The non-invertible symmetry is referred to as non-intrinsic or intrinsic depending on if such a \(\phi \) exists or does not exist,
Because the possible set of topological manipulations is complicated when N is large, it is difficult to enumerate all possible chains of \(\sigma _r\) and \(\tau \) operations and demonstrate that such a topological manipulation \(\phi \) does or does not exist.
On the other hand, the SymTFT allows us to answer this question rather straightforwardly. This is due to two basic facts, both of which have been used throughout this paper:
-
1.
The SymTFT is an invariant under topological manipulations,
-
2.
The SymTFT for group-like symmetries is a Dijkgraaf-Witten theory.
What this means is that the duality defect in TY(G) is non-intrinsically non-invertible if and only if the SymTFT is a bosonic Dijkgraaf-Witten theory. Using the explicit form of the SymTFT obtained in Sect. 4, we may now propose a sufficient criteria for when the duality defect of \(TY({\mathbb {Z}}_N)\) is non-intrinsically non-invertible.
8.2 A sufficient condition for non-intrinsically non-invertible symmetry
Our goal is to see whether the SymTFT of \(TY({\mathbb {Z}}_N)\) obtained in Sect. 4 is a DW theory. Recall that a \((2+1)\)d DW theory is a finite group gauge theory with gauge group G (which can be non-abelian), and which is specified by an element in the group cohomology \(H^3(BG, U(1))\). A line in a DW theory is specified by the data [80,81,82]
where [g] is an element of a conjugacy class of G, and \(\rho _{g}\) is an irreducible projective representation of G satisfying
with \(\omega _3(g,h,k)\in H^3(BG, U(1))\). The irreducible projective representation depends only on the conjugacy class [g], and not on the choice of specific element g inside a given conjugacy class. The quantum dimension of the line is given by the dimension of the irreducible projective representation,
As a consequence, the quantum dimension of any line in a DW theory is an integer. For example, the DW theory with gauge group \({\mathbb {Z}}_2\times {\mathbb {Z}}_2\times {\mathbb {Z}}_2\) and group cohomology class \(\omega _{3}(g,h,k)=e^{i \pi g_1 h_2 k_3}\) has 8 lines of quantum dimension 1 and 7 lines of quantum dimension 2 [82]. The field theory and its line operators are discussed in [83].
In contrast, the SymTFT for \(TY({\mathbb {Z}}_N)\) contains non-invertible lines with quantum dimension \(\sqrt{N}\), which is not an integer unless \(N=n^2\) is a perfect square. We therefore conclude that when N is not a perfect square, a QFT with \(TY({\mathbb {Z}}_N)\) symmetry category cannot be mapped to another QFT with only invertible symmetry via topological manipulations, which is consistent with the result in [65]. In other words, the duality defect for \(TY({\mathbb {Z}}_N)\) with N not a perfect square is always intrinsically non-invertible.
Notes
The qualifier “generalized” here refers to the fact that the relevant invertible phases are not restricted to group cohomology elements.
To fully specify the category TY(G), one must specify more than just the fusion rules; the additional data required is the Frobenius-Schur indicator \(\varepsilon \in {\mathbb {Z}}_2\) together with a bicharacter \(\chi \in H^2(G,U(1))\). In this paper we will mostly work with the case of trivial \(\varepsilon \) and \(\chi \).
It is known that in \((2+1)\)d, given a spherical fusion category \({{\mathcal {C}}}\), one can define the Turaev-Viro theory of \({{\mathcal {C}}}\) as an extended TQFT, which is equivalent to Reshetikhin-Turaev theory on the Drinfeld center \({{\mathcal {Z}}}({{\mathcal {C}}})\) [63]. For fusion higher-categories, the authors expect that a similar statement holds—namely that the defects of the SymTFT are captured by the Drinfeld center of the corresponding fusion higher-category—though they are unaware of a definition of Reshetikhin-Turaev theory in higher dimensions.
In obtaining this result, one uses the fact that \(|H^n(X_2,{\mathbb {Z}}_N)|= |H^{2-n}(X_2,{\mathbb {Z}}_N)|\) for closed \(X_2\). For the case of open manifolds \(X_2^{\ge 0}\) with boundary \(M_1|_0\), to be discussed below, absolute cohomology should be switched to relative cohomology, i.e. \(|H^n(X_2^{\ge 0}{\mathbb {Z}}_N)|= |H^{2-n}(X_2^{\ge 0}, M_1|_{0}, {\mathbb {Z}}_N)|\).
We remind the reader that \(C^n\) is the set of n-cochains, \(Z^n\subset C^n\) is the set of n-cocycles, and \(B^n\subset Z^n\) is the set of exact n-cocycles.
As mentioned around (2.3), this piece could be removed by modifying the definition of gauging by an appropriate Euler counterterm.
Note that via Lefschetz duality \(H^n(M_2,M_1,{\mathbb {Z}}_N) \simeq H_{2-n}(M_2,{\mathbb {Z}}_N)\), so the homology in the summand is still absolute.
Let us mention that in \((2+1)\)d, one can twist the gauging by stacking with an SPT for the \({\mathbb {Z}}_N^{(0)}\) zero-form symmetry, which is classified by \(H^3(B{\mathbb {Z}}_N, U(1))\). This could give rise to different variants of the Tambara-Yamagami category. In this work, we consider only the untwisted gauging.
Our derivation is similar to the approach in [28], where only the fusion rules of topological lines with integer quantum dimensions were discussed. Here we will extensively discuss the fusion rules involving topological lines with non-integer quantum dimensions, i.e. those descending from twist defects.
We will be mainly discussing things at a local level, with each line operator \(L_{(e,m)}\) is supported on a small interval. The direct sum/product between operators in such a small patch will be denoted by \(\oplus , \otimes \). Note however that since all the operators in the SymTFT of \(TY({\mathbb {Z}}_N)\) are lines, the local fusion coincides with the global fusion, and thus it is equally fine to change \(\oplus ,\otimes \) to \(+, \times \). The distinction will only be important in higher dimensions.
We use the word “simple” here in the sense of category theory, where an object a is simple if \(\textrm{Hom}(a,a)\) is one-dimensional.
We hope that the reader will not confuse the K-matrix here with the quantum line K defined above.
We assume \(\gamma \) to be connected so that \(H^0(\gamma ,{\mathbb {Z}}_N)={\mathbb {Z}}_N\).
Indeed, by rewriting the surface operator as \(S_{(1,1)}(\sigma )= e^{2\pi i/N \int _{\sigma } b} e^{2\pi i/N \int _{\sigma } {\widehat{b}}} = e^{2\pi i/N \int _{M_4} b_{\sigma }\cup b}e^{2\pi i/N \int _{M_4} b_{\sigma }\cup {\widehat{b}}}\) where \(b_{\sigma }\) is the Lefschetz dual of \(\sigma \) on \(M_4\), summing over the surfaces \(\sigma \) amounts to summing over 2-cohomologies \(b_{\sigma }\). The Dirichlet boundary condition means that \(b_{\sigma }\) takes value in relative cohomology \(H^2(M_4,M_3,{\mathbb {Z}}_N)\). By Lefschetz duality, \(\sigma \) takes value in standard, absolute homology \(H_2(M_4, {\mathbb {Z}}_N)\). Similar statements hold for \(\sigma '\).
We emphasize that there are two Dirichlet boundary conditions appearing in the current discussion. One is the Dirichlet boundary condition for \([\sigma ]\) and \([\sigma ']\) on the boundary \(M_3\) of the twist defect, while the other is the Dirichlet boundary condition for the gauge field b in the ambient SymTFT.
This is because \(w_2^{TM}\) is always trivial on any 3d oriented manifold, i.e. they are all spin manifolds. It follows that the product space \(M_4^{[0,\epsilon ]}\) is also spin.
One may wonder about the subtlety of absolute versus relative homology discussed around (6.31). Note that \(S_{(1,1)}(\sigma ) = e^{i \pi \int _{\sigma } b+{\widehat{b}}}\). Because b obeys Dirichlet boundary conditions while \({\widehat{b}}\) obeys Neumann boundary conditions, the sum \(b+{\widehat{b}}\) is still Neumann, and hence \(\sigma \) is still in absolute homology. The same comment also applies to the fusion rule of duality defects in \((1+1)\)d in Sect. 3.4.
In general, a \((4+1)\)d TFT can contain 0-, 1-, 2-, 3- and 4-dimensional operators forming a monoidal 4-category. The 3-category in the main text is the endo-category on the trivial 4-dimensional operator. By [73, Theorem 4] when there is no nontrivial point operator in a \((4+1)\)d TFT, all the 4-dimensional operators are condensation operators.
Once again, we hope that the reader will not confuse the K matrix here with the generator K of the quantum symmetry.
This is chosen such that K acts as the identity on \({\textbf{b}}=(b, {{\widehat{b}}})\), and hence such that c drops out of the kinetic term of (7.31) and can act as a proper Lagrange multiplier field for x.
In Sect. 6, since the operators are surfaces, we use the notation \(S_{(e,m)}\) instead of \(L_{(e,m)}\).
To carry out the canonical quantization, we switch back to differential form notation. Let us assume \(k=1\) for simplicity; higher k can be similarly derived, but with more indices. Canonical quantization in the usual way yields \([b_x(p), a_y(p')]=iN/2\pi \delta (p-p')\), and then using the Baker-Campbell-Hausdorff formula, we obtain \(e^{2\pi i/N \oint _{x} a_x} e^{2\pi i/N \oint _{y} b_y}= e^{(2\pi i/N)^2 i (N/2\pi )}e^{2\pi i/N \oint _{x} b_y} e^{2\pi i/N \oint _{x} a_x}=e^{-2\pi i/N }e^{2\pi i/N \oint _{y} b_y} e^{2\pi i/N \oint _{x} a_x}\).
Note that the symmetry properties of the linking number and the intersection pairing are opposite. We have \({\langle {M_k,M_k'}\rangle }= (-1)^k {\langle {M_k',M_k}\rangle }\), but \(\text {link}(M_k, M_k')= (-1)^{k+1} \text {link}(M_k',M_k)\). Hence when the intersection pairing is even (odd), the linking number is odd (even).
For simplicity, we work only with the case in which the Frobenius-Schur indicator is trivial.
Note that C is the 4d charge conjugation defect, which should not be confused with the 3d condensation defect \({{\mathcal {C}}}\) defined in (6.33).
We thank Ryohei Kobayashi for discussions and a note which lead us to this construction.
Note that this surface operator exchanges \(e\leftrightarrow m\). It can be shown that this operator is a composition of \(D_{m\psi } D_{e\psi } D_{m\psi }\), where \(D_{m\psi }\) and \(D_{e\psi }\) are operators exchanging \(m \leftrightarrow \psi \) and \(e\leftrightarrow \psi \), respectively. One has \(D_{m\psi }= \frac{|H^0(M_4,{\mathbb {Z}}_2)|}{|H^1(M_4,{\mathbb {Z}}_2)|} \sum _{\sigma \in H_2(M_4,{\mathbb {Z}}_2)} \exp \left( \frac{i \pi }{2} \int {{\mathcal {P}}}(\text {PD}(\sigma )) \right) S_{(1,0)}(\sigma )\), and \(D_{e\psi }= \frac{|H^0(M_4,{\mathbb {Z}}_2)|}{|H^1(M_4,{\mathbb {Z}}_2)|} \sum _{\sigma \in H_2(M_4,{\mathbb {Z}}_2)} \exp \left( \frac{i \pi }{2} \int {{\mathcal {P}}}(\text {PD}(\sigma )) \right) S_{(0,1)}(\sigma )\), where \(\text {PD}(\sigma )\) is the Poincaré dual of \(\sigma \).
As an analogy, summing over \((a,b)\in ({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2\) amounts to choosing one element in the pair \((a,b) \sim (a+\frac{N}{2}, b+\frac{N}{2})\) and summing over the \(N^2/2\) choices of pairs. The sum is independent of the choice thanks to gauge invariance.
References
Verlinde, E.: Fusion rules and modular transformations in 2d conformal field theory. Nucl. Phys. B 300, 360–376 (1988)
Petkova, V.B., Zuber, J.B.: Generalized twisted partition functions. Phys. Lett. B 504, 157–164 (2001). https://doi.org/10.1016/S0370-2693(01)00276-3. arXiv:hep-th/0011021
Fuchs, J., Runkel, I., Schweigert, C.: TFT construction of RCFT correlators 1. Partition functions. Nucl. Phys. B 646, 353–497 (2002). https://doi.org/10.1016/S0550-3213(02)00744-7. arXiv:hep-th/0204148
Davydov, A., Kong, L., Runkel, I.: Field theories with defects and the centre functor, arXiv:1107.0495 [math.QA]
Bhardwaj, L., Tachikawa, Y.: On finite symmetries and their gauging in two dimensions. JHEP 03, 189 (2018). https://doi.org/10.1007/JHEP03(2018)189. arXiv:1704.02330 [hep-th]
Chang, C.-M., Lin, Y.-H., Shao, S.-H., Wang, Y., Yin, X.: Topological defect lines and renormalization group flows in two dimensions. JHEP 01, 026 (2019). https://doi.org/10.1007/JHEP01(2019)026. arXiv:1802.04445 [hep-th]
Lin, Y.-H., Okada, M., Seifnashri, S., Tachikawa, Y.: Asymptotic density of states in 2d CFTs with non-invertible symmetries, arXiv:2208.05495 [hep-th]
Komargodski, Z., Ohmori, K., Roumpedakis, K., Seifnashri, S.: Symmetries and strings of adjoint \(\text{ QCD}_{2}\). JHEP 03, 103 (2021). https://doi.org/10.1007/JHEP03(2021)103. arXiv:2008.07567 [hep-th]
Tachikawa, Y.: On gauging finite subgroups. SciPost Phys. 8(1), 015 (2020). https://doi.org/10.21468/SciPostPhys.8.1.015. arXiv:1712.09542 [hep-th]
Frohlich, J., Fuchs, J., Runkel, I., Schweigert, C.: Kramers-Wannier duality from conformal defects. Phys. Rev. Lett. 93, 070601 (2004). https://doi.org/10.1103/PhysRevLett.93.070601. arXiv:cond-mat/0404051
Frohlich, J., Fuchs, J., Runkel, I., Schweigert, C.: Duality and defects in rational conformal field theory. Nucl. Phys. B 763, 354–430 (2007). https://doi.org/10.1016/j.nuclphysb.2006.11.017. arXiv:hep-th/0607247
Frohlich, J., Fuchs, J., Runkel, I., Schweigert, C.: Defect lines, dualities, and generalised orbifolds. In: 16th International Congress on Mathematical Physics (2009). https://doi.org/10.1142/9789814304634_0056
Carqueville, N., Runkel, I.: Orbifold completion of defect bicategories. Quantum Topol. 7(2), 203–279 (2016). https://doi.org/10.4171/qt/76. arXiv:1210.6363 [math.QA]
Brunner, I., Carqueville, N., Plencner, D.: A quick guide to defect orbifolds. Proc. Symp. Pure Math. 88, 231–242 (2014). https://doi.org/10.1090/pspum/088/01456. arXiv:1310.0062 [hep-th]
Huang, T.-C., Lin, Y.-H., Seifnashri, S.: Construction of two-dimensional topological field theories with non-invertible symmetries. JHEP 12, 028 (2021). https://doi.org/10.1007/JHEP12(2021)028. arXiv:2110.02958 [hep-th]
Thorngren, R., Wang, Y.: Fusion category symmetry I: Anomaly in-flow and gapped phases, arXiv:1912.02817 [hep-th]
Thorngren, R., Wang, Y.: Fusion Category Symmetry II: Categoriosities at \(c\) = 1 and Beyond, arXiv:2106.12577 [hep-th]
Lootens, L., Delcamp, C., Ortiz, G., Verstraete, F.: Dualities in one-dimensional quantum lattice models: symmetric Hamiltonians and matrix product operator intertwiners, arXiv:2112.09091 [quant-ph]
Huang, T.-C., Lin, Y.-H., Ohmori, K., Tachikawa, Y., Tezuka, M.: Numerical evidence for a Haagerup conformal field theory. Phys. Rev. Lett. 128(23), 231603 (2022). https://doi.org/10.1103/PhysRevLett.128.231603. arXiv:2110.03008 [cond-mat.stat-mech]
Inamura, K.: Fermionization of fusion category symmetries in 1+1 dimensions, arXiv:2206.13159 [cond-mat.str-el]
Kaidi, J., Ohmori, K., Zheng, Y.: Kramers-Wannier-like duality defects in (3+1)d gauge theories, arXiv:2111.01141 [hep-th]
Choi, Y., Cordova, C., Hsin, P.-S., Lam, H.T., Shao, S.-H.: Non-invertible duality defects in 3+1 dimensions, arXiv:2111.01139 [hep-th]
Koide, M., Nagoya, Y., Yamaguchi, S.: Non-invertible topological defects in 4-dimensional \({\mathbb{Z}}_2\) pure lattice gauge theory, arXiv:2109.05992 [hep-th]
Choi, Y., Cordova, C., Hsin, P.-S., Lam, H. T., Shao, S.-H.: Non-invertible condensation, duality, and triality defects in 3+1 dimensions, arXiv:2204.09025 [hep-th]
Hayashi, Y., Tanizaki, Y.: Non-invertible self-duality defects of Cardy-Rabinovici model and mixed gravitational anomaly, arXiv:2204.07440 [hep-th]
Arias-Tamargo, G., Rodriguez-Gomez, D.: Non-invertible symmetries from discrete gauging and completeness of the spectrum, arXiv:2204.07523 [hep-th]
Roumpedakis, K., Seifnashri, S., Shao, S.-H.: Higher gauging and non-invertible condensation defects, arXiv:2204.02407 [hep-th]
Bhardwaj, L., Bottini, L., Schafer-Nameki, S., Tiwari, A.: Non-invertible higher-categorical symmetries, arXiv:2204.06564 [hep-th]
Kaidi, J., Zafrir, G., Zheng, Y.: Non-invertible symmetries of \({\cal{N}}=4\) SYM and twisted compactification, arXiv:2205.01104 [hep-th]
Choi, Y., Lam, H.T., Shao, S.-H.: Non-invertible global symmetries in the standard model, arXiv:2205.05086 [hep-th]
Cordova, C., hmori, K.: Non-invertible chiral symmetry and exponential hierarchies, arXiv:2205.06243 [hep-th]
Antinucci, A., Galati, G., Rizi, G.: On continuous 2-category symmetries and Yang-Mills theory, arXiv:2206.05646 [hep-th]
Bashmakov, V., Del Zotto, M., Hasan, A.: On the 6d origin of non-invertible symmetries in 4d, arXiv:2206.07073 [hep-th]
Damia, J.A., Argurio, R., Tizzano, L.: Continuous generalized symmetries in three dimensions, arXiv:2206.14093 [hep-th]
Damia, J.A., Argurio, R., Garcia-Valdecasas, E.: Non-invertible defects in 5d, boundaries and holography, arXiv:2207.02831 [hep-th]
Choi, Y., Lam, H.T., Shao, S.-H.: Non-invertible time-reversal symmetry, arXiv:2208.04331 [hep-th]
Lu, D.-C., Sun, Z.: On triality defects in 2d CFT, arXiv:2208.06077 [hep-th]
Bhardwaj, L., Schafer-Nameki, S., Wu, J.: Universal non-invertible symmetries, arXiv:2208.05973 [hep-th]
Lin, L., Robbins, D.G., Sharpe, E.: Decomposition, condensation defects, and fusion, arXiv:2208.05982 [hep-th]
Bartsch, T., Bullimore, M., Ferrari, A.E.V., Pearson, J.: Non-invertible symmetries and higher representation theory I, arXiv:2208.05993 [hep-th]
Apruzzi, F., Bah, I., Bonetti, F., Schafer-Nameki, S.: Non-invertible symmetries from holography and branes, arXiv:2208.07373 [hep-th]
García Etxebarria, I.N.: Branes and non-invertible symmetries, arXiv:2208.07508 [hep-th]
Benini, F., Copetti, C., Di Pietro, L.: Factorization and global symmetries in holography, arXiv:2203.09537 [hep-th]
Wang, J., You, Y.-Z.: Gauge enhanced quantum criticality between grand unifications: Categorical higher symmetry retraction, arXiv:2111.10369 [hep-th]
Chen, X., Dua, A., Hsin, P.-S., Jian, C.-M., Shirley, W., Xu, C.: Loops in 4+1d topological phases, arXiv:2112.02137 [cond-mat.str-el]
Del Zotto, M., García Etxebarria, I.N.: Global structures from the infrared, arXiv:2204.06495 [hep-th]
Heckman, J.J., Hübner, M., Torres, E., Zhang, H.Y.: The branes behind generalized symmetry operators, arXiv:2209.03343 [hep-th]
Nguyen, M., Tanizaki, Y., Ünsal, M.: Semi-Abelian gauge theories, non-invertible symmetries, and string tensions beyond \(N\)-ality. JHEP 03, 238 (2021). https://doi.org/10.1007/JHEP03(2021)238. arXiv:2101.02227 [hep-th]
Freed, D.S., Teleman, C.: Relative quantum field theory. Commun. Math. Phys. 326, 459–476 (2014). https://doi.org/10.1007/s00220-013-1880-1. arXiv:1212.1692 [hep-th]
Freed, D.S., Teleman, C.: Topological dualities in the Ising model, arXiv:1806.00008 [math.AT]
Gaiotto, D., Kulp, J.: Orbifold groupoids. JHEP 02, 132 (2021). https://doi.org/10.1007/JHEP02(2021)132. arXiv:2008.05960 [hep-th]
Apruzzi, F., Bonetti, F., Etxebarria, I.N.G., Hosseini, S.S., Schafer-Nameki, S.: Symmetry TFTs from string theory, arXiv:2112.02092 [hep-th]
Apruzzi, F.: Higher form symmetries TFT in 6d, arXiv:2203.10063 [hep-th]
Burbano, I. M., Kulp, J., Neuser, J.: Duality defects in \(E_8\), arXiv:2112.14323 [hep-th]
Freed, D.S., Moore, G.W., Teleman, C.: Topological symmetry in quantum field theory, arXiv:2209.07471 [hep-th]
Ji, W., Wen, X.-G.: Categorical symmetry and noninvertible anomaly in symmetry-breaking and topological phase transitions. Phys. Rev. Res. 2(3), 033417 (2020). https://doi.org/10.1103/PhysRevResearch.2.033417. arXiv:1912.13492 [cond-mat.str-el]
Kong, L., Lan, T., Wen, X.-G., Zhang, Z.-H., Zheng, H.: Algebraic higher symmetry and categorical symmetry - a holographic and entanglement view of symmetry. Phys. Rev. Res. 2(4), 043086 (2020). https://doi.org/10.1103/PhysRevResearch.2.043086. arXiv:2005.14178 [cond-mat.str-el]
Ji, W., Wen, X.-G.: A unified view on symmetry, anomalous symmetry and non-invertible gravitational anomaly, arXiv:2106.02069 [cond-mat.str-el]
Chatterjee, A., Wen, X.-G.: Algebra of local symmetric operators and braided fusion \(n\)-category – symmetry is a shadow of topological order, arXiv:2203.03596 [cond-mat.str-el]
Chatterjee, A., Wen, X.-G.: Holographic theory for the emergence and the symmetry protection of gaplessness and for continuous phase transitions, arXiv:2205.06244 [cond-mat.str-el]
Moradi, H., Moosavian, S. F., Tiwari, A.: Topological holography: towards a unification of Landau and beyond-Landau physics, arXiv:2207.10712 [cond-mat.str-el]
Freed, D.S., Hopkins, M.J.: Reflection positivity and invertible topological phases. Geom. Topol. 25, 1165–1330 (2021). https://doi.org/10.2140/gt.2021.25.1165. arXiv:1604.06527 [hep-th]
Kirillov, A., Balsam, B.: Turaev-viro invariants as an extended tqft (2010). arXiv:1004.1533
Izumi, M.: The structure of sectors associated with longo-rehren inclusions II: Examples. Rev. Math. Phys. 13(05), 603–674 (2001)
Gelaki, S., Naidu, D., Nikshych, D.: Centers of graded fusion categories. Algebra Number Theory 3(8), 959–990 (2009). arXiv:0905.3117
Barkeshli, M., Bonderson, P., Cheng, M., Wang, Z.: Symmetry fractionalization, defects, and gauging of topological phases. Phys. Rev. B 100(11), 115147 (2019). https://doi.org/10.1103/PhysRevB.100.115147. arXiv:1410.4540 [cond-mat.str-el]
Teo, J.C.Y., Hughes, T.L., Fradkin, E.: Theory of twist liquids: Gauging an anyonic symmetry, arXiv e-prints (Mar., 2015) arXiv:1503.06812 [cond-mat.str-el]
Dimofte, T., Gaiotto, D., van der Veen, R.: RG domain walls and hybrid triangulations. Adv. Theor. Math. Phys. 19, 137–276 (2015). https://doi.org/10.4310/ATMP.2015.v19.n1.a2. arXiv:1304.6721 [hep-th]
Gaiotto, D., Kim, H.-C.: Duality walls and defects in 5d \( {\cal{N} }=1 \) theories. JHEP 01, 019 (2017). https://doi.org/10.1007/JHEP01(2017)019. arXiv:1506.03871 [hep-th]
Dimofte, T., Gaiotto, D., Paquette, N.M.: Dual boundary conditions in 3d scft’s. J. High Energy Phys. 2018(5), 1–101 (2018)
Gaiotto, D., Kapustin, A., Seiberg, N., Willett, B.: Generalized global symmetries. JHEP 02, 172 (2015). https://doi.org/10.1007/JHEP02(2015)172. arXiv:1412.5148 [hep-th]
Fuchs, J., Schweigert, C., Valentino, A.: Bicategories for boundary conditions and for surface defects in 3-d TFT. Commun. Math. Phys. 321, 543–575 (2013). https://doi.org/10.1007/s00220-013-1723-0. arXiv:1203.4568 [hep-th]
Johnson-Freyd, T.: On the classification of topological orders, arXiv preprint arXiv:2003.06663 (2020)
Kapustin, A., Saulina, N.: Surface operators in 3d topological field theory and 2d rational conformal field theory, arXiv:1012.0911 [hep-th]
Carqueville, N., Runkel, I., Schaumann, G.: Line and surface defects in Reshetikhin-Turaev TQFT. Quantum Topol. 10(3), 399–439 (2018). https://doi.org/10.4171/qt/121. arXiv:1710.10214 [math.QA]
Benini, F., Córdova, C., Hsin, P.-S.: On 2-group global symmetries and their anomalies. JHEP 03, 118 (2019). https://doi.org/10.1007/JHEP03(2019)118. arXiv:1803.09336 [hep-th]
Johnson-Freyd, T., Reutter, D.: Minimal nondegenerate extensions, arXiv:2105.15167 [math.QA]
Reutter, D.: Higher s-matrices and higher modular categories. In: Talk at global categorical symmetries conference (2022), https://pirsa.org/22060017
Carqueville, N., Runkel, I., Schaumann, G.: Orbifolds of n-dimensional defect TQFTs. Geom. Topol. 23, 781–864 (2019). https://doi.org/10.2140/gt.2019.23.781. arXiv:1705.06085 [math.QA]
Hu, Y., Wan, Y., Wu, Y.-S.: Twisted quantum double model of topological phases in two dimensions. Phys. Rev. B 87(12), 125114 (2013). https://doi.org/10.1103/PhysRevB.87.125114. arXiv:1211.3695 [cond-mat.str-el]
Dijkgraaf, R., Witten, E.: Topological Gauge theories and group cohomology. Commun. Math. Phys. 129, 393 (1990). https://doi.org/10.1007/BF02096988
de Wild Propitius, M.D.F.: Topological interactions in broken gauge theories. PhD thesis, Amsterdam U. (1995). arXiv:hep-th/9511195
He, H., Zheng, Y., von Keyserlingk, C.: Field theories for gauged symmetry-protected topological phases: Non-Abelian anyons with Abelian gauge group \({\mathbb{Z} }_2^{\otimes 3}\). Phys. Rev. B 95(3), 035131 (2017). https://doi.org/10.1103/PhysRevB.95.035131. arXiv:1608.05393 [cond-mat.str-el]
Verlinde, E.P.: Fusion rules and modular transformations in 2D conformal field theory. Nucl. Phys. B 300, 360–376 (1988). https://doi.org/10.1016/0550-3213(88)90603-7
Acknowledgements
We would like to thank Linhao Li, Ryohei Kobayashi, Ho Tat Lam, Emily Nardoni, Sahand Seifnashri, Shu-Heng Shao, Zhengdi Sun, Yuji Tachikawa, Matthew Yu, and Gabi Zafrir for helpful discussions. J.K. would like to thank Kavli IPMU for their generous hospitality and support. KO is supported in part by JSPS KAKENHI Grant-in-Aid, No.22K13969 and the Simons Collaboration on Global Categorical Symmetries. Y.Z. is partially supported by WPI Initiative, MEXT, Japan at IPMU, the University of Tokyo.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by S. S-Nameki.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Correlation Functions of k-dimensional Operators in \((2k+1)\)d
In this appendix, we provide derivations for Eqs. (3.9), (3.10), and (6.8); namely we derive the linking of k-dimensional operators in \((2k+1)\)-dimensional \({\mathbb {Z}}_N\) gauge theory, as well as their commutation relations in 2k-dimensions. We begin with the action for \({\mathbb {Z}}_N\) gauge theory in \((2k+1)\) dimensions,
This theory has \(N^2\) k-dimensional operators given by
with \(L_{(1,0)}\) and \(L_{(0,1)}\) together generating a \({\mathbb {Z}}_N^{(k)}\times {\mathbb {Z}}_N^{(k)}\) k-form symmetry. When \(k=1\), we obtain a standard \({\mathbb {Z}}_N\) gauge theory in \((2+1)\)d, as discussed in Sect. 3. When \(k=2\), we obtain a \({\mathbb {Z}}_N^{(1)}\) gauge theory in \((4+1)\)d, as discussed in Sect. 6.Footnote 24
We consider the mutual braiding between two operators labeled by (e, m) and \((e',m')\). To do so, we evaluate the correlation functions of these two operators on manifolds \(M_k\) and \(M_k'\) which form a Hopf link. In practice, this means that we have insertions in the action of the form
where \(\omega _{M_k}\) is the Poincaré dual of the k-cycle \(M_k\) with respect to \(X_{2k+1}\), and hence is a cocycle of degree \(k+1\). Integrating out the field \(b^{(k)}\) enforces
Defining \(V_{k+1}\) such that \(\partial V_{k+1} = m M_k + m' M_k'\), we have \(a^{(k)} =- \textrm{PD}(V_{k+1})\). Plugging this back into the action then gives contribution
In general, the intersection pairing \(M_k \cap V_{d-k}\) between \(M_k \in H_k(X_{d}, {\mathbb {Z}})\) and \(V_{d-k} \in H_{d-k}(X_d, {\mathbb {Z}})\) satisfies
and thus in the current case we may write
It is convenient to formally rewrite \(V_{k+1}=m \partial ^{-1}M_k + m' \partial ^{-1}M_k'\) by moving the boundary operator \(\partial \) to the right hand side in the definition below (A.4). Then \(\textrm{PD}( M_k\cap V_{k+1})= \textrm{PD}( M_k\cap \partial ^{-1} M_k') \equiv \text {link}(M_k, M_k')\). Moreover, by using integration by parts, we have \(\textrm{PD}( V_{k+1} \cap M_k' ) = \textrm{PD}( \partial ^{-1}M_{k} \cap M_k' ) = (-1)^{k+1}\textrm{PD}( M_k\cap \partial ^{-1} M_k') \equiv (-1)^{k+1}\text {link}(M_k, M_k')\). Substituting these into (A.7) gives
We thus conclude that the braiding between two k-dimensional operators is
We next derive the equal time correlation function between generic dyonic lines (e, m) and \((e',m')\), given for \(k=1\) and \(k=2\) in (3.10) and (6.10). We start with the commutation relation
which can be obtained, for example, by canonical quantization.Footnote 25 The pairing \(\langle M_k, M_k'\rangle \) is the intersection pairing between two k-manifolds in 2k-dimensions. Moving the phase to the left side and relabeling \(M_k\leftrightarrow M_k'\), we have
where in the second line we used \({\langle {M_k,M_k'}\rangle }= (-1)^k {\langle {M_k',M_k}\rangle }\).Footnote 26 Using (A.10) and (A.11) and the definition of the dyonic line (3.7), we may then determine the equal time commutation relation between dyonic lines,
which reproduces (3.10) and (6.10). Note that the phase from the equal time commutation relation in (A.12) coincides with the phase from the linking in (A.9), with the intersection pairing number being replaced by the linking number.
Measuring EM Charges of Defect Junctions
The goal of this appendix is to compute the \({\mathbb {Z}}_2^{\textrm{EM}}\) charge of the junctions involving \(L_{(N/2,N/2)}\) and \(\Sigma _{(e)}\). Recall that there are various such junctions depending on the angle between the line and the surface anchored on \(\Sigma _{(e)}\), c.f. Fig. 15, and we will focus here on the charge of the triangle junction. The \({\mathbb {Z}}_2^{\textrm{EM}}\) charge of this junction can be measured by enclosing the junction with the surface \(D_{\textrm{EM}}\), as shown in the left of Fig. 33. This surface is a condensate of the algebra anyon \({{\mathcal {A}}}\), and we may simplify the configuration to the one in the middle of Fig. 33. This leaves us with discs of \(D_{\textrm{EM}}\) surrounding each of the outgoing lines, which may in general involve complicated intersections of \({{\mathcal {A}}}\) with the external lines. Instead of studying the details of these discs, we may instead shrink them to point-like junctions as shown in the right of Fig. 33. Our goal will now be to understand the junctions appearing here, which will allow us to evaluate the configuration and obtain the charge. Throughout we will neglect real number normalization factors, since these will in any case cancel out to give the final \({\mathbb {Z}}_2\)-valued charge.
To begin, we consider the 4-valent junction between \(L_{(e,m)}\) and the algebra object \({{\mathcal {A}}}\). In this appendix, we will always draw invertible \(L_{(e,m)}\) lines in blue, \({{\mathcal {A}}}\) lines in red, and the junction between the two as a purple dot. The junction between \(L_{(e,m)}\) and \({{\mathcal {A}}}\) is the one encountered when e.g. \(L_{(e,m)}\) pierces the \({\mathbb {Z}}_2^{\textrm{EM}}\) surface as in Fig. 34. We note that, in Fig. 34, the configuration should not depend on precisely where along the surface \(L_{(e,m)}\) intersects. As such, we obtain the consistency condition on the junction shown in Fig. 35. Note that we have introduced an associative (co)multiplication junction \(\mu \), defined in Fig. 36, which every algebra object \({{\mathcal {A}}}\) is automatically equipped with.
On general grounds, the junction between \(L_{(e,m)}\) and \({{\mathcal {A}}}\) must be of the form shown in Fig. 37, with \(\alpha _{e,m}(p)\) a series of undetermined constants. In fact, imposing the consistency condition in Fig. 35 is sufficient to fix these constants. This may be shown by expanding both sides of Fig. 35 and making use of Figs. 36 and 37. Once expanded, the right-hand side is given as in Fig. 38, whereas the left-hand side is given in the first line of Fig. 39. One may rearrange the configuration in Fig. 39 via a series of F-moves to get the second line in Fig. 39, and upon using the half-braid and more F-moves one may put it in the form shown in the last line of Fig. 39. This configuration may now be compared to the one in Fig. 38. Equating the two gives
and choosing \(\alpha _{e,m}(0)=1\) (which is simply a choice of convention) we derive that
This completely specifies the junction in Fig. 34.
Having understood the junction between \(L_{(e,m)}\) and \({{\mathcal {A}}}\), we next study the junctions between \(L_{(e,m)}\) and \(\Sigma _{(e')}\). As mentioned in the main text, this junction depends on the angle between \(L_{(e,m)}\) and the EM duality defect \(D_{\textrm{EM}}\) which is anchored on \(\Sigma _{(e')}\). This is illustrated in Fig. 15. There we have highlighted two particular cases: first, the case in which \(\theta = 0^+\), which we denote by a square; and second, the case in which \(\theta = \pi \), which we denote by a triangle. These junctions are subject to consistency conditions illustrated in Fig. 16, which physically correspond to the statement that the junction should not depend on where along \(\Sigma _{(e')}\) the line \(L_{(e,m)}\) is anchored. We will now solve these consistency conditions, beginning with the triangle junction.
The general form of the triangle junction is given in Fig. 40, which depends on a series of undetermined coefficients \(\beta _{e,m,e'}(p)\). We may solve for these coefficients by imposing the constraint in Fig. 16. The right-hand side of the equation for the triangle junction is precisely the configuration in Fig. 40, whereas the left-hand side is as shown in the first line of Fig. 41 (we use the fact that the junctions \(\mu _L\) and \(\mu ^\vee _L\) do not involve any phases in their expansions). A series of F-moves and shrinking of a loop gives the second line in Fig. 41. From this we obtain the constraint
and choosing the convention \(\beta _{e,m,e'}(0)=1\), we see that all phases can be taken to be trivial,
This completely fixes the triangle junction.
Having fixed the triangle junction, we may now fix the square junction in an analogous way. The most general form of the expansion is given in Fig. 42, with the factors \(\gamma _{e,m,e'}(p)\) to be determined. On the other hand, the left-hand side of the consistency condition in Fig. 16 is as shown in Fig. 43. A series of F-moves and braids gives the final line of Fig. 43, from which we read off a constraint on \(\gamma _{e,m,e'}(p)\). Choosing conventions such that \(\gamma _{e,m,e'}(0)=1\), the solution is
This completely fixes the square junction. We note that, by the braiding properties of the lines \(L_{(e,m)}\) and \(L_{(e'+n,-n)}\), the square junction obtained here is equivalent to a half-braided triangle junction, as shown in Fig. 17. This was used in Sect. 3.5 of the main text, but will not be needed here.
We have now successfully understood the purple circle and triangle junctions appearing in Fig. 33. We have also understood the purple square junction, which does not appear in Fig. 33 explicitly but which will be important for its computation. All that remains is to evaluate the orange circle junctions, i.e. the four-fold intersection of \({{\mathcal {A}}}\) and \(\Sigma _{(e)}\).
In fact, instead of computing the four-fold junction itself, for our purposes it suffices to compute a pair of orange junction, as shown in the left-hand side of Fig. 44. This in general admits an expansion in terms of square and triangle junctions as in the right-hand side of Fig. 44. Here \(G_e(p,q)\) are a series of undertermined constants, which are subject to the consistency condition shown in Fig. 45. Physically, what this condition says is that any point on \(\Sigma _{(e)}\) is \({\mathbb {Z}}_2^{\textrm{EM}}\) invariant.
By using the definitions of the square and triangle junctions obtained above, it is straightforward to derive an expression for \(G_e(p,q)\) from the consistency condition in Fig. 45. We will only give the result,
where the delta function is included to enforce that the line in the interior of the bubble is the EM dual of the incoming line (since it passes \(D_{\textrm{EM}}\) in between). This is the final piece of data needed to compute the charge of the junction in Fig. 33.
We finally return to the original calculation of interest, namely the computation of the charge of the junction between \(L_{(N/2,N/2)}\) and \(\Sigma _{(e)}\). The computation is illustrated in Fig. 46. In words, we begin by using the definition of a pair of orange circle junctions given in Fig. 44, together with the definition of the purple circle junction given in Fig. 37. This gives a factor of
We may then use the definition of the square and triangle junctions given in Figs. 40 and 42, which gives a factor of
Noting further that the line \(L_{(e+r+q+p,-r-q-p)}\) in the interior of the bubble must be the EM dual of the incoming line \(L_{(e+r,-r)}\) (since it passes \(D_{\textrm{EM}}\) in between) forces us to restrict to triplets r, p, q satisfying
or in other words \(p+q = -e-2r\) mod N. Thus in total we produce a phase of
which is the final result for the charge of the junction. In summary, for even e the junction in Fig. 33 is \({\mathbb {Z}}_2^{\text {EM}}\) even. On the other hand, for odd e the junction is \({\mathbb {Z}}_2^{\text {EM}}\) odd, and hence there are an odd number of K lines terminating on the junction.
Gauge Invariance of Twisted \({\mathbb {Z}}_N\) Gauge Theory
In this appendix we provide a bit more detail on the proof of gauge invariance of the action (4.26). We first note that \(\delta _C {\textbf{a}}\) is gauge invariant under (4.25). This means that the gauge variation of (4.27) is
We further use
to replace \(K^{C_{ij}} (\delta _C {\textbf{a}})_{jkl}\) by \( (\delta _C {\textbf{a}})_{ikl} - (\delta _C {\textbf{a}})_{ijl} + (\delta _C {\textbf{a}})_{ijk}\) in (C.1). The second line in (C.1) becomes
which is a total derivative. This shows that (4.26) is gauge invariant.
The invariance of (4.26) under background gauge transformation (4.28) is also straightforward. Under (4.28), the term (4.27) becomes
and all of the \(\gamma _i\) manifestly cancel.
Fusion Rules of the \((2+1)\)d SymTFT of \(TY({\mathbb {Z}}_N)\) from Modular S Matrices
In this appendix, we collect the data of the Drinfeld center \({{\mathcal {Z}}}(TY({\mathbb {Z}}_N))\) of \(TY({\mathbb {Z}}_N)\) obtained in the mathematics literature [64, 65]. In particular, we record the explicit form of the modular S matrices, which can be used to rederive the fusion rules of Sect. 4.1 via the Verlinde formula.
1.1 Objects and Modular S Matrices
In the notation of [64], the objects in the category \({{\mathcal {Z}}}(TY({\mathbb {Z}}_N))\) include
-
1.
2N invertible lines: \(X_{g,i}, g\in {\mathbb {Z}}_N, i\in {\mathbb {Z}}_2\).
-
2.
\(N(N-1)/2\) non-invertible lines of quantum dimension 2: \(Y_{[g,h]}, g,h\in {\mathbb {Z}}_N, g<h\).
-
3.
2N non-invertible lines of quantum dimension \(\sqrt{N}\): \(Z_{g,i}, g\in {\mathbb {Z}}_N, i\in {\mathbb {Z}}_2\).
They are in one-to-one correspondence with \(L_{(e)}^{q}, L_{[e,m]}, \Sigma _{(e)}^{q}\) in the main text. In this notation, the modular S matrices are given byFootnote 27
where
For completeness, we also record the spins of the lines here,
The Verlinde formula [84] enables us to derive the fusion rules between \(W_1, W_2, W_3\in \{X_{g,i}, Y_{[g,h]}, Z_{g,i}\}\) from the modular S matrices,
As a consistency check, we will now apply these formulae to small values of N in order to reproduce the fusion rules found in the main text.
1.2 Fusion Rules for Small N
\(N=2\): The fusion rule between invertible lines is \(X_{g,i} \otimes X_{h,j} = X_{g+h, i+j}\), and we therefore reproduce the results in the text upon identifying \(X_{g,i} \leftrightarrow {\widehat{L}}_{(g)}^{(-1)^i}\). The fusion rules involving non-invertible lines are more interesting. The S-matrix elements and Verlinde formula give rise to,
Comparing with the fusion rule (4.9), we find the identification \(Z_{1,j}\leftrightarrow \widehat{\Sigma }_{(0)}^{(-1)^j}, Z_{0,j}\leftrightarrow \widehat{\Sigma }_{(1)}^{(-1)^j}\). As there is only one line with quantum dimension 2, we also have the identification \(Y_{[0,1]}\leftrightarrow {\widehat{L}}_{[0,1]}\). Indeed, the following fusion rules
match with those observed in Sect. 4.1.4.
\(N=3\): The fusion rules between invertible lines are again \(X_{g,i} \otimes X_{h,j} = X_{g+h, i+j}\), and we therefore match the results in the text upon identify \(X_{g,i} \leftrightarrow {\widehat{L}}_{(g)}^{(-1)^i}\). The fusion rules involving non-invertible lines are more interesting. The ones involving quantum dimension \(\sqrt{3}\) lines are
Comparing with the fusion rule (4.4), we find the identification \(Z_{0,j}\leftrightarrow \widehat{\Sigma }_{0}^{(-1)^j}\), \(Z_{1,j}\leftrightarrow \widehat{\Sigma }_{(1)}^{-(-1)^j}\), and \( Z_{2,j}\leftrightarrow \widehat{\Sigma }_{(2)}^{-(-1)^j}\). Other fusion rules between X and Z can be derived by starting with (D.7) and fusing additional invertible lines on both sides. The fusion rule between X and Y is
which leads to the idenfication \(Y_{[g,h]}\leftrightarrow {\widehat{L}}_{[g,h]}\). Other fusion rules can be similarly worked out, and we find that they match with those from Sect. 4.1 upon using the above identifications.
\(N=4\): The fusion rules between invertible lines are again \(X_{g,i} \otimes X_{h,j} = X_{g+h, i+j}\), and we therefore identify \(X_{g,i} \leftrightarrow {\widehat{L}}_{(g)}^{(-1)^i}\) once again. The fusion between X and Z lines are
Note that upon fusing \(X_{h,j}\), the \(Z_{g,i}\)’s for even g form a closed orbit, while those for odd g form another closed orbit. We therefore identify \(Z_{0,j}\leftrightarrow \widehat{\Sigma }_{(0)}^{(-1)^{j}}\), \(Z_{1,j}\leftrightarrow \widehat{\Sigma }_{(1)}^{(-1)^{j}}\), \(Z_{2,j}\leftrightarrow \widehat{\Sigma }_{(2)}^{(-1)^{j}}\), and \(Z_{3,j}\leftrightarrow \widehat{\Sigma }_{(3)}^{-(-1)^{j}}\). The fusion rule between X and Y is
which leads to the idenfication \(Y_{[g,h]}\leftrightarrow {\widehat{L}}_{[g,h]}\). Other fusion rules can be similarly worked out, and we find that they match with those from Sect. 4.1 upon using the above identifications.
Condensation Defects for the EM Exchange Symmetry in \((4+1)\)d
In this appendix, we discuss the four-dimensional defect \(D_{\text {EM}}\) generating the \({\mathbb {Z}}_4^{\text {EM}}\) (or \({\mathbb {Z}}_2^{\text {EM}}\) for \(N=2\)) symmetry in \((4+1)\)d \({\mathbb {Z}}_N^{(1)}\) gauge theory. Since the defect is different depending on the value of N, we must discuss three separate cases.
1.1 Odd N
For N odd the operator \(D_{\text {EM}}\) is given by (6.16), which we reproduce here for convenience,
From (6.13), the expected fusion rule would be \(S_{(e,m)}(\tau ) D_{\text {EM}}(M_4) = D_{\text {EM}}(M_4) S_{(-m,e)}(\tau )\exp (-\frac{2\pi i em}{N}{\langle {\tau ,\tau }\rangle })\). We will check this now, together with the invertibility of the defect.
1.1.1 Fusion rule \(S_{(e,m)} D_{\textrm{EM}}= D_{\textrm{EM}} S_{(-m,e)} e^{-2\pi i em/N {\langle {\tau ,\tau }\rangle }}\)
We begin by verifying the fusion rule above. We have
Now we use the fusion rule (6.9) to rewrite \(S_{(e,m)}(\tau )\) as \(e^{2\pi i m^2/N {\langle {\tau ,\tau }\rangle }}S_{(e,-e)}(\tau ) S_{(m,m)}(\tau ) S_{(-m,e)}(\tau )\). The above expression then becomes
Note that \((e,-e)=e(1,-1), (m,m)=m(1,1)\), and hence one can switch the order of the surface operators and combine the terms using the quantum torus algebra (6.11). The result is
We finally make a change of variables \(\sigma \rightarrow \sigma -e\tau \), \(\sigma '\rightarrow \sigma '-m\tau \), upon which the above expression then becomes
Using the commutation relation (6.10), the surface operator in the last step can finally be re-expressed as
Thus \(D_{\text {EM}}\) maps \(S_{(e,0)}\) to \(S_{(0,e)}\) and \(S_{(0,m)}\) to \(S_{(-m,0)}\), exactly as expected in (6.13).
1.1.2 Charge conjugation operator \(C=D_{\text {EM}}^2\)
Before checking \(D_{\text {EM}}^4=1\), we first compute \(C=D_{\text {EM}}^2\), which should be the charge conjugation operator.Footnote 28 To this effect, we have
To simplify the above expression, we switch the order of surface operators, combine the terms with the same charge using the quantum torus algebra, and make a change of variables. The final expression is
Since \(\tau , \tau '\) only appear in the exponent and not in the surface operators, we can perform the sum over them to simplify the expression. We first sum over \(\tau \). The relevant part is
To complete the square, it is useful to introduce \(\rho \) satisfying \(2\rho =\sigma '-\sigma \). Note that \(\rho \) exists since the equality is defined modulo \(N\lambda \) where \(\lambda \) is the generator of \(H_2(M_4, {\mathbb {Z}}_N)\) and N is odd. Hence (E.9) can be simplified to
where
defines an invertible TQFT, which trivializes on a spin manifold. Similarly, we can sum over \(\tau '\) by introducing \(2\omega =\sigma +\sigma '\), which gives
The charge conjugation defect thus becomes
To further simplify the expression, it is useful to replace \(\sigma ,\sigma '\) in terms of \(\rho ,\omega \) via
Summing over \(\sigma ,\sigma '\) is equivalent to summing over \(\rho ,\omega \). Hence the expression for the charge conjugation defect simplifies to
1.1.3 Invertibility of \(D_{\text {EM}}\)
We finally check the invertibility of \(D_{\text {EM}}\) by computing \(D_{\text {EM}}^4\), and conforming it is the identity, up to a local counterterm. Since we have already computed \(C=D_{\text {EM}}^2\), we only need to compute \(C^2\) as follows.
From the second to the last line, we have combined the surface operators with the same charge, made a change of variables \(\sigma \rightarrow \sigma -\tau , \sigma '\rightarrow \sigma '-\tau '\), integrated out \(\tau \) and \(\tau '\) which enforced \(\sigma ,\sigma '\) to be trivial 2-cycles in \(H_2(M_4, {\mathbb {Z}}_N)\), and finally used the definition of the 4d Euler counterterm in (5.3). Note that \(\chi [M_4,{\mathbb {Z}}_N]\) is a local counterterm and \({{\mathcal {Z}}}_{Y}[M_4, {\mathbb {Z}}_N]\) is a phase, which proves that \(C(M_4)^2= D_{\text {EM}}(M_4)^4\) is an invertible operator.
1.1.4 Summary of algebra of co-dimension one
We now summarize the algebra involving the \(D_{\text {EM}}\) defect. We may define the orientation reversal of \(D_{\text {EM}}\) as \(\overline{D}_{\text {EM}}\) via
where motivated by (5.6) the Euler counterterm is included. This also renders \(\overline{D}_{\text {EM}}\times D_{\text {EM}}=1\). The fusion rules are then
1.2 \(N=2\)
When \(N=2\), there is only one type of condensate, and the EM symmetry is \({\mathbb {Z}}_2^{\text {EM}}\). The topological defect for \({\mathbb {Z}}_2^{\text {EM}}\) is
where \([w_2^{TM}]\) is the Poincaré dual of the second Stiefel-Whitney class of the tangent bundle of the spacetime manifold \(w_2^{TM}\).Footnote 29 To confirm that this is the correct result, we check the commutation relations with the surface operators \(S_{(e,m)}(\tau )\), as well as that \(D_{\text {EM}}(M_4)^2=1\) up to Euler counterterm.
1.2.1 Fusion with \(S_{(e,m)}\)
We begin by computing
Using \(S_{(e,m)}(\tau )= S_{(1,0)}((e-m)\tau )S_{(0,1)}((m-e)\tau ) S_{(m,e)}(\tau )e^{i\pi m(m-e){\langle {\tau ,\tau }\rangle }}\) and combining the surface operators with the same charge, the above expression simplifies to
We further make a change of variable \(\sigma \rightarrow \sigma -(e-m)\tau \), and use \({\langle {\tau ,\tau }\rangle }={\langle {\tau ,w_2^{TM}}\rangle } \textrm{mod}\,\, 2\), upon which the expression simplifies to
as expected.Footnote 30
1.2.2 Invertibility of \(D_{\textrm{EM}}(M_4)\)
We next compute
Using \({\langle {\tau ,\tau }\rangle }= {\langle {[w_2^{TM}],\tau }\rangle }\,\,\textrm{mod}\,\,2\), this expression can be simplified to
We can also define the orientation reversal as
upon which (E.24) can be rewritten as
Hence \(D_{\text {EM}}(M_4)\) is invertible, and generates a \({\mathbb {Z}}_2\) symmetry.
1.3 Even N and \(N\ge 4\):
The symmetry defect in this case is almost identical to that for odd N, but with some minor modifications. In particular, we now have
As in the case of \(N=2\), for generic even N, we are allowed to turn on the background field \(w_2^{TM}\).
1.3.1 Gauge invariance
As explained in Sect. 6.2.2, summing over \(H_2(M_4, ({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2)\) requires that the defect should be invariant under the gauge transformation \(\sigma \rightarrow \sigma +\frac{N}{2}\lambda , \sigma '\rightarrow \sigma '+\frac{N}{2}\lambda \), which follows from the identification \(S_{(N/2,N/2)}(\sigma )= S_{(N/2,-N/2)}(\sigma )\). Indeed, it is straightforward to check that (E.27) is invariant under this gauge transformation, due to the proper coupling to the background field \([w_2^{TM}]\). This means that summing over the elements \((\sigma ,\sigma ')\) in \(H_2(M_4, ({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2)\) amounts to summing over \(\sigma \) and \(\sigma '\) in \(H_2(M_4,{\mathbb {Z}}_N)\) separately, but only over half of the total domain.Footnote 31
The \({\mathbb {Z}}_4^{\text {EM}}\) defect (E.27) differs from that for the odd N case by coupling to the background field \([w_2^{TM}]\). If we do not couple to the background field in (E.27) and use (E.1) instead, then under the gauge transformation \(\sigma \rightarrow \sigma +\frac{N}{2}\lambda , \sigma '\rightarrow \sigma '+\frac{N}{2}\lambda \) we would find that \(D_{\text {EM}}\) transforms as \(D_{\text {EM}}\rightarrow (-1)^{\frac{N}{2}{\langle {\lambda ,\lambda }\rangle }} D_{\text {EM}} = (-1)^{\frac{N}{2}{\langle {\lambda ,[w_2^{TM}]}\rangle }}D_{\text {EM}}\), which is not invariant and renders the sum over \(H_2(M_4, ({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2)\) ill-defined. The coupling to \([w_2^{TM}]\) in (E.27) precisely compensates this non-invariance.
1.3.2 Fusing with \(S_{(e,m)}(\tau )\)
To justify that (E.27) is the correct condensation defect of \({\mathbb {Z}}_4^{\text {EM}}\), we may check that the commutation relation with the surface operators is of the desired form (6.13),
The proof is identical to the case for odd N, and will not be reproduced here.
1.3.3 Two useful summation formulas
Before discussing the charge conjugation operator and verifying the invertibility of \(D_{\text {EM}}\), it is useful to discuss a summation formula which will be used later on. We start with the discrete Fourier transformation,
and
First Formula We now prove the first of two summation formulas of interest. To motivate the first, we begin by considering the function
where N is an even number, and \(a,b\in {\mathbb {Z}}_N\). Note that f(a, b) is invariant under shifting a, b by N/2 simultaneously, i.e.
which is guaranteed by \(x+y\in 2{\mathbb {Z}}\) in the range of sum. To perform the sum, we complete the square and make a change of variable. Then f(a, b) simplifies to
The sum is invariant under the shift \((a,b)\rightarrow (a+\frac{N}{2}, b+\frac{N}{2})\), but the phase in front is not. The phase transforms as
On the other hand, f(a, b) satisfies (E.32), and hence \(f(a,b)=0\) whenever the phase \(e^{- i \pi (a+b) - i \pi N/2}\ne 1\). In particular, this implies that \(f(a,b)=0\) when \((N,a+b)\in (4{\mathbb {Z}}, 2{\mathbb {Z}})\) and \((N,a+b)\in (4{\mathbb {Z}}+2, 2{\mathbb {Z}}+1)\). Further evaluating the summation (E.33) via (E.30), we obtain
Comparing this to (E.29), this is the generalized discrete Fourier transformation on a space with constraints.
We would like to generalize (E.35) so that the variables are the elements in \(H_2(M_4,{\mathbb {Z}}_N)\), and the product is replaced by the intersection pairing or the Poincaré dual of the Pontryagin square. Concretely, we are interested in evaluating the generalized discrete Fourier transformation
where \(a,b\in H_2(M_4,{\mathbb {Z}}_N)\), and \([\tau ]\) is the Poincaré dual of \(\tau \). The condition \(\tau +\tau '= 2\eta \in H_2(M_4,{\mathbb {Z}}_N)\) simply means that \(\tau +\tau '\) is an even element in \(H_2(M_4,{\mathbb {Z}}_N)\), i.e. \(\tau +\tau '\) is trivial when regarded as an element in \(H_2(M_4,{\mathbb {Z}}_2)\). The sum (E.36) is invariant under the gauge transformation
and hence (a, b) can be regarded as an element in \(H_2(M_4,({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2)\). Following the same discussion which lead to (E.35), we can complete the square in (E.36), and find
The sum is gauge invariant, and defines an invertible TQFT \({{\mathcal {Z}}}_Y(M_4)\) as follows,
where \(\xi \) is an generator of \(H_2(M_4,{\mathbb {Z}}_N)\), and the sum is independent of the choice of \(\xi \). In particular, we can choose \(\xi =[w_2^{TM}]\mod 2\). The above formula is a generalization of (E.30) and is similar to \({{\mathcal {Z}}}_Y\) for the odd N case, c.f. (E.11). But the phase in (E.38) is not gauge invariant. This enforces that (E.36) vanishes for certain (N, a, b). To find the vanishing condition, we perform the gauge transformation
Because \(\lambda \) is arbitrary, we require \(a+b+\frac{N}{2}w_2^{TM}\) to be a trivial element in \(H_2(M_4,{\mathbb {Z}}_2)\) for the sum (E.36) to be nontrivial. In summary, the sum (E.36) equals
Second Formula We further consider the summation
Upgrading the summation variables to elements in homology, we find
1.3.4 Charge conjugation \(C= D_{\text {EM}}^2\)
We now return to the evaluation of powers of \(D_{\text {EM}}\). Taking the square of (E.27), we obtain
Summing over \((\tau ,\tau ')\in H_2(M_4, ({\mathbb {Z}}_N\times {\mathbb {Z}}_N)/{\mathbb {Z}}_2))\) can be reorganized as summing over \({\widetilde{\tau }}:=\tau '+\tau \) and \({\widetilde{\tau }}':=\tau '-\tau \) in \(H_2(M_4, {\mathbb {Z}}_N)\) respectively, but with the constraint \({\widetilde{\tau }}\pm {\widetilde{\tau }}'\) being an even element in \(H_2(M_4,{\mathbb {Z}}_N)\), or equivalently a trivial element in \(H_2(M_4,{\mathbb {Z}}_2)\). This gives
In particular, the gauge invariance under \((\sigma ,\sigma ')\rightarrow (\sigma +\frac{N}{2}\lambda , \sigma '+ \frac{N}{2}\lambda )\) is manifest for the first line, and can be seen in the second line from the constraint in the summation domain \({\widetilde{\tau }}+{\widetilde{\tau }}'=2\eta \in H_2(M_4,{\mathbb {Z}}_N)\). The last expression is of precisely the form (E.36), where \((a,b)= (\sigma +\frac{N}{2}[w_2^{TM}], \sigma ')\), and hence we can apply the result (E.41) here. The sum simplifies to
Substituting the above calculations into the expression of \(C(M_4)\), we get
1.3.5 Invertibility of \(D_{\text {EM}}\)
We finally show that \(D_{\text {EM}}^4 = C^2\) is the identity up to an Euler counterterm and an invertible phase \({{\mathcal {Z}}}_{Y}\). Taking the square of (E.47), we find
We further sum over \(\tau ,\tau '\) by applying the formula (E.43), which constrains \(\sigma ,\sigma '\) to be trivial provided \(\sigma +\sigma '=0\mod 2\). Hence the above expression simplifies to
1.3.6 Summary of algebra of co-dimension one
We close by summarizing the algebra involving the \(D_{\text {EM}}\) defect. Noting that the orientation reversal of \(D_{\text {EM}}\) is
we have
More on \({{\widehat{S}}}_{\{N/2,0\}}\)
Given an operator \({\mathcal {O}}\) invariant under a symmetry G, upon gauging G we may get a series of operators \(\widehat{{\mathcal {O}}}\) transforming in representations of the quantum dual \({{\widehat{G}}}\). In this final appendix, we discuss how to assign representations of subgroups of the quantum symmetry \({{\widehat{G}}}\) to operators \(\widehat{{\mathcal {O}}}\) descending from \({\mathcal {O}}\) that are invariant under only a subgroup \(H \subset G\). We will focus only on the case of interest to us in this paper, namely \(G= {\mathbb {Z}}_4^{\textrm{EM}}\), \(H = {\mathbb {Z}}_2^{\textrm{EM}}\), and the operator \({{\widehat{O}}} = {{\widehat{S}}}_{\{N/2,0\}}\).
Recall from the discussion in Sect. 7.1.1 that, unlike the surface \({{\widehat{S}}}_{(N/2,N/2)}\) which is invariant under \({\mathbb {Z}}_4^{\textrm{EM}}\), or the surface \({{\widehat{S}}}_{[e,m]}\) whose constituents are not invariant under any subgroup of \({\mathbb {Z}}_4^{\textrm{EM}}\), the constituents of \({{\widehat{S}}}_{\{N/2,0\}}\) are invariant under a \({\mathbb {Z}}_2^{\textrm{EM}}\) subgroup of \({\mathbb {Z}}_4^{\textrm{EM}}\). That is, under \((e,m) \rightarrow (-e,-m)\) we see that both \(S_{(N/2,0)}\) and \(S_{(0,N/2)}\) are left unchanged. This means that \({{\widehat{S}}}_{[e,m]}\) can be assigned a representation of the quantum \({\widehat{{\mathbb {Z}}}}_2^{\textrm{EM}}\subset {\widehat{{\mathbb {Z}}}}_4^{\textrm{EM}}\), and hence that the identity line in \({{\widehat{S}}}_{[e,m]}\) carries a two-fold index, i.e. \({\mathfrak {I}}_1^p({{\widehat{S}}}_{[e,m]})\) for \(p = 0,1\).
Physically, the statement is that the bare identity line \({\mathfrak {I}}_1^0({{\widehat{S}}}_{\{N/2,0\}})\) cannot absorb a single copy of K, and hence when stacked with K gives a distinct line \({\mathfrak {I}}_1^1({{\widehat{S}}}_{\{N/2,0\}})\). However, it can absorb \(K^2\), and hence there are no other distinct lines generated in this way. To see how these statements arise, let us focus on the global fusion. We first consider coincident loops of \({\mathfrak {I}}_1^0({{\widehat{S}}}_{\{N/2,0\}})\) and K, and ask whether this configuration can be distinguished from a loop of \({\mathfrak {I}}_1^0({{\widehat{S}}}_{\{N/2,0\}})\) in isolation (c.f. Fig. 24 and the discussion surrounding it). A loop of K gives a non-trivial contribution to correlation functions if and only if it links with n units of EM flux, with n non-zero modulo 4. If \(n=1,3\), then K gives a non-trivial result, but the loop of \({\mathfrak {I}}_1^0({{\widehat{S}}}_{\{N/2,0\}})\) evaluates to zero since the constituent lines \({\mathfrak {I}}_1^0(S_{(N/2,0)})\) and \({\mathfrak {I}}_1^0(S_{(0,N/2)})\) (which are not lines in the EM-gauged theory, but which do exist in the pregauged theory) are not invariant under the primitive generator of \({\mathbb {Z}}_4^{\textrm{EM}}\). Hence in the presence of \(n=1,3\) units of EM flux, one cannot distinguish the configurations with \({\mathfrak {I}}_1^0(S_{\{N/2,0\}})\) stacked with K from the configuration with \({\mathfrak {I}}_1^0(S_{\{N/2,0\}})\) in isolation. However, if we consider the case of \(n=2\) units of EM flux, then the loop of K is again non-trivial, but now \({\mathfrak {I}}_1^0(S_{(0,N/2)})\) does not evaluate to zero since the constituent lines \({\mathfrak {I}}_1^0(S_{(N/2,0)})\) and \({\mathfrak {I}}_1^0(S_{(0,N/2)})\) are invariant under \({\mathbb {Z}}_2^{\textrm{EM}} \subset {\mathbb {Z}}_4^{\textrm{EM}}\). Thus by considering the configuration with \(n=2\) units of EM flux, one can distinguish between the configurations with \({\mathfrak {I}}_1^0(S_{\{N/2,0\}})\) stacked with K and with \({\mathfrak {I}}_1^0(S_{\{N/2,0\}})\) in isolation. In other words, \({\mathfrak {I}}_1^0(S_{\{N/2,0\}})\) cannot absorb K.
We may now ask whether \({\mathfrak {I}}_1^0(S_{\{N/2,0\}})\) can absorb \(K^2\). As before, we consider coincident loops of \({\mathfrak {I}}_1^0(S_{\{N/2,0\}})\) and \(K^2\), and ask whether this configuration can be distinguished from a loop of \({\mathfrak {I}}_1^0(S_{\{N/2,0\}})\) in isolation. The main difference from before is that the loop of \(K^2\) gives a non-trivial result only in the presence of an odd number of units of EM flux. However, as we have argued before, in the presence of an odd number of units of EM flux, the loop of \({\mathfrak {I}}_1^0(S_{\{N/2,0\}})\) evaluates to zero. Hence \({\mathfrak {I}}_1^0(S_{\{N/2,0\}})\) can absorb \(K^2\).
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Kaidi, J., Ohmori, K. & Zheng, Y. Symmetry TFTs for Non-invertible Defects. Commun. Math. Phys. 404, 1021–1124 (2023). https://doi.org/10.1007/s00220-023-04859-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-023-04859-7