Arxiv:1211.2144V5 [Math.AT] 7 Jun 2021 the Classifying Space of the 1

Home , Classifying space

arXiv:1211.2144v5 [math.AT] 7 Jun 2021 [email protected] principal o onay h ligo w aiod a mohsrcuew structure smooth a has manifolds two of gluing The boundary. mon S wt oeasmto o h noigboundary). incoming the for assumption some (with qa otenurl1 neutral the to equal eune ( sequences r ijituin fprincipal of unions disjoint are Let Introduction G ∗ opsto ftocbrim sgvnb h ligo hi olr for collars their of gluing the by given is cobordisms two of Composition nttt eMatemáticas UNAM-Oaxaca, de Instituto S r oodsso principal of cobordisms are t udmna ru notedrc sum direct the onto group fundamental its fiscasfigsaeadteaeinzto of con abelianization the the between and space correspondence classifying one-to-one its a of is there show We -oooygop n esuytecasfigsaeo some of space classifying the If study gories. we and group, 2-homology ber unu edtere ndmnintwo. dimension in theories field quantum fteproduct the of and G h lsiyn pc fte11dimensional 1+1 the of space classifying The o nt group finite a For eoete11dmninlfree dimensional 1+1 the denote r G T ( r G bnl vrtecrl and circle the over -bundle x ( G 1 .Fnly epeetsm eut bu h classification the about results some present we Finally, ). x , ) G stepoutof product the is 2 , safiieaeingop hscasfigsaehstehomo the has space classifying this group, abelian finite a is · · · G x , × free ∈ X n ), G G G esyta ehv rva oorm.Temrhssof morphisms The monodromy. trivial have we that say we , × edfietefree the define we , x i T G ∈ r r G ( ( G G cbrimcategory -cobordism G bnlsoe h ice hyaerpeetdb finite by represented are They circle. the over -bundles G ) where , ice.W iea xlctepeso o h num- the for expression explicit an give We circles. ) bnlsoe retdsrae pt diffeomorphism to up surfaces oriented over -bundles alsSegovia Carlos { ⊔ ue9 2021 9, June 0 x Abstract } i where , X eoe h empty the denotes 0 = G 1 G G sasml once nnt opspace loop infinite connected simply a is cbrimctgr.Teojcsof objects The category. -cobordism Z cbrimctgr ndmnintwo. dimension in category -cobordism ⊕ H G x i 2 lo efida smrhs of isomorphism an find we Also, . ( ∗ ∈ G ,where ), G eoe h oorm fa of monodromy the denotes H motn subcate- important etdcomponents nected 2 ( G G of bnl.When -bundle. steintegral the is ) G l endu to up defined ell -topological oytype topy com- a x S i is G diffeomorphism, which extends to the gluing of two principal G-bundles producing the appropriate cobordism. Associated to S G we have a simplicial set NS G, called its nerve [Seg68]. The geometric realization of NS G is denoted by BS G. We show in Section 1 that the connected components of BS G have the form described in the following theorem. G ∼ Theorem 1. There is a bijection π0(BS ) = G/[G,G] which is compatible with the tensor product of S G.

Let H2(G) be the integral 2-homology group of G, or the 2-dimensional free bordism of Conner-Floyd [CF64]. In Section 3 we show that the fundamental group of BS G is isomorphic with a direct sum. G ∼ Theorem 2. There is an isomorphism π1(BS ) = Z ⊕ H2(G).

Therefore, the classifying space BS G has the structure of a grouplike with abelian fundamental group. Thus BS G is homotopic to an infinite loop space, which splits into the product of G/[G,G] and some connected component of BS G. For a finite abelian group G, we are able to show the following in Section 4. Theorem 3. For a finite abelian group G, BS G is homotopic to the product G × XG × T r(G), where XG is a simply connected infinite loop space and T r(G) is the product of r(G) circles.

This article is organized as follows: in Section 1 we define the free G-cobordism category S G. In Section 2 we study the classifying spaces of some important subcategories of S G. In Section 3 we describe the groupoid of fractions of S G and we find the fundamental group of S G. This led us to show that there is a 2-connected map with the G-equivariant version of the embedded cobordism category of [GMTW]. In Section 4 we study the homotopy type of the classifying space of S G (for G an abelian group). Finally, in Section 5 we give some results about the classification of G-topological quantum field theories, and in the Appendix 6, we obtain a concrete formula for the positive number Zn r(G). Interesting applications are [SW15, SW20] for the sequence {r( p )}n≥0, with p a prime number, which appears in A007581.

1 The free G-cobordism category

Every principal G-bundle over the circle is isomorphic to the following construction: attach the ends of [0, 1] × G via multiplication by some element x ∈ G, i.e., (0,y) is identified with (1, yx) for every y ∈ G. This construction projects to the circle by restricting to the first coordinate and the action of G is defined by left multiplication on the second coordinate. Throughout the paper the element x ∈ G is called the monodromy of the

2 1 1

x3 x x3 x

x2 x2

2 Figure 1: Principal Z/Z4-bundles with monodromies x and x , respectively. 1 1 b a b a

ba ab ba ab aba aba

Figure 2: Principal S3-bundles with monodromies a and ab, respectively. corresponding principal G-bundle over the circle. When x is the neutral element, 1 ∈ G, we say that we have trivial monodromy. Additionally, we consider the empty G-bundle represented by the zero 0.

A finite sequence (x1, x2, ··· , xn), with xi ∈ G⊔{0},1 ≤ i ≤ n, represents the disjoint union of principal G-bundles over the circle for xi ∈ G and the empty G-bundle for xi = 0. In the case n = 1, we can take out the parenthesis. 2 3 For example, we consider the cyclic group Z/Z4 = {1, x, x , x } and the symmetric 2 2 3 2 group S3 = ha, b : a = b =(ab) =1i. For x, x ∈ Z4 and a, ab ∈ S3, we obtain the four principal G-bundles of Figures 1 and 2 (the dotted lines denote the identifications). A (free) G-cobordism between two principal G-bundles π : E → X and π′ : E′ → X′ is a principal G-bundle ǫ : Σ → M with diffeomorphic boundaries ∂Σ = E ⊔ −E′ and ∂M = X ⊔ −X′, which match with the projection maps and the actions of G. Two G- cobordisms ǫ : Σ → M and ǫ′ : Σ′ → M ′ define the same class if M and M ′ are equivalent as cobordisms by a diffeomorphism φ : M → M ′, Σ and Σ′ are equivalent as cobordisms by a G-equivariant diffeomorphism ψ : Σ → Σ′ and we have the commutative diagram

ψ Σ / Σ′ (1)

ǫ ǫ′ φ M / M ′ In dimension two we give some important examples of G-cobordisms:

3 1. (Cylinder) for x, y ∈ G, this is the G-cobordism from x to y with base space the cylinder, where there is an element z ∈ G with y = zxz−1. The diﬀeomorphism identiﬁcation is given by the Dehn twist. Notice that the conjugation by the neutral 1 ∈ G produces the identity morphism.

2. (Pair of pants) for x, y ∈ G, this is the G-cobordism with base space the pair of pants, with entry (x, y) and exit the product xy. We restrict to principal G-bundles which are a G-deformation retract1 of a principal G-bundle over the wedge S1 ∨ S1. We denote this element by P(x,y) : (x, y) → xy. Similarly, we deﬁne the reverse G-cobordism over the pair of pants P (x,y) : xy → (x, y), which is P(x,y) with the opposite orientation.

3. (Pair of pants with multiple legs) forx ˆ = (x1, ··· , xn), with xi ∈ G, this is the G-cobordism with base space the pair of pants with n-legs, where the monodromy n for the entries isx ˆ and for the exit is the product i=1 xi. Similarly, we restrict to principal G-bundles which are a deformation retract of a principal G-bundle over 1 n 1 Q the wedge S ∨ ··· ∨S . We represent this element by Pxˆ and similarly, we deﬁne the G-cobordism P xˆ.

4. (Disk) there is only one G-cobordism over the disk which is a trivial bundle. We represent this element by D : 1 → 0 and similarly, we deﬁne the G-cobordism D :0 → 1.

5. (Handlebody) for xi,yi ∈ G,1 ≤ i ≤ n, this is the G-cobordism with base space the two dimensional handlebody of genus n with one boundary circle. The monodromy for the boundary circle is given by the product [yn, xn] ··· [y1, x1].

In Figure 3, Figure 4 and Figure 5 we have pictures of the previous G-cobordisms. For these pictures, we draw from left to right the direction of our cobordisms. Also every circle is labelled with its monodromy and for the cylinders we include inside the element of the group with which we do the conjugation.

Definition 4. The objects of the free G-cobordism category S G are finite sequences (x1, ··· , xn), xi ∈ G ⊔{0}, where xi ∈ G denotes the monodromy of a principal G-bundle G over the circle and xi = 0 denotes the empty G-bundle. The morphisms of S are G- cobordisms over oriented surfaces. We assume that every morphism with connected base space and non-empty incoming boundary, i.e.,x ˆ =(x1, ··· , xn) with xi =0for16 ≤ i ≤ n, factorises with the precomposition of the G-cobordism Pxˆ over the pair of pants (with multiple legs), see Figure 6. The morphisms in S G have a well defined composition by the gluing of their collars for a common boundary.

1By a G-deformation retract we indicate that the homotopy is by means of principal G-bundles.

4 x x

x zxz−1 xy xy 1 1 y y

Figure 3: G-cobordisms over the cylinder, the pair of pants and the disc.

. n . x = i=1 xi Q xn

Figure 4: G-cobordisms over the pair of pants with multiple legs P(x1,··· ,xn).

− x yxy 1 y

[y, x] x−1

Figure 5: G-cobordism over a handlebody with monodromy [y, x] for the boundary circle.

Notice that the G-cobordisms given by the cylinders with non trivial conjugation are not allowed morphisms in S G. However, they are the building blocks in a combinatorial description of the morphisms of S G. The category S G has a monoidal structure given by the disjoint union ⊔ : S G×S G → S G, where the unit is the empty G-bundle. Furthermore, there is a symmetric structure induced by a natural transformation c : ⊔→⊔◦ τ where τ is the twist functor. This is given by a bunch of crossing identity G-cobordisms over cylinders, where c2 = id. Now, we show Theorem 1 which says that there is one-to-one correspondence between

5 ′ x1 z1 y1 w1 wk ′ x2 z2 y2 z1 ··· zk . . . .

x ′ xn zm ym

Figure 6: A typical morphism in S G with connected base space. the connected components of BS G and the abelianization of G, i.e, G π (BS G) ∼= . (2) 0 [G,G] Because of the G-cobordism over the disc, we can restrict to objects given by ﬁnite sequences (x1, ··· , xn), with xi =6 0. Then the G-cobordism over the pair of pants with n multiple legs connects (x1, ··· , xn) with its product x = i=1 xi. Due to the G-cobordisms over the handlebodies, two elements x, y ∈ G are connected in S G if and only if they diﬀer Q G by an element in [G,G]. Notice that the product in π0(BS ) induced by the monoidal structure of S G, agrees with the product of G/[G,G]. This is because of the existence of the G-cobordism over the pair of pants (with multiple legs).

2 Analysis of subcategories

In this section we study the classifying space of the following subcategories of S G: S G S G 1. 0 is the full subcategory of with only one object given by the empty G-bundle. S G S G S G 2. >0 is the subcategory of with the same objects of except for the empty G- bundle and where for the base space, each connected component of every morphism has non empty incoming boundary and non empty outgoing boundary. S G S G S G 3. b is the subcategory of with the same objects of and where for the base space, each connected component of every morphism has non empty outgoing boundary. S G S G 4. 1 is the full subcategory of >0 with objects given by only one principal G-bundle over the circle.

We denote by S , S>0, Sb and S1 the cobordism categories associated to the trivial ∞ group. Tillmann [Til96] shows the classifying space of S0 is the inﬁnite torus T . The S G same is true for 0 .

6 S G Proposition 5. The classifying space B 0 is homotopic to the inﬁnite dimensional torus T ∞.

S G Proof. This is similar to the proof of Tillmann [Til96]. In fact, the monoid 0 is endowed with the structure of an abelian monoid which is inﬁnitely generated and without torsion. Thus this monoid has the form N∞ and since the classifying space of N is the circle, then S G the classifying space B 0 is the inﬁnite torus.

Tillmann [Til96] deﬁnes a functor Φ : S>0 → S1, which is the constant map in objects and each morphism Σ with n incoming circles, c connected components, genus g and m outgoing circles, is mapped by Φ to 1 Φ(Σ) := (m − n − χ(Σ)) = g + m − c . (3) 2

This represents the unique morphism in S1 with genus g + m − c. Moreover, Φ is left adjoint to the inclusion S1 ֒→ S>0 with a natural transformation deﬁned for the object n, by the morphism Pn : n → 1 which is the pair of pants with n legs. Thus we have the commutativity of P n n / 1 (4)

Σ g+m−c Pm m / 1

Furthermore, the functor Φ can be extended to Sb. Since the subcategory S1 is isomorphic to the natural numbers N, the classifying spaces of S>0, Sb and S1 have the same homotopy type of the circle S1. G S G S G For a finite abelian group G we define the functor Φ : >0 → 1 in objects n S G (x1, ··· , xn) by the product x = i=1 xi. For the morphisms of >0, we consider first the case where we have a connected base space. Take Σ a G-cobordism (with connected Q base space) which goes fromx ˆ := (x1, ··· , xn) toy ˆ := (y1, ··· ,ym). By hypothesis, see Definition 4, the morphism Σ factors by a precomposition of the G-cobordism over a G n pair of pants Pxˆ. Therefore, there is a unique G-cobordism Φ (Σ), from x = i=1 xi to m G y = yj, in the subcategory S , satisfying the following commutative diagram: j=1 1 Q

Q Pˆ xˆ x / x (5)

Σ ΦG(Σ) Pyˆ yˆ / y

A monoidal property (without unit) is obtained for morphisms Σ1, ··· , Σr, where Σi, S G 1 ≤ i ≤ r, is a G-cobordism in >0 with connected base space, which goes fromx ˆi := ni mj (xi1, ··· , xini )toy ˆj := (yj1, ··· ,yjmj )(xi = k=1 xik and yj = k=1 yjk). Therefore, there Q Q 7 Σ y1

y2 G x1 x1 Φ (Σ) y3 x2 x2

x3 x3 = x4 y4 y x4 x y

Figure7: ForΣ : (x1, x2, x3, x4) → (y1,y2,y3,y4) we represent the identity P(y1,y2,y3,y4)◦Σ= G Φ (Σ) ◦ P(x1,x2,x3,x4).

G is a unique G-cobordism Φ (Σ1 ⊔···⊔ Σr), from x1 ··· xr to y1 ··· yr, in the subcategory S G 1 , satisfying the following commutative diagram:

Pxˆ1⊔···⊔xˆr / xˆ1 ⊔···⊔ xˆr / x1 ··· xr (6)

G Σ1⊔···⊔Σr Φ (Σ1⊔···⊔Σr) Pˆ ⊔···⊔ˆ y1 yr / yˆ1 ⊔···⊔ yˆr / y1 ··· yr

It is straightforward to see that ΦG is a functor because of the uniqueness of the factori- sations, see Figure 7 for an example. As a consequence, we obtain the following theorem: S G S G G . Theorem 6. The inclusion functor 1 ֒→ >0 has a left adjoint Φ

G S G Likewise, we can extend the functor Φ to the category b and Theorem 6 follows. S G S G S G Consequently, the categories >0, b and 1 have homotopy equivalent classifying spaces.

Finally, consider the [G,G]-graded monoid MG := {Mx}x∈[G,G], where Mx is the collection of G-cobordisms over handlebodies with monodromy x ∈ G over the boundary circle. There are products Mx1 ×Mx2 −→ Mx1x2 given by the composition with the −1 G-cobordism over the pair of pants P(x1,x2). Also, there is an action ρz : Mx −→ Mzxz , z ∈ G, deﬁned by the composition with a G-cobordism over the cylinder with entry x and conjugation by z. The product is associative (with unit the disc) and twisted commutative and indeed, we mimic the axioms of a G-Frobenius algebra [MS06, GS17].

The importance of the monoid MG is that it works as a model for the composition S G S G of 1 . This is because every morphism in 1 , can be written as the gluing of two

8 G-cobordisms, one over a handlebody and the other over a pair of pants. Thus the com- S G position of two elements in 1 , is given by the product of their associated G-cobordisms over the handlebodies.

An important part is the submonoid associated to the neutral element, given by M1. This consists of G-cobordisms over handlebodies with trivial monodromy over the boundary circle. This monoid is abelian, finitely generated and without torsion. Consequently, r(G) M1 is a finite direct sum N for some positive integer r(G). This number r(G) writes as a finite sum r1(G)+ r2(G)+ ··· , where ri(G) is the number of generators with base space of genus i. For instance, r1(G) coincides with the cardinality of the quotient of the commuting pairs by an action of the special linear group. When G is an abelian finite group we obtain r(G)= r1(G), which is a multiplicative function and the Appendix 6 we find its exact value. We conclude the section with the following result.

S G Proposition 7. For G a ﬁnite abelian group, the subcategory 1 is isomorphic with a ﬁnite direct sum Nr(G).

3 The fundamental group

The aim of the present section is to show that the fundamental group of BS G is the direct sum Z ⊕ H2(G), where H2(G) is the integral 2-homology group. In this respect, we need an interpretation of the groupoid of fractions G G := S G[(S G)−1] with the left calculus of fractions [GZ67]. The fundamental group with base space an object x in S G, is the automorphism group HomG G (x, x), see Quillen [Qui73]. An important assumption is the restriction of S G to objects which are in the connected component of the empty G-bundle. Thus, for every objectx ˆ, we can take a morphism δxˆ fromx ˆ to the empty G-bundle, where for simplicity, take it with connected base space. Consider the subset of morphisms of those endomorphisms in S G which are the disjoint union of identity G-cobordisms over cylinders and G-cobordisms over closed surfaces. S˜G S˜G Denote this subset of morphisms by 0 . Notice 0 admits a calculus of left fractions S G S˜G −1 [GZ67]. Therefore, the category of fractions [( 0 ) ] can be described by roofs

(idxˆ ⊔ γ, Σ)=x ˆ ❂ (7) ✄ ❂❂ idxˆ ⊔ γ ✄✄ ❂ Σ ✄✄ ❂❂ ✄ ❂❂ Ñ✄✄ xˆ yˆ , where Σ :x ˆ → yˆ is a morphism in S G and γ is a G-cobordism over closed surfaces. S G S˜G −1 However, the category [( 0 ) ] is not enough to obtain the groupoid of fractions G G. For this purpose, we consider the quotient by an equivalence relation which is mo- S G S G S˜G −1 tivated as follows: the functor → [( 0 ) ] sends a morphisms Σ :x ˆ −→ yˆ

9 1 ∼ 1 1 1 1

Figure 8: The identiﬁcation id1 ⊔(D ◦ D) ∼ D ◦ D.

1 ∼ 1 x x

x x x

Figure 9: Property in the category of fractions.

to the roof (idxˆ, Σ). Take the gluing alongy ˆ of Σ and δyˆ. This is represented by ′ ′ Σ = Σ ⊔yˆ δyˆ which is a morphism fromx ˆ to the empty G-bundle. Denote by Σ :0 → xˆ the G-cobordism obtained by changing the orientation of Σ′. We can obtain a left inverse for (idxˆ, Σ) after we impose some identiﬁcation. The proposal for the left in- ′ ′ ′ verse is the roof idyˆ ⊔(Σ ◦ Σ ), Σ ◦ δyˆ . In fact, the composition of (idxˆ, Σ) followed by id ⊔(Σ′ ◦ Σ′), Σ′ ◦ δ is yˆ yˆ ′ ′ ′ ′ idxˆ ⊔(Σ ◦ Σ ), Σ ◦ Σ . (8)

Therefore, we need to impose the identiﬁcation

′ ′ ′ ′ idxˆ ⊔(Σ ◦ Σ ) ∼ Σ ◦ Σ . (9)

Take the equivalence relation generated by the identiﬁcations (9) using the composition G G and the monoidal structure of S and denote the quotient category by S∼ . In Figure 8 we illustrate (9) for the disc D :1 → 0 and the reverse disc D :0 → 1. As an application we obtain that in the category of fractions we have some sort of cancellation between G-cobordisms over handlebodies and spheres, see Figure 9. In the following proposition we outline the missing details to calculate the category of fractions. G G ∼ S G S˜G −1 Proposition 8. There is an isomorphism = ∼ [( 0 ) ].

Proof. Now we show that the left inverse of (idxˆ, Σ) is also right inverse. For this purpose, ′ ′ ′ we consider the composition of (idyˆ ⊔(Σ ◦ Σ ), Σ ◦ δyˆ) followed by (idxˆ, Σ). This is equal

10 to ′ ′ (α, β) := idyˆ ⊔(Σ ◦ Σ ), (Σ ◦ Σ) ⊔ (δyˆ ◦ δyˆ) . (10) This is equivalent to the identity morphism because we can take a third roof ⊔2 (ǫ, ξ) := idyˆ ⊔(δyˆ ◦ δyˆ), (Σ ◦ Σ) ⊔ (δyˆ ◦ δyˆ) , (11) and we have the commutative diagram yˆ (12) ❀❀ ✄✄ ❀ ξ ǫ ✄✄ ❀❀ ✄✄ ❀❀ Ñ✄✄ ❀ yˆ ❙❙❙ ❦❦ yˆ ✄ ❙❙❙ ❦❦❦ ❃❃ ✄ idyˆ ❙❦❙❦ β ❃ idyˆ α ✄ ❦❦❦ ❙❙❙ ❃❃ ✄✄ ❦❦❦ ❙❙❙ ❃ ✄ ❦❦❦ ❙❙❙ ❃❃ Ñ✄✄ ❦❦❦ ❙❙❙ ) yˆ u❦❦ ❙) yˆ .

