[论文解读] 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

一句话总结

本文证明了有限维代数之间的奇异等价性可通过双模的张量函子实现，并提供了一种构造性方法来实现此类等价性。它证明了一个双模诱导奇异等价性当且仅当其关联的Hom函子在内射模的殆纯复形的同伦范畴之间诱导出三角等价。主要贡献在于显式构造了一个$A$-$B$-双模$M$，该双模在二次单项式代数$A$与其对应的幂零根代数$B$之间诱导出奇异等价性，此外还得到了在Gorenstein与非Gorenstein情形下的奇异等价性与层级关系的附加结果。

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.

研究动机与目标

• 确定双模在何时诱导两个有限维代数之间的奇异等价性。
• 建立此类双模通过其关联的Hom函子在内射模的殆纯复形同伦范畴之间诱导奇异等价性的必要且充分条件。
• 显式构造一个$A$-$B$-双模$M$，以实现二次单项式代数$A$与其关联的幂零根代数$B$之间的奇异等价性。
• 研究该双模$M$在何种情况下出现在定义奇异等价性与层级关系的配对中，特别是Gorenstein与非Gorenstein情形。
• 将奇异等价性与层级关系的结果推广至更广泛的二次单项式代数类，包括gentle代数。

提出的方法

• 使用内射$A$-模的殆纯复形的同伦范畴$\mathbf{K}_{\rm ac}(A\mbox{-Inj})$作为奇异范畴$\mathbf{D}_{\rm sg}(A)$的紧致完备化。
• 在$\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)$联系起来。
• 应用Gorenstein代数与dg提升的结果，推导出对偶双模的投射分解的有限性条件。

实验结果

研究问题

• RQ1 在何种条件下，双模会诱导两个有限维代数之间的奇异等价性？
• RQ2 与双模相关的张量函子在何时诱导出内射模的殆纯复形同伦范畴之间的三角等价性？
• RQ3 能否通过显式双模张量函子实现二次单项式代数与其关联的幂零根代数之间的奇异等价性？
• RQ4 在何种情况下，双模$M$出现在定义奇异等价性与层级关系的配对中？
• RQ5 作为右$A$-模，$B$-对偶双模$\mathrm{Hom}_{B^\mathrm{op}}(M,B)$的投射维数满足何种条件？

主要发现

• 由双模$M$诱导的张量函子在$A$与$B$之间诱导奇异等价性，当且仅当其关联的Hom函子在$\mathbf{K}_{\rm ac}(A\mbox{-Inj})$与$\mathbf{K}_{\rm ac}(B\mbox{-Inj})$之间诱导出三角等价性。
• 显式构造了一个$A$-$B$-双模$M$，使得张量函子$-\otimes_A M$在二次单项式代数$A$与其关联的幂零根代数$B$之间诱导出奇异等价性。
• 在Gorenstein情形下，双模$M$出现在定义奇异等价性与层级关系的配对$(M,N)$中。
• $A$-对偶双模$\mathrm{Hom}_A(M,A)$作为左$B$-模是投射的，且该性质在非Gorenstein情形下依然成立。
• $B$-对偶双模$\mathrm{Hom}_{B^\mathrm{op}}(M,B)$作为右$A$-模具有有限投射维数，当且仅当$A$是Gorenstein代数；否则可能具有无限投射维数。
• 结果表明，Keller关于奇异Hochschild上同调的猜想对一类二次单项式代数（包括gentle代数）成立。