nLab Lie algebra weight system

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |
Contents

Context

Knot theory

knot theory

knot, link

Examples/classes:

Types

knot invariants

link invariants

Related concepts:

category: knot theory

Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Related topics

Examples

∞\infty-Lie groupoids

∞\infty-Lie groups

∞\infty-Lie algebroids

∞\infty-Lie algebras

Contents

Idea

In knot theory, a large class of weight systems arises from reading a (horizontal) chord diagram as a string diagram in the evident way, and then labeling it by the structure morphisms of a metric Lie algebra object equipped with a metric Lie algebra representation internal to a suitable tensor category.

graphics from Sati-Schreiber 19c

This does yield weight systems, because – using that chord diagrams modulo 4T are Jacobi diagrams modulo STU – the required STU-relations translate into the structural equations satisfied by Lie modules (Jacobi identity and Lie action property); see Roberts & Willerton 06, Theorem 3.1, following Vaintrob 94, Vogel 11 following Bar-Natan 95, 2.4, Bar-Natan 96 following Kontsevich 94.

The weight systems arising this way are called Lie algebra weight systems.

Properties

Ubiquity

On round chord diagrams

Examples of weight systems on (ordinary, round) chord diagrams which are not Lie algebra weight systems are rare. Originally it was conjectured that none exist (Bar-Natan 95, Conjecture 1, Bar-Natan & Stoimenow 97, Conjecture 2.4).

Eventually, a (counter-)example of a weight system which at least does not arise from any finite-dimensional super Lie algebra was given in Vogel 11.

On horizontal chord diagrams

For horizontal chord diagrams we have:

Stringy weight systems span classical Lie algebra weight systems

stringy weight systems span classical Lie algebra weight systems

Relation to Adams operations

On the vector space 𝒜\mathcal{A} of Jacobi diagrams modulo STU-relations (equivalently chord diagrams modulo 4T relations) there is a system of linear maps (for q∈ℤq \in \mathbb{Z}, q≠0q \neq 0)

ψ q:𝒜⟶𝒜 \psi^q \;\colon\; \mathcal{A} \longrightarrow \mathcal{A}

which respect the coalgebra structure and satisfy

ψ q 2∘ψ q 1=ψ q 1⋅q 2 \psi^{q_2} \circ \psi^{q_1} \;=\; \psi^{q_1 \cdot q_2}

and as such are (dually) analogous to the Adams operations on topological K-theory.

(Bar-Natan 95, Def. 3.11 & Theorem 7)

In fact, when evaluated in Lie algebra weight systems w Nw_{\mathbf{N}} and under the identification (see here) of the representation ring of a compact Lie group GG with the GG-equivariant K-theory of the point, these Adams operations on Jacobi diagrams correspond to the Adams operations on equivariant K-theory:

w N(ψ qD)=w ψ qN(D). w_{\mathbf{N}}(\psi^q D) \;=\; w_{\psi^q \mathbf{N}}(D) \,.

(Bar-Natan 95, Exc. 6.24 )

For more see at Adams operation on Jacobi diagrams.

As expectation values of single trace observables

We discuss how Lie algebra weight systems on round chord diagrams arise in quantum field theory and statistical mechanics as expectation values of suitable single trace observables subject to Wick's theorem.

So consider

For comparison with traditional literature, choose

  1. a linear basis {v a}\{v^a\} of CC

  2. a linear basis {t i}\{t^i\} of 𝔤\mathfrak{g}

In terms of these linear bases, the representation is given by a sequence ρ i\rho^i of square matrices ((ρ i) a b)\big((\rho^i)^a{}_b\big) such that

(ρ i) a bv b≔ρ(t i,v a) (\rho^i)^a{}_b v^b \;\coloneqq\; \rho(t^i, v^a)

with the Einstein summation convention understood here and in the following.

We write k=(k ij)k = (k_{i j}) for the components of the Lie algebra metric in this basis, and write

ρ i≔k ijρ j \rho_i \;\coloneqq\; k_{i j} \rho^j

With all this understood, a field/random variable with values in 𝔤\mathfrak{g} is

Z=Z i⋅ρ i Z \;=\; Z_i \cdot \rho^i \;\;

for scalar field components Z iZ_i.

Now assume that the Z iZ_i are free fields/random variables with Gaussian distribution, hence such that

