On finite symmetries and their gauging in two dimensions

It is well-known that if we gauge a $\mathbb{Z}_n$ symmetry in two dimensions, a dual $\mathbb{Z}_n$ symmetry appears, such that re-gauging this dual $\mathbb{Z}_n$ symmetry leads back to the original theory. We describe how this can be generalized to non-Abelian groups, by enlarging the concept of symmetries from those defined by groups to those defined by unitary fusion categories. We will see that this generalization is also useful when studying what happens when a non-anomalous subgroup of an anomalous finite group is gauged: for example, the gauged theory can have non-Abelian group symmetry even when the original symmetry is an Abelian group. We then discuss the axiomatization of two-dimensional topological quantum field theories whose symmetry is given by a category. We see explicitly that the gauged version is a topological quantum field theory with a new symmetry given by a dual category.


Introduction
Let us start by considering a two-dimensional theory T with Z n symmetry. We can gauge it to get the gauged theory T /Z n . This gauged theory is known to have a new Z n symmetry, and regauging it gives us back the original theory: T /Z n /Z n = T [1]. It is also well-known that this phenomenon generalizes to any arbitrary finite Abelian group G. That is, gauging a theory T with G symmetry results in a theory T /G with a new finite Abelian group symmetryĜ such that gauging the new theory by the new symmetry takes us back to the original theory: T /G/Ĝ = T . One natural question arises: can it be generalized to higher dimensions? Yes, according to [2], where the generalized concept of p-form symmetries was introduced. Our investigation starts from a related but different question: can it be generalized to non-Abelian finite groups?
The answer is again yes [3], and it again requires a generalization of the concept of symmetries, but in a direction different from that of [2]. To explain this, let us pose what we have said above in a different way. Traditionally, we say that T has symmetry G if we can find unitary operators U g labeled by elements g ∈ G whose action on the Hilbert space commutes with the Hamiltonian. When G is Abelian, the information about G is captured in T /G via unitary operators Uĝ labeled by elementsĝ ∈Ĝ which commute with the Hamiltonian of T /G. When G is non-Abelian, we will argue that the information of G in T /G is captured by operators U i which still commute with the Hamiltonian but these operators are now in general non-unitary. These operators can be constructed by wrapping a Wilson line for G along the spatial circle. Hence, Wilson lines should be thought of as generalized symmetries for the theory T /G. In fact, we will also argue that there is a natural notion of gauging this symmetry formed by Wilson lines such that gauging T /G results back in the original theory T .
This raises the following question: How do we specify a generalized symmetry that a theory can admit? In this paper, we give an answer to this question: a general finite symmetry of a twodimensional theory is specified by a structure which is known to mathematicians in the name of unitary fusion categories. We prefer to call it symmetry categories. 1 For the gauged theory T /G for possibly non-Abelian group G, the Wilson line operators form Rep(G), which is a symmetry category formed by the representations of G. Similarly, a general symmetry category C physically corresponds to more general line operators of T .
We also discuss how a symmetry category C can be gauged. It turns out that there is no canonical way of gauging a generic symmetry category. Pick one way M of gauging the symmetry C of a theory T . Denote the gauged theory by T /M and its symmetry category by C . It then turns out that there exists a dual way M of gauging C such that T /M/M is equivalent to T . This generalizes the fact that regauging the gauged theory with symmetry Rep(G) gives back the original theory with symmetry G.
This generalization of the concept of symmetry allows us not only to perform the re-gauging of non-Abelian gauge theories, but also to answer various other questions. First of all, we will see that symmetry categories C capture symmetries together with their anomalies. Then, the machinery we spell out allows us to compute what is the symmetry of the gauge theory T /H when we gauge a subgroup H of a possibly anomalous flavor symmetry G. For example, if we gauge a non-anomalous Z 2 subgroup of Z 2 × Z 2 × Z 2 with a suitable choice of the anomaly, we can get non-anomalous non-Abelian symmetry D 8 and Q 8 , the dihedral group and the quaternion group of order 8. 2 In general, the symmetry C of the gauged theory is neither a group nor Rep(G) for a finite group, and we need the concept of symmetry categories to describe it.
There are also vast number of symmetry categories not related to finite groups, formed by topological line operators of two-dimensional rational conformal field theories (RCFTs). In particular, any unitary modular tensor category, or equivalently any Moore-Seiberg data, can be thought of as a symmetry category, by forgetting the braiding.
We should emphasize here that this generalization of the concept of symmetry from that defined by groups to that defined by categories was already done long ago by other authors, belonging to three somewhat independent lines of studies, namely in the study of the subfactors and operator algebraic quantum field theories, in the study of representation theory, and in the study of RCFTs. Each of the communities produced vast number of papers, and not all of them can be cited here. We recommend to the readers textbooks by Bischoff, Longo, Kawahigashi and Rehren [6] and Etingof, Gelaki, Nikshych and Ostrik [7] from the first two communities and the articles by Carqueville and Runkel [8] and by Brunner, Carqueville and Plencner [9] from the third community as the starting points.
Our first aim in this paper is then to summarize the content of these past works in a way hopefully more accessible to other researchers of quantum field theory, including the authors of this paper themselves, emphasizing the point of view related to the modern study of symmetry protected topological phases. What we explain in this first part of the paper is not new, except possibly the way of the presentation, and can all be found in the literature in a scattered form.
Our second aim is to axiomatize two-dimensional topological quantum field theories (TFTs) whose symmetry is given by a symmetry category C. This is a generalization of the work by Moore and Segal [10], where two-dimensional TFTs with finite group symmetry were axiomatized. We write down basic sets of linear maps between (tensor products of) Hilbert spaces on S 1 and basic 2 Recently in [5], Gaiotto, Kapustin, Komargodski and Seiberg performed an impressive study of the phase structure of thermal 4d su(2) Yang-Mills theory. One important step in the analysis is the symmetry structure of the thermal system, which is essentially three-dimensional. As a dimensional reduction from 4d, the system has a Z 2 × Z 2 0-form symmetry and a Z 2 1-form symmetry, with a mixed anomaly. Then the authors gauged the Z 2 1-form symmetry, and found that the total 0-form symmetry is now D 8 . This D 8 was then used very effectively to study the phase diagram, but that part of their paper does not directly concern us here. Their analysis of turning an anomalous Abelian symmetry by gauging a non-anomalous subgroup into a non-Abelian symmetry is a 3d analogue of what we explain in 2d. See their Sec. 4.2, Appendix B and Appendix C. Clearly an important direction to pursue is to generalize their and our constructions to arbitrary combinations of possibly-higher-form symmetries in arbitrary spacetime dimensions, but that is outside of the scope of this paper. consistency relations among them which guarantee that a unique linear map is associated to any surface with m incoming circles and n outgoing circles together with arbitrary network of line operators from C.
The rest of the paper is organized as follows. First in Sec. 2, as a preliminary, we recall how gauging of a finite Abelian symmetry G can be undone by gauging the new finite Abelian sym-metryĜ, and then briefly discuss how this can be generalized to non-Abelian symmetries G, by regarding Rep(G) as a symmetry. This effort of generalizing the story to a non-Abelian group makes the possibility and the necessity of a further generalization to symmetry categories manifest. We exploit this possibility and describe the generalization in detail in subsequent sections.
Second, we have two sections that form the core of the paper. In Sec. 3, we introduce the notion of symmetry categories, and discuss how we can regard as symmetry categories both a finite group G with an anomaly α and the collection Rep(G) of representations of G. We then explain in Sec. 4 that physically distinct gaugings of a given symmetry category C correspond to indecomposable module categories M of C, and we describe how to obtain the new symmetry C of the theory T /M for a given theory T with a symmetry C.
Third, in Sec. 5, we give various examples illustrating the notions introduced up to this point. Examples include the form of new symmetry categories C when we gauge a non-anomalous subgroup H of an anomalous finite group G, and the symmetry categories of RCFTs.
Fourth, in Sec. 6, we move on to the discussion of the axioms of two-dimensional TFTs whose symmetry is given by a symmetry category C. We also construct the gauged TFTs T /M given an original TFT T with a symmetry category C and a gauging specified by its module category M. Sections 5 and 6 can be read independently.
Finally, we conclude with a brief discussion of what remains to be done in Sec. 7. We have an appendix A where we review basic notions of group cohomology used in the paper.
Before proceeding, we note that we assume that the space-time is oriented throughout the paper. We also emphasize that all the arguments we give, except in Sec. 6, apply to non-topological non-conformal 2d theories.
2 Re-gauging of finite group gauge theories 2.1 Abelian case Let us start by reminding ourselves the following well-known fact [1]: Let T be a 2d theory with flavor symmetry given by an Abelian group G. Let us assume that G is non-anomalous and can be gauged, and denote the resulting theory by T /G. Then this theory has the flavor symmetryĜ, which is the Pontrjagin dual of G, such that T /G/Ĝ = T .
Recall the definition of the Pontrjagin dualĜ of an Abelian group G. As a set, it is given bŷ G = {χ : G → U (1) | χ is an irreducible representation }. (2.1) Note that χ is automatically one-dimensional. Therefore the product of two irreducible representations is again an irreducible representation, which makesĜ into a group. G andĜ are isomorphic as a group but it is useful to keep the distinction because there is no canonical isomorphism between them.
In the literature on 2d theories, gauging of a finite group G theory is more commonly called as orbifolding by G, and the fact above is often stated as follows: a G-orbifold has a dualĜ symmetry assigning charges to twisted sectors, and orbifolding again by this dualĜ symmetry we get the original theory back. This dualĜ symmetry is also known as the quantum symmetry in the literature. This statement was generalized to higher dimensions in e.g. [2]: Let T be a d-dimensional theory with p-form flavor symmetry given by an Abelian group G. Let us assume that G is non-anomalous and can be gauged, and denote the resulting theory by T /G. Then this theory has the dual (d−2−p)-form flavor symmetryĜ, such that T /G/Ĝ = T .
The derivation is entirely analogous to the 2d case, except that now A ∈ H p+1 (M, G) and B ∈ H d−1−p (M,Ĝ).

Non-Abelian case
The facts reviewed above means that the finite Abelian gauge theory T /G still has the full information of the original theory T , which can be extracted by gauging the dual symmetryĜ. It is natural to ask if this is also possible when we have a non-Abelian symmetry G, which we assume to be an ordinary 0-form symmetry. This is indeed possible 3 by suitably restating the derivation above, but we will see that we need to extend the concept of what we mean by symmetry. To show this, we first massage (2.4) in a suitable form which admits a straightforward generalization. Let us consider the case of Z T [M, A = 0] for illustration. By Poincare duality, B can also be represented as an element of H 1 (M,Ĝ). Then, (2.4) can be rewritten as where i ∈ {1, · · · , n} labels generators of H 1 (M ) andĝ i is an element ofĜ associated to the cycle labeled by i. Each summand on the right hand side, Z T /G [M,ĝ 1 , · · · ,ĝ n ], is then the expectation value of Wilson loops in representations labeled byĝ i placed along the cycle i. Now, we can sum theĜ elements for each i separately to obtain where W reg i denotes the insertion of a Wilson line in the regular representation along the cycle i. This is because, for an abelian G, the regular representation is just the sum of representations corresponding to elementsĝ ofĜ.
The relation (2.6) says that by inserting all possible Wilson lines on all possible cycles, we are putting the delta function for the original gauge field A. We now note that the relation (2.6) holds for a non-Abelian G as well, if we insert W reg i not only for the generators of H 1 (M ) but for the generators of π 1 (M ). This can be seen by the fact that tr g in the regular representation is nonzero if and only if g is the identity.
The identity (2.6) means that the ungauged theory T can be recovered from the gauged theory T /G by inserting line operators W reg i in an appropriate manner. This is analogous to the construction of the gauged theory T from the ungauged theory T by inserting line operators representing the G symmetry in an appropriate manner. Given the importance of Wilson lines in recovering the information of the ungauged theory, we assign the status of dual symmetry to Wilson lines.
Let us phrase it another way. When G is Abelian, the dual (d − 2)-formĜ symmetries can be represented by 1-cycles labeled by elements ofĜ, forming a group. When G is non-Abelian, the dual symmetry can still be represented by 1-cycles labeled by representations Rep(G) of G. We can still multiply lines, corresponding to the tensor product of the representations, and this operation reduces to group multiplication ofĜ in the abelian case. But Rep(G) is not a group if G is non-Abelian. Therefore this is not a flavor symmetry group, it is rather a flavor symmetry something. We summarize this observation as follows: Let T be a d-dimensional theory with 0-form flavor symmetry given by a possibly non-Abelian group G. Let us assume that G is non-anomalous and can be gauged, and denote the resulting theory by T /G. Then this theory has Rep(G) as the dual (d − 2)-form flavor symmetry 'something', such that T /G/Rep(G) = T .

Symmetries as categories in two dimensions
Any finite group, possibly non-Abelian, can be the 0-form symmetry group of a theory. In addition to this, we saw in the last section that Rep(G), the representations of G, can also be the (d − 2)form symmetry something of a d-dimensional theory. We do not yet have a general understanding of what should be this something in general d dimensions for general combinations of various p-form symmetries. However, at least for d=2 and p=0, we already have a clear concept for this something in the literature, which includes both groups G and representations of groups Rep(G) and much more. In this section we explain what it is.

