[論文レビュー] Homotopy categories, Leavitt path algebras and Gorenstein projective modules

Xiao‐Wu Chen, Dong Yang|arXiv (Cornell University)|Jan 2, 2013

Algebraic structures and combinatorial models被引用数 3

ひとこと要約

本稿は、根基の平方がゼロである有限次元代数上の分解型複体のホモトピー圏と、リー・パス代数の導来圏、および自明拡大代数上のゴレンシュタイン射影的加群の安定圏との間で三角同値を確立する。主な貢献は、このような代数の特異性圏をリー・パス代数とゴレンシュタイン射影的加群を用いて統一的に記述することであり、これによりホモトピー論、非可換代数幾何学、特異性理論が結びつけられる。

ABSTRACT

For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived category of the Leavitt path algebra viewed as a differential graded algebra with trivial differential, which is further triangle equivalent to the stable category of Gorenstein projective modules over the trivial extension algebra of a von Neumann regular algebra by an invertible bimodule. A related, but different, result for the homotopy category of acyclic complexes of projective modules is given. Restricting these equivalences to compact objects, we obtain various descriptions of the singularity category of a finite dimensional algebra with radical square zero, which contain previous results.

研究の動機と目的

• 根基の平方がゼロである有限次元代数上の分解型複体の射影的加群のホモトピー圏を記述すること。
• この圏をリー・パス代数の導来圏および自明拡大代数上のゴレンシュタイン射影的加群の安定圏と関連付けること。
• このような代数の特異性圏の新たな記述を提供し、既存の結果を一般化すること。
• ホモトピー圏、リー・パス代数の導来圏、ゴレンシュタイン射影的加群の安定圏との間で同値を確立すること。

提案手法

• 微分付き代数を用いてリー・パス代数をモデル化し、微分が自明であるものとする。
• コシュール双対性の技法を用いて、射影的加群のホモトピー圏とパス代数の導来圏との関係を確立する。
• フォン・ノイマン正則代数と可逆な双加群から自明拡大代数を構成する。
• 順序付きモラータ同値および導来同値を用いて、リー・パス代数とその反対代数との関係を記述する。
• コンパクト対象を用いた三角同値と特異性圏への制限により、同値を確立する。
• 既知のゴレンシュタイン射影的加群およびフロベニウス圏に関する結果を活用し、安定圏を定義する。

実験結果

リサーチクエスチョン

• RQ1 根基の平方がゼロである代数上の分解型複体の射影的加群のホモトピー圏は、リー・パス代数の導来圏とどのように関係しているか。
• RQ2 自明拡大代数上のゴレンシュタイン射影的加群の安定圏と、分解型複体の射影的加群のホモトピー圏との関係は何か。
• RQ3 根基の平方がゼロである有限次元代数の特異性圏は、リー・パス代数とゴレンシュタイン射影的加群を用いて記述可能か。
• RQ4 2つのこのような代数が特異的同値であるための条件は何か。また、それらのリー・パス代数の順序付きモラータ同値性とはどのように関係するか。
• RQ5 分解型複体の射影的加群のホモトピー圏と、リー・パス代数の反対代数の導来圏との間に三角同値が存在するか。

主な発見

• $kQ/J^2$ 上の分解型複体の射影的加群のホモトピー圏と、リー・パス代数 $L(Q)^{\rm op}$ の導来圏との間に三角同値が存在する。
• $L(Q)^{\rm op}$ の導来圏は、自明拡大代数 $\Lambda^+(Q) = L(Q)^0 \ltimes L(Q)^1$ 上のゴレンシュタイン射影的加群の安定圏と三角同値である。
• $kQ/J^2$ 上の分解型複体の射影的加群のホモトピー圏は、$L(Q^{\rm op})$ の導来圏と三角同値であり、また $\Lambda^-(Q^{\rm op})$ 上のゴレンシュタイン射影的加群の安定圏とも三角同値である。
• これらの圏におけるコンパクト対象は特異性圏 $\mathbf{D}_{\rm sg}(kQ/J^2)$ に一致し、これは完全な導来圏 $\mathrm{perf}(L(Q)^{\rm op})$ と、$\Lambda^+(Q)$-加群の有限生成ゴレンシュタイン射影的加群の安定圏と同値である。
• 同値はコンパクト生成トライアンギュレート圏に制限され、特異性圏はリー・パス代数とゴレンシュタイン射影的加群を用いて完全に記述される。
• 本稿は、2つのこのような代数が特異的同値であるための必要十分条件として、それらのリー・パス代数が順序付きモラータ同値であるか、導来同値であるか、またはそれらの自明拡大代数がモラータ同値であることを証明している。