⟨Z i⟩=0 \langle Z_i \rangle \;=\; 0
⟨Z iZ j⟩=k ij \langle Z_i Z_j \rangle \;=\; k_{i j}

and such that Wick's theorem applies to higher moments:

⟨Z i 1Z i 2Z i 3Z i 4⟩=k i 1i 2k i 3i 4+k i 1i 3k i 2i 4+k i 1i 4k i 2i 3 \langle Z_{i_1} Z_{i_2} Z_{i_3} Z_{i_4} \rangle \;=\; k_{i_1 i_2} k_{i_3 i_4} + k_{i_1 i_3} k_{i_2 i_4} + k_{i_1 i_4} k_{i_2 i_3}

etc.

Consider the expectation values of single trace observables:

⟨tr(ZZ⋯Z⏟nfactors)⟩≔⟨Z i 1Z i 2⋯Z i n⟩⋅tr(ρ i 1⋅ρ i 2⋯ρ i n) \Big\langle tr \big( \underset{ \mathclap{ n\, factors } }{ \underbrace{ Z Z \cdots Z } } \big) \Big\rangle \;\coloneqq\; \big\langle Z_{i_1} Z_{i_2} \cdots Z_{i_n} \big\rangle \cdot tr \big( \rho^{i_1} \cdot \rho^{i_2} \cdots \rho^{i_n} \big)

Using Wick's theorem, they are given by

⟨tr(ZZZZ)⟩ =⟨Z i 1Z i 2Z i 3Z i 4⟩⋅tr(ρ i 1⋅ρ i 2⋅ρ i 3⋅ρ i 4) =+k i 1i 2k i 3i 4⋅tr(ρ i 1⋅ρ i 2⋅ρ i 3⋅ρ i 4) =+k i 1i 3k i 2i 4⋅tr(ρ i 1⋅ρ i 2⋅ρ i 3⋅ρ i 4) =+k i 1i 4k i 2i 3⋅tr(ρ i 1⋅ρ i 2⋅ρ i 3⋅ρ i 4) =2⋅tr(ρ i⋅ρ i⋅ρ j⋅ρ j) =+tr(ρ i⋅ρ j⋅ρ i⋅ρ j) \begin{aligned} \Big\langle tr \big( Z Z Z Z \big) \Big\rangle & = \big\langle Z_{i_1} Z_{i_2} Z_{i_3} Z_{i_4} \big\rangle \cdot tr \big( \rho^{i_1} \cdot \rho^{i_2} \cdot \rho^{i_3} \cdot \rho^{i_4} \big) \\ & = \phantom{+\;} k_{i_1 i_2} \, k_{i_3 i_4} \cdot tr \big( \rho^{i_1} \cdot \rho^{i_2} \cdot \rho^{i_3} \cdot \rho^{i_4} \big) \\ & \phantom{=\;} + k_{i_1 i_3} \, k_{i_2 i_4} \cdot tr \big( \rho^{i_1} \cdot \rho^{i_2} \cdot \rho^{i_3} \cdot \rho^{i_4} \big) \\ & \phantom{=\;} + k_{i_1 i_4} \, k_{i_2 i_3} \cdot tr \big( \rho^{i_1} \cdot \rho^{i_2} \cdot \rho^{i_3} \cdot \rho^{i_4} \big) \\ & = 2 \cdot tr \big( \rho_i \cdot \rho^i \cdot \rho_j \cdot \rho^j \big) \\ & \phantom{=\;} + tr \big( \rho_{i} \cdot \rho_j \cdot \rho^i \cdot \rho^j \big) \end{aligned}

etc.

Here Wick's theorem in the first lines is given by a sum over linear chord diagrams, and the trace then serves to close these to round chord diagrams:

from Sati-Schreiber 19c

The values of the traces in the last line are the values of the Lie algebra weight system w Cw_C on the chord diagram which reflects the Wick-contractions modulo cyclic permutation.

Essentially this observation (specifically for SYK-model-like systems and without mentioning of weight systems) appears in GGJJV 18, Section 2.2, Jia-Verbaarschot 18, Section 4, BNS 18, Section 2.1, BINT 18, Section 2, Narovlansky 19, Slides 5-21.

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

General

Lie algebra weight systems motivated from Yang-Mills theory Feynman amplitudes:

