Equivariant topological quantum field theory and symmetry protected topological phases

Short-Range Entangled topological phases of matter are closely related to Topological Quantum Field Theory. We use this connection to classify Symmetry Protected Topological phases in low dimensions, including the case when the symmetry involves time-reversal. To accomplish this, we generalize Turaev’s description of equivariant TQFT to the unoriented case. We show that invertible unoriented equivariant TQFTs in one or fewer spatial dimensions are classified by twisted group cohomology, in agreement with the proposal of Chen, Gu, Liu and Wen. We also show that invertible oriented equivariant TQFTs in spatial dimension two or fewer are classified by ordinary group cohomology.


JHEP03(2017)006
fact one can use the matrix product representation of SRE states to prove that D = 1 bosonic SRE phases are classified by H 2 (BG, U(1)) [7]. The D = 1 fermionic SRE phases have also been classified [8]. The D = 0 case is even simpler.
One promising avenue for extending these results to higher dimensions is via equivariant Topological Quantum Field Theory (TQFT). It is an attractive conjecture that a large class of gapped phases is described at large scales by a TQFT. It is widely believed that if the large-volume limit of a quantum system exists, then its long distance behavior is described by an effective field theory. For a gapped system, which has no long wavelength propagating degrees of freedom, the effective theory is a TQFT. Gapped systems in the same phase are expected to share a single long distance effective description, or at least their effective descriptions can be continuously connected. If this is the case, then there is a one-to-one correspondence between gapped phases and deformation classes of TQFTs. 2 Both gapped phases and TQFTs can be tensored, and each set has a neutral element 1 corresponding to the trivial phase or TQFT. This operation makes each set into a commutative monoid (a set with an associative and commutative binary operation and a unit). An element Φ of a monoid is said to be invertible if there exists an elementΦ such that Φ •Φ =Φ • Φ = 1. Thus it makes sense to talk about invertible gapped phases and invertible TQFTs. The set of invertible elements forms an abelian group. According to one definition of SRE phases [1], an invertible gapped phase is the same as an SRE phase; that is, a gapped system φ in a phase Φ is an SRE if there exists another gapped systemφ inΦ such that φ ⊗φ can be deformed to the trivial (product state) system without closing the gap. If one believes into the correspondence between gapped phases and TQFTs, the classification of SRE phases is reduced to the classification of invertible TQFTs up to a continuous deformation.
Consider now phases with a symmetry G. These also form a commutative monoid, and forgetting the symmetry gives us a map to the monoid of all phases. Phases with a symmetry G are mapped to the neutral element under this map are usually called SPT phases. Note that it is not clear from this definition whether SPT phases with a symmetry G are invertible as G-symmetric phases, but it is believed to be true. SRE phases with a symmetry G are conjectured to correspond to invertible G-equivariant TQFTs.
While classifying TQFTs in D > 1 is unrealistic, classifying invertible ones is much simpler. In fact, using the known algebraic description of equivariant TQFTs in D = 0, 1 and 2, it is easy to check that in these dimensions invertible G-equivariant TQFTs are classified by H D+1 (BG, U(1)), provided the group G does not act on spacetime. But if some elements of G involve time-reversal, the problem is more complicated. From the TQFT viewpoint, time-reversal symmetry means that the theory can be defined on unorientable spacetimes. The difficulty is that an algebraic description of unoriented equivariant TQFTs is not known even in low dimensions. The main goal of this paper is to provide such an algebraic description in D = 0 and 1 and to show that invertible equivariant TQFTs are classified by twisted group cohomology H D+1 (BG, U(1) ρ ), where ρ : G→Z 2 JHEP03(2017)006 is a homomorphism which tells us which elements of G are time-reversing and which are not. This agrees with the proposal of [3]. It is likely that this method can be extended to D = 2. In higher dimensions an algebraic description of general TQFTs is prohibitively complicated, and this approach to classifying SRE phases becomes impractical. Note that equivariant TQFTs which are not necessarily invertible are interesting in their own right, as they describe Symmetry Enhanced Topological (SET) phases.
In section 2 we deal with the case of a finite symmetry G which acts trivially on spacetime. We recall algebraic descriptions of oriented equivariant TQFTs in D ≤ 2 and show that invertible equivariant TQFTs are classified by elements of H D+1 (BG, U(1)). All of this is either trivial (D = 0) or well-known to experts (D = 1 and 2).
In section 3 we consider unoriented equivariant TQFT in D = 0 and the corresponding SRE phases with time-reversing symmetries.
In section 4 we formulate axioms of unoriented equivariant TQFT in D = 1 by extending Turaev's axioms in the oriented case [11]. We show how these axioms lead to a generalization of Turaev's G-crossed algebra, which we call ρ-twisted G-crossed algebra. We prove that every ρ-twisted G-crossed algebra gives rise to an unoriented equivariant TQFT. Finally we show that invertible TQFTs in D = 1 give rise to ρ-twisted 2-cocycles on BG, and that conversely to every element of H 2 (BG, U(1) ρ ) one can associate a ρ-twisted G-crossed algebra which is unique up to isotopy.
It would be interesting to give an algebraic description of D = 2 unoriented equivariant TQFTs and show that in the invertible case they are classified by H 3 (BG, U(1) ρ ). The first step is to categorify our algebraic description of D = 1 unoriented equivariant TQFT by replacing vector spaces with categories, linear maps with functors, and equalities with isomorphisms. The nontrivial part is to find a complete set of coherence conditions between isomorphisms analogous to the pentagon and hexagon conditions in the oriented case which ensure consistency under gluing.
Since this paper was submitted to the arXiv, there have been several developments. Freed and Hopkins [19] proved a theorem relating invertible unitary TQFTs and stable cobordisms. For D = 1 it reduces to the statement that invertible unitary equivariant TQFTs are classified by elements of H 2 (BG, U(1) ρ ). More recently Bhardwaj [20] generalized the Turaev-Viro construction of equivariant D = 2 TQFTs to the unoriented case.
A.K. would like to thank V. Ostrik for helpful discussions. The work of A.K. was supported by the Simons Foundation. The work of A.T. was supported in part by the U.S. Department of Energy, Office of Science, Office of High Energy Physics, under Award Number DE-SC0011632.

