对称幺半范畴中的李代数

我们研究由对称幺半范畴中的恒等式定义的代数。我们的重点是李代数。除了通常的李代数外，还有出现在纽结不变量和Rozansky-Witten不变量研究中的例子。我们的主要结果是对K3曲面的Westbury猜想的证明：存在一个从Vogel泛单李代数到描述K3曲面Rozansky-Witten不变量的李代数的李代数同态。本文的大部分内容涉及建立适当的语言来讨论该问题，并在推进过程中提出了九个开放问题。