Basic notions of symmetry categories
In two dimensions, a 0-form finite symmetry element can be represented by a line operator with a label a. Inserting this line operator on a space-like slice S corresponds to acting on the Hilbert space associated to S by a possibly non-unitary operator U a corresponding to the symmetry element. Moreover, U a commutes with the Hamiltonian H associated to any foliation of the twodimensional manifold. In addition, U a cannot change under a continuous deformation of its path. Therefore the line operator under consideration is automatically topological.
Topological line operators, in general, form a structure which mathematicians call a tensor category. We want to restrict our attention to topological line operators describing a finite symmetry. Such topological line operators form a structure which mathematicians call a unitary fusion category. We call it instead as a symmetry category, to emphasize its role as the finite symmetry of unitary two-dimensional quantum field theory. We start by stating the slogan, and then fill in the details: Finite flavor symmetries of 2d theories are characterized by symmetry categories.

Objects
The objects in a symmetry category C correspond to topological line operators generating the symmetry. More precisely, a theory T admitting the symmetry C will admit topological line operators labeled by the objects of C. Henceforth, we will drop the adjective topological in front of line operators.
For any line operator labeled by an object a, we have a partition function of T with the line inserted along an oriented path C, which we can denote as · · · a(C) · · · (3.1) where the dots stand for additional operators inserted away from C.

Morphisms
The morphisms in a symmetry category C correspond to topological local point operators which can be inserted between two lines. More precisely, consider two labels a and b, and a path C such that up to a point p ∈ C we have the label a and from the point p we have the label b. Then, we can insert a possibly-line-changing topological operator labeled by m at p. We call such m a morphism from a to b, and denote this statement interchangeably as either The set Hom(a, b) is taken to be a complex vector space and it labels (a subspace of) topological local operators between line operators corresponding to a and b in T . From now on, we would drop the adjective topological in front of local operators.

Additive structure
Given two objects a and b, there is a new object a ⊕ b in C. In terms of lines in T , we have · · · (a ⊕ b)(C) · · · = · · · a(C) · · · + · · · b(C) · · · . (3.4) We abbreviate a ⊕ a by 2a, a ⊕ a ⊕ a by 3a, etc. The linear operator U a⊕b acting on the Hilbert space obtained by wrapping a ⊕ b on a circle is then given by U a + U b .

Tensor structure
Given two objects a and b, we have an object a ⊗ b in C. This corresponds to considering two parallel-running line operators a and b as one line operator. The linear operator U a⊗b acting on the Hilbert space obtained by wrapping a ⊗ b on a circle is then given by U a U b . The trivial object 1 acts as an identity for this tensor operation. That is, there exist canonical isomorphisms a ⊗ 1 a and 1 ⊗ a a for each object a. We can always find an equivalent category in which these isomorphisms are trivial, that is a ⊗ 1 = 1 ⊗ a = a. Hence, we can assume that these isomorphisms have been made trivial in C. Henceforth, the unit object will also be referred to as the identity object.
Consider three lines C 1,2,3 meeting at a point p, with C 1,2 incoming and C 3 outgoing. We can put the label a, b, c on C 1,2,3 , respectively. We demand that the operators we can put at the junction point p is given by m ∈ Hom(a ⊗ b, c). This label a ⊗ b corresponds to a composite line as can be seen by the following topological deformation shown in Fig. 3.1. The definition of a ⊗ b here includes a choice of the implicit junction operator where the lines labeled by a, b and a ⊗ b meet. In this paper, whenever we draw figures with such implicit junction operators, we always choose the operator to be the one labeled by the identity morphism id : a ⊗ b → a ⊗ b.

Simplicity of the identity, semisimplicity, and finiteness
The simple objects a ∈ C are objects for which Hom(a, a) is one-dimensional. In general, for any object x, there is always a canonical identity morphism from x to x which labels the identity operator on the line labeled by x. For a simple object a, the existence of the identity morphism implies that there is a natural isomorphism Hom(a, a) C as an algebra. We assume for simplicity that the identity object 1 is simple.
We also assume that every object x has a decomposition as a finite sum where N a is a nonnegative integer and a is simple. In other words, every object x is semisimple. Finally, we assume finiteness, that is the number of isomorphism classes of simple objects is finite. Below, we will be somewhat cavalier on the distinction between simple objects and isomorphism classes of simple objects.

Associativity structure
The data in a symmetry category C includes certain isomorphisms implementing associativity of objects The associator relates two different orders to tensor three lines. Right: Equivalently, the local operator labeled by the associator morphism is obtained by squeezing the region between (a ⊗ b) ⊗ c and a ⊗ (b ⊗ c) shown above to a point.
which we call associators. 4 Fusion matrices F for the Moore-Seiberg data, and the (quantum) 6j symbols for the (quantum) groups are used in the literature to capture the data of associators. The associator α a,b,c corresponds to a local operator which implements the process of exchanging line b from the vicinity of a to the vicinity of c. See Figure 3.2. They satisfy the pentagon identity which states the equality of following two morphisms where each side of the equation stands for the composition of the corresponding associators. The pentagon identity ensures that exchanging two middle lines b, c between two outer lines a, d in two different ways is the same, see Fig. 3.3.

Dual structure
For every object a, C contains a dual object a * . The line labeled by the dual object has the property that · · · a(C) · · · = · · · a * (C) · · · . Here,C denotes the same path C but with a reverse orientation, and the morphisms attached at the junctions onC need to be changed appropriately as we explain below at the end of this subsubsection. We require that the dual of the dual is naturally isomorphic to the original object: (a * ) * a. The dual operation also changes the order of the tensoring: (3.9) We demand that there are evaluation morphisms R a : a ⊗ a * → 1, L a : a * ⊗ a → 1 (3.10) and co-evaluation morphisms 5 These label local operators corresponding to the process of folding a line operator a. See Figure  3.4. We note that R a and L a * are not necessarily equal. However, we require as part of definition of dual structure that they are related as follows where p a is an isomorphism from a to a and p a * is an isomorphism from a * to a * . Similarly, we require The data of p a and p a * is referred to in the literature as a pivotal structure on the fusion category C.
The evaluation and co-evaluation morphisms have to satisfy the following consistency condition with the associator as morphisms from a to a. This ensures that a line with two opposite folds in the right direction can be unfolded as shown in Figure 3.5. A similar identity is satisfied by L a and • L a which ensures that two opposite folds in the left direction can be unfolded. Using evaluation and co-evaluation morphisms of different parity we can construct loops of lines These are morphisms from 1 to 1 and hence they are proportional to the identity morphism. The proportionality factors define two numbers: the counter-clockwise dimension dim CC a of a and the clockwise dimension dim C a of a. See Figure 3.6.
Since we can replace the label a by a * at the cost of flipping the orientation of line, we must have
In fact, it turns out that we can further argue that To see this, place a small counter-clockwise loop of line a around the "north pole" on the sphere. Let there be no other insertions anywhere on the sphere. This evaluates to dim CC a × Z S 2 where Z S 2 is the partition function on sphere. Now we can move the line such that it looks like a small clockwise loop around the "south pole" on the sphere. This evaluates to dim C a × Z S 2 . Equating the two expressions we find (3.19) 6 . This is a further constraint on C. If the fusion category C satisfies (3.19), then C is called a spherical fusion category in the literature.
Since R a and L a * are not necessarily equal, we have to specify whether a folding of line a to the right should be read as the morphism R a or the morphism L a * . Similarly there is a specification of • R a vs. • L a * . This issue can be dealt with in two ways, which are technically equivalent but have a rather different flavor.
One method: One perspective is to regard that a line is always labeled by the pair (the local orientation, an object in C). Then, a pair (↑, a) and (↓, a * ) are isomorphic but not actually the same. We note that this distinction needs to be made even when a a * . Then we make the rule that when a vertical line is labeled by (↑, a) up to some point and then labeled by (↓, a * ) from that point, we insert the pivotal structure p a ∈ Hom(a, a) at that point. This approach would be preferred by those who have no trouble with adding local orientations as a new datum to a topological line operator.
Another method: Another perspective is to think that the change between R a and L a * and between • R a vs. • L a * is canceled by changing the nearby morphisms. This method might be preferred by those who do not want to add local orientation as a new datum to a topological line operator.
We emphasize that, in this approach, the operation of exchanging a by a * with a reversed orientation does not change the local operators at the junctions. Instead it changes the way the local operators at the junctions are read as morphisms in the associated symmetry category C.
The following moves are sufficient to specify what happens in any situation: These moves follow from (3.12) and (3.13). We draw a picture of the first move in Figure 3.7. The other three moves are also described by similar pictures.

Unitary structure
The unitary structure requires an existence of a conjugate-linear involution sending m ∈ Hom(a, b) to m † ∈ Hom(b, a), generalizing the Hermitian conjugate in the standard linear algebra. We require that the evaluation and the coevaluation morphisms are related by this conjugate operation: The fold in the diagram on left hand side is specified as R a and the fold on the right is specified as L a * . This changes the morphism from m on the left side to (p −1 a * ⊗ 1) • m on the right side. These two diagrams provide two different categorical representations of the same physical configuration.
We further require m † • m ∈ Hom(a, a) to be positive semi-definite in the following sense: Since we assumed the semisimplicity and the finiteness of the number of simple objects, Hom(a, a) can naturally be identified with a direct sum of a matrix algebra. Then we require m † • m to have non-negative eigenvalues.
The above positivity condition requires dim a > 0 for all a. As we will see in Sec. 3.3.4 below, the unitarity implies sphericity.

Comments
We have several comments: • Note that category theorists do not like unitary structures, since it is specific to the base field C while they would like to keep everything usable for arbitrary base field. For this reason they often distinguish various concepts of * operations and various structures satisfied by them, such as rigid structure, pivotal structure, spherical structure and pseudo-unitary structure. 7 If we consider unitary 2d quantum field theories (or more precisely its Wick-rotated versions which are reflection-positive), the unitary structure is the most natural one.
Operator algebraic quantum field theorists in fact work in this setting, since for them the existence of the positive-definite inner product on the Hilbert space is paramount. Unfortunately their papers often phrase purely categorical results in the operator algebra theoretic 7 The rigid structure posits the existence of the left dual a * and the right dual * a, satisfying various conditions. It can be shown that * * a a * * , and a * * * * a. The pivotal structure is a collection of isomorphisms a * * a. In our description, the pivotal structure relates L a and R a * . A pivotal structure is called spherical if dim a = dim a * for all a. A spherical structure is called pseudo-unitary if |dim a| is the largest eigenvalue of (N a ) c b for all simple a. For the definition of N c ab , see Sec. 3.3.3. language, which makes them somewhat harder for outsiders to digest. From this point of view their review article [6] is very helpful, where a concise translation between terminologies of two different schools is given.
• Every property given above, except the simplicity of identity, semisimplicity and finiteness, is a straightforward expression of how topological lines and the junction operators associated to symmetries should behave. We impose the simplicity of identity, semisimplicity and finiteness to make the situation tractable. When the semisimplicity is dropped, the category is called a finite tensor category; when the simplicity of identity is dropped, the category is called a finite multi-fusion category; when both are dropped, it is called a finite multi-tensor category. When finiteness is dropped, we simply drop the adjective "finite".
Indeed, if we consider all topological lines in a given 2d theory and all topological operators on topological lines, they might not in general form a unitary fusion category. Rather, our point of view is that we take a subset of topological lines and subspaces of topological operators on the lines so that they form a unitary fusion category, and then it can be thought of as a symmetry of the 2d theory.
• A very similar categorical structure was introduced by Moore and Seiberg [11] in the analysis of 2d RCFTs and 3d TFTs. In the category theory they are now called unitary modular tensor categories. In fact, the unitary modular tensor categories are also unitary fusion categories, where the latter description is obtained by forgetting the braiding.

More notions of symmetry categories
Before discussing examples, it is useful to set up a few more notions:

'Homomorphisms' between symmetry categories
In the case of two groups G 1 and G 2 , we have the concept of homomorphisms ϕ : G 1 → G 2 , preserving the group multiplication. Similarly, we can talk about symmetry functors ϕ : C 1 → C 2 between two symmetry categories, together with the data specifying how the structures listed above are mapped. Among them are isomorphisms which tell us how the tensor structure of C 1 is mapped into the tensor structure of C 2 . For example, the morphisms a,b map the associator of C 1 to the associator of C 2 . Two symmetry functors ϕ, ϕ : C 1 → C 2 are considered equivalent when there is a set of isomorphisms η a ∈ Hom(ϕ(a), ϕ (a)) (3.22) such that η a⊗b a,b = a,b (η a ⊗ η b ). (3.23) When a symmetry functor has an inverse, it is called an equivalence between symmetry categories.

Products of symmetry categories
In the case of two groups G 1 and G 2 , their product G 1 × G 2 is also a group. Similarly, given two symmetry categories C 1 and C 2 , we denote their product as C 1 C 2 , whose simple objects are given by a 1 a 2 where a 1,2 are simple objects of C 1,2 , respectively. This product is called Deligne's tensor product of categories.

Fusion rule of unitary fusion categories
A symmetry category comes with a lot of structures. Sometimes it is useful to forget about most of them as follows. For each isomorphism class of simple objects a, introduce a symbol [a], and define their multiplication by This makes nonnegative integral linear combinations of [a]'s into an algebra over Z + with a specific given basis. We call this algebra R(C) the fusion ring of the symmetry category C. In the case of modular tensor categories, this algebra is also called the Verlinde algebra. We would often call this algebra as just the fusion rule of C.
Let n be the number of isomorphism classes of simple objects. Then we can regard (N a ) c b as n × n matrices and [a] → N a is the adjoint representation of the fusion ring.