It is possible to show that the inverse for (idxˆ, Σ) does not depend of the morphism δyˆ. The universal properties of the category of fractions and the quotient category implies the proposition. G Theorem 9. π1(BS )= Z ⊕ H2(G).

G Proof. The fundamental group π1(BS ) can be identified with the automorphism group HomG G (0, 0), where 0 denotes the trivial G-bundle. Proposition 8 implies that it is enough to consider the group completion of the monoid with elements the roofs of the form G (id0, Σ), where Σ is a morphism in the quotient category S∼ . There is a normal form for the roof (id0, Σ) which considers the identification (9) for the disc and the reverse disc, see Figure 8. In fact, every time we find an essential2 simple curve γ in the base space of Σ with trivial monodromy, we cut Σ along γ and we fill with discs the two boundary circles produced by the cutting. This automatically extends to trivial bundles over the two discs since we start with trivial monodromy for γ. Denote by cγ(Σ) the G- cobordism obtained by this procedure of cutting Σ. Thus we have the equality for roofs (id0, Σ) = (id0 ⊔S,cγ (Σ)) where S is the unique G-cobordism over the sphere. We continue with this process of cutting along every essential simple curve with trivial monodromy, keeping track of the number of times by adding an S in the first coordinate of the roof. This process ends in a finite number of k steps, for some k ∈ N, obtaining a subset of generators Γ = Γ1 ⊔···⊔ Γs of the 2-dimensional integral homology group H2(G). Thus for every Γi, 1 ≤ i ≤ s, there is no more essential simple curve in the base space with trivial monodromy. The representation of the generators of H2(G) through elimination of trivial monodromy can be seen in [Mil40, DS21]. As a consequence, we obtain a roof (id0 ⊔kS,lS ⊔ Γ), where kS and lS are the disjoint union of k and l copies of S. The assignment (l − k, Γ) gives a well defined map to Z ⊕ H2(G). This extends to the group completion and gives the required isomorphism. 2A closed curve is called essential if it is not homotopic to a point, puncture, or a boundary component.

