[论文解读] Homological degrees of representations of categories with shift functors

Liping Li|arXiv (Cornell University)|Jul 29, 2015

Algebraic structures and combinatorial models参考文献 19被引用 15

一句话总结

该论文在温和条件下证明了具有移位自函子的 ${\mathbbm{k}}$-线性范畴上的有限生成扭表示是超有限表示的（即存在各项有限生成的投射化解析）。此外，该文还为这类模的同调度提供了精确的上界，特别是在特征为 0 的域上的 ${\mathscr{FI}}$-模情形，通过余诱导与移位函子技术改进了先前的上界。

ABSTRACT

Let $k$ be a commutative Noetherian ring and $\underline{\mathscr{C}}$ be a locally finite $k$-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion representations of $\underline{\mathscr{C}}$ are super finitely presented (that is, they have projective resolutions each term of which is finitely generated). In the situation that these self-embedding functors are genetic functors, we give upper bounds for homological degrees of finitely generated torsion modules. These results apply to quite a few categories recently appearing in representation stability theory. In particular, when $k$ is a field of characteristic 0, we obtain another upper bound for homological degrees of finitely generated $\mathrm{FI}$-modules.

研究动机与目标

• 建立具有移位函子的范畴中有限生成扭表示的超有限表示性。
• 在温和条件下推导出有限生成扭模的同调度的上界。
• 将这些结果应用于表示稳定性范畴，特别是特征为 0 的域上的 ${\mathscr{FI}}$。
• 通过余诱导与移位函子结构，改进并细化现有同调度上界。

提出的方法

• 利用度数为 1 的自嵌入函子诱导模范畴上的移位函子 $S_a$。
• 将余诱导函子作为移位函子的右伴随函子，以分析同调性质。
• 采用基于 $\operatorname{Tor}$ 的同调定义 $H_s(V) = \operatorname{Tor}_s^{{\underline{\mathscr{C}}}}({\underline{\mathscr{C}}}_0, V)$（$s \geq 0$），其中 ${\underline{\mathscr{C}}}_0$ 为平凡模。
• 利用分解式 ${\underline{\mathscr{C}}}_0 = \bigoplus_{i \in \mathbb{Z}_+} {\underline{\mathscr{C}}}(i,i)$ 分析扭模与无扭模。
• 以 [2, 定理 A] 作为基础性上界，并利用 $V^{-1}$ 与 $\operatorname{gd}(V)$ 的结构性质对其进行改进。
• 分析短正合列 $0 \to V_T \to V \to V_F \to 0$，以关联 $V$ 与其扭部分和无扭部分的同调度。

实验结果

研究问题

• RQ1 在何种条件下，具有度数为 1 的自嵌入函子的 ${\mathbbm{k}}$-线性范畴上的有限生成扭表示是超有限表示的？
• RQ2 在这些范畴中，有限生成扭模的同调度可建立何种上界？
• RQ3 在特征为 0 的域上，${\mathscr{FI}}$-模的同调度行为如何？能否改进现有的上界？
• RQ4 余诱导与移位函子结构在表示稳定性中在多大程度上能细化已知的同调上界？

主要发现

• 在适度条件下，${\underline{\mathscr{C}}}$ 的有限生成扭表示是超有限表示的，确保了各项有限生成的投射化解析。
• 对任意无扭的 ${\underline{\mathscr{C}}}$-模 $V$，有同调度不等式 $\operatorname{hd}_s(V) \leq 2\operatorname{gd}(V) + s - 1$（$s \geq 1$），优于先前的上界。
• 对特征为 0 的域上有限生成的 ${\mathscr{FI}}$-模 $V$，有 $\operatorname{hd}_s(V) \leq \max\{\operatorname{td}(V), 2\operatorname{gd}(V) - 1\} + s$（$s \geq 1$），该上界比 [2, 定理 A] 更为紧密。
• 在 $\operatorname{gd}(V) = 2$ 且 $\operatorname{hd}_1(V) = 4$ 的例子中，$\operatorname{hd}_s(V) \leq s + 3$ 的上界优于 [2, 定理 A] 的 $s + 5$，表明其最优性。
• 结果表明，在给定条件下，新上界对无扭模而言始终优于 [2, 定理 A]，因为 $2\operatorname{gd}(V) + s - 1 < \operatorname{gd}(V) + \operatorname{hd}_1(V) + s - 1$ 恒成立。
• ${\underline{\mathscr{C}}}(1,-)$ 及其商模 $\overline{V}$ 的例子验证了定理 4.8 中的上界并非紧致，从而证实了改进的有效性。