[論文レビュー] 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)$ に対して、$I$ が単項関係によって生成される場合のモノニック表現を導入し、$Λ = A \otimes_k kQ/I$-加群がグローバー代数的であるための必要十分条件として、条件 (G) を満たすモノニック表現であることを確立する。この結果は、$I=0$ の場合のモノニック加群に関する先行研究を一般化し、$A$ の性質を用いてモノニック加群が射影的またはグローバー代数的加群と一致する条件を特定する。主な貢献は、クーヴィー表現と条 (G) を用いたグローバー代数的加群の帰納的構成法である。

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$-加群がグローバー代数的であることと、それがモノニックかつ (G) を満たすことの必要十分条件であることを証明すること。
• 加群の性質を用いて、モノニック $Λ$-加群が射影的またはグローバー代数的加群と一致する条件を、$A$ の性質の観点から特徴づけること。

提案手法

• 構造的写像 $X_p$ が特定の像および核の条件を満たすように、$A$ 上の $(Q,I)$ のモノニック表現を定義する。
• 適切なエピモルフィズムの核に関する閉包性を用いて、${\rm mon}(Q,I,A)$ が ${\rm rep}(Q,I,A)$ の解明的部分カテゴリーであることを証明する。
• モノニック表現がグローバー代数的であるための必要十分条件として、条 (G) を導入する。
• 三角的拡大におけるグローバー代数的加群の双モジュール記述を用いて、主たる特徴づけを証明する。
• パス代数および単項関係の構造を活用し、クーヴィーのパスに沿った像および核の関係を分析する。
• パス分解に基づく帰納法および図式走査の議論を用いて、条 (G) の検証および核/像の恒等式を検証する。

実験結果

リサーチクエスチョン

• RQ1 $I$ が単項関係によって生成されるとして、$Λ = A \otimes_k kQ/I$-加群がグローバー代数的であるのはいつか？
• RQ2 代数 $A$ にどのような条件を課すと、すべてのモノニック $Λ$-加群がグローバー代数的になるか？
• RQ3 モノニック $Λ$-加群が射影的 $Λ$-加群と一致するのはどのような条件下か？
• RQ4 カテゴリー ${\rm mon}(Q,I,A)$ は、フロベニウス性およびグローバー代数的加群カテゴリーとどのように関係するか？
• RQ5 条 (G) は、このクーヴィー理論的枠組みにおいて、グローバー代数的加群を特徴づける上で果たす役割は何か？

主な発見

• $Λ$-加群がグローバー代数的であることと、それが $A$ 上の $(Q,I)$ のモノニック表現であり、かつ条 (G) を満たすことの必要十分条件である。
• モノニック $Λ$-加群がちょうど射影的 $Λ$-加群であるための必要十分条件は、$A$ が半単純であることである。
• モノニック $Λ$-加群がちょうどグローバー代数的 $Λ$-加群であるための必要十分条件は、$A$ が自己射影的であることである。
• カテゴリー ${\rm mon}(Q,I,A)$ がフロベニウスであることと、$A$ が自己射影的であることの必要十分条件である。
• ${\rm mon}(Q,I,A)$ は ${\rm rep}(Q,I,A)$ の解明的部分カテゴリーであり、その対象は、グローバー代数的であることを満たすモノニック表現（(G) を満たすもの）に限りない。
• 証明は、特に $\alpha p \notin I$ のとき $X_{\alpha}X_p$ が単射であること、および核内の要素のパスによる像分解を用いた、パスに沿った像および核の関係の分析に依存している。