11 Finally, we can see S G as an equivalent category with circles and surfaces equipped with maps to BG. The topological category of cobordisms equipped with maps to BG is a special case of the category studied in [GMTW] with tangential structure θ : BG × BSO(2) → BSO(2). B¨okstedt-Svane [BS14] provide a description of the fundamental group in terms of what they call chimera relations. We deduce in the next paragraph these relations using the identiﬁcation (9). This means that the canonical functor from the topological category to the discrete category S G is a 2-connected map in classifying spaces.

Take Σi, i ∈{1, 2, 3, 4}, G-cobordisms from X to the empty G-bundle. We obtain the following relations for roofs:

(id0, Σ3 ◦ Σ1 ⊔ Σ4 ◦ Σ2)= Σ1 ◦ Σ1 ⊔ Σ2 ◦ Σ2, (Σ3 ◦ Σ2 ◦ Σ2 ◦ Σ1) ⊔ (Σ4 ◦ Σ1 ◦ Σ1 ◦ Σ2) = Σ1 ◦ Σ1 ⊔ Σ2 ◦ Σ2, (Σ3 ◦ Σ2 ⊔ Σ2 ◦ Σ1) ⊔ (Σ4 ◦ Σ1 ⊔ Σ1 ◦ Σ2) = Σ1 ◦ Σ1 ⊔ Σ2 ◦ Σ2, (Σ3 ◦ Σ2 ⊔ Σ4 ◦ Σ1) ⊔ (Σ2 ◦ Σ1 ◦ Σ1 ◦ Σ2) = id0, Σ3 ◦ Σ2 ⊔ Σ4 ◦ Σ1 4 Multiplicative structure