D = 0
A D = 0 TQFT is ordinary quantum mechanics with zero Hamiltonian and is completely determined by its space of states (a finite-dimensional complex vector space V ). Equivariant TQFT is merely a vector space V with an action of G. Since G is finite, this representation is unitarizable (unitary for a suitable choice of inner product on V ). The

JHEP03(2017)006
trivial equivariant TQFT corresponds to V = C with a trivial action of G. Equivariant TQFTs which are invertible with respect to the tensor product are one-dimensional representations of G, i.e., elements of H 1 (BG, C * ) H 1 (BG, U(1)).
2.2 D = 1 D = 1 TQFTs are in one-one correspondence with commutative Frobenius algebras [9] (see [10] for a nice exposition, including various generalizations). The vector space A underlying the algebra is the space of states of the TQFT on a circle. The state-operator correspondence identifies A with the space of local operators, which is clearly a commutative algebra. The Frobenius structure is a non-degenerate bilinear inner product satisfying η(ab, c) = η(a, bc). It is a combination of the usual sesquilinear Hilbert space inner product and the anti-linear CPT transformation: 2) The trivial D = 1 TQFT has A C and η(1, 1) = 1. An invertible TQFT has A C, and thus is completely determined by η(1, 1) ∈ C * = C\{0}. If we are interested only in classifying TQFTs up to isotopy (i.e. up to continuous deformations), then all these TQFTs can be identified (since π 0 (C * ) is trivial). If we identify invertible TQFTs and SRE phases, this means that in the absence of symmetry there are no nontrivial D = 1 SRE phases.
To incorporate a symmetry G, we need to consider G-equivariant D = 1 TQFTs. Gequivariance means that we can couple the theory to an arbitrary G-bundle. The precise definition of equivariant TQFT will be recalled in section 3. For now, we only need the algebraic description of such TQFTs due to Turaev [11]. He defines a G-crossed algebra as a Frobenius algebra (A = ⊕ g∈G A g , η) together with a homomorphism α : G→ Aut A such that ∀g ∈ G let ξ g i and ξ i g be dual bases in A g and A g −1 . Then (2.8) Let us make a few remarks about this definition. A g is the g-twisted sector of the space of states on a circle, and α h describes the action of G on the space of states. If G is abelian, it acts on each twisted sector separately, but in general it mixes different twisted sectors. The penultimate axiom shows that A is not commutative, but is twisted-commutative. The last axiom arises from considering a punctured torus with twists by g and h along the two JHEP03(2017)006 generators of its fundamental group and computing the corresponding state in two different ways. This axiom, together with the Frobenius condition η(a, bc) = η(ab, c), implies dim A g = Tr α g | A 1 . (2.9) Both sides of this equality compute the partition function of a torus twisted by g along one direction and by 1 along the other direction. On the left-hand side, the direction twisted by g is regarded as space and the direction twisted by 1 is regarded as time. On the right-hand side, it is the other way around. Since the right-hand side is a character of a finite group G, we get an inequality 0 < dim A g ≤ dim A 1 . That is, twisting by g cannot increase the number of states.
In particular, let us consider an invertible G-equivariant TQFT. Then A 1 C, and therefore A g C for all g ∈ G. If we choose a basis vector h in each A h , we see that the algebra structure is given by a collection of complex numbers b(g, h) such that (2.10) Twisted commutativity of A implies that b(g, h) is nonzero for all g, h and fixes α h in terms of b. Associativity of multiplication implies that b is a 2-cocycle, and changing a basis in A g changes it by a coboundary. The rest of the axioms are easily checked. With b fixed, the only freedom left is the choice of the inner product η; all such choices lead to isotopic TQFTs, which means that isotopy classes of invertible oriented equivariant D = 1 TQFTs are classified by [b] ∈ H 2 (BG, C * ) H 2 (BG, U(1)). This result has been proved in [11].

