[論文レビュー] Singularity categories of Gorenstein monomial algebras

Ming Lu, Bin Zhu|arXiv (Cornell University)|Aug 1, 2017

Algebraic structures and combinatorial models参考文献 55被引用数 10

ひとこと要約

本稿では、Gorenstein単項的代数のZ-次数特異性カテゴリが、有限表現型の遺伝的代数の導来カテゴリと三角同値であることを確立する。1-Gorenstein単項的代数の次数特異性カテゴリにおいて、siltigおよびtilting対象の存在を証明し、そのクーヴィー関係を用いてこれらの代数を特徴づけ、特異性カテゴリがA型の軌道カテゴリであることを示し、Nakayama代数やgentle代数に対する既知の結果を一般化する。

ABSTRACT

In this paper, we consider the singularity category $D_{sg}(\mod A)$ and the $\mathbb{Z}$-graded singularity category $D_{sg}(\mod^{\mathbb Z} A)$ for a Gorenstein monomial algebra $A$. Firstly, for a positively graded $1$-Gorenstein algebra, we prove that its ${\mathbb Z}$-graded singularity category admits silting objects. Secondly, for $A=KQ/I$ being a Gorenstein monomial algebra, we prove that $D_{sg}(\mod^{\mathbb Z} A)$ has tilting objects. As a consequence, $D_{sg}(\mod^{\mathbb Z}A)$ is triangulated equivalent to the derived category of a hereditary algebra $H$ which is of finite representation type. Finally, we give a characterization of $1$-Gorenstein monomial algebras, and describe their singularity categories clearly by using the triangulated orbit categories of type ${\mathbb A}$.

研究の動機と目的

• Gorenstein単項的代数AのZ-次数特異性カテゴリDsg(modZ A)の構造を特定すること。
• 1-Gorenstein単項的代数のDsg(modZ A)においてsiltigおよびtilting対象の存在を証明すること。
• 定義イデアルの最小生成元を用いて1-Gorenstein単項的代数を特徴づけること。
• Dsg(modZ A)をA型の導来カテゴリの三角同値軌道カテゴリとして実現すること。
• Nakayama代数およびgentle代数の特異性カテゴリに関する既知の結果を、Gorenstein単項的代数のより広いクラスに一般化すること。

提案手法

• Z-次数加群における切り捨てファンクター(−)≥iおよび(−)≤iを定義し、T = ⊕_{i≥0} A(i)≤0を構成する。
• Aが有限次元的かつ正次数の1-Gorenstein代数で、gl. dim A₀ < ∞を満たすとき、TがDsg(modZ A)におけるsiltig対象であることを証明する。
• TがGorenstein射影的であれば、TはDsg(modZ A)におけるtilting対象であり、遺伝的代数Hの有限表現型に対してDsg(modZ A) ≃ Db(H)の三角同値が得られることを示す。
• イデアルIの最小生成元の構造を用いて、1-Gorenstein単項的代数をクーヴィーの巡回およびパス関係によって特徴づける。
• 代数をBrüstleの接合代数および自己同型的Nakayama代数に関連付けるために、系列的なクーヴィーと対合を構成する。
• Buchweitzの定理および軌道カテゴリ理論を適用し、Gproj(A) ≃ ⊕_{c∈C(A)} Db(A_{r_c-1})/[τ^{n_c}]を示す。

実験結果

リサーチクエスチョン

• RQ1 正次数のGorenstein代数のZ-次数特異性カテゴリDsg(modZ A)が、tilting対象をもつのはどのような条件下か？
• RQ2 1-Gorenstein単項的代数の特異性カテゴリは、導来カテゴリおよび軌道カテゴリの観点からどのように記述できるか？
• RQ3 1-Gorenシン単項的代数は、クーヴィー関係およびイデアルIの最小生成元を用いて、どのように正確に特徴づけられるか？
• RQ4 Gorenstein単項的代数の次数特異性カテゴリは、有限表現型の遺伝的代数の導来カテゴリとして実現可能か？
• RQ5 1-Gorenstein単項的代数の特異性カテゴリとA型の軌道カテゴリの間にはどのような関係があるか？

主な発見

• 有限次元的かつ正次数の1-Gorenstein代数Aで、gl. dim A₀ < ∞を満たすとき、T = ⊕_{i≥0} A(i)≤0はDsg(modZ A)におけるsiltig対象である。
• TがGorenstein射影的であれば、TはDsg(modZ A)におけるtilting対象であり、有限表現型の遺伝的代数Hに対してDsg(modZ A) ≃ Db(H)の三角同値が成立する。
• Gorenstein単項的代数Aの次数特異性カテゴリは、B = KQの導来カテゴリと三角同値である。ここでQは、2次単項的代数に対してはA1型のクーヴィーの直和、Nakayama代数に対してはA型のクーヴィーの直和である。
• 1-Gorenstein単項的代数Aの特異性カテゴリは、直接和 ⊕_{c∈C(A)} Db(A_{r_c-1})/[τ^{n_c}] の三角同値軌道カテゴリに同値である。ここでn_c = l(c)であり、r_cは巡回cの関係の長さである。
• 1-Gorenstein単項的代数AのGorenstein射影的加群は、各c ∈ C(A)に対応する代数Λ_cと、完全かつ忠実な関手を介して、Gorenstein射影的加群の直和と同値である。
• 1-Gorenstein単項的代数の特異性カテゴリは、Gorenstein射影的加群の安定カテゴリと同値であり、このカテゴリはA型の三角同値軌道カテゴリとして実現される。