String topology operations under Chen's iterated integrals and homotopy transfer

Abstract: We develop the analytical foundations for integrals over configuration spaces used to relate chain-level $S<sup>1$-equivariant string topology to perturbative Chern-Simons theory. As an application, we prove that the composition of Chen's iterated integral with homotopy transfer intertwines the involutive Lie bialgebra structures on homology.

• The paper's main contribution is establishing a chain-level correspondence that intertwines the string bracket and cobracket with cyclic bar complex operations, forming an involutive Lie bialgebra.
• It employs Chen’s iterated integrals combined with homotopy transfer of A∞-structures to construct explicit chain-level models that link topological operations with analytic configuration space integrals.
• The framework facilitates applications in perturbative gauge theory and symplectic topology by providing rigorous analytic underpinnings for string topology operations.

String Topology Operations, Chen’s Iterated Integrals, and Homotopy Transfer: A Technical Exposition

---

Introduction and Context

The paper "String topology operations under Chen's iterated integrals and homotopy transfer" (2607.03782) provides an analytic and algebraic framework for relating chain-level string topology operations on the free loop space of a closed oriented manifold to perturbative Chern-Simons theory. Building upon previous foundational work by Chas and Sullivan, the authors analyze how the string bracket and cobracket on $S^1$-equivariant homology intertwine with algebraic operations defined on the cyclic bar complex of a harmonic subspace of the de Rham complex, via Chen’s iterated integral maps and homotopy transfer of $A_\infty$-structures.

This paper is motivated by the need for chain-level models of string topology operations—critical for detecting nontrivial algebraic structures of loop spaces as well as for applications in symplectic topology. The authors' approach yields an equivariant involutive Lie bialgebra structure at the chain level, facilitating a correspondence with structures arising in perturbative gauge theory.

---

Mathematical Foundations and Framework

String Topology and Lie Bialgebras

Let $M$ be a closed, connected, oriented $n$-manifold, $\Lambda = C^\infty(S^1, M)$ its free loop space, and $S^1$ acting naturally by rotation. String topology, as introduced by Chas and Sullivan, investigates operations on the (co)homology $H_*^{S^1}(\Lambda, \Lambda_0)$, where $\Lambda_0$ is the subspace of constant loops. These operations, notably the string bracket $\mu^{S^1}$ and cobracket $\lambda^{S^1}$, define an involutive Lie bialgebra structure on $A_\infty$0-equivariant homology relative to the constant loops.

Transferring these structures to the chain level requires a sophisticated interplay of algebraic and analytic techniques. The chain-level problem is reframed using the Jones–Chen isomorphism, pushing the question into cyclic (co)homology of the de Rham complex via Chen’s iterated integral.

Chen's Iterated Integrals and Cyclic Bar Complexes

Chen's theory constructs a quasi-isomorphism between the $A_\infty$1-equivariant chain complex of the free loop space and the cyclic cohomology of the de Rham algebra $A_\infty$2, incorporating the fundamental cyclic bar construction and cyclic (co)homology. The explicit chain-level map

$A_\infty$3

is known to be an isomorphism in the simply-connected setting.

The next translation (from the cyclic cohomology of the de Rham algebra to the dual cyclic bar complex of a harmonic subspace $A_\infty$4) hinges on homotopy transfer: the (transferred) $A_\infty$5-structure on $A_\infty$6, via a propagator, enables an explicit chain-level model compatible with the string topology operations.

---

Main Theorem and Correspondences

Canonical Structures and Homotopy Transfer

The main result is that the composition

$A_\infty$7

where $A_\infty$8 is the dual cyclic bar complex of $A_\infty$9 and $M$0 is the isomorphism from cyclic cohomology to homology of this complex, intertwines the string bracket $M$1 with the chain-level operation $M$2 and the string cobracket $M$3 with $M$4. In the simply connected case, this correspondence is an isomorphism.

Formally, the operations $M$5 and $M$6 define an involutive Lie bialgebra at the chain level, reflecting—under explicit analytic integration over configuration spaces—the topological operations on the free loop space.

---

Analytic Foundation: Configuration Space Integrals

A notable technical accomplishment of the paper is the development of an analytic underpinning for configuration space integrals that realize these operations at the chain level. The authors prove Stokes-type theorems and vanishing statements for integrals over compactified configuration spaces associated to ribbon graphs, generalizing prior work in finite type invariants and perturbative Chern-Simons theory.

The key analytic result is that configuration space integrals, constructed via pullback of propagators and differential forms and iteration over configuration spaces built from relevant graphs, satisfy the Stokes property modulo ‘hidden faces’—whose contributions vanish due to graph-theoretic cancellation mechanisms. This guarantees that the transferred $M$7-structures and their Maurer–Cartan twists realize the desired algebraic identities strictly at the chain level.

---

Algebraic Formalism: Homotopy Transfer and Cyclic $M$8-Algebras

Lifting string operations from homology to chains is managed using the homotopy transfer theorem in the context of cyclic $M$9-algebras. The harmonic subspace $n$0 (the image of the projector associated to the propagator) inherits a transferred $n$1-structure that is canonical up to $n$2-homotopy equivalence. The paper provides explicit sign conventions and tensorial structures needed for calculating with cyclic bar complexes and their duals.

The Maurer–Cartan element governing the twist required for equivariant string topology is carefully constructed via analytic configuration space integrals over connected trivalent ribbon graphs, ensuring well-definedness and independence (modulo cyclic symmetry) of labellings and choices.

---

Relations to Alternative Approaches and Prior Work

• Comparison with Model Approaches: The analytic method based on configuration space integrals contrasts with models using finite dimensional Poincaré duality models (e.g., Lambrechts–Stanley) or dgca models for configuration spaces (Campos–Willwacher). The paper’s framework provides independence from such models, facilitating generalizations to broader contexts (e.g., non-simply connected manifolds, as in Fukaya’s approach via de Rham chains).
• Homotopy Invariance: The chain-level structures defined analytically are shown to be homotopy invariant, and whenever there is an alternative algebraic construction (e.g., via finite-dimensional models), the resulting structures are $n$3-homotopy equivalent.

---

Implications and Future Directions

This work establishes analytic and algebraic machinery for encoding $n$4-equivariant string topology operations in explicit chain-level models compatible with cyclic $n$5-structures and Maurer–Cartan twists. The strict intertwining results ensure that calculations originating in field theory or symplectic topology (e.g., perturbative Chern–Simons invariants, closed string invariants) can be interpreted and computed using the rigorous language of configuration space integrals and homotopy theory.

Future developments may include:

• Extending these methods to more general symmetry group actions or to orbifolds and stacks.
• Applications to higher genus operations, open-closed string topology, and field-theoretic invariants beyond perturbative Chern–Simons theory.
• Incorporating chain-level BV structures and analyzing their deformation theory in connection with formality and quantization results.

---

Conclusion

The paper rigorously bridges chain-level equivariant string topology and homotopy-algebraic structures via analytic configuration space integrals, showing that the composition of Chen’s iterated integral with homotopy transfer intertwines the canonical involutive Lie bialgebra structures, thereby enabling explicit and calculable models of string topology operations suitable for applications in algebraic topology, field theory, and beyond (2607.03782).