[论文解读] Triangular Matrix Categories I: Dualizing Varieties and generalized one-point extension

Alicia León-Galeana, M. Ortiz-Morales+1 more|arXiv (Cornell University)|Mar 10, 2019

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

一句话总结

本文引入了加法范畴的三角形矩阵范畴，将三角形矩阵代数推广至多对象环的范畴。研究证明，若两个加法范畴为对偶化范畴，且双模满足特定条件，则所得的三角形矩阵范畴亦为对偶化范畴，从而保证了Auslander–Reiten序列的存在。该研究将表示理论中的一点扩张理论推广至范畴论框架。

ABSTRACT

Following Mitchell's philosophy, in this paper we define the analogous of the triangular matrix algebra to the context of rings with several objects. Given two additive categories $\mathcal{U}$ and $\mathcal{T}$ and $M\in \mathsf{Mod}(\mathcal{U}\otimes \mathcal{T}^{op})$ we construct the triangular matrix category $\mathbfΛ:=\left[\begin{smallmatrix} \mathcal{T} & 0 \\ M & \mathcal{U} \end{smallmatrix} ight]$. First, we prove that there is an equivalence $\Big( \mathsf{Mod}(\mathcal{T}), \mathbb{G}\mathsf{Mod}(\mathcal{U})\Big) \simeq \mathrm{Mod}(\mathbfΛ)$. One of our main results is that if $\mathcal{U}$ and $\mathcal{T}$ are dualizing $K$-varieties and $M\in \mathsf{Mod}(\mathcal{U}\otimes \mathcal{T}^{op})$ satisfies certain conditions then $\mathbfΛ:=\left[\begin{smallmatrix} \mathcal{T} & 0 \\ M & \mathcal{U} \end{smallmatrix} ight]$ is a dualizing variety (see theorem 6.10). In particular, $\mathrm{mod}(\mathbfΛ)$ has Auslander-Reiten sequences. Finally, we apply the theory developed in this paper to quivers and give a generalization of the so called one-point extension algebra.

研究动机与目标

• 将三角形矩阵代数推广至多对象环的范畴，使用加法范畴。
• 为加法范畴 $\mathcal{U}, \mathcal{T}$ 及双模 $M \in \mathsf{Mod}(\mathcal{U} \otimes \mathcal{T}^{op})$ 定义三角形矩阵范畴 $\mathbf{\Lambda} = \left[\begin{smallmatrix}\mathcal{T}&0\\ M&\mathcal{U}\end{smallmatrix}\right]$。
• 建立 $\mathbf{\Lambda}$ 成为对偶化范畴的条件，以确保同调对偶性及Auslander–Reiten序列的存在。
• 将表示理论中经典的单点扩张构造推广至范畴与函子框架。

提出的方法

• 将三角形矩阵范畴 $\mathbf{\Lambda}$ 构造为三元组 $(A, B, f)$ 的余积类范畴，其中 $f: M \otimes_{\mathcal{T}} A \to B$ 是 $\mathcal{U}$-模中的态射。
• 建立等价关系 $\Big{(}\mathsf{Mod}(\mathcal{T}), \mathbb{G}\mathsf{Mod}(\mathcal{U})\Big{)} \simeq \mathrm{Mod}(\mathbf{\Lambda})$，将 $\mathcal{T}$ 和 $\mathcal{U}$ 上的模范畴与 $\mathbf{\Lambda}$ 上的模范畴联系起来。
• 使用对偶化 $K$-范畴的概念，要求范畴 $\mathcal{C}$ 满足 $\mathrm{mod}(\mathcal{C})$ 与 $\mathrm{mod}(\mathcal{C}^{op})$ 之间存在对偶函子。
• 应用同调工具，如导出函子 $L^n$ 和 Ext 函子，以验证 $\mathrm{Ext}^n_{\mathcal{C}}(-,C)$ 与 $\mathrm{Ext}^n_{\mathcal{C}}(C,-)$ 为有限表示，从而确保对偶性质。
• 证明当 $\mathcal{C}$ 为对偶化范畴时，三角形矩阵范畴 $\left[\begin{smallmatrix}\mathcal{C}&0\\ \widehat{\mathbbm{Hom}}\\ \mathcal{C}\end{smallmatrix}\right]$ 为对偶化范畴。
• 利用导出函子同构 $\mathbb{D}_{\mathcal{C}^{op}}\overline{\mathbb{F}}(B) \simeq L^n(\mathbb{D}_{\mathcal{C}^{op}}(B))$ 验证矩阵范畴中的对偶性。

