[论文解读] Separated monic representations II: Frobenius subcategories and RSS equivalences

Pu Zhang, Bao-Lin Xiong|arXiv (Cornell University)|Jul 16, 2017

Algebraic structures and combinatorial models参考文献 26被引用 4

一句话总结

本文为带有单项关系的有界quiver $(Q,I)$ 及代数 $A$ 构造了分离单射范畴 ${\rm smon}(Q,I,\mathscr{X})$ 的组合结构，证明了 Gorenstein-投影 $\Lambda$-模恰好是 ${\rm smon}(Q,I,\mathcal{GP}(A))$ 中的模。该文建立了 ${\rm smon}(Q,I,\mathscr{X})$ 与其对偶范畴 ${\rm sepi}(Q,I,\mathscr{X})$ 之间的 RSS 等价，并证明 ${\rm smon}(Q,I,\mathscr{X})$ 是 Frobenius 范畴当且仅当 $\mathscr{X}$ 是，从而在 $\mathcal{GP}(\Lambda)$ 之外构造了 $\Lambda$-模的新 Frobenius 子范畴。关键结果是滤子解释 ${\rm smon}(Q,I,\mathscr{X}) = {\rm Fil}(\mathscr{X} \otimes \mathcal{P}(kQ/I))$，该解释支持同调与对偶性结果。

ABSTRACT

This paper aims at looking for Frobenius subcategories, via the separated monomorphism category ${ m smon}(Q, I, \x)$, and on the other hand, to establish an { m RSS} equivalence from ${ m smon}(Q, I, \x)$ to its dual ${ m sepi}(Q, I, \x)$. For a bound quiver $(Q, I)$ and an algebra $A$, where $Q$ is acyclic and $I$ is generated by monomial relations, let $Λ=A\otimes_k kQ/I$. For any additive subcategory $\x$ of $A$-mod, we construct ${ m smon}(Q, I, \x)$ combinatorially. This construction describe Gorenstein-projective $\m$-modules as $\mathcal {GP}(\m) = { m smon}(Q, I, \mathcal {GP}(A))$. It admits a homological interpretation, and enjoys a reciprocity ${ m smon}(Q, I, \ ^\bot T)= \ ^\bot (T\otimes kQ/I)$ for a cotilting $A$-module $T$. As an application, ${ m smon}(Q, I, \x)$ has Auslander-Reiten sequences if $\x$ is resolving and contravariantly finite with $\widehat{\x}=A$-mod. In particular, ${ m smon}(Q, I, A)$ has Auslander-Reiten sequences. It also admits a filtration interpretation as ${ m smon}(Q, I, \mathscr{X})={ m Fil}(\mathscr{X}\otimes \mathcal P(kQ/I))$, provided that $\x$ is extension-closed. As an application, ${ m smon}(Q, I, \x)$ is an extension-closed Frobenius subcategory if and only if so is $\x$. This gives "new" Frobenius subcategories of $\m$-mod in the sense that they are not $\mathcal{GP}(\m)$. Ringel-Schmidmeier-Simson equivalence ${ m smon}(Q, I, \x)\cong{ m sepi}(Q, I, \x)$ is introduced and the existence is proved for arbitrary extension-closed subcategories $\x$. In particular, the Nakayama functor $\mathcal N_\m$ gives an { m RSS} equivalence ${ m smon}(Q, I, A)\cong{ m sepi}(Q, I, A)$ if and only if $A$ is Frobenius. For a chain $Q$ with arbitrary $I$, an explicit formula of an { m RSS} equivalence is found for arbitrary additive subcategories $\x$.

研究动机与目标

• 通过分析分离单射范畴 ${\rm smon}(Q,I,\mathscr{X})$，识别 $\Lambda$-模的扩张封闭 Frobenius 子范畴，其中 $\Lambda = A \otimes_k kQ/I$。
• 确定 ${\rm smon}(Q,I,\mathscr{X})$ 为 Frobenius 范畴的条件，重点在于存在足够多的投射与内射对象。
• 在 ${\rm smon}(Q,I,\mathscr{X})$ 与它的对偶范畴 ${\rm sepi}(Q,I,\mathscr{X})$ 之间建立 Ringel-Schmidmeier-Simson (RSS) 等价，推广表示论中的对偶性。
• 提供一类新的 $\Lambda$-模 Frobenius 子范畴，其不等于 $\mathcal{GP}(\Lambda)$，从而扩展了 Gorenstein-投影模的已知结构。
• 通过涉及 $kQ/I$ 上投射模的滤子分解，给出 ${\rm smon}(Q,I,\mathscr{X})$ 的同调与组合解释。

