nLab
Sullivan chord diagram

Contents

Contents

Idea

A Sullivan chord diagram (Cohen-Godin 03, Def. 1, following Chas-Sullivan 02) is a finite undirected graph given by attaching the external vertices of trees, equipped with cyclic ordering around their vertices, to a number of embedded oriented circles, e.g.

such that the embedded circles are boundary components of the induced ribbon graph surface:

graphics from Sati-Schreiber 19c

This way Sullivan chord diagrams DD induce 2-dimensional cobordisms, namely cospans of topological spaces,

Σ D (qS 1) inΣ D outΣ D(pS 1) \array{ && \Sigma_D \\ & \nearrow && \nwarrow \\ \mathllap{ \big( \underset{q}{\sqcup} S^1 \big) \simeq \; } \partial_{in}\Sigma_D && && \partial_{out} \Sigma_D \mathrlap{ \; \simeq \big( \underset{p}{\sqcup} S^1 \big) } }

with the induced ribbon graph surface Σ D\Sigma_D at the tip, the pp boundary components corresponding to the embedded circles (shown above in grey) as one leg, and the remaining qq boundary components (shown in blue) as the other.

Applying to this cospan the space of maps-functor Maps(,X)Maps(-,X) into any topological space XX, yields a span/correspondence

Maps(Σ D,X) (X) q (X) p \array{ && Maps(\Sigma_D, X) \\ & \swarrow && \searrow \\ \big(\mathcal{L}X\big)^q && && \big(\mathcal{L}X\big)^p }

between products of the free loop space of XX with itself. The induced integral transform operations on the ordinary homology of the free loop spaces are generalized string topology-operation (Cohen-Godin 03, Section 2).

(It is for this integral transform construction that the complement of the embedded circles is required to be a tree, for this allows to contract the spaces of maps out of these components, up to homotopy.)

Sullivan chord diagrams also naturally act on Hochschild homology/cyclic homology (Tradler-Zeinalian 04, Tradler-Zeinalian 06).

Properties

Relation to round chord diagrams

Every round chord diagram is also a Sullivan chord diagram.

Relation to Jacobi diagrams

Sullivan chord diagrams are much like Jacobi diagrams, but more general in that they may have more than one (disjointly) embedded circle and in that they are not required to be trivalent, and less general in that the complement of the embedded circles is required to be a disjoint union of trees. The last condition need not be satisfied by Jacobi diagrams, and hence not every Jacobi diagram is a Sullivan diagram.

For example, the following Jacobi diagram is NOT a Sullivan chord diagram:

Relation to horizontal chord diagrams

One obtains Sullivan chord diagrams with pp disjoint embedded circles from horizontal chord diagrams by closing up strands after acting with a permutation with pp cycles (pp orbits)

from Sati-Schreiber 19c

chord diagramsweight systems
linear chord diagrams,
round chord diagrams
Jacobi diagrams,
Sullivan chord diagrams
Lie algebra weight systems,
stringy weight system,
Rozansky-Witten weight systems


knotsbraids
chord diagram,
Jacobi diagram
horizontal chord diagram
1T&4T relation2T&4T relation/
infinitesimal braid relations
weight systemhorizontal weight system
Vassiliev knot invariantVassiliev braid invariant
weight systems are associated graded of Vassiliev invariantshorizontal weight systems are cohomology of loop space of configuration space

Applications

Chord diagrams as multi-trace observables in the BMN matrix model

The supersymmetric states of the BMN matrix model are temporally constant complex matrices which are complex metric Lie representations 𝔤VρV\mathfrak{g} \otimes V \overset{\rho}{\to} V of 𝔤=\mathfrak{g}=su(2) (interpreted as fuzzy 2-sphere noncommutative geometries of giant gravitons or equivalently as fuzzy funnels of D0-D2 brane bound states).

A fuzzy 2-sphere-rotation invariant multi-trace observable on these supersymmetric states is hence an expression of the following form:

Here we are showing the corresponding string diagram/Penrose notation for metric Lie representations, which makes manifest that

  1. these multi-trace observables are encoded by Sullivan chord diagrams DD

  2. their value on the supersymmetric states mathfralsu(2)VρV\mathfral{su}(2) \otimes V \overset{\rho}{\to}V is the evaluation of the corresponding Lie algebra weight system w Vw_{{}_V} on DD.

Or equivalently, if D^\widehat D is a horizontal chord diagram whose σ\sigma-permuted closure is DD (see here) then the values of the invariant multi-trace observables on the supersymmetric states of the BMN matrix model are the evaluation of w V,σw_{V,\sigma} on D^\widehat D, as shown here:

But since all horizontal weight systems are partitioned Lie algebra weight systems this way, this identifies supersymmetric states of the BMN matrix model as seen by invariant multi-trace observables as horizontal chord diagrams evaluated in Lie algebra weight systems.

from Sati-Schreiber 19c

References

In string topology:

The definition is due to

following

Also:

Review:

Action on Hochschild homology:

Last revised on January 15, 2020 at 11:10:13. See the history of this page for a list of all contributions to it.