---
title: Chas–Sullivan-like Product in String Topology
url: https://www.emergentmind.com/topics/chas-sullivan-like-product
type: topic
---

# Chas–Sullivan-like Product in String Topology

Searching arXiv for the cited works on Chas–Sullivan-like products and related string topology constructions.
{"query":"1605.01962 Chas-Sullivan Lie algebra Hodge filtration derived Poisson brackets 1311.7292 path space CP^n RP^n Pontryagin-Chas-Sullivan product 2412.18264 chain-level model Chas-Sullivan products Morse homology differential graded coefficients 2311.16891 String topology on the space of paths with endpoints in a submanifold 2503.21348 Extensions of the loop product and coproduct, the space of antipodal paths and resonances of closed geodesics","max_results":10}
Found several relevant arXiv records, including the foundational and recent works on free-loop, equivariant, path-space, and Morse-theoretic extensions of Chas–Sullivan-type operations.
“Chas–Sullivan-like product” (Editor's term) denotes a family of string-topological operations modeled on the original Chas–Sullivan loop product: one first imposes an intersection condition on a base manifold, typically through a diagonal or related embedding and its umkehr/Gysin map, and then performs concatenation in a loop or path fiber. In its classical form, for a closed oriented \(d\)-manifold \(M\), the operation
\[
\mu: H_p(LM)\otimes H_q(LM)\to H_{p+q-d}(LM)
\]
is defined using the fiber product \(LM\times_M LM\), the diagonal \(\Delta:M\to M\times M\), and loop concatenation [1709.06839]. Subsequent work extends this pattern to \(S^1\)-equivariant settings, Borel constructions, path spaces with endpoint conditions, DG and \(A_\infty\)-coefficient models, Novikov completions, Gorenstein spaces, and algebraic models arising from Hochschild and cyclic homology [1506.00441], [2311.16891], [2412.18264], [2508.09580].

## 1. Classical prototype and the intersect–concatenate mechanism

The basic geometric input is the evaluation map at a marked point. For a closed oriented \(d\)-manifold \(M\), one considers
\[
LM\times_M LM=\{(\gamma,\sigma)\in LM\times LM\mid \gamma(0)=\sigma(0)\},
\]
together with concatenation \(c:LM\times_M LM\to LM\). The Chas–Sullivan product is obtained by taking the cross product on \(H_*(LM)\), applying the umkehr map induced by the diagonal \(\Delta:M\to M\times M\), and then pushing forward by concatenation; the degree shift is \(-d\) [2212.09350]. An equivalent chain-level model uses a tubular neighborhood of the diagonal, the pulled-back Thom class, and a retraction defined by inserting short geodesic “sticks,” avoiding infinite-dimensional tubular-neighborhood arguments [1709.06839].

This pattern persists in later generalizations. In the Morse-theoretic framework with DG coefficients, the same operation is described as “intersect on the base, concatenate on the fiber,” with \(ev_0:LM\to M\) viewed as a Hurewicz fibration with fiber \(\Omega M\) [2412.18264]. In that model the chain-level formula is
\[
C_*(LM;A)\otimes C_*(LM;A)\xrightarrow{\times} C_*(LM\times LM;A)\xrightarrow{\Delta^!} C_{*-n}(LM\times_M LM;A)\xrightarrow{\mathrm{concat}_*} C_{*-n}(LM;A),
\]
with a Dold sign inserted to enforce graded commutativity [2412.18264].

The same formal mechanism also underlies the Chas–Sullivan product on compact globally symmetric spaces, where the product is constructed from the pullback of the diagonal and loop concatenation, but is analyzed using explicit Bott–Samelson and Ziller cycles [2212.09350]. There the product is shown to be highly non-trivial in any rank, and orientation classes of completing manifolds multiply according to iteration of closed geodesics [2212.09350].

## 2. Chain models, DG coefficients, and Hochschild realizations

A major development is the replacement of singular-chain constructions by finite-dimensional algebraic or Morse-theoretic models. In enriched Morse homology with DG or \(A_\infty\)-module coefficients over \(C_*(\Omega M)\), one forms
\[
C_*(M;A)=A\otimes \mathbb{Z}\,\mathrm{Crit}(f)
\]
with differential determined by a Barraud–Cornea twisting cocycle \(m_{x,y}\in C_*(\Omega M)\) satisfying a Maurer–Cartan equation [2412.18264]. The resulting chain-level product \(CS\) induces the geometric product of Gruher–Salvatore on homology and is associative up to homotopy when the fiberwise multiplication is associative [2412.18264].

A complementary algebraic realization uses Hochschild chains. For a simply connected manifold \(M\), Jones’ cosimplicial model gives a chain homotopy equivalence
\[
\int: CH_*(C^*(M))\to C^*(\Lambda M),
\]
and Cohen–Jones identify the Chas–Sullivan product with cup product on Hochschild cohomology \(HH^*(C^*(M))\) [1903.10147]. In that setting, the Gysin map for the diagonal is encoded by the diagonal class
\[
\mu=\sum_i (-1)^{\deg(a_i)} a_i\otimes a_i^*
\]
in a Poincaré duality CDGA model \(A\) [1903.10147]. This produces explicit chain maps modeling degenerate coproducts and the Goresky–Hingston product on relative Hochschild chains [1903.10147].

For simply connected \(\mathbb{Q}\)-Gorenstein spaces, Félix–Thomas string topology replaces geometric Thom data by an Ext-class. If \(M\) is simply connected and \(\mathbb{Q}\)-Gorenstein of formal dimension \(d\), then the free loop homology \(H_{*+d}(LM;\mathbb{Q})\) carries a non-unital, non-counital Frobenius algebra structure, with loop product and loop coproduct defined through Eilenberg–Moore maps and a generator of
\[
\mathrm{Ext}_{C^*(M)^{\otimes 2}}^d(C^*(M),C^*(M)^{\otimes 2})
\cong \mathbb{Q}
\]
[1301.1785]. The paper resolves the “up to constant problem,” proving strict associativity, coassociativity, and Frobenius compatibility identities [1301.1785].

## 3. Path-space and relative extensions

The classical loop product has several path-space analogues in which the diagonal condition is imposed on endpoint data rather than loop basepoints. For paths in \(\mathbb{C}P^n\) with endpoints in \(\mathbb{R}P^n\), Hingston–Oancea define
\[
P_{\mathbb{R}P^n}\mathbb{C}P^n
=\{\gamma\in W^{1,2}([0,1],\mathbb{C}P^n)\mid \gamma(0),\gamma(1)\in \mathbb{R}P^n\},
\]
and construct the Pontryagin–Chas–Sullivan product
\[
\mu=c_*\circ s_!\circ AW:
H_p(P;\mathbb{F}_2)\otimes H_q(P;\mathbb{F}_2)\to H_{p+q-n}(P;\mathbb{F}_2),
\]
where \(s_!\) is the umkehr map for the matching-endpoint fiber product and \(c\) is path concatenation [1311.7292]. In shifted path homology \(\mathbb{H}_\bullet(P)=H_{\bullet+n}(P;\mathbb{F}_2)\), the product has degree \(0\), and the paper gives explicit noncommutative ring presentations in terms of generators \(H,S,Y\) or \(H,T,Y\), depending on the parity of \(n\) [1311.7292].

A general path-space theory for a map \(f:N\to M\) is developed by Stegemeyer. The pulled-back path space
\[
P^f=A\times_{M\times M} PM
\]
admits a product
\[
\wedge:H_i(P^f)\otimes H_j(P^f)\to H_{i+j-k}(P^f),
\]
defined by intersecting along the diagonal \(\Delta_N\subset N\times N\) and then concatenating [2311.16891]. The product is associative and unital, with unit given by constant paths, and \(H_*(P^f)\) carries a left module structure over the Chas–Sullivan ring \(H_*(\Lambda M)\) [2311.16891]. If \(f\) is null-homotopic, then
\[
H_*(P^f)\cong H_*(N)\otimes H_*(N)\otimes H_*(\Omega M),
\]
and the product becomes an explicit combination of the intersection pairing on \(N\) and the Pontryagin product on \(\Omega M\) [2311.16891].

This path product was subsequently lifted to a chain-level Morse model with DG coefficients. For a continuous map \(f:X\to Y\), the path product
\[
PP:H_i(X^2;(f\times f)^*C_*(\Omega Y))\otimes
H_j(X^2;(f\times f)^*C_*(\Omega Y))
\to
H_{i+j-n}(X^2;(f\times f)^*C_*(\Omega Y))
\]
is defined as
\[
PP=p_*\circ \widetilde m\circ D_!\circ K
\]
with a normalization sign \(( -1)^{nj}\), where \(D(a,b,c)=(a,b,b,c)\), \(\widetilde m\) is induced by path concatenation, and \(K\) is the DG Künneth map [2508.09583]. The construction is associative, has a unit, and is shown to agree with Stegemeyer’s singular-homology product under the fibration theorem [2508.09583].

A different relative extension uses a fixed-point-free involution \(f:M\to M\) and the path space
\[
P_fM=\{\gamma:[0,1]\to M\mid \gamma(1)=f(\gamma(0))\}.
\]
In that setting one obtains a pairing
\[
\wedge_f:H_i(P_fM)\otimes H_j(P_fM)\to H_{i+j-d}(LM),
\]
as well as left and right \(H_*(LM)\)-module structures on \(H_*(P_fM)\); together they make \(H_{*+d}(LM)\oplus H_{*+d}(P_fM)\) into a unital associative algebra [2503.21348]. For antipodal paths on even-dimensional spheres, the paper computes both the extended loop product and the corresponding extended coproduct explicitly [2503.21348].

## 4. Equivariant, gauge-theoretic, and Novikov generalizations

An equivariant refinement replaces \(M\) by the Borel construction \(M_G=EG\times_G M\) for a compact Lie group \(G\) acting on \(M\). The diagonal of \(M_G\) does not directly admit a finite-codimension Thom collapse, so the paper factors it through
\[
M_G \xrightarrow{A_G} (M\times M)_G \xrightarrow{p_G} M_G\times M_G,
\]
where \(A_G\) has normal bundle \((TM)_G\) and \(p_G\) has fiber \(G\) with tangent bundle \(ad(EG)\) [1506.00441]. Under the orientability hypothesis on both \((TM)_G\) and \(ad(EG)\), one obtains a Borel string product
\[
\Upsilon:
h_k(L(M_G))\otimes h_\ell(L(M_G))
\to
h_{k+\ell+\dim(G)-d}(L(M_G))
\]
for any multiplicative generalized homology theory \(h\), unifying the Chas–Sullivan product with the Chataur–Menichi product on \(LBG\) [1506.00441]. The same paper proves a vanishing theorem for the primary product in a large degree range and constructs a secondary product of degree \(+\dim(G)-d+1\) [1506.00441].

A spectrum-level generalization arises from a principal \(G\)-bundle \(G\to P\to M\). The associated adjoint bundle \(P^{Ad}=P\times_G G\) gives the “string topology spectrum”
\[
\mathcal{S}(P)=(P^{Ad})^{-TM},
\]
which Gruher–Salvatore showed is a ring spectrum whose homology product is of Chas–Sullivan type [1304.0613]. In the universal case \(P\) contractible, \(\mathcal{S}(P)\simeq LM^{-TM}\), recovering the spectrum-level realization of the classical loop product [1304.0613]. The same work identifies a gauge-group action
\[
\rho:\mathcal{G}(P)\to GL_1(\mathcal{S}(P))
\]
and interprets \(\mathcal{S}(P)\) as the universal linear approximation to a gauge-theoretic functor [1304.0613].

A more recent extension places the same intersect–concatenate paradigm in Morse–Novikov homology. For a closed oriented connected manifold \(X\), a nonzero class \(u\in H^1(X;\mathbb{R})\), and a fibration \(F\hookrightarrow E\to X\) with \(\pi^*u=0\), one replaces \(C_*(\Omega X)\) by its Novikov completion \(C_*(\Omega X,u)\) and builds a Morse–Novikov complex with DG coefficients [2508.09580]. If the fibration is equipped with a fiberwise multiplication \(m:E\times_XE\to E\), the resulting Chas–Sullivan-like product is
\[
CS^u=(-1)^{d(d-j)}\,\widetilde m_*\circ \Delta_!\circ K:
H_i(X,C_*(F,u))\otimes H_j(X,C_*(F,u))
\to
H_{i+j-d}(X,C_*(F,u)),
\]
with associativity, graded commutativity under a commutativity hypothesis on \(m_*\), and compatibility with a multiplicative spectral sequence [2508.09580]. The paper notes that in general there is no unit when \(u\neq 0\), since classical Morse–Novikov theory gives \(H_d(X;\Lambda_u)=0\) [2508.09580].

## 5. Algebraic interpretations: Hodge theory, BV reduction, and string brackets

Although the product is the primary focus, several papers place Chas–Sullivan-type operations inside larger algebraic structures. For a simply connected space \(X\) of finite rational type, the Lie model \(a_X\) yields isomorphisms
\[
HH_\bullet(Ua_X)\cong H_*(LX;\mathbb{Q}),
\qquad
HC_\bullet(Ua_X)\cong H_*^{S^1}(LX;\mathbb{Q}),
\]
and the derived Poisson bracket on \(HC_\bullet(Ua_X)\) induced by a cyclic pairing on the Koszul dual coalgebra coincides, for a simply connected closed manifold \(M\), with the Chas–Sullivan string bracket on \(H_*^{S^1}(LM)\) [1605.01962]. The same paper constructs Hodge decompositions
\[
HC_\bullet(Ua)\cong \bigoplus_{p\ge 1} HC_\bullet^{(p)}(a),
\qquad
HH_\bullet(Ua)\cong \bigoplus_{p\ge 0} HH_\bullet^{(p)}(a),
\]
proves that the derived Poisson bracket preserves the corresponding filtration, and deduces a natural Hodge filtration on the Chas–Sullivan Lie algebra of any simply connected closed manifold [1605.01962].

A different algebraic reduction appears in the study of the string bracket. Over \(\mathbb{Q}\), if a closed simply connected manifold is BV-exact, equivalently if the \(S\)-action on negative cyclic homology is trivial, then the Chas–Sullivan string bracket on \(H_*^{S^1}(LM)\) is reduced to the loop product followed by the BV operator on loop homology [2109.10536]. The paper proves that spaces with positive weights are BV-exact and gives parallel results for the dual string cobracket on \(H^*(LBG)\) [2109.10536]. This does not redefine the loop product itself, but it shows that other string-topological operations may collapse to combinations of the loop product and the circle action.

These algebraic models suggest that “Chas–Sullivan-like” behavior is not tied to a single geometric category. In the data above, the same structure appears in universal enveloping algebras, cyclic and Hochschild homology, DG and \(A_\infty\)-module Morse models, and rational homotopy theory [1605.01962], [1903.10147], [2109.10536]. A plausible implication is that the defining feature is the compatibility of an intersection-type umkehr map with a concatenation-type monoidal operation, rather than the specific choice of loop space.

## 6. Computations, vanishing phenomena, and open directions

Explicit computations show both richness and rigidity. On compact symmetric spaces, there are many non-nilpotent classes in \(H_*(LM)\) whose powers under the Chas–Sullivan product correspond to iterates of closed geodesics [2212.09350]. For antipodal path spaces on even-dimensional spheres, the extended algebra \(H_{*+n}(LS^n)\oplus H_{*+n}(P_\alpha S^n)\) admits an explicit presentation over \(\mathbb{Q}\), and the extended coproduct yields resonance theorems for closed geodesics on \(\mathbb{RP}^n\) [2503.21348]. For \(P_{\mathbb{R}P^n}\mathbb{C}P^n\), the Pontryagin–Chas–Sullivan product is explicitly noncommutative and reflects the parity of \(n\) through different ring relations [1311.7292].

Vanishing results are equally prominent. The string topology coproduct, often viewed as a counterpart to the Chas–Sullivan product, is substantially harder to compute and is not homotopy invariant in general [2404.03460]. Intersection multiplicity methods show that the free coproduct vanishes on products \(N\times P\) with \(\chi(N)=\chi(P)=0\), and that the based coproduct vanishes for total spaces of fiber bundles with sections [2404.03460]. In higher-rank symmetric spaces, the based coproduct is trivial even though the Chas–Sullivan product remains highly non-trivial [2212.09350]. These contrasts underscore that product and coproduct behave very differently under geometric constraints.

Several open directions are explicit in the literature. For simply connected closed manifolds, the Hodge filtration on the Chas–Sullivan Lie algebra is proved, but it is conjectured that the bracket actually preserves the Hodge decomposition, not merely the filtration [1605.01962]. For homogeneous spaces such as \(SU(n+1)/T^n\) and \(Sp(n)/T^n\), detailed free-loop cohomology calculations are available, but the Chas–Sullivan product itself is not yet computed explicitly; the spectral-sequence data are presented as the input for such a computation [1706.10258]. In the Morse–Novikov setting, the product is constructed, but BV and Gerstenhaber refinements are not developed [2508.09580]. Recent Morse-theoretic work on path products and DG coefficients likewise suggests further extensions to coproducts and higher string operations [2508.09583].

Taken together, these results portray the Chas–Sullivan-like product as a broad structural motif in string topology: an operation of degree determined by a codimension, built by umkehr along a diagonal or diagonal-like embedding, followed by concatenation in a loop or path direction. Its incarnations range from free loops to endpoint-constrained paths, from equivariant Borel homology to Novikov completions, and from geometric intersections to Hochschild- and Ext-theoretic models [1506.00441], [2311.16891], [2412.18264], [1301.1785].

Source: https://www.emergentmind.com/topics/chas-sullivan-like-product