提出的方法

• 组合地构造 ${\rm smon}(Q,I,\mathscr{X})$ 为有界 quiver $(Q,I)$ 在代数 $A$ 上的表示的全子范畴，其中每个顶点属于 $\mathscr{X}$，且所有箭头均为单射。
• 利用滤子解释 ${\rm smon}(Q,I,\mathscr{X}) = {\rm Fil}(\mathscr{X} \otimes \mathcal{P}(kQ/I))$，将 ${\rm smon}(Q,I,\mathscr{X})$ 的结构与 $kQ/I$ 的投射模联系起来，从而实现同调控制。
• 建立对偶公式：${\rm smon}(Q,I,{}^\perp T) = {}^\perp(T \otimes kQ/I)$，其中 $T$ 为 $A$-模的余倾模，将余倾理论与单射范畴联系起来。
• 当 $A$ 为 Frobenius 代数时，通过 Nakayama 范畴将 RSS 等价定义为 ${\rm smon}(Q,I,\mathscr{X})$ 与 ${\rm sepi}(Q,I,\mathscr{X})$（即分离满射范畴）之间的对偶。
• 通过滤子分解证明：${\rm smon}(Q,I,\mathscr{X})$ 是扩张封闭的 Frobenius 子范畴当且仅当 $\mathscr{X}$ 是。
• 对链 quiver $Q$ 给出显式 RSS 等价公式，适用于任意加法子范畴 $\mathscr{X}$，并推广表示论中的对偶性。

实验结果

研究问题

• RQ1 在什么条件下，分离单射范畴 ${\rm smon}(Q,I,\mathscr{X})$ 是 Frobenius 范畴？$\mathscr{X}$ 需满足什么条件才能保证这一点？
• RQ2 如何通过 ${\rm smon}(Q,I,\mathcal{GP}(A))$ 组合地描述 Gorenstein-投影 $\Lambda$-模的结构？
• RQ3 在什么条件下 ${\rm smon}(Q,I,\mathscr{X})$ 与 ${\rm sepi}(Q,I,\mathscr{X})$ 之间存在 RSS 等价？该等价何时由 Nakayama 范畴诱导？
• RQ4 ${\rm smon}(Q,I,\mathscr{X})$ 是否能产生不等于 $\mathcal{GP}(\Lambda)$ 的 $\Lambda$-模的新 Frobenius 子范畴？
• RQ5 ${\rm smon}(Q,I,\mathscr{X})$ 的滤子结构与张量积 $\mathscr{X} \otimes \mathcal{P}(kQ/I)$ 之间的确切关系是什么？该关系如何支持其同调性质？

主要发现

• Gorenstein-投影 $\Lambda$-模恰好是 ${\rm smon}(Q,I,\mathcal{GP}(A))$ 中的模，从而为 $\mathcal{GP}(\Lambda)$ 提供了组合与同调描述。
• ${\rm smon}(Q,I,\mathscr{X})$ 具有滤子解释 ${\rm Fil}(\mathscr{X} \otimes \mathcal{P}(kQ/I))$，这是证明其同调性质的关键。
• 当且仅当 $\mathscr{X}$ 是 Frobenius 范畴时，分离单射范畴 ${\rm smon}(Q,I,\mathscr{X})$ 是扩张封闭的 Frobenius 子范畴，从而构造了不等于 $\mathcal{GP}(\Lambda)$ 的 $\Lambda$-模的新 Frobenius 子范畴。
• 对于任意扩张封闭子范畴 $\mathscr{X}$，${\rm smon}(Q,I,\mathscr{X})$ 与 ${\rm sepi}(Q,I,\mathscr{X})$ 之间存在 RSS 等价，且该等价被显式构造。
• 对于链 quiver $Q$，给出了 RSS 等价的显式公式，适用于任意加法子范畴 $\mathscr{X}$，从而推广了表示论中的对偶性。
• 当且仅当 $A$ 是 Frobenius 代数时，Nakayama 范畴诱导 RSS 等价 ${\rm smon}(Q,I,A) \cong {\rm sepi}(Q,I,A)$，将对偶性与 $A$ 的 Frobenius 性质联系起来。