Skip to main content
QUICK REVIEW

[论文解读] Complete Path Algebras and Rational Modules

Miodrag C. Iovanov|arXiv (Cornell University)|Dec 31, 2015
Homotopy and Cohomology in Algebraic Topology参考文献 27被引用 4
一句话总结

本文研究了在何种条件下,完全路径代数与单项余代数上的有理模在扩张下封闭,证明了这恰好发生在有理函子为挠函子时。主要贡献在于,在顶点间路径满足有限性条件的前提下,证明了完全单项代数上的核心反射性、扩张下的封闭性以及莫里塔不变性成立,从而为具有挠有理函子的新一类余代数提供了构造。

ABSTRACT

We study rational modules over complete path and monomial algebras, and the problem of when rational modules over the dual $C^*$ of a coalgebra $C$ are closed under extensions, equivalently, when is the functor $Rat$ a torsion functor. We show that coreflexivity, closure under extensions of finite dimensional rational modules and of arbitrary modules are Morita invariant, and that they are preserved by subcoalgebras. We obtain new large classes of examples of coalgebras with torsion functor, coming from monomial coalgebras, and answer some questions in the literature.

研究动机与目标

  • 确定完全路径代数上的有理模范畴在何种条件下对扩张封闭。
  • 研究有理函子 $\mathrm{Rat}$ 在 $C^*$-模上成为挠函子的条件。
  • 将已知的关于核心反射余代数的结果推广至单项余代数与完全单项代数。
  • 利用奎沃理论构造方法,为余代数提供具有挠有理函子的新类例子。
  • 考察有理模在扩张下的封闭性在莫里塔等价与子余代数嵌入下的保持性。

提出的方法

  • 利用路径余代数 $C = \mathbb{K}Q$ 及其对偶 $C^*$ 之间的对偶性,通过在余有限单项理想上取完备化,将 $C^*$ 识别为完全路径代数。
  • 将有理模视为 $C$ 上的余模,其中理性对应于表示的局部幂零性。
  • 使用迹函子 $T(M)$ 表示有理子范畴中所有子模的和,并分析 $T$ 为根(即有理模在扩张下封闭)的条件。
  • 采用准则:$\mathrm{Rat}$ 是挠函子当且仅当对所有 $M$ 有 $\mathrm{Rat}(M/\mathrm{Rat}(M)) = 0$,并将此与 $C^*$-模的结构联系起来。
  • 应用莫里塔-竹内等价性,将基本余代数的性质转移至一般余代数,特别利用余代数的 Ext-奎沃。
  • 应用文献 [8] 中关于在顶点间路径有限的奎沃上核心反射性与直接核心反射性的结果,将其推广至单项余代数。

实验结果

研究问题

  • RQ1对于一个奎沃 $Q$ 和一个在子路径下封闭的路径集 $H$,何时以 $H$ 为基的单项余代数 $C$ 是直接核心反射的?
  • RQ2对于一个完全单项代数 $C^*$,在何种条件下,有理 $C^*$-模的范畴在所有 $C^*$-模的范畴中对扩张封闭?
  • RQ3有理模在扩张下封闭的性质在莫里塔等价与子余代数嵌入下如何表现?
  • RQ4余代数的 Ext-奎沃需满足何种结构条件,才能保证有理函子为挠函子?
  • RQ5即使余代数是核心反射的,有理函子是否仍可能不是挠函子?若是,其必要条件为何?

主要发现

  • 对于一个奎沃 $Q$ 和一个在子路径下封闭且任意两顶点间路径有限的路径集 $H$,以 $H$ 为基的单项余代数 $C$ 是直接核心反射的。
  • 此类单项余代数 $C$ 具有性质:其有理 $C^*$-模在所有 $C^*$-模的范畴中对扩张封闭。
  • 核心反射性与有理模在扩张下的封闭性在莫里塔等价下保持不变,因此是莫里塔不变量。
  • 若全空间余代数满足路径有限性条件,则其子余代数也继承有理模在扩张下封闭的性质。
  • 若余代数 $C$ 的 Ext-奎沃中任意两顶点间仅有有限条路径,则 $C$ 是核心反射的,且具有有理挠函子。
  • 有理函子 $\mathrm{Rat}$ 是 $C^*$-模上的挠函子,当且仅当有理子范畴在扩张下封闭,而此性质在所述路径有限性条件下对单项余代数成立。

更好的研究,从现在开始

从阅读论文到最终审阅,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。