Nijenhuis Lie $2$-algebras

技术摘要：Nijenhuis Lie 2-代数

问题陈述
本文探讨了 Nijenhuis Lie 代数的范畴化（categorification）。Nijenhuis Lie 代数是一种结合了 Lie 代数与 Nijenhuis 算子的结构（其中 Nijenhuis 算子是一个满足与 Lie 括号相关的特定二次条件的线性映射）。虽然 Nijenhuis 算子在可积系统、Poisson 几何和变形理论中得到了广泛研究，但其高阶范畴对应物尚未得到系统的开发。作者旨在将“Nijenhuis Lie 2-代数”定义为 Nijenhuis Lie 代数的范畴化，并建立其与 2-项 $L_\infty$-代数同伦框架之间的关系。此外，本文还研究了这些结构的表示论，特别是比较了 2-表示（范畴化的表示）与直到同伦的 2-项表示。

方法论
本文采用了高阶代数和范畴论的标准技术，特别是利用了 Baez 和 Crans 建立的 Lie 2-代数与 2-项 $L_\infty$-代数之间的等价性。该方法分三个主要阶段进行：

1. 定义与范畴化： 作者定义了一个 Nijenhuis Lie 2-代数，即一个配备了线性函子（Nijenhuis 算子）以及一个满足泛化经典 Nijenhuis 条件的自然同构的 Lie 2-代数。由此构造了带有适当同态的范畴 $\mathbf{NijLie2}$。
2. 同伦翻译： 本文引入了 2-项 Nijenhuis $L_\infty$-代数，其定义为配备了一组映射 $(n_0, n_1, n_2)$ 的 2-项 $L_\infty$-代数，这些映射满足将 Nijenhuis 条件泛化到同伦设置中的一系列恒等式。由此定义了范畴 $\mathbf{2TermNijL_\infty}$。
3. 表示论： 作者将表示的概念扩展到了 Nijenhuis 背景下。文中制定了两种不同的概念：
   • 2-表示： 涉及 2-向量空间、线性分配自函子以及自然同构的范畴化表示。
   • 直到同伦的 2-项表示： 在涉及线性映射和满足同伦相干条件的双线性映射的 2-项复形上的表示。
     本文通过构造这两种类型的表示的半直积，来证明它们自然地继承了 Nijenhuis 结构。

主要贡献与结果

• 范畴等价性（Lie 2-代数 vs. $L_\infty$-代数）： 主要结果（定理 4.5）建立了 Nijenhuis Lie 2-代数范畴 ($\mathbf{NijLie2}$) 与 2-项 Nijenhuis $L_\infty$-代数范畴 ($\mathbf{2TermNijL_\infty}$) 之间的等价性。这将 Baez 和 Crans 的经典结果扩展到了 Nijenhuis 算子的背景下。因此，严格 Nijenhuis Lie 2-代数与严格 2-项 Nijenhuis $L_\infty$-代数的子范畴也被证明是等价的（推论 4.6）。
• 半直积构造：
  • 对于给定的 Nijenhuis Lie 代数，本文展示了由 2-表示形成的半直积继承了 Nijenhuis Lie 2-代数结构（命题 5.7）。
  • 类似地，由直到同伦的 2-项表示形成的半直积产生了一个 2-项 Nijenhus $L_\infty$-代数（命题 5.14）。
• 表示范畴的等价性： 本文证明了对于固定的 Nijenhuis Lie 代数，2-表示范畴 ($\mathbf{2Rep}(g, n)$) 与直到同伦的 2-项表示范畴 ($\mathbf{2TermRep}_\infty(g, n)$) 是等价的（定理 5.16）。这将其在普通 Lie 代数中的已知等价性推广到了 Nijenhuis 设置中。
• 函子图表： 本文构建了一个交换图表，阐明了表示范畴的等价性如何与将表示映射到其各自半直积结构（Lie 2-代数和 2-项 $L_\infty$-代数）的函子相契合。

意义与主张
本文声称为“Nijenhuis Lie 2-代数”提供了基础框架，将其定位为 Nijenhuis Lie 代数的自然范畴化。通过证明范畴化定义（Lie 2-代数）与同伦定义（$L_\infty$-代数）之间的等价性，这项工作统一了在存在 Nijenhuis 算子情况下的两种不同的高阶结构处理方法。

其结果的意义在于：

1. 扩展高阶结构： 它将 Baez-Crans 等价性扩展到了对可积系统和 Poisson 几何至关重要的特定类算子（Nijenhuis）中。
2. 表示论： 它开启了对 Nijenhuis Lie 代数的高阶表示研究，表明两种标准的高阶表示方法（范畴化 vs. 同伦）在此背景下产生了等价的理论。
3. 结构工具： 半直积的构造提供了一种从现有结构生成新的 Nijenhuis Lie 2-代数和 2-项 Nijenhuis $L_\infty$-代数的机制，这对于变形理论以及研究高阶代数几何中的相容条件至关重要。

作者指出，这些结构与 Lie 双代数、可积系统和 Poisson 几何等领域相关，表明所开发的理论是研究这些领域内相容条件和高阶代数现象的工具。该工作被呈现为纯数学领域的理论发展，除了在建立的代数框架范围内的研究外，没有实验性提议或具体的未来应用。