Жазықтық алгебралар және түйін инварианттары

In mathematics, planar algebras first appeared in the work of Vaughan Jones on the standard invariant of a II1 subfactor. They also provide an appropriate algebraic framework for many knot invariants (in particular the Jones polynomial), and have been used in describing the properties of Khovanov homology with respect to tangle composition. Any subfactor planar algebra provides a family of unitary representations of Thompson groups. Any finite group (and quantum generalization) can be encoded as a planar algebra.

A (shaded) planar tangle is the data of finitely many input disks, one output disk, non intersecting strings giving an even number, say , intervals per disk and one marked interval per disk. Here, the mark is shown as a shape. On each input disk it is placed between two adjacent outgoing strings, and on the output disk it is placed between two adjacent incoming strings. A planar tangle is defined up to isotopy.

To compose two planar tangles, put the output disk of one into an input of the other, having as many intervals, same shading of marked intervals and such that the marked intervals coincide. Finally we remove the coinciding circles. Note that two planar tangles can have zero, one or several possible compositions.

The planar operad is the set of all the planar tangles (up to isomorphism) with such compositions.

A planar algebra is a representation of the planar operad; more precisely, it is a family of vector spaces , called box spaces, on which acts the planar operad, i. e. for any tangle (with one output disk and input disks with and intervals respectively) there is a multilinear map

with according to the shading of the marked intervals, and these maps (also called partition functions) respect the composition of tangle in such a way that all the diagrams as below commute.

The family of vector spaces generated by the planar tangles having intervals on their output disk and a white (or black) marked interval, admits a planar algebra structure.

A semisimple and cosemisimple Hopf algebra over an algebraically closed field is encoded in a planar algebra defined by generators and relations, and "corresponds" (up to isomorphism) to a connected, irreducible, spherical, non degenerate planar algebra with non zero modulus and of depth two. Note that connected means (as for evaluable below), irreducible means , spherical is defined below, and non degenerate means that the traces (defined below) are non degenerate.