[论文解读] On finitistic dimension of stratified algebras

Volodymyr Mazorchuk|arXiv (Cornell University)|Mar 8, 2006

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

一句话总结

本文研究分层代数的有限性维数，特别是强标准分层（SSS）代数与恰当分层代数，利用扭模块与Ringel对偶。研究建立了基于标准模滤子维数与扭模块投射维数的投射定义有限性维数的上界，并提出了一个修正后的猜想，将这些量关联于具有简单保持对偶的代数中。

ABSTRACT

In this survey we discuss the results on the finitistic dimension of various stratified algebras. We describe what is already known, present some recent estimates, and list some open problems.

研究动机与目标

• 改进强标准分层（SSS）代数投射定义有限性维数的现有上界。
• 研究分层代数中有限性维数、相对于标准模的滤子维数，以及扭模块投射维数之间的关系。
• 解决非自对偶情形下投射与内射有限性维数之间的不对称性，特别是SSS-代数中的情形。
• 提出并证明先前工作中一个猜想的修正版本，将具有简单保持对偶的代数中的有限性维数与标准滤子维数及扭模块投射维数联系起来。
• 初步探索SSS代数与恰当分层代数中的内射定义有限性维数，尤其通过Ringel对偶与测试模。

提出的方法

• 在导出范畴中利用广义扭模块，将内射包 $I$ 的投射维数与有限性维数关联，当 $I$ 为扭模块时成立。
• 在模范畴上应用对偶性构造自对偶扭模块，从而在适当条件下导出恒等式 $\operatorname{fdim}(A) = 2 \cdot \operatorname{pd}(T)$。
• 引入模 $H = \bigoplus_{\lambda \in \Lambda} H(\lambda)$，其中 $H(\lambda)$ 是 $L(\lambda)$ 的内射包模去标准模映射像的和，用作检测有限内射维数的测试模。
• 应用Ringel对偶：若SSS-代数 $A$ 的Ringel对偶 $R$ 是恰当分层的，则 $\operatorname{ifdim}(A) \leq \operatorname{fdim}(A)$，从而为 $\operatorname{ifdim}(A)$ 提供上界。
• 在 $D^b(A)$ 中应用同调技巧，利用涉及 $L$、$H$ 与 $K$ 的正合列，证明对有限内射维数的模 $M$ 有 $\operatorname{Ext}^k(H,M) \neq 0$。
• 将上界改写为 $\operatorname{fdim}_{\Delta}(A)$ 与 $\operatorname{pd}(T)$ 的形式，得到不等式链 $2 \cdot \operatorname{fdim}_{\Delta}(A) \leq \operatorname{fdim}(A) \leq \operatorname{fdim}_{\Delta}(A) + \operatorname{pd}(T) \leq 2 \cdot \operatorname{pd}(T)$。

实验结果

研究问题

• RQ1 在SSS-代数与恰当分层代数中，特别是具有简单保持对偶的代数中，$\operatorname{pd}(T)$ 与 $\operatorname{fdim}_{\Delta}(A)$ 可能相差多远？
• RQ2 哪些条件能刻画其Ringel对偶为恰当分层且满足 $\operatorname{pd}(T) = \operatorname{pd}(T^{(R)})$ 的SSS-代数？
• RQ3 在 $A$-mod 上，什么条件下端点代数 $\operatorname{End}_A(H)$ 是恰当分层的？
• RQ4 是否存在 $\operatorname{fdim}(A)$ 与 $\operatorname{fdim}(\operatorname{End}_A(H))$ 之间的直接关系？
• RQ5 扭模块能否用于估计或计算SSS-代数或恰当分层代数中的内射定义有限性维数 $\operatorname{ifdim}(A)$？

主要发现

• 对于具有简单保持对偶的恰当分层代数，修正后的猜想为 $\operatorname{fdim}(A) = \operatorname{fdim}_{\Delta}(A) + \operatorname{pd}(T)$，较先前猜想更为精确。
• 不等式链 $2 \cdot \operatorname{fdim}_{\Delta}(A) \leq \operatorname{fdim}(A) \leq \operatorname{fdim}_{\Delta}(A) + \operatorname{pd}(T) \leq 2 \cdot \operatorname{pd}(T)$ 成立，且所有项均可用 $A$ 或其Ringel对偶的同调术语表达。
• 遗传代数的例子表明 $2 \cdot \operatorname{fdim}_{\Delta}(A) = 0 < \operatorname{fdim}(A) = 1 < 2 \cdot \operatorname{pd}(T) = 2$，说明该链中的第一项与第三项不等式可严格成立。
• 当SSS-代数 $A$ 的Ringel对偶 $R$ 是恰当分层时，内射有限性维数满足 $\operatorname{ifdim}(A) \leq \operatorname{fdim}(A)$，从而为 $\operatorname{ifdim}(A)$ 提供了上界。
• 模 $H = \bigoplus_{\lambda} H(\lambda)$，作为内射包模去标准模像的商，可作为检测有限内射维数的测试模。
• 端点代数 $\operatorname{End}_A(H)^{\text{opp}}$ 总是SSS-代数，提示其在导出范畴中研究对偶性与有限性维数时具有自然构造。