The concept of round Lie algebra weight systems for Chern-Simons theory with Wilson lines originates around

  • Maxim Kontsevich, Feynman diagrams and low-dimensional topology, First European Congress of Mathematics, 1992, Paris, vol. II, Progress in Mathematics 120, Birkhäuser (1994), 97–121 (pdf)

  • Dror Bar-Natan, Section 2.4 of: On the Vassiliev knot invariants, Topology Volume 34, Issue 2, April 1995, Pages 423-472 (doi:10.1016/0040-9383(95)93237-2, pdf)

and for horizontal weight systems in

reviewed in

Discussion of fundamental 𝔤𝔩(n)\mathfrak{gl}(n)-weight systems in terms of Cayley distance kernels on the symmetric group:

See also:

  • Dmitry Khudoteplov, Elena Lanina, Alexey Sleptsov: Construction of Lie algebra weight system kernel via Vogel algebra [arXiv:2411.14417]

Via string diagrams

From the construction given in Bar-Natan 95, Section 2.4 the interpretation of Lie algebra weight systems in terms of string diagrams for Lie algebra objects in tensor categories is evident, but standard textbooks in knot theory/combinatorics do not pick this up:

The interpretation of Lie algebra weight systems as string diagram-calculus and generalization to Lie algebra objects (motivated by generalization at least to super Lie algebras) is made more explicit in

and fully explicit in

See also

For 𝔰𝔩(2)\mathfrak{sl}(2)

For the special linear Lie algebra 𝔰𝔩(2)\mathfrak{sl}(2)

For 𝔰𝔩(N)\mathfrak{sl}(N)

For the special linear Lie algebra 𝔰𝔩(N)\mathfrak{sl}(N) for all NN:

  • Fumikazu Nagasato, A Diagrammatic Construction of the (sl(N,ℂ,ρ))(sl(N,\mathbb{C}, \rho))-Weight System, Interdisciplinary Information Sciences, 9 1 (2003) 43-51 (doi:10.4036/iis.2003.43)

  • Fumikazu Nagasato, An Exposition of the 𝔰𝔩(N,ℕ)\mathfrak{sl}(N,\mathbb{N})-Weight System, Journal of Lie Theory 17 (2007), No. 2, 263–281, Heldermann Verlag 2007 (jlt:17014)

For 𝔤𝔩(1|1)\mathfrak{gl}(1\vert1)

For the super Lie algebra 𝔤𝔩(1|1)\mathfrak{gl}(1\vert1):

Further discussion

Relation of the colored Jones polynomial to Lie algebra weight systems on chord diagrams:

On the logical equivalence between the four-colour theorem and a statement about transition from the small N limit to the large N limit for Lie algebra weight systems on Jacobi diagrams via the 't Hooft double line construction:

Chord diagrams and weight systems in Physics

The following is a list of references that involve (weight systems on) chord diagrams/Jacobi diagrams in physics:

  1. In Chern-Simons theory

  2. In Dp-D(p+2) brane intersections

  3. In quantum many body models for for holographic brane/bulk correspondence:

    1. In AdS2/CFT1, JT-gravity/SYK-model

    2. As dimer/bit thread codes for holographic entanglement entropy

For a unifying perspective (via Hypothesis H) and further pointers, see:

Review:

In Chern-Simons theory

Since weight systems are the associated graded of Vassiliev invariants, and since Vassiliev invariants are knot invariants arising as certain correlators/Feynman amplitudes of Chern-Simons theory in the presence of Wilson lines, there is a close relation between weight systems and quantum Chern-Simons theory.

Historically this is the original application of chord diagrams/Jacobi diagrams and their weight systems, see also at graph complex and Kontsevich integral.

from Bar-Natan 1991

Reviewed in:

Applied to Gopakumar-Vafa duality:

  • Dave Auckly, Sergiy Koshkin, Introduction to the Gopakumar-Vafa Large NN Duality, Geom. Topol. Monogr. 8 (2006) 195-456 (arXiv:0701568)

See also

For single trace operators in AdS/CFT duality

Interpretation of Lie algebra weight systems on chord diagrams as certain single trace operators, in particular in application to black hole thermodynamics

In AdS 2/CFT 1AdS_2/CFT_1, JT-gravity/SYK-model

