[论文解读] Stratifications of derived categories from tilting modules over tame hereditary algebras

Haishan Chen, Changchang Xi|arXiv (Cornell University)|Jul 3, 2011

Algebraic structures and combinatorial models参考文献 23被引用 8

一句话总结

本文为某些在广义遗传代数上无限维倾斜模的自同态环的导出范畴建立了重组结构，表明其分解为原始代数的导出范畴与由普遍局部化构造的阿代尔环的导出范畴。当基域为代数闭域时，阿代尔环通过洛朗幂级数显式描述，并为与团 clique 并集相关的倾斜模提供了两种不同有限长度的分层结构。

ABSTRACT

In this paper, we consider the endomorphism algebras of infinitely generated tilting modules of the form $R_{\mathcal U}\oplus R_{\mathcal U}/R$ over tame hereditary $k$-algebras $R$ with $k$ an arbitrary field, where $R_{\mathcal{U}}$ is the universal localization of $R$ at an arbitrary set $\mathcal{U}$ of simple regular $R$-modules, and show that the derived module category of $\End_R(R_{\mathcal U}\oplus R_{\mathcal U}/R)$ is a recollement of the derived module category $\D{R}$ of $R$ and the derived module category $\D{{\mathbb A}_{\mathcal{U}}}$ of the adèle ring ${\mathbb A}_{\mathcal{U}}$ associated with $\mathcal{U}$. When $k$ is an algebraically closed field, the ring ${\mathbb A}_{\mathcal{U}}$ can be precisely described in terms of Laurent power series ring $k((x))$ over $k$. Moreover, if $\mathcal U$ is a union of finitely many cliques, we give two different stratifications of the derived category of $\End_R(R_{\mathcal U}\oplus R_{\mathcal U}/R)$ by derived categories of rings, such that the two stratifications are of different finite lengths.

研究动机与目标

• 研究广义遗传代数上无限生成倾斜模的自同态环的导出范畴结构。
• 通过阿代尔环显式描述重组中出现的普遍局部化，特别是当基域为代数闭域时。
• 当单个正则模的集合是团 clique 的并集时，为该类自同态环的导出范畴构造两种不同的有限长度分层。
• 以已知环如 $k[[x]]$、$k((x))$ 和戴德金环的形式，确定这些导出范畴的导出组成因子。

提出的方法

• 在单个正则模的集合上使用普遍局部化，构造形如 $R_{\bigcup \text{cliques}} \oplus R_{\bigcup \text{cliques}}/R$ 的倾斜模。
• 应用重组理论，证明自同态环的导出范畴是 ${\mathscr{D}}(R)$ 与 ${\mathscr{D}}({\mathbb{A}}_{\mathcal{U}})$ 的重组，其中 ${\mathbb{A}}_{\mathcal{U}}$ 是与 $\mathcal{U}$ 相关的阿代尔环。
• 当 $k$ 为代数闭域时，显式描述阿代尔环 ${\mathbb{A}}_{\mathcal{U}}$ 为洛朗级数环 $k((x))$ 的乘积。
• 使用莫里塔等价与导出等价技术分析矩阵环与自同态环的导出范畴的组成因子。
• 利用已知的戴德金环的导出单纯性结果及矩阵环的导出等价性，计算分层结构。
• 利用团与普吕弗模的结构，定义普遍局部化及其自同态环。

实验结果

研究问题

• RQ1 广义遗传代数上倾斜模的自同态环的导出范畴是否可通过重组分解？其组成部分是什么？
• RQ2 当基域为代数闭域时，重组中出现的普遍局部化能否被显式描述？
• RQ3 是否存在多个非等价的有限长度分层结构，用于此类自同态环的导出范畴？
• RQ4 这些导出范畴的导出组成因子是什么？它们如何依赖于单个正则模的团结构？

主要发现

• 自同态环 $B = {\rm End}_R(R_{\mathcal{U}} \oplus R_{\mathcal{U}}/R)$ 的导出范畴 ${\mathscr{D}}(B)$ 允许一个重组结构，其组成部分为 ${\mathscr{D}}(R)$ 与 ${\mathscr{D}}({\mathbb{A}}_{\mathcal{U}})$。
• 当 $k$ 为代数闭域时，阿代尔环 ${\mathbb{A}}_{\mathcal{U}}$ 同构于 $k((x))$ 的若干份乘积，通过洛朗幂级数显式描述。
• 当 $\mathcal{U}$ 为 $s$ 个团的并集时，${\mathscr{D}}(B)$ 具有长度为 $r+s$ 的分层结构，其组成因子包含 $r$ 份 $k$ 与 $s$ 份 $k((x))$。
• 存在另一种长度为 $r+s-1$ 的分层结构，其组成因子为 $r-2$ 份 $k$、$s$ 份 $k[[x]]$ 与一份戴德金环。
• 通过将莫里塔等价与导出等价技术应用于矩阵环与普遍局部化的自同态环，计算出组成因子。
• 团的总数 $\mathcal{C}$ 满足 $\sum_{\mathcal{C}}(c(\mathcal{C})-1) = r-2$，该等式用于验证分层长度的一致性。