Determination of dimensions of objects
The dimensions are fixed by N c ab . To see this, consider the n-dimensional vector v := (dim a) a where a runs over the isomorphism classes of simple objects. Its entries are positive real numbers thanks to the unitarity. Furthermore, v is the simultaneous eigenvector of all N a 's with eigenvalues dim a. Then by the Perron-Frobenius theorem, dim a is the largest eigenvalue of the matrix N a , which is guaranteed to be positive. The argument above applies both to dim C and dim CC , and therefore the sphericity is implied by the unitarity. Unitarity also guarantees dim a = dim a * .
We define the total dimension of the symmetry category C by the following formula: Here the sum runs over the isomorphism classes of simple objects.

Groups and representations of groups as symmetry categories
3.4.1 Symmetry categories C(G, α) As an example, let us recast an ordinary group G as a symmetry category. We first regard each element g ∈ G as a simple object denoted by the same letter in the category. We define g ⊗ g := gg , g * := g −1 . (3.25) Taking α g 1 ,g 2 ,g 3 to be the identity maps, they clearly form a unitary fusion category, which we denote by C(G). More generally, the pentagon identity among α g 1 ,g 2 ,g 3 says that α is a 3-cocycle on G valued in U(1). 8 Denote the resulting fusion category by C(G, α). In the literature it is often denoted Vec α G . We clearly have dim g = 1. Thus the total dimension of this symmetry category is the order of the group.
When α 1 and α 2 differ by a coboundary of a 2-cochain , we can construct an equivalence of categories between C(G, α 1 ) and C(G, α 2 ) using the functor specified using the same in (3.21). This means that in the definition of C(G, α), one can regard α ∈ H 3 (G, U(1)).
It is also clear that any unitary fusion category whose simple objects are all invertible can be made to be of this form. Summarizing, A symmetry category C whose simple lines are all invertible is equivalent to C(G, α) where G is a finite group and α is an element in H 3 (G, U(1)).

C(G, α) and the anomaly
As is by now familiar, this cohomology class α ∈ H 3 (G, U(1)) specifies the anomaly of G flavor symmetry in two dimensions [12,13]. One way to see it is as follows [2]: Insert a network of lines with trivalent junctions between them on the spacetime manifold Σ. Let the lines be labeled by simple objects of C(G, α), that is by group elements. And let every junction of the form g ⊗ g → gg be labeled by the identity morphism gg → gg . Such a configuration can also be thought of as reproducing the effects of a background connection on Σ which has holonomies given by g on crossing transversely a line labeled by g. Now, consider a local region looking like 8 As already noted in footnote 4, in our convention α g1,g2,g3 is trivial whenever any of g 1,2,3 is the identity. Such a cocycle is called normalized. It is a well-known fact in group theory that group cohomology can be computed by restricting every cochains involved to be normalized. the left hand side of Figure 3.8. Move the lines such that now it looks like the right hand side of Figure 3.8. This changes the partition function by α(g, g , g ). The new background connection is just a gauge transform of the original background connection. Hence, we see that α precisely captures the anomaly in the flavor symmetry. Morally, this means the following: A symmetry category C includes the specification of its anomaly.
Fixing a group G, the set of its anomalies forms an Abelian group. Notice that, in our language, C(G, α) for different α have the same fusion ring R = Z + G. Thus, we can ask the following more general question: does the set of symmetry categories C with the same fusion ring R form an Abelian group? The answer is that we need a coproduct on R. To see this, let us recall why the anomaly of a flavor symmetry forms an Abelian group from the perspective of quantum field theory.
In general, given two theories T 1,2 , we can consider the product theory T 1 × T 2 which is just two decoupled theories considered as one. When T i has flavor symmetry group G i , the product T 1 × T 2 has flavor symmetry group G 1 × G 2 . When G 1 = G 2 = G, we can take the diagonal G subgroup of G × G and regard T 1 × T 2 to have flavor symmetry G. Now, when T i has the anomaly α i , we define the anomaly of T 1 × T 2 to be the sum α 1 + α 2 . This abstractly defines the addition operation on the anomaly.
The crucial step that does not directly generalize to symmetry categories is the existence of the diagonal subgroup G ⊂ G × G. In order to define the addition operation on the set of fusion categories sharing the same fusion rule R, similarly we need a coproduct R → R ⊗ R.

C(G, α) and the G-SPT phases
Next, fixing a 3-cocycle α, let us ask what is the autoequivalence of C(G, α), that is, the self equivalence that preserves the structure as a symmetry category.
Pick an autoequivalence ϕ : g → ϕ(g) with the associated g,h ∈ Hom(ϕ(g)ϕ(h), ϕ(gh)). Clearly ϕ is an automorphism of G. Fixing ϕ to be the identity, needs to be a 2-cocycle so that it does not change α. Furthermore, two such 's are considered equivalent when they differ by a 2-coboundary, due to (3.23). Therefore can be thought of as taking values in H 2 (G, U(1)). Summarizing, The Aut(G) part is clear: it just amounts to renaming the topological lines associated to the group operation. How should we think of H 2 (G, U(1))? It is telling us that instead of choosing the identity operator as the implicit junction operator for g ⊗ g → gg as done in Fig. 3.1, we can choose g,g times the identity. This will not change the associator but will change the partition function associated to a background connection on Σ. This corresponds to coupling a twodimensional theory with C(G, α) symmetry with a two-dimensional bosonic symmetry protected topological (SPT) phase, which is specified by the 2-cocycle protected by the flavor symmetry G. The 2-cocycle is also known as a discrete torsion of G. As an example, consider a torus with holonomies g, h around two 1-cycles. They can be represented using the topological lines as in Fig. 3.9. There, we resolved the intersection to two trivalent junctions.
We now change the operators at the two junctions to g,h and g −1 ,h −1 given by the values of the 2-cocycle. In total the phase of the partition function changes by which is the standard relation between the discrete torsion phase c on the torus and the 2-cocycle [14]. We can thus generalize as follows: Autoequivalences of a symmetry category C generalize the notion of renaming and multiplying by SPT-phases for a group symmetry.
We need to keep in mind however that the phases introduced by in the general case do not have an interpretation of multiplying a SPT phase protected by C, since the product of two theories with symmetry C has symmetry C C but is not guaranteed to have symmetry C, as already discussed above.

Rep(G) as symmetry category
Next, let us discuss Rep(G) for a finite group G. Its structure as a symmetry category is straightforward: the objects are representations of G, the morphism space Hom(R, S) between two representations consists of intertwiners, as the tensor product ⊗ and the associator α R,S,T we use the ordinary operations, the dual is the complex conjugate, etc. The simple objects are the irreducible representations. The dimension of a representation R as defined above equals the ordinary definition. Then, the total dimension of Rep(G) is the sum of the square of the dimensions of the irreducible representations, therefore Clearly, when G is an Abelian group, we have a natural equivalence C(Ĝ) = Rep(G). This means in particular that the symmetry categories Rep(G) for distinct Abelian G are distinct. In fact the fusion rings R(Rep(G)) are already distinct.
For non-Abelian G, the situation is more delicate. For example, take the dihedral group D 8 with eight elements (i.e. the symmetry of a square in three-dimensional space) and the quaternion group Q 8 (i.e. the group formed by eight quaternions ±1, ±i, ±j, ±k). Their character tables are the same. In particular, they both have four one-dimensional irreducible representations 1, a, b and ab and a unique two-dimensional irreducible representation m, with m ⊗ m 1 ⊕ a ⊕ b ⊕ ab. Therefore, their fusion rings are the same. In this case, however, the symmetry categories are different, since they are known to have distinct associator α m,m,m , see e.g. [15]. In this sense, the relation between Rep(D 8 ) and Rep(Q 8 ) is analogous to the relation between the symmetry categories C(G, α) associated to the same group but with a different anomaly.
It is also known that there are cases where two distinct groups lead to the same symmetry category [16,17]. Let F 2 be the finite field with two elements. The symplectic group Sp(2d, F 2 ) acts on (F 2 ) 2d . The extension of (F 2 ) 2d by Sp(2d, F 2 ) with this natural action is classified by the cohomology As already roughly discussed in Sec. 2.2, a theory T /G where T has flavor symmetry G has a symmetry Rep(G), and re-gauging Rep(G) we get back the original theory T . Equivalently, if a theory T has a symmetry Rep(G), gauging Rep(G) of T has the symmetry G. In the example above, we said Rep(G d ) = Rep(G d ) for different G d and G d . This means that there are (at least) two distinct ways of gauging C = Rep(G d ) = Rep(G d ), producing two different theories with different symmetries G d and G d . Let us next study what is going on in detail.

Gaugings and symmetry categories
Given a theory T with non-anomalous G symmetry, we can form the gauged theory T = T /G, and T has Rep(G) as the symmetry category. We would like to precisely state the process of gauging Rep(G) of T and getting back T .
To do this, it is helpful first to state two procedures, one of obtaining Rep(G) from G and another of obtaining G from Rep(G), in a manner that treats G and Rep(G) on an equal footing. This is done using the concept of module categories and bimodule categories.
Once we understand this process, it is straightforward to study how to gauge a more general symmetry category C. We will also be able to answer how the symmetry category C changes under gauging in the general setting.

Module and bimodule categories
Readers would be familiar with the action of a group or an algebra on a vector space. Then the vector space is called a representation or equivalently a module. When there are two commuting actions, one from the left and another from the right, it is often called a bimodule. Module categories and bimodule categories are categorified versions of this construction. Our expositions will be brief; for more details, please consult Chapter 7 of the textbook [7].
The categorified version of a linear space is an additive category. An additive category M is a category with the additive structure whose morphism spaces are vector spaces. Here and in the following, we assume objects of M to be of the form m N m m where m runs over simple objects and N m are non-negative integers. We also assume that the number of isomorphism classes of simple objects is finite.
The simplest additive category is Vec, the category of finite dimensional vector spaces. There is only one simple object C, and every other object is isomorphic to nC = C n .
Take C to be a symmetry category. A left-module category over C is an additive category M such that for a ∈ C and m ∈ M the product a ⊗ m ∈ M is defined, together with the associativity morphisms satisfying the pentagon identity. Direct sums of module categories can be easily defined. When C is a symmetry category it is known that every module category can be decomposed into a direct sum of indecomposable module categories. Physically, a module category specifies a topological boundary condition. Each object m in the module category specifies the boundary condition and the "type of flux" it carries. A line a can end on m at the cost of transforming m to a ⊗ m which changes the flux at the boundary by a. If a ⊗ m m for all a ∈ C then m, along with its direct sums with itself, describes an indecomposable module category by itself which corresponds to a boundary condition that absorbs all the flux and hence we can refer to it as the "Dirichlet boundary condition". In general, an indecomposable module category is a generalization of mixed Dirichlet-Neumann boundary conditions familiar from gauge theory. In the literature, the structure on Vec of a module category for C is often called a fiber functor of C, but we try not to use this terminology.
We can similarly define a right-module category over C. A (C 1 , C 2 ) bimodule category is an additive category M which has a left action of C 1 and a right action of C 2 , together with further compatibility morphisms A bimodule category has the physical interpretation that it describes a topological interface where lines in the symmetry categories C 1,2 can end from the left and from the right, respectively. Recall that a representation of an algebra A on a vector space V can be thought of as a homomorphism from A to the algebra of matrices Hom(V, V ). Similarly, given an additive category M we can form the symmetry category Func(M, M) of additive self functors, and then giving the structure of a module category on M is the same as giving a homomorphism of symmetry categories from C to Func(M, M).
The commutant of C within Func(M, M) is denoted by C * M and called the dual of C with respect to M. When M is indecomposable, it is known that (C * M ) * M C. M is naturally a (C, C ) bimodule category where C is C * M with the order of the tensor product reversed. Since we will only use C and not C * M in the following, we will call C the dual of C with respect to M. Two symmetry categories C and C such that C is the dual of C acting on M are called categorically Morita equivalent. We will come back to this notion in Sec. 4.7.

Duality of C(G) and Rep(G)
Let us discuss examples of module categories. We can give Vec a structure of a module category over C(G): for g ∈ C(G) and C ∈ Vec, we just define g ⊗ C = C, and let the associator be trivial. Note that this construction does not work for C(G, α) with nonzero anomaly α ∈ H 3 (G, U(1)), since the pentagon will not be satisfied.
We can also give Vec a structure of a module category over Rep(G): for R ∈ Rep(G) and C ∈ Vec, we just define R ⊗ C = R ∈ Vec, and let the associator be the natural one induced from the tensor product structure of G. We note that for C = Rep(G d ) = Rep(G d ) at the end of Sec. 3.4.4, the module category structures on Vec as Rep(G d ) and Rep(G d ) are different, since the associators (4.1) as morphisms in Vec turn out to be distinct.
Furthermore, we note that Vec is a (C(G), Rep(G)) bimodule category. The only additional ingredient is the associator The compatibility condition just says that α g,C,R are representation matrices of g on R, chosen compatible with the tensor product. Physically, we can regard Vec as the boundary between a system with G symmetry on the left and a gauged system with Rep(G) symmetry on the right. In fact, Rep(G) is characterized as the maximal set of right actions compatible with the left action of C(G), and C(G) as the maximal set of left actions compatible with the right action of Rep(G). As we will explicitly confirm in Sec. 4.5, C(G) and Rep(G) are dual to each other with respect to Vec: The symmetry category C(G) and Rep(G) are dual with respect to the module category Vec.

