[论文解读] Characterisation and applications of $\Bbbk$-split bimodules

Volodymyr Mazorchuk, Vanessa Miemietz+1 more|arXiv (Cornell University)|Jan 11, 2017

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

一句话总结

本文刻画了有限维代数上的双模，这些双模与任意模张量后产生投射模，证明其恰好为通过 $Χ$-向量空间分解的双模——即所谓的 $Χ$-分裂双模。关键结果表明，此类双模位于 $A \otimes_{\Bbbk} K$（$K$ 为右 $B$-模）的加法闭包中，从而为忠实 2-表示和非自对偶代数的简单投射 2-表示分类提供了应用。

ABSTRACT

We describe the structure of bimodules (over finite dimensional algebras) which have the property that the functor of tensoring with such a bimodule sends any module to a projective module. The main result is that all such bimodules are $\Bbbk$-split in the sense that they factor (inside the tensor category of bimodules) over $\Bbbk$-vector spaces. As one application, we show that any simple $2$-category has a faithful $2$-representation inside the $2$-category of $\Bbbk$-split bimodules. As another application, we classify simple transitive $2$-representations of the $2$-category of projective bimodules over the algebra $\Bbbk[x,y]/(x^2,y^2,xy)$.

研究动机与目标

• 刻画通过张量作用将每个模映射为投射模的双模。
• 证明此类双模可分解为 $Χ$-向量空间，即为 $Χ$-分裂双模。
• 将该刻画应用于构造简单有限 2-范畴的忠实 2-表示。
• 对代数 $\Bbbk[x,y]/(x^2,y^2,xy)$ 上的投射双模 2-范畴，分类其简单投射 2-表示。

提出的方法

• 证明以下三个条件等价：与 $Q$ 张量将模映射为投射模、$\mathrm{Hom}_A(Q,{-})$ 保持正合序列、$Q$ 属于 $A \otimes_{\Bbbk} K$ 双模的加法闭包。
• 通过代数 $A \times B$ 将问题约化至 $A = B$ 的情形。
• 运用有限维代数的表示理论，包括 Loewy 级数、根层与自同态代数。
• 分析双模自同态代数的结构，以限制可能的双模形式。
• 通过证明将模映射为投射模的函子均源于 $Χ$-分裂双模，将该刻画应用于 2-表示。
• 通过分析代数 $B$ 与双模 $N$ 的结构，排除非 $\Bbbk$-分裂配置的可能性。

实验结果

研究问题

• RQ1 哪些有限维代数上的双模满足与之张量后将每个模映射为投射模？
• RQ2 此类双模在张量范畴性质上如何从结构上刻画？
• RQ3 每个简单有限 2-范畴是否都能仅用 $Χ$-分裂双模实现忠实 2-表示？
• RQ4 代数 $\Bbbk[x,y]/(x^2,y^2,xy)$ 上的投射双模 2-范畴的简单投射 2-表示具有何种结构？
• RQ5 当依赖投射-内射模的标准方法失效时，如何对这些 2-表示进行分类？

主要发现

• 双模 $Q$ 满足投射化性质当且仅当其属于形如 $A \otimes_{\Bbbk} K$（$K \in \mathrm{mod}\text{-}B$）的双模的加法闭包，此类双模称为 $\Bbbk$-分裂双模。
• 任何简单有限 2-范畴均可在 $\Bbbk$-分裂双模的 2-范畴中实现忠实 2-表示。
• 通过 $\Bbbk$-分裂刻画，成功实现了对代数 $\Bbbk[x,y]/(x^2,y^2,xy)$ 上投射双模 2-范畴的简单投射 2-表示的分类。
• 证明通过排除 2-表示中双模 $N$ 的所有可能配置，表明从 $B$ 到目标双模的同态空间维数不能超过 3，与 $A \otimes_{\Bbbk} A$ 所需的 4 维空间矛盾。
• $A = \Bbbk[x,y]/(x^2,y^2,xy)$ 是首个无非零投射-内射模的最小代数，使得标准分类技术失效，因此必须采用基于 $\Bbbk$-分裂双模的新方法。
• 该方法即使在缺乏非平坦结构或投射-内射模的情况下，仍成功实现了简单投射 2-表示的分类。