[論文レビュー] The singularity category of a quadratic monomial algebra

Xiao‐Wu Chen|arXiv (Cornell University)|Feb 7, 2015

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

ひとこと要約

本稿では、安定モジュール圏間のプレ三角同値を介して、二次単項代数と根基の平方がゼロである代数の間の特異的同値を確立する。主な貢献は、関連する有向グラフのレヴィットパス代数上の次数付き射影モジュールを用いて、二次単項代数の特異的カテゴリを明示的に記述することにある。

ABSTRACT

We exploit singular equivalences between artin algebras, that are induced from certain functors between the stable module categories. Such functors are called pre-triangle equivalences. We construct two pre-triangle equivalences connecting the stable module category over a quadratic monomial algebra and the one over an algebra with radical square zero. Consequently, we obtain an explicit singular equivalence between the two algebras.

研究の動機と目的

• 二次単項代数と根基の平方がゼロである代数の間の特異的同値を確立すること。
• 安定モジュール圏間のプレ三角同値の概念を導入し、それを用いて特異的同値を誘導すること。
• 二次単項代数の特異的カテゴリおよびゴレンシュタイン欠損カテゴリを、関連する有向グラフのレヴィットパス代数上の次数付き射影モジュールを用いて記述すること。
• 以前の優しい代数に関する結果を、より広いクラスの二次単項代数へ一般化すること。
• 特異的カテゴリ、ゴレンシュタイン射影モジュール、およびゴレンシュタイン欠損カテゴリを結ぶ明示的な三角同値を提示すること。

提案手法

• 安定モジュール圏間の関手としてプレ三角同値を定義し、安定化の後に三角同値を誘導すること。
• 二次単項代数の安定モジュール圏と根基の平方がゼロである代数の安定モジュール圏を結ぶ2つの明示的なプレ三角同値を構成すること。
• 安定化プロセスを用いて、元の代数の特異的カテゴリを安定化された安定モジュール圏に関連付けること。
• 根基の平方がゼロである代数に関する既知の結果を活用し、それらの特異的カテゴリをレヴィットパス代数上の次数付き射影モジュールを用いて記述すること。
• ループ付きカテゴリおよび安定化の理論を用いて、特異的カテゴリをゴレンシュタイン欠損カテゴリおよび次数付き射影モジュールのカテゴリに関連付けること。
• 代数の関係有向グラフを用いて、完全および欠損成分を分類し、それらが特異的カテゴリの構造を決定すること。

実験結果

リサーチクエスチョン

• RQ1 二次単項代数と根基の平方がゼロである代数の間で特異的同値をどのように構成できるか。
• RQ2 プレ三角同値が安定モジュール圏間の特異的同値を誘導する役割は何か。
• RQ3 二次単項代数の特異的カテゴリは、レヴィットパス代数を用いてどのように分解されるか。
• RQ4 このような代数のゴレンシュタイン欠損カテゴリと特異的カテゴリの関係は何か。
• RQ5 二次単項代数の特異的カテゴリが、三角カテゴリの積と同値になるのはどのような条件下か。

主な発見

• 二次単項代数の特異的カテゴリは、関係有向グラフの完全成分のサイズ $d_i$ に対し、三角カテゴリの積 $\mathcal{T}_{d_1} \times \mathcal{T}_{d_2} \times \cdots \times \mathcal{T}_{d_m}$ と三角同値である。
• 二次単項代数のゴレンシュタイン欠損カテゴリは、欠損有向グラフ $\mathcal{R}_A^{\rm def}$ のレヴィットパス代数上の次数付き射影モジュールのカテゴリに、ずらし自己同型を施したものと三角同値である。
• 代数がゴレンシュタインであるとき、ゴレンシュタイン欠損カテゴリは自明であり、特異的カテゴリは三角カテゴリの積 $\mathcal{T}_{d_1} \times \cdots \times \mathcal{T}_{d_m}$ と同値である。
• 関係有向グラフに完全成分がない二次単項代数の場合、特異的カテゴリはゴレンシュタイン欠損カテゴリと同値であり、それ自身は欠損有向グラフのレヴィットパス代数上の次数付き射影モジュールのカテゴリと同値である。
• 二次単項代数の安定モジュール圏と根基の平方がゼロである代数の安定モジュール圏の同値は、プレ三角同値のズグワを介して誘導され、完全な特異的同値が得られる。
• 明示的な三角同値が $A$-mod、$B$-mod、およびカテゴリ $\mathcal{T}_{d_i}$ 間で確立され、特異的カテゴリが関係有向グラフの構造に基づいて三角カテゴリの積に分解されることを示している。