D = 2
When studying oriented D = 2 TQFTs, one usually assumes that the space of local operators (i.e. the vector space attached to S 2 ) is one-dimensional, and thus the algebra of local operators is isomorphic to C. If one is interested only in unitarizable TQFTs, one does not lose much by focusing on this special case. Indeed, it is easy to show that if the TQFT is unitarizable (i.e. the bilinear inner product arises from a Hermitian inner product and an antilinear CPT symmetry), the algebra of local operators is semisimple. It is also commutative, and therefore isomorphic to a sum of several copies of C. The generators of this algebra label different superselection sectors, and one might as well focus on a single sector where all but one generator act trivially. The argument applies equally well for all D > 0, but in D = 1 it is traditional to allow the algebra of local operators to be non-semisimple, in view of string theory applications which require one to consider non-unitary TQFTs. We are interested in unitarizable oriented D = 2 TQFTs, and therefore in this section we assume that the space of local operators is C. Such theories are described by modular tensor categories with vanishing central charge c ∈ Z/8 [12,13]. (If the central charge is nonzero, one gets a framed D = 2 TQFT). The data of a modular tensor category attaches a vector space to every closed oriented 2-manifold, and a map of vector spaces to every oriented bordism between such 2-manifolds. Similarly, oriented equivariant D = 2 TQFT is described by a G-modular category [14,15]. Its definition is a categorification of the notion of G-crossed algebra. In particular, for every g ∈ G one has a category JHEP03(2017)006 C g , and a bi-functor C g × C h →C gh satisfying the associativity constraint. The data of a G-modular category attaches a vector space to every closed oriented 2-manifold with a Gbundle and a trivialization at a base point, and a map of vector spaces for every oriented G-bordism between such 2-manifolds (i.e. to every oriented 3-manifold with a G-bundle which "interpolates" between the two oriented 2-manifolds with G-bundles). Objects of the category C g represent quasi-particles in the g-twisted sector.
An invertible oriented equivariant D = 2 TQFT is described by a G-modular category with C 1 Vect, where Vect is the category of finite-dimensional vector spaces. This condition ensures that for the trivial G-bundle the vector space attached to any oriented 2-manifold is one-dimensional. If the TQFT describes a gapped phase, its space of ground states is non-degenerate for any topology. This is a hallmark of an SRE phase.
From C 1 Vect one can deduce that C g Vect for all g ∈ G. Indeed, by the definition of a G-modular category [15], C g is nonempty for all g ∈ G. Then proposition 4.58 in [16] implies that C g Vect. As a consequence, the vector space attached to any 2-manifold with any G-bundle is one-dimensional. That is, there is no ground-state degeneracy even after twisting by an arbitrary G-bundle.
Finally, proposition 4.61 in [16] tells us that in the invertible case C is entirely determined by an element of H 3 (BG, C * ) H 3 (BG, U (1)). This agrees with the proposal of [3] that D = 2 bosonic SRE phases with symmetry G are classified by elements of H 3 (BG, U(1)).

