The Goresky-Hingston Coproduct on Based Loop Spaces

We consider the homotopy

where the composition is parametrized such that \gamma is followed on [2s\varepsilon,1-2s\varepsilon] with \frac{1}{1-4s\varepsilon} speed. This defines a homotopy between from \mathrm{id}_{\Omega M} to \iota\circ \pi_\sigma.

On the other hand, we can write any element of \Omega^\sigma M uniquely as \sigma\cdot\beta \cdot\overline\sigma for some \beta\in \Omega_{\sigma(\varepsilon)}M. Then

is a homotopy between \mathrm{id}_{\Omega^\sigma M} and \pi_\sigma\circ \iota.

We want to apply excision. We thus must check that the closure of

is contained in the interior of \mathcal{F}^c\cup \mathcal{H}.

It thus suffices to show the following:

1. A is closed;

2. \mathcal{F}^c\cup \mathcal{H} is open;

3. A\subseteq \mathcal{F}^c\cup \mathcal{H}.

For (?), we check that r|_{I\times \Omega^\sigma M} is a homeomorphism onto its image. We first consider (s,\gamma)\in I\times \Omega^\sigma M with s\notin \partial I. We note that r(s,\gamma)(t)=\sigma(2st)\neq x_0 for t\in (0,\tfrac{\varepsilon}{2s}) and r(s,\gamma)(t)=\sigma(2(1-s)t-1+2s)\neq x_0 for t\in (\frac{1-\varepsilon}{2(1-s)},1). This shows that r(t,\gamma)\notin \mathcal{H}.

Moreover if s'\in I is such that

for t\in [0,\varepsilon], we have s=s'. Therefore we can recover s from r(s,\gamma) and we similarly recover

On the other hand if r(s,\gamma)\in \mathcal{H}, we find either r(s,\gamma)|_{[0,\frac{1}{2}]}\equiv x_0 or r(s,\gamma)|_{[\frac{1}{2},1]}\equiv x_0. Both halves are not constant because otherwise \gamma would have been constant but \gamma is not in \Omega^\sigma M. If r(s,\gamma)|_{[0,\frac{1}{2}]}\equiv x_0, we recover s=0 and \gamma(t)=r(s,\gamma)|_{[\frac{1}{2},1]}(2t-1) and, if r(s,\gamma)|_{[\frac{1}{2},1]}\equiv x_0, we recover \gamma(t)=r(s,\gamma)|_{[1,\frac{1}{2}]}(2t).

This shows that r|_{I\times \Omega^\sigma M} is a homeomorphism onto its image and thus

Therefore A is closed because ([0,\varepsilon]\cup [1-\varepsilon,1])\times \Omega^\sigma M is closed in I\times \Omega^\sigma M.

We now check (?) that \mathcal{F}^c\cup \mathcal{H} is open. On the one hand, \mathcal{F}^c is an open set. On the other hand, the above discussion shows that \mathcal{H}=r(\partial I\times \Omega^\sigma M). This subspace has an open neighbourhood r(([0,\varepsilon)\cup (1-\varepsilon,1])\times \Omega^\sigma M) which is contained in \mathcal{H}\cup \mathcal{F}^c because r(((0,\varepsilon)\cup (1-\varepsilon,1))\times \Omega^\sigma M)\subseteq \mathcal{F}^c. This shows that \mathcal{F}^c\cup \mathcal{H} is open.

We finally have to check (?) that A is contained in e(x_0)^c\cup \mathcal{H}. This follows from the fact that

and that r(\partial I\times \Omega^\sigma M)\subseteq \mathcal{H} and r\left(((0,\varepsilon]\times [1-\varepsilon,1))\times \Omega^\sigma M\right)\subseteq \mathcal{F}^c.

Therefore excision implies that

is a homotopy equivalence. The observation

concludes the proof.

We denote \iota_\sigma for the inclusion \Omega^\sigma M\to \Omega M and its induced maps. We consider the diagram

