[论文解读] Some homological properties of skew PBW extensions

Oswaldo Lezama, Armando Reyes|arXiv (Cornell University)|Oct 24, 2013

Algebraic structures and combinatorial models参考文献 12被引用 7

一句话总结

本文证明了双射斜PBW扩张在左诺特、左正则环上继承这些同调性质，为这类扩张证明了塞尔定理。此外，本文计算了斜PBW扩张及其局部化在全局、克鲁尔、戈尔迪和奎伦K-群上的结果，表明当自同构在K-理论上平凡作用时，K-理论通过参数r的二项式系数分解。

ABSTRACT

We prove that if R is a left Noetherian and left regular ring then the same is true for any bijective skew PBW extension A of R. From this we get Serre's Theorem for such extensions. We show that skew PBW extensions and its localizations include a wide variety of rings and algebras of interest for modern mathematical physics such as PBW extensions, well known classes of Ore algebras, operator algebras, diffusion algebras, quantum algebras, quadratic algebras in 3-variables, skew quantum polynomials, among many others. We estimate the global, Krull and Goldie dimensions, and also Quillen's K-groups.

研究动机与目标

• 建立双射斜PBW扩张在基环R为左诺特且左正则时，保持左诺特性和左正则性的性质。
• 将塞尔定理推广至斜PBW扩张类，将交换与分次环的结果推广至非交换设置。
• 估计斜PBW扩张及其局部化的全局、克鲁尔和戈尔迪维数。
• 计算斜PBW扩张的奎伦K-群，特别是多参数斜量子环和斜洛朗多项式扩张。
• 为数学物理中相关的一类广泛非交换环（包括量子代数和奥尔代数）的K-理论计算提供系统性框架。

提出的方法

• 使用斜PBW扩张的定义：作为左R-自由代数，具有标准单项式，且非交换关系由自同态σ_i和σ_i-导子δ_i控制。
• 应用定理1.5，通过乘积的唯一分解和左乘法的性质刻画斜PBW扩张，确保与R-模结构相容。
• 通过归纳法和扩张的结构性质，证明若R是左诺特且左正则，则任意双射斜PBW扩张A也是左诺特且左正则。
• 利用斜PBW扩张的局部化构造斜洛朗多项式扩张，并证明此类局部化保持同调性质。
• 利用代数K-理论中的长正合列（来自[42]），在自同构在K-理论上平凡作用的假设下，将斜洛朗扩张的K_i与基环的K_i和K_{i-1}联系起来。
• 通过迭代应用K-理论长正合列并关于r进行归纳，推导出K_m(R_q,σ[x_1^{±1},...,x_r^{±1},x_{r+1},...,x_n])的闭式表达式，基于二项式系数。

实验结果

研究问题

• RQ1 双射斜PBW扩张在左诺特、左正则环上是否仍保持左诺特性和左正则性？
• RQ2 塞尔定理能否推广至斜PBW扩张的非交换设置？
• RQ3 斜PBW扩张及其局部化的全局、克鲁尔和戈尔迪维数是多少？
• RQ4 斜PBW扩张的奎伦K-群如何分解，特别是对多参数斜量子环？
• RQ5 在何种条件下，斜PBW扩张的K-理论可分解为以可逆生成元个数的二项式系数为指标的直和？

主要发现

• 若R是左诺特且左正则，则任意双射斜PBW扩张A也是左诺特且左正则。
• 塞尔定理对双射斜PBW扩张成立：A的全局维数等于R的全局维数。
• 对于双射斜PBW扩张A = σ(R)⟨x₁,…,xₙ⟩，其全局维数满足gl.dim(A) = gl.dim(R)，克鲁尔维数满足Kdim(A) = Kdim(R) + n。
• 若R是戈尔迪环，则A的戈尔迪维数等于R的戈尔迪维数。
• 对于r-多参数斜量子环R_q,σ[x₁^{±1},…,x_r^{±1},x_{r+1},…,x_n]，在每个σ_j在前一扩张的K-理论上平凡作用的假设下，K-理论群满足K_m ≅ ⨁_{j=0}^m [K_j(R)]^{C_r^{m−j}}。
• 特别地，K₀(R_q,σ[x₁^{±1},…,x_r^{±1},x_{r+1},…,x_n]) ≅ K₀(R)，K₁ ≅ [K₀(R)]^r ⊕ K₁(R)，且K₂ ≅ [K₀(R)]^{r(r−1)/2} ⊕ [K₁(R)]^r ⊕ K₂(R)。