[论文解读] Notes on Restricted Inverse Limits of Categories

Inna Entova-Aizenbud|arXiv (Cornell University)|Apr 5, 2015

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

一句话总结

本文引入了范畴受限逆极限的概念，聚焦于 $GL_\infty = \bigcup_{n\geq 0} GL_n$ 的多项式表示范畴，证明该范畴即为 $GL_n$ 多项式表示范畴的受限逆极限。关键结果是建立 $Rep({\mathfrak{gl}}_\infty)_{\text{poly}}$ 与受限逆极限 $\varprojlim_{n\in{\mathbb{Z}}_+,\text{restr}}Rep({\mathfrak{gl}}_n)_{\text{poly}}$ 之间对称单峰阿贝尔范畴的等价关系，通过相容的限制函子系统与基于滤子的构造实现。

ABSTRACT

We describe the framework for the notion of a restricted inverse limit of categories, with the main motivating example being the category of polynomial representations of the group $GL_{\infty}$. This category is also known as the category of strict polynomial functors of finite degree, and it is the restricted inverse limit of the categories of polynomial representations of $GL_n$. This note is meant to serve as a reference for future work.

研究动机与目标

• 形式化受限逆极限范畴的概念，尤其在无穷维李群及其表示的背景下。
• 确立 $GL_\infty$ 的多项式表示范畴作为 $GL_n$ 多项式表示范畴受限逆极限的来源。
• 证明限制函子 $\mathfrak{Res}_{n-1,n}$ 与 ${\mathbb{Z}}_+$-滤子相容，并满足受限逆极限的条件。
• 证明 $Rep({\mathfrak{gl}}_\infty)_{\text{poly}}$ 与受限逆极限范畴之间存在保持对称单峰与阿贝尔结构的等价关系。

提出的方法

• 将一族范畴 $\mathcal{C}_n$ 与函子 $\mathcal{F}_{n-1,n}: \mathcal{C}_n \to \mathcal{C}_{n-1}$ 的受限逆极限定义为对象与同构的相容一致族所构成的范畴。
• 基于对应分拆的长度，为每个范畴 $Rep({\mathfrak{gl}}_n)_{\text{poly}}$ 赋予 ${\mathbb{Z}}_+$-滤子结构。
• 证明限制函子 $\mathfrak{Res}_{n-1,n}$ 为缩短函子，并保持滤子结构。
• 通过命题 6.1.1 证明 ${\mathbb{Z}}_+$-滤子范畴 $Rep({\mathfrak{gl}}_n)_{\text{poly}}$ 的逆极限满足受限逆极限的条件。
• 利用函子 $\Gamma_n = (\cdot)^{{\mathfrak{gl}}_n^\perp}$ 构造对称单峰等价 $\Gamma_{\text{lim}}: Rep({\mathfrak{gl}}_\infty)_{\text{poly}} \to \varprojlim_{n\in{\mathbb{Z}}_+,\text{restr}}Rep({\mathfrak{gl}}_n)_{\text{poly}}$。
• 通过沿同构 $\phi_{n-1,n}$ 取相容系统模块 $M_n$ 的直接极限，定义逆函子 $\Gamma_{\text{lim}}^*$，从而获得 $\mathfrak{gl}_\infty$-模结构。

实验结果

研究问题

• RQ1 如何定义范畴的受限逆极限，以保持阿贝尔、加法与对称单峰等范畴结构？
• RQ2 在何种条件下，具有滤子函子的范畴系统之逆极限等价于 $GL_\infty$ 的多项式表示范畴？
• RQ3 限制函子 $\mathfrak{Res}_{n-1,n}$ 如何与 $Rep({\mathfrak{gl}}_n)_{\text{poly}}$ 上的 ${\mathbb{Z}}_+$-滤子相互作用？
• RQ4 $Rep({\mathfrak{gl}}_\infty)_{\text{poly}}$ 是否自然等价于 $Rep({\mathfrak{gl}}_n)_{\text{poly}}$ 范畴的受限逆极限？
• RQ5 能否使逆极限构造与表示范畴的对称单峰结构相容？

主要发现

• 通过对称单峰等价 $\Gamma_{\text{lim}}$，范畴 $Rep({\mathfrak{gl}}_\infty)_{\text{poly}}$ 等价于受限逆极限 $\varprojlim_{n\in{\mathbb{Z}}_+,\text{restr}}Rep({\mathfrak{gl}}_n)_{\text{poly}}$。
• 限制函子 $\mathfrak{Res}_{n-1,n}$ 为缩短函子并保持 ${\mathbb{Z}}_+$-滤子结构，从而支持受限逆极限的构造。
• 逆极限范畴继承了各 $Rep({\mathfrak{gl}}_n)_{\text{poly}}$ 范畴的阿贝尔、加法与对称单峰结构。
• 逆函子 $\Gamma_{\text{lim}}^*$ 通过沿同构 $\phi_{n-1,n}$ 取相容系统 $M_n$ 的直接极限构造，从而获得 $\mathfrak{gl}_\infty$-模结构。
• $\Gamma_{\text{lim}}^* \circ \Gamma_{\text{lim}}$ 自然同构于 $Rep({\mathfrak{gl}}_\infty)_{\text{poly}}$ 上的恒等函子，确认了等价关系。
• 该构造与文献 [3] 中定义的稳定逆极限等价，确认了与该领域先前工作的协调性。