Алгебры Ли в симметрических моноидальных категориях

Изучаются алгебры, определенные тождествами в симметрических моноидальных категориях, в частности алгебры Ли. Примеры таких алгебр появляются при изучении инвариантов узлов и инвариантов Виттена–Розанского. Основным результатом является доказательство гипотезы Вестбури для K3-поверхности: существует гомоморфизм из универсальной простой алгебры Вожеля в алгебру Ли, описывающую инварианты Виттена–Розанского K3-поверхности. Строится язык, необходимый для обсуждения и решения этой проблемы, и формулируется девять новых задач.