[论文解读] Operad profiles of Nijenhuis structures

Henrik Strohmayer|ArXiv.org|Sep 12, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 3

一句话总结

本文通过 PBW 基方法证明了控制 Nijenhuis 结构及其双 Nijenhuis 结构扩展的 operad 是 Koszul 的，从而证明了形式流形上的形式 Nijenhuis 结构与相容 Nijenhuis 结构恰好对应于这些 operad 的最小解析的表示。关键贡献在于建立了一个几何-代数对应关系，通过向量场值微分形式的 graded Lie 代数中的 Maurer-Cartan 元素，将 operad 解析与微分几何结构联系起来。

ABSTRACT

Recently S. Merkulov established a new link between differential geometry and homological algebra by giving descriptions of several differential geometric structures in terms of algebraic operads and props. In particular he described Nijenhuis structures as corresponding to representations of the cobar construction on the Koszul dual of a certain quadratic operad. In this paper we prove, using the PBW-basis method of E. Hoffbeck, that the operad governing Nijenhuis structures is Koszul, thereby showing that Nijenhuis structures correspond to representations of the minimal resolution of this operad. We also construct an operad such that representations of its minimal resolution in a vector space V are in one-to-one correspondence with pairs of compatible Nijenhuis structures on the formal manifold associated to V.

研究动机与目标

• 通过 Hoffbeck 的 PBW 基方法证明控制 Nijenhuis 结构的 operad $Πij$ 的 Koszul 性。
• 定义并分析编码 Nijenhuis 结构相容对的 operad $βiΠij$。
• 在分次向量空间 $V$ 中建立 $βiΠij_{\infty}$ 的表示与与 $V$ 关联的形式流形上的形式双 Nijenhuis 结构之间的一一对应关系。
• 将 operad 描述推广至满足 Frölicher-Nijenhuis 括号条件的形式幂级数解。

提出的方法

• 应用 Hoffbeck 的 PBW 基方法，通过构造单项式的相容基，证明 operad $Πij$ 和 $βiΠij$ 的 Koszul 性。
• 对 Koszul 对偶的 cooperad 使用 cobar 构造，得到最小解析 $Πij_{\infty}$ 和 $βiΠij_{\infty}$。
• 从 operad 解析的总空间构造微分 graded Lie 代数 ${\mathcal{L}}_{\mathcal{B}i\mathcal{N}ij}(V)$，配备微分与李括号。
• 定义从表示的 Lie 代数到形式幂级数 $\Gamma = \sum_k \Gamma_k \hslash^k$ 的态射 $\Phi$，取值于 $\Omega^{\bullet}_V \otimes \mathcal{T}_V$。
• 验证 Maurer-Cartan 方程 $[\Gamma, \Gamma]_{{}_{\text{F-N}}} = 0$ 当且仅当 $\Gamma$ 对应于 $\mathcal{B}i\mathcal{N}ij_{\infty}$ 的表示。
• 利用向量场 $D$ 在 $V$ 上诱导的微分 $\delta_D$ 描述 $\tilde{{\mathfrak{g}}}_V$ 上的 dg Lie 代数结构。

实验结果

研究问题

• RQ1 控制 Nijenhuis 结构的 operad $\mathcal{N}ij$ 是否为 Koszul？
• RQ2 能否构造一个自然的 operad $\mathcal{B}i\mathcal{N}ij$ 来编码 Nijenhuis 结构的相容对？
• RQ3 最小解析 $\mathcal{B}i\mathcal{N}ij_{\infty}$ 是否分类形式流形上的形式双 Nijenhuis 结构？
• RQ4 是否存在 $\mathcal{B}i\mathcal{N}ij_{\infty}$-表示的几何实现，即满足 Frölicher-Nijenhuis 括号条件的形式幂级数？
• RQ5 该 operad 解析与几何结构之间的对应关系能否推广至分次向量空间？

主要发现

• 通过 PBW 基方法证明了控制 Nijenhuis 结构的 operad $\mathcal{N}ij$ 是 Koszul 的，确认 Nijenhuis 结构恰好对应于其最小解析 $\mathcal{N}ij_{\infty}$ 的表示。
• 编码相容 Nijenhuis 结构的 operad $\mathcal{B}i\mathcal{N}ij$ 同样被证明为 Koszul，从而可构造其最小解析 $\mathcal{B}i\mathcal{N}ij_{\infty}$。
• 在 $\mathbb{R}^n$ 中，$\mathcal{B}i\mathcal{N}ij_{\infty}$ 的表示与在原点处为零的形式双 Nijenhuis 结构之间存在一一对应关系，证明了定理 B。
• 对于任意分次向量空间 $V$，$\mathcal{B}i\mathcal{N}ij_{\infty}$ 的表示对应于形式幂级数 $\Gamma = \sum_k \Gamma_k \hslash^k$，满足 $\Gamma_k \in \Omega^{\geq k}_V \otimes \mathcal{T}_V$，$|\Gamma| = 1$，$[\Gamma, \Gamma]_{{}_{\text{F-N}}} = 0$，且 $\Gamma|_0 = 0$，证明了定理 C。
• 态射 $\Phi: \mathcal{L}_{\mathcal{B}i\mathcal{N}ij}(V) \to \tilde{{\mathfrak{g}}}_V$ 是 dg Lie 代数的同构，确立了 operad 解析的几何实现。