[论文解读] On the q-analog of homological algebra

Mikhail Kapranov|arXiv (Cornell University)|Nov 4, 1996

Algebraic structures and combinatorial models参考文献 3被引用 65

一句话总结

本文引入了N-复形——即N个连续微分算子的复合为零的链复形的推广——并为单位根q发展了同调代数的q-模拟。它证明了q-变形微分满足d^N = 0，构建了具有q-莱布尼茨法则的q-de Rham复形，并为q-联络定义了N-曲率，表明当q^N=1时，∇^N作用为矩阵N-形式的乘法。主要贡献是为N=3构造了Chern-Simons理论的q-模拟。

ABSTRACT

This is an attempt to generalize some basic facts of homological algebra to the case of "complexes" in which the differential satisfies the condition $d^N=0$ instead of the usual $d^2=0$. Instead of familiar sign factors, the constructions related to such "N-complexes" involve powers of q where q is a primitive Nth root of 1. We show that the homology (in a natural sense) of an N-complex is an $(N-1)$-complex which is $(N-1)$-exact, and the role of the Euler characteristic is played by the trigonometric sum $\sum q^i \dim(C^i)$. By q-deforming the de Rham differential we develop a version of the theory of differential forms which is coordinate-dependent but covariant with respect to a natural Hopf algebra. In particular, there is a meaningful formalism of connections with the curvature being an N-form given by the N th power of the covariant derivative. For $N=3$ the expression for the curvature is very similar to the Chern-Simons functional. This text was written in 1991.

研究动机与目标

• 将同调代数从2-复形（d²=0）推广到N-复形（d^N=0），特别是当q为单位根时。
• 利用q-交换变量和q-莱布尼茨法则，发展q-de Rham复形的q-模拟。
• 为q-联络定义曲率F_∇，使得当q^N=1时，∇^N作用为F_∇的乘法。
• 建立N-曲率的规范协变性，并探讨Bianchi恒等式与Chern形式的类比。
• 证明当N=3时，曲率表达式类似于3D规范理论中的Chern-Simons拉格朗日量，且在d²A项下具有积分不变性。

提出的方法

• 将N-复形定义为任意N个连续态射的复合为零的序列，推广链复形。
• 在单纯集上引入q-微分d_q = ∑_{i=0}^n q^i ∂_i，证明当q^N = 1时，有d_q^N = 0。
• 使用q-模拟组合数学：[n]_q = (1−q^n)/(1−q)，[n!]_q = ∑_{w∈S_n} q^{l(w)}，并证明当q为非平凡的N次单位根时，[N!]_q = 0。
• 构建具有q-交换变量x_i和满足q-莱布尼茨法则的dx_i的q-变形de Rham复形。
• 在向量丛上定义q-联络∇ = d + A，其中A为矩阵值1-形式，且∇满足q-莱布尼茨法则。
• 证明当q为本原的N次单位根时，∇^N作用为矩阵N-形式F_∇（即N-曲率）的乘法。

实验结果

研究问题

• RQ1 当d^N = 0而非d² = 0时，同调代数的正确推广是什么？
• RQ2 当q为单位根时，微分形式与de Rham复形的q-模拟行为如何？
• RQ3 能否为q-联络定义曲率，使得当∇^N = 0时，∇^N为曲率形式的乘法？
• RQ4 是否存在q-联络的规范协变曲率理论，且其是否满足Bianchi恒等式？
• RQ5 当N=3时，N-曲率是否产生类似于3D规范理论中Chern-Simons泛函的表达式？

主要发现

• 当q为本原的N次单位根时，单纯集链复形上的q-微分d_q满足d_q^N = 0，因此构成N-复形。
• N-复形的同调定义为p阶同调H_p,i = Ker(d^p: C_i → C_{i−p}) / Im(d^{N−p}: C_{i+N−p} → C_i)，形成双分次复形。
• 当q为本原的N次单位根时，q-联络∇ = d + A的N-曲率F_∇为矩阵值N-形式，且满足∇^N = F_∇。
• 曲率F_∇具有规范协变性：F_{g^{-1}∇g} = g^{-1}F_∇g，且∇(F_∇) = 0，从而证明了q-模拟的Bianchi恒等式。
• 当N=3且ε = exp(2πi/3)时，曲率F_A = d²A + dA·A + ε A·dA + A·A·A，且在R³上∫tr(F_A) = ∫tr(dA·A + ε A·dA + A·A·A)，其中d²A对积分无贡献。
• 对每个p，标量形式tr(F_∇^p)是闭的，暗示在q-变形设定下可能存在Chern类理论。