Gauging by an algebra object
How is this duality of C(G) and Rep(G) related to gauging? To understand this, we need a digression. Take A = g g in C(G). The group multiplication gives a multiplication morphism µ : A ⊗ A → A, and and the map 1 → g δ 1g g defines a unit morphism u : 1 → A. These two operations satisfy the properties in  general symmetry category C along with morphisms µ and u which satisfy these properties, then A is called an algebra in C.
We also have corresponding co-morphisms. The map g → 1 |G| h (h ⊗ h −1 g) defines a comultiplication • µ : A → A ⊗ A and the projection g → δ 1g 1 defines a co-unit morphism • u : A → 1. • µ satisfies a co-associativity axiom which is given by turning the graphs in Figure 4.1 upside down and changing the directions of all the arrows. Similarly, • µ and • u together satisfy a co-unit axiom which is given by turning the graphs in Figure 4.2 upside down and changing the directions of all the arrows. In general, if we have an object A ∈ C with morphisms • µ and • u satisfying these axioms, we say that A is a co-algebra in C.
Moreover, in the group case we can explicitly check that A satisfies additional properties which relate the algebra and co-algebra structure on A. These are shown in Figures 4.3, 4.4 and 4.5. An object A ∈ C satisfying these properties is called as a symmetric Frobenius algebra object in C.
Now, given a two-dimensional theory T with flavor symmetry G, the partition function of the gauged theory T /G can be described using this object A. Namely, Figure 4.5: Symmetricity axiom for an algebra object A ∈ C. Here • a denotes the coevaluation map for line a.
defined by the partition function of T on M with a fine-enough trivalent mesh of topological lines all labeled by A. By fine-enough, we mean a mesh which can be obtained as the dual graph of a triangulation of the 2d manifold M . The relations above guarantee that the result does not depend on the choice of the mesh as long as it is fine enough. Dually, these relations guarantee invariance under changes of triangulations by Pachner moves. Furthermore, by decomposing A = g g, one can see that this trivalent mesh is a superposition of various G bundles over M , giving us back the standard definition of the gauged theory.
The crucial idea of [18,8] is to take this as the definition of gauging in the generalized sense. Namely, given a theory T with a symmetry category C, pick a symmetric Frobenius algebra object A ∈ C. Then, the gauged theory T /A is defined exactly as in the previous paragraph.
Note that there can be multiple possible choices of A for a given C. For example, when C = C(G), we can pick any subgroup H ⊂ G and take A H := h∈H h. When C = C(G, α), we can check that A H is an algebra only when the anomaly α ∈ H 3 (G, U(1)) when restricted to H is trivial. We can also twist the multiplication morphism m : A ⊗ A → A by using (1)). The choice of A then can be thought of as the choice of a gauge-able subsymmetry together with the choice of the discrete torsion [3]. We summarize: Gauging a gauge-able subpart of C is done by inserting a fine-enough mesh of an algebra object A in C. The choice of A in C generalizes the notion of choosing a non-anomalous subgroup and the discrete torsion in the case of group symmetry.
We have some comments: • There is in general no canonical maximal A in C. For example, given C(G, α) for a nontrivial anomaly, there is not necessarily a unique maximal non-anomalous subgroup.  • In the case of C(G, α), finding possible algebras A is equivalent to finding a symmetry subcategory of the form C(H, 0). This is however not the general situation. Algebras A specifying possible gaugings do not necessarily correspond to symmetry subcategories.
• Note also that two distinct A and A might give rise to the same gauged theory. We will come back to this question in Sec. 4.6.

Symmetries of the gauged theory from bimodules for the algebra object
What is the symmetry category of the gauged theory T /A? Since T /A is just the original theory T with a fine mesh of A, we can still consider topological lines p ∈ C of the original theory. But for p to be topological in the presence of an arbitrary mesh of A, the lines of A need to be able to end on p both on the left and the right consistently. First of all, there must be a morphism x L : A ⊗ p → p such that conditions in Figures 4.6 and 4.7 are satisfied. These properties make p into a left A-module in C. Similarly, there must be a morphism x R : p ⊗ A → p which satisfies similar conditions and makes p into a right A-module as well. Moreover, there must be morphisms • x L : p → A ⊗ p and • x R : p → p ⊗ A which satisfy co-conditions obtained by reflecting the graphs in Figures 4.6 and 4.7 upside down and reversing all the arrows. This would make p into a left and right A-comodule. It turns out that for a symmetry category, we can always get the co-module structure by combining the module structure with the co-evaluation map for A or A * . Hence, from now on we restrict our attention only to the module structure. On top of all these conditions, p must also satisfy conditions which allow us to commute the left and right actions of A on p. This is the condition shown in The topological operators between two lines p and q, both of which are bimodules, need to be compatible with the action of A from both sides. That is, the insertion of the bimodule changing operator and the action of A must commute. They give rise to the category Bimod C (A) of (A, A) bimodules of A within C. Note that the concept of the category of (A, A) bimodules is different from the concept of bimodule categories over C that we encountered above.
The tensor product in the category Bimod C (A) is written as ⊗ A and it ensures that any insertions of A between p and q in p ⊗ A q can be removed. The product p ⊗ A q is given as a subobject of p ⊗ q defined by the most general projection π which satisfies the equation where each side of the equation stands for the composition of the morphisms shown, which are the associators α, the projection π and the morphisms x L and x R defining the action of A on p and q. See Figure 4.9. The equation tells us that the right action of A on p is balanced against the left action of A on q. Figure 4.9: The compatibility condition defining balanced tensor product of two A-bimodules p and q via π.
The left action of A on p ⊗ A q is defined by the compatibility condition where each side of the equation means the composition of the appropriate morphisms, namely the associators, the projection, and the left action of A on p. The reader can draw a figure for (4.7) in a similar fashion as to Figure 4.9 for (4.6). Similarly, we define the right action of A on p ⊗ A q. These actions manifestly commute and convert p ⊗ A q into an A-bimodule.
The dual of π is • π : p ⊗ A q → p ⊗ q and we have π • • π = 1. The associator in Bimod C (A) is then defined asα p,q,r = π p,q⊗ A r • (1 ⊗ π q,r ) • α p,q,r • ( • π p,q ⊗ 1) • ( • π p⊗ A q,r ), • • u where u and • u are unit and co-unit morphisms defining A. The argument above suggests that we should take Bimod C (A) to be the symmetry category of the gauged theory T /A. Now, consider two half-spaces, and put the mesh only on the right half. We now have a domain wall between the original theory T on the left and the gauged theory T /A on the right. On this domain wall, the lines of the theory T , in particular those from C, should be able to end on the left and the lines of the theory T /A, namely those from Bimod C (A), should be able to end on the right. This suggests that the domain wall is described by the category Mod C (A), the category of right A-modules. Note that Mod C (A) has a natural left action of C and a natural right action of Bimod C (A), making it naturally a (C, Bimod C (A)) bimodule category. Almost by definition, Bimod C (A) is the dual of C with respect to the module category Mod C (A).

Gauging of C(G) to get Rep(G) and vice versa
As an exercise, let us describe the process explicitly when C = C(G) and Rep(G). Consider an object M = N g g where N g are non-negative integers. We constrain M by demanding that it forms a right-module for A. First of all, we need a morphism x : M ⊗ A → M , which is characterized by morphisms x g,g : N g g ⊗ g → N gg gg , each of which can be though of as an N gg × N g matrix. These matrices have to satisfy two equations. The first one involves the product axiom of A and it tells us that x gg ,g x g,g = x g,g g . (4.9) The second one involves the unit axiom of A and it tells us that Combining these two, we find that x g,g x gg ,g −1 = 1 (4.11) which implies that N g = N for all g and x g,g = x e,gg (x e,g ) −1 . (4.12) So, we find that the right modules are M = N g g = N A with arbitrary invertible N × N matrices x e,g . Now, we find the morphisms in Mod C(G) (A). The first observation is that all (N A, x e,g ) are isomorphic to (N A, 1). A morphism from right to left is provided by sending N g inside (N A, 1) to N g inside (N A, x e,g ) by the matrix x e,g . The condition that this morphism commutes with the action of A turns out to be (4.12) and hence this morphism is indeed a module morphism. The morphism from left to right via the inverse matrix is the inverse of this module morphism. So, we can restrict our attention to objects N A ≡ (N A, 1).
Let us then find module morphisms from N A to N A. Such a morphism ϕ is specified by an N × N matrix ϕ g sending N g inside N A to N g inside N A. The condition that ϕ be a module morphism implies that ϕ is a constant N × n matrix independent of g. Thus, we identify Mod C(G) (A) as the category Vec.
Next, let us determine Bimod C(G) (A). By a similar analysis as above, we can write such a bimodule as (N A, (x L ) g,e , (x R ) e,g ) where (x R ) e,g and (x L ) g,e encode the morphisms M ⊗A → M and A ⊗ M → M . As before we can restrict our attention to (N A, (x L ) g,e , 1). Demanding that the left and right actions of A are compatible, we find that which means that the objects of Bimod C(G) (A) are identified as representations of G. One can check that the morphisms of Bimod C(G) (A) are precisely the intertwiners between the representations. Thus Bimod C(G) (A) is equivalent to Rep(G). We can also work out ⊗ A and it agrees with the tensor product on Rep(G).
From Rep(G) to C(G): Now the algebra object A ∈ Rep(G) is the regular representation. The regular representation is spanned by basis vectors g in one-to-one correspondence with the group elements g. If we denote the action of g by ρ(g) then ρ(g) h = gh. The algebra multiplication takes g ⊗ h to δ gh g which is an intertwiner. The unit morphism 1 → A corresponds to choosing g g in A.
First, we look for right modules of A. Choose some representation R of G. We denote the action of g on q ∈ R as g q. Note that g q = 0 for any g and any non-zero q because otherwise this would imply that q = g |G| q = 0. The right-action of A on R must satisfy g( p h) = (g p ) h. We must also have that ( p h) k = δ hk p h and p( g g) = p. Now, start with some arbitrary vector q = 0 such that q g = 0 for some g. Then, it must be true that p := (g −1 q) 1 = 0. Then, p 1 = p and p g = 0 for all g = 1. This implies that for every g we obtain a vector p g = g p which has the following properties: p g h = δ gh p g . Also, all p g must be linearly independent because α g p g = 0 can be hit by h from the right to yield α h = 0. Thus the set formed by p g for all g is the regular representation A of G and R breaks up as a sum of regular representations. Thus, the objects of Mod Rep(G) (A) are all isomorphic to N A for some non-negative integer N . One can easily work out the module morphisms as well and then one finds that Mod Rep(G) (A) is equivalent to Vec.
Next, we look for bi-modules of A. Pick A as a particular right module for A. It can be converted into a bimodule V g by simply stating that h p 1 = δ gh p 1 . The G-equivariance then determines that h p k = δ kg,h p k . Thus objects of Bimod Rep(G) (A) are labeled by non-negative integers n g for each g. One can similarly figure out bimodule morphisms leading to the result that Bimod Rep(G) (A) is equivalent to C(G). Again, the tensor product ⊗ A can be worked out and it equals the group multiplication.

Gaugings and module categories
Let us come back to the general question. We said that given a theory T with a symmetry C and a symmetric Frobenius algebra object A ∈ C, we can put a fine mesh of A on the two-dimensional manifold to define the gauged theory T /A. We now ask the question: when do two algebra objects We claim that the existence of such an invertible interface guarantees that T /A and T /A are isomorphic theories. For instance, consider the Hilbert space V of T /A on S 1 . It can be mapped to the Hilbert space V of T /A on S 1 by considering a cylinder geometry of infinitesimal time with the insertion of a wrapped domain wall n in between. Similarly, we have an inverse map from V to V constructed similarly from m. Now, we can compose these maps by putting one cylinder on top of the other. As the interfaces are topological, they can be moved towards each other and ultimately fused away as they are inverses of each other. Thus, we are left with a unitary evolution on an infinitesimal length cylinder geometry. We can now take the infinitesimal to zero in all the steps above to obtain an isomorphism between V and V . Similar arguments can be used to show that any kind of data of T /A is isomorphic to the same kind of data of T /A .
We would like to stress that this equivalence of T /A and T /A is different from our claim that T and T /A contain the same amount of information. For example, in the latter case, the Hilbert spaces would be different, as we will detail in Sec. 4.8.2.
All of this means that what really characterizes different gaugings are not the algebra objects used in the gaugings themselves but the associated module categories Mod C (A) over C. We can then ask the question: does every module category M over C come from a symmetric Frobenius algebra object A in C, so that M arises as the domain wall between the original theory T and the gauged theory T /A? The answer is yes [7,19].
The construction goes roughy as follows. Given a module category M over C, consider the morphism spaces Hom(c ⊗ m, n) for c ∈ C and m, n ∈ M. There is an object called the internal hom and denoted by Hom(m, n) in C which satisfies Hom(m, n)). (4.14) At the level of objects, this is given by where c runs over the isomorphism classes of simple objects in C as can be simply verified by computing Hom C (c, Hom(m, n)) from this equation. Now, the internal homs can be concatenated naturally, in the sense that there is a natural morphism µ : Hom(m, n) ⊗ Hom(n, o) → Hom(m, o) (4. 16) and in particular Hom(m, m) has the multiplication. It can be shown [7] that A = Hom(m, m) for a simple object m ∈ M is an algebra object such that Mod A (C) M. Furthermore, A is automatically symmetric Frobenius if C is a symmetry category [19]. Summarizing, we have Distinct choices of gaugings of a theory with symmetry category C are in one to one correspondence with choices of indecomposable module categories M over C characterizing the domain wall between the original theory and the gauged theory. The gauged theory has the symmetry C which is the dual of C with respect to M.
We denote the gauged theory corresponding to a module category M by T /M. We would like to note that a decomposable module category corresponds to a direct sum of algebras A = A 1 ⊕ A 2 where the algebra structure of A comes from algebra structure of A 1 and the algebra structure of A 2 . Gauging a theory T using A produces T /A = T /A 1 ⊕ T /A 2 because a mesh of A is the same as a mesh of A 1 plus a mesh of A 2 .