Unoriented equivariant D = 0 TQFT
A homomorphism ρ : G→Z 2 encodes whether a particular symmetry g preserves or reverses the direction of time. We identify Z 2 with {1, −1} and let ρ(g) = −1 if g is time-reversing and ρ(g) = 1 otherwise. Recall that a ρ-twisted 1-cochain on BG is the same as a function φ : Two twisted cochains φ(g) and ψ(g) are regarded as equivalent (i.e. cohomologous) if there exists µ ∈ U(1) such that for all g ∈ G we have To each g ∈ G an equivariant D = 0 TQFT associates an operator on the vector space V assigned to the point: where Λ(g) is linear if ρ(g) = 1 and anti-linear if ρ(g) = −1. After choosing a basis in V , we can attach to every Λ(g) a complex non-degenerate matrix M (g), by letting

JHEP03(2017)006
Here K : V →V is an operator which complex-conjugates the coordinates of a vector in the chosen basis. The matrices M (g) do not form a complex representations of G, rather [17]: In the invertible case V C the matrices M (g) become elements of C * , and (3.5) becomes precisely the twisted cocycle condition for the C * -valued 1-cochain M (g), where Z 2 acts on C * by complex conjugation.
We should also investigate the effect of a change of basis in V . In the invertible case, if we replace the basis element ∈ V by λ −1 , λ ∈ C * , the function M (g) transforms as follows: This is precisely the shift of the twisted 1-cocycle M (g) by a twisted coboundary. Thus equivalence classes of invertible unoriented equivariant D = 0 TQFTs are classified by elements of the twisted cohomology group 4 Unoriented equivariant D = 1 TQFT

Definition of unoriented equivariant TQFT
For D > 0 we can avoid anti-linear operators by interpreting the orientation-reversing symmetry as a parity symmetry (P or CP ). Since CP T is a symmetry of any local unitary QFT, we do not loose generality by doing this. Thus ρ(g) = −1 if g reverses spatial orientation and ρ(g) = 1 otherwise. At first we will try to be as general as possible and do not fix the spatial dimension D. Consider a finite group G together with a homomorphism ρ : G→Z 2 , and let G 0 denote the kernel of ρ. For any manifold X we will denote by o(X) its orientation bundle. Any TQFT is defined as a functor from a geometric source category with a symmetric monoidal structure to the category of finite-dimensional vector spaces Vect (or more generally, to a symmetric monoidal category).
In the case of equivariant TQFT based on the pair (G, ρ), the source category C is defined as follows. An object of C is a closed D-manifold M , a base point for every connected component of M , a G-bundle E over M , a trivialization of G at every base point, and a trivialization of , and the last datum expresses the fact that ρ(E) is isomorphic to the orientation bundle of X. A morphism of C is an isomorphism class of a D + 1-dimensional bordism N equipped with a G-bundle E and a trivialization of o(N )⊗ρ(E), with every connected component of the boundary given a base point and a trivialization of E there. Two such bundles are said to be isomorphic if they are related by a bundle map that is an homeomorphism of the total space, covers a homeomorphism of the base space, and preserves the trivialization and boundary data. There is also a decomposition of the boundary into two disjoint parts, corresponding to the JHEP03(2017)006 source and target of the morphism. Composition of morphisms is obvious. The symmetric monoidal structure arises from the operation of disjoint union.
Let us now specialize to the case D = 1. In this case the definition can be simplified, because all 1d manifolds are orientable. Since we are given trivializations of E at all base points, as well a trivialization of o(M ) ⊗ ρ(E), we also have a trivialization of o(M ) at all base points. But since M is orientable, this means that we are given a trivialization of o(M ) everywhere, i.e. an orientation. Then ρ(E) is also trivialized everywhere, and the G-bundle reduces to a G 0 -bundle. Thus the objects for C are exactly the same as in the oriented equivariant TQFT with symmetry group G 0 . Morphisms are different however, for example because unorientable bordisms are now allowed. Moreover, even when bordisms are orientable, they are not given an orientation. More precisely, if the boundary of a bordism is connected, there is a base point with an orientation on it, and one can use this to extend orientation to the whole N . But if more than one base point is present, there is no guarantee that orientations so obtained agree between each other. This will be discussed in more detail below.

