[论文解读] Upper bounds of homological invariants of $FI_G$-modules

Liping Li|arXiv (Cornell University)|Dec 18, 2015

Algebraic structures and combinatorial models参考文献 10被引用 17

一句话总结

本文通过生成度（$\operatorname{gd}(V)$）和挠度（$\operatorname{td}(V)$）建立了有限生成 $\mathscr{FI}_G$-模的关键同调不变量的上界，其中生成度衡量模在非可逆态射下的‘顶端’，挠度衡量其‘底面’。主要结果表明：当 $\mathbbm{k}$ 为特征 0 的域时，内射维数满足 $\operatorname{id}(V) \leq \max\{2\operatorname{gd}(V) - 1, \operatorname{td}(V)\}$，且当 $N > \max\{\operatorname{td}(V), 2\operatorname{gd}(V) - 2\}$ 时，$V_N$ 的维数成为多项式，从而给出了一个稳定范围的上界。

ABSTRACT

In this paper we use a homological approach to obtain upper bounds for a few homological invariants of $FI_G$-modules $V$. These upper bounds are expressed in terms of the generating degree and torsion degree, which measure the top and socle of $V$ under actions of non-invertible morphisms in the category respectively.

研究动机与目标

• 建立有限生成 $\mathscr{FI}_G$-模的同调不变量在生成度与挠度下的上界。
• 阐明挠度与同调度之间的关系，特别是与 Castelnuovo-Mumford 正则性先前上界的关系。
• 为理论上复杂但计算上可处理的不变量（如导出正则性与内射维数）提供上界。
• 提供一种无需深入分析 $\mathscr{FI}_G$ 的组合结构的理论框架，从而可推广至表示稳定性的相关范畴。

提出的方法

• 使用移位函子 $\Sigma$ 及其诱导的余核函子 $D$ 作为分析模结构的核心技术工具。
• 生成度 $\operatorname{gd}(V)$ 定义为 0 阶同调 $H_0(V)$ 的挠度，捕捉模的‘顶端’。
• 挠度 $\operatorname{td}(V)$ 定义为满足 $\operatorname{Hom}_{{\underline{\mathscr{C}}}}({\underline{\mathscr{C}}}(i,i), V) \neq 0$ 的度数的上确界，衡量在非可逆态射下的‘底面’。
• 证明通过 $\operatorname{gd}(V)$ 的归纳法进行，利用短正合列将模分解为挠与无挠部分。
• 论证依赖于已知的同调度上界以及该范畴中投射/内射模的结构。
• 通过分析分解中各项及其同调的增长，建立 $\dim_{\mathbbm{k}} V_N$ 的多项式增长。

实验结果

研究问题

• RQ1 如何用生成度与挠度来界定有限生成 $\mathscr{FI}_G$-模的内射维数？
• RQ2 有限生成 $\mathscr{FI}_G$-模的 $\dim_{\mathbbm{k}} V_N$ 在何时开始呈现多项式增长（即稳定范围）？
• RQ3 挠度与生成度如何与导出正则性及 Castelnuovo-Mumford 正则性相关联？
• RQ4 能否在不依赖于 $\mathscr{FI}_G$ 类别详细组合分析的前提下，推导出同调不变量的上界？
• RQ5 同调度 $\operatorname{hd}_s(V)$ 与生成度/挠度之间存在何种关系？

主要发现

• 在特征 0 的域上，有限生成 $\mathscr{FI}_G$-模 $V$ 的内射维数满足 $\operatorname{id}(V) \leq \max\{2\operatorname{gd}(V) - 1, \operatorname{td}(V)\}$，且等号成立当且仅当 $V$ 是内射模。
• 当 $N > \max\{\operatorname{td}(V), 2\operatorname{gd}(V) - 2\}$ 时，$\dim_{\mathbbm{k}} V_N$ 由一个有理系数多项式给出，从而确立了稳定范围。
• $V$ 的导出正则性被限制在 $\max\{\operatorname{td}(V), 2\operatorname{gd}(V) - 2\}$，该界用于推导出多项式增长结果。
• $H_0(V)$ 捕捉了模在非可逆态射下的顶端，其挠度即为生成度 $\operatorname{gd}(V)$。
• 模的底面同构于 $\operatorname{Hom}_{{\underline{\mathscr{C}}}}({\underline{\mathscr{C}}}_0, V)$，其支撑度即为挠度 $\operatorname{td}(V)$。
• 在分解中，商模 $W$ 满足 $\operatorname{td}(W) \leq 2\operatorname{gd}(V) - 2$，由此推出 $\operatorname{id}(W) \leq 2\operatorname{gd}(V) - 2$，这是归纳证明的关键。