---
title: Chain-Level String Topology
url: https://www.emergentmind.com/topics/chain-level-string-topology
type: topic
---

# Chain-Level String Topology

Chain-level string topology is the study of string-topological operations before passage to homology, on explicit chain complexes that model the free loop space \(LM\) of a closed oriented manifold \(M\), or on algebraic substitutes such as Hochschild chains and cochains. In this setting, the Chas–Sullivan loop product, the circle-action operator, coproducts, brackets, and higher operations are realized as chain maps, operadic actions, properadic operations, or \(IBL_\infty\)-structures. A central theme is that the homology-level Batalin–Vilkovisky structure on \(\mathbb H_*(LM):=H_{*+d}(LM)\) can be reconstructed from the based loop space, from geometric loop-chain models, or from cyclic and Hochschild complexes, with these viewpoints linked by Poincaré duality, Atiyah duality, and Jones-type iterated integral maps [1103.6198] [1404.0153].

## 1. Algebraic foundations in based-loop chains

A foundational formulation replaces chains on the free loop space by the differential graded Hopf algebra \(A=C_*\Omega M\), where \(\Omega M\) is the based loop space. For a closed, connected, oriented smooth \(d\)-manifold \(M\), the string-topology BV structure on \(\mathbb H_*(LM)\) is generated by the Chas–Sullivan product
\[
\circ:H_p(LM)\otimes H_q(LM)\to H_{p+q-d}(LM)
\]
and the degree-\(1\) operator \(\Delta\) induced by the rotation action of \(S^1\) on \(LM\). Malm showed that this entire BV algebra can be reconstructed from Hochschild theory of \(C_*\Omega M\) [1103.6198].

The algebraic bridge has three components. First, the Goodwillie–Burghelea–Fiedorowicz identification gives
\[
HH_*(C_*\Omega X)\xrightarrow{\;\cong\;} H_*(LX),
\]
and intertwines Connes’ operator \(B\) with loop rotation:
\[
BFG\circ B=\Delta\circ BFG.
\]
Second, derived Poincaré duality for \(C_*\Omega X\)-modules identifies
\[
H^\bullet(X;E)\xrightarrow{\;\simeq\;}\Sigma^{-d}H_\bullet(X;E)
\]
for any \(C_*\Omega X\)-module \(E\), by capping with a fundamental class in \(\operatorname{Tor}^{C_*\Omega X}_d(k,k)\). Third, Hochschild chains and cochains with coefficients in \(A=C_*G\) are identified with \(\operatorname{Tor}\) and \(\operatorname{Ext}\) over \(A\) using the adjoint module \(\Ad(G)\). For \(G\simeq \Omega X\), this yields
\[
HH_*(C_*\Omega X)\cong H_\bullet(X;\Ad(\Omega X)),\qquad
HH^*(C_*\Omega X)\cong H^\bullet(X;\Ad(\Omega X)).
\]

Combining these ingredients gives an additive isomorphism
\[
D:HH^*(C_*\Omega M)\xrightarrow{\;\cong\;}HH_{*+d}(C_*\Omega M),
\]
and hence
\[
BFG\circ D:HH^*(C_*\Omega M)\xrightarrow{\;\cong\;}\mathbb H_*(LM).
\]
Pulling Connes’ operator back along \(D\) defines
\[
\kappa:=-D^{-1}BD.
\]
The triple \((HH^*(C_*\Omega M),\cup,\kappa)\) is then a BV algebra; its BV-derived bracket agrees with the usual Gerstenhaber bracket on Hochschild cohomology, and under \(BFG\circ D\) the cup product corresponds to the loop product while \(\kappa\) corresponds to \(-\Delta\). In this formulation, all string-topology operations are encoded in Hochschild cohomology of the based-loop chain algebra. A notable feature is that no simply-connectedness assumption is required; the constructions are formulated for \(k\)-oriented Poincaré duality spaces and in particular for closed oriented manifolds.

## 2. Geometric chain models on the free loop space