Algebraic description for D = 1
From the above definition we extract the following algebraic data. First of all, let M = S 1 . As remarked above, S 1 is actually oriented, and the structure group G is reduced to G 0 . Thus unoriented equivariant TQFT assigns a vector space A g to every g ∈ G 0 . Now consider a cylinder regarded as a bordism from S 1 to S 1 . It has two marked points on the boundaries which we call p − and p + (source and target). A G-bundle over a cylinder trivialized over p − is determined by the holonomy around the source S 1 and thus is labeled by an element g ∈ G. We are also given a trivialization at p + , and the holonomy along a path from p − to p + gives a well-defined element h ∈ G. We know that g ∈ G 0 , but h can be an arbitrary element of G. If ρ(h) = 1, the two trivializations of ρ(E) obtained from the trivializations of E at p − and p + agree. Then, since o(N ) ⊗ ρ(E) is trivialized everywhere, the orientations at p − and p + also agree, and the source and target circles have the same orientation. Thus the source is labeled by g, and the target by hgh −1 , and the cylinder is assigned a map α h : A g →A hgh −1 . Similarly, if ρ(h) = −1, the two orientations disagree, and the target is labeled by hg −1 h −1 , while the source is still labeled by g. Such a cylinder is assigned a map α h : A g →A hg −1 h −1 . We can summarize both cases by saying that α h maps A g to A hg ρ(g) h −1 . Since gluing two cylinders labeled by (g, h) and (hg ρ(g) h −1 , h ) using the trivial identification of target and source circles gives a cylinder labeled by (g, h h), we must have α h • α h = α h h . In particular, each α h is invertible.
In general, we note that if N is an orientable bordism, and the paths between base points on different boundary components all lie in G 0 , the morphism becomes a morphism in the oriented equivariant theory with symmetry group G 0 . Thus we get all the same algebraic data as in the oriented G 0 -equivariant theory. That is, a G 0 -crossed algebra To see this, we compare the pants diagrams with cylinders attached either to the torso or to the pant legs and note that for h / ∈ G 0 they are related by a reflection rather than the identity homeomorphism.
Finally, in the unoriented case we have cross-cap states θ g ∈ A g 2 , g / ∈ G 0 . The state θ g , g / ∈ G 0 , arises from a Möbius strip with an oriented boundary and a base point on the boundary. The fundamental group of the Möbius strip is isomorphic to Z, where an orientation-reversing generator is fixed once the orientation of the boundary has been fixed. θ g corresponds to a G-bundle whose holonomy along this generator is g.
The cross-cap states have the following properties: The first of these properties is illustrated in figure 1. The vectors θ hg (−1) h −1 and α h (θ g ) are defined by the two pictures which happen to be related by an isotopy. The second property arises from an isotopy of the punctured Möbius strip shown in figure 2. The third property arises from the fact that a Klein bottle with two holes can be represented in two apparently different ways: as a cylinder with an orientation-reversing twist, or as a cylinder with an insertion of two cross-caps, see figure 3.
We have already explained how to assign this algebraic data to any unoriented equivariant D = 1 TQFT. The converse procedure is described in appendix A.

