String Cobracket in Surface Topology

• String Cobracket is a loop-splitting operation that records self-intersections of immersed loops on oriented surfaces, forming part of a Lie bialgebra with the Goldman bracket.
• It measures and distinguishes loop simplicity through cutting at transverse double points, with implications for detecting embedded curves via power iterations.
• Advanced formulations include framed, tensorial, and homological approaches, integrating techniques from string topology and non-commutative algebra.

The string cobracket is an operation that records how a loop splits at its self-intersections. On an oriented surface, Turaev’s cobracket is defined on the free module generated by free homotopy classes of loops and sends a generic immersed loop to an antisymmetrized tensor sum of the two loops obtained by cutting at each transverse double point; together with the Goldman bracket it yields an involutive Lie bialgebra (Kawazumi, 2019). In string topology, the Goresky–Hingston coproduct induces a string cobracket on $S^1$-equivariant homology of the free loop space, and for closed surfaces this string cobracket is the negative of the Turaev cobracket (Hartenstein et al., 7 Oct 2025).

1. Surface definition and geometric meaning

Let $S$ be a connected oriented surface, $\pi=\pi_1(S)$, and $\lvert K\pi\rvert=K(A)$ the free $K$-module on free homotopy classes $A\cong\pi/{\rm conj}$. If $\alpha\colon S^1\to S$ is a generic immersion with transverse double points, then the Turaev cobracket is the map

$$\delta\;:\;\lvert K\pi\rvert\;\longrightarrow\; \lvert K\pi\rvert\;\otimes\;\lvert K\pi\rvert$$

given by

$$\delta\bigl\lvert\alpha\bigr\rvert \;=\; \sum_{(t_1,t_2)\in D_\alpha} \varepsilon\bigl(\alpha(t_1),\alpha(t_2)\bigr)\, \bigl\lvert \alpha_{[t_1,t_2]}\bigr\rvert \;\otimes\; \bigl\lvert \alpha_{[t_2,t_1]}\bigr\rvert,$$

where

$$D_\alpha =\bigl\{(t_1,t_2)\in S^1\times S^1\;;\;\alpha(t_1)=\alpha(t_2),\;t_1\neq t_2\bigr\},$$

$S$0 is the local intersection sign, and $S$1, $S$2 are the two arcs completed to loops (Kawazumi, 2019). In the equivalent geometric formulation used for surfaces with boundary,

$S$3

where $S$4 is the set of self-intersection points of a generic immersed loop $S$5 and the two local branches are ordered so that the pair of tangent vectors agrees with the orientation of the surface (Chas et al., 2010).

This definition makes precise the statement that the cobracket “measures self-intersection of a loop on a surface” (Kawazumi, 2019). If $S$6 is embedded with no self-intersection, then one can choose a representative with no transverse double points, and hence

$S$7

(Kawazumi, 2019). The vanishing on simple loops is therefore immediate from the definition, whereas the converse is more subtle.

2. Lie-coalgebraic structure and the simplicity problem

Turaev’s cobracket is coantisymmetric, satisfies the co-Jacobi identity, and is compatible with the Goldman bracket. More precisely, if

$S$8

denotes the Goldman bracket, then $S$9 satisfies

$\pi=\pi_1(S)$0

the co-Jacobi identity, and the Lie-bialgebra compatibility

$\pi=\pi_1(S)$1

Accordingly, $\pi=\pi_1(S)$2 is a Lie bialgebra in the sense of Drinfel’d, and Chas further showed that this Lie bialgebra is involutive (Kawazumi, 2019).

A central problem is whether vanishing of the cobracket detects embedded curves. For a non-power conjugacy class $\pi=\pi_1(S)$3, the statement

$\pi=\pi_1(S)$4

is denoted Turaev$\pi=\pi_1(S)$5 (Chas et al., 2010). The simplest version is false: computer computations show counterexamples to Turaev$\pi=\pi_1(S)$6 on every surface of negative Euler characteristic except the pair of pants (Chas et al., 2010). By contrast, the main theorem of Chas–Krongold proves Turaev$\pi=\pi_1(S)$7 for all $\pi=\pi_1(S)$8 on surfaces with boundary. More precisely, for any nonpower $\pi=\pi_1(S)$9 and any integer $\lvert K\pi\rvert=K(A)$0,

