Interacting SPT phases are not Morita invariant

The tenfold way provides a strong organizing principle for invertible topological phases of matter. Mathematically, it is intimately connected with $K$-theory via the fact that there exist exactly ten Morita classes of simple real superalgebras. This connection is physically unsurprising, since weakly interacting topological phases are classified by $K$-theory. We argue that when strong interactions are present, care has to be taken when formulating the exact ten symmetry groups present in the tenfold way table. We study this phenomenon in the example of class D by providing two possible mathematical interpretations of a class D symmetry. These two interpretations of class D result in Morita-equivalent but different symmetry groups. As $K$-theory cannot distinguish Morita-equivalent protecting symmetry groups, the two approaches lead to the same classification of topological phases on the weakly interacting side. However, we show that these two different symmetry groups yield different interacting classifications in spacetime dimension 2+1. We use the approach to interacting topological phases using bordism groups, reducing the relevant classification problem to a spectral sequence computation.


Introduction
A symmetry-protected topological (SPT) phase is a material which stays in a robust nontrivial state at zero temperature because it is protected by a symmetry [19]. In recent years several mathematical approaches to SPT-phases of matter have been developed. With the simplifying assumption of free particles, the classification of fermionic SPTs by K-theoretic methods has been well-established [15] [9]. Given the prominent role 8-and 2-Bott periodicity play in real respectively complex K-theory, it is not surprising that there is a corresponding important phenomenon in free fermion SPTs. This is called the tenfold way, which is a collection of ten classes in which physical systems with topological properties can fall. However, there are several competing mathematical formalisms to describe the tenfold way. For example, some formulations of the tenfold way require Hamiltonians to always be charge-conserving [23], while others allow Bogliubov-de-Gennes Hamiltonians [1] [15].
In this paper, a general mathematical framework of fermionic symmetry groups G is developed with the goal to describe what it means for a topolog-ical phase to be protected by an internal symmetry group G. One version of the ten-fold way is then outlined as a collection of ten special fermionic groups that correspond to the ten symmetry classes in agreement with [8]. Using the language of fermionic groups, it can be argued that there are other choices of internal symmetry groups that also realize the tenfold way in some sense. Namely, it turns out that such different approaches to the ten-fold way give equivalent classifications of topological phases in the weakly interacting approximation. The reason is that the K-theory of a symmetry group only depends on the representation theory and therefore different symmetry groups with the same representation theory yield isomorphic groups of free fermion SPT-phases. This is called Morita invariance and justifies that we can talk about the ten-fold way in the free setting. Morita invariance is briefly treated in section 2.3, while further mathematical details will be justified in future work [20]. However, Bott periodicity is a K-theoretic phenomenon and SPT-phases involving strongly interacting particles are no longer expected to be classified by K-theory. Therefore, it is not too surprising that one has to be more careful implementing the tenfold way in the strongly interacting setting. In particular, it is essential for computations with strong interactions to know the exact symmetry groups of the system in the ten cases.
However, for non-experts it can be challenging to find consensus in the literature about what the symmetry groups are of the ten cases and therefore some caution is needed when talking about 'the symmetry group of class X' for interacting topological phases. We illustrate this issue by focusing on class D topological superconductors. The standard way to realize class D is by requiring no symmetries at all and so in particular no charge conservation, see for example the original work of Altland-Zirnbauer [1] and Kitaev [15]. This corresponds to the choice of fermionic internal symmetry group Z F 2 = {1, (−1) F }. Another description is that class D SPTs have a particle-hole symmetry C which is complex antilinear on one particle Hilbert space and satisfies C 2 = 1. As emphasized in [28], there seems to be no agreement in the literature on the definition of a particle-hole symmetry. Therefore to interpret this other description, it is essential to clarify its possible definitions. Some authors work on the space of Nambu spinors and use the term 'particle-hole symmetry' to refer to the canonical correspondence between particles and holes on Nambu space referred to as 'particle-hole conjugation' in loc. cit. In that case, a condensed matter theorist saying that there is a particle-hole symmetry is equivalent to a high-energy physicist saying that there is no symmetry. Indeed, this particle-hole conjugation is always present (also for class A for example) and is not a symmetry in the sense that there is no canonical way to second quantize it to non-trivial symmetry on Fock space. Another interpretation of the statement that class D has a particle-hole symmetry C, is to use the definition of particle-hole symmetry of loc. cit. where it is defined as a symmetry that anti-commutes with a charge symmetry Q. This results in a different internal symmetry group which we write U (1) Q ⋊ Z C 2 . In the weakly interacting setting, it can be argued that 'particle-hole symmetry cancels charge' in a suitable sense. Namely, the classification results are independent of which of the two internal symmetry groups are taken because of a Morita equivalence. We will elaborate on these statements and provide clear definitions in section 2.2.
The main goal in the second part of this paper is to show that in the approach to interacting SPT-phases using bordism and invertible field theories of [8] that we recall in section 3, the two symmetry groups give different classifications. This paper therefore sheds light on the mechanism of 'breaking the electromagnetic group U (1) to Z 2 = {±1} through a particle-hole symmetry', see the discussion in the first paragraph of [8, section 9]. We do this by computing the relevant bordism groups using techniques from algebraic topology. The group of invertible field theories with internal symmetry Z F 2 is well-known and can be easily derived from the spin bordism groups [8,Corollary 9.81]. We deploy a spectral sequence to compute SPT-phases for the other symmetry group U (1) Q ⋊ Z C 2 in low dimensions. We show in section 4.1 that in spacetime dimension 2 + 1 there are both a Z 2 -invariant and a Z-invariant for this internal symmetry group which does not appear in the other classification. With knowledge of this result, an explicit representative invertible topological field theory with nontrivial Z 2 -invariant is constructed, resulting in the partition function given in equation 3. Finally in section 4.2, we give a spacetime on which this partition function is nontrivial.
Main Result. The classifications of interacting SPT-phases using bordism groups for the internal symmetry groups Z F 2 containing only fermion parity and U (1) Q ⋊ Z C 2 containing both charge and a complex-linear particle hole symmetry with C 2 = 1 are not equal in dimension 2 + 1: Possible future research could be extending this result to other symmetry classes which have been described by different internal symmetry groups such as class AI (see section 2.2). Another topic is the map from free to interacting SPT phases, which conjecturally is given by a certain version of the Atiyah-Patodi-Singer η-invariant [ We will make one remark on terminology. In this paper the phrase 'SPTphase' should be understood to mean 'invertible phase'. In other words, we will not make the common assumption that the phase becomes trivial after the symmetry is broken. A translation to the other convention is easily made by taking the kernel of the map SP T G → SP T Z F 2 given by forgetting the internal symmetry G.

Acknowledgements
I offer many thanks to my advisor Peter Teichner. Not only did he teach me about the James spectral sequence and checked my computations, many of the ideas on fermionic symmetry groups and the tenfold way of Freed-Hopkins presented here are originally due to him. I also thank the anonymous reviewer for many useful comments and helpful discussions. Additionally, this paper benefited from discussions with Lukas Müller, Bernardo Uribe and Martin Zirnbauer. I am grateful to the Max Planck Institute for Mathematics in Bonn where this research was carried out.

Fermionic symmetry groups
In this section we will abstract some properties of symmetries of physical systems involving fermions to arrive at the notion of a fermionic symmetry group. Since the work of Wigner [26] it has become clear that in quantum-mechanics time-reversing symmetries g have to be treated differently from time-preserving symmetries; they are anti-unitary instead of unitary operators. Also in quantum field theories in spacetime dimension d > 1, time-reversing symmetries act anti-unitarily on the many-body Hilbert space and so their representation theory behaves differently. Additionally, symmetry groups of fermionic systems have an important datum that one has to keep track of: the fermion number operator (−1) F . We will assume all symmetries of our fermionic system are bosonic, so they commute with (−1) F . This discussion results in the following formal mathematical definition.

Definition 1.
A fermionic (symmetry) group is a topological group G together with a central element (−1) F ∈ G of square one called fermion parity and a continuous homomorphism θ : G → Z 2 = {0, 1} such that θ((−1) F ) = 0. We write Z F 2 ⊆ G for the Z 2 -subgroup 1 generated by (−1) F . The bosonic group G b of a fermionic group G is defined to be G/Z F 2 . We write G ev := ker θ for the symmetries that preserve the direction of time.
Example 2 (class DIII). The fermionic group denoted Z T,F 4 is the group Z 4 generated by an element denoted T (time-reversal). We take both θ and (−1) F to be nontrivial, so that θ(T ) = 1 is time-reversing and T 2 = (−1) F . Pin where the first map is the double cover and the second map is zero if det A = 1 and one if det A = −1. Taking d = 1 recovers the last example. The above discussion generalized straightforwardly to G = Pin + (d).
Example 4 (class AII). We lay out one possible physical interpretation of the last example for d = 2 as the internal symmetry group of class AII topological insulators. Pick an orthonormal basis {γ 1 , γ 2 } of R 2 and also denote by γ 1 , γ 2 ∈ Pin − (2) lifts of reflections along these vectors. Then there is an isomorphism where Z 4 acts on U (1) by complex conjugation after the quotient map to Z 2 and we quotiented out the diagonal Z 2 -subgroup. The isomorphism is given by T := γ 1 , iQ := γ 1 γ 2 . More precisely, the U (1) subgroup consists of elements of the form e ibQ = cos b + γ 1 γ 2 sin b for 0 ≤ b < 2π. Physically, we can interpret this symmetry group to consist of timereversal T of square (−1) F and charge Q such that the spin-charge relation holds, by which we mean the following. Focus on a = π, then since we quotiented out Z F 2 , the group element e iπQ becomes fermion parity. Now consider a particle of charge n ∈ Z; a vector v inside an irreducible representation V of U (1) Q with winding number n, equivalently Qv = nv. Then n is odd if and only if v is Note that fermionic internal symmetry groups in these examples are strictly speaking only spatially internal in the sense that they act trivially on a spatial slice, but not on spacetime. However, such groups seem to be called internal symmetry groups in the physics literature nonetheless and so we will adopt this language.

Same class, different symmetry groups
In this section we address the fact that some symmetry classes in the tenfold way table have different realizations in different frameworks. The main example in this paper is the case of class D. In most references, a topological superconductor is described as having 'no symmetries' (more precisely, only fermion parity is present) [1, section II.A], [13], [8][27, section 2.2] [15]. In particular, the Hamiltonians involved are not necessarily charge-conserving. In other words the internal fermionic symmetry group is Z F 2 . However, other references (mainly in the mathematical physics community) instead claim that the protecting symmetry group contains both a charge symmetry Q and a particle-hole symmetry C that acts anti-unitarily on one particle Hilbert space [9] [23]. Such references are often motivated to make the tenfold way table of Schnyder-Ryu-Furusaki-Ludwig [17, Table 1] into a theorem. It might be tempting to interpret class D in this table as assuming an additional particle-hole symmetry on top of the charge symmetry Q in class A. However, class D is described using BdG Hamiltonians acting on Nambu space in their paper, while class A is described by one-particle Hamiltonians acting on one-particle Hilbert space. Therefore, classes A and D should not be compared in this way.
To make this discussion concrete, we formulate the subtle difference between these two approaches in the language of Bogliubov-de-Gennes Hamiltonians.
The starting point is a Nambu space W of not-necessarily-charged fields, which is a complex vector space equipped with two structures: giving the canonical anti-commutation relations; 2. a complex antilinear involution Ξ : W → W preserving the nondegenerate bilinear form given by exchanging particles and holes. Following [28] we will call this particle-hole conjugation and remark that some others refer to Ξ as a 'particle-hole symmetry', a term that has a different definition in this article, see below.
There is an induced Hilbert space structure on W given by w 1 , A free BdG Hamiltonian is then a self-adjoint operator H on W which anticommutes with Ξ. A G-symmetry 2 is a representation R of G on W which commutes with H and Ξ and preserves {., .}. Since fermion parity (−1) F ∈ G should act by −1 on single fermions we also require it to acts by −1 on W .
The situation most familiar to condensed matter theorists, is where there is a unit charge 3 representation of U (1) Q on W which commutes with Ξ and preserves {., .}. In that case there is a splitting of Nambu spinors W ∼ = V ⊕ V * into charge Q = ±1 eigenspaces for a one particle Hilbert space V of electrons. We can then interpret W as consisting of creation operators a † v creating a particle v ∈ V and annihilation operators a φ for φ ∈ V * . Note that since Ξ commutes with e ibQ and Ξ is antilinear, Ξ and Q anticommute. Under the isomorphism W ∼ = V ⊕ V * we can get that Ξ is induced by the Riesz-Fréchet isomorphism RF : V ∼ = V * and {., .} is the natural pairing between V and V * . A BdG Hamiltonian becomes a self-adjoint operator on W of the form where we need h : V → V self-adjoint and ∆ : V → V to satisfy ∆ † = −∆ for H to be self-adjoint. Note that the current U (1) Q -representation we are considering on W is a U (1) Q -symmetry if and only if ∆ = 0. This is the charge-conserving case in which H comes directly from a one-particle Hamiltonian h : V → V . However, in a superconducting system, H does not have to be charge-conserving. This is the case in which the internal symmetry group G = Z F 2 consists of nothing but fermion parity. We will now discuss what happens when a particle-hole symmetry is included in addition to U (1) Q . We call a symmetry C ∈ G a particle-hole symmetry if it anticommutes with Q [28, definition (2.1)]. Since C exchanges V and V * we can use Ξ to get a corresponding operator Γ := ΞC| V : V → V on one-particle Hilbert space that anticommutes with h and again squares to one. This is called the pseudosymmetry associated to C. To get a symmetry group equivalent to class D, Γ is required to be anti-unitary and square to one. Equivalently, since Ξ is anti-unitary, we require C to be unitary and The result is therefore that there is a U (1) Q ⋊ Z C 2 -symmetry where the action of Z C 2 = C : C 2 = 1 on U (1) Q is by complex conjugation. Since all group elements involved act unitarily on W and hence on positive energy Fock space, the Z 2 -grading θ is trivial. Finally, to make U (1) Q ⋊ Z C 2 into a fermionic group, we have to choose the central element (−1) F of square 1. We will take it to be −1 ⋊ 1 ∈ U (1) Q ⋊ Z C 2 , thereby assuming the spin-charge relation in a similar fashion to example 4. We will briefly discuss what changes in our results if we don't assume the spin-charge relation at the end of section 4.1. In the next section, we will argue that the difference between the two symmetry groups Z F 2 and U (1) Q ⋊ Z C 2 does not matter for the classification in the weakly interacting regime, but it does matter for strongly interacting phases as we will see in section 4.1.
By comparing with the case without symmetries above, we can conclude that 1. a BdG system with Z F 2 -symmetry consists of a complex Hilbert space W together with an anti-unitary operator Ξ : W → W such that Ξ 2 = 1 and a self-adjoint operator H : W → W which anticommutes with Ξ.
2. a BdG system with U (1) Q ⋊ Z C 2 -symmetry consists of a complex Hilbert space V together with an anti-unitary operator Γ : V → V such that Γ 2 = 1 and a self-adjoint operator h : V → V which anticommutes with Γ.
These two pieces of data are in canonical mathematical bijection. Therefore, from the perspective of free fermions, it is mathematically equivalent to consider systems with Z F 2 -symmetry and systems with U (1) Q ⋊ Z C 2 -symmetry. The origin of this is an equivalence between the representation theory of Z F 2 and the representation theory of U (1) Q ⋊ Z C 2 called a Morita equivalence, which we will discuss in more detail in the next section.
However, this canonical mathematical bijection does not seem to have any physical interpretation, a statement on which we will now elaborate. First observe that since Γ and Ξ are pseudosymmetries, they map positive energy modes to negative energy modes and so are strictly speaking not symmetries. In more details, suppose H : W → W is gapped with its Fermi energy shifted to zero. Then W = W + ⊕ W − separates into positive and negative energy modes 4 .
The BdG Hamiltonian gets second quantized to an operatorĤ : W + → W + . It is free in the sense that it is quadratic in annihilation and creation operators. If we have a symmetry g : W → W it second quantizes to an operatorĝ : W + → W + which commutes withĤ. On the other hand, Ξ and Γ exchange W + and W − and so only define operators W ± → W ∓ . However, since a pseudosymmetry Γ : V → V has a canonical corresponding symmetry C, this symmetry can then be second quantized to a genuine symmetry of the secondquantized HamiltonianĤ on positive energy Fock space. Therefore, working with pseudosymmetries is physically justified. However, applying this procedure in the case where Γ := Ξ will lead to a trivial symmetry since Ξ 2 = 1. Therefore unlike the pseudosymmetry Γ which naturally corresponds to a genuine particlehole symmetry C, the operator Ξ cannot be interpreted as a symmetry of the second-quantized theory.
To the reader more familiar with the high-energy physics language, the above story can be briefly translated to the language of spinors in high energy physics as follows. Since we are not necessarily assuming charged particles, the starting point is the real Hilbert space M of Majorana fields (note that we need Majoranas because we do not assume charge conservation). We complexify this space to get a complex Hilbert space W = M ⊗ R C with canonical complex conjugation Ξ and a symmetric nondegenerate complex-bilinear form To end this section, we briefly also discuss the example of class AI. According to some references such as [9] and [8], the internal symmetry group is U (1) Q ⋊Z T 2 in which now the generator T ∈ Z T 2 is anti-unitary. One other way to realize class AI that seems natural from a physical perspective was already given in the original paper of Altland-Zirnbauer [1]: it includes time-reversal, charge and spin. We then arrive instead at a fermionic symmetry group which roughly 5 looks like where the quotient is to ensure that the fermion parities of all three factors are identified. In particular we chose to assume both the spin-charge and spinstatistics relations in this symmetry group. Independent of the exact form of G, it is not isomorphic to the group U (1) Q ⋊ Z T 2 . We argue in the next section that two different choices of symmetry groups can be mathematically equally good to describe some symmetry class X if their representation theory is sufficiently similar for the K-theory classifications to agree. However, this reasoning breaks down for interacting phases, since these no longer depend only on the K-theory. It would be interesting to work out the difference between these two approaches to class AI in the interacting setting similar to how we handle class D in section 4.1.

Morita equivalence of internal symmetries
The two internal symmetry groups Z F 2 and U (1) Q ⋊Z C 2 of class D that have been proposed in the last section are different, but they are similar in the sense that they have equivalent representation theory in a suitable sense. Mathematicians call this Morita equivalence and this turns out to be good enough to have the same classification of SPT-phases in the weakly interacting limit. This is because K-theory is Morita-invariant.
More precisely, let us focus on the real representation theory of these internal symmetry groups needed to describe individual Majorana fermions with this symmetry living in some real Hilbert space M. Since this space describes single fermions, (−1) F acts as −1. So the symmetry algebra is trivial and being a representation of R requires no extra data on M. Now assume the Majorana additionally furnishes a representation of U (1) Q ⋊ Z C 2 and has charge ±1 under Q. Then the symmetry algebra is instead a 2 × 2matrix algebra so the data of this Majorana is simply a representation of M 2 (R). In particular, the charge and particle-hole symmetry require the real Hilbert space to be evendimensional.
The point of this discussion is that the algebras R and M 2 (R) are not isomorphic. However, they are Morita equivalent because their categories of representations are equivalent: the correspondence is given by mapping a Hilbert space to a Hilbert space of twice its size. This means that K-theory cannot distinguish these two algebras. Since SPT-phases of free fermions are described by K-theory, the symmetry groups Z F 2 and U (1) Q ⋊Z C 2 will result in the same class D classification after assuming unit charge. For concreteness, this classification 6 is given by the Bott-periodic expression where d is the spacetime dimension, also see table 1.
However, we emphasize that whether this implies that the two classifications are 'equal' depends on how you compare them; a natural comparison map is in the direction SP T d given by breaking the symmetry. On the algebraic level in the example above, this corresponds to mapping a certain type of representation of M 2 (R) to its underlying representation of R. Since there exist real vector spaces of odd dimension, this mapping is typically not surjective. Instead it is a kind of multiplication by two map. In particular, even though the individual K-theory groups are isomorphic, this specific comparison map is not an isomorphism.

Interacting SPT-phases Using Bordism
In contrast to the free case, SPT phases with strong interactions are mathematically on a much less robust footing. In recent years, much progress has been made from many angles. Here we review the approach of [8] (also see [13]) to study SPT-phases using invertible field theories. We provide a new approach to their ansatz for a general fermionic internal symmetry group in section 3.2. In section 4.1 we calculate the group of SPT-phases for the two class D internal symmetry groups Z F 2 and U (1) Q ⋊ Z C 2 .

Low-energy effective theories of invertible lattice models
The core idea is to study condensed matter systems by their low-energy effective continuum quantum field theory, which conjecturally is sufficiently simple to be defined mathematically. The proposal is that there is a map [7, section 9.1] {invertible gapped lattice systems with symmetry G} → IT F T d G from a still-to-be-defined space of condensed matter systems to a space of certain 7 functorially defined quantum field theories that are invertible under stacking. One notable case in which this map has been worked out rigorously is for the time-reversal symmetric Kitaev chain [5]. Conjecturally [7] the map is an isomorphism on path components {G-SPT phases} = π 0 ({invertible gapped lattice systems with symmetry G}) −→ π 0 (IT F T d G ) = {deformation classes of unitary invertible G-topological* field theories} Therefore up to the issue of defining the relevant notions, we can indirectly study symmetry-protected topological phases by studying invertible (roughly) topological field theories. 8 This turns out to be useful, since topological field theories can be defined rigorously and the homotopy type of invertible field theories is very well-understood [18]. Three nontrivial problems addressed in [8] are 1. to define the appropriate 'target spectrum' for the field theory; 2. to define when an invertible topological field theory is unitary; 3. given an internal fermionic symmetry group G, they define Euclidean ddimensional spacetime structure groups H d (G) which they use to equip their bordisms with the appropriate structure (such as spin).
Since Freed-Hopkins mainly focus on their ten-fold way, we will outline a procedure to arrive at the third point above for a general fermionic internal symmetry group in section 3.2. We will not go into detail on the other points, but instead be satisfied with the fact that their proposed deformation classes of invertible unitary topological field theories in spacetime dimension d is (noncanonically) isomorphic to Torsion Ω for compact symmetry groups G.
Here Ω H(G) d denotes the bordism group of d-dimensional manifolds with H(G)-structure and Torsion and Free denote the torsion respectively free part of the group.

Spacetime structure groups
To define the correct structure groups on Euclidean spacetime, we have to face some modifications of our symmetry group by Wick rotation. For example, in usual Lorentzian signature a time-reversal symmetry will satisfy T 2 = (−1) F , but after Wick rotation this sign will change to +1. Therefore the spacetime structure group on a d-dimensional topological field theory of a fermionic system with time-reversal is Pin + d , not Pin − d as one might naively expect. We approach this problem using the following construction, which we think of as a tensor product over Z F 2 (also see the preprint [21], and the proof of [22, theorem 2.2.1]). Recall that we write the Z 2 -grading θ(g) ∈ {0, 1} additively.
When it should be clear from the context we omit the subscripts G and H from θ and (−1) F to improve readability.
The proof of the following proposition is a direct computation which is included for completeness. Proposition 6. The fermionic tensor product G ⊗ H is a fermionic group.
Proof. To show that the operation is well-defined, consider g ′ There is a similar computation for changing the second argument of the product, which shows it is independent of chosen representatives.
To show that G ⊗ H is a fermionic group, note first that 1 ⊗ 1 is a unit and It is also clear that (−1) F ⊗ 1 is central of degree zero and the degree θ : G ⊗ H → Z/2 is a homomorphism. To show associativity, we pick g 1 , g 2 , g 3 ∈ G and h 1 , h 2 , h 3 ∈ H and compute where in the last line the fact that θ(((−1) F ) θ(h2)θ(g3) ) = 0 was used. A similar computation gives The proof is finished by comparing the exponents of the central element: Note that G ⊗ H is actually naturally bigraded; there is a homomorphism θ G ⊗ θ H : G ⊗ H → Z 2 × Z 2 . The grading that we used to make G ⊗ H into a fermionic group is the bigrading composed with the group operation Z 2 × Z 2 → Z 2 . We often consider the even part (G ⊗ H) ev under this grading. Note that the other part of the bigrading still gives a grading (G ⊗ H) ev = G ev ⊗ H ev ⊔ G odd ⊗ H odd . As such (G ⊗ H) ev becomes a fermionic group. Definition 7. Let (G, (−1) F , θ) be a compact fermionic symmetry group, which we think of as the internal symmetry group. The associated d-dimensional space-time structure group is The orthogonal representation ρ : H d (G) → O d that we will use as a structure map is induced by the projection onto the first factor. Example 8. Let G be bosonic without time-reversing symmetries, so (−1) F = 1 and θ = 0. Then the spacetime structure group is Example 9. If G is a fermionic group without time-reversing symmetries, then where we quotiented by the diagonal Z F 2 . For example, let G = SU (2) with (−1) F := − id. The resulting spacetime structure group has received some attention in the recent mathematical physics literature. It is the main topic of [25] where it is called Spin SU(2) (d), it is called G 0 d in [8] and perhaps the most suitable name is Spin h (d) introduced in [4].
The SU (2) = Spin(3)-group occurring here can be interpreted as internal spin degrees of freedom of the particle. This allows us to relate the example to the original applications to topological condensed matter. Namely, it appears as internal symmetry of the class C spin singlet superconductor, which is favoured in materials with negligible spin-orbit interaction. Note that this physical interpretation is 3 + 1d-centric from a particle physics perspective: we really need our electrons to be massive 3 + 1d spinors to get internal Spin(3)-degrees of freedom. If we want to describe SPT-phases in class C in say dimension 2 + 1, we imagine our electrons to be confined in a spatial plane, but still have the internal Spin(3)-symmetry.

The group of SPT-phases
Recall that a superalgebra is a Z 2 -graded algebra in which the multiplication respects the Z 2 -grading. For example, the Clifford algebra with (say) positive squares is a real superalgebra in which all γ i are odd. The simplest superalgebras are the superdivision algebras: superalgebras in which every homogeneous element is invertible. Algebraically, the origin of the tenfold way arises from the following super-version of the Frobenius theorem on real division algebras [11].
Theorem 10 ( [24]). There are ten superdivision algebras over R: There is a canonical way to pass from superdivision algebras to fermionic groups, giving us a special family of ten fermionic internal symmetry groups as follows. If D is a super division algebra, define the sphere of D to be the quotient group Next the idea is to endow spacetime with a H d (G)-structure, see [8, section 2.2] for the definition of an H-structure on a manifold for a group H together with a map to O d . We then consider unitary invertible field theories with this structure group, which can be described using bordism groups. Namely, the proposal of [8, remark 8.39] extended to the current setting is Ansatz. Given a fermionic internal symmetry group G, the abelian group of deformation classes of d-dimensional G-protected SPT-phases is Here M T H(G) is the Madsen-Tillmann spectrum [10], IZ the Andersondual of the sphere spectrum, and the square brackets denote homotopy classes of maps of spectra. For more details, we refer the reader to [8, section 5.3 and 7.1]. However, in this paper we will only consider the right hand side of the noncanonical isomorphism which holds for every compact G.
Here Ω H(G) d denotes the bordism group consisting of d-dimensional H d (G)-manifolds modulo the ones that bound a d + 1dimensional H d+1 (G)-manifold.
Example 11. Consider the class D internal symmetry group Z F 2 . The bordism groups corresponding to the spacetime structure group H d (Z F 2 ) = Spin(d) are well-known [3]. Using this we can find the group of SPT-phases. For example, in dimension 2 + 1 is the group of SPT-phases in dimension 2 + 1 protected by fermion parity only. The partition function of the generator is given by the Atiyah-Patodi-Singer eta invariant of the Dirac operator.
In the next section we will show that SP T 3 by computing the relevant bordism groups. This will show that in the approach to SPT-phases using bordism, these two symmetry groups describing class D give a different classification of topological phases. Table 1: The tenfold way table in the formulation of this paper. The internal symmetry group S(D) is chosen to correspond to one of the ten real superdivision algebras as defined above. The K-theory group classifies the free fermion SPT-phases of spacetime dimension d in the corresponding symmetry class (ignoring weak invariants) and we implicitly evaluated the KO-theory on a point. The spacetime structure group is the combination of the internal symmetry and the (Euclidean) Lorentz symmetry endowing spacetime with an H-structure discussed in section 3.2. See [8] for the notation used for H.

Computing the other class D bordism group
In this section we will compute the group of H-manifolds up to bordism in low dimensions, where (see example 9) is the spacetime structure group associated to the fermionic internal symmetry group G = U (1) Q ⋊Z C 2 consisting of charge Q and charge-conjugation C. To this extent we will employ an Atiyah-Hirzebruch type spectral sequence originally introduced in [22, theorem 3.1.1] under the name 'James spectral sequence' as follows. Consider the short exact sequence of topological groups (also see proposition 12 below) where the map H d → U (1) ⋊ Z 2 is given by [r, z, y] → (z 2 , y), where r ∈ Spin d , z ∈ U (1) and y ∈ Z 2 . Note that U (1) ⋊ Z 2 ∼ = O(2) by mapping the Z 2 to any reflection in R 2 . This short exact sequence is compatible with the inclusion maps H d → H d+1 and Spin(d) → Spin(d + 1). So taking the colimit as d → ∞, there is an associated fibration of topological spaces in which the first two spaces have compatible structure maps to BO. We will use a generalized version of the Serre spectral sequence associated to this fibration which looks like H p (BO (2), Ω Spin q ) =⇒ Ω H p+q . Just as in the ordinary Serre spectral sequence, we might have to deal with local coefficients. In our case the base is not simply connected: π 1 (BO(2)) = π 0 (O(2)) = Z 2 . However, the associated homotopy action of Z 2 on the fiber of the fibration is trivial. This can be seen from the short exact sequence (1): the element 1 ⊗ C ∈ H d maps to the nontrivial connected component of O(2) but commutes with the subgroup Spin d . Therefore the coefficients are not twisted. We can now look up the first few spin bordism groups [14] Ω Spin where w 1 is the first Stiefel-Whitney class in degree one and w 2 the second Stiefel-Whitney class in degree two. Since Z 2 is a field, the homology is in duality with the cohomology: so the homology is spanned by the dual basis of the basis consisting of w k 1 w l 2 , which we write w k 1 w l 2 . We emphasize that w 1 w 2 is by no means the product of w 1 and w 2 . The integral homology of BO(n) for general n was computed in [6]. Alternatively one can compute it using Bockstein homology in a similar way to [12, section 3.E] using the fact that To get to the third page, there are general expressions for the second differentials (theorem 3.1.3 in [22]). In the case at hand, the differentials of the form The differentials of the form d 2 : H i+2 (BO(2), Z) → H i (BO(2), Z 2 ) are the same, but only after reduction modulo two H i+2 (BO(2), Z) → H i+2 (BO(2), Z 2 ).
The map δ := Sq 2 + w 2 is given as follows in degrees at most five: To compute these, one can use the Cartan formula, the fact that Sq i x = x 2 if |x| = i and Sq i x = 0 if |x| < i. One other useful equation is which follows for example from problem 8A in [16] since w 3 = 0 in BO(2). The Using these formulas and reading from table 2 which classes lift to integral homology, we can compute the third page of the spectral sequence.
In this part of the third page there are still two possible third differentials. First of all, the Z in the upper left corner (0, 4) could still be hit by the group at (3,2), which is not displayed here. However, looking back to the second page, we see that the group at this spot is torsion. Therefore on the third page it is still torsion and since there is no nonzero map from a torsion group to Z we see that this third differential vanishes.
However, there is still a possible differential from the (5, 0)-spot to the (2, 2)spot, which could be either an isomorphism or zero. We can conclude that where the last group depends on this third differential and the relevant extension problem. This indeterminacy will be relevant when computing SP T 4 U(1)Q⋊Z C 2 , but in this paper we will only concern ourselves with dimension 3 and lower. One can now compare SP T for d ≤ 3 looking at the equations 2. For d < 3 they are isomorphic, but for d = 3 we deduce SP T 3 Since the new Z and Z 2 are on the bottom row of the spectral sequence, it is not hard to construct invariants realizing them. For example, comparing with the spectral sequence we see that the three-dimensional Z 2 -phase can be realized as the invertible topological field theory with partition function where E → M is the two-dimensional real vector bundle we get by coupling our bosonic G b ∼ = O(2)-symmetry to a background gauge field. Mathematically, it is the vector bundle induced by the H d -structure under the natural map H d → O(2). In the next section we will elaborate on these statements and give an explicit representative (M, E) for which this partition function is nontrivial. The integer invariant is harder to describe, because integral invariants cannot be represented by classical Atiyah-Segal type field theories. The physically correct way to describe the partition function is by the geometric secondary invariant associated to the primary invariant one dimension up, see [2, section 21.2] for a pedagogical introduction. For us, the primary invariant in dimension four is the first Pontryagin number of the bundle E → M . The associated secondary invariant is the corresponding classical Chern-Simons theory with gauge group O(2) of level 1. 10 Note additionally that in lower dimensions we have a similar phenomena as was described for the free case at the end of section 2.3. Namely, even though the classifications are equal, the natural comparison maps are not isomorphisms. For example, for dimension 0 + 1 the nontrivial invertible field theory realizing the Z 2 is Restricting this theory to spin manifolds with trivial bundle E corresponds to breaking the particle-hole and U (1)-symmetry. Therefore the comparison map = Z 2 is trivial. We finish this section by remarking that the above computations can also be done without assuming the spin-charge relation. A reasonable choice of internal symmetry group is then Z F 2 × (U (1) Q ⋊ Z C 2 ) resulting in the spacetime structure group H d = Spin(d) × (U (1) Q ⋊ Z C 2 ). The second page of the new spectral sequence is identical and the only thing that changes in the above computations is the expression for d 2 which now has δ = Sq 2 . The exact result in this case unfortunately strongly depends on whether third differentials are present, but at least one of the two Z 2 's on place (2, 1) can be shown to survive to E ∞ .
Therefore also in this case Ω Spin ×(U(1)Q⋊Z C 2 ) 3 contains a 2-torsion element which is not present in Ω Spin 3 = 0 and so SP T 3

Explicit generators
To compute explicit invariants, we first provide a few results that are useful tools to study H(G)-manifolds for general symmetry group G.
Proposition 12. Let G, H be fermionic groups. If (−1) F = 1 in H, then there is an exact sequence of topological groups 10 There are two integral refinements of p 1 ∈ H 4 (BO(2), R) because the torsion subgroup of H 4 (BO(2), Z) is Z 2 generated by w 4 1 . The Chern-Simons theories corresponding to w 4 1 + p 1 ∈ H 4 (BO(2), Z) and p 1 ∈ H 4 (BO(2), Z) might be different. But after the choice of integral p 1 there is a unique differential refinement [2, Theorem 13.1.1] defining the Chern-Simons action.
where we recall that H b := H/ (−1) F . If additionally G has a nontrivial grading homomorphism, then this restricts to an exact sequence Proof. The maps are defined in the obvious way. Since (g 1 ⊗ 1)(g 2 ⊗ 1) = (g 1 g 2 ⊗ 1), the map i is an injective homomorphism. π is well-defined, since by design. It is a homomorphism, since the product To show that ker π = Im i, note first that πi = 1. Now suppose g ⊗ h ∈ ker π.
and otherwise i(g) = g ⊗ h. Hence g ⊗ h ∈ Im i. This finishes the proof that the first sequence is exact.
For the second sequence, note that the restriction of i to the even parts is still well-defined because it intertwines the gradings. It is also still injective and the composition with π is trivial. Now suppose that g ⊗ h ∈ ker π is even. Then h ∈ {1, (−1) F } is even and therefore so is g. So we still have ker π = Im i. To show that π is still surjective if G is nontrivially graded, pick [h] ∈ H/ (−1) F . If h is even, then so is 1 ⊗ h and π(1 ⊗ h) = h. If h is odd, pick an odd element g ∈ G. Then g ⊗ h is even and π(g ⊗ h) = h. This proves the second sequence.
Corollary 13. If G is a fermionic group with (−1) F = 1, then Proof. Apply proposition 12 to the case where G = Pin + (d).
Proposition 14. Suppose (−1) F = 1 ∈ G. Let ν : BG b → B 2 Z F 2 be the map corresponding to the extension is a homotopy pullback square.
Proof. We first show the square is commutative. The two maps to BZ T 2 agree because they come from the maps of groups x ⊗ g → θ(x), θ(g) which are equal because for H d (G) we only take the even part of the tensor product. To show that the maps to B 2 Z F 2 agree, it is sufficient to prove that the pullback of group extensions is isomorphic as a group extension to the pullback of extensions We will use the model K ′ d = H d (G) × G b G and show that it fits in the first pullback square. There is a homomorphism K ′ d → Pin − (d) defined by ((x ⊗ g 1 ) × G b g 2 ) → x. Indeed, we compute the product and note that since θ(g 1 ) = θ(x) this element is mapped to (−1) θ(x)θ(x ′ ) xx ′ . This defines an associative product on Pin + (d) through which it becomes isomorphic to Pin − (d We specialize the discussion to the case at hand and conclude the following. telling us that this is equivalent to a two-dimensional real vector bundle E : M → BO(2) together with a homotopy between the the two maps M → BZ T 2 ×B 2 Z F 2 . The two maps to BZ T 2 are the determinant line bundle top T M : M → BZ T 2 and the trivial map, so this gives an orientation on M . The two maps to B 2 Z F 2 correspond to the cohomology classes w 1 (M ) 2 +w 2 (M ) = w 2 (M ) and w 2 (E). Since w 2 (E ⊕ M ) = w 2 (E) + w 2 (M ), a homotopy between these maps M → B 2 Z F 2 is a Pin + -structure on E ⊕ T M .
Recall that the three-dimensional Z 2 -phase can be realized as the invertible topological field theory with partition function Z(M, E) = (−1) M w1(E) 3 .
In physics language, if our theory has both charge and particle-hole symmetry, we have to couple the U (1) Q ⋊ Z C 2 to a background gauge field and this purely topological partition function gives some information about which instanton sector spacetime is in.
An example of a three-dimensional H-manifold on which the partition function is nontrivial is RP 3 together with E = γ⊕R, where γ → RP 3 is the canonical line bundle. Indeed, RP 3 is orientable, w 2 (RP 3 ) = 0 and w 2 (γ ⊕R) = w 2 (γ) = 0, so that E ⊕ T RP 3 admits a spin structure. Using any of these we have since w 1 (γ) 3 is nontrivial in the top cohomology of RP 3 . So the theory is nontrivial on the spacetime (RP 3 , E) with any choice of orientation and Pin +structure. Note that the trivial bundle E over RP 3 would make the partition function equal to 1 instead. Therefore, this theory depends on the choice of instanton sector. In particular, the theory would not be well-defined if it did not have particle-hole and charge symmetry.