(Re-)gauging and its effect on the symmetry category
Now we can give a unified description of the (re-)gauging process. Consider a theory T with a symmetry C. Pick an indecomposable module category M of C. There is an algebra object A ∈ C such that M Mod C (A), and then the gauged theory T /M := T /A has the symmetry C = Bimod C (A) such that M is a natural (C, C ) bimodule category. Now, pick an indecomposable module category M of C and repeat the same process. We get the gauged theory T /M/M which has the symmetry C such that M is a (C , C ) bimodule category. We now see that the 'set' of all symmetry categories can be subdivided into 'subsets' consisting of symmetry categories that can be converted into each other by a sequence of gauging.
Note that this double gauging can be done in one step, since from two bimodule categories M and M we can form the tensor product M C M which is a (C, C ) bimodule category. Notationally it is convenient to write a (C, C ) bimodule category M as a morphism M : C → C . In particular, M op given by reversing the order of the tensor product is naturally a (C , C) bimodule category, and M op • M is the identity. Therefore we have T /M/M op = T . The example we started this paper with, T /G/Ĝ = T for an Abelian group G, is a special instance of this construction.
It is instructive to phrase the re-gauging process in terms of the algebra A as well, whose detail can be found in [8] with plenty of helpful drawings. The category of bimodules Bimod C (A) have an algebra object B = A * ⊗ A. B is also trivially an algebra in C and its algebra multiplication is given by the evaluation map. Moreover, we can embed A into B as A → A * ⊗A⊗A → A * ⊗A = B where the first map is the co-evaluation map and the second map is the multiplication for A. We are looking for B-bimodules in Bimod C (A) which can be identified with B-bimodules in C because A embeds inside B and hence a B-bimodule structure carries an A-bimodule structure. Now, B-bimodules in C are trivially obtained from any object a ∈ C by the mapping A * ⊗ a ⊗ A. This mapping gives us an equivalence of C and the category of B-bimodules in Bimod C (A).
Physically, this means that the lines of T /M/M op come as lines of T dressed by A * on one side and by A on the other. The local operators in T /M/M op also correspond to a local operator of T which appears at the junction of "middle" lines and the A-lines on the side are just joined smoothly. Let's insert a network of lines of T /M/M op on a surface Σ and compute the partition function. The network will look like a network of lines of T with additional A loops, one for each "plaquette". These A loops can be shrunk away leaving the partition function of a network of lines of T . Thus we see explicitly how we obtain the same theory on regauging. Later on, we will discuss 2d TFTs with C symmetry and we will give a prescription for constructing the gauged TFT which uses heavily the algebra A rather than M. From this argument, it is clear that regauging the gauged TFT will give back the original TFT.
Summarizing, we have the following: Denote by M : C → C when the symmetry category C has a gauging M under which the dual symmetry is C . Two consecutive gaugings M : C → C and M : C → C can be composed to M • M : C → C , and any gauging M : C → C has an inverse M −1 : C → C such that M −1 • M is the identity.
Now, let us ask when are two symmetry categories C and C dual with respect to some indecomposable module category M. It is known [20] that this happens if and only if Z(C) Z(C ), where Z(C) is the Drinfeld center of C. This has the following physical interpretation.
Recall first that any symmetry category where every simple object is invertible is of the form C = C(G, α). From the same data of G and α ∈ H 3 (G, U(1)), we can construct a 3d TFT called the Dijkgraaf-Witten theory [12]. On the boundary of the Dijkgraaf-Witten theory, we can put a 2d theory with symmetry G with an anomaly α.
There is a generalization of this construction that gives a 3d TFT starting from any symmetry category C, sometimes called the generalized Turaev-Viro construction. We will just call them the Dijkgraaf-Witten theory associated to C. The Drinfeld center Z(C) is the braided tensor category which captures the properties of the line operators of this 3d TFT, and this 3d TFT can have a boundary where a 2d theory with symmetry C lives. For a recent exposition, see e.g. [21].
Since T /A is obtained by just adding a mesh of A on T , T /A and T can be put on boundaries of the same 3d TFT. Therefore their Drinfeld centers should be the same. Conversely, specifying an isomorphism Z(C) Z(C ) corresponds to specifying a 1d domain wall on a 2d boundary of a single 3d TFT, such that we have lines from C on the left and lines from C on the right of the domain wall. This corresponds to specifying a (C, C ) bimodule implementing the gauging. Summarizing, Two symmetry categories C and C can be transformed to each other by an appropriate gauging if and only if the 3d TFTs associated to them are equivalent, i.e. Z(C) Z(C ).
The fact Z(C) Z(C ) also implies that the total dimension of C and C are the same, Another related point is the following. This mathematical process of choosing a module category or an algebra object corresponding to it for a symmetry category and taking the dual category can be performed for a modular tensor category. A modular tensor category describes topological line operators in a three-dimensional theory and therefore this operation should be thought of as creating a new three-dimensional theory from an old one. This operation is in fact known under the name of anyon condensation [22].

The effect of the gauging on Hilbert space on S 1
Let us now discuss the Hilbert space on S 1 of a theory with symmetry C, and how it is modified by the gauging.

Backgrounds for C symmetry
Consider a cylinder of the form S 1 × R t , with lines a i in C transverse to the constant time slice t = 0. Let us assume that other data about the circle like its size, spin-structure etc. have been fixed so that we can associate a Hilbert space of states to this circle. See We would like to identify this configuration of lines with an object a of C and say that the circle carries the background a for the symmetry C. When C = C(G), the backgrounds are labeled by group elements and correspond to holonomy of the G-connection around the circle. As the lines are topological, we can try to define such an a by fusing them together. Clearly, there are choices in the precise way one performs this procedure: there is a choice of the base-point from which we start taking the tensor product, and there is also a choice in the relative order of fusion of the lines,  which is related to the associators in C. To spell this out more fully, we need some notations and operations.
Let us denote the Hilbert space for a cylinder with just one line operator a ∈ C by V a . We require V a⊕b = V a ⊕ V b . A morphism m : a → b defines an operator Z(m) : V a → V b . This is given by the geometry shown in Fig. 4.12. Note that in a non-topological theory, the vertical height of the cylinder containing the topological line and/or the topological operator needs to be taken to zero. The same comment applies to all the figures discussed below in this section. Now, two choices of fusing a, b and c in Fig. 4.11 can be taken care of by using the associator α and Z: To track the change of the base point, we need to introduce the map X a,b : V a⊗b → V b⊗a defined by Fig. 4.13, together with its inverse. They are associated to the intersection of the topological line and the auxiliary line, which is the trajectory of the base point.
The operations X a,b and Z(α) satisfy many consistency relations, which we spell out in full in Sec. 6.2. With them, we can keep track of the change of the base point and the change of the order of fusing the lines in a consistent manner. This allows us to associate a Hilbert space to a circle with multiple transverse line operators a 1 , . . . , a k .  The operators X and Z can also be used to express how a line operator wrapped around S 1 acts on the Hilbert space. Indeed, given two morphisms m : a → c ⊗ d and n : d ⊗ c → b, we can define the operator U c,d (m, n) using the network drawn in Fig. 4.14. Explicitly, this is given by The action U a of a line operator labeled by a wrapped around on S 1 on the Hilbert space V 1 on S 1 without any transverse line, referred to in Sec. 3.1, is a special example of this construction: U a = U a * ,a ( • a , a ) where • a , a are the co-evaluation map and the evaluation map introduced in (3.10), (3.11).

The Hilbert space of the gauged theory
So far we discussed the Hilbert spaces V a of the original theory T with the symmetry C, where a ∈ C is the label of the line operator transverse to the constant time slice S 1 . Let us now discuss how Hilbert spaces W p of the gauged theory T /A can be found, where p ∈ C .
A line in the gauged theory is given by an (A, A) bimodule in C. Each such bimodule p can be viewed as an object in C and hence has a Hilbert space V p associated to it by the ungauged theory T . We construct the Hilbert space W p associated to p by the gauged theory T /A as a subspace of V p in the following manner. In the case of C(G), one is traditionally instructed to project this space to the subspace left invariant by the action of the group G. For a general symmetry category C and its gauging A, we need a projector P : V p → W p . Such a projector is naturally given by P := U p,A ( • x R , x L ) where • x R : p → p ⊗ A and x L : A ⊗ p → p are the morphisms defining the module and comodule structures on p, see Fig. 4.15. This projector was written down in [23].
Let us now show that this projector to W p agrees with the traditional definition in the case of C(G), when p is the identity object in the category of bimodules. This means that p = A = g g as an object in C(G). Therefore we are going to project V A = g V g . The operator P restricted to V 0 is given by |G| −1 g g, and this is indeed a projector to the G-invariant subspace. The action of P on the whole V A can be found similarly, and we find that where C runs over conjugacy classes of G, c ∈ C is a representative element, and G c is the commutant of c in G. This is as it should be. Summarizing, we have the following statement: The Hilbert space of the gauged theory T /A is obtained by taking the invariant part of the ungauged theory T under the projector naturally defined by wrapping A around S 1 .

More examples of symmetry categories and their gauging
In the previous sections we reviewed the general theories of symmetry categories and their gauging. So far, however, we only saw basic examples where symmetry categories are either of the form C (G, α) where G is a finite group and α its anomaly, or of the form Rep(G) where G is a group. In this section we discuss many other examples and their gauging.

Symmetry category with two simple lines
The simplest symmetry category consists of just one simple object 1 and its multiples. This can be thought of as a symmetry of any 2d theory, but it is not very interesting. Let us then consider the simplest nontrivial symmetry category, consisting of simple objects 1 and x. The dual of x can only be x, and then x ⊗ x can only contain one copy of 1. Therefore the tensor product can only be of the form x ⊗ x = nx ⊕ 1, where n is a non-negative integer.
When n = 0, then the simple objects 1 and x form the group Z 2 . As we already discussed, there are two possible symmetry categories C(Z 2 , α) where α ∈ H 3 (Z 2 , U(1)) = Z 2 determines the anomaly.
When n = 1, the dimension of x is easily determined to be (1 + √ 5)/2. The only nontrivial condition is the pentagon identity of the associator a x,x,x , and can be solved uniquely [24]. This symmetry category in fact has a braiding which turns it into a modular tensor category describing an anyon system. Recently this is known under the name of Fibonacci anyons because fusing n copies of x generates the F n−1 1 ⊕ F n x where F n is the nth Fibonacci number. For this reason we denote this category Fib.
It is known that we cannot have n > 1, as shown by Ostrik [25]. Therefore, possible symmetry categories with two simple lines are just three, C(Z 2 , 0), C(Z 2 , 1) and Fib. Ostrik also classified all possible symmetry categories with three simple objects [26].

Symmetry category of SU(2) WZW models and other RCFTs
Next, we review the symmetry category of RCFTs, following the construction of [27]. Let us take a rational chiral algebra A in two dimensions and consider a conformal field theory T which corresponds to the diagonal modular invariant of this algebra A. As is well-known, from a chiral vertex operator a corresponding to an irreducible representation of A, we can construct a topological line operator a of this theory T . Because the theory T corresponds to the diagonal modular invariant, chiral and antichiral vertex operators generate the same line operators. Therefore the theory has topological lines generated by irreducible representations of a single copy of A. They of course are specified by the Moore-Seiberg data, or equivalently they form a unitary modular tensor category C. We can forget the braiding of C and regard it as the symmetry category of this theory T .
The essential observation of [27] is that the choice of gauge-able subpart of C, or equivalently the choice of the module category M over C, is in one to one correspondence with the choice of modular invariants of the chiral algebra A. In particular, all modular invariants, including the exceptional ones, arise as the result of a generalized gauging.
Let us describe them in more detail in the case of SU(2) WZW models, following [28]. The chiral algebra is SU(2) k , which has k + 1 irreducible representations V j , j = 0, 1/2, · · · , k/2 (5.1) with the fusion rule where m = min(j + j , k − (j + j )). We have They form a symmetry category we denote by Rep( SU(2) k ). The object V 0 is the identity. It is clear that the objects V j with integral j form a symmetry subcategory, and can be denoted by Rep ( SO(3) k ). In particular, when k = 3, this is equivalent to the symmetry category Fib discussed above. Since V k/2 ⊗ V k/2 = V 0 , the simple lines V 0 and V k/2 form a sub-symmetry category. From our general discussion above, this is equivalent to C(Z 2 , α) where α ∈ H 3 (Z 2 , U(1)) = Z 2 . This α is determined in terms of the associator, or equivalently the fusion matrix or the quantum 6j symbol involving four V k/2 , and is known to be α = k ∈ Z 2 . In particular Rep( SU(2) 1 ) = C(Z 2 , 1). This also means that the subsymmetry formed by V 0 and V k/2 is gauge-able when k is even. Gauging it we obtain the modular invariant of type D k/2+2 . The E 6,7,8 modular invariants correspond to algebra objects The type X n of the modular invariants, or equivalently of the possible gauging, specifies the corresponding module category structure as follows: the isomorphism classes of simple objects in the module category are labeled by the nodes of the Dynkin diagram of X n , and the edges describe how V 1/2 acts on the simple objects.