In this section the category S G is restricted to objects which are in the connected component of the empty G-bundle. This category continues to be a symmetric monoidal category with the disjoint union and the crossing identity G-cobordism over cylinders. S G The subcategory >0 from Section 2, now restricted to the component of the empty G-bundle, does not have a unit for the monoidal structure. However, there is a way to get S˜G a unit using the trivial G-bundle over the circle and constructing a quoting category >0 as follows: first of all, principal G-bundles with connected base space admit a connected sum which is a G-equivariant extension of the usual connected sum of surfaces. For the S G Z S G product >0 × , take morphisms γi, i ∈ {1, 2}, in >0, each one with connected base space, with the relation (γ1 ⊔ γ2, n) ∼ (γ1♯γ2, n + 1), where γ1♯γ2 denotes the connected G sum of the morphisms γ1 and γ2. Consider the equivalence relation in S × Z generated by these identifications using the composition and the monoidal structure and denote the S˜G quotient category by >0. In Figure 10, we illustrate the triangle diagram for the unit S˜G axiom. Thus >0 satisfies to be a symmetric monoidal category. S G S˜G We have a symmetric monoidal functor Ψ : −→ >0, which for objects (x1, ··· , xn) G with xi =0,6 1 ≤ i ≤ n, the functor Φ˜ is the identity. As one might expect the empty G- bundle is sent to the trivial G-bundle over the circle, i.e., 0 −→Ψ 1. Denote by S the unique G-cobordism over the sphere. For the morphisms, Ψ is defined first for the disc D :1 → 0 and the reverse disc D, by Ψ(D) = (id1, 1) and Ψ(D) = (id1, 0), where id1 is the identity G over the trivial G-bundle over the circle. Now, for Σ a morphism in S from (x1, ··· , xn)

