[论文解读] Koszulity of algebras with non-pure resolutions

Di-Ming Lu, Jun-Ru Si|ArXiv.org|Mar 29, 2008

Algebraic structures and combinatorial models参考文献 6被引用 5

一句话总结

本文将双柯尔莫哥洛夫代数（bi-Koszul algebras）引入为分段柯尔莫哥洛夫代数与N-柯尔莫哥洛夫代数的推广，以处理非纯解析（non-pure resolutions），特别是处理类型为(12221)与(13431)的阿廷-薛弗勒正则代数（Artin-Schelter regular algebras）。研究证明，可分解的双柯尔莫哥洛夫模具有可分解为δ-柯尔莫哥洛夫模的纯解析的结构，从而为非纯同调行为提供了结构性分解。

ABSTRACT

We discuss certain homological properties of graded algebras whose trivial modules admit non-pure resolutions. Such algebras include both of Artin-Schelter regular algebras of types (12221) and (13431). Under certain conditions, a module with non-pure resolution is decomposed to form an extension by two modules with pure resolutions.

研究动机与目标

• 为具有非纯解析的分次代数（特别是类型(12221)与(13431)的阿廷-薛弗勒正则代数）建立同调框架。
• 定义并刻画双柯尔莫哥洛夫代数，作为分段柯尔莫哥洛夫代数的非纯类比。
• 研究可分解双柯尔莫哥洛夫模的非纯解析是否可分解为纯解析。
• 通过其Ext-代数的结构，为双柯尔莫哥洛夫代数建立柯尔莫哥洛夫对偶理论。

提出的方法

• 通过在度数中引入周期性移位的广义解析模式，引入双柯尔莫哥洛夫代数，从而推广分段柯尔莫哥洛夫代数。
• 定义双柯尔莫哥洛夫代数的Ext-代数结构，证明 $ E^{3n}(A) = (E^3(A))^n $，$ E^{3n+1}(A) = E^1(A)E^{3n}(A) $，且 $ E^{3n+2}(A) \to E^2(A)E^{3n}(A) \times \mathsf{E}^2_{2nd+d+1}(J\Omega^{3n}(k)) $ 作为 $ E^0(A) $-模。
• 引入强双柯尔莫哥洛夫代数的概念，其中Ext-代数在度数0、1、2、3中生成。
• 通过δ-柯尔莫哥洛夫代数的自由积构造例子，证明当 $ B = A \sqcup A' $ 时，有 $ E(B) = E(A) \sqcap E(A') $，且 $ B $ 继承双柯尔莫哥洛夫结构。
• 证明可分解双柯尔莫哥洛夫模的解析可分解为两个δ-柯尔莫哥洛夫模的纯解析。
• 应用该分解，证明 $ \mathsf{E}^m(M) \cong \mathsf{E}^m(M') \oplus \mathsf{E}^m(M'') $，其中两个分量均为纯的。

实验结果

研究问题

• RQ1 是否可以系统性地将分次代数中的非纯解析分解为纯解析？
• RQ2 当阿廷-薛弗勒正则代数（类型(12221)与(13431)）不是 $ \mathcal{K}_2 $ 代数时，如何捕捉其同调结构？
• RQ3 Ext-代数在刻画双柯尔莫哥洛夫代数及其柯尔莫哥洛夫对偶性中起什么作用？
• RQ4 每个双柯尔莫哥洛夫代数是否必然为强双柯尔莫哥洛夫代数，还是存在非强双柯尔莫哥洛夫代数？
• RQ5 是否能通过如自由积等方法，从具有纯解析的简单代数构造新的双柯尔莫哥洛夫代数？

主要发现

• 连通分次代数 $ A $ 是双柯尔莫哥洛夫代数当且仅当其Ext-代数 $ E(A) $ 满足 $ E^{3n}(A) = (E^3(A))^n $，$ E^{3n+1}(A) = E^1(A)E^{3n}(A) $，且 $ E^{3n+2}(A) \cong E^2(A)E^{3n}(A) \oplus \mathsf{E}^2_{2nd+d+1}(J\Omega^{3n}(k)) $ 作为 $ E^0(A) $-模。
• 当双柯尔莫哥洛夫模 $ M $ 可分解时，其解析可分解为两个纯解析，通过短正合列 $ 0 \to M' \to M \to M'' \to 0 $，其中 $ M' $ 与 $ M'' $ 均为 $ \delta $-柯尔莫哥洛夫模。
• 对于此类可分解双柯尔莫哥洛夫模 $ M $，其Ext-模满足 $ \mathsf{E}^m(M) \cong \mathsf{E}^m(M') \oplus \mathsf{E}^m(M'') $，且 $ \mathsf{E}^m(M') $ 与 $ \mathsf{E}^m(M'') $ 均为纯的。
• 两个 $ \delta $-柯尔莫哥洛夫代数 $ A $ 与 $ A' $ 的自由积 $ B = A \sqcup A' $ 产生一个强双柯尔莫哥洛夫代数 $ B $，满足 $ E(B) = E(A) \sqcap E(A') $，且对 $ i=0,1,2 $，有 $ E^{3n+i}(B) = E^{3n+i}(A) \oplus E^{3n+i}(A') $。
• 代数 $ A = k\langle x,y,z,w \rangle / (yx, z^2y, wz) $ 是一个双柯尔莫哥洛夫代数，因其平凡模的解析度数符合双柯尔莫哥洛夫模式。
• 本文未解决非强双柯尔莫哥洛夫代数是否存在，提出问题：是否所有双柯尔莫哥洛夫代数都必须是强双柯尔莫哥洛夫代数？