[论文解读] Monic monomial representations I Gorenstein-projective modules

Xiu-Hua Luo, Pu Zhang|arXiv (Cornell University)|Oct 17, 2015

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

一句话总结

本文引入了在 $k$-代数 $A$ 上关于由单项式关系生成的余代数 $(Q,I)$ 的广义单射表示，并证明：$Λ = A \otimes_k kQ/I$-模是 Gorenstein-投影模当且仅当它是满足条件 (G) 的单射表示。该结果推广了此前在 $I=0$ 时关于单射模的研究，并通过 $A$ 的性质刻画了单射模与投影模或 Gorenstein-投影模重合的条件。主要贡献在于利用广义单射表示与 (G) 条件，通过归纳法构造 Gorenstein-投影模。

ABSTRACT

For a $k$-algebra $A$, a quiver $Q$, and an ideal $I$ of $kQ$ generated by monomial relations, let $Λ: = A\otimes_k kQ/I$. We introduce the monic representations of $(Q, I)$ over $A$. We give properties of the structural maps of monic representations, and prove that the category ${ m mon}(Q, I, A)$ of the monic representations of $(Q, I)$ over $A$ is a resolving subcategory of ${ m rep}(Q, I, A)$. We introduce the condition ${ m(G)}$. The main result claims that a $\m$-module is Gorenstein-projective if and only if it is a monic module satisfying ${ m(G)}$. As consequences, the monic $\m$-modules are exactly the projective $\m$-modules if and only if $A$ is semisimple; and they are exactly the Gorenstein-projective $\m$-modules if and only if $A$ is selfinjective, and if and only if ${ m mon}(Q, I, A)$ is Frobenius.

研究动机与目标

• 定义当 $I$ 由单项式关系生成时，$k$-代数 $A$ 上奎弗余代数 $(Q,I)$ 的广义单射表示。
• 证明此类广义单射表示的范畴构成表示范畴 ${\rm rep}(Q,I,A)$ 的一个可解子范畴。
• 引入条件 (G)，并证明 $Λ = A \otimes_k kQ/I$-模是 Gorenstein-投影模当且仅当它是广义单射表示且满足 (G)。
• 通过 $A$ 的性质刻画广义单射 $Λ$-模与投影模或 Gorenstein-投影模重合的条件。

提出的方法

• 通过满足特定像与核条件的结构映射 $X_p$ 定义 $A$ 上 $(Q,I)$ 的广义单射表示。
• 通过在可允许的满同态的核下封闭性，证明广义单射表示范畴 ${\rm mon}(Q,I,A)$ 是 ${\rm rep}(Q,I,A)$ 的一个可解子范畴。
• 将条件 (G) 定义为广义单射表示是 Gorenstein-投影模的必要且充分条件。
• 利用三角扩张上 Gorenstein-投影模的双模描述，证明主要刻画结果。
• 利用路径代数与单项式关系的结构，分析奎弗路径上像与核的关系。
• 通过路径分解上的归纳法与图表追踪论证，验证 (G) 条件及核/像恒等式。

实验结果

研究问题

• RQ1 当 $I$ 由单项式关系生成时，$Λ = A \otimes_k kQ/I$-模何时是 Gorenstein-投影模？
• RQ2 代数 $A$ 需满足何种条件，才能使所有广义单射 $Λ$-模均为 Gorenstein-投影模？
• RQ3 在何种条件下，广义单射 $Λ$-模与投影 $Λ$-模重合？
• RQ4 范畴 ${\rm mon}(Q,I,A)$ 与 Frobenius 性质及 Gorenstein-投影模范畴有何关系？
• RQ5 在该奎弗理论框架中，条件 (G) 在刻画 Gorenstein-投影模时起何作用？

主要发现

• 当且仅当 $Λ$-模是 $A$ 上 $(Q,I)$ 的广义单射表示且满足条件 (G) 时，该模为 Gorenstein-投影模。
• 广义单射 $Λ$-模恰好是投影 $Λ$-模当且仅当 $A$ 是半单代数。
• 广义单射 $Λ$-模恰好是 Gorenstein-投影 $Λ$-模当且仅当 $A$ 是自内射代数。
• 范畴 ${\rm mon}(Q,I,A)$ 是 Frobenius 范畴当且仅当 $A$ 是自内射代数。
• 范畴 ${\rm mon}(Q,I,A)$ 是 ${\rm rep}(Q,I,A)$ 的一个可解子范畴，其对象恰好是满足 (G) 的广义单射表示，且为 Gorenstein-投影模。
• 证明依赖于对奎弗路径上像与核关系的分析，特别是当 $\alpha p \notin I$ 时 $X_{\alpha}X_p$ 的单射性，以及通过路径像分解核中元素。