The top triangle commutes in homology because (\pi_\sigma)_* and (\iota_\sigma)_* are homotopy inverses (see Lemma 2.8). The bottom triangle commutes in homology because \rho_\sigma is a homotopy inverse to an inclusion of chain complexes and inclusions of chain complexes commute. The rest of the diagram commutes because the maps from left to right are come from inclusions of spaces. Therefore the diagram commutes in homology.

Composition along the bottom left computes (i\times i)_*\circ \lor_\sigma and composition along the top left computes \lor_{\mathrm{GH}}\circ i_*.

The map \Phi_* sends C_*(\Omega M,\mathcal{F}_{x_1}^c) to C_*(\Omega M,\mathcal{F}_{x_2}^c). Indeed, \Phi sends \mathcal{F}_{x_1}^c to \mathcal{F}_{x_2}^c. Moreover in homology, the maps \rho_{x_i} and R_{x_i} can be defined such that they are intertwined by \Phi.

The naturality of the cap product gives that the diagram

We set \phi:=\phi^1 and find in homology

Because \phi is homotopic to the identity, we have that \deg(\phi)_{x_1}=1. Therefore \Phi intertwines the map e^*\tau_{x_i}\cap.

We have shown so far that \Phi_* intertwines all but the last map in the definition of the trivial pre-coproduct. We thus have:

as maps H_*(\Omega M,\mathcal{F}_{x_1}^c)\to H_{-n+*}(\mathcal{P}_{x_0\to x_2}\times\mathcal{P}_{x_2\to x_0}).

Finally we note that \Phi\colon \mathcal{F}_{x_1}\to \mathcal{F}_{x_2} is homotopic to the map

through the homotopies

Therefore, c_{x_2}\circ \Phi is homotopic to (r_\tau\times l_{\overline{\tau}})\circ c_{x_1} and, on homology, we have

We again denote the map

By Lemma 3.3, we have \lor^{x_2}\circ \Phi_*=(r_\tau\times l_{\overline{\tau}})_*\circ\lor_{\mathrm{triv}}^{x_1}. We therefore need to show that \Phi_* intertwines the other maps in Definition 3.5.

We note that \mathrm{id}\times \Phi sends (I\times \Omega^{\sigma_1} M,\partial I\times \Omega^{\sigma_1}M) to (I\times \Omega^{\sigma_2} M,\partial I\times \Omega^{\sigma_2}M). In fact, we have \Phi\circ \pi_{\sigma_1}=\pi_{\sigma_2}\circ \Phi.

It thus remains to show that on homology it holds:

as maps H_*(I\times \Omega^{\sigma_1} M,\partial I\times \Omega^{\sigma_1})\to H_*(\Omega^{\sigma_2}M, e^{-1}(x_2)).

In the proof of Lemma 2.9, we showed that r is a homeomorphism onto its image. We define {}^r\Phi:=r\circ (\mathrm{id}\times \Phi)\circ r^{-1}. By construction, we thus have r\circ (\mathrm{id}\times\Phi)={}^r\Phi\circ r. It remains to show that \Phi_*\circ \rho_{x_1}=\rho_{x_2}\circ {}^r\Phi_* on homology. The maps \rho_{\sigma_i} were constructed as inverses to the inclusions

These inclusions are intertwined by {}^r\Phi_* and thus so are \rho_{\sigma_i} on homology.

Finally, the square

commutes in homology because {}^r\Phi(\gamma) and \Phi(\gamma) are the same loop up to reparametrization.

This shows (?) and thus concludes the proof.

Our strategy to prove this corollary is to find a 1-parameter family \phi^t that satisfies the assumptions for Proposition 3.7 such that \tau(t)=\phi^t(x_1) is a contractible loop based at x_1.

By assumption, we can write, for i=1,2, \sigma_i(t)=\varphi_i(t,0,\dots,0) for charts \varphi_i\colon \mathbb{R}^n\cong U_i\subseteq M.

If x_1\neq x_0, we have that x_1\notin U_1,U_2. Moreover, by applying Proposition 3.7 to \sigma_2 and a 1-parameter family that shrinks U_2, we can assume that U_2\subseteq U_1.