Generalities
We now turn our attention to a more traditional setup of gauging a subgroup H of a bigger group G. We will soon see that already in this traditional-looking setup we encounter various surprises.
We start by specifying the anomaly of the bigger group; we start from a symmetry category C(G, α) where α ∈ H 3 (G, U(1)). Possible gaugings are classified by their module categories, as already discussed. They turn out to be in one-to-one correspondence with a pair (H, ψ) where H is a subgroup such that the restriction of α to H is trivial, and ψ is an element of H 2 (H, U(1)). 9 This result agrees with the more traditional viewpoint: we choose a non-anomalous subgroup H and then choose the discrete torsion ψ.
From the general machinery described above, the gauged theory has a symmetry category which is the dual of C(G, α) with respect to (H, ψ). Let us denote the resulting symmetry category by C := C(G, α; H, ψ). When α = 0, H = G, ψ = 0, we already know that C = Rep(G).
Furthermore, when G is abelian, C = C(Ĝ, 0). The explicit structure of C in the general case can be determined by realizing it as a category of bimodules Bimod C (A) for the algebra object A corresponding to (H, ψ).
Let us see what we can say generally. Firstly, there are two general facts: • the dimensions of lines in C are all integral; such symmetry categories are called as integral symmetry categories.
• the total dimension dim C := a (dim a) 2 is the same as the original one: dim C = |G|.
Secondly, there are cases where the dual symmetry C(G, α; H, ψ) itself is of the form C(G , α ) for some group G and the anomaly α . There is a theorem by Naidu, Nikshych [29,30] and Uribe [31] determining exactly when this happens, and if so, explicitly the form of G and α . The general formula is too complicated to reproduce in full here. A necessary condition is that H is an Abelian normal subgroup. When α is trivial this in fact suffices. In the next subsubsection we describe its explicit structure.

Gauging a normal Abelian subgroup of a non-anomalous group
Statement: Let us choose a group G and its normal Abelian subgroup H. We then gauge H. The gauged theory then has a symmetry group G with an anomaly α ∈ H 3 (G , U(1)), given as follows.
The fact that H is a normal Abelian subgroup means that G is an extension and as such it is determined by an an action of K on H by inner automorphisms in G, and an element κ ∈ H 2 (K, H) defined using the group action. The group G is a crossed product, G = H κ K. Let us identity G = H × K as a set. Then the group structure is given as follows: where k h is the action of k on h and κ(k, k ) is an H-valued 2-cocycle of K.
Denote byĤ the dual group of H. There is a natural action of K onĤ given by k ρ(h) = ρ(k −1 h) for arbitrary elements k ∈ K, h ∈ H and ρ ∈Ĥ. Under this action, with the trivial two-cocycle in H 2 (K,Ĥ), and α is given by Note that the nontriviality κ of the crossed product in the original G side is traded for the nontriviality of the anomaly α κ on the G side. Summarizing, we have Let us gauge a normal Abelian subgroup H of a symmetry group G. G is then necessarily of the form G = H κ K, where κ ∈ H 2 (K, H). When G has no anomaly, the gauged theory has the symmetry group G =Ĥ K, and the resulting anomaly α is given in terms of κ as in (5.8).
Derivation: Let us now derive the description of G given in the last paragraph. Our starting category is C(G) and we want to gauge it by the algebra object A = h where h ∈ H. The simple objects of gauged category Bimod C(G) (A) are bimodules which can be seen to form the setĤ × K using arguments very similar to those in Sec. 4.5. An object (ρ, k) in Bimod C(G) (A) is built from the object h (h, k) in C(G). Our choice of the bimodule structure on (ρ, k) is that the right action by A is trivial and the left action by A is given in terms of morphisms (x L ) h,h : (h, e) ⊗ (h , k) → (hh , k) satisfying the familiar condition The balanced tensor product of (ρ, k) and (ρ , k ) in Bimod C(G) (A) is given in terms of pro- Demanding the right action on (ρ, k) ⊗ A (ρ , k ) to be trivial leads us to the condition that π h,h = π h,e (5.12) which can be substituted into (5.11) to simplify it to π h(k h ),e = π h,e ρ (h ). (5.13) Via (4.7), the left action ρ on (ρ, k) ⊗ A (ρ , k ) satisfies ρ (h)π e,e = π h,e ρ(h) (5.14) which can be combined with (5.13) to yield In particular we have π h,e = ρ (k −1 h).
The equation (5.15) means that Bimod C(G) (A) is equivalent to C(G , α ) where G =Ĥ K for some yet to be determined α .
The associator can be computed from the graph in Figure 4.10. Let the objects p, q, r be (k, ρ), (k , ρ ), (k , ρ ). It suffices to restrict each object to the sub-object (k, e) in C(G). Without loss of generality, we can assume π e,e = 1 because factors of π e,e are canceled by factors of • π e,e . Then the only contribution comes from what is denoted as • π p⊗ A q,r in Figure 4.10 and we find the anomaly α given in (5.8).
Examples: As an example, consider G = Z 2n generated by x with x 2n = 1, and gauge the Z 2 subgroup generated by x n . When n is odd, G = Z 2 × Z n , and the dual symmetry is clearly just G =Ẑ 2 × Z n without any anomaly, since the part Z n does not matter. When n is even, G is a nontrivial extension 0 → Z 2 → G = Z 2n → Z n → 0, corresponding to a nonzero κ ∈ H 2 (Z n , Z 2 ). This means that the dual is G =Ẑ 2 × Z n , with a nontrivial anomaly α κ as given above.
As another example, consider G = D 2n , the dihedral group of 2n elements, generated by two elements r, s such that r n = s 2 = 1, srs −1 = r −1 . In particular, let n = 2m. Then x := r m generates the center Z 2 = x of D 2n . Let us then gauge the center. Since the extension 0 → Z 2 → D 2n → D n → 0 is nontrivial, the dual group G =Ẑ 2 × D n has a nontrivial anomaly α κ D , given in terms of a nonzero κ D ∈ H 2 (D n , Z 2 ) describing the extension. In particular, for D 2n = D 8 , the dual group G =Ẑ 2 × Z 2 × Z 2 is Abelian. Dually, this means that by gaugingẐ 2 of the Abelian group G with an anomaly α κ D turns the symmetry into a non-Abelian group D 8 .
As a final example in this subsection, consider G = Q 8 , the quaternion group of eight elements, formed by eight quaternions ±1, ±i, ±j, ±k. This is naturally a subgroup of SU(2) since quaternions of absolute value 1 form the group SU (2), and as such the lift to SO(3) of a finite subgroup of SO (3), this case D 4 = Z 2 × Z 2 . This means that we have a nontrivial extension This extension is again nontrivial, whose class Dually, we can say as follows. The same Abelian group,Ẑ 2 × Z 2 × Z 2 with two different anomalies κ D and κ Q dualizes, under gauging ofẐ 2 , into two different non-Abelian groups D 8 and Q 8 .

Integral symmetry categories of total dimension 6
Let us study the symmetry categories of total dimension 6 in detail. We already know a few such symmetry categories, C(Z 2 × Z 3 , α), C(S 3 , α) and Rep(S 3 ), where S 3 is the symmetric group acing on three objects. Let us study what the gauging of their subgroups leads to. We will see that there are in fact two more integral symmetry categories of total dimension 6.
• Z 1 is always gaugeable, • Z 2 is gaugeable only when α is from Z 3 and then the dual is itself, • Z 3 is gaugeable only when α is from Z 2 and then the dual is itself, • Z 6 is gaugeable only when α is trivial.
So there is nothing particularly interesting going on here.
From Rep(S 3 ): Any possible gauging of Rep(S 3 ) can always be done by first gauging Rep(S 3 ) back to C(S 3 ) and then gauge one of its subgroup. Therefore we do not have to study it separately.
From C(S 3 , α): Here the anomaly is determined by α ∈ H 3 (S 3 , U(1)) = Z 2 ×Z 3 . Let us denote by a and b the generators of Z 2 and of Z 3 , respectively.
• Z 1 is always gaugeable and the dual is itself.
• The subgroup Z 2 is gaugeable only when α = b i with i = 0, 1, 2. The dual is not of the form C(G , α ) because this subgroup is not normal. When α = 0 the dual turns out to be Rep(S 3 ). When i = 1, 2, the duals cannot be Rep(S 3 ), since if so, a further gauging will produce C(S 3 , b 0 ) from C(S 3 , b 1,2 ). But this is impossible, since these two symmetry categories have different number of possible gaugings.
• The normal subgroup Z 3 is gaugeable only when α = a 0,1 . Gauging it leads back to itself, with the same anomaly.
• S 3 is gaugeable only when α is trivial. The dual is Rep(S 3 ).
From the analysis above, we find that symmetry categories C(S 3 , b 1,2 ; Z 2 , 0) obtained by gauging the Z 2 subgroup of S 3 with a nontrivial anomaly α = b 1,2 is neither of the form C(G, α) nor of the form Rep(S 3 ). It turns out that they have the same fusion rule as Rep(S 3 ), namely there are simple objects 1, x of dimension 1 and a of dimension 2, such that x 2 = 1, ax = a, a 2 = 1+x+a. These are the smallest integral symmetry categories which is neither C(G, α) nor Rep(G).
It is known that the symmetry categories we listed so far exhaust all possible integral symmetry categories of dimension 6. This was shown in [32].

Integral symmetry categories of total dimension 8
Let us next have a look at symmetry categories of dimension 8. There are five finite groups G of order 8, namely the three Abelian ones Z 8 , Z 2 × Z 4 , (Z 2 ) 3 and two non-Abelian ones D 8 and Q 8 . Correspondingly, we already see that there are symmetry categories C(G, α) constructed from these group, where the possible anomalies are given as follows: We also know two other symmetry categories of total dimension 8, namely the representation categories Rep(D 8 ) and Rep(Q 8 ).
These two representation categories have the same fusion rules: there are four dimension-1 simple objects 1, a, b, ab forming an Abelian group A = Z 2 × Z 2 , and one dimension-2 simple object m, such that the fusion rule is commutative, a ⊗ m = b ⊗ m = m, and m ⊗ m = 1 ⊕ a ⊕ b ⊕ ab. (5.19) There are in fact two more symmetry categories, known as KP and TY with this fusion rule [15]. For all these four cases, it is known that we can gauge the subsymmetry Z 2 = {1, a} and obtain C(D 8 , α) where α ∈ H 3 (D 8 , U(1)) is chosen depending on the four cases. The four symmetry categories with the above fusion rule have a nice uniform description due to Tambara and Yamagami, which is applicable to a more general case based on any Abelian group A. The gauging of Z 2 = {1, a} leading to C(D 8 , α) also has an explanation in the larger context of Tambara-Yamagami categories. We will study them in more detail in the next subection.
The only remaining choice of the fusion rule of an integral symmetry category of total dimension 8 has the following form [33]: there are four dimension-1 simple objects 1, c, c 2 , c 3 forming an Abelian group A = Z 4 , and one dimension-2 simple object m, such that c ⊗ m = m ⊗ c = m and The result of Tambara and Yamagami [15] implies that there are four symmetry categories with this fusion rule, distinguished by two sign choices. These categories do not have a common name; let us temporarily call it S ±± . This completes the list of the integral symmetry category of total dimension 8. Before moving on, we have two comments. First, every integral symmetry categories we saw so far, i.e. those symmetry categories for which dimensions of objects are integers, can be obtained by gauging a non-anomalous subgroup of a possibly anomalous group. This property fails when the total dimension is larger. Indeed, some of the Tambara-Yamagami categories we discuss next are integral but cannot be obtained by gauging a non-anomalous subgroup of a possibly anomalous group.
Second, the symmetry category KP is of a historical interest, since it is the category of representations of the first non-commutative non-cocommutative Hopf algebra that appeared in the literature, constructed by Kac and Paljutkin in 1966 [34]. One way to construct a symmetry category is to pick a Hopf algebra H and take the category of its representations. When H is commutative, the symmetry category is of the form C(G), and when H is cocommutative, the symmetry category is of the form Rep(G). When we take the dual of a Hopf algebra, this naturally interchanges C(G) and Rep(G). Therefore considering Hopf algebras is a unified framework in which C(G) and Rep(G) can be treated symmetrically. That said, to treat the symmetries of two dimensional theories and their gauging, we need to deal with symmetry categories in general and we cannot stop at the level of the Hopf algebras. The symmetry categories which are categories of representations of Hopf algebras can be characterized as symmetry categories which has Vec as a module category. But even the familiar C(G, α) with a nontrivial α does not have Vec as a module category!