12 x x x x x x 1 = = 1 1 1 y 1 y y y y y

S˜G Figure 10: Unit axiom for the symmetric monoidal category >0.

to (y1, ··· ,ym), with xi,yj =6 0, i ∈{1, ··· , n} and j ∈{1, ··· , m}, we consider that the base space of Σ has k connected components, so we can write Σ = Σ1 ⊔···⊔ Σk, where Σl, l ∈ {1, ··· ,k}, is the G-cobordism over the l connected component. Thus we take G Ψ(Σ) = (Σ1♯ ··· ♯Σk,k − 1). Using the composition of S we have a well deﬁned functor Ψ and it is not so diﬃcult to see that the functor is symmetric and monoidal.

S G S˜G Proposition 10. There is a symmetric monoidal functor Ψ: −→ >0.

S G S G S˜G Similarly as in Section 2, the subcategory 1 ⊂ >0 deﬁnes the subcategory 1 . S˜G S˜G Again, the inclusion 1 → >0 has a left adjoint denoted by

˜ G S˜G S˜G Φ : >0 −→ 1 . (13)

The natural transformation is provided by the G-cobordism over the pair of pants with S˜G multiple legs. Thus for Σ :x ˆ → yˆ a morphism in >0, we obtain the following commutative square Pˆ xˆ x / x (14)

