nLab horizontal chord diagram

Contents

For discussion of standard round chord diagrams see at chord diagram.


Contents

Idea

A horizontal chord diagram on nn strands is a finite undirected graph that is obtained from a trivalent graph with nn numbered embedded disjoint circles by cutting the circles open (to give the strands), such that the result has all edges not inside the circles (the chords) be vertically ordered (i.e. along the strands) and going between distinct strands.

Here is an example of a horizontal chord diagram on 5 strands:

graphics from Sati-Schreiber 19c

Defintions

Monoid of horizontal chord diagrams

For nn \in \mathbb{N} (the number of strands), the monoid of horizontal chord diagrams is the free monoid

(1)𝒟 n pbFreeMonoid({(ij)|1i<jn}) \mathcal{D}^{pb}_n \;\coloneqq\; FreeMonoid \Big( \big\{ (i j) \,\vert\, 1 \leq i \lt j \leq n \big\} \Big)

on the set of pairs of distinct elements of {1,,n}\{1, \cdots, n\}, i.e. of pairs of strands, called the chords (the traditional superscript pbpb is for pure braids).

Hence a horizontal chord diagram is equivalently a finite list of chords

D=(i dj d)(i 2j 2)(i 1j 1) D \;=\; (i_d j_d) \cdot \cdots \cdot (i_2 j_2) \cdot (i_1 j_1)

and the product of chord diagrams is the concatenation of these list, with the empty list being the neutral element.

The function that sends the chord (ij)(i j) to that permutation of nn elements (strands) which is given by the transposition t ijt_{i j} of the iith with the jjth strand extends to a unique monoid homomorphism from the monoid of horizontal chord diagrams (1) to the symmetric group on nn elements:

𝒟 n pn perm Sym(n) (i dj d)(i 1j 1) t i dj dt i 1j 1. \array{ \mathcal{D}^{pn}_n &\overset{perm}{\longrightarrow}& Sym(n) \\ (i_d j_d) \cdot \cdots \cdot (i_1 j_1) &\mapsto& t_{i_d j_d} \circ \cdots \circ t_{i_1 j_1} \,. }

Closure to round chord diagrams

Given a horizontal chord diagram on nn strands and given any choice of cyclic permutation of nn elements, the trace of horizontal to round chord diagrams is the round chord diagram obtained by gluing the ends of the strands according to the cyclic permutation, and retaining the chords in the evident way.

The following shows an example of the trace operation for cyclic permutation of strands one step to the left:

graphics from Sati-Schreiber 19c

The following are the analogous traces of the four types of horizontal chord diagrams appearing in the 4T relation:

graphics from Sati-Schreiber 19c

This defines a function

tr:𝒞 pb𝒞 c tr \;\colon\; \mathcal{C}^{pb} \longrightarrow \mathcal{C}^c

from the set of horizontal chord diagrams to the set of round chord diagrams.

Algebra of horizontal chord diagrams

Definition

For nn \in \mathbb{N} and for , the linear span Span(𝒟 n pb)Span\big( \mathcal{D}_n^{pb}\big) on the set of horizontal chord diagrams on nn strands becomes an graded associative algebra

(Span(𝒟 n pb),) \big( Span\big( \mathcal{D}_n^{pb}\big), \circ \big)

under concatenation of strands.

For example:

The 2T- and 4T-relations

Definition

On the RR-module R𝒟 pbR\langle \mathcal{D}^{pb}\rangle of horizontal chord diagrams consider the following relations:

The 2T relations – for pairwise distinct indices i,j,k,li,j,k,l the (i,j)(i,j)-chord commutes with the (k,l)(k,l)-chord, for instance:

and the 4T relations – for pairwise distinct indices i,j,ki,j,k we have:

graphics from Sati-Schreiber 19c

In terms of the commutator Lie algebra of the above algebra (R𝒟 pb,)\big( R\langle \mathcal{D}^{pb}\rangle, \circ \big) of horizontal chord diagrams, these are the infinitesimal braid relations.

One writes

(2)𝒜 pbR𝒟 pb/(2T,4T) \mathcal{A}^{{}^{pb}} \;\coloneqq\; R\langle \mathcal{D}^{pb}\rangle/(2T,4T)

for the quotient algebra of horizontal chord diagrams by these relations.

Universal enveloping of infinitesimal braid relations

Proposition

(universal enveloping algebra of infinitesimal braid Lie algebra is horizontal chord diagrams modulo 2T&4T)

The associative algebra (2)

(𝒜 n pbSpan(𝒟 n pb)/(2T,4T),) \Big( \mathcal{A}_n^{{}^{pb}} \;\coloneqq\; Span \big( \mathcal{D}_n^{pb} \big)/(2T, 4T) , \circ \Big)