Invertible unoriented equivariant D = 1 TQFT
Let us now specialize to the invertible case. For an invertible unoriented equivariant D = 1 TQFT, the vector spaces A g∈G 0 are one-dimensional. After fixing a basis { g } g∈G 0 of A so that η( g , g −1 ) = 1, the ρ-twisted G-crossed algebra is determined by nonzero complex numbers θ(g), g / ∈ G 0 , b(h, k), z(h, k), h, k ∈ G 0 , w(h, k), h / ∈ G 0 , k ∈ G 0 defined as follows: These numbers satisfy a number of identities due to the properties of A. Twisted cohomology is the cohomology of the usual group cochain complex with respect to the ρ-twisted coboundary maps δ n ρ : C n (G, U(1)) → C n+1 (G, U(1)). (4.7)

(4.8)
A proof of proposition 2 is rather lengthy, see appendix B. But the map in one direction, from twisted group cohomology to the set of algebraic data (4.6), is easy to describe: b(k, l) = a(k, l) (4.9) θ(g) = a(g, g) (4.10) To prove proposition 2, we must show that these numbers satisfy the TQFT axioms (4.2)-(4.5) and that the map is injective and surjective.

A Proof of proposition 1
We have already shown that an unoriented equivariant D = 1 TQFT with symmetry (G, ρ) has an underlying ρ-twisted G-crossed algebra (A, θ g , α h ). Oriented cobordisms and bundle isomorphisms constitute a G 0 -crossed algebra A = ⊕ g∈G 0 A g , while crosscaps correspond to states θ g ∈ A g 2 and orientation-reversing homeomorphisms to algebra anti-automorphisms α h : A g → A hg −1 h −1 . It remains to show the converse: that from each such algebra we can construct an unoriented equivariant TQFT with this underlying algebra. We generalize the approaches of [10] and [18] to unoriented equivariant theories.  4). To obtain the right figure from the left, the puncture with holonomy k is pulled through the crosscap along the path with holonomy g. We begin by defining the vector spaces assigned to simple objects P [g],x,t of the source category C. To each circle S equipped with principal G-bundle P [g] , basepoint x, local trivialization t : P [g] | x → G, and global trivialization of o(S) ⊗ ρ(P [g] ), assign the vector space H(P [g],x,t ) ∼ = A g where g is the holonomy of P [g] around S with respect to x and t. Any object E can be factored into simple objects i P [g i ],x i ,t i and assigned a vector space . It is clear that H(E) does not depend on the factorization of E.
Next we consider the linear maps assigned to morphisms of simple objects. One type of morphismα k : P [g],x,t → P [g],y,s arises from an isomorphism f of the bundle P [g] where (y, s) = (f (x), (f −1 ) * t). Realized as its mapping cylinder, f must have a global trivialization of o(S ×I)⊗ρ(f ). Since o(S ×I) is trivial, so must be ρ(f ), and so the holonomy of P [g] along a positive path from (x, t) to (y, s) is an element k ∈ G 0 . We assign the linear map α k : A g → A kgk −1 to this morphism. The other type of morphismα h : P [g],x,t → P [g −1 ],y,s arises from a bundle anti-isomorphism P [g] → P [g −1 ] whose restriction to the base circle is not isotopic to the trivial homeomorphism. Since a bundle map of this type exchanges the sheets of o(S), the holonomy of P [g −1 ] from (x, t) to (y, s) is an element h / ∈ G 0 . We assign the linear map α h : A g → A hg −1 h −1 toα h . This assignment is well defined for isomorphism classes of bundles, as the cylinderα kαg , related toα k by a Dehn twist, is assigned the linear map α k α g , which equals α k when restricted to A g by (2.6). Now we wish to define linear maps for cobordisms (W, E 0 , E 1 ). The strategy will be to decompose W as a sequence of n elementary cobordisms (W i , E i 0 , E i 1 ), sewn along bundle (anti-)isomorphisms s i : After assigning a linear map to each W i , we assign their composition τ (W ) to W . We must then verify that τ (W ) does not depend on the decomposition. Begin by considering the cobordism of base spaces (N, M 0 , M 1 ). By Sard's lemma, there exists a smooth function f : N → I such that f −1 (0) = M 0 , f −1 (1) = M 1 , and f is Morse; that is, the gradient df vanishes at finitely many critical points x i , the Hessian d 2 f is a non-degenerate quadratic form

