[論文レビュー] Singular equivalences induced by bimodules and quadratic monomial algebras

Xiao‐Wu Chen, Jian Liu+1 more|arXiv (Cornell University)|Sep 20, 2020

Algebraic structures and combinatorial models参考文献 28被引用数 7

ひとこと要約

本稿では、有限次元代数間の特異同値が、双モジュラーを介してテンソル関手によって誘導可能であることを確立し、そのような同値を実現する構成的技法を提示する。特に関連するホモトピー圏におけるアセイックインジェクティブ複体のホモトピー圏間の三角同値が誘導される場合に限り、双モジュラーが特異同値を誘導することを証明する。主たる貢献は、二次単項代数 $A$ とそのラディカルの平方がゼロである関連代数 $B$ 間の特異同値を実現する明示的な $A$-$B$-双モジュラー $M$ の構成であり、グローベンシュタインおよび非グローベンシュタインの場合における特異同値とレベルの関係についての追加結果も得られている。

ABSTRACT

We investigate the problem when the tensor functor by a bimodule yields a singular equivalence. It turns out that this problem is equivalent to the one when the Hom functor given by the same bimodule induces a triangle equivalence between the homotopy categories of acyclic complexes of injective modules. We give conditions on when a bimodule appears in a pair of bimodules, that defines a singular equivalence with level. We construct an explicit bimodule, which yields a singular equivalence between a quadratic monomial algebra and its associated algebra with radical square zero. Under certain conditions which include the Gorenstein cases, the bimodule does appear in a pair of bimodules defining a singular equivalence with level.

研究の動機と目的

• 二つの有限次元代数間で双モジュラーが特異同値を誘導する条件を特定すること。
• 関連するホモトピー圏におけるアセイック複体のホモロジー関手が三角同値を誘導するための必要十分条件を確立すること。
• 二次単項代数 $A$ とそのラディカルの平方がゼロである関連代数 $B$ 間の特異同値を実現する明示的な $A$-$B$-双モジュラー $M$ を構成すること。
• この双モジュラー $M$ が特異同値とレベルを定義するペアに現れる条件を特定すること、特にグローベンシュタインおよび非グローベンシュタインの場合を含む。
• グローベンシュタイン代数やデイジュー・エンハンスメントの結果を応用し、特異同値とレベルの結果を、ジェントル代数を含むより広いクラスの二次単項代数へと拡張すること。

提案手法

• 特異カテゴリー $\mathbf{D}_{\rm sg}(A)$ のコンパクト完備化として、アセイックインジェクティブ $A$-モジュール複体のホモトピー圏 $\mathbf{K}_{\rm ac}(A\mbox{-Inj})$ を用いる。
• $\mathbf{K}_{\rm ac}(A\mbox{-Inj})$ とデイジュー特異カテゴリー $\mathbf{S}_{\rm dg}(A)$ の右dgモジュールの導来カテゴリーとの間で三角同値を確立する。
• 二次単項代数 $A$ 及びそのラディカルの平方がゼロである関連代数 $B$ のクーヴァーと関係に基づき、生成子と関係式による $A$-$B$-双モジュラー $M$ を定義する。
• $B$-$A$-双モジュラー $\mathrm{Hom}_{B^\mathrm{op}}(M,B)$ を構成し、その構造と右 $A$-モジュールとしての射影次元を分析する。
• 特異同値とレベルの概念を用いて、双モジュラー $M$ が、必要な条件を満たすペア $(M,N)$ に現れることを関連付ける。
• グローベンシュタイン代数およびdgエンハンスメントの結果を応用し、双対双モジュラーの射影的分解の有限性条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で双モジュラーが二つの有限次元代数間の特異同値を誘導するか？
• RQ2 双モジュラーに関連するテンソル関手が、インジェクティブ複体のアセイックホモトピー圏間の三角同値を誘導するのはいつか？
• RQ3 二次単項代数とその関連するラディカルの平方がゼロの代数間の特異同値は、明示的な双モジュラーテンソル関手によって実現可能か？
• RQ4 どのような場合に双モジュラー $M$ が特異同値とレベルを定義するペアに現れるか？
• RQ5 右 $A$-モジュールとしての $B$-双対双モジュラー $\mathrm{Hom}_{B^\mathrm{op}}(M,B)$ の射影次元にどのような条件が課されるか？

主な発見

• 双モジュラー $M$ が誘導するテンソル関手が $A$ と $B$ 間の特異同値をもたらすのは、関連するホモロジー関手が $\mathbf{K}_{\rm ac}(A\mbox{-Inj})$ と $\mathbf{K}_{\rm ac}(B\mbox{-Inj})$ 間の三角同値を誘導する場合に限り、かつそのときに限る。
• 明示的な $A$-$B$-双モジュラー $M$ が構成され、テンソル関手 $-\otimes_A M$ が二次単項代数 $A$ とそのラディカルの平方がゼロである関連代数 $B$ 間の特異同値を誘導することが保証される。
• グローベンシュタインの場合、双モジュラー $M$ は特異同値とレベルを定義するペア $(M,N)$ に現れる。
• $A$-双対双モジュラー $\mathrm{Hom}_A(M,A)$ は左 $B$-モジュールとして射影的であり、この性質は非グローベンシュタインの場合にも成り立つ。
• $B$-双対双モジュラー $\mathrm{Hom}_{B^\mathrm{op}}(M,B)$ は、$A$ がグローベンシュタインであれば右 $A$-モジュールとして有限射影次元を持つが、そうでない場合には無限射影次元をとる可能性がある。
• これらの結果は、ケラーの特異ホッホシルドコホホロジーに関する予想が、ジェントル代数を含む二次単項代数のクラスにおいて成立することを示唆している。