[论文解读] Monomorphism categories, cotilting theory, and Gorenstein-projective modules

Pu Zhang|arXiv (Cornell University)|Jan 20, 2011

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

一句话总结

本论文在阿廷代数中建立了单射态射范畴与余挠化理论之间的对偶性，证明了单射态射算子 𝒮ₙ 与左正交算子 ⊥ 满足 𝒮ₙ(⁁T) = ⁁m(T)，其中 T 是一个余挠化 A-模。关键贡献在于通过一个自然构造方法，为 Tₙ(A)-模 m(T) 提供了余挠化模的显式构造，从而将 Tₙ(A) 上的 Gorenstein-投影模刻画为 𝒮ₙ(⁁A)，并基于自同态环的全局维数，给出了单射态射范畴为有限表示型的有限型判别准则。

ABSTRACT

The monomorphism category $\mathcal S_n(\mathcal X)$ is introduced, where $\mathcal X$ is a full subcategory of the module category $A$-mod of Artin algebra $A$. The key result is a reciprocity of the monomorphism operator $\mathcal S_n$ and the left perpendicular operator $^\perp$: for a cotilting $A$-module $T$, there is a canonical construction of a cotilting $T_n(A)$-module ${ m \bf m}(T)$, such that $\mathcal S_n(^\perp T) = \ ^\perp { m \bf m}(T)$. As applications, $\mathcal S_n(\mathcal X)$ is a resolving contravariantly finite subcategory in $T_n(A)$-mod with $\hat{\mathcal S_n(\mathcal X)} = T_n(A)$-mod if and only if $\mathcal X$ is a resolving contravariantly finite subcategory in $A$-mod with $\hat{\mathcal X} = A$-mod. For a Gorenstein algebra $A$, the category $T_n(A)\mbox{-}\mathcal Gproj$ of Gorenstein-projective $T_n(A)$-modules can be explicitly determined as $\mathcal S_n(^\perp A)$. Also, self-injective algebras $A$ can be characterized by the property $T_n(A)\mbox{-}\mathcal Gproj = \mathcal S_n(A)$. Using $\mathcal S_n(A)= \ ^\perp { m \bf m}(D(A_A))$, a characterization of $\mathcal S_n(A)$ of finite type is obtained.

研究动机与目标

• 通过 Tₙ(A) 上余挠化模 m(T) 的自然构造，建立单射态射范畴与余挠化模之间的对偶性。
• 刻画单射态射范畴 𝒮ₙ(𝒳) 在 Tₙ(A)-mod 中为正合且反变有限的条件。
• 以单射态射范畴的形式明确描述 Tₙ(A) 上的 Gorenstein-投影模。
• 利用双生成元自同态环的全局维数，提供 𝒮ₙ(A) 为有限表示型的判别准则。

提出的方法

• 将单射态射范畴 𝒮ₙ(𝒳) 定义为态射范畴的全子范畴，其中所有分量均为单射态射，且余核属于 𝒳。
• 通过将 A-模 T 在上三角矩阵形式下的直和分解，从余挠化 A-模 T 构造出 Tₙ(A)-模 m(T)。
• 利用 A-mod 与 Tₙ(A)-mod 之间的六组伴随对，证明了对偶关系 𝒮ₙ(⁁T) = ⁁m(T)。
• 应用反变有限子范畴与左正交范畴的理论，关联有限性与正合性性质。
• 利用双生成元自同态环的全局维数，刻画 𝒮ₙ(A) 的有限表示型。
• 借助 Auslander-Reiten 理论与 Happel 的三角等价，关联导出范畴与 Gorenstein-投影模。

实验结果

研究问题

• RQ1 单射态射范畴 𝒮ₙ(𝒳) 何时在 Tₙ(A)-mod 中为正合且反变有限？
• RQ2 Tₙ(A) 上的 Gorenstein-投影模能否以单射态射范畴的形式显式描述？
• RQ3 𝒮ₙ(A) 的表示型与 A 和 Tₙ(A) 的表示型之间存在何种关系？
• RQ4 在何种条件下 𝒮ₙ(A) 为有限表示型？
• RQ5 𝒮ₙ(A) 的有限表示型能否通过双生成元自同态环的全局维数来刻画？

主要发现

• 单射态射范畴 𝒮ₙ(𝒳) 在 Tₙ(A)-mod 中为正合且反变有限，当且仅当 𝒳 在 A-mod 中为正合且反变有限，且 𝔻(𝒳) = A-mod。
• 对于 Gorenstein 代数 A，Tₙ(A)-模的 Gorenstein-投影模恰好为 𝒮ₙ(⁁A)，从而给出了显式描述。
• 自内射代数 A 满足 𝒮ₙ(A) = Tₙ(A)-Gproj，从而通过单射态射范畴给出了自内射代数的刻画。
• 范畴 𝒮ₙ(A) 为有限表示型，当且仅当存在 𝒮ₙ(A) 中的双生成元 M，使得 gl.dim(End_{Tₙ(A)}(M)) ≤ 2。
• 当 A = k[x]/⟨x^t⟩ 且 k 为代数闭域时，𝒮₂(A) 为有限表示型当且仅当 t ≤ 5；当 t = 6 时为狭义表示型；当 t > 6 时为野生表示型。
• 全局维数判别准则表明，Tₙ(A) 为 CM-有限当且仅当存在 Tₙ(A)-模 M，使其为 Gorenstein-投影生成元，且 gl.dim(End_{Tₙ(A)}(M)) ≤ 2。