Tambara-Yamagami categories
To construct a Tambara-Yamagami category, we start from an Abelian group A. The simple objects of the category are elements a ∈ A of dimension 1 together with an object m of dimension Let us denote the resulting symmetry category by TY(A, χ, τ ).
In our case where A = Z 2 × Z 2 generated by a and b, we just have two possible symmetric nondegenerate bicharacters χ up to the action of SL(2, Z 2 ). Explicitly, two such choices are specified by χ(a, a) = 1, We denote the choices by χ ± . The choice of τ is τ = ±1/2. Then we have the following correspondence: Here we are slightly abusing the notation such that TY alone stands for a specific symmetry category with total dimension 8, while TY(A, χ, τ ) refers to a general construction. Another Tambara-Yamagami category of total dimension 8 is based on A = Z 4 = {1, c, c 2 , c 3 }. Any non-degenerate symmetric bicharacter is of the form Together with the choice of the sign of τ , we have four Tambara-Yamagami categories S ±± based on Z 4 . We note that the bicharacter χ + is trivial on the subgroup Z 2 = {1, a = c 2 }. It is known that for all eight Tambara-Yamagami categories described above, we can gauge the subsymmetry Z 2 = {1, a} and obtain C(D 8 , α) where α ∈ H 3 (D 8 , U(1)) is chosen depending on the four cases. This fact is a specific instance of a general theorem determining when a Tambara-Yamagami category is obtained by gauging a subgroup of a possibly non-anomalous group [35]. They showed that this occurs if and only if A has a Lagrangian subgroup H for χ, i.e. there is a subgroup H ⊂ A such that i) the restriction of χ on H is trivial and ii) A/H Ĥ via the pairing induced by χ. In the four cases above, H is given by Z 2 = {1, a}.
Let us explicitly describe below that gauging the subgroup H of the Tambara-Yamagami symmetry category C = TY(A, χ, τ ) produces a symmetry category of the form C(G, α). The algebra object we use to gauge the system is A = h∈H h.
We note that A fits in the extension 0 → H → A →Ĥ → 0. We fix a specific section s :Ĥ → A and denote by κ the two-cocycle in C 2 (Ĥ, H) characterizing this extension. Then the symmetric nondegenerate bicharacter χ on A defines a symmetric map satisfying the condition Simple (A, A) bimodules turn out to be isomorphic to either of the following two types: • X ρ,σ for ρ, σ ∈Ĥ. As an object in C, it is h∈H hσ. The right action of A is trivial, and the left action of A is given by ρ(a)id : a ⊗ hσ → ahσ.
• Y ρ,σ for ρ, σ ∈Ĥ. As an object in C, it is just m. The left action and the right action of A is given by ρ(a)id : a ⊗ m → m and σ(a)id : m ⊗ a → m.
The tensor product ⊗ A in the category of bimodules, together with the projections π (4.5) in the definition of ⊗ A is then given as follows: where the projections π are trivial, where the projections π are given by ρ (a)id : aσ ⊗ m → m, where the projections π are given by σ(a)ρ (a) −1 id : m ⊗ aσ → m, and where the projections π are given by The equations (5.30),(5.31),(5.32), (5.33) show that the simple objects X ρ,σ and Y ρ,σ form the group G = (Ĥ ×Ĥ) Z 2 (5.35) where the Z 2 acts by The anomaly α can be computed using the projections given above and the associators (5.22), (5.23) and (5.24) of the original category. We find α(X ρ,σ , X ρ ,σ , X ρ ,σ ) = ρ (κ(σ, σ )), As a check of the computation, we can directly confirm that these define a 3-cocycle on G.
In the eight cases Rep(D 8 ), Rep(Q 8 ), KP, TY and S ±± we discussed above, we always have H = Z 2 and the resulting group G = (Z 2 × Z 2 ) Z 2 is D 8 . To see this, regard Z 2 × Z 2 as the group of flipping the coordinates x and y of R 2 generated by respectively, and Z 2 acting on Z 2 × Z 2 to be the exchange of x and y given by Dually, with a suitably chosen α on D 8 and gauging the Z 2 subgroup flipping the x coordinate, we get the four symmetry categories given above.
6 2d TFT with C symmetry and their gauging 6.1 2d TFTs without symmetry As a warm-up, let us recall the structure of 2d TFTs without any symmetry. We follow the exposition in [10] closely, see in particular their Appendix A. We start with a vector space V of states on S 1 and one wants to define a consistent transition amplitude corresponding to a given topological surface Σ with m incoming circles and n outgoing circles. We need four basic maps • I, I, M , • M corresponding to four basic geometries given in Fig. 6.1. First, we construct maps • IM : V ⊗ V → C and • M I : C → V ⊗ V as in Fig. 6.2. This inner product must be non-degenerate because it just corresponds to a cylinder geometry which pairs a This allows us to reduce the number of independent statements we need to write down roughly by half; we do not repeat these adjoint statements below. We consider M as giving a product on V . There is no order on the two incoming circles of a pair of pants and hence the product is commutative, see Fig. 6.3. We can also see that M is associative from Fig. 6.4 and that I is a unit of the multiplication M from Fig. 6.5. Also, by composing these inner products with the product, we see that the product is invariant under permuting three legs, see Fig. 6.6 After these preparations, let us associate a map Z Σ : V ⊗m → V ⊗n to a surface Σ with m incoming circles and n outgoing circles. We pick a time coordinate t : Σ → [0, 1] such that at t = 0 we start with m initial circles and at t = 1 we finish with n final circles. As time goes from 0 to 1, the number of circles generically stay constant but can either increase or decrease by one unit at specific times 0 = t 0 < t 1 < t 2 < · · · < t p = 1. Cut Σ once in each interval (t i , t i+1 ). This divides Σ into p pieces. The geometry of each piece contains some cylinders, which correspond to trivial transition amplitude, and exactly one non-trivial geometry out of the four non-trivial cases shown in Fig. 6.1. This gives us an expression for Z Σ in terms of the four maps • I, I, M, • M .
However, one could choose a different time t which starts with same m initial circles and ends with same n final circles. In general, this would lead to a different cutting of Σ and a different compositions of four maps • I, I, M, • M . We need to make sure that they agree.
We can continuously deform the time function t to obtain the time function t . The critical points t i will move under this deformation and will cross each other. It is also possible for two critical points to meet and annihilate each other or for two critical points to pop out of nowhere. We therefore need to ensure that Z Σ remains invariant when t i and t i+1 cross each other, and when two critical points are created or annihilated. For this, we just need to ensure that the two-step composition from the cut between t i−1 and t i to the cut between t i+1 and t i+2 remains invariant under these processes.
All possible types of the topology changes were enumerated carefully in Appendix A of [10]. The cases are the following and their adjoints: The invariance of Z Σ under the change 1 is the unit property itself, and the invariance under the change 2a is the associativity itself. The invariance under the change 2b can be reduced to associativity by using the cyclic invariance of the product, shown in Fig. 6.6. Finally, under the topology change 3b, the map Z Σ is trivially invariant. In total, we have shown that a 2d TFT with no symmetry is completely defined by a vector space V with the four maps • I, I, M, • M with the conditions described above. Such a vector space is known as a commutative Frobenius algebra V .

TFT with C symmetry on a cylinder
Let us now move on to the discussion of TFTs with symmetry given by a symmetry category C. In this subsection we start with the simplest geometry, namely cylinders. We already discussed basics in Sec. 4.8.1. As mentioned there, we choose a base point along each constant-time cicle, and call its trajectory the auxiliary line.
Basic ingredients: We first associate the Hibert space V a for a circle with a single insertion of a line labeled by a ∈ C. We require V a⊕b = V a ⊕ V b . We now associate a Hilbert space V a,b,c,... for a circle with insertions of transverse lines a, b, c, . . . by fusing them in a fixed particular order, starting from the closest line on the right of the base point and then toward the right :  The case with three lines is shown in Fig. 6.9.
We have two basic operations we can perform on the cylinder, see Fig. 6.10. One is to insert a morphism m : a → b, which defines an operator Z(m) : V a → V b . Another is to move the base point to the right and to the left, which defines morphisms X a,b : Assignment of a map to a given network: With these basic operations, we can assign a map We order 0 = t 0 < t 1 < · · · < t p−1 < t p = 1 so that the incoming circle is at t = 0 and the outgoing circle is at t = 1. Each critical point of type i) gives a factor of Z(m), that of type ii) gives a factor of Z(α) where α is an appropriate associator, and that of type iii) gives a factor of X or Y . Then we define the map V a,b,··· → V c,d,··· associated with this time function t to be the composition of factors corresponding to these critical points.
Consistency of the assignment: We now need to show that this assignment is consistent. There are three types of changes under which the assignment needs to be constant, namely • the change of the time function t, • the change of the positions of the auxiliary line, and • the change of the network in a disk region that does not change the morphism within it.
The third point might need some clarification. In the symmetry category C, a topologically different network can correspond to the same morphism. Then we need to ensure that if we replace a subnetwork on a cylinder accordingly, the resulting map on the Hilbert space should also be the same, see Fig. 6.11 This is not just a change in the time function, therefore we need to guarantee the invariance separately. The auxiliary line might cut though the subdiagram, as also shown in Fig. 6.11, but this does not have to be treated separately, since we can first move the auxiliary line outside of the disk region, assuming that it is shown that the auxiliary lines can be moved.
Then this third type of change can be just taken care of by assuming that we can fuse two local operators, leading to the following constraint, see Fig. 6.12: Next, let us take care of the second type of change, where we move the auxiliary lines keeping the network and the time function fixed. First, moving the auxiliary line back and forth in succession should not do anything, so we have see Fig. 6.14.
Then we should be able to move the morphisms across the auxiliary line, leading to two relations, as illustrated in Fig. 6.15: for m : a → a and n : b → b . We can also fuse two lines before crossing the auxiliary line, see  Finally, on the cylinder, the change in the time function itself does not do much, and possible changes are already all covered. Thus, we see that to define a consistent TFT with C symmetry on a cylinder, we need the data of an additive functor Z : C → Vec with morphisms X a,b : V a⊗b V b⊗a satisfying (6.5), (6.6), (6.7) and (6.8).
Generalized associators on the cylinder: The relations so far guarantees that we can always move the base point and change the order of the tensoring of lines in a consistent manner. . For example, the relation (6.8) means that there is a single well-defined isomorphism between V (a⊗b)⊗c and V (c⊗a)⊗b . We introduce a notation A (a⊗b)⊗c→(c⊗a)⊗b : V (a⊗b)⊗c → V (c⊗a)⊗b (6.9) for it, and call it a generalized associator on the cylinder. We similarly introduce generalized associators for an arbitrary motion of the base point and an arbitrary rearrangement of parentheses. Each such generalized associator have multiple distinct-looking expressions in terms of sequences of Z(α), X and X −1 , but they give rise to the same isomorphism.
6.3 TFT with C symmetry on a general geometry Basic data: Let us discuss now the TFT with C symmetry on a general geometry. The four basic geometries are given in Fig. 6.17. For a pair of pants, we need to join the two auxiliary lines coming from each leg into a single auxiliary line. We take the point where this happens to coincide with the critical point where two circles join to form a single circle. In what follows, we will refer to the initial two legs of a pair of pants as the initial legs and the final leg as the product leg.
We can now associate to any geometry Σ with m initial legs and n final legs with an arbitrarily complicated network of lines and morphisms from C a linear map as follows. We first choose a time function t : Σ → [0, 1]. We call a time value t i critical when any of the following happens: i) the topology of the constant time slice change, ii) there is a morphism, or iii) a line crosses a auxiliary line. We order the critical times so that 0 = t 0 < t 1 < t 2 < · · · < t p = 1. We cut Σ once in each interval (t i , t i+1 ), and associate to each critical time t i one of the basic linear maps. We then compose them. We now need to guarantee that this assignment is consistent.
Basic consistency conditions: Let us first enumerate basic consistency conditions. First, we define the pairing of V a and V a * as in Fig. 6.18: Then we require that this pairing is non-degenerate and can be used to identify (V a ) * V a * . (6.12) Under this pairing, the product M a,b and the coproduct • M b * ,a * are adjoint, etc. This again allows us to reduce the number of cases need to be mentioned below roughly by half. Before proceeding, we note that we used L a , • R a to define the pairing. We can also use R a * , • R a * to define a slightly different pairing. Exactly which pairing to be used in each situation can be determined by fully assigning orientations to every line involved in the diagram. Below, we assume that every line carries an upward orientation, unless otherwise marked in the figure.
Second, a morphism can be moved across the product, see Fig. 6.19: Third, the map I defined by the bowl geometry gives the unit, see Fig. 6.20: Fourth, it is twisted commutative: as illustrated in Fig. 6.21. Fifth, it is associative up to the associator: as shown in Fig. 6.22. Sixth, we want to formulate that the product is symmetric under the cyclic permutation of three circles. To do this we first introduce a slightly generalized form of the product shown in Fig. 6.23: M (a⊗c * ,c⊗b * )→a⊗b * : V a⊗c * ⊗ V c⊗b * → V a⊗b * (6.17) given by  where L c : c * ⊗ c → 1 is the evaluation morphism and A is the generalized associator introduced in the last subsection.
The generalized product has an alternative definition as given in Fig. 6.24, where the line c crosses three auxiliary lines. This gives an alternative expression and we demand the right hand sides of the equations (6.18) and (6.19) are the same. (6.20) We can now formulate the cyclic symmetry of the product: M (a⊗c * ,c⊗b * )→a⊗b * and M (c⊗b * ,b⊗a * )→c⊗a * are related by the inner products, We then demand that they are equal up to the generalized associators: Consistency in the general case: We finally finished writing down basic moves. Now we can analyze the general moves. We again have three cases: • the change of the time function t on the surface Σ, • the change of the positions of the auxiliary line, and • the change of the network in a disk region that does not change the morphism.
Let us start by discussing the third case. This is in fact automatic once the first two cases are taken care of, since any disk region can be put into a cylinder under a topological change, and then the auxiliary line can be moved off away from it. Then all we have to assume is that Z(m) fuses appropriately, (6.3).
The change in the position of the auxiliary line can happen in the following three ways: • The auxiliary line can move within a single cylinder. This was already discussed in the last subsection.
• When a circle with line a and a circle with line b join to form a circle, the order of a, b and the base point x in the product leg can either be x, a, b or a, b, x. The invariance under this is the twisted commutativity (6.15).
• A line c ∈ C can cross the trivalent vertex of the auxiliary line. This move changes the number of the intersection of the line c with the three auxiliary lines in one of the two ways, 0 ↔ 3 or 1 ↔ 2. One example of the move 0 ↔ 3 is the equality (6.20) of the two definitions (6.18) and (6.19) of the generalized product. The move 1 ↔ 2 can be deduced by combining the twisted commutativity.
Finally we need to take care of the changes in the time function t. One possible change is that a morphism and a product can happen in two different orders. The invariance under this move is (6.13). Then there are topological changes in the cutting of the surface, which again comes in the following varieties: 1. The creation or the annihilation of two critical points does Fig. 6.20. The consistency under this change is the unit property (6.14).
2a. The exchange of two critical points does Fig. 6.22. The consistency under this change is the associativity (6.16).
2b. The number of intermediate circles changes from one to three. One example is drawn in Fig. 6.27. The consistency under this change can be reduced to the cyclic symmetry of the generalized product (6.21).
2c. How the torus is decomposed is changed as in Fig. 6.26, for which we assigned a basic relation (6.24).

