[論文レビュー] Singularity categories of representations of algebras over local rings

Ming Lu|arXiv (Cornell University)|Feb 5, 2017

Algebraic structures and combinatorial models参考文献 38被引用数 6

ひとこと要約

本稿は、Rk = K[X]/(Xk) とすると、Λ⊗K Rk の重層的加群の特異性カテゴリーと、三角行列代数 Tk−1(Λ) の有界導来カテゴリーの間で、三角同値を確立する。これは k=2 の場合に既知の結果を一般化するものである。さらに、Z/kZ-重層的特異性カテゴリーは、Tk−1(Λ) のルートカテゴリーと同値であり、Λk が Cohen-Macaulay 表現型に従って分類され、CM-有限の場合の明示的 Auslander-Reiten 図が与えられる。

ABSTRACT

Let $Λ$ be a finite-dimensional algebra with finite global dimension, $R_k=K[X]/(X^k)$ be the $\mathcal{Z}$-graded local ring with $k\geq1$, and $Λ_k=Λ\otimes_K R_k$. We consider the singularity category $\mathcal{D}_{sg}(\mathrm{mod}^\mathcal{Z}(Λ_k))$ of the graded modules over $Λ_k$. It is showed that there is a tilting object in $\mathcal{D}_{sg}(\mathrm{mod}^\mathcal{Z}(Λ_k))$ such that its endomorphism algebra is isomorphic to the triangular matrix algebra $T_{k-1}(Λ)$ with coefficients in $Λ$ and there is a triangulated equivalence between $\mathcal{D}_{sg}(\mathrm{mod}^{\mathcal{Z}/k\mathcal{Z}}(Λ))$ and the root category of $T_{k-1}(Λ)$. Finally, a classification of $Λ_k$ up to the Cohen-Macaulay representation type is given.

研究の動機と目的

• Λk = Λ ⊗K Rk とし、Rk = K[X]/(Xk) かつ Λ が有限次元で有限グローバル次元を持つものとして、Z(Λk) における mod の特異性カテゴリー Dsg(modZ(Λk)) を研究すること。
• Dsg(modZ(Λk)) に tilting 対象を構成し、その自己準同型代数が三角行列代数 Tk−1(Λ) に同型であることを示すこと。
• Dsg(modZ/kZ(Λk)) と Tk−1(Λ) のルートカテゴリーの間で三角同値を確立すること。
• Λk を Cohen-Macaulay 表現型に従って分類し、CM-有限および CM-無限のケースを区別すること。

提案手法

• Rk = K[X]/(Xk) の Z-重層的構造を用いて、Λk = Λ ⊗K Rk を正の重層的 Gorenstein 代数として定義すること。
• Yamaura の重層的加群の安定カテゴリーに関する研究にインspiredされた方法により、特異性カテゴリー Dsg(modZ(Λk)) における tilting 対象を構成すること。
• この tilting 対象の自己準同型代数が、係数を Λ とする三角行列代数 Tk−1(Λ) に同型であることを証明すること。
• tilting 対象を用いて、Dsg(modZ(Λk)) ≃ Db(mod(Tk−1(Λ))) の三角同値を確立すること。
• Λk に Z/kZ-重層を制限して Dsg(modZ/kZ(Λk)) を定義し、Tk−1(Λ) のルートカテゴリー RTk−1(Λ) への同値を誘導すること。
• 既知のルートカテゴリーおよび軌道カテゴリーに関する結果を応用し、三角構造および同値性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 Z-重層的加群の特異性カテゴリー Dsg(modZ(Λk)) は、自己準同型代数が Tk−1(Λ) に同型である tilting 対象を有するか？
• RQ2 Dsg(modZ(Λk)) と有界導来カテゴリー Db(mod(Tk−1(Λ))) の間で三角同値が成立するか？
• RQ3 Z/kZ-重層的特異性カテゴリー Dsg(modZ/kZ(Λk)) は、Tk−1(Λ) のルートカテゴリーと三角同値であるか？
• RQ4 Λk の Cohen-Macaulay 表現型は、Λ と k の構造にどのように依存するか？
• RQ5 Λk が CM-有限型である場合、その Auslander-Reiten 図はどのように求まるか？

主な発見

• 特異性カテゴリー Dsg(modZ(Λk)) は、自己準同型代数が三角行列代数 Tk−1(Λ) に同型である tilting 対象を有し、これにより Db(mod(Tk−1(Λ))) と三角同値が成立する。
• Z/kZ-重層的特異性カテゴリー Dsg(modZ/kZ(Λk)) は、Tk−1(Λ) のルートカテゴリー RTk−1(Λ) と三角同値である。
• k=2 の場合、この結果は既知の同値 Dsg(mod(Λ2)) ≃ Db(mod(Λ))/Σ を回復し、一般化する。
• 代数 Λk が有限 Cohen-Macaulay 型（CM-有限）であるための必要十分条件は、Tk−1(Λ) が表現有限型であることである。
• Λk が CM-有限型である場合の明示的 Auslander-Reiten 図が計算され、Λ が型 A4 である場合や型 A3 の傾き代数である場合の例も含む。
• Λk 上の Gorenstein な射影的加群の構造は、Tk−1(Λ) の導来カテゴリーおよび軌道カテゴリー構造によって支配され、表現論と特異性カテゴリーの間の関係が結びつけられる。