JHEP03(2017)006
at all x i , and the critical values c i = f (x i ) are distinct and not equal to 0 or 1. The index ind(x i ) is the number of negative eigenvalues of d 2 f at x i . Choose t i ∈ I such that 0 = t 0 < c 1 < t 1 < · · · < c n < t n = 1. By the implicit function theorem, each M t i = f −1 (t i ) is a disjoint union of m i circles, and Σ i = f −1 ([t i−1 , t i ]) is a cobordism from M t i−1 to M t i with a single critical point. The classification of surfaces tells us that Σ i is homeomorphic to a disjoint union of cylinders and one of five possibilities: a cap, a pair-of-pants, their adjoints, and a twice-punctured real projective plane.
These spaces are base spaces for five classes of cobordisms W . Since any G-bundle over the disk is trivial, there is a unique cobordism over the cap, to which we assign the linear map η : A 1 → C. A G-bundle over the pair-of-pants, based and trivialized at the critical point, is almost determined by the holonomies k and l around the legs of the pants. We assign to it the linear map m k,l : A k ⊗ A l → A kl . The orderings are related by conjugation α l : A kl → A lk , and consistency requires that m k,l (ψ k ⊗ ψ l ) = α k m l,k (ψ l ⊗ ψ k ), which is enforced by the axioms (2.6) and (2.7) of the G 0 -crossed algebra A. The holonomies determine the bundle up to cylindersα k sewn to the boundary circles, which were assigned maps α k above. The next two maps are fixed by adjunction. The adjoint of η distinguishes a state ψ η ∈ A 1 with the property that η(ψ η ) = 1. The adjoint pair-of-pants is assigned a map ∆ k,l (ψ kl ) = i ψ kl φ i ⊗ φ i where {φ i } is a basis for A l and {φ i } is a dual basis for A l −1 . A G-bundle over the crosscap is specified (up to cylinders) by a holonomy g / ∈ G 0 around the orientation-reversing loop. We assign to it the linear map ψ k → m g 2 ,k (θ g ⊗ ψ k ), determined by the distinguished state θ g ∈ A g 2 .
One may worry about a redundancy in the assignment of linear maps to composite cobordisms. Whenever an elementary cobordism W i and its sewing maps s i−1 and s i can be modified in a way that preserves the composite cobordism W , consistency requires that τ (W ) is also preserved. The map s i used to sew a cap or its adjoint into another cobordism does not affect the composite cobordism. The consistency of the algebraic description follows from the fact that α k and α h preserve η. Let W i be a pair-of-pants sewn along s i−1 and s i . Sewing instead along (α k ⊗α k ) • s i−1 and s i •α −1 k does not change W . Since α k is an automorphism of A, τ (W ) is also preserved. Let R be the bundle isomorphism that exchanges two circles. Then (α h ⊗α h ) • R • s i−1 and s i •α −1 h yield the same W . We require α −1 h m(α h (ψ l )⊗α h (ψ k )) = m k,l (ψ k ⊗ψ l ), which is enforced by axiom (4.2). Let (W i , E i 0 , E i 1 ) be a twice-punctured real projective plane with holonomy g realized as a cobordism from s i−1 : There is a bundle isomorphism, covering a Dehn twist of the base space, between this cobordism and a twice-punctured real projective plane with holonomy g −1 k −1 with sewing maps s i−1 and s i •α g . By axioms (4.2) and (4.4), the consistency condition α g m(θ g −1 k −1 ⊗ ψ k ) = m g 2 ,k (θ g ⊗ ψ k ) is fulfilled. Now consider the Möbius strip with holonomy g / ∈ G 0 constructed by sewing a cap into the twice-punctured real projective plane with holonomy g. Sewing this cobordism into another along s i yields the same composite cobordism related to the Möbius strip with holonomy hg −1 h −1 sewn alongα h −1 •s i by a bundle isomorphism that covers a Y-homeomorphism of the base space. Axiom (4.3) encodes this relation in the algebraic data.
The linear map τ (W ) assigned to an arbitrary cobordism W is given by the composition of maps assigned to its factors under Morse decomposition. It remains to show that τ (W )