实验结果

研究问题

• RQ1 当 $\mathcal{U}$ 与 $\mathcal{T}$ 均为对偶化 $K$-范畴时，三角形矩阵范畴 $\mathbf{\Lambda} = \left[\begin{smallmatrix}\mathcal{T}&0\\ M&\mathcal{U}\end{smallmatrix}\right]$ 在何种条件下为对偶化范畴？
• RQ2 如何将表示理论中经典的一点扩张构造推广至加法范畴与函子范畴的框架？
• RQ3 导出函子 $L^n$ 与 $\mathrm{Ext}^n$ 在确保三角形矩阵范畴对偶性质方面起到何种作用？
• RQ4 模之间的映射范畴（如单射或满射）能否被实现为具有对偶结构的三角形矩阵范畴？
• RQ5 范畴 $\mathcal{C}$ 上的对偶函子与矩阵范畴 $\left[\begin{smallmatrix}\mathcal{C}&0\\ \widehat{\mathbbm{Ext}^n}\\ \mathcal{C}\end{smallmatrix}\right]$ 上诱导的对偶函子之间有何关系？

主要发现

• 若 $\mathcal{U}$ 与 $\mathcal{T}$ 为对偶化 $K$-范畴，且 $M$ 满足特定的有限性与表示性条件，则三角形矩阵范畴 $\mathbf{\Lambda} = \left[\begin{smallmatrix}\mathcal{T}&0\\ M&\mathcal{U}\end{smallmatrix}\right]$ 为对偶化范畴。
• 等价关系 $\Big{(}\mathsf{Mod}(\mathcal{T}), \mathbb{G}\mathsf{Mod}(\mathcal{U})\Big{)} \simeq \mathrm{Mod}(\mathbf{\Lambda})$ 成立，推广了矩阵环上模范畴的理论。
• 若 $\mathcal{C}$ 为对偶化 $K$-范畴，则 $\left[\begin{smallmatrix}\mathcal{C}&0\\ \widehat{\mathbbm{Hom}}\\ \mathcal{C}\end{smallmatrix}\right]$ 为对偶化范畴。
• 对于具有足够多投射对象的对偶化 $K$-范畴 $\mathcal{C}$，当对所有 $C \in \mathcal{C}$，$\mathrm{Ext}^n_{\mathcal{C}}(-,C)$ 与 $\mathrm{Ext}^n_{\mathcal{C}}(C,-)$ 均为有限表示时，$\left[\begin{smallmatrix}\mathcal{C}&0\\ \widehat{\mathbbm{Ext}^n}\\ \mathcal{C}\end{smallmatrix}\right]$ 为对偶化范畴。
• 若 $\mathbb{D}_{\mathcal{C}^{op}}(B)$ 为右正合，则矩阵范畴上的对偶性满足 $\mathbb{D}_{\mathcal{C}^{op}}\overline{\mathbb{F}}(B) \simeq L^n(\mathbb{D}_{\mathcal{C}^{op}}(B))$。
• 特别地，当 $n=1$ 时，范畴 $\left[\begin{smallmatrix}\mathcal{C}&0\\ \widehat{\mathbbm{Ext}^1}\\ \mathcal{C}\end{smallmatrix}\right]$ 为对偶化范畴，且其对偶性与第一导出函子相容。