We consider \sigma_1(s\varepsilon) as an isotopy of topological embeddings (historically called locally flat maps) of the point x_0 into M. By the isotopy extension theorem for topological manifolds [edwards1971deformations, Corollary 1.4], we can find an isotopy H^s_1\colon M\to M such that H_1^s(x_0)=\sigma_1(s\varepsilon) that is supported in U_1.

Because U_1 is contractible, we can find a path \rho between y:=H^{-1}_1(x_0) and x_0. We then can extend the isotopy

to a isotopy H_2^s\colon M\to M.

The 1-parameter family \phi^s:=H^{s}_2\circ H_1^{-s} satisfies

1. \phi^0=H^0_2\circ H^0_1=\mathrm{id};

2. \phi^1(x_1)=H_2^{1}\circ H_1^{-1}(x_1)=x_1, if x_1\neq x_0, or

   \begin{aligned} \phi^1(x_1)=\phi^1(x_0)=H^1_2(H^{-1}_1(x_0))=H_2^1(y)=\rho(1)=x_0=x_1, \end{aligned}

   if x_1=x_0;

3. for 0\leq t\leq \varepsilon, we set s:=t/\varepsilon\in I and compute

   \begin{aligned} \phi^{\chi(t)}(\sigma_1(t))=\phi^{s}(\sigma_1(s\varepsilon))=H_2^s(H_1^{-s}(\sigma_1(s\varepsilon))=H_2^s(x_0)=\sigma_2(s\varepsilon)=\sigma_2(t). \end{aligned}

We therefore can apply Proposition 3.7 and find in homology that (r_\tau\times l_{\overline{\tau}})\circ \lor_{\sigma_1}^{x_1}=\lor_{\sigma_2}^{x_1} for \tau(t)=\phi^t(x_1).

If x_1\neq x_0, we have \phi^t(x_1)=H_2^t(H_1^{-t}(x_1))\equiv x_1. If x_1=x_0, then \phi^t(x_1) is a loop in U_1 and thus contractible. In both cases, we deduce (r_\tau\times l_{\overline{\tau}})=\mathrm{id} in homology which shows the Corollary.

We again want to apply Proposition 3.7.

We note that for \tau_1 a path from x_1 and x_2 and \tau_2 a path from x_2 to x_3, the statement for \tau_1 and \tau_2 implies it for \tau_1\cdot \tau_2. Therefore, we can decompose \tau and thus assume that \tau is contained in a contractible neighbourhood. Moreover, we note that the statement only depends on the homotopy type (relative to \partial I) of \tau. We can thus assume that \tau is the straight line from (0,0,\dots,0) to (0,1,0,\dots,0) in some \varphi\colon \mathbb{R}^n\cong U\subseteq M.

If x_0\neq x_1,x_2, we can assume that x_0\notin U, we take \sigma_1 a stick avoiding x_0,x_1,x_2 in M\setminus U. If x_0=x_1 or x_0=x_2, we can first assume that x_0=x_1=\varphi(0) and we fix \sigma_1(t):=\varphi(t,0,\dots,0) (see Figure ?).

We then fix a 1-parameter family supported in U with \phi^0=\mathrm{id} and that, in the ball \varphi(B_2(0)), is given by

We then have that \sigma_2(t):=\phi^{\chi(t)}(\sigma_1(t)) is a stick avoiding x_0 and x_2. Therefore we can apply Proposition 3.7 and find

After dropping the dependence on \sigma_1 and \sigma_2, this gives the corollary.

This is the previous Corollary for the case x_0=x_1=x_2.

By Proposition 2.12, it suffices to show that the avoiding-stick coproduct is zero.

For all manifolds, it holds

where \Omega_\gamma M is the connected component of \Omega M of all loops that represent \gamma\in \pi_1(M,x_0). The actions r_\tau\times l_{\tau^{-1}} permutes the summands where \gamma\delta are equal. Because \pi_1(M,x_0) is infinite, there are infinite pairs in each orbit. Therefore the action has no fixed points except 0. Corollary 3.11 now shows that the coproduct is zero.

The strategy is to compute \lor^{x}_{\widetilde{\sigma}}\circ\land(\alpha\times \beta) for a point x\neq x_0 and then use Proposition 3.7.

We fix a 1-parameter family of homeomorphisms \phi^s such that

is a stick avoiding x_0 and x:=(\phi^1)^{-1}(x_0)\neq x_0. Moreover, we fix a contractible neighbourhood U_{x} such that \widetilde{\sigma}(t)\notin U_{x} for all t\in [0,\varepsilon]. We set \tau(t):=\phi^t(x). By Proposition 3.7, we have

We define \widetilde{\sigma}'(t):=\widetilde{\sigma}(2t) for t\in [0,\frac{\varepsilon}{2}]. We then have

as maps \Omega M\times \Omega M\to \Omega^{\widetilde{\sigma}'}M. Moreover, the map

sends ([0,\frac{\varepsilon}{2}]\cup[1-\frac{\varepsilon}{2},1])\times \Omega^{\widetilde{\sigma}}M\times \Omega^{\widetilde{\sigma}}M to \mathcal{F}_x^c because \widetilde{\sigma}' avoids x. But because \widetilde{\sigma} avoids x, r' sends also ([\frac{1-\varepsilon}{2},\frac{1+\varepsilon}{2}])\times \Omega^{\widetilde{\sigma}}M\times \Omega^{\widetilde{\sigma}}M to \mathcal{F}_x^c.

We therefore find that the inclusion

is a homotopy equivalence by excision. We fix a homotopy inverse \rho''.

Because r' is the composition of two injective maps, it is injective and thus

Our computations so far show that \lor^x_{\widetilde{\sigma}'}\circ \land is computed via the composition

The injectivity of r' also shows that for \gamma_1, \gamma_2\in H_{*}( \Omega^\sigma M), we can represent I\times \gamma_1\times \gamma_2\in H_{1+*}(I\times \Omega^\sigma M\times \Omega^\sigma M, \partial I\times \Omega^\sigma M\times \Omega^\sigma M) by

for some

Because definition of \lor^x_{\mathrm{triv}} is zero on C_*(\mathcal{F}_x^c), we find \lor^x_{\mathrm{triv}}(r'(\alpha))=0.

We also have that

Indeed after reparametrisation, we find

and \lor_{\mathrm{triv}}^x(r_*([{\varepsilon},{1-\varepsilon}]\times \gamma_1)) computes \lor^x_{\widetilde{\sigma}}(\gamma_1).

Similarly, we find

where the sign comes from the Koszul sign of moving the degree -n map \lor^x_{\mathrm{triv}} and the interval past \gamma_1.

We thus have shown:

After postcomposing with r_\tau\times l_{\overline\tau}, we find by (?)

This is the Sullivan relation evaluated on \gamma_1\times \gamma_2.

Because y_0 is a regular value, we can find a contractible neighbourhood y_0\in V\subseteq N

where

is a homeomorphism and x_i\in U_i for i=0,\dots k.

We fix a trivial coproduct \lor_{\mathrm{triv},\Omega N}\colon C_*(\Omega N)\to C_*(\Omega N\times \Omega N). This in particular fixes a homotopy retract R_V\colon I\times V\to V fixing y_0, a local orientation \tau_{y_0}\in C^n(V,\{y_0\}^c) and a homotopy equivalence

We have that R_{U_i}:=(\mathrm{id}\times f|_{U_i}^{-1})\circ R_V\circ (\mathrm{id}\times f) defines a homotopy retraction of U_i.

We note that

We have

for some local orientations \tau_{x_i}\in C^n(U_i,\{x_i\}^c). This implies that

Moreover, we can find homotopy equivalences \rho^{x_i}\colon C_*(\Omega M,e^{-1}(x_i)^c)\to C_*(e^{-1}(U_i),e^{-1}(x_i)^c) such that f_*\circ \rho^{x_i}=\rho^{y_0}\circ f_*.

Therefore the following diagram commutes:

The middle square commutes by naturality of the cap product and (?).

This square proves the statement because the composition along the top right computes \lor_{\mathrm{triv},\Omega N}\circ f_* while composition along the bottom left computes \sum_{i=0}^k\deg(f)_{x_i} (f\times f)_*\circ \lor^{x_i}_\mathrm{triv}.

We can fix \sigma a stick avoiding x_0,\dots, x_k such that f\circ \sigma is a stick avoiding y_0.

We have that f\circ \pi_\sigma=\pi_{f\circ \sigma}\circ f as maps \Omega M\to \Omega^{f\circ \sigma}N. Moreover, f commutes with the map I\times and intertwines the maps

and

Similarly, f_* intertwines the map

and

Therefore their inverses in homology \sum_i \rho_\sigma^{x_i} and \rho_{f\circ \sigma} are intertwined by f_* in homology.

We thus have shown that

Thus by Lemma 4.1, we find

Finally, we observe that, if i\neq j, \lor_{\mathrm{triv}}^{x_i} is zero on C_*(r((\varepsilon,1-\varepsilon)\times \Omega^\sigma M),e^{-1}(x_j)^c) and thus \lor_{\mathrm{triv}}^{x_i}\circ \rho_\sigma^{x_j}=0. This lets us compute:

Because we work in homology and dimension n>1, we can drop the dependence on the stick which gives the desired formula (see Corollary 3.8).

By Proposition 4.2, we have

By Corollary 3.10, we have

We further note that

Here f\circ\tau_i is a loop and it thus represents an element in \pi_1(N,y_0). In this group, it holds [\overline{f\circ \tau_i}]=[{f\circ \tau_i}]^{-1}. Therefore, we have

If n=1, then f is homotopic to a homeomorphism and we are done.

If n>1, we can replace f with a homotopic map g such that g^{-1}(y_0)=\{x_0\} (see [hopf1930topologie] for the case n>2 and [kneser1928glattung] for n=2). We thus have \deg(g)_{x_0}=1. We then choose \tau_0 the constant path at x_0 and apply Corollary 4.3 which concludes the proof.

Because N is simply connected, we have that f_*(\tau_i)\in\pi_1(N,y_0) is trivial for all choices \tau_i. We apply Corollary 4.3 and find

We know that \Omega X has connected components corresponding to l\in \pi_1 (X):

Because \Omega X is group-like, we have that \Omega_l X\simeq \Omega_{1}X for 1\in \pi_1 (X) the neutral element.

On the other hand, we know that the map p_*\colon \pi_k(\widetilde X)\to \pi_k (X) is an isomorphism for k\geq 2. Thus for k\geq 1, the map that p induces on \pi_k(\Omega\widetilde X) is given by the isomorphism

Therefore p induces a homotopy equivalence \Omega \widetilde{X}\cong \Omega_1 X. This concludes the proof.

By the Sullivan relation as in Proposition 3.13, we have

We now apply the formula from Corollary 4.3 to compute \lor_{\Omega M}( p_*(\beta)):

where \tau_i are paths connecting x_0 and x_i. We note that in our case all x_i have local degree +1 and the loops [p_*(\tau_i)] correspond to all elements h\in \pi_1(M). Therefore, we find

which concludes the proof.

By Lemma 4.6, we find that as abelian groups

We recall that H_*(S^n)\cong \mathbb{Z}[u] for u a class of dimension n-1. We thus set x:=p_*(u)\in H_{n-1}(\Omega_1 M) and find

as abelian groups.

Because n is odd, u\in H_*(S^n) commutes with itself and therefore so does x. It thus remains to show that x and g\in G commute. Because conjugation by g is a G-action on H_{n-1}(\Omega_1 M)\cong \mathbb{Z}, we have g^{-1} xg=\pm x.

We thus have to show that the sign is +1. Morally this is due to the fact that the class u comes from the orientation of S^n and g acts trivially on the orientation. We spell this argument out in more detail.

We have that

sends u to the orientation [S^n]\in H_n(S^n).

The diagram

commutes. Because we have p_*(S^n)=|G|\cdot [M], we find \mathrm{ev}_*(x)=|G|\cdot [M]. It thus suffice to show that \mathrm{ev}_*(g^{-1}xg)=|G|\cdot [M].

The commuting diagram

shows that \mathrm{ev}_* sends g_*( u)\in H_{n-1}(\Omega_{g \cdot x_0}S^n) to (\varphi_g)_*([S^n])=[S^n].

We now give a different description of g_*(u). Let \alpha\in C_{n-1}(\Omega_{x_0}S^n) be a representative of u and let \tau_g be a path from x_0 to g\cdot x_0. Then \tau_{g}^{-1}\cdot\alpha\cdot \tau_g represents g_*( u). We thus have

Now the commuting diagram

shows that

This in particular shows that g^{-1}xg=x and thus concludes the proof.

Because all homology groups are free, the Künneth map H_*(\Omega M)\otimes H_*(\Omega M)\to H_*(\Omega M\times \Omega M) is an isomorphism and we can thus postcompose the avoiding-stick coproduct H_{n-1+*}(\Omega M)\to H_*(\Omega M\times \Omega M) with the inverse of the Künneth map and get a map H_{n-1+*}(\Omega M)\to H_*(\Omega M)\otimes H_*(\Omega M).

The formula then follows from the coproduct on H_*(\Omega S^n) as described in Example 3.14 transported to H_*(\Omega M) using Proposition 4.8 and Proposition 5.1.

For degree reasons, the only differential that may show up is d^n\colon E^n_{n,2k}([g])\to E^n_{0,(n-1)k}([g]). Thus it suffices to show that E^\infty_{0,(n-1)k}([g])\cong E^2_{0,(n-1)k}([g]) for k>0. By our computations, we have E^2_{0,(n-1)k}([g])\cong \mathbb{Z}. Moreover because all other groups of total degree of (n-1)k are torsion, it suffices to show that \iota_*\colon H_{(n-1)k}(\Omega_gM)\to H_{(n-1)k}(\Lambda_{[g]} M,M) is injective for g\neq 1 or k>0.

We do this by induction on k. The statement holds for k=0 and g\neq 1 because H_0(\Lambda_{[g]}M)\cong\mathbb{Z}.

For the induction step, we use the Goresky-Hingston coproduct on H_*(\Lambda M,M) and the avoiding-stick coproduct on H_*(\Omega M). The avoiding-stick coproduct is a lift of the Goresky-Hingston coproduct on the based loop space, which is a restriction of the Goresky-Hingston coproduct on the free loop space. We thus have the commuting diagram

Our strategy is to find an element in H_{k(n-1)}(\Omega_g M) that gets send to a non-torsion element in H_{(k-1)(n-1)}((\Lambda M,M)\times (\Lambda M,M)) under composition on the bottom left. This then shows that there exists a non-torsion element in the image of the top map which is what we want to show.

By induction, we can assume that, for k_1+k_2=k-1, the map

is injective if k_j\geq 1 or g_j\neq 1 for j=1,2.

Corollary 5.2 then gives on gx^k\in H_{k(n-1)}(\Omega_gM)

which is non-zero if there exists g_1,g_2\neq 1 with g_1g_2=g or k_1,k_2>1. This is satisfied except in the case where G=\{\pm 1\}, g=-1 and k=1.

The remaining case is for the manifold M=\mathbb{R} P^n. We thus need to show that H_{n-1}(\Lambda_{[-1]} \mathbb{R} P^n,\mathbb{R} ^n) has a non-torsion summand. This can be seen from the fact that the Chas-Sullivan product with x gives an isomorphism H_{*}(\Lambda \mathbb{R} P^n,\mathbb{R} P^n)\cong H_{n-1+*}(\Lambda \mathbb{R} P^n,\mathbb{R} P^n) [goresky2009loop, 1.11] and our computation that shows that H_{2(n-1)}(\Lambda_{[-1]} \mathbb{R} P^n,\mathbb{R} ^n) has a non-torsion summand.

The short exact sequence comes immediately from the description E^\infty_{*,*}([g]) as in Proposition 5.3. Moreover, for i< n-1 we have H_{i-{n-1}}(S^n/C_G(g))\cong 0. For i=n, we have H_i(S^n/C_G(g))\cong \mathbb{Z} is projective and thus the short exact sequence splits.