$\lvert K\pi\rvert=K(A)$1

where $\lvert K\pi\rvert=K(A)$2 is the minimal self-intersection number of $\lvert K\pi\rvert=K(A)$3 (Chas et al., 2010).

This establishes an important correction to a common overstatement. Vanishing of the string cobracket is not, by itself, an intrinsic characterization of simplicity at the level $\lvert K\pi\rvert=K(A)$4; however, sufficiently high powers do detect simplicity on surfaces with boundary (Chas et al., 2010).

3. Framed, completed, and Hodge-theoretic formulations

The unframed cobracket changes by monogon moves, so a framing yields a homotopy-invariant refinement. If $\lvert K\pi\rvert=K(A)$5 is a trivialization of the tangent bundle $\lvert K\pi\rvert=K(A)$6 and $\lvert K\pi\rvert=K(A)$7 is the rotation number of an immersed loop $\lvert K\pi\rvert=K(A)$8, then the framed cobracket is

$\lvert K\pi\rvert=K(A)$9

The pair $K$0 is again an involutive Lie bialgebra, and $K$1 is fully invariant under free homotopy of $K$2 (Kawazumi, 2019).

After completing in the $K$3-adic topology, the framed Turaev cobracket acquires additional structure. For a smooth affine curve $K$4 over $K$5 with an algebraic framing $K$6, the completed cobracket

$K$7

is a morphism of pro–mixed Hodge structure (Hain, 2018). Equivalently, $K$8 is a Lie coalgebra in the category of pro–mixed Hodge structures, and together with the Goldman bracket it forms an involutive Lie bialgebra in MHS (Hain, 2018).

The same circle of ideas has a homological formulation. Hain’s construction uses the real-oriented blow-up $K$9 of $A\cong\pi/{\rm conj}$0 along the diagonal and produces a relative $A\cong\pi/{\rm conj}$1-cycle attached to an immersed loop; capping with the framing class reproduces exactly the framed cobracket $A\cong\pi/{\rm conj}$2 (Kawazumi, 2019). This suggests a robust interpretation of the string cobracket as an intersection-theoretic operation encoded in configuration-space geometry.

4. Tensorial, combinatorial, and divergence descriptions

For genus-$A\cong\pi/{\rm conj}$3 compact surfaces, the cobracket admits a tensorial description through the standard group-like expansion. If $A\cong\pi/{\rm conj}$4 and $A\cong\pi/{\rm conj}$5 is characterized by

$A\cong\pi/{\rm conj}$6

then extending scalars and passing through $A\cong\pi/{\rm conj}$7 yields a continuous map

$A\cong\pi/{\rm conj}$8

whose explicit formula contains Bernoulli numbers (Kawazumi, 2015). The power series

$A\cong\pi/{\rm conj}$9

enters both the tensorial formula for the coaction and the description of the homotopy-intersection pairing, forcing Bernoulli numbers onto the final $\alpha\colon S^1\to S$0-formula (Kawazumi, 2015). In particular, the leading part recovers the classical “necklace” cobracket of Schedler, while the full series refines it by higher self-intersection data (Kawazumi, 2015).

A complementary algebraic description uses non-commutative divergence. For a formally smooth associative algebra $\alpha\colon S^1\to S$1 with a flat connection

$\alpha\colon S^1\to S$2

the divergence map is

$\alpha\colon S^1\to S$3

If $\alpha\colon S^1\to S$4 is flat, then $\alpha\colon S^1\to S$5 is a Lie-algebra $\alpha\colon S^1\to S$6-cocycle (Taniguchi, 2024). For a compact oriented surface with boundary and a free generating system $\alpha\colon S^1\to S$7, one has a canonical flat connection $\alpha\colon S^1\to S$8 and a based Goldman map

$\alpha\colon S^1\to S$9

with the identity