Σ Φ˜ G(Σ) Pyˆ yˆ / y

The extension of the functor ΦG to the whole category S G is deﬁned by the following composition: S G Ψ / S˜G ❇ >0 (15) ❇❇ ❇❇ ❇ ˜ G ′G ❇❇ Φ Φ ❇! S˜G 1 For the rest of the section assume that G is an abelian group.

13 S G S˜G Proposition 11. For a ﬁnite abelian group G, the canonical map 1 → 1 is a homotopy equivalence in classifying spaces.

S G S˜G Proof. In this case both 1 and 1 have only one object given by the trivial G-bundle S G over the circle. Moreover, they are commutative monoids and the canonical map 1 → S˜G 1 has a unique comma category which we show is a filtered one. An important fact is that the property illustrated in Figure 9 happens only if x is the neutral element. This means that the G-cobordism S over the sphere cancels one genus in the base space of a ′ S˜G G-cobordism represented by a trivial G-bundle. Therefore, for γ,γ two morphisms in 1 we can eliminate in both morphisms the disjoint union of G-cobordisms over the sphere by composing with adequate G-cobordisms represented by trivial G-bundles. This implies the first property of a filtered category since both monoids are commutative. The second property of a filtered category follows using the unique decomposition γ = γNtr ⊔1 γtr of S G a morphism in 1 , where the G-cobordism γtr is represented by a trivial G-bundle and it is maximal in the sense that γNtr is represented by a non-trivial G-bundle. Since the classifying space of a filtered category is a contractible space, then by the work of Quillen [Qui73], we obtain the proposition.