of horizontal chord diagrams on nn strands with product given by concatenation of strands (Def. ) modulo the 2T relations and 4T relations (Def. ) is isomorphic to the universal enveloping algebra of the infinitesimal braid Lie algebra (this Def.):

(𝒜 n pb,)𝒰( n(D)). \big(\mathcal{A}_n^{pb}, \circ\big) \;\simeq\; \mathcal{U}(\mathcal{L}_n(D)) \,.

Horizontal weight systems

An RR-linear map from the quotient module (2) of horizontal chord diagrams to RR

(3)w:𝒜 n pbR w \;\colon\; \mathcal{A}_n^{{}^{pb}} \longrightarrow R

is called a weight system on horizontal chord diagrams (of nn strands), or maybe a horizontal weight systems.

Hence for R=kR = k a field, the vector space of all horizontal weight systems is the degreewise dual vector space

𝒲 pb(𝒜 pb) * \mathcal{W}_{pb} \;\coloneqq\; \big( \mathcal{A}^{pb} \big)^\ast

(Bar-Natan 96, p. 3)

Star-algebra structure

Over a ground ring RR that is itself equipped with the structure of a star-algebra 𝔽() *𝔽\mathbb{F} \overset{(-)^\ast}{\to} \mathbb{F} (such as the real numbers, trivially, or the complex numbers via complex conjugation), we have that also the associative algebra (2)

(𝒜 n pbSpan(𝒟 n pb)/(2T,4T),) \Big( \mathcal{A}_n^{{}^{pb}} \;\coloneqq\; Span \big( \mathcal{D}_n^{pb} \big)/(2T, 4T) , \circ \Big)

of horizontal chord diagrams on nn strands with product given by concatenation of strands (Def. ) modulo the 2T relations and 4T relations (Def. )

becomes a star-algebra with star-operation

() *:𝒜 n pb𝒜 n pb (-)^\ast \;:\; \mathcal{A}_n^{{}^{pb}} \longrightarrow \mathcal{A}_n^{{}^{pb}}

given by reversing the orientation of strands:

Since horizontal chord diagrams are the homology of the loop space of configuration space and the homology of a loop space is an involutive Hopf algebra, this is a special case of the general fact that involutive Hopf algebras are star-algebras (here).

With respect to this star-algebra-structure one may ask (setting RR \coloneqq \mathbb{C} for definiteness) whether a given weight system (3)

w:𝒜 n pb𝒞 w \;\colon\; \mathcal{A}_n^{{}^{pb}} \longrightarrow \mathcal{C}

is a state on a star-algebra in that for any D𝒜 n pbD \in \mathcal{A}_n^{{}^{pb}} we have that the value of ww on the corresponding normal operator DD *D \cdot D^\ast is a non-negative real number:

(w𝒲 n pbis a state)AAAAAA(1. w(1)=1 2. D𝒜 n pb(w(DD *)0)). \Big( w \in \mathcal{W}_n^{{}^{pb}} \; \text{is a state} \Big) \phantom{AAA} \Leftrightarrow \phantom{AAA} \left( \begin{aligned} \text{1.}\;\;\; & w(1) = 1 \\ \text{2.}\;\;\; & \underset{ \mathclap{ D \in \mathcal{A}_n^{{}^{pb}} } }{ \forall } \;\;\;\; \Big( w(D \cdot D^\ast) \; \geq 0 \; \in \mathbb{R} \subset \mathbb{C} \Big) \end{aligned} \right) \,.

The weight systems which are states on a star-algebra with respect to this star-involution are discussed in CSS 21.

Closure to Sullivan chord diagrams

More generally, 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

Applications

Knizhnik-Zamolodchicov connection

For the Definition of the Knizhnik-Zamolodchikov connection we need the following notation:

  1. configuration spaces of points

    For N fN_{\mathrm{f}} \in \mathbb{N} write

    (4)Conf {1,,N f}( 2)( 2) n\FatDiagonal \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{R}^2) \;\coloneqq\; (\mathbb{R}^2)^n \backslash FatDiagonal

    for the ordered configuration space of n points in the plane, regarded as a smooth manifold.

    Identifying the plane with the complex plane \mathbb{C}, we have canonical holomorphic coordinate functions

    (5)(z 1,,z N f):Conf {1,,n}( 2) N f. (z_1, \cdots, z_{N_{\mathrm{f}}}) \;\colon\; \underset{{}^{\{1,\cdots,n\}}}{Conf}(\mathbb{R}^2) \longrightarrow \mathbb{C}^{N_{\mathrm{f}}} \,.
  2. horizontal chord diagrams

    (6)𝒜 N f pbSpan(𝒟 N f pb)/4T \mathcal{A}^{{}^{pb}}_{N_{\mathrm{f}}} \;\coloneqq\; Span\big(\mathcal{D}^{{}^{pb}}_{N_{\mathrm{f}}}\big)/4T

    for the quotient vector space of the linear span of horizontal chord diagrams on nn strands by the 4T relations (infinitesimal braid relations), regarded as an associative algebra under concatenation of strands (here).

