Abstract
On the free loop space of compact symmetric spaces Ziller introduced explicit cycles generating the homology of the free loop space. We use these explicit cycles to compute the string topology coproduct on complex and quaternionic projective space. The behavior of the Goresky-Hingston product for these spaces then follows directly.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The central idea in Morse theory is to study the interaction between the critical sets of a function on a differentiable manifold and the topology of this manifold. While it is usually easy to understand the local homology around a critical level, it is a hard question to determine if and how all of the homology of the manifold can be understood by the individual homologies of the critical sets. In [18] Ziller defines cycles on the free loop space of a compact globally symmetric space which can be used to show that the relative cycles from level homology can be completed in the free loop space. This idea goes back to Bott’s K-cycles, see [3] and [4] as well as Bott’s and Samelson’s work in [6]. Hingston and Oancea use explicit cycles in the path space of complex projective space to compute a Pontryagin-Chas-Sullivan type product in [8]. There they use the name completing manifold for this construction of completing relative cycles. We shall use this terminology here as well. The goal of this article is to use Ziller’s completing manifolds to compute the string topology coproduct for complex and quaternionic projective space.
The string topology coproduct was introduced by Goresky and Hingston in [7]. It was furthermore studied by Hingston and Wahl in [9] where the authors give a definition which is equivalent to the one in [7] and which we shall use in this article. If M is a closed oriented Riemannian manifold of dimension N, the string topology coproduct is a map
where \(\Lambda M\) is the free loop space of M and M is considered as a subspace of \(\Lambda M\) via the identification of a point with the trivial loop at this point. The string topology coproduct has been computed for odd-dimensional spheres in [9]. Furthermore, there are partial computations of the string topology coproduct on Lens spaces, see [14] and [15]. In particular in [15] Naef, Rivera and Wahl show that the string topology coproduct is not a homotopy invariant in general. However, as Hingston and Wahl show in [10] if one only considers homotopy invariances with certain additional conditions then the string topology coproduct is invariant under these maps.
The author of this article used Bott’s K-cycles - which can be understood as completing manifolds - to show that the string topology coproduct is trivial for compact simply connected Lie groups of rank \(r\ge 2\), see [17]. In this present article we use completing manifolds to compute the string topology coproduct on \(M =\mathbb {C}P^n\) and \(M =\mathbb {H}P^n\). We are going to explicitly describe a family of closed manifolds \(\Gamma _k\) and embeddings \(f_k:\Gamma _k\rightarrow \Lambda M\), \(k\in \mathbb {N}\) such that there is a family of homology classes
\( k\in \mathbb {N},i\in \{0,\ldots ,n-1\} \) which generate all of the homology of the pair \((\Lambda M,M)\) with rational coefficients. Here \([\alpha _k^i]\) and \([\beta _k^i]\) are classes in the homology of \(\Gamma _k\). We will then show that the string topology coproduct behaves as follows.
Theorem
(Theorem 7.5) Let \(\mathbb {K}\) be either \(\mathbb {C}\) or \(\mathbb {H}\). The string topology coproduct on \(M = \mathbb {K}P^n\) satisfies
and
We use this result to compute the Goresky-Hingston product on the manifolds \(\mathbb {C}P^n\) and \(\mathbb {H}P^n\), see Theorem 8.1.
This article is organized as follows. In Sect. 2 we introduce the notion of completing manifolds and discuss their relevance in Morse theory. The string topology coproduct is defined in Sect. 3. We study the critical manifolds of the length functional in the free loop space and in the figure eight space in Sect. 4. The completing manifolds are introduced in Sect. 5 and in Sect. 6 we discuss their cohomology ring. The computation of the string topology coproduct is then carried out in Sect. 7. Finally, in Sect. 8 we use the results of the previous sections to compute the Goresky-Hingston product on \(\mathbb {C}P^n\) and \(\mathbb {H}P^n\).
The proof of a central Lemma of Sect. 7 is to be found in Appendix A and in Appendix B we discuss a relative version of the standard cap product which is used in the definition of the string topology coproduct.
2 Completing manifolds and Morse theory
We start by introducing the notion of a completing manifold following the expositions in [8] and [16].
Let X be a Hilbert manifold and let \(f :\mathbb {X}\rightarrow \mathbb {R}\) be a smooth function on X satisfying the Palais-Smale condition (C). Let a be a critical value of f and assume that the set of critical points B at level a is a non-degenerate finite-dimensional critical submanifold of finite index k with orientable negative bundle. Then the behavior of the level homology \(\textrm{H}_{\bullet }(X^{\le a},X^{<a})\) is well known. It holds that
where coefficients can be taken in an arbitrary commutative ring R. In applications the homology of these critical submanifolds may be much easier to understand than the homology of X. Therefore, one would like to find conditions which imply that all of the homology of X is built up by these level homologies.
Definition 2.1
([16], Definition 6.1) Let X be a Hilbert manifold and let f be a smooth real-valued function on X satisfying condition (C). Let a be a critical value of f and assume that B is a non-degenerate connected critical submanifold at level a of index k and of dimension \(l = \textrm{dim}(B)\). Assume that k and l are both finite. A completing manifold for B is a closed, orientable manifold \(\Gamma \) of dimension \(k + l\) with an embedding \(\varphi : \Gamma \rightarrow X^{\le a}\) such that the following holds. There is an l-dimensional submanifold L such that \(\varphi |_L\) maps L homeomorphically onto B and there is a retraction map \(p:\Gamma \rightarrow L\). Furthermore, the embedding \(\varphi \) induces a map of pairs
Remark 2.2
-
(1)
This definition of a completing manifold is actually the one of a strong completing manifold in [16]. Since all cases that we consider in this article satisfy the assumption of this stronger version we limit our attention to this situation.
-
(2)
Note that the above definition can be used for cases where the critical set at level a consists of several connected critical submanifolds. We can then set up a completing manifold for each connected component. We will see this in the case of the figure-eight space in Sect. 4.
Recall that if \(f:M\rightarrow N\) is a map between oriented manifolds then the Gysin map
is given by
Here \(PD_B\) stands Poincaré duality on the manifold B. The Gysin map \(p_!:\textrm{H}_i(L)\rightarrow \textrm{H}_{i+k}(\Gamma )\) is clearly a right inverse to the Gysin map \(s_!:\textrm{H}_i(\Gamma )\rightarrow \textrm{H}_{i-k}(L)\) where \(s:L\hookrightarrow \Gamma \) is the embedding of L into \(\Gamma \) given by the data of the completing manifold. Up to sign, the Gysin map \(s_!\) is equal to the composition
where the first map is induced by the inclusion of pairs and the second is the Thom isomorphism, see [5, Theorem VI.11.3]. This shows that the map \(\textrm{H}_{\bullet }(\Gamma )\rightarrow \textrm{H}_{\bullet }(\Gamma ,\Gamma {\setminus } L)\) is surjective. See also [8, Remark 7]. In particular this observation leads to the following result.
Proposition 2.3
( [16], Lemma 6.2) Let X be a Hilbert manifold, f a smooth real-valued function on X satisfying condition (C) and a be a critical value of f. Assume that the set of critical points at level a is a non-degenerate critical submanifold B of index k. If there is a completing manifold for B then
If the homology of the sublevel set \(X^{\le a}\) is isomorphic to the direct sum
for all critical values a, we say that the function f is a perfect Morse-Bott function. This property clearly holds if all the connecting morphisms in the long exact sequence of the pair \((X^{\le a},X^{<a})\) vanish. If every critical submanifold has a completing manifold, it follows that the function f is perfect. Using completing manifolds Ziller shows in [18] that the energy function on the free loop space of a compact symmetric space is a perfect Morse-Bott function. Note that he uses \(\mathbb {Z}_2\)-coefficients in general, since there are issues with orientability for some spaces. We will describe these completing manifolds for \(M = \mathbb {C}P^n\) and \(M = \mathbb {H}P^n\) in detail in Sect. 4.
There is also an obvious generalization of the above Proposition if we are in the situation of the critical set decomposing into several connected components and each one admitting a completing manifold.
3 The string topology coproduct
In this section we introduce the string topology coproduct. We closely follow the definition of the coproduct given in [9]. Let M be an oriented closed N-dimensional Riemannian manifold. We denote the unit interval by \(I = [0,1]\). Let
be the set of absolutely continuous curves in M such that their derivative is square integrable. See [12, Definition 2.3.1] for the definition of absolutely continuous curves in a manifold. We define the free loop space of M to be
and this is in fact a submanifold of PM. The manifold M itself can be embedded into \(\Lambda M\) via the trivial loops, see [11, Proposition 1.4.6]. On the path space PM we consider the length functional
which is a continuous function on PM, see [12, Theorem 2.3.20]. Moreover, it is smooth on \(PM{\setminus } M\). If we restrict \({\mathcal {L}}\) to the free loop space \(\Lambda M\) it turns out that the non-trivial critical points of \({\mathcal {L}}\) are precisely the closed geodesics in M.
We now fix a commutative ring R and consider homology and cohomology with coefficients in R. Fix an \(\epsilon >0\) smaller than the injectivity radius of M. Then the diagonal \(\Delta M\subseteq M\times M\) has a tubular neighborhood given by
Here, \(\textrm{d}\) is the distance function on M induced by the Riemannian metric. For an \(\epsilon _0> 0\) such that \(\epsilon _0<\epsilon \) we set
As Hingston and Wahl argue, see [9, Section 1.3], the Thom class in \(\textrm{H}^{N}(TM,TM\setminus M)\) induces a Thom class \(\tau _M\in \textrm{H}^{N}(U_M,U_{M,\ge \epsilon _0})\). On the free loop space we consider the space
We set
The set \(U_{\Lambda }\) is an open neighborhood of \(F_{\Lambda }\). Define the evaluation map \(\textrm{ev}_{\Lambda }: \Lambda \times I\rightarrow M\times M\) by
This yields a map of pairs
We define the class
Furthermore, there is a retraction map
We refer to [9, Section 1.5] for its precise definition. Finally, consider the cutting map
which maps a point \((\gamma ,s)\in \Lambda \times I\) with \(\gamma (0)=\gamma (s)\) to the pair of loops \( (\gamma |_{[0,s]},\gamma |_{[s,1]}) \) and reparametrizes both loops such that they are again defined on the unit interval I. Note that the cutting map actually factors through maps
where \(\Lambda M\times _M \Lambda M\) is the figure-eight space
With this preparation we can now define the string topology coproduct. Let [I] be the positively oriented generator of \(\textrm{H}_1(I,\partial I)\) with respect to the standard orientation of the unit interval. In order to shorten notation we shall also write \(\Lambda \) for the free loop space \(\Lambda M\).
Definition 3.1
The string topology coproduct is defined as the map
Remark 3.2
Let M be a closed oriented manifold.
-
(1)
Note that the cap product with the class \(\tau _{\Lambda }\) is a particular relative cap product. This relative cap product is defined in Appendix B where we also study some basic properties. See also [9, Appendix A].
-
(2)
Hingston and Wahl define an algebraic loop coproduct, see [9, Definition 1.6], which is a sign-corrected version of the string topology coproduct. Since we will later only consider even-dimensional manifolds, this sign correction does not matter.
If we use field coefficients, then the string topology coproduct induces a dual product in cohomology which is known as the Goresky-Hingston product.
Definition 3.3
Let \(\mathbb {F}\) be a field and assume that the homology of \(\Lambda M\) is of finite type. Let \(\alpha \in \textrm{H}^i(\Lambda ,M;\mathbb {F})\) and \(\beta \in \textrm{H}^j(\Lambda ,M;\mathbb {F})\) be relative cohomology classes, then the Goresky-Hingston product is defined to be the unique cohomology class in \(\textrm{H}^{i+j+N-1}(\Lambda ,M;\mathbb {F})\) such that
Remark 3.4
Let M be a closed oriented manifold.
-
(1)
The Goresky-Hingston product can also be defined intrinsically, see [7]. However, in this article we shall study properties of this product only via the duality with the string topology coproduct.
-
(2)
As for the string topology coproduct, Hingston and Wahl define a sign-corrected version of the Goresky-Hingston product in [9]. For even-dimensional manifolds, the above product and its sign-corrected version agree. Hence, in this article the distinction will not matter.
Remark 3.5
Since the next four sections will deal with the technical details of the computation of the coproduct we want to sum up the strategy for computing the string topology coproduct on \( M = \mathbb {C}P^n\) or \(M = \mathbb {H}P^n\) at this point.
-
In Sect. 4 we will study the critical manifolds \(\Sigma _k\), \(k\in \mathbb {N}\) in \(\Lambda M\) of the length functional \({\mathcal {L}}:\Lambda M\rightarrow \mathbb {R}\).
-
In Sect. 5 we construct the completing manifolds \(\Gamma _k\).
-
We shall see that the manifold \(\Gamma _k\), \(k\in \mathbb {N}\) can also serve as a completing manifold for critical submanifolds in the figure-eight space \(\Lambda M\times _M\Lambda M\).
-
We determine the cohomology ring of \(\Gamma _k\) in Sect. 6. We can then explicitly compute the Gysin map and obtain a set of generators for the homology \(\textrm{H}_{\bullet }(\Lambda M,M)\).
-
In Sect. 7 we will then replicate all the steps in the definition of the coproduct on the manifold \(\Gamma _k\).
-
We will pull back the class \(\tau _{\Lambda }\) to a class which can be described in terms of the cohomology of \(\Gamma _k\) and compute the cap product with this class.
-
Then one sees that under the cutting map \(\widetilde{\textrm{cut}}:F_{\Lambda }\rightarrow \Lambda M \times _M\Lambda M\) we get homology classes which we can identify with classes coming from the manifold \(\Gamma _k\) seen as a completing manifold in the figure-eight space \(\Lambda M\times _M \Lambda M\).
4 Critical manifolds in the free loop space of projective spaces
In this section we describe the completing manifolds on the loop space of \(\mathbb {C} P^n\) and \(\mathbb {H}P^n\) in detail. We will first study the critical manifolds of \(\Lambda M\) and \(\Lambda M\times _M \Lambda M\) with respect to the length functional \({\mathcal {L}}\). Then we define the completing manifolds \(\Gamma _k\), \(k\in \mathbb {N}\) and show that \(\Gamma _k\) can serve as a completing manifold both in \(\Lambda M\) as well as in \(\Lambda M\times _M \Lambda M\). Finally, we describe the cohomology ring of \(\Gamma _k\) in detail and give a set of explicit generators of \(\textrm{H}_{\bullet }(\Lambda M,M)\).
From now on let \(\mathbb {K}= \mathbb {C}\) or \(\mathbb {K}= \mathbb {H}\). In case \(\mathbb {K}= \mathbb {C}\) we set
and in case \(\mathbb {K}= \mathbb {H}\) we set
We consider the free loop space of \(M = \mathbb {K}P^n\) where we consider M as a symmetric space. The symmetric Riemannian metric on M induces a length functional \({\mathcal {L}}:\Lambda M\rightarrow \mathbb {R}\), see Eq. (3.1) and it is well-known that this is a Morse-Bott function on \(\Lambda M\). Moreover, the index and the nullity of all critical manifolds are finite, see [18]. There is a group G with a closed subgroup K such that \(M = G/K\) and (G, K) is a Riemannian symmetric pair. In particular the action of G is a transitive action by isometries and K is the isotropy group of a fixed basepoint \(p_0\in M\). The group K then acts on M by isometries as well and fixes the basepoint. It is well-known that all geodesics on M are closed and of the same prime length l. Consequently, the critical values of the length functional are positive multiples of l. If \(k\in \mathbb {N}\) then the critical set at level \(a = kl\) is diffeomorphic to the unit tangent bundle SM, i.e.
is a diffemorphism. Moreover, Ziller argues in [18] that the group G acts transitively on \(\Sigma ^a\) and this action equals the canonical action of G on the unit tangent bundle. Let \(\gamma \in \Sigma ^a\) be a closed geodesic at level \(a = kl\) with \(\gamma (0) = p_0\). Then there is an underlying prime geodesic \(\sigma \in \Sigma ^l\) such that \(\gamma = \sigma ^k\). Denote the isotropy group of \(\gamma \) with respect to the action of G on \(\Sigma ^a\) by \(K_{\gamma }\). In particular, this is a closed subgroup of K. Then we have
Furthermore, there is an induced action of the group K on \(\Sigma ^a\) and the orbit of \(\gamma \) is
which is the fiber of SM over \(p_0\). In the following we will always write \(\Sigma ^k\) for the critical submanifold at level kl instead of \(\Sigma ^{kl}\). The index of \(\Sigma ^k\) is
see [7, p. 167] and the nullity is equal to the dimension of \(\Sigma ^k\), i.e.
On the figure-eight space \(\Lambda M\times _M\Lambda M\) we consider the length function
for \((\eta _1,\eta _2)\in \Lambda M\times _M\Lambda M\). The critical manifolds in \(\Lambda M\times _M \Lambda M\) are the sets of the form
and the critical values are again multiples of l. Here the fiber product is taken with respect to the evaluation map at time \(t=0\), i.e.
At level kl the critical set is
Note that by the relative construction of the coproduct the components \(M\times _M \Sigma _k\) and \(\Sigma _k\times _M M\) will not show up in the course of the proof so we will not deal with them. See also Remark 7.6.
Lemma 4.1
The length function \({\mathcal {L}}_2:\Lambda M\times _M \Lambda M\rightarrow [0,\infty )\) satisfies the Palais-Smale condition and is a Morse-Bott function. Moreover, we have
and
for a critical point \((\eta _1,\eta _2)\in \Lambda M\times _M \Lambda M\) of the function \({\mathcal {L}}_2\).
Proof
The function
clearly satisfies the Palais-Smale condition. Since \(\Lambda M \times _M \Lambda M\) is a closed submanifold of \(\Lambda \times \Lambda \) and since \({\mathcal {L}}_2\) is the restriction of \(\widetilde{{\mathcal {L}}}\) it therefore follows that \({\mathcal {L}}_2\) also satisfies the Palais-Smale condition.
In order to show that \({\mathcal {L}}_2\) is a Morse-Bott function, we need to show the following property. Let \((\eta _1,\eta _2)\in \Lambda M\times _M \Lambda M\) be a critical point of \({\mathcal {L}}_2\) and assume that it belong to the critical submanifold of the form \(\Sigma ^a\times _M \Sigma ^b\) where \(\Sigma ^a\) and \(\Sigma ^b\) are critical submanifolds in \(\Lambda M\) with respect to the Morse-Bott function \({\mathcal {L}}\). We need to show that the null space \(T_{(\eta _1,\eta _2)}^0 \Lambda M\times _M \Lambda M\) is equal to the tangent space \(T_{(\eta _1,\eta _2)}\Sigma ^a \times _M \Sigma ^b\subseteq T_{\eta _1,\eta _2} \Lambda M\times _M \Lambda M\). It is clear that we have
Arguing as in [12, Section 2.5] one can see that \(T_{(\eta _1,\eta _2)}^0\Lambda M\times _M \Lambda M\) can be characterized as
Ziller shows in [18, Section 2] that all periodic Jacobi fields along closed geodesics in a compact symmetric space are restrictions of Killing vector fields. Let \(\xi _1,\xi _2\) be periodic Jacobi fields along \(\eta _1\) and \(\eta _2\), respectively. We assume without loss of generality that \(\eta _1(0) =\eta _2(0) = p_0\) is the basepoint. If \(\xi _1(0) = \xi _2(0) = 0\) then both Jacobi fields are restrictions of Killing fields on M which are induced by the action of the group K. Since the action of \(K\times K\) on \(M\times M\) clearly preserves the diagonal \(\Delta M\) it is clear that \((\xi _1,\xi _2)\in T_{(\eta _1,\eta _2)}\Sigma ^a\times _M \Sigma ^b\). If we have \(\xi _1(0) = \xi _2(0) \ne 0\) then let us assume that \(\nabla \xi _1(0) = \nabla \xi _2(0) = 0\). In this case one sees as in [18, page 8] that both Jacobi fields are restrictions of the same Killing field, since the Killing field are determined by the element \(\xi _1(0)\) in this case. Hence these Jacobi fields can be understood as restrictions of a Killing field of the diagonal group action \(G\times M\times M\rightarrow M\times M\). Therefore in this case we also see that \((\xi _1,\xi _2)\in T_{(\eta _1,\eta _2)}\Sigma ^a\times _M \Sigma ^b\). Since the Jacobi fields of the above two types form a basis of \( T_{(\eta _1,\eta _2)}^0\Lambda \times _M \Lambda \) this shows the inclusion
Consequently, \({\mathcal {L}}_2\) is a Morse-Bott function and the claim for the nullity then follows directly from the dimensions of the critical submanifolds. Finally, for the indices, note that the index of a closed geodesic in a compact symmetric space is the same whether we consider it as a critical point in the based loop space or in the free loop space. Therefore, we get
and thus we see that the inequalities are all equalities. This completes the proof. \(\square \)
For \(i,j\ge 1\) such that \(i+j = k\) we have
where \(\textrm{pr}:SM\rightarrow M\) is the canonical projection of the unit sphere bundle of M. Moreover, the projection onto the first factor makes \(SM\times _M SM\) into a sphere bundle over SM which admits a global section
Since later on we shall use the cohomology ring of \(SM\times _M SM\), we prove the following Lemma.
Lemma 4.2
The rational cohomology ring of \(SM\times _M SM\) is isomorphic to
where \(\textrm{deg}({\alpha }) = \lambda + 1\), \(\textrm{deg}({\beta }) = N+\lambda \) and \(\textrm{deg}({\xi }) = N-1\).
Proof
From the Gysin sequence for \(SM\rightarrow M\) we know that
with \(\textrm{deg}(\alpha ) = \lambda +1\) and \(\textrm{deg}(\beta ) = N+\lambda \). The manifold \(SM\times _M SM\) is the total space of a sphere bundle over SM with a global section, therefore it follows from the corresponding Gysin sequence that
with a generator \({\xi }\) of degree \(\textrm{deg}({\xi }) = N-1\). This proves the claim. \(\square \)
For \(i\in \{0,\ldots ,n-1\}\) we denote the homology class dual to the class \({\alpha }^i\) by \([{a}_i]\) and the dual of \({\alpha }^i{\beta }\) by \([{a}_i{b}]\).
Before we turn to the completing manifolds, let us note a property of the conjugate points along the closed geodesics in M. With \(\gamma \) and \(\sigma \) as before, note that there is precisely one conjugate point \(\sigma (\tfrac{1}{2}) = a\) along \(\sigma \), see [2, Proposition 3.35]. Moreover, the index of \(\sigma \) is equal to \(\lambda \), since the index of a closed geodesic on a compact symmetric space is equal to the sum of the multiplicity of the interior conjugate points, see again [2, Proposition 3.35] and [18]. Denote the isotropy group of this point with respect to the action of K by \(K_a\). It is well-known that
see [18, Theorem 4], and that \(\textrm{dim}(K_a) - \textrm{dim}(K_{\gamma })\) is equal to the index of \(\sigma \) both as a geodesic loop in \(\Omega M\) as well as a closed geodesic in \(\Lambda M\).
Lemma 4.3
The homogeneous space \(K_a/K_{\gamma }\) is diffeomorphic to the sphere \(\mathbb {S}^{\lambda }\).
Proof
By [2, Proposition 3.35] the set of first conjugate points along geodesics of the basepoint \(p_0\) is equal to the cut locus of \(p_0\). Moreover, we have
see again [2, Proposition 3.35]. The set of tangent cut points
is well-known to be the round sphere \(\mathbb {S}^{N-1}\). Moreover, the exponential map induces a fiber bundle \(\exp _{p_0}:\mathbb {S}^{N-1}\rightarrow \mathbb {K}P^{n-1}\), see [2, Proposition 3.37]. These are just the well-known fibrations of spheres over projective space, so it follows that the fiber is \(\mathbb {S}^{\lambda }\). See also [2, Theorem 5.29] for details. We can understand these objects as homogeneous spaces, i.e. as we know from Eq. (4.1) we have \(K/K_{\gamma }\cong \mathbb {S}^{N-1}\) and it is clear that \(K/K_a\) is diffeomorphic to the cut locus \(\mathbb {K}P^{n-1}\). Therefore we see that that the fiber \(K_{a}/K_{\gamma }\) of the fiber bundle \(K/K_{\gamma }\rightarrow K/K_a\) is diffeomorphic to \(\mathbb {S}^{\lambda }\). \(\square \)
5 Construction of Ziller’s completing manifolds
In this section we describe Ziller’s completing manifolds, see [18]. We describe the manifolds and the respective embeddings in detail.
Fix a closed geodesic \(\gamma = \sigma ^k\in \Lambda M\) of multiplicity k starting at the basepoint \(p_0\in M\). Here, \(\sigma \) is the underlying prime closed geodesic. Consider the product
with 2k factors in total. Throughout this section, we will follow the convention that the first element in the tuple
is said to be at zero’th position, the second one at first position and so forth. The element in zero’th position plays a special role since it lies in G, therefore we will denote it usually by \(g_0\) while the other elements will be denoted by \(x_i\). There is a right action of the 2k-fold product of \(K_{\gamma }\) on \(W_k\) given by
This action is free and proper and we consider the quotient space
There is an embedding \(f_k :\Gamma _k \rightarrow \Lambda M\) given by
Note that the critical submanifold \(\Sigma _k \cong G/K_{\gamma }\) can be seen as a submanifold of \(\Gamma _k\) via the embedding
We define \(L_k = s_{L,k}(G/K_{\gamma })\) and will identify \(L_k\) and \(G/K_{\gamma }\) in the following possibly without making the identification explicit. There is a submersion
and it is clear that \( p_{L,k}\circ s_{L,k} = {{\,\textrm{id}\,}}_{G/K_{\gamma }} \). Moreover, we see that the composition \(f_k\circ s_{L,k}\) is given by
Hence, the map \(f_k \circ s_{L,k}\) is precisely the diffeomorphism \(G/K_{\gamma }\cong \Sigma ^k\). Note that the only closed geodesics in the image of \(f_k\) are precisely the closed geodesics in the critical submanifold \(\Sigma _k\). All other loops in \(\textrm{im}(f_k)\) are broken geodesics and hence they are not critical points of the energy functional. Therefore, the flow of the energy functional decreases the value of \({\mathcal {L}}\) for all \(\gamma \in \textrm{im}(f_k)\) which are not in \(\Sigma _k\). Consequently, if we compose the embedding \(f_k\) with an arbitrary short gradient flow of the length functional, we obtain a map of pairs
Since
we have shown that \(\Gamma _k\) is a completing manifold for \(\Sigma _k\) if we prove that it is orientable. We will see the orientability later.
Remarkably, \(\Gamma _k\) can also serve as a completing manifold in the Hilbert manifold \( \Lambda M\times _M \Lambda M\). With k and \(\gamma \) as above, fix \(1\le m\le k-1\) and consider the critical point
where \(\sigma \) is the underlying prime geodesic of \(\gamma \). The component of the critical set at level k in \(\Lambda M\times _M \Lambda M\) that contains \((\gamma _1,\gamma _2)\) is \(\Sigma _m \times _M \Sigma _{k-m}\). Note that
see Lemma 4.1. We want to see how \(SM\times _M SM\) can be embedded into \(\Gamma _k\). Consider the right-action of \(K_{\gamma }\times K_{\gamma }\) on \(G\times K\)
given by
for \(g_0\in G,x_{2\,m}\in K\) and \(h_0,h_{2\,m}\in K_{\gamma }\). Like the action \(\chi \) above, this is a free and proper right action and we consider the quotient space \( {\mathcal {V}} = G\times K/ \chi ' \).
Lemma 5.1
The manifold \({\mathcal {V}}\) is diffeomorphic to \(SM\times _M SM\).
Proof
Recall that there is a diffeomorphism \( G/K_{\gamma } \rightarrow SM\) induced by the transitive action of G on SM. In particular we see that
Moreover, let \(E\subseteq G\times G\) be the submanifold
It is clear that there is a submersion \(E\rightarrow SM\times _M SM\) given by \((g_1,g_2) \mapsto ([g_1],[g_2])\). Now, define maps
by setting
and
These maps factor through the submersions \(G\times K\rightarrow {\mathcal {V}}\) and \(E\rightarrow SM\times _M SM\) and therefore induce smooth maps
It is a direct computation that they are inverses of each other. \(\square \)
Observe that there is an embedding
given by
where \(x_{2m}\) appears at the 2m’th position. We denote the image of \({\mathcal {V}}\) under this embedding by V. There is a submersion \(p_{V,m}:\Gamma _k \rightarrow {\mathcal {V}}\) given by
It is clear that \( p_{V,m}\circ s_{V,m} = {{\,\textrm{id}\,}}_{{\mathcal {V}}} \). We define a map \(F_{k,m}:\Gamma _k \rightarrow \Lambda M\times _M \Lambda M\) as follows. Let
where
and
It can be checked directly that \(F_{k,m}\) is a continuous embedding.
Lemma 5.2
The embedding \(F_{k,m} :\Gamma _k\rightarrow \Lambda M\times _M \Lambda M\) maps V homeomorphically onto the critical set \(\Sigma _m \times _M \Sigma _{k-m}\). Moreover, the set of critical points in \(\Lambda M\times _M \Lambda M\) in the image of \(F_{k,m}\) is precisely the set \(\Sigma _m\times _M \Sigma _{k-m}\).
Proof
We show that the diagram
commutes, where the map \(i_m\) is the inclusion of \(SM\times _M SM\) into \(\Lambda M\times _M \Lambda M\) as the critical set \(\Sigma _m\times _M \Sigma _{k-m}\). If we identify \(SM\times _M SM\) with the subspace of \(G/K_{\gamma }\times G/K_{\gamma }\) as in Eq. (5.2) then
With this identification the commutativity of the above diagram can be checked using the respective definitions. The second statement can be checked from the definition of the map \(F_{k,m}\). \(\square \)
If we compose \(F_{k,m}\) with an arbitrarily short flow of the gradient flow of the length functional \({\mathcal {L}}_2\) on \(\Lambda M\times _M \Lambda M\) we obtain a map of pairs
Furthermore, we have
so if we show that \(\Gamma _k\) is orientable we see that \(\Gamma _k\) is a completing manifold for \( \Sigma _m\times _M \Sigma _{k-m}\).
Note that in \(\Lambda M\times _M \Lambda M\) we can also use the fiber product \(\Gamma _m\times _M \Gamma _{k-m}\) as a completing manifold where the fiber product is taken with respect to the evaluation map
for \(1\le l \le k\). Then one takes the map
as an embedding of \(\Gamma _m\times _M \Gamma _{k-m}\) and can check that this is again a completing manifold. To conclude this section we want to show that the completing manifolds \(\Gamma _k\) and \(\Gamma _m\times _M \Gamma _{k-m}\) are equivalent. Define a map \(\Phi _m:\Gamma _k\rightarrow \Gamma _m\times _M \Gamma _{k-m}\) by
for \([g_0,x_1,\ldots ,x_{2k-1}]\in \Gamma _k\). Note that this is a well-defined and smooth map since it descends from an equivariant map \(W_k\rightarrow W_m\times W_{k-m}\). Similarly, we define \(\Psi _m:\Gamma _m\times _M \Gamma _{k-m}\rightarrow \Gamma _k\) by
for \([g_0,x_1,\ldots ,x_{2\,m-1}]\in \Gamma _m, [g_{2\,m},\ldots ,x_{2k-1}]\in \Gamma _{k-m}\) with \(g_0^{-1}g_{2\,m}\in K\). One checks again that \(\Psi _m\) is well-defined and smooth.
Lemma 5.3
The completing manifolds \(\Gamma _k\) and \(\Gamma _m\times _M \Gamma _{k-m}\) for the critical submanifold \(\Sigma _m\times _M \Sigma _{k-m}\) are equivalent in the sense that the diagrams
and
commute. Here, \(p_{L,m}:\Gamma _m\rightarrow SM\) and \(p_{L,k-m}:\Gamma _{k-m}\rightarrow SM\) are the submersions which are used for the completing manifold structure in the free loop space, see Eq. (5.1). In particular \(\Phi \) is a diffeomorphism.
Proof
This can be checked directly by unwinding the definitions. \(\square \)
6 Cohomology of the completing manifolds
The manifold \(\Gamma _k\) is closely related to the K-cycles in the sense of Bott and Samelson, see [6]. In this section we shall describe its homology and cohomology following the discussions of the cohomology of the K-cycles by Bott and Samelson [6] and by Araki [1]. Recall that \(\Gamma _k\) is defined as the quotient of \(W = (G\times K_a)\times (K\times K_a)^{k-1}\) modulo the action of \(K_{\gamma }^{2k}\) via
If we have any product of subgroups \(K_i\subseteq G\), \(i\in \{1,\ldots ,m\}\) such that \(K_{\gamma }\subseteq K_i\) for all \(i\in \{1,\ldots ,m\}\) there is an action of \((K_{\gamma })^m\) on this product given by
for \((x_1,\ldots ,x_m)\in K_1\times \ldots K_m\) and \((h_1,\ldots ,h_m)\in (K_{\gamma })^m\). We denote the quotient by
Note that we might have that the first group \(K_1\) is the group G. All other groups will be subgroups of K.
Lemma 6.1
Let \(0\le i_1< i_2< \ldots < i_m \le 2k-1\) be integers and set \(K_{0} = G\), \(K_j = K\) for j even, \(j\ge 2\) and \(K_j = K_a\) for j odd. Then the manifold
can be embedded into \(\Gamma _k\) via a map \(s_{i_1\ldots i_m}:\Gamma ^{i_1\ldots i_m}\hookrightarrow \Gamma _k\).
Proof
We define a map \(\sigma _{i_1\ldots i_m}:K_{i_1}\times K_{i_2}\times \ldots K_{i_m}\rightarrow W_k\) by
where \(x_{i_j}\) is at position \(i_j\) for each \(j\in \{1,\ldots ,m\}\). If
we have
Hence, \(\sigma _{i_1\ldots i_m}\) is equivariant with respect to the action of \(K_{\gamma }^m\) on \(K_{i_1}\times \ldots \times K_{i_m}\) and the action \(\chi \) of \(K_{\gamma }^{2k}\) on \(W_k\). Therefore this yields a smooth map
It is easy to check that this is an embedding. \(\square \)
Let \(P = (i_1,i_2,\ldots ,i_m)\) with non-negative integers \(0\le i_1< i_2< \ldots < i_m \le 2k-1\). Then we say that \(\Gamma ^P = \Gamma ^{i_1\ldots i_m}\) is a sub-K-cycle of \(\Gamma _k\). From now on we will always identify a sub-K-cycle \(\Gamma ^P\) with its image in \(\Gamma _k\) under the embeddings constructed in Lemma 6.1. The manifold \({\mathcal {V}} \cong V\) which we defined above is an example of a sub-K-cycle. If \(P = (0,1,\ldots ,m)\) for some \(m\le 2k-2\), then there are submersions
given by
Hence, we get a chain of submersions
As shown in [1, Theorem 2.4] all these submersions are fiber bundles. Moreover, each fiber bundle has a section which is given by the map
Definition 6.2
Let
be a sequence of manifolds with each \(\pi _i:E_i\rightarrow E_{i+1}\) being a sphere bundle. Then we say that \(E_0\) is an iterated sphere bundle over B.
Proposition 6.3
The K-cycle \(\Gamma _k\) is an iterated sphere bundle via the maps
Proof
The fibers of the iterated fiber bundle are either \(K/K_{\gamma }\) of \(K_a/K_{\gamma }\). We know that \(K/K_{\gamma } \cong \mathbb {S}^{N-1}\) and \(K_a/K_{\gamma } \cong \mathbb {S}^{\lambda }\), see Lemma 4.3. Hence, \(\Gamma _k\) is an iterated sphere bundle over \(SM\cong G/K_{\gamma }\). \(\square \)
In the situation of an iterated sphere bundle \(E_0\rightarrow E_1\rightarrow \ldots \rightarrow E_m = B\), one can compute the cohomology of the total space \(E_0\) by considering the Gysin sequences at each step. In the following we consider homology and cohomology with rational coefficients. We determine the cohomology ring of \(\Gamma _k\). Note that throughout the article we have fixed an orientation on M. In particular this induces an orientation on the \(\epsilon \)-sphere around the basepoint \(p_0\). We shall denote the generator of its fundamental class by \([\mathbb {S}^{N-1}_{\epsilon }]\). Furthermore, if \(t\in I\), define \(\textrm{ev}_t:\Lambda M \rightarrow M\) to be the map \(\textrm{ev}_t(\gamma ) = \gamma (t)\) for \(\gamma \in \Lambda M\).
Proposition 6.4
The cohomology ring of \(\Gamma _k\) is isomorphic to
where \(\textrm{deg}(\alpha ) = \lambda +1\), \(\textrm{deg}(\beta ) = N+\lambda \), \(\textrm{deg}(\xi _{2i+1}) = \lambda \) for \(i=0,\ldots ,k-1\) and \(\textrm{deg}(\xi _{2i}) = N-1\) for \(i=1,\ldots ,k-1\). In particular \(\Gamma _k\) is orientable.
Furthermore, the class \(\xi _{2i}\) and the dual class \([x_{2i}]\) in homology for \(i\in \{1,\ldots ,k-1\}\) can be chosen such that the following holds. For \(i\in \{1,\ldots ,k-1\}\) one can choose a fundamental class \([\mathbb {S}^{N-1}]\) of \(\mathbb {S}^{N-1}\) such that \([x_{2i}] = (s_{2i})_*[\mathbb {S}^{N-1}]\) and such that
where \(\textrm{ev}_{t_i}|_{f_k(\Gamma _k)}\) is understood as a map \(\textrm{ev}_{t_i}|_{f_k(\Gamma _k)}:f_k(\Gamma _k) \rightarrow B_{p_0}{\setminus }\{p_0\}\) for \(t_i\in (\tfrac{i}{k}, \tfrac{i}{k} + \delta ) \) for some small \(\delta > 0\) and where \(s_{2i}:\mathbb {S}^{N-1}\rightarrow \Gamma _k\) is the embedding constructed in Lemma 6.1.
Proof
As we have seen before it follows from the Gysin sequence of \(SM\rightarrow M\) that
with \(\textrm{deg}(\alpha ) = \lambda +1\) and \(\textrm{deg}(\beta ) = N+\lambda \). One can now determine the cohomology ring of \(\Gamma _k\) by induction along the steps of the iterated sphere bundle. Note that for a k-sphere bundle \(E\rightarrow B\) with k odd and which admits a global section one has
where \(\textrm{deg}(\xi ) = k\). Thus one iteratively obtains the cohomology ring. For the orientations we note that at each step in the iterated sphere bundle we are free to choose the orientation of the new generator \(\xi _i\). As Araki argues using Gysin sequences, see [1, Section 2], the homology class dual to the class \(\xi _l\) for \(l\in \{1,\ldots ,2k-1\}\) can be described as follows. Let \(s_l:K_l/K_{\gamma }\hookrightarrow \Gamma _k\) be the embedding as in Lemma 6.1. Then if we consider an orientation class \([K_l/K_{\gamma }]\in \textrm{H}_{\bullet }(K/K_{\gamma })\) we have
If \(l=2i\) we have \(K_{2i}/K_{\gamma }\cong \mathbb {S}^{N-1}\). Let \(t_i\in (\tfrac{i}{k}\tfrac{i}{k}+\delta )\) with \(\delta >0\) small then it can be seen directly that the map
maps \(\mathbb {S}^{N-1}\) homeomorphically onto \(\mathbb {S}^{N-1}_{\epsilon '}\) for some small \(\epsilon '>0\). Note that this property holds precisely because all geodesics in M are closed and of the same prime length.
We can now choose an orientation class \([\mathbb {S}^{N-1}]\) and correspondingly the class \(\xi _{2i}\) and its dual \([x_{2i}]\) such that
where we consider \(\textrm{ev}_{t_i}\circ f_k\circ s_{2i}\) as a map \(\mathbb {S}^{N-1} \rightarrow \mathbb {S}^{N-1}_{\epsilon '}\). \(\square \)
In the previous proposition we saw that the manifolds \(\Gamma _k\), \(k\in \mathbb {N}\) are orientable. This completes the proof that the \(\Gamma _k\) are in fact completing manifolds. We sum this up in the next corollary.
Corollary 6.5
Let \(M = \mathbb {K}P^n\) be a complex or quaternionic projective space and let \(k,m\in \mathbb {N}\) with \(k> m\).
-
(1)
The manifold \(\Gamma _k\) with the embedding \(f_k\) is a completing manifold for the critical set \(\Sigma _k\) in \(\Lambda M\).
-
(2)
The manifold \(\Gamma _k\) with the embedding \(F_{k,m}\) is a completing manifold for the critical set \(\Sigma _m\times _M \Sigma _{k-m}\) in \(\Lambda M\times _M \Lambda M\).
Note that the Corollary implies the perfectness of the Morse-Bott function \({\mathcal {L}}\) on \(\Lambda M\). This is one of the main results in [18].
We now make the following notation convention for the generators in homology. As shown above the classes
generate the cohomology of \(\Gamma _k\) additively. If \(l_{i_1},\ldots , l_{i_p} = 1\) and \(l_i = 0\) otherwise then we denote the dual of \( \alpha ^i \beta ^j \xi _1^{l_1} \ldots \xi _{2k-1}^{l_{2k-1}}\) in homology by
Recall that at level kl the level homology \(\textrm{H}_{\bullet }(\Lambda M^{\le kl},\Lambda M^{<kl})\) is isomorphic to the homology of the critical submanifold \(L_k \cong SM\). Moreover, as we have seen in Sect. 2 the map
is injective, where
Hence, we obtain the generators of \(\textrm{H}_{\bullet }(\Lambda M)\) which come from level k by considering the map \((p_{L,k})_!\). Recall that \(L_k \cong SM\) and as we have seen its cohomology ring is
with \(\textrm{deg}({\alpha }) = \lambda + 1\) and \(\textrm{deg}({\beta }) = N + \lambda \). In homology we choose dual generators and denote them by \([{a}_0],\ldots , [{a}_{n-1}]\in \textrm{H}_{\bullet }(SM;\mathbb {Q})\) with \(\textrm{deg}([{a_i}]) = (\lambda +1) i\) and \([{a}_0{b}],\ldots ,[{a}_{n-1}{b}] \in \textrm{H}_{\bullet }(SM;\mathbb {Q})\) with \(\textrm{deg}([{a_i}{b}]) = N +\lambda + i(\lambda + 1)\). In particular, we can choose these generators such that under the embedding
we have
and in cohomology
where \(p_{L,k}:\Gamma _k\rightarrow L_k\) is the retraction. The above formulas also justify the misuse of notation, since e.g. the cohomology class \(\alpha \) has a double meaning, but as \((p_{L,k})_*:\textrm{H}^{\bullet }(L_k)\rightarrow \textrm{H}^{\bullet }(\Gamma _k)\) is injective, it is reasonable to identify \(\alpha \in \textrm{H}^{\bullet }(L_k)\) with its image under this injection. We choose the orientation of \(L_k\) by choosing the class \([{a}_{n-1}{b}]\in \textrm{H}_{2N-1}(L_k)\) as fundamental class for all \(k\in \mathbb {N}\) and as fundamental class for \(\Gamma _k\) we choose the class
Recall that the Gysin map \((p_{L,k})_!:\textrm{H}_{\bullet }(L_k)\rightarrow \textrm{H}_{\bullet +\lambda }(\Gamma _k)\) is defined as the composition
Using Proposition 6.4 we can now compute the map \((p_{L,k})_!\).
Lemma 6.6
With the above notation the following equations hold
and
Proof
We just consider the first case, the second case is analogous. The Poincaré dual of \([{a}_i]\in \textrm{H}_{\bullet }(L_k)\) is the cohomology class \({\alpha }^{n-1-i}{\beta }\in \textrm{H}^{\bullet }(L_k)\). By Eq. (6.2) we have
We now need to compute the Poincaré dual \(X = PD_{\Gamma _k}(\alpha ^{n-1-i}\beta )\) of this latter class. We compute the Kronecker pairing
Now, since \(\alpha \) is of even degree and \(\beta \) is of odd degree we get by graded commutativity
and therefore
It follows that \(X = - [a_i b x_{1\ldots 2k-1}]\). \(\square \)
We define classes
and
for \(k\in \mathbb {N}\) and \(i\in \{0,\ldots ,n-1\}\). Note that the degree of all \(A^i_k\) is odd, while the degree of all \(B_k^i\) is even. The following is then clear by the construction of the completing manifolds.
Proposition 6.7
The homology of the free loop space relative to the constant loops is generated by the image of the set
in the relative homology \(\textrm{H}_{\bullet }(\Lambda M,M)\).
7 Computation of the coproduct
In this section we explicitly compute the string topology coproduct. As we have seen in the previous section we can explicitly describe a set of generators of the homology \(\textrm{H}_{\bullet }(\Lambda M, M)\) via the completing manifolds \(\Gamma _k\), \(k\in \mathbb {N}\). We therefore express all the steps in the definition of the coproduct in intrinsic terms of the manifolds \(\Gamma _k\).
First, we want to pull back the class \(\tau _{\Lambda }\in \textrm{H}^N(U_{\Lambda },U_{\Lambda ,\ge \epsilon _0})\) via \(f_k\) to a class which can be described in terms of the cohomology of \(\Gamma _k\). We consider the preimage \((f_k,{{\,\textrm{id}\,}}_I)^{-1}(U_{\Lambda })\subseteq \Gamma _k\times I\). This set can be described explicitly as follows. Since all loops in the image \(f_k(\Gamma _k)\) are broken geodesics, there is a small \(\delta >0\) such that
This is because every other conjugate point on a closed geodesic starting at the basepoint is the basepoint itself. Clearly, \(\delta >0\) is so small that the open intervals are disjoint. Similarly, there is a \(\delta _0>0\) with \(\delta _0<\delta \) such that
To make the bookkeeping easier, let us define
and
for \(m = 1,\ldots ,k-1\). We set
then we have
The pairs
have trivial homology for obvious reasons. For \(m\in \{1,\ldots ,k-1\}\) we have
We choose positively oriented generators \([I_m]\) of \(\textrm{H}_1(I_m,J_m)\) and dual cohomology classes
We now want express the cohomology class \(\tau _k = (f_k,{{\,\textrm{id}\,}}_I)^{*}\tau _{\Lambda } \in \textrm{H}^{N}(U_{\Gamma _k},U_{\Gamma _k,\ge \epsilon _0})\) in terms of the cohomology of \(\Gamma _k\). Recall that the cap product which we use in the definition of the string topology coproduct is a particular relative version of the ordinary cap product. We refer to Appendix B for details, see also [9, Appendix A].
Lemma 7.1
The pullback of the class \(\tau _{\Lambda }\in \textrm{H}^{N}(U_{\Lambda },U_{\Lambda ,\ge \epsilon _0})\) under the map
is given by
This key lemma is proved in Appendix A. In the following let Y be one of the classes
or
for \(k\in \mathbb {N}\), \(i\in \{0,\ldots ,n-1\}\). We write
where \(X\in \textrm{H}_{\bullet }(\Gamma _k)\) is the respective homology class in \(\Gamma _k\). In order to compute \(\vee Y\) we need to consider
by naturality of the cap product, see Proposition B.1. As seen in Lemma 7.1, we obtain
By the compatibility of the cross and the cap product, see Proposition B.2, we have
By the construction of the relative cap product we see that
where \([t_m]\) is a generator of \(\textrm{H}_0(I_m)\), see Example B.3.
Lemma 7.2
The relative cap product yields
and
Proof
Using Proposition 6.4 we have
and
and this yields the claim. \(\square \)
For convenience of notation we shall write
and plug in the respective classes later using the above Lemma. Then we have
Fix an \(m\in \{1,\ldots ,k-1\}\). To finish the computation of \(\vee Y\), we need to determine the effect of the retraction map \(\textrm{R}_{GH}\) and of the cutting map on \(X_m\times [t_m] \). First note that the diagram
commutes, where \(\sigma _m:I_m\rightarrow \{\tfrac{2m}{2k}\}\) is the constant map. To complete the computation, we need to characterize
A direct computation shows that the map
is equal to the map \(F_{k,m}:\Gamma _k \rightarrow \Lambda M\times _M \Lambda M\), which was defined in Eq. (5.3), up to the obvious identification \(\Gamma _k\cong \Gamma _k\times \{\tfrac{2m}{2k}\}\). This shows that
Here and in the following \([\tfrac{2m}{2k}]\in \textrm{H}_0(\{\tfrac{2m}{2k}\})\) denotes the canonical generator. We now want to express the class \((\iota \circ F_{k,m})_* X_m \in \textrm{H}_{\bullet }(\Lambda M\times \Lambda M)\) as a product of the generators \(A_k^i\) and \(B_k^i\). Here, \(\iota :\Lambda M\times _M \Lambda M\hookrightarrow \Lambda M\times \Lambda M\) is the inclusion of the figure-eight space. In order to do so we need the following lemma.
Lemma 7.3
The following diagram commutes
where the vertical arrows in the lower row are induced by the respective inclusions.
Proof
The commutativity of all subdiagrams is clear apart from the lower left square. In order to show that the lower left square commutes, we first consider the diagram
where \(\textrm{Th}:\textrm{H}_i(\Gamma _m\times \Gamma _{k-m})\) is the map
Here, U is a tubular neighborhood of \(SM\times SM\) in \(\Gamma _m\times \Gamma _{k-m}\) and
is the Thom isomorphism. The map \(\textrm{Th}'\) is defined analogously. In particular, we note that the normal bundle of \(SM\times _M SM \hookrightarrow \Gamma _m\times _M \Gamma _{k-m}\) is the pullback of the normal bundle of \(SM\times SM\hookrightarrow \Gamma _m\times \Gamma _{k-m}\) along the inclusion \(SM \times _M SM \hookrightarrow SM\times SM\). Therefore the above diagram commutes. Now, note that the map \(\textrm{Th}\) agrees with the Gysin map \((s_m,s_{k-m})_!\). This follows from [5, Theorem VI.11.3]. Note that in this reference it is only claimed that the two maps agree up to sign, but one can determine the sign from the proof. Applied to our present case the sign is \((-1)^{c (\lambda _k - (N-1))}\) for some integer \(c\in \mathbb {Z}\). Recall that the index \(\lambda _k\) is odd for all \(k\in \mathbb {N}\). Consequently, the codimension
is even for all \(k\in \mathbb {N}\), so we see that the sign \((-1)^{c (\lambda _k - (N-1))}\) is even and thus the maps \(\textrm{Th}\) and \((s_{L,m},s_{L,k-m})_!\) agree. Now, let \(Z\in \textrm{H}_{\bullet }(SM\times _M SM)\). Then we have
Moreover, let us denote the inclusion \(SM\times _M SM\hookrightarrow SM\times SM\) by \(i_1\) and denote the inclusion \(\Gamma _m\times _M \Gamma _{k-m}\hookrightarrow \Gamma _m\times \Gamma _{k-m}\) by \(i_2\). Then we get
and this shows the commutativity of the lower left square. \(\square \)
Recall that \(\Gamma _k\) together with the embedding \(F_{k,m}\) is a completing manifold for the critical set \(\Sigma _m\times _M \Sigma _{k-m}\cong V\). In Lemma 4.2 we determined the cohomology ring of V. We make the following choice of orientation. The generator \(\xi \in \textrm{H}^{N-1}(V)\) is chosen in such a way that it pulls back to the generator \(\xi _{2m}\) under the map \(p_{V,m}\). Note that by the choice of orientations for the classes \(\xi _{2i}\), \(i\in \{1,\ldots ,k-1\}\) in Proposition 6.4 this is a consistent choice. We choose the orientation for V such that \(\alpha ^{n-1}\beta \xi \) is a fundamental cohomology class.
Lemma 7.4
Using the notation for the generators of \(\textrm{H}_{\bullet }(SM\times _M SM)\) as in the paragraph following Lemma 4.2 we have
and
Proof
We only consider the first case, the second one is analogous. The Poincaré dual of \([{a}_i]\) is the class \(\alpha ^{n-1-i}\beta \xi \in \textrm{H}_{\bullet }(V)\). Moreover, by our orientation convention, the pullback of this cohomology class is
Now we need to compute the Poincaré dual of this class in \(\Gamma _{k}\), i.e.
By using the graded commutativity of the cup product, we see that
Therefore we see that
\(\square \)
By the above Lemma we see that we can write every class which shows up in Lemma 7.2 as a class in the image of \((p_{V,m})_!\). Thus, the commutative diagram in Lemma 7.3 enables us to express the classes in the coproduct through the generators \(A_k^i\) and \(B_k^i\). Thus we need to understand the effect of the map
on the classes \([{a}_i]\) and \([{a}_i {b}]\). Note that these classes can be described as push-forward of the classes \([{a_i}]\) and \([{a_i}{b}]\) in \(\textrm{H}_{\bullet }(SM)\) under the embedding \(SM\hookrightarrow V\) given by
see also Lemma 4.2. The composition
is just the diagonal map \(d:SM\rightarrow SM\times SM\). Hence, we obtain
where \(d:SM\rightarrow SM\times SM\) is the diagonal map. Via the cup ring of SM, it is easy to figure out the effect of the diagonal map in homology. We have
We obtain the following final result.
Theorem 7.5
Let \(\mathbb {K}\) be \(\mathbb {C}\) or \(\mathbb {H}\) and consider \(M = \mathbb {K}P^n\). The string topology coproduct on M behaves as follows. We have
and
Proof
If \(Y = A_{k}^i\), we have
By Lemmas 7.1 and 7.2, we have
Then by Lemmas 7.3 and 7.4 we see that
Hence we are left with computing the Gysin map of the retraction \((p_{L,m},p_{L,k-m})\). By [5, Proposition VI.14.3] we see that
for homology classes \(x,y\in \textrm{H}_{\bullet }(SM)\). Noting that
is odd for all \(m\in \mathbb {N}\) and that \(\textrm{dim}(\Gamma _{k-m})\) is even for all \(m,k\in \mathbb {N}\), \(m<k\) we can figure out the sign. The computation of \(\vee B_k^i\) is analogous. \(\square \)
Remark 7.6
Note at this point that it is sufficient to consider the critical manifolds with respect to the length function \({\mathcal {L}}_2\) of the form
There are two other connected components at level kl, namely \(M\times _M \Sigma _k\) and \(\Sigma _k\times M\). However, as we saw now the corresponding homology classes in \(\textrm{H}_{\bullet }(\Lambda M\times _M\Lambda M)\) do not show up in the process of computing the coproduct, therefore we did not consider these components.
8 The cohomology product
In this section we briefly describe the Goresky-Hingston product on \(\mathbb {K}P^n\). We take cohomology with rational coefficients. Define classes
as follows. For \(k\in \mathbb {N}\) and \(i\in \{0,\ldots ,n-1\}\) the class \(\sigma _k^i\) is defined to be the dual of \(A_k^i\) and the class \(\mu _k^i\) is defined to be the dual of \(B_k^i\). Consequently,
In particular, note that \(\textrm{deg}(\sigma _k^i)\) is odd and \(\textrm{deg}(\mu _k^i)\) is even for all \(k\in \mathbb {N}\), \(i\in \{0,\ldots ,n-1\}\). It is clear that the set
generates the cohomology \(\textrm{H}^{\bullet }(\Lambda M,M)\) additively. Using Theorem 7.5 we see that
and
for \(k,l\in \mathbb {N}\) and \(i,j\in \{0,\ldots ,n-1\}\). Moreover, we have
We want to mention at this point that the Goresky-Hingston product satisfies the following commutativity property. If \(x\in \textrm{H}^i(\Lambda M,M)\) and \(y\in \textrm{H}^j(\Lambda M,M)\), then
see [9, Theorem 2.14]. In particular, we get
which is consistent with the signs in Theorem 7.5.
Theorem 8.1
Let \(\mathbb {K}\) be \(\mathbb {C}\) or \(\mathbb {H}\) and consider the projective space \(M = \mathbb {K}P^n\). The Goresky-Hingston ring is multiplicatively generated by the classes
whose products are subject to the above relations. In particular, the ring is finitely generated and the element \(\sigma _1^0\) is non-nilpotent.
Remark 8.2
The existence of a non-nilpotent element is already shown in [7, Theorem 14.2]. The fact that the Goresky-Hingston ring is finitely generated is analogous to behaviour of the Goresky-Hingston product on spheres, see [7].
Data Availibility
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
Araki, S.: On bott-samelson \( k \)-cycles associated with symmetric spaces. J. Math. 13(2), 87–133 (1962)
Besse, A.L.: Manifolds all of whose geodesics are closed. Springer, Springer Science & Business Media (1978)
Bott, R.: An application of the Morse theory to the topology of Lie groups. Bull. Soc. Math. France 84, 251–281 (1956)
Bott, R.: The space of loops on a lie group. Michigan Math. J. 5(1), 35–61 (1958)
Bredon, G.E.: Topology and geometry, Graduate Texts in Mathematics. Springer, Springer Science & Business Media (2013)
Bott, R., Samelson, H.: Applications of the theory of Morse to symmetric spaces. Am. J. Math. 80(4), 964–1029 (1958)
Goresky, M., Hingston, N.: Loop products and closed geodesics. Duke Math. J. 150(1), 117–209 (2009)
Hingston, N, Oancea, A: The space of paths in complex projective space with real boundary conditions, arXiv preprint arXiv:1311.7292 (2013)
Hingston, N, Wahl, N: Product and coproduct in string topology, revised version 2021, arXiv preprint arXiv:1709.06839 (2017)
Hingston, N, Wahl, N: Homotopy invariance of the string topology coproduct, arXiv preprint arXiv:1908.03857 (2019)
Klingenberg, W.: Lectures on closed geodesics, Grundlehren der Mathematischen Wissenschaften, vol. 230. Springer-Verlag, Berlin-New York (1978)
Klingenberg, W.: Riemannian geometry, 2nd edn. De Gruyter Studies in Mathematics, Walter de Gruyter, Berlin (1995)
Kupper, P, Stegemeyer, M: On the string topology of symmetric spaces of higher rank, arXiv preprint arXiv:2212.09350 (2022)
Naef, F: The string coproduct” knows” Reidemeister/Whitehead torsion, arXiv preprint arXiv:2106.11307 (2021)
Naef, F, Rivera, M, Wahl, N: String topology in three flavours, arXiv preprint arXiv:2203.02429 (2022)
Oancea, A: Morse theory, closed geodesics and the homology of free loop spaces, Free loop spaces in geometry and topology, pp. 67–109 (2015)
Stegemeyer, M.: On the string topology coproduct for Lie groups. Homol. Homotopy Appl. 24(2), 327–345 (2022)
Ziller, W.: The free loop space of globally symmetric spaces. Invent. Math. 41, 1–22 (1977)
Acknowledgements
The author thanks the anonymous referee for their careful and thoughtful reading of our manuscript. Their suggestions highly improved the exposition of this article.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Proof of Lemma 7.1
In this appendix we prove Lemma 7.1. We will use the notation established throughout the paper. We shall show that the pullback of the class \(\tau _{\Lambda }\in \textrm{H}^{N}(U_{\Lambda },U_{\Lambda ,\ge \epsilon _0})\) under the map
is given by
First, let us consider the generators of \(\textrm{H}^{N-1}(\Gamma _k)\). The classes
are generators of \(\textrm{H}^{N-1}(\Gamma _k)\), so are the classes
where necessarily
One can check that these are the only generators. Hence, we have
where \(\lambda _{j,m}\in \mathbb {Q}\) and \(\rho _{m,i_1,\ldots ,i_l,s}\in \mathbb {Q}\) are coefficients and where the sum in the second term is taken over those combinations of \(m,i_1,\ldots ,i_l\) such that
We want to show that
and that all coefficients \(\rho _{m,i_1\ldots i_l,s} = 0\).
Claim
The coefficients \(\lambda _{j,m}\in \mathbb {Q}\) satisfy
Proof
Fix \(j,m\in \{1,\ldots ,k-1\}\). We have
Recall that \(\tau _{\Lambda } = \textrm{ev}_{\Lambda }^*\tau _M\). Hence, we get
Thus we consider
Recall that the class \([x_{2j}]\) can be described as follows. Let \(s_{2j}:K/K_{\gamma }\hookrightarrow \Gamma _k\) be the embedding as constructed in Lemma 6.1, i.e.
Here, the x appears at position 2j. Then \([x_{2j}] = (s_{2j})_*[\mathbb {S}^{N-1}] \), where \([\mathbb {S}^{N-1}]\) is the fundamental class of \(K/K_{\gamma } \cong \mathbb {S}^{N-1}\). Let \([C]\in \textrm{H}_{N-1}(U_M,U_{M,\ge \epsilon _0} )\) be the class dual to \(\tau _M\). We want to show that
Set
Note that if
for \(q\in B_{p_0}\) is the inclusion of the fiber of the normal tubular neighborhood then we have
is a positively oriented generator. We define the map
Note that this factors through maps
Define \(\textrm{ev}:\Lambda \times I\rightarrow M\) by \(\textrm{ev}(\gamma ,s) = \gamma (s)\). In order to show that
it thus suffices to shows that
where \((g_m)' = \textrm{ev}\circ (f_k,{{\,\textrm{id}\,}}_{I_m}) \). We have that \(h_m' = g_m'\circ (s_{2j},{{\,\textrm{id}\,}}_{I_m})\). Recall that the orbit of a point \(q\in B_{p_0}\) under K is the distance-sphere around \(p_0\) of radius \(\textrm{d}(p_0,q)\). We compute the map \(h_m'\) explicitly. Let \(x\in K\). In case that \(m < j\), we have
in case \(m = j\), we get
and in case \(m > j\), we obtain
Now, consider the following commutative diagram
where the maps \(\partial \) are the respective connecting homomoprhisms. The middle square is
with \(h_{m,j}^1\) and \(h_{m,j}^2\) the maps induced by \((h_m')_*\). In case \(m < j\), it is clear that \(h_{m,j}^2\) is the trivial map, so \(h_{m,j}^1 = 0\). This can be seen from Eq. (A.3) since the map \(h_m'\) is homotopic to a locally constant map. If \(m > j\), we have by the orientation convention of Proposition 6.4 that \(h_{m,j}^2(x,y) = x+ y\), so again \(h_{m,j}^1\) is trivial. Finally, for \(m = j\), we see that \(h_{m,m}^2 (x,y) = y\), so we get
Here we use again the orientation convention established in Proposition 6.4. This shows that
The claim then follows from Eqs. (A.1) and (A.2). \(\square \)
Claim
All coefficients \(\rho _{m,i_1\ldots i_l,s}\) vanish.
Proof
Fix \(m\in \{0,\ldots ,n-1\}\) and odd integers \(i_1,\ldots ,i_l\) with \(1\le i_1< \ldots <i_l\le 2k-1\) such that
We also fix \(s\in \{1,\ldots ,k-1\}\). We begin by describing a dual class to the cohomology class
Let \(\kappa = m(\lambda + 1) \). Recall that \(\pi _L :L_k\cong SM\rightarrow M\) is the unit sphere bundle of the underlying manifold. Since \(\kappa < N\) we see from the Gysin sequence of this sphere bundle that there is an isomorphism
We know that \(\textrm{H}_{\kappa }(M)\cong \mathbb {Q}\). Note that a generator of \(\textrm{H}_{\kappa }(M)\) can be described as follows. It is well-known that there is an inclusion of \(\mathbb {K}P^m\) into \(M = \mathbb {K}P^n\) which maps a fundamental class of \(\mathbb {K}P^m\) to a generator of \(\textrm{H}_{\kappa }(M)\). In particular we can choose this inclusion in such a way that the basepoint \(p_0\in M\) is also the basepoint of \(\mathbb {K}P^m\). Denote this inclusion by \(j:\mathbb {K}P^m \rightarrow \mathbb {K}P^n\). We pull back the unit sphere bundle along j. Since the dimension of the fiber of this bundle is greater than the dimension of the base the Euler class vanishes and hence this bundle has a section \(s:\mathbb {K}P^m\rightarrow j^*SM\). We compose this with the canonical map \(j^*SM \rightarrow SM\) to get a section \(\sigma :\mathbb {K}P^m\rightarrow SM\). It is clear that we have
so we see that we obtain an isomorphism
Hence, we can represent a generator in degree \(\kappa \) by the image of a fundamental class of \(\mathbb {K}P^m\) under the map \(\sigma \).
Consider the manifold \(\Gamma ^{0i_1\ldots i_l}\) where we use the notation of Lemma 6.1. We have
In Lemma 6.1 we saw that this embeds into the manifold \(\Gamma _k\) via a map \(s_{0i_1\ldots i_l}:\Gamma ^{0i_1\ldots i_l}\rightarrow \Gamma _k\). Moreover, as in the discussion after the proof of Lemma 6.1 one sees that this manifold is an iterated sphere bundle over SM and the fiber at each step of the iterated sphere bundle is the sphere \(\mathbb {S}^{\lambda }\). We now pull back this fiber bundle along the embedding \(\sigma :\mathbb {K}P^m\hookrightarrow SM\) to get a pull-back space X which is clearly a manifold. We have a commutative diagram
where the left square is just the pullback diagram. The manifold X is also an iterated sphere bundle with base \(\mathbb {K}P^m\). Moreover, from the Gysin sequences of X, \(\Gamma ^{0i_1\ldots i_l}\) and \(\Gamma _k\) one can see that \((\iota _m)_* [X]\) is indeed the dual homology class to the cohomology class \(\alpha ^m\cup \xi _{i_1}\cup \ldots \cup \xi _{i_l}\). Consequently, we obtain
where we have \(g = \textrm{ev}_{\Lambda }\circ (f_k,{{\,\textrm{id}\,}}_{I_s})\) as before. We define
If we show that the class
vanishes, then by Eq. (A.4) we have shown that the coefficients \(\rho _{m,i_1,\ldots ,i_l,s}\) vanish. Let us compute the map \(h_{m,s}\) explicitly. There is a number \(o \in \{ 1,\ldots ,l\}\) such that
Let \([g,k_1,\ldots ,k_l]\in \Gamma ^{0i_1\ldots i_l}\) with \(\sigma (x) = [g]\in G/K_{\gamma }\cong SM\) for some \(x\in \mathbb {K}P^m\). Furthermore, let \(t\in I_s\), then we have
We see from the above expression that the map \(h_{m,s}\) factors as follows
where \(t:\mathbb {K}P^m\hookrightarrow \mathbb {K}P^n = M\) is the inclusion. We now consider the following commutative diagram
Note that the space \(t^* U_M\) is homeomorphic to a disk bundle over \(\mathbb {K}P^m\) and is therefore homotopy equivalent to \(\mathbb {K}P^m\) itself. Clearly, the dimension of \(\mathbb {K}P^m\) satisfies \(\textrm{dim}(\mathbb {K}P^m) \le N-2\) and therefore the homology groups on the very left and the very right in the lower row of the above diagram vanish. Therefore the connecting homomorphism in the lower row is an isomorphism.
Moreover, note that \(J_s\) is adisjoint union of two intervals, hence it is homotopy equivalent to a union of two points, i.e. we have a homotopy equivalence
where \(t_- \in (\tfrac{2\,s}{2k} - \delta , \tfrac{2\,s}{2k} + \delta _0] \) and \(t_+ \in [\tfrac{2\,s}{2k} + \delta _0, \tfrac{2\,s}{2k} + \delta )\). We can choose \(t_-\) and \(t_+\) such that they are equidistant to \(\tfrac{2s}{2k}\), i.e. \(|t_+ - \tfrac{2\,s}{2k}| =|t_- - \tfrac{2\,s}{2k}| \). This implies that
We thus consider the maps
and
Note that \(X\cong X\times \{t_{\pm }\}\), so we can understand both maps as maps \(X\rightarrow t^* U_{M,\ge \epsilon _0} \). We now show that they induce the same map in homology.
First, we define a map \(\varphi :X\rightarrow X\). Note that since M is a symmetric space there is an isometry \(S:M\rightarrow M\) which fixes the basepoint \(p_0 = \gamma (0)\) and acts as \(-\textrm{id}_{T_{p_0} M}\) on the tangent space. This isometry reverses geodesics going through the basepoint. Since the point \(a\in M\) is the unique conjugate point in the interior of the prime closed geodesic \(\sigma \) we have
Consequently, the isometry satisfies \(S\in K_a\). Therefore, we can define a map
by setting
Note that the element S commutes with all elements in K. This is because the isotropy representation of a symmetric space is faithful and the element \(-\textrm{id}\in O(N)\) is clearly in the center of O(N). Hence, one sees that the map \(\Phi \) is indeed equivariant with respect to the \((K_{\gamma })^{l+1}\)-action and therefore induces a smooth map \(\varphi ' :\Gamma ^{0i_1\ldots i_l}\rightarrow \Gamma ^{0i_1\ldots i_l}\). Since this map squares to the identity it is a diffeomorphism. Moreover it clearly respects the fiber bundle structure, so it restricts to a map \(\varphi :X\rightarrow X\). We consider this map for the following reason. Since the isometry S reverses geodesics through the basepoint we have
by our choice of \(t_-\) and \(t_+\). Therefore we see by definition of \(k_{m,s,-}\) and \(k_{m,s,+}\) that
Hence, if we show that \(\varphi _* :\textrm{H}_{\kappa }(X) \rightarrow \textrm{H}_{\kappa }(X)\) is the identity, it follows that \(k_{m,s,+}\) and \(k_{m,s,-}\) induce the same map in homology. We shall argue that the degree of \(\varphi \) is 1. Since \(\varphi \) is a diffeomorphism it suffices to check whether the differential at a given point is orientation-preserving or orientation-reversing. Let \([e,e,\ldots ,e]\in \Gamma ^{0i_1\ldots i_l}\). There is an open neighborhood of \([e,\ldots ,e]\in \Gamma ^{0i_1\ldots i_{l-1}}\) such that the fiber bundle \(p:\Gamma ^{0i_1\ldots i_l}\rightarrow \Gamma ^{0i_1\ldots i_{l-1}}\) is trivial over U, i.e.
But in this local trivialization it is very easy to understand the effect of the map \(\varphi \). We have
for \(u\in U\), \(x\in \mathbb {S}^{\lambda }\). Now, the identity on U is clearly orientation-preserving as is the antipodal map on an odd-dimensional sphere. Therefore we get that \(\varphi _* = {{\,\textrm{id}\,}}_{\textrm{H}_{\kappa }(X)}\).
Now, consider again the class
It is well-known that the connecting homomorphism maps this to
But as we have seen now
so this shows that
Consequently, we obtain \(\rho _{m,i_1\ldots i_l,s} = 0\). \(\square \)
Note that the strategy of the proof of the last claim is very similar to the methods employed in [13, Section 7]. The proof of the two claims completes the proof of Lemma 7.1.
Appendix B. Relative cap product
In this section we review the construction of the relative cap product which is used in the definition of the string topology coproduct. We closely follow [9, Appendix A].
Assume that X is a topological space with subspaces \(A,B\subseteq X\) such that
is a quasi-isomorphism. Then there is a relative cap-product
The condition on the subspaces is satisfied if e.g. both A and B are open. See [5, Section VI.5] for details.
Assume now that \(U_0\subseteq U_1\subseteq X\) are open subsets of X such that \({\mathcal {U}} = \{U_1, \textrm{int}(U_0^c)\}\) is an open cover of X. Here we use the notation \(U_0^c = X{\setminus } U_0\). Furthermore, assume that \(A\subseteq X\) is another subset which is not necessarily required to be a subset of \(U_0\) or \(U_1\). We assume that the intersections \(U_1\cap U_0^c\) and \(U_1\cap A\) are such that the relative cap-product
as in Eq. (B.1) is defined. Then if \(t\in \textrm{C}^k(U_1,U_1\cap U_0^c)\), we define a map
as the composition of the maps
where \(\rho \) is a map that subdivides chains with respect to the open cover \({\mathcal {U}}\), e.g. barycentric subdivision, see e.g. [5, Section IV.17]. The cap product in the last step is then a chain-level version of the cap product in Eq. (B.1). This composition is a chain map and therefore induces a map in homology
which we will refer to as cap product as well. From now on, we will also denote it by \(\cap \) and from the context it will be clear whether we are referring to this cap product or to the one of Eq. (B.1). We now state a naturality statement for the cap product.
Proposition B.1
Let \((X,U_1,U_0)\) and \((Y,V_1,V_0)\) be triples of spaces and let \(A\subseteq X\) and \(B\subseteq Y\) be subsets such that the inclusion
is a quasi-isomorphism and similarly for \(V_1,V_0\) and B. Then if \(f:(X,U_1,U_0)\rightarrow (Y,V_1,V_0)\) is a map of triples such that \(f(A)\subseteq B\) and if \(\tau \in \textrm{H}^k(V_1,V_1\cap V_0^c)\) is a cohomology class then the diagram
commutes.
Proof
The proof can be done analogously to the one of [9, Lemma A.1] since the restriction \(A\subseteq U_0\) in the proof of [9, Lemma A.1] is not necessary. \(\square \)
We also need a statement about the compatibility of the relative cap product and the usual cross products.
Proposition B.2
Let X and Y be topological spaces. Furthermore, let \(A,U_0,U_1\subseteq X\) be subspaces such that \((X,U_1,U_0)\) is a triple of spaces and such that the inclusion
is a quasi-isomorphism. Let \(\xi \in \textrm{H}^i(Y)\), \(\eta \in \textrm{H}^j(U_1,U_1\cap U^c_0)\), \(y\in \textrm{H}_m(Y)\) and \(z\in \textrm{H}_n(X,A)\). Then
Proof
If
is a quasi-isomorphism then clearly the same property holds for
Consequently, the proof of the analogous property for the usual cap product carries over, see [5, Theorem VI.5.4]. \(\square \)
Example B.3
Take \(X = I\) to be the unit interval with \(A = \partial I = \{0,1\}\). Furthermore, choose a small \(\delta >0\) and a number \(\delta _0>0\) with \(\delta _0<\delta \). Clearly, the homology group \(\textrm{H}_1(I,\partial I)\) is generated by a class [I] which is represented by the relative cycle
Now, choose
We have \(U^c_0 \cap A = U_0^c\). Note that the subdivision with respect to the cover \({\mathcal {U}} = \{ U_1, \textrm{int}(U_0^c)\}\), i.e. the map
can be chosen as follows. It maps \(\sigma \) to \(\sigma _1+\sigma _2+\sigma _3\) where
are the respective affine linear maps and where
We now want to determine the cap product with a representative of a generator of
If we choose a cocycle \(\tau \in \textrm{C}^1(U_1,U_1\cap U_0^c)\) representing a generator of \(\textrm{H}^1(U_1,U_1\cap U_0^c)\) which is dual to \(\sigma _2\in \textrm{C}_1(U_1,U_1\cap U_0^c)\) then it is clear that we get
for some point \(t_0\in U_1\). Therefore in homology, we see that the relative cap product \([\tau ]\cap [I]\) is
We use this example in Sect. 7.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Stegemeyer, M. The string topology coproduct on complex and quaternionic projective space. manuscripta math. 174, 897–936 (2024). https://doi.org/10.1007/s00229-023-01532-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-023-01532-0