nLab infinitesimal braid relation

Redirected from "universal enveloping of infinitesimal braids is horizontal chord diagrams".
Contents

Context

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

Definition

Definition

(infinitesimal braid Lie algebra)

For nn \in \mathbb{N} natural numbers, let F({t ij} ij{1,,n})F(\{t_{i j}\}_{i\neq j \in \{1,\cdots, n\}}) be the free Lie algebra (over a given ground field) on generators t ijt_{i j} in degree with two indices ranging from 1 to nn and distinct.

The infinitesimal braid relations in dimension D=2D = 2 are the following relations on the underlying vector space of the free Lie algebra on generators {t ij} ij{1,,n}\{t_{i j}\}_{i\neq j \in \{1,\cdots, n\}}

(1)R0: t ijt ji =0 R1: [t ij,t kl] =0 R2: [t ij,t ik+t kj] =0 }for pairwise distinct indices \left. \begin{array}{lcll} R0: \;\; & t_{i j} - t_{j i} & = 0 \\ R1: \;\; & [t_{i j}, t_{k l}] & = 0 \\ R2: \;\; & [t_{i j}, t_{i k} + t_{k j}] & = 0 & \mathrlap{\,} \end{array} \right\} \text{for pairwise distinct indices} \;\;

This defines a quotient Lie algebra often denoted

nF({t ij} ij{1,,n})/(R0,R1,R2). \mathcal{L}_n \;\coloneqq\; F(\{t_{i j}\}_{i\neq j \in \{1,\cdots, n\}}) /(R0, R1, R2) \,.

More generally, there is a version of this in any dimension DD \in \mathbb{N} with some extra signs thrown in.

This is originally due to Kohno 87 (1.1.4), it appears also in Kohno 88, Bar-Natan 96, Fact 3, Fadell-Husseini 01, Cohen-Gitler 01, Section 3.

Authors have used different equivalent versions of this presentation, see Cohen-Gitler 02, p. 2 for a clear statement.

Properties

Relation to horizontal chord diagrams

If F({t ij} ij{1,,n})/R0F(\{t_{i j}\}_{i\neq j \in \{1,\cdots, n\}})/R0 is identified with the commutator Lie algebra of horizontal chord diagrams on nn strands, generated by

and forming an associative algebra under concatenation of diagrams along strands, as in

then the remaining infinitesimal braid relations (1) are equivalently the following:

R1 is the the 2T relation:

R2 is the 4T relation:

graphics from Sati-Schreiber 19c

Hence:

Proposition

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

The associative algebra

(𝒜 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 (this Def.), modulo the 2T relations and 4T relations (this Def.) is isomorphic to the universal enveloping algebra of the infinitesimal braid Lie algebra (Def. ):

(𝒜 n pb,)𝒰( n(D)). \big(\mathcal{A}_n^{pb}, \circ\big) \;\simeq\; \mathcal{U}(\mathcal{L}_n(D)) \,.
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

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