JHEP03(2017)006
does not depend on the choice of Morse function. Any two Morse functions f 0 and f 1 are related by a smooth family of functions f s that are Morse at all but finitely many values of s. One possibility is that two critical points merge and annihilate for some s. Then f s has a degenerate critical point. This situation only occurs when deforming a pair-of-pants and an adjoint cap into a cylinder. For τ (W ) to be consistent over the deformation, we require m k,1 (ψ k ⊗ ψ η ) = ψ k . This condition is enforced by the axioms of A. The remaining possibility is that two critical values coincide for some non-Morse value of s. We must check, for each composition W of two elementary cobordisms, that all factorizations give the same linear map. This situation occurs when both critical points have index 1, in which case W has Euler characteristic χ(W ) = i (−1) ind(x i ) = −2. Hence W is one of seven cobordisms: a genus zero oriented cobordism from three circles to one, its adjoint, a genus zero oriented cobordism from two circles to two, a twice-punctured torus from one circle to one, a crosscap-pants cobordism from two circles to one, its adjoint, and a twice-punctured Klein bottle from one circle to one.
The consistency of the first two cobordisms follows immediately from associativity of multiplication. The remaining two oriented conditions have been proven in appendix A.3 of [10] and follow from the oriented axioms, notably (2.8). The next condition says that moving a crosscap from the "torso" to a leg of the pair-of-pants is a consistent deformation and also follows from associativity of multiplication. The Klein bottle has a decomposition as a pair-of-pants glued along its two legs to an adjoint pair-of-pants as well as a decomposition as a sphere with two crosscaps. The composite linear maps assigned to these realizations are equal to the others by axiom (4.5). We have assigned a linear map to each cobordism in terms of a Morse function f and have seen that this map is independent of the choice of f . This completes the proof of proposition 1.

B Proof of proposition 2
Consider the map from 2-cochains a ∈ C 2 (G, U(1)) to TQFT data defined in (4.9)-(4.12). If we restrict to the set Z 2 (G, U(1) ρ ) of 2-cochains satisfying the ρ-twisted 2-cocycle condition (4.8), we obtain a map f from twisted cocycles to TQFT data. We show that numbers in the image of f satisfy axioms (4.2)-(4.5), and so give rise to a consistent invertible unoriented equivariant TQFT.
For an invertible theory, these axioms can be written as It will be useful to impose a "cyclic-symmetric gauge" on the restriction of the cocycle a to G 0 : We also fix some T ∈ G and impose the condition a(k, T ) = 1, k ∈ G 0 .
It remains to show that f is injective and surjective. Let (g, h, k) denote the twisted cocycle condition (4.8). We construct a cocycle that solves (4.9)-(4.12), an inverse to f .
Next consider the twisted cocycle condition for (T, l, k): a(T l, k)a(T, l)a(l, k) = a(T, lk) .
The last term is just a(k, lT m) in our gauge and becomes a(k,lT )a(klT,m) after (lT, m, T −1 ). We have seen that a(klT m, T −1 ) = a(T, T −1 ) = a(lT m, T −1 ) so we are done.
Hit the first term with (lT, k, T ), the second term with the new result (lT k, T, m), the third term with (k, T, m), and the fourth term with (lT, k, T m). Everything cancels. This proves that each invertible unoriented equivariant TQFT arises from a twisted 2-cocycle. Since this twisted 2-cocycle gives an inverse to f , we have shown that f is surjective. This completes the proof of proposition 2.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.