$$\delta\;:\;\lvert K\pi\rvert\;\longrightarrow\; \lvert K\pi\rvert\;\otimes\;\lvert K\pi\rvert$$0

for the rotation-free framing (Taniguchi, 2024). For closed surfaces, a homological connection on a perfect projective resolution of $$\delta\;:\;\lvert K\pi\rvert\;\longrightarrow\; \lvert K\pi\rvert\;\otimes\;\lvert K\pi\rvert$$1 yields an analogous formula

$$\delta\;:\;\lvert K\pi\rvert\;\longrightarrow\; \lvert K\pi\rvert\;\otimes\;\lvert K\pi\rvert$$2

where $$\delta\;:\;\lvert K\pi\rvert\;\longrightarrow\; \lvert K\pi\rvert\;\otimes\;\lvert K\pi\rvert$$3 is Vaintrob’s map (Taniguchi, 2024).

These descriptions show that the string cobracket is not merely a local cutting rule. It also admits tensorial, homological, and non-commutative algebraic realizations.

5. Refinements and extensions of the surface theory

A major refinement is Patricia Cahn’s operation $$\delta\;:\;\lvert K\pi\rvert\;\longrightarrow\; \lvert K\pi\rvert\;\otimes\;\lvert K\pi\rvert$$4, defined on free homotopy classes of loops on an oriented surface by replacing each self-intersection with a single chord diagram rather than a pure smoothing. If $$\delta\;:\;\lvert K\pi\rvert\;\longrightarrow\; \lvert K\pi\rvert\;\otimes\;\lvert K\pi\rvert$$5 is the free $$\delta\;:\;\lvert K\pi\rvert\;\longrightarrow\; \lvert K\pi\rvert\;\otimes\;\lvert K\pi\rvert$$6-module on one-chord diagrams, then

$$\delta\;:\;\lvert K\pi\rvert\;\longrightarrow\; \lvert K\pi\rvert\;\otimes\;\lvert K\pi\rvert$$7

and there is a canonical smoothing projection

$$\delta\;:\;\lvert K\pi\rvert\;\longrightarrow\; \lvert K\pi\rvert\;\otimes\;\lvert K\pi\rvert$$8

such that

$$\delta\;:\;\lvert K\pi\rvert\;\longrightarrow\; \lvert K\pi\rvert\;\otimes\;\lvert K\pi\rvert$$9

Thus $$\delta\bigl\lvert\alpha\bigr\rvert \;=\; \sum_{(t_1,t_2)\in D_\alpha} \varepsilon\bigl(\alpha(t_1),\alpha(t_2)\bigr)\, \bigl\lvert \alpha_{[t_1,t_2]}\bigr\rvert \;\otimes\; \bigl\lvert \alpha_{[t_2,t_1]}\bigr\rvert,$$0 is a refinement of the classical cobracket (Cahn, 2010). It satisfies coskew-symmetry and a co-Jacobi-type identity, and it yields an exact formula for the minimal self-intersection number: $$\delta\bigl\lvert\alpha\bigr\rvert \;=\; \sum_{(t_1,t_2)\in D_\alpha} \varepsilon\bigl(\alpha(t_1),\alpha(t_2)\bigr)\, \bigl\lvert \alpha_{[t_1,t_2]}\bigr\rvert \;\otimes\; \bigl\lvert \alpha_{[t_2,t_1]}\bigr\rvert,$$1 when $$\delta\bigl\lvert\alpha\bigr\rvert \;=\; \sum_{(t_1,t_2)\in D_\alpha} \varepsilon\bigl(\alpha(t_1),\alpha(t_2)\bigr)\, \bigl\lvert \alpha_{[t_1,t_2]}\bigr\rvert \;\otimes\; \bigl\lvert \alpha_{[t_2,t_1]}\bigr\rvert,$$2 with $$\delta\bigl\lvert\alpha\bigr\rvert \;=\; \sum_{(t_1,t_2)\in D_\alpha} \varepsilon\bigl(\alpha(t_1),\alpha(t_2)\bigr)\, \bigl\lvert \alpha_{[t_1,t_2]}\bigr\rvert \;\otimes\; \bigl\lvert \alpha_{[t_2,t_1]}\bigr\rvert,$$3 primitive (Cahn, 2010). In particular, $$\delta\bigl\lvert\alpha\bigr\rvert \;=\; \sum_{(t_1,t_2)\in D_\alpha} \varepsilon\bigl(\alpha(t_1),\alpha(t_2)\bigr)\, \bigl\lvert \alpha_{[t_1,t_2]}\bigr\rvert \;\otimes\; \bigl\lvert \alpha_{[t_2,t_1]}\bigr\rvert,$$4 if and only if $$\delta\bigl\lvert\alpha\bigr\rvert \;=\; \sum_{(t_1,t_2)\in D_\alpha} \varepsilon\bigl(\alpha(t_1),\alpha(t_2)\bigr)\, \bigl\lvert \alpha_{[t_1,t_2]}\bigr\rvert \;\otimes\; \bigl\lvert \alpha_{[t_2,t_1]}\bigr\rvert,$$5 is a power of a simple class (Cahn, 2010).