A second line of work realizes string topology directly on geometric chain complexes for \(LM\). Irie introduced de Rham chains \(C_*^{\mathrm{dR}}(X)\) for differentiable spaces \(X\), defined from plots \((U,\varphi)\) together with differential forms on \(U\), modulo relations generated by integration along fibers. These complexes admit functorial cross products and fiber products, and for manifolds and loop spaces satisfy
\[
H_*^{\mathrm{dR}}(M)\cong H_*(M;\mathbb R),\qquad
H_*^{\mathrm{dR}}(LM)\cong H_*(LM;\mathbb R).
\]
Using Moore loops with marked points, Irie defined differentiable spaces \(L_k^{\mathrm{reg}}\) and a nonsymmetric cyclic dg operad
\[
\mathcal O_M(k):=C^{\mathrm{dR}}_{*+d}(L_k^{\mathrm{reg}}).
\]
Ward’s cyclic Deligne theory then provides an action of a chain model of the framed little disks operad on the associated total complex \(\mathcal O_M^\triangle\), and
\[
H_*(\mathcal O_M^\triangle)\cong \mathbb H_*(LM)
\]
as BV algebras, with the induced multiplication and circle operator recovering the Chas–Sullivan product and BV operator [1404.0153].

A complementary geometric compactification was developed using spaces \(SD(g,k,\ell)\) of string diagrams, which are compact CW complexes of dimension
\[
4g-4+2k+3\ell.
\]
For each type \((g,k,\ell)\), Poirier–Rounds constructed a chain map
\[
\mathcal{ST}:\mathcal C_*(SD(g,k,\ell))\otimes C_*(LM^k)\to
C_{*+(2-2g-k-\ell)d}(LM^\ell),
\]
defined by evaluation at chord endpoints, pullback of a Thom class of the multidiagonal, cap product, and geodesic filling of the chords. After quotienting by slide equivalence, the induced homology operations recover the Cohen–Godin positive-boundary TQFT [1111.3635].

A further refinement gives explicit integral chain-level constructions of the loop product, the Goresky–Hingston coproduct, and a non-relative cohomology product. In that approach, all operations are written as compositions of singular-chain maps built from evaluation maps, cap products with a pulled-back Thom class, retractions defined by adding short geodesic “sticks,” and cutting or concatenation maps. The lifted coproduct
\[
\widehat{\vee}:H_*(\Lambda M)\to H_{*+1-n}(\Lambda M\times \Lambda M)
\]
and the extended cohomology product
\[
\widehat{\circledast}:H^*(\Lambda M)\otimes H^*(\Lambda M)\to H^{*+n-1}(\Lambda M)
\]
are compatible with the length filtration, and the identity
\[
\wedge\circ\widehat{\vee}=0
\]
holds on homology [1709.06839]. These geometric constructions avoid infinite-dimensional tubular neighborhoods by pulling all Thom data back from finite-dimensional neighborhoods of the diagonal in \(M^2\).

## 3. Properads, ribbon graphs, and universal operations

Chain-level string topology also admits a properadic organization. Merkulov constructed the chain gravity properad \(\mathrm{ChGrav}_{3-d}\) from ribbon graphs with white and black vertices, obtained by twisting a ribbon-graph properad by a degree-shifted Lie structure. This properad acts canonically on cyclic Hochschild complexes of cyclic \(A_\infty\)-algebras, and in particular on reduced cyclic Hochschild complexes of Poincaré duality algebras. Quotienting by the properadic ideal generated by graphs with black vertices of valency at least \(4\) or boundaries consisting only of black vertices yields the chain string topology properad
\[
ST_a:=\mathrm{ChGrav}_a/(I,\delta I).
\]
For a Poincaré duality algebra \(A\) of degree \(d\), the properad \(ST_{3-d}\) acts canonically on
\[
\overline{\mathrm{Cyc}(A^*[-1])},
\]
and its cohomology properad \(H^\bullet(ST_{3-d})\) acts on the reduced \(S^1\)-equivariant homology \(\bar H_\bullet^{S^1}(LM)\) of the free loop space of any connected, simply connected closed \(d\)-manifold [2201.01122].

