On the whistle cobordism operation in string topology of classifying spaces
Katsuhiko Kuribayashi

TL;DR
This paper investigates the non-triviality of the whistle cobordism operation within string topology of classifying spaces, revealing its significance in the context of 2D topological quantum field theories for Lie groups.
Contribution
It proves the non-triviality of the whistle cobordism operation for classifying spaces of Lie groups with labels in maximal closed subgroups, advancing understanding of cobordism operations.
Findings
Whistle cobordism operation is non-trivial for certain labels.
Gluing operations preserve non-triviality under specific conditions.
Results apply to the string topology of classifying spaces of Lie groups.
Abstract
In this manuscript, we consider cobordism operations in the -dimensional labeled open-closed topological quantum field theory for the classifying space of a connected compact Lie group in the sense of Guldberg. In particular, it is proved that the whistle cobordism operation is non-trivial in general provided the labels are in the set of maximal closed subgroups of the given Lie group. The non-triviality of cobordism operations induced by gluing the whistle with the opposite and other labeled cobordisms is also discussed.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
0002010 Mathematics Subject Classification: 55P50, 81T40, 55R35
Key words and phrases. String topology, classifying space, topological quantum field theory, Eilenberg-Moore spectral sequence. Department of Mathematical Sciences, Faculty of Science, Shinshu University, Matsumoto, Nagano 390-8621, Japan e-mail:[email protected]
On the whistle cobordism operation in string topology of classifying spaces
Katsuhiko KURIBAYASHI
Abstract.
In this manuscript, we consider cobordism operations in the -dimensional labeled open-closed topological quantum field theory for the classifying space of a connected compact Lie group in the sense of Guldberg. In particular, it is proved that the whistle cobordism operation is non-trivial in general provided the labels are in the set of maximal closed subgroups of the given Lie group. The non-triviality of cobordism operations induced by gluing the whistle with the opposite and other labeled cobordisms is also discussed.
1. Introduction
String topology initiated by Chas and Sullivan [6] until now provides many impressive and fruitful algebraic structures for the homology of the free loop spaces of orientable manifolds [9, 8, 12], orbifolds [18], the classifying spaces of Lie groups [7, 14, 15], Gorenstein spaces [11, 16] and differentiable stacks [3]. In this manuscript, we deal with string topology for classifying spaces, which is enriched with a -dimensional labeled open-closed topological quantum field theory (TQFT).
In [13], Guldberg has developed such a labeled TQFT for the classifying space of a connected compact Lie group . In consequence, the homology groups of double coset spaces associated to and of the free loop space are simultaneously incorporated into the open-closed TQFT with labels in a set of closed connected subgroups of . The structure is indeed induced by an open-closed homological conformal field theory (HCFT) which is an extended version of a closed HCFT for classifying spaces due to Chataur and Menichi [7]; see [13, Theorem 1.2.3 and Lemma 2.4.1]. The aim of this manuscript is to investigate the non-triviality of an important cobordism operation which connects the open and closed theories in the labeld TQFT.
To describe a labeled open-closed TQFT in general, we need to introduce the category of open-closed strings. Its objects are finite disjoint unions of oriented circle and intervals with ends labeled by elements of a fixed set . A morphism in the category is the diffeomorphism class of cobordisms from to labeled in , where such a cobordism is indeed a -dimensional oriented manifold whose boundary consists of three parts Here the part called the free boundary is a cobordism between and . Moreover, it is required that the connected component of is labeled by elements of compatible with the labeling of and ; see [20, Section 2] for more details. The compositions are given by gluing cobordisms provided the labelings of the boundaries are compatible. By definition, a -dimensional labeled open-closed topological quantum field theory is a monoidal functor from to the category of graded vector space over , where the monoidal structure of is given by the disjoint union of cobordisms. We may write for the linear map assigned by a cobordism . Moreover, we denote by a one or two dimensional labeled cobordism whose free boundary has conected components , where is a subset of .
While the labeled open-closed TQFT for a classifying space is investigated in this article, we refer the reader to the results due to Blumberg, Cohen and Teleman [4] for an open-closed TQFT labeled by submanifolds of a given manifold; see also [12] for an HCFT based on the free loop space of a manifold.
Let be a compact connected Lie group and a set consisting of connected closed subgroups of . Let denote the whistle cobrodism from the interval to the circle whose incoming boundary is connected with an arc labeled by a subgroup at the each endpoint; see the figure below for the whistle cobordism.
[TABLE]
Observe that the arc , which is denoted by the wave curve, is the only free boundary of the whistle. In [13], the non-triviality of a cobordism operation of open strings, namely intervals, is revealed; see Appendix A for more computations in an open TQFT. Since the whistle cobrodism connects open and closed strings, it is anticipated that the operation associated with the whistle plays a key role in the open-closed TQFT. In fact, an open-closed TQFT splits into the open theory and the closed one if all whistle cobordism operations are trivial; see [17, Propositions 3.8 and 3.9] for generators of morphisms in for example. In this article, we focus on the whistle cobordism operation and the non-triviality is discussed.
In what follows, the homology and cohomology are with coefficients in a field . Our main theorem is described as follows.
Theorem 1.1**.**
Let be a connected compact Lie group and a connected closed subgroup of maximal rank. Suppose that the integral homology groups of and are -torsion free, where is the characteristic of . Then the operations and associated to the whistle cobordisms and are non-trivial. Moreover, the composite operation is also non-trivial if for any , where stands for the map between classifying spaces induced by the inclusion and are generators of .
This enables us to conclude that the open theory and closed theory are inseparable in general. In consequence, we can explicitly determine every labeled open-closed cobordism operation over the rational under an appropriate assumption on the set of labels; see Assertion 4.2.
We observe that the cobordism in Theorem 1.1 is the cylinder with a hole labeled by a subgroup of maximal rank. Operations associated with other composites of the whistle cobordisms are discussed in Remark 3.2 below.
The rest of the article is organized as follows. In Section 2, we briefly review the construction of a cobordism operation in the labeled TQFT for classifying spaces due to Guldberg. After describing our strategy for proving the main theorem, we consider the Eilebnerg-Moore spectral sequences for appropriate pullback diagrams and give the proof in Section 3. Appendix A deals with a labeled open TQFT for classifying spaces. In Appendix B, we discuss rational homotopy theoretical methods for computing the whistle cobordism operation.
2. A brief review of the labeled TQFT for classifying spaces
We recall the cobordism operation introduced in [13, Section 2.3]. In what follows, we denote by the mapping space of maps from to with compact-open topology. Observe that by definition. For a two dimensional labeled cobordism with in-coming boundary and outgoing boundary , we define a space by the pullback diagram
[TABLE]
where is the inclusion and denotes the embedding. By applying the same pullback construction as above to a one dimensional cobordism of the form , we define a space . The naturality of the construction enables us to obtain a map from the inclusion of the in-coming boundary.
Proposition 2.1**.**
[13*, Proposition 2.3.9]** (i) The map induced the inclusion gives rise to a fibration whose fibre is the product of , and the total space of a fibration of the form in which ’s are the labels of the cobordism .
(ii) The fibration in (i) is orientable; that is, the action of the fundamental group of the base on the homology of the fibre is trivial.*
Thus for the fibration , we can define the integration along the fibre with degree the top degree of . The main result [13, Theorem 1.2.3] asserts that an operation defined by the composite
[TABLE]
for each labeled cobordism gives rise to a labeled open-closed TQFT structure for the classifying space of . We here and henceforth omit the action of determinants in the TQFT for classifying spaces; see [7, 13] for the action. This means that our computation of the cobordism operations below is made up to multiplication by non-zero scalar.
For a labeled whistle cobordism , let and be the two endpoints of the arc and hence they are also endpoints of the in-boundary of . In what follows, we may write and for the arc and the in-boundary , respectively.
Remark 2.2*.*
As for the whistle , the fibration induced by the embedding is the homotopy pullback of
[TABLE]
along the map . Thus the map is regarded as the evaluation map at [math] and . We see that the fibre of has the homotopy type of and then of . Moreover, the fibration is the homotopy pullback of the fibration along the evaluation map . This implies that the fibre of has the homotopy type of the homogeneous space . These results follow from the proof of [13, Proposition 2.3.9]. We observe that and .
If labels are in the set of subgroups of maximal rank, then Grassmann manifolds and flag manifolds may appear as the fibres of the fibrations .
3. Proof of the main result
We begin by describing our strategy for proving Theorem 1.1.
- (i)
We deal with the dual operation on the cohomology. 2. (ii)
Determine explicitly the cohomology algebras of and with the Eilenberg-Moore spectral sequences, and investigate the behavior of the maps and for generators of the cohomology comparing the spectral sequences. 3. (iii)
Consider the Leary-Serre spectral sequence for the fibration in Proposition 2.1 in order to compute the integration along the fibre. 4. (iv)
Determine the value of the composite at an appropriate element of . 5. (v)
As for the latter half of the assertions, we also consider the dual operation with the same strategy as above. 6. (vi)
Reveal the nontriviality of the composite with the description of the fundamental class of the homogeneous space due to Smith [23].
We recall the Eilenberg-Moore spectral sequence (EMSS) in a general setting. Let be a fibration over a simply-connected base and the pullback along a map . We then have the Eilenberg-Moore spectral sequence [21] converging to the cohomology as an algebra with as a bigraded algebra. Observe that each term of the spectral sequence appears in the second quadrant.
In order to compute the cohomology concerning the whistle cobordism operation by using the EMSS, we consider commutative diagrams
[TABLE]
[TABLE]
in which the front and back squares are pullback diagrams, and and denote the maps induced by the embeddings. Moreover, using a deformation retraction with and , which is a homotopy inverse of the embedding , we have commutative diagrams
[TABLE]
in which the back right square is a pullback diagram, where denotes a deformation retraction.
For morphisms and of algebras, we can regard and as -modules via the morphisms. Then we write for the torsion product of and . By the assumption of the theorem, we see that the cohomology algebras of and are polynomial, say and ; see [19]. Applying the EMSS to the pullback diagrams in (3.1) and (3.2), we have commutative diagrams
[TABLE]
where is the unit, is the mapping space and denotes the arc . In fact, the argument with the two sided Koszul resolution implies that each spectral sequence collapses at the -term. We observe that the resolution is of the form
[TABLE]
where , and stands for the multiplication on ; see [2]. There exists no extension problem in the spectral sequences; see the diagram (3.6) below. Thus the naturality of each isomorphism , which is induced by the Eilenberg-Moore map [21], allows us to obtain the commutative diagram. Moreover, by using the retraction mentioned above, we have commutative diagrams
[TABLE]
where the left vertical arrows are the same ones as in (3.4). Since the back left diagram in (3.3) is commutative, it follows that . Moreover, the diagram (3.3) enables us to deduce the commutativity of the left-hand side two squares in the diagram
[TABLE]
Explicit calculations of the EMSS’s with the Koszul resolutions above give the commutative diagrams in the right-hand side in (3.6), where denotes the map induced by the multiplication of the algebra . We observe that
[TABLE]
give a regular sequence since is of maximal rank.
We are ready to prove main theorem.
Proof of the non-triviality of .
In order to compute the integration along the fibre associated with the fibration , we consider the Leray-Serre spectral sequence for the fibration. As mentioned in Remark 2.2, the fibration fits into the commutative diagram
[TABLE]
in which the left-hand side square is a pullback, where is the map in (3.2) and the map represents the element . The argument with the EMSS yields that as algebras, where . Comparing the Leray-Serre spectral sequences of the right two fibrations, we see that is transgressive to for in the Leray-Serre spectral sequence of the middle fibration. Therefore, we have
Lemma 3.1**.**
In , the element is transgressive to an element of the form for , where is identified with via isomorphisms in (3.4), (3.5) and (3.6) for .
By [22, Lemma 3.4], we can write
[TABLE]
in for with elements in which satisfy the condition that , where denotes the multiplication on . Then it follows from Lemma 3.1 and Zeeman’s comparison theorem that an element of the form is a permanent cycle for and that are generators in the vector space of the indecomposable elements of with odd degree. In fact, the model in Zeeman’s comparison theorem above enables us to deduce that each is not in the image of the differential in a model of the spectral sequence. The computation in (3.4), (3.5) and (3.6) implies that
[TABLE]
As for the first isomorphism, it follows from the argument above that there exists a surjective map . The second and third isomorphisms yields that . We have the first isomorphism. It turns our that in changing the generators if it is necessary. This implies that . The last equality follows from the definition of the integration. ∎
Proof of the non-triviality of .
We consider the integration along the fibre associated with the fibration
[TABLE]
which is mentioned in Remark 2.2. By virtue of [1, 3.5 Proposition], we see that as an -module for some graded vector space . In particular, is a free -module. Thus the argument of the EMSS for the fibration enables us to deduce that is an isomorphism; see [21, Proposition 4.2].
It follows from the definition of that , where , or and denotes the fundamental class of the homogeneous space . Therefore, we see that for an element of the form
[TABLE]
Thus is non-trivial in general. ∎
Proof of the latter half of Theorem 1.1.
It remains to show that the composite
[TABLE]
is non-trivial. By the assumption of the degree of for and the result [23, Proposition 3], we see that is the fundamental class of . Therefore, the computation above and the choice of elements allow us to conclude that
[TABLE]
This completes the proof. ∎
We conclude this section with remarks on other operations obtained by a composite with the whistle cobordism. The results show a fruitful structure of the labeled TQFT for classifying spaces.
Remark 3.2*.*
(i) The integration along the fibre is a morphism of -modules via . Thus the computation of above yields that for ,
[TABLE]
(ii) Since the image of is in , it follows from (i) that
[TABLE]
This yields that in the labeled TQFT for the classifying space, the operation for a cobordism with holes labeled by connected closed subgroups of maximal rank is trivial provided and the characteristic of the underlying field is sufficiently large. As a consequence, under the same assumption, the Cardy condition [17, (2.14)] implies that the cobordism operation associated with the double-twist diagram [20, Fig .11] in the open TQFT is trivial. This result also follows form Theorem 4.1 below in which the open theory is clarified in our setting.
(iii) Let be the pair of pants with one incoming boundary. The result [15, Theorem 4.1], in which each is replaced with the notation , enables us to deduce that the operator is non-trivial in general.
(iv) We can consider the whistle cobordism operation in a homological conformal field theory (HCFT). Let be the prop parameterized by the homology of mapping class groups. By using the prop, we have a HCFT structure for classifying spaces; see [7, 13]. Let be the cylinder and
[TABLE]
the prop structure coming from the gluing of bordisms. The Dehn twist gives rise to the element in via the Hurewicz map. In fact, the element induces the Batalin-Vilkovisky (B-V) operator on by the HCFT structure; see [7, Proposition 60]. Observe that is regarded as an element in . Then under the same assumption as in (ii) and with the notation in the proof of Theorem 1.1, we see that
[TABLE]
Observe that the B-V operator is a derivation with respect to the cup product on the cohomology. Then the second equality follows from [15, Theorem 3.1].
Under the same assumption as in Remark 3.2 (ii), the cobordism operation associated to the pair of pants with two incoming boundaries is trivial on ; see [15, Theorems 7.1 and 7.3]. Thus we can exactly understand the closed TQFT structure for classifying spaces. Thanks to the main theorem, we can also compute every cobordism operation in the open-closed TQFT labeled in the set of connected closed subgroups of maximal rank if the open TQFT is clarified. The consideration of the open theory is the topic in Appendix A.
Acknowledgments. The author is grateful to Anssi Lahtinen for inviting him to University of Copenhagen, and also thanks Jesper Grodal. The inspired discussions with them on string topology have enabled the author to refine the computations in this manuscript.
4. Appendix A: A labelled open TQFT for classifying spaces
Let be a connected compact Lie group whose cohomology with coefficients in is a polynomial algebra over generators with even degree. Let , and be connected closed subgroup of of maximal rank, whose cohomology algebras satisfy the same condition as that of . Then we have
Theorem 4.1**.**
Let be the basic cobordism from two labeled intervals and to one labeled interval , which is pictured in [20, Fig. 1]. Then the cobordism operation is trivial but not in general.
Appendix A is devoted to proving the theorem. We consider fibrations below which define the cobordism operations and . Moreover, we investigate the cohomology algebras of total and base spaces. The results are described with the diagram
[TABLE]
where is the map induced by the natural map
[TABLE]
and , and denote the inclusions. Observe that the fibres of the fibrations and are and , respectively; see the proof of [13, Lemma 2.3.11]. The cohomology algebras are computed with the Eilenberg-Moore spectral sequence as made in Section 3 associated with pullback diagrams defining the spaces , and .
The computation of is here given. We choose a homotopy equivalence
[TABLE]
with a homotopy inverse which satisfies the condition that for and . We regard as a labeled cobordism , where , , . Observe that the in-boundaries of the free boundaries , and are the sets , and , respectively. By the definition of the space , we have commutative diagrams
[TABLE]
in which the right-hand side and left-hand side squares are pullback diagrams, where the map is defined by the embeddings which are homotopy inverses of deformation retractions and is the map induced by the inclusions , and mentioned above. Thus applying the EMSS to the big square which is a homotopy pullback, we can compute the cohomology algebra in (4.1) with the two sided Koszul resolution mentioned in Section 3.
Proof of Theorem 4.1.
By definition, we see that . The image of is in the image of . This follows from the commutativity of the diagram (4.1). Then the definition of the integration along the fibre yields that is trivial.
We investigate the Leray-Serre spectral sequence for the fibration . Since the subgroup is of maximal rank, it follows that the term is generated by elements with even degree and hence the map induced by the inclusion is an epimorphism. Therefore, there exists an element of the form in with and such that is the fundamental class of . We can assume that for any because is in the image of . Thus we see that . This completes the proof. ∎
By virtue of Theorems 1.1, 4.1, the results [15, Theorems 4.1 and 7.1] for closed TQFT for classifying spaces and the result [17, Proposition 3.9], we have
Assertion 4.2**.**
Let be the set of connected closed subgroup of of maximal rank. Then one can make a calculation of each of the dual operations for the labeled TQFT introduced by Guldberg up to multiplication by non-zero scalar with the cohomology algebras and their generators described in (3.6) and (4.1), and moreover, with representatives and of the fundamental classes of the homogeneous spaces in and ; see the proof of Theorems 1.1 and 4.1 for and .
In particular, we see that for a cobordism which has two holes, or contains at least either one of and the pair of pants with two in-boundaries as a component constructing the cobordism with gluing.
5. Appendix B : An algebraic model for the whistle cobordism operation
We give an algebraic model for in cochain level over the rational. In this section, the cochain algebra for a space is regarded as the DG algebra of PL differential forms on thought the same notation as that of the singular cochain algebra is used; see [5] and [10, Section 10] for PL differential forms. In what follows, we assume that is an arbitrary connected closed subgroup of a connected compact Lie group .
We recall the commutative diagram in (3.2) and first consider the fibration in the left square. The results [10, Theorems 14.12 and 15.3] allow us to obtain a minimal relative Sullivan model for of the form
[TABLE]
Observe that the source is the tensor product as a vector space, but not as a DGA. By using the model , we have a model for the integration along the fibre of the fibration mentioned above; see [11, Theorem 5]. The left-hand side diagram in (3.2) is the pullback described in Remark 2.2. Then the proof of [11, Theorem 6] yields that in (5.1) below is a model for the integration . Moreover, a quasi-isomorphism
[TABLE]
is induced by the front pullback in (3.2). Thus we have commutative diagrams with solid arrows
[TABLE]
in which and are quasi-isomorphisms induced by the back pullback diagram and the left-hand side pulback diagram in (3.2), respectively, and is a quasi-isomorphism induced by the big pullback which the left-hand side and the front pullback diagrams give. By the lifting lemma [10, Proposition 12.9] enables us to obtain a right inverse of in the derived category of -modules. The last step in constructing the model for is not explicit. In fact, as expected from the proof of Theorem 1.1, it seems that the construction of the lift is complicated in general. Under appropriate assumptions on and the subgroup , it is anticipated that Sullivan models serve the explicit calculation. However, we do not pursue the topic in this article.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] P.F. Baum, On the cohomology of homogeneous spaces, Topology 7 (1968), 15–38.
- 2[2] P.F. Baum and L. Smith, The real cohomology of differentiable fibre bundles, Comm. Math. Helv. 42 (1967), 171–179.
- 3[3] K. Behrend, G. Ginot, B. Noohi and P. Xu, String topology for stacks, Astérisque (2012), no. 343, xiv+169.
- 4[4] A.J. Blumberg, R.L. Cohen and C. Teleman, Open-closed field theories, string topology, and Hochschild homology, “Alpine perspectives on algebraic topology”, edited by C. Ausoni, K. Hess, and J. Scherer, Contemp. Math., AMS, 502 (2009), 53–76.
- 5[5] A.K. Bousfield and V.K.A.M. Gugenheim, On PL de Rham theory and rational homotopy type, Memoirs of AMS 179 (1976).
- 6[6] M. Chas and D. Sullivan, String topology, preprint (math.GT/0107187).
- 7[7] D. Chataur and L. Menichi, String topology of classifying spaces, J. Reine Angew. Math. 669 (2012), 1–45.
- 8[8] R.L. Cohen and V. Godin, A polarized view of string topology, Topology, geometry and quantum field theory, 127-154, London Math. Soc. Lecture Note Ser., 308, Cambridge Univ. Press, Cambridge, 2004.