The same refinement has a virtual-string analogue. For a virtual string $$\delta\bigl\lvert\alpha\bigr\rvert \;=\; \sum_{(t_1,t_2)\in D_\alpha} \varepsilon\bigl(\alpha(t_1),\alpha(t_2)\bigr)\, \bigl\lvert \alpha_{[t_1,t_2]}\bigr\rvert \;\otimes\; \bigl\lvert \alpha_{[t_2,t_1]}\bigr\rvert,$$6, Turaev’s virtual-string cobracket $$\delta\bigl\lvert\alpha\bigr\rvert \;=\; \sum_{(t_1,t_2)\in D_\alpha} \varepsilon\bigl(\alpha(t_1),\alpha(t_2)\bigr)\, \bigl\lvert \alpha_{[t_1,t_2]}\bigr\rvert \;\otimes\; \bigl\lvert \alpha_{[t_2,t_1]}\bigr\rvert,$$7 and the generalized operation $$\delta\bigl\lvert\alpha\bigr\rvert \;=\; \sum_{(t_1,t_2)\in D_\alpha} \varepsilon\bigl(\alpha(t_1),\alpha(t_2)\bigr)\, \bigl\lvert \alpha_{[t_1,t_2]}\bigr\rvert \;\otimes\; \bigl\lvert \alpha_{[t_2,t_1]}\bigr\rvert,$$8 satisfy

$$\delta\bigl\lvert\alpha\bigr\rvert \;=\; \sum_{(t_1,t_2)\in D_\alpha} \varepsilon\bigl(\alpha(t_1),\alpha(t_2)\bigr)\, \bigl\lvert \alpha_{[t_1,t_2]}\bigr\rvert \;\otimes\; \bigl\lvert \alpha_{[t_2,t_1]}\bigr\rvert,$$9

where $$D_\alpha =\bigl\{(t_1,t_2)\in S^1\times S^1\;;\;\alpha(t_1)=\alpha(t_2),\;t_1\neq t_2\bigr\},$$0 is the “smoothing-off the sign” map (Cahn, 2011). If the minimal representative of $$D_\alpha =\bigl\{(t_1,t_2)\in S^1\times S^1\;;\;\alpha(t_1)=\alpha(t_2),\;t_1\neq t_2\bigr\},$$1 realizes an $$D_\alpha =\bigl\{(t_1,t_2)\in S^1\times S^1\;;\;\alpha(t_1)=\alpha(t_2),\;t_1\neq t_2\bigr\},$$2-fold power in $$D_\alpha =\bigl\{(t_1,t_2)\in S^1\times S^1\;;\;\alpha(t_1)=\alpha(t_2),\;t_1\neq t_2\bigr\},$$3 of its supporting surface, then

$$D_\alpha =\bigl\{(t_1,t_2)\in S^1\times S^1\;;\;\alpha(t_1)=\alpha(t_2),\;t_1\neq t_2\bigr\},$$4

