[论文解读] Leibniz Homology of the Affine Indefinite Orthogonal Lie Algebra

Guy Roger Biyogmam|arXiv (Cornell University)|Jan 4, 2013

Advanced Topics in Algebra参考文献 12被引用 3

一句话总结

本文计算了仿射不定正交李代数 $\chi_n = \rho^{p,q} \rtimes \mathfrak{so}(p,q)$ 的莱布尼茨同调，推广了洛德对庞加莱群的结果。通过不变张量和洛德的结构定理，建立了分次向量空间同构 $HL_*(\mathfrak{h}_n) \cong (\mathbb{R} \oplus \langle \tilde{\alpha}_{p,q}\rangle) \otimes T^*(\tilde{\gamma}_{p,q})$，其中 $\tilde{\alpha}_{p,q}$ 和 $\tilde{\gamma}_{p,q}$ 是由基元素和结构常数的平衡组合构造的 $\mathfrak{h}_n$-不变张量。

ABSTRACT

In this paper, we compute the Leibniz (co)homology of the affine indefinite orthogonal Lie algebra. This calculation generalizes a result \cite[corollary 4.5]{JL} obtained by Jerry Lodder. We construct several indefinite orthogonal invariants in terms of balanced tensors and provide the Leibniz homology in terms of these invariants.

研究动机与目标

• 计算仿射不定正交李代数 $\mathfrak{h}_n = \mathbb{R}^{p,q} \rtimes \mathfrak{so}(p,q)$ 的莱布尼茨同调。
• 将洛德对庞加莱群的结果推广至不定正交情形 $\mathfrak{so}(p,q)$。
• 显式构造生成同调的 $\mathfrak{h}_n$-不变张量 $\tilde{\alpha}_{p,q}$ 和 $\tilde{\gamma}_{p,q}$。
• 完整描述莱布尼茨同调作为这些不变量张量代数的结构。

提出的方法

• 应用洛德关于李代数的阿贝尔扩张的莱布尼茨同调结构定理。
• 将 $\mathfrak{h}_n$ 识别为阿贝尔扩张 $\mathfrak{I}_n \oplus \mathfrak{so}(p,q)$，其中 $\mathfrak{I}_n \cong \mathbb{R}^{p,q}$。
• 在度数 $n$ 上构造不变张量 $\tilde{\alpha}_{p,q} = \sum_{\sigma \in S_n} \text{sgn}(\sigma) \frac{\partial}{\partial x^{\sigma(1)}} \otimes \cdots \otimes \frac{\partial}{\partial x^{\sigma(n)}}$。
• 定义 $\tilde{\gamma}_{p,q} = \bar{\gamma}_{p,q} - \bar{\gamma}'_{p,q}$ 为利用结构常数 $X_{ij}, Y_{ij}$ 和反对称张量积构造的度数-$(n-1)$ 不变量。
• 利用 $\mathfrak{so}(p,q)$ 在 $\mathbb{R}^{p,q}$ 上的作用验证 $\tilde{\alpha}_{p,q}$ 和 $\tilde{\gamma}_{p,q}$ 是 $\mathfrak{h}_n$-不变的。
• 通过对偶性推导上同调同构：$HL^*(\mathfrak{h}_n) \cong (\mathbb{R} \oplus \langle \tilde{\alpha}^d_{p,q}\rangle) \otimes T^*(\tilde{\gamma}^d_{p,q})$。

实验结果

研究问题

• RQ1 仿射不定正交李代数 $\mathfrak{h}_n = \mathbb{R}^{p,q} \rtimes \mathfrak{so}(p,q)$ 的莱布尼茨同调是什么？
• RQ2 $\tilde{\alpha}_{p,q}$ 和 $\tilde{\gamma}_{p,q}$ 如何从 $\mathfrak{so}(p,q)$ 的结构及其在 $\mathbb{R}^{p,q}$ 上的作用中产生？
• RQ3 洛德关于莱布尼茨同调的结构定理能否推广至不定正交情形？
• RQ4 平衡张量构造在生成同调中起什么作用？
• RQ5 对偶上同调类 $\tilde{\alpha}^d_{p,q}$ 和 $\tilde{\gamma}^d_{p,q}$ 与同调生成元有何关系？

主要发现

• 莱布尼茨同调 $HL_*(\mathfrak{h}_n)$ 作为分次向量空间同构于 $(\mathbb{R} \oplus \langle \tilde{\alpha}_{p,q}\rangle) \otimes T^*(\tilde{\gamma}_{p,q})$。
• 生成元 $\tilde{\alpha}_{p,q}$ 是对所有基向量场 $\frac{\partial}{\partial x^i}$ 的排列的带符号和，构成一个度数为 $n$ 的不变量。
• 生成元 $\tilde{\gamma}_{p,q}$ 是一个度数为 $(n-1)$ 的不变量，由涉及 $X_{ij}$、$Y_{ij}$ 和 $\mathfrak{so}(p,q)$-生成元与向量场的反对称张量积的三项构成。
• 上同调同构于 $(\mathbb{R} \oplus \langle \tilde{\alpha}^d_{p,q}\rangle) \otimes T^*(\tilde{\gamma}^d_{p,q})$，其中对偶类通过 $\mathfrak{h}_n$ 的对偶基定义。
• $\tilde{\alpha}_{p,q}$ 和 $\tilde{\gamma}_{p,q}$ 在伴随作用下被证明是 $\mathfrak{h}_n$-不变的。
• 该结果将洛德对庞加莱群的计算推广至更广泛的不定正交群 $SO(p,q)$。