Discussion of (Lie algebra-)weight systems on chord diagrams as SYK model single trace operators:

  • Antonio M. García-García, Yiyang Jia, Jacobus J. M. Verbaarschot, Exact moments of the Sachdev-Ye-Kitaev model up to order 1/N 21/N^2, JHEP 04 (2018) 146 (arXiv:1801.02696)

  • Yiyang Jia, Jacobus J. M. Verbaarschot, Section 4 of: Large NN expansion of the moments and free energy of Sachdev-Ye-Kitaev model, and the enumeration of intersection graphs, JHEP 11 (2018) 031 (arXiv:1806.03271)

  • Micha Berkooz, Prithvi Narayan, Joan Simón, Chord diagrams, exact correlators in spin glasses and black hole bulk reconstruction, JHEP 08 (2018) 192 (arxiv:1806.04380)

following:

  • László Erdős, Dominik Schröder, Phase Transition in the Density of States of Quantum Spin Glasses, D. Math Phys Anal Geom (2014) 17: 9164 (arXiv:1407.1552)

which in turn follows

  • Philippe Flajolet, Marc Noy, Analytic Combinatorics of Chord Diagrams, pages 191–201 in Daniel Krob, Alexander A. Mikhalev,and Alexander V. Mikhalev, (eds.), Formal Power Series and Algebraic Combinatorics, Springer 2000 (doi:10.1007/978-3-662-04166-6_17)
from Narovlansky 2019

With emphasis on the holographic content:

  • Micha Berkooz, Mikhail Isachenkov, Vladimir Narovlansky, Genis Torrents, Section 5 of: Towards a full solution of the large NN double-scaled SYK model, JHEP 03 (2019) 079 (arxiv:1811.02584)

  • Vladimir Narovlansky, Slide 23 (of 28) of: Towards a Solution of Large NN Double-Scaled SYK, 2019 (pdf)

  • Micha Berkooz, Mikhail Isachenkov, Prithvi Narayan, Vladimir Narovlansky, Quantum groups, non-commutative AdS 2AdS_2, and chords in the double-scaled SYK model [arXiv:2212.13668]

  • Herman Verlinde, Double-scaled SYK, Chords and de Sitter Gravity [arXiv:2402.00635]

  • Micha Berkooz, Nadav Brukner, Yiyang Jia, Ohad Mamroud, A Path Integral for Chord Diagrams and Chaotic-Integrable Transitions in Double Scaled SYK [arXiv:2403.05980]

and specifically in relation, under AdS2/CFT1, to Jackiw-Teitelboim gravity:

In Dpp/D(p+2)(p+2)-brane intersections

from Sati and Schreiber 19c

Discussion of weight systems on chord diagrams as single trace observables for the non-abelian DBI action on the fuzzy funnel/fuzzy sphere non-commutative geometry of Dp-D(p+2)-brane intersections (hence Yang-Mills monopoles):

As codes for holographic entanglement entropy

From Yan 20

Chord diagrams encoding Majorana dimer codes and other quantum error correcting codes via tensor networks exhibiting holographic entanglement entropy:

From Jahn and Eisert 21

For Dyson-Schwinger equations

Discussion of round chord diagrams organizing Dyson-Schwinger equations:

  • Nicolas Marie, Karen Yeats, A chord diagram expansion coming from some Dyson-Schwinger equations, Communications in Number Theory and Physics, 7(2):251291, 2013 (arXiv:1210.5457)

  • Markus Hihn, Karen Yeats, Generalized chord diagram expansions of Dyson-Schwinger equations, Ann. Inst. Henri Poincar Comb. Phys. Interact. 6 no 4:573-605 (arXiv:1602.02550)

  • Paul-Hermann Balduf, Amelia Cantwell, Kurusch Ebrahimi-Fard, Lukas Nabergall, Nicholas Olson-Harris, Karen Yeats, Tubings, chord diagrams, and Dyson-Schwinger equations [arXiv:2302.02019]

Review in:

  • Ali Assem Mahmoud, Section 3 of: On the Enumerative Structures in Quantum Field Theory (arXiv:2008.11661)

Other

Appearance of horizontal chord diagrams in discussion of neutrino interactions in supernovae:

  • Duff Neill, Hanqing Liu, Joshua Martin, Alessandro Roggero: Scattering Neutrinos, Spin Models, and Permutations [arXiv:2406.18677]

Last revised on November 22, 2024 at 05:58:45. See the history of this page for a list of all contributions to it.

EditDiscussPrevious revisionChanges from previous revisionHistory (38 revisions) Cite Print Source