For $$D_\alpha =\bigl\{(t_1,t_2)\in S^1\times S^1\;;\;\alpha(t_1)=\alpha(t_2),\;t_1\neq t_2\bigr\},$$5, this reduces to

$$D_\alpha =\bigl\{(t_1,t_2)\in S^1\times S^1\;;\;\alpha(t_1)=\alpha(t_2),\;t_1\neq t_2\bigr\},$$6

(Cahn, 2011). The paper also constructs a $$D_\alpha =\bigl\{(t_1,t_2)\in S^1\times S^1\;;\;\alpha(t_1)=\alpha(t_2),\;t_1\neq t_2\bigr\},$$7-arrow virtual string $$D_\alpha =\bigl\{(t_1,t_2)\in S^1\times S^1\;;\;\alpha(t_1)=\alpha(t_2),\;t_1\neq t_2\bigr\},$$8 with

$$D_\alpha =\bigl\{(t_1,t_2)\in S^1\times S^1\;;\;\alpha(t_1)=\alpha(t_2),\;t_1\neq t_2\bigr\},$$9

so that

$S$00

showing that $S$01 can be strictly stronger than both the virtual-string cobracket bound and Turaev’s based-matrix invariant (Cahn, 2011).

A further extension is a family of maps $S$02 parametrised by simple ribbon graphs with $S$03 vertices. For $S$04, $S$05 recovers the framed Turaev cobracket, $S$06 gives the double divergence, and for $S$07 the operations coincide with the ribbon-graph operations $S$08 in $S$09 (Taniguchi, 7 Feb 2025). When the connection is flat, the odd $S$10 define Chevalley–Eilenberg cocycles, and in the free associative case they recover the standard odd generators of $S$11 (Taniguchi, 7 Feb 2025).

6. String topology, surface comparison, and higher-dimensional limitations

In string topology, the string cobracket is defined on $S$12-equivariant homology by combining the transfer map with the Goresky–Hingston coproduct. For a closed oriented $S$13-manifold $S$14, one defines

$S$15

as the composite

$S$16

For a closed surface, the only nontrivial case is $S$17, and under the natural isomorphism

$S$18

one obtains a degree-$S$19 cobracket (Hartenstein et al., 7 Oct 2025). The main comparison theorem states that

$S$20

so on surfaces the string topology cobracket is the negative of the Turaev cobracket (Hartenstein et al., 7 Oct 2025).

At chain level, Naef–Willwacher model the string-topology cobracket algebraically on cyclic chains and construct an $S$21-structure such that the natural comparison map to the $S$22-equivariant loop-space homology intertwines the Lie bialgebra structure on homology (Naef et al., 2019). Their construction depends on the perturbative partition function of a Chern–Simons type topological field theory, and the one-loop part introduces terms in the cobracket that “do not depend only on the real homotopy type of $S$23, but on its finer smooth structure” (Naef et al., 2019). The later chain-level analysis via configuration-space integrals and Chen’s iterated integrals proves that homotopy transfer intertwines the involutive Lie bialgebra structures on homology (Cieliebak et al., 4 Jul 2026).

The surface picture does not extend unchanged to higher-dimensional string topology. For lens spaces $S$24 and $S$25, which are homotopy equivalent but not homeomorphic, explicit computations show that for $S$26 there are in total $S$27 nonzero components, whereas for $S$28 there are in total $S$29 nonzero components; accordingly, “the string cobracket is not a homotopy invariant” (Sumoto, 11 May 2026). The same work proves that there exists a closed manifold $S$30—namely $S$31—for which the string bracket and the string cobracket do not satisfy Drinfeld compatibility, so $S$32 does not carry an honest Lie bialgebra structure over $S$33 in higher dimensions (Sumoto, 11 May 2026).

A plausible implication is that the phrase “string cobracket” has two closely related but not universally interchangeable meanings: on surfaces it refers to Turaev’s loop-splitting Lie cobracket, while in higher-dimensional string topology it denotes an $S$34-equivariant operation whose homotopy invariance and Lie-bialgebraic behavior require additional hypotheses.