[论文解读] Determination of the 2- cocycles for the three point Witt algebra

Elizabeth Jurisich, Renato A. Martins|arXiv (Cornell University)|Oct 20, 2014

Advanced Differential Equations and Dynamical Systems参考文献 1被引用 4

一句话总结

本文通过与已知的 $\mathfrak{Der}(S)$ 的同构关系，确定了三点半 Witt 代数 $\mathfrak{Der}(R)$ 上 2-上循环的显式公式，其中 $R = \mathbb{C}[t,t^{-1},u]/(u^2 - t^2 - 4t)$。关键贡献在于利用组合恒等式（特别是 Chu–Vandermonde 卷积）实现了这些上循环的闭式计算，从而能够构造普遍中心扩张和三点半 Virasoro 代数，服务于表示论研究。

ABSTRACT

We provide formulas for computing the cocycles on a 3-point Witt algebra Der(R), using an isomorphism between two 3-point algebras Der(R) and Der(S), where the cocycle is already defined. These cocycles can be used to construct universal central extensions and the 3-point Virasoro, which are useful for the representation theory of a 3-point current algebra. The computations determining the cocycles on Der(R) involve elegant applications of the Chu-Vandermonde convolution and other identities for sums of binomial coefficients.

研究动机与目标

• 计算三点半 Witt 代数 $\mathfrak{Der}(R)$ 上显式的 2-上循环公式，其中 $R = \mathbb{C}[t,t^{-1},u]/(u^2 - t^2 - 4t)$，这些公式对构造中心扩张和三点半 Virasoro 代数至关重要。
• 通过与 $\mathfrak{Der}(S)$ 的同构关系，解决 [Bre91] 中提出的问题，提供 $\mathfrak{Der}(R)$ 上显式的上循环计算，其中 $S = \mathbb{C}[s,s^{-1},(s-1)^{-1}]$，且上循环在 [CGLZ14] 中已有已知结果。
• 证明 $\mathfrak{Der}(R)$ 上的导出上循环不与零上循环同调，从而确认其非平凡性，并表明其在三点半电流代数表示论中的实用性。

提出的方法

• 利用环同构 $f: R \to S$，定义为 $f(t) = s^{-1}(s-1)^2$，$f(u) = s - s^{-1}$，及其逆映射 $\phi: S \to R$，将 $\mathfrak{Der}(S)$ 上已知的上循环转移到 $\mathfrak{Der}(R)$ 上。
• 为 $\mathfrak{Der}(R)$ 定义基底 $d_n = t^n u D$，$e_n = t^n D$，其中 $D = (t+2)\partial_u + u\partial_t$，并用此基底表示上循环。
• 通过同构关系，将 $\mathfrak{Der}(S)$ 上已知的上循环 $\phi_1, \phi_2$ 拉回到 $\mathfrak{Der}(R)$ 上，得到 $\bar{\phi}_1, \bar{\phi}_2$。
• 利用生成函数和组合恒等式——特别是 Chu–Vandermonde 卷积与二项式系数求和恒等式——简化并计算涉及索引的和式。
• 通过二项式系数恒等式直接计算，验证所得形式的反对称性与上循环条件（雅可比恒等式）。
• 推导出 $\bar{\phi}_1(e_k, e_l)$，$\bar{\phi}_1(e_k, d_l)$，$\bar{\phi}_1(d_k, d_l)$ 的闭式表达式，以及 $\bar{\phi}_2$ 的类似表达式，明确显示其对 $k, l$ 和克罗内克符号的依赖关系。

实验结果

研究问题

• RQ1 三点半 Witt 代数 $\mathfrak{Der}(R)$ 上 2-上循环的显式公式是什么，其中 $R = \mathbb{C}[t,t^{-1},u]/(u^2 - t^2 - 4t)$？
• RQ2 如何通过环同构 $f: R \to S$ 将 $\mathfrak{Der}(S)$ 上已知的上循环（$S = \mathbb{C}[s,s^{-1},(s-1)^{-1}]$）转移到 $\mathfrak{Der}(R)$ 上？
• RQ3 计算 $\mathfrak{Der}(R)$ 上拉回的上循环所需的关键组合恒等式是什么？它们如何简化表达式？
• RQ4 在 $\mathfrak{Der}(R)$ 上得到的上循环是否非平凡（即不与零上循环同调），且是否满足 2-上循环条件？
• RQ5 在 $\mathfrak{Der}(R)$ 上，两个上循环 $\bar{\phi}_1$ 与 $\bar{\phi}_2$ 之间的精确关系是什么？它们与 $\mathfrak{Der}(S)$ 上已知上循环的关系如何？

主要发现

• 在 $\mathfrak{Der}(R)$ 上，第一个上循环 $\bar{\phi}_1$ 满足：对所有 $k,l \in \mathbb{Z}$，有 $\bar{\phi}_1(e_k, e_l) = 6(-1)^{k+l}2^{k+l}(k-1)kl\frac{(2k+2l-3)!!}{(k+l+1)!}$，其非零支持仅出现在 $k+l=0$ 和 $k+l=1$ 时。
• 第二个上循环 $\bar{\phi}_2$ 满足 $\bar{\phi}_2(e_k, e_l) = -2\bar{\phi}_1(e_k, e_l)$，且 $\bar{\phi}_2(e_k, d_l) = 0$，表明两个上循环在 $e$-基底上存在线性依赖关系。
• 对于 $d_k, d_l$ 分量，$\bar{\phi}_1(d_k, d_l)$ 由包含二项式系数和 $(m^3 - m)$ 项的和式给出，仅当 $k+l=0$ 或 $k+l=1$ 时取非零值，结果为 $-6(k^3 - k)\delta_{k+l,0} - 12k(k-1)(2k-1)\delta_{k+l,1}$。
• $\bar{\phi}_1(d_k, d_l)$ 上循环是非平凡且反对称的，其表达式包含对索引的双重求和，涉及二项式系数与符号因子，最终通过 Chu–Vandermonde 恒等式简化。
• $\bar{\phi}_2(d_k, d_l)$ 满足 $\bar{\phi}_2(d_k, d_l) = -2\bar{\phi}_1(d_k, d_l)$，表明两个上循环在 $d$-基底元素上呈 $-2$ 倍线性依赖关系。
• 计算结果确认，$\mathfrak{Der}(R)$ 上的拉回上循环 $\bar{\phi}_1, \bar{\phi}_2$ 是良定义的、反对称的，并满足 2-上循环条件，其显式公式通过组合恒等式成功推导。