S G S˜G For example in the case when G is the trivial group, the map 1 → 1 reduces to .[the inclusion N ֒→ Z as in the work of Tillmann [Til96 In what follows, we study the homotopy type of the classifying space of whole category S G.

Theorem 12. For a ﬁnite abelian group G, every connected component of the free G- cobordism category has the homotopy type of the product XG ×T r(G) where XG is a simply connected inﬁnite loop space XG and T r(G) is the product of r(G) circles.

Proof. We have Ψ and Φ˜ G are symmetric monoidal functors and hence the induced maps on classifying spaces are maps of infinite loop spaces. Thus if we denote by XG the homotopy fiber of Φ′G = Φ˜ G ◦Ψ, then it is an infinite loop space. Consider the composition ′G S G S G Φ S˜G S G S˜G which coincides with the map of monoids 1 → 1 which by 1 →− →֒ 1 Proposition 11, it is a homotopy equivalence in classifying spaces. Thus we obtain a section for Φ′G and we end the proof of the theorem.

We end this section with a categorical description of the space XG for a ﬁnite abelian S G Nr(G) group G. Proposition 7 says that the subcategory 1 is of the form for some positive ′G S˜G number r(G). We can extend Φ to the group completion of 1 . Thus we can apply the G ′G Theorem B of Quillen [Qui73], and we obtain the homotopy groups π∗X = π∗(1/Φ ) where 1/Φ′G is the unique comma category of Φ′G.

14 5 Applications to G-TQFT’s

First, consider functors F : S G −→ D with D a groupoid. The universal property of − − the groupoid of fractions S G[S G 1] associates a unique functor F : S G[S G 1] −→ D, satisfying the commutative diagram

PS G − S G / S G S G 1 ❘ [ ] (16) ❘❘❘ ❘❘❘ ❘❘❘ F F ❘❘ ❘❘❘ ❘❘( D

− Similarly, the groupoid S G[S G 1] can be considered as the union of its connected components given by G/[G,G]. Any two connected components are related by the G-cobordisms over the pair of pants. Therefore, F is determined by the restriction to some connected component plus the image of the G-cobordisms over the pair of pants. Furthermore, from Section 4, there is a factorisation of the localization functor PS G as follows

PS G − S G / S G S G 1 ❇ 9 [ ] (17) ❇❇ t9 ❇❇ tt ❇❇ ttt Ψ ❇❇! tt ! ttt S˜G >0

S˜G S G S G−1 ′ Denote by T the functor >0 −→ [ ] and set F = F ◦ T . In Section 4 we have S˜G S˜G an adjunction between the categories >0 and 1 , which was used to deﬁne the functor ′G S G S˜G S G Φ : −→ 1 . For Σ a morphism in , we consider its image Ψ(Σ) :x ˆ −→ yˆ, with x = xi and y = yj. This adjunction has the following commutative diagram

Q Q Pxˆ xˆ / x (18)

Ψ(Σ) Φ′G(Σ) Pyˆ yˆ / y

Therefore, the functor F : S G −→ D is completely determined as follows:

′ −1 ′ ′G ′ F (Σ) = F (Pyˆ) ◦ F (Φ (Σ)) ◦ F (Pxˆ) , (19)

As an application we consider an abelian group D. We recover the case of Tillmann 2 [Til96] by setting a0 = F (S ) and cn = F (Pn). Thus for Σ : n → m the functor F is given by F (Σ) = cn − cm + a0(Φ(Σ)) , (20) where bn + cn = b1 with bn = F (Dn) for Dn :0 → n the disjoint union of n disks.

15 G Second, we consider symmetric monoidal functors F : S → VectC, where VectC is the category of ﬁnite dimensional complex vector spaces. They are currently called G- topological quantum ﬁeld theories [MS06]. A folk result states a correspondence between G every symmetric monoidal functor F : S → VectC and a G-Frobenius algebra [MS06,

GS17]. Brieﬂy, a G-Frobenius algebra is a G-graded vector space A = x∈G Ax, where Ax is a ﬁnite dimensional C-vector space, with G-graded associative products Ax ⊗Ay → Axy L which are twisted commutative, also there is a trace θ : A1 → C which is non degenerate and we have an action ρ : G → Aut(A) of algebra automorphisms and some other axioms. We are interested when F is morphism inverting, hence Ax ∼= C for any x ∈ G. The algebraic structure is called discrete torsion determined by Turaev [Tur10] as follows:

Cb(G) := C ×{x} , (21) x∈G M

2 ∗ where for a basis ex in each Ax and b ∈ H (G, C ) a 2-cocycle, the product is ex · ey = b(x, y) · exy. There is a commutative diagram

PS G − S G / S G S G 1 ◗ [ ] (22) ◗◗◗ ◗◗◗ ◗◗◗ F F ◗◗◗ ◗◗( VectC

Thus F is completely determined by the restriction to the automorphism group of the G G−1 empty G-bundle in S [S ], plus the images of a generating set of the monoid MG ∗ from Section 2. This induces a representation of the fundamental group Z ⊕ H2(G) → C from Section 3. G Finally, for any G-topological quantum field theory F : S → VectC, we consider the S˜G S G subset of morphism 0 used in Section 3. This consists of those endomorphisms in which are the disjoint union of identity G-cobordisms over cylinders and G-cobordisms over closed surfaces. Similarly, as in the case of Tillman [Til96], any G-cobordism over a closed surface can be written as a double construction given by a G-cobordism over the gluing M ⊔X M, where M is a surface with boundary X and M is M with opposite orientation. The manifold M is found observing that any G-cobordism over a closed surface has a decomposition in terms of G-cobordisms over pair of pants and cylinders, see Figure 11 for an example. Then we cut the surface in two halves given by the front and the back side observing they have the same G-cobordisms but with different orientation. This implies that any G-cobordism over a closed surface is assigned to a non-zero complex number by the non-degeneracy of the inner product. Consequently, we obtain that every −1 S G S G S˜G G-topological quantum field theory F : → VectC factors through [ 0 ].

16 x1 x2

z1 z2

Figure 11: Example of a G-cobordism over a closed surface.

6 Appendix

Let G be a ﬁnite abelian group. In Section 2 and 4, we gave a positive integer number r(G) which is the cardinality of the quotient of G × G by the action of the special linear group Sl(2, Z) generated by the identiﬁcations

(x, y) ∼ (x, x + y) and (x, y) ∼ (y, −x) . (23)

This number is the sum r(G)= c(G)+e(G), where c(G) is the number of cyclic subgroups of G and e(G) is some error correction. Consider two finite groups G1 and G2 with relative prime orders, i.e., (|G1|, |G2|) = 1. Since the number of cyclic groups is a multiplicative function, it is not difficult to show that the number r(G) is also a multiplicative function. In order to find the exact value for any finite abelian group we take p prime and l, n Zn Zn Zn positive integers and we consider the group pl . Take the product pl × pl with the action of Sl(2, Z) and divide the set of orbits into three disjoint sets:

Zn Zn i) The classes are given by pairs (x, y) ∈ pl × pl such that (x, y) = (0, 0) mod p. Since we have the exact sequence

/ ×p / mod p/ / 0 / Zpl−1 / Zpl / Zp / 0 . (24)

Zn Thus the number of orbits is r( pl−1 ).

Zn Zn ′ ′ ii) The classes are given by pairs (x, y) ∈ pl × pl which are equivalent to a pair (x ,y ) with either x′ ≡ 0 mod p or y′ ≡ 0 mod p. The number of these classes is, for n> 2,

l−2 n A (l, n)= p(l−2)(n−1) pn−1 +(p2n−3 − pn−2) pi(n−2) , (25) p 1 " i=0 # p X pn−1 − 1 n = p(l−1)(n−1) + p(l−1)(2n−3) − p(l−1)(n−1) , (26) pn−1 − p 1 p l−1 l−2 In addition, Ap(l, 2) = lp − (l − 1)p (p + 1) and Ap(l, 1) = 1. 17 Zn Zn iii) The classes are given by pairs (x, y) ∈ pl × pl which are in the complement of the cases i) and ii). The number of these classes is

n B (l, n)= p(l−1)(2n−3)(p − 1) , (27) p 2 p

and Bp(l, 1) = 0.

Zn Zn Proposition 13. For n> 2, r( pl ) − r( pl−1 ) has the formula

pn−1 − 1 n n p(l−1)(n−1) + p(l−1)(2n−3) − p(l−1)(n−1) + p(l−1)(2n−3)(p − 1) , pn−1 − p 1 2 p p (28) Z2 Z2 l−1 l−2 l−1 and r( pl ) − r( pl−1 )=(lp − (l − 1)p )(p +1)+ p (p − 1).

Thus we obtain the following result.

Zn Theorem 14. For a prime number p and l, n positive integers, the number r( pl ) has the following value

l(2n−3) n n (p − 1)(p − 1) n r(Z l )=1+ a (l, n) + , (29) p p 1 p2n−3 − 1 2 p p where, for n =16 , 2, we have the formula

pl(n−1) − 1 pn−1 − 1 pl(2n−3) − 1 pl(n−1) − 1 a (l, n)= + − . p pn−1 − 1 pn−1 − p p2n−3 − 1 pn−1 − 1 l−1 with ap(l, 2) = lp and ap(l, 1) = l.

The formulas for Ap(l, n) and Bp(l, n) can be deduced as follows:

Lemma 15. We obtain n A (1, n)= , (30) p 1 p and every class has exactly p2 − 1 elements.

Zn Zn Proof. An element in p × p is considered as a 2 × n matrix. The elements of Ap(1, n) Zn represent the matrices with rank one, so we obtain a vector in p . Two of these vectors Zn are identiﬁed if they represent the same one dimensional space in p and every class has p2 − 1 elements.

18 Proposition 16. For n> 2, there is the formula

l−2 n A (l, n)= p(l−2)(n−1) pn−1 +(p2n−3 − pn−2) pi(n−2) , (31) p 1 " i=0 # p X n and A (l, 2) = lpl−1 − (l − 1)pl−2 and A (l, 1)=1. p 1 p p Zn Zn Proof. We can show by induction on l, that the number of pairs (x, y) in pl × pl which are equivalent to pairs (x′,y′) with only one coordinate equivalent to 0 mod p, are divided in classes n p(l−2)(n−1) pn−1, (p2n−3 − pn−2),pn−2(p2n−3 − pn−2), ··· ,p(l−2)(n−2)(p2n−3 − pn−2) , 1 p (32) where each class of the vector has the following number of elements

(p2 − 1)p2(l−1) 1,p,p2, ··· ,pl−1 . (33) The sum of (32) gives the number Ap(l, n). Notice that the base induction is precisely the Lemma 15.

Proposition 17. There are the identities:

n a) B (1, n)=(p − 1) and B (l, 1)=0. p 2 p p l l−1 b) Bp(l, 2) = p − p .