Gauged TFT with the dual symmetry
Now we would like to discuss the definition of the TFT T /A gauged by an algebra object A in terms of the ungauged TFT T . We start from the data (V ; Z, X; • I, I, M, • M ) for the original theory T .
The Hilbert space of the gauged theory was introduced in Sec. 4.8.2. See that section for some necessary background. We use the action by A on V p , depicted in Fig. 4.15. This is given by where x L : A ⊗ p → p and • x R : p → p ⊗ A are the morphisms defining the A-bimodule structure on p. As we already discussed, P turns out to be a projector, and we define W p to be the projection P V p . Now, we define the data (W ;Z,X, •Ĩ ,Ĩ,M , •M ) for T /A in terms of corresponding data for T .
The morphism mapZ : We define the newZ to be the restriction of the old Z. We need to check that if the initial state lay in W p ⊂ V p then the final state also necessarily lies in W q , for a bimodule morphism p → q. This can be checked by gluing a cylinder on top of the final state which corresponds to the action of A. The wrapped A line can then be taken across any bimodule morphism until it wraps the p line at the start of the cobordism. But then the wrapped A line has no effect and can be removed because the initial state we started with is invariant under the action of A.
The base point-change mapX : We now want to define the newX p,q : W p⊗ A q → W q⊗ A p . We use π and • π (see Sec. 4.4) to defineX p,q = Z(π)X p,q Z( • π). This is well defined because a wrapped A line at the end of the cobordism can be moved to an A line propagating between a and b at the start of the cobordism which can be removed because of the definition of ⊗ A .
The unit and counit mapsĨ and •Ĩ : Now the new unit morphismĨ would be a map from C to W A ⊂ V A . We define it asĨ = Z(u)I where u : 1 → A is the unit morphism in the definition of A. Similarly,•I = • IZ(v) where v : A → 1 is the co-unit morphism in the definition of A. These are well-defined as can be shown by manipulations similar to those we are now going to perform for the definition ofM .
The product and coproduct mapsM and •M : The newM is defined analogously asM p,q = Z(π)M p,q . ThisM can be shown to be well defined as a map W p ⊗ W q → W p⊗ A q by a series of manipulations using a lot of properties of A. See Figure 6.28. We represent a pair of pants as a 3-punctured plane for ease of illustration. The lower punctures correspond to input legs and the upper puncture corresponds to the product leg of the pair of pants. Unlabeled lines correspond to A. To explain various manipulations, let us refer to manipulations involving = i as "step i". • Step 1 just tells us that the left action of A on p ⊗ A q is defined by the left action on p, and the right action on p ⊗ A q is defined by the right action on q.
• In step 2, we introduce an A line wrapping the leg carrying q. We can do that because the input state in that leg is invariant under the action of A.
• In step 3, we first use the fact that q is an A-bimodule and then use the fact that q is a right A-module.
• In step 4, we use the fact that q is a left module for A.
• Finally, in step 5, we first use the fact that q is a bimodule, then the fact that the tensor product is ⊗ A , and then the fact that p is a bimodule.
• Ultimately, we can simply remove both the A lines because the input states are invariant under the action of A.
We define •M as the adjoint ofM .
To complete the definition of T /A, we have to check that the operations defined above satisfy the various conditions that we described in the last section. Most of them just concern some trivial topological manipulations of lines and are manifestly satisfied. Some others, such as (6.14), can be checked using manipulations similar to the ones we have been doing in this sub-section. Yet some others, like the complicated relation (6.20) and (6.24)), require us to simplify a lot of π and • π, but this can be done. This completes the definition of T /A.

Conclusions
In this paper we reviewed the notion of unitary fusion categories, or symmetry categories as we prefer to call them, and how they formalize the generalized notion of finite symmetries of a twodimensional system. We studied various explicit examples of such symmetry categories, some of which are related rather directly to finite groups and some of which are not. We then studied how a symmetry category can be gauged and be re-gauged back. We also defined 2d topological quantum field theories admitting a symmetry given by a symmetry category. Many questions remain. Here we mention just two. The first is how to generalize the constructions discussed in this paper to higher dimensions. In a sense, this is a merger of the generalized symmetry in two dimensions in the sense of this paper, and of the generalized symmetry in the sense of [2]. That there should be something that combines both is clear: even in general spacetime dimension d, the 0-form symmetries can be any non-Abelian group G, possibly with an anomaly specified by H d (G, U(1)) in the bosonic case and by subtler objects in the fermionic case. Then the (d − 2)-form symmetry needs to be extended at least to allow Rep(G). When d = 3, it seems that the notion of 1-form symmetries needs to be extended at least to include modular tensor categories, with an action of the 0-form symmetry group G with an anomaly. What should be the notion in d = 4 and higher?
The second is to actually construct two-dimensional systems T for a given symmetry category C. For any group G without an anomaly, there is the trivial theory where the Hilbert space is always one-dimensional. How about the other cases? We can roughly classify symmetry categories C as follows, depending on the simplest possible theories T that have C as a symmetry: 1. The simplest C-symmetric theories have one-dimensional Hilbert space. These would be C-symmetry protected topological (SPT) phases.
2. The simplest C-symmetric theories have finite-dimensional Hilbert space. These would be C-symmetry enriched topological (SET) phases.
3. The simplest C-symmetric theories have infinite-dimensional Hilbert space. Taking the low energy limit, these would be C-symmetric conformal field theories (CFTs).

4.
There is no C-symmetric theory.
Clearly this classification forms a hierarchy, and it would be nice if we have a uniform construction that tells easily which stage of the above classification a given symmetry category C belongs to. There is a recent paper in this general direction [36], where a construction of 2d theory starting from any given symmetry category C was discussed. We hope to see more developments in the future. Actually, there are various symmetry categories C constructed in the subfactor theory, e.g. what is called the Haagerup fusion category, for which no C-symmetric theory is known. If a theory symmetric under the Haagerup fusion category could be constructed, it would be considered as a huge breakthrough. Marcel Bischoff, Kentaro Hori and Shu-Heng Shao for pointing out erroneous claims in an earlier version of the manuscript. The work of LB is partially supported by the Perimeter Institute for Theoretical Physics. Research at Perimeter Institute is supported by the Government of Canada through Industry Canada and by the Province of Ontario through the Ministry of Economic Development and Innovation. The work of YT is partially supported in part by JSPS KAKENHI Grantin-Aid (Wakate-A), No.17H04837 and JSPS KAKENHI Grant-in-Aid (Kiban-S), No.16H06335 and by WPI Initiative, MEXT, Japan at IPMU, the University of Tokyo.

A Group cohomology
In this appendix, we collect various standard facts about group cohomology.
Definition: Given a finite group G and its module A, we define n-cochains C n (G, A) as functions G n → A. The differential is given by df (g 1 , . . . , g n+1 ) = g 1 f (g 2 , . . . , g n+1 ) + n i=1 (−1) i f (g 1 , . . . , g i g i+1 , . . . , g n+1 ) + (−1) n+1 f (g 1 , . . . , g n ). (A.1) The differential squares to zero: d 2 = 0. Then we define the group cohomology H i (G, A) as the cohomology of this differential. Explicitly, the first few differentials are given by df (x, y, z, w) = xf (y, z, w) − f (xy, z, w) + f (x, yz, w) − f (x, y, zw) + f (x, y, z). (A.4) Some points on notation: It does not lead to any loss of generality if we assume that every cochain/cocycle/coboundary is normalized, i.e. it is zero whenever at least one of g i = 1. See e.g. [13]. We have assumed throughout the paper that every cochain is normalized. We are often interested in H i (G, U(1)) for i = 2, 3 where the action of G on U(1) is taken to be trivial. Henceforth, we will assume the trivial action whenever we write U(1). It is also convenient to treat U(1) elements as phases and in this case the + sign in above definitions should be replaced by the usual multiplication of phases. For instance we have, We have used the product notation throughout the paper in the context of group cohomology valued in U(1).
Pull-back: Recall that given a map M 1 → M 2 between two manifolds, one can pull-back nforms on M 2 to n-forms on M 1 . The analogous statement in group cohomology is that given a group homomorphism G → G , we obtain a module homomorphism H i (G , A) → H i (G, A). Explicitly, let h : G → G , thenh : H i (G , A) → H i (G, A) is given bỹ h(α)(g 1 , · · · , g i ) = α (h(g 1 ), · · · , h(g i )) . (A.6) Cup product: There is an operation called cup product C i (G, A) × C j (G, A) → C i+j (G, A) when A is a ring. If α ∈ H i (G, A) and β ∈ H j (G, A), then the cup product is defined as (α ∪ β)(g 1 , · · · , g i+j ) = α(g 1 , · · · , g i )β(g i+1 , · · · , g i+j ). (A.7) It can be easily checked that this product descends to a product on cohomologies.
One-dimensional representations of G: Let us ask what is the meaning of H 1 (G, U(1)). The 1-cochains are maps from G to U(1) and imposing the cocycle condition turns them into group homomorphisms. Hence H 1 (G, U (1)) is the group formed by one-dimensional representations of G. In particular, when G is a finite Abelian group, then H 1 (G, U(1)) Ĝ is the dual group.
Projective representations of G: Now, let us ask what is the meaning of ∈ H 2 (G, U(1)). We want to interpret the (g 1 , g 2 ) as the phases defining a projective representation of G. The cocyle condition reads (g 1 , g 2 ) (g 1 g 2 , g 3 ) = (g 2 , g 3 ) (g 1 , g 2 g 3 ) (A. 8) which is the associativity condition such phases are required to satisfy. Such a cocycle can be shifted by a coboundary of the form dβ(g 1 , g 2 ) = β(g 1 g 2 ) β(g 1 )β(g 2 ) (A.9) which corresponds to rephasing of the group action on the projective representation. Thus, we see that H 2 (G, U(1)) classifies the phases encountered in projective representations upto rephasing. The usual representations correspond to the trivial element of H 2 (G, U(1)).
Crossed products and extensions of groups: Consider an Abelian group H and a (possibly non-Abelian) group K. Consider an action of K on H and use it to define H 2 (K, H). An element κ ∈ H 2 (K, H) can be used to define a group extension G of K by H, that is there is a short exact sequence 0 → H → G → K → 0 (A. 10) and G is called the κ-cross product of K and H and it is written as G = H κ K. Explicitly, the group G as a set is the direct product H × K with the group multiplication given as follows (h 1 , k 1 )(h 2 , k 2 ) = (h 1 + (k 1 h 2 ) + κ(k 1 , k 2 ), k 1 k 2 ). (A.11) Here, denotes the action of K on H via inner automorphism in G. The reader can verify that the associativity of the group multiplication is ensured by the cocycle condition on κ. Shifting κ by a coboundary changes G upto isomorphism. Hence, group extensions of K by an Abelian group H are classified by a group action of K on H along with an element in H 2 (K, H) defined using the group action.
Bicharacters on G: Consider an Abelian group G and a trivial module A of G. Given a cohomology element in H 2 (G, A) represented by a cocycle (g, h), one can form α(g, h) = (g, h) − (h, g) which is an antisymmetric function on G. This is indeed well defined because adding a coboundary to doesn't change α. When A is U(1) this α is a bicharacter, and there's a bijection between an antisymmetric bicharacter on G and H 2 (G, U(1)).
A useful isomorphism: Recall the familiar statement that any closed n-form is exact locally. In group cohomology, the analogous statement is that that is H i (G, R) is trivial. We can use this to obtain H i+1 (G, Z) H i (G, U (1)). This follows from the long exact sequence associated to the sequence 0 → Z → R → U(1) → 0.
• For Q 8 , the quaternion group, we have [39] H