Definition

(Knizhnik-Zamolodchikov form)

The universal Knizhnik-Zamolodchikov form is the horizontal chord diagram-algebra valued differential form (6) on the configuration space of points (4)

(7)ω KZΩ(Conf {1,,N f}(),𝒜 N f pb) \omega_{KZ} \;\in\; \Omega \big( \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{C}) \,, \mathcal{A}^{{}^{pb}}_{N_{\mathrm{f}}} \big)

given in the canonical coordinates (5) by:

(8)ω KZi<j{1,,n}d dRlog(z iz j)t ij, \omega_{KZ} \;\coloneqq\; \underset{ i \lt j \in \{1, \cdots, n\} }{\sum} d_{dR} log\big( z_i - z_j \big) \otimes t_{i j} \,,

where

is the horizontal chord diagram with exactly one chord, which stretches between the iith and the jjth strand.

Regarded as a connection form for a connection on a vector bundle, this defines the universal Knizhnik-Zamolodchikov connection KZ\nabla_{KZ}, with covariant derivative

ϕdϕ+ω KVϕ \nabla \phi \;\coloneqq\; d \phi + \omega_{KV} \wedge \phi

for any smooth function

ϕ:Conf {1,,N f}()𝒜 N f pbMod \phi \;\colon\; \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{C}) \longrightarrow \mathcal{A}^{{}^{pb}}_{N_{\mathrm{f}}} Mod

with values in modules over the algebra of horizontal chord diagrams modulo 4T relations.

The condition of covariant constancy

KZϕ=0 \nabla_{KZ} \phi \;=\; 0

is called the Knizhnik-Zamolodchikov equation.

Finally, given a metric Lie algebra 𝔤\mathfrak{g} and a tuple of Lie algebra representations

(V 1,,V N f)(𝔤Rep /) N f, ( V_1, \cdots, V_{N_{\mathrm{f}}} ) \;\in\; (\mathfrak{g} Rep_{/\sim})^{N_{\mathrm{f}}} \,,

the corresponding endomorphism-valued Lie algebra weight system

w V:𝒜 N f pfEnd 𝔤(V 1V N f) w_{V} \;\colon\; \mathcal{A}^{{}^{pf}}_{N_{\mathrm{f}}} \longrightarrow End_{\mathfrak{g}}\big( V_1 \otimes \cdots V_{N_{\mathrm{f}}} \big)

turns the universal Knizhnik-Zamolodchikov form (7) into a endomorphism ring-valued differential form

(9)ω KZi<j{1,,n}d dRlog(z iz j)w V(t ij)Ω(Conf {1,,N f}(),End(V 1V N f)). \omega_{KZ} \;\coloneqq\; \underset{ i \lt j \in \{1, \cdots, n\} }{\sum} d_{dR} log\big( z_i - z_j \big) \otimes w_V(t_{i j}) \;\in\; \Omega \big( \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{C}) \,, End\big(V_1 \otimes \cdot V_{N_{\mathrm{f}}} \big) \big) \,.

The universal formulation (7) is highlighted for instance in Bat-Natan 95, Section 4.2, Lescop 00, p. 7. Most authors state the version after evaluation in a Lie algebra weight system, e.g. Kohno 14, Section 5.

Proposition

(Knizhnik-Zamolodchikov connection is flat)

The Knizhnik-Zamolodchikov connection ω ZK\omega_{ZK} (Def. ) is flat:

dω ZK+ω ZKω ZK=0. d \omega_{ZK} + \omega_{ZK} \wedge \omega_{ZK} \;=\; 0 \,.
Proposition

(Kontsevich integral for braids)

The Dyson formula for the holonomy of the Knizhnik-Zamolodchikov connection (Def. ) is called the Kontsevich integral on braids.

(e.g. Lescop 00, side-remark 1.14)

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:

(from Sati-Schreiber 19c)

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 𝔰𝔲(2)VρV\mathfrak{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:

(from Sati-Schreiber 19c)

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.

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

References

Original articles:

Textbook accounts:

Discussion of the star-algebra-structure and associated states on horizontal chord diagrams:

Last revised on September 9, 2023 at 08:07:15. See the history of this page for a list of all contributions to it.