2n−3 c) Bp(l, n)= p Bp(l − 1, n).

Proof. In [SW15, p. 6], the author with Winklmeier showed that

n n r(Zn)=1+ +(p − 1) . (34) p 1 2 p p Zn In this case, we have r( p )=1+ Ap(1, n)+ Bp(1, n), so the item a) follows by Lemma 15.

For item b), notice the relation Bp(l, 2) = pBp(l − 1, 2), which is an implication of the form of the classes. In fact, the number Bp(l, 2) consists of classes formed by elements in Z2 Z2 Z l pl × pl of the form ((j, 0), (0, j)), with j ∈ pl = {0, 1, ··· p − 1} and j =6 0 mod p. The number of this elements has the recurrence of multiplying by p every time we add a unit l l−1 to the index l. Since Bp(1, 2) = p − 1, then it follows the formula Bp(l, 2) = p − p .

19 Finally, for the item c) apply mod p to the elements of Bp(l, n) and then we obtain n (p − 1) elements given in B (1, n). The number B (1, n) counts the elements given 2 p p p by 2 × n matrices of rank two. Using the exact sequence (24), the ﬁber by the map mod p Zl−1 is the space p for 2n − 3 coordinates, where we subtract three because the matrix have to be of rank two. Therefore, we have

n B (l, n)= p(l−1)(2n−3)(p − 1) , (35) p 2 2n−3 which proves the recurrence Bp(l, n)= p Bp(l − 1, n).

Corollary 18. There is the formula

n B (l, n)= p(l−1)(2n−3)(p − 1) . (36) p 2 Acknowledgement The author is supported by c´atedras CONACYT and Proyecto CONACYT ciencias b´asicas 2016, No. 284621.

References

[BS14] Marcel B¨okstedt and Anne Marie Svane, A geometric interpretation of the homotopy groups of the cobordism category, Algebr. Geom. Topol. 14 (2014), no. 3, 1649–1676.

[CF64] P. E. Conner and E. E. Floyd, Diﬀerentiable periodic maps, Ergebnisse der Mathematik und ihrer Grenzgebiete, N. F., Band 33 Academic Press Inc., Pub- lishers, New York; Springer-Verlag, Berlin-G¨ottingen-Heidelberg, 1964.

[DS21] Emilio Dom´ınguez and Carlos Segovia, Extending ﬁnite free group actions on surfaces, https://arxiv.org/abs/2012.02464, January 2021.

[GMTW] Søren Galatius, Ib Madsen, Ulrike Tillmann, and Michael Weiss, The homotopy type of the cobordism category, Acta Mathematica 202, no. 2, 195–23.

[GS17] Ana Gonz´alez and Carlos Segovia, G-topological quantum ﬁeld theory, Bol. Soc. Mat. Mex. 23 (2017), 439–456.

[GZ67] Peter Gabriel and Michel Zisman, Calculus of fractions and homotopy theory, Springer-Verlag New York Inc., 1967.

20 [Mil40] G. A. Miller, Subgroups of the groups whose order are below thirty, Proceedings of the National Academy of Sciences of the United Stated of America 26(8) (1940), 500–502.

[MS06] Gregory W. Moore and Graeme Segal, D-branes and K-theory in 2D topological ﬁeld theory, http://arxiv.org/abs/hep-th/0609042, September 2006.

[Qui73] Daniel Quillen, Higher algebraic K-theory: I, in: Algebraic K-theory i, Lect. Notes Math. 341 (1973), 77–139.

[Seg68] Graeme Segal, Classifying spaces and spectral sequences, Ins.Hautes Etudes´ Sci. Publ. Math. 34 (1968), 105–112.

[SW15] Carlos Segovia and Monika Winklmeier, On the density of certain languages with p2 letters, Electron. J. Combin. 22 (2015), no. 3, 10.

[SW20] , Calculating the dimension of the universal embedding of the symplectic dual polar space using languages, Electron. J. Combin. 27 (2020), no. 4, 28.

[Til96] Ulrike Tillmann, The classifying space of the 1+1 dimensional cobordism category, J. f¨ur die reine und angewandte Mathematik 479 (1996), 67–75.

[Tur10] Vladimir Turaev, Homotopical ﬁeld theory in dimension 2 and group-algebras, European Mathematical Society (EMS) 10 (2010).