This properadic framework organizes several previously distinct structures in one object. The cohomology properad \(H^\bullet(ST_{3-d})\) sits under the properad of involutive Lie bialgebras, so its action recovers the Chas–Sullivan involutive Lie bialgebra on \(\bar H_\bullet^{S^1}(LM)\). It also sits under the properad of homotopy involutive Lie bialgebras, exhibiting higher homotopy operations beyond the primary bracket and cobracket. In addition, the gravity operad \(\mathrm{grav}_{3-d}\) injects into \(H^\bullet(ST_{3-d})\), so classes in compactly supported cohomology of moduli spaces \(\mathcal M_{g,m+n}\) yield universal string-topology operations. In this sense, moduli of curves, ribbon-graph models, and chain-level cyclic Hochschild operations are assembled into a single properadic calculus.

## 4. \(S^1\)-equivariant, cyclic, and \(IBL_\infty\) formulations

A cocyclic approach makes the \(S^1\)-equivariant aspect explicit. For a space \(X\) with circle action, the cocyclic spaces \(X\times A^k\) yield mixed complexes \((S_{XA,*},b,B)\) and \((S_{XA,*},b,J)\), and their cyclic homology computes \(S^1\)-equivariant homology. In the de Rham-chain setting, the same construction applies to Irie’s loop operad \(\mathcal O_M\), producing the cyclic-invariant complex
\[
\mathcal C_M^{\mathrm{cyc}}=\mathcal O_M^{\mathrm{cyc}},
\]
whose homology is identified with negative \(S^1\)-equivariant homology:
\[
H_*(\mathcal C_M^{\mathrm{cyc}},b)\cong H_*^{S^1,-}(LM).
\]
Ward’s operad \(M^\circlearrowleft\) acts on \(\mathcal C_M^{\mathrm{cyc}}\), so this complex carries a homotopy gravity algebra whose homology recovers the string-topology gravity algebra [2203.04465].

A parallel and more field-theoretic formulation uses the dual cyclic bar complex
\[
B^{\mathrm{cyc}*}H[2-n]
\]
of a harmonic model \(H\subset \Omega^*(M)\). On this complex there is a canonical dIBL structure, and perturbative Chern–Simons theory produces a Maurer–Cartan element by configuration-space integrals over ribbon graphs. This yields an \(IBL_\infty\)-structure that models equivariant string topology on cyclic Hochschild cochains of de Rham cohomology [2003.07933]. A later existence and uniqueness theorem states that there is a Maurer–Cartan element
\[
\mathfrak n=\{\mathfrak n_{\ell,g}\}
\]
for the canonical dIBL structure on
\[
C=B^{\mathrm{cyc}*}H^*_{\mathrm{dR}}(M)[2-n],
\]
unique up to \(IBL_\infty\)-gauge equivalence, such that the twisted homology of \((C,\{\mathfrak q_{klg}\}^{\mathfrak n})\) is canonically isomorphic to Connes’ cyclic cohomology \(HC_\lambda^*(\Omega^*(M))\). For simply connected \(M\), this realizes chain-level \(S^1\)-equivariant string topology [2312.05922].

The analytic completion of this picture uses configuration spaces, propagators on the real blow-up \(\hat M^2\), Chen’s iterated integrals, and homotopy transfer. In that framework, the map
\[
\Phi=G_\lambda^*\circ \iota_*\circ \bar J_{\lambda *}
\]
from \(H_*^{S^1}(\Lambda,q_0)\) to the homology of a twisted dIBL complex intertwines the string bracket and cobracket with the dIBL bracket and cobracket. This identifies the involutive Lie bialgebra on equivariant loop homology with the one obtained from homotopy transfer of the de Rham DGA and perturbative Chern–Simons theory [2607.03782].

## 5. Coproducts, self-intersections, and algebraic analogues

The loop coproduct and its relatives are among the most delicate chain-level operations. The explicit chain models for the lifted coproduct \(\widehat{\vee}\) show that iterating the coproduct detects self-intersections of loops: if \(\widehat{\vee}^k[Z]\neq 0\), then every chain representative of \([Z]\) contains a loop with a \((k+1)\)-fold self-intersection. For spheres and projective spaces, this criterion is sharp: \(\widehat{\vee}^k[A]=0\) exactly when \([A]\) can be represented by loops with at most \(k\)-fold self-intersections [1709.06839].

Hochschild chain models make these operations algebraically explicit. For a Poincaré duality CDGA \(A\) modeling a simply connected closed manifold, the degenerate coproducts are represented by concrete maps
\[
P_0^h,\ P_1^h:CH_*(A)\otimes CH_*(A)\to CH_*(A),
\]
and a chain homotopy
\[
P^h:CH_*(A)\otimes CH_*(A)\to CH_*(A)
\]
satisfying \(P_1^h-P_0^h=dP^h+P^h d\). Restricting \(P^h\) to the reduced Hochschild complex yields a chain model of the Goresky–Hingston product. In the same framework, the degenerate string coproduct is shown to be almost trivial, and nonnilpotent local level classes for the Chas–Sullivan and Goresky–Hingston products detect closed geodesics with optimal index growth rates [1903.10147].

A noncommutative algebraic analogue replaces \(C_*(LM)\) by Hochschild chains \(C_*(A,A)\) of a smooth \(A_\infty\)-category equipped with a pre-Calabi–Yau structure \(\alpha\) and a trivialization of the chain-level Chern character \(E\) of the diagonal bimodule. From a trivialization \((W,H)\) of \(E\), one constructs
\[
\lambda_H:C_*(A,A)\to
\frac{C_*(A,A)\otimes C_*(A,A)}
{W\otimes C_*(A,A)+C_*(A,A)\otimes W}[n-1],
\]
which is the algebraic loop coproduct. It satisfies a Sullivan-type infinitesimal bialgebra relation with the algebraic loop product \(\pi\),
\[
\lambda_H\circ \pi=(\pi\otimes 1)(1\otimes \lambda_H)+(1\otimes\pi)(\lambda_H\otimes 1),
\]
and under balanced and symmetry conditions induces cocommutative and coassociative structures on reduced Hochschild homology [2308.09684]. This suggests that the Goresky–Hingston coproduct has a natural extension from manifold models to smooth \(A_\infty\)-categories and formal punctured neighborhoods of infinity.

## 6. Examples, obstructions, and comparison phenomena

Concrete examples show that chain-level refinements are not optional. For \(S^2\) over \(\mathbb Z_2\), Menichi had shown that the string-topology BV algebra on
\[
H_\bullet(LS^2;\mathbb Z_2)[-2]
\]
is not isomorphic, as a BV algebra, to the BV structure on
\[
HH^\bullet(H^\bullet(S^2;\mathbb Z_2),H^\bullet(S^2;\mathbb Z_2))
\]
obtained using only ordinary Poincaré duality on cohomology. Poirier–Tradler resolved this discrepancy by replacing strict cohomological duality with a homotopy-coherent Poincaré duality structure on cochains, described by a homotopy inner product \(F=\{F_{p,q}\}\). The transferred higher-homotopy duality on \(H^\bullet(S^2;\mathbb Z_2)\) then yields a BV operator on Hochschild cohomology that matches the string-topology BV operator [2301.05381].

This example isolates a general issue. Strict algebraic models may correctly recover the Gerstenhaber structure while still missing the correct BV operator. By contrast, the based-loop model through \(C_*\Omega M\) encodes the BV structure by transporting Connes’ \(B\)-operator across derived Poincaré duality, and does so without a simply-connectedness hypothesis [1103.6198]. The discrepancy on \(S^2\) therefore should not be read as a failure of Hochschild methods; rather, it indicates that the relevant duality data must be imposed at chain level and with higher homotopies.

A broader comparison emerges from the literature. Geometric loop-chain models retain evaluation maps, geodesic retractions, and filtrations by length or energy; based-loop and Hochschild models give strict algebraic control through Hopf algebras, bar constructions, and cyclic operators; properadic and \(IBL_\infty\) models organize higher-genus and equivariant operations uniformly. A plausible implication is that “chain-level string topology” is not a single complex but a web of quasi-equivalent realizations, each emphasizing a different structural feature: BV and Gerstenhaber structures, coproduct and self-intersection phenomena, properadic operations from moduli spaces, or \(S^1\)-equivariant Lie bialgebra structures.

Source: https://www.emergentmind.com/topics/chain-level-string-topology