[论文解读] Explicit models for some stable categories of maximal Cohen-Macaulay modules

Louis de Thanhoffer de Völcsey, Michel Van den Bergh|arXiv (Cornell University)|Jun 10, 2010

Algebraic structures and combinatorial models被引用 7

一句话总结

本文为具有孤立奇点的 Gorenstein 局域环上最大 Cohen-Macaulay 模的稳定范畴提供了显式的 DG-代数模型。通过构造自同态代数 $\Lambda = \operatorname{End}_R(R\oplus N)$ 的极小模型，作者证明了稳定范畴 $\underline{\operatorname{MCM}}(R)$ 与商 DG-代数 $\Gamma$ 的完美导出范畴之间存在 quasi-equivalence，并特别地，在 3- Calabi-Yau 与 Koszul 情况下，将 $\underline{\operatorname{MCM}}(R)$ 实现为广义 $n-1$-簇范畴。

ABSTRACT

We give concrete DG-descriptions of certain stable categories of maximal Cohen-Macaulay modules. This makes in possible to describe the latter as generalized cluster categories in certain cases.

研究动机与目标

• 为具有孤立奇点的 Gorenstein 环上最大 Cohen-Macaulay 模的稳定范畴提供显式的 DG-模型。
• 为某个合适的 DG-代数 $\Gamma$ 建立 $\underline{\operatorname{MCM}}(R)$ 与 $\operatorname{Perf}(\Gamma)/\langle S_i \rangle_{i \neq 0}$ 之间的 quasi-equivalence。
• 证明在 3-Calabi-Yau 与 Koszul 情况下，$\underline{\operatorname{MCM}}(R)$ 是一个广义簇范畴。
• 为商奇点 $R = k[[x_1,\dots,x_n]]^G$ 且 $G = \mathbb{Z}/m\mathbb{Z}$ 的情形，给出 $\Gamma$ 的显式描述。
• 通过 DG-模型重新推导并证明 [2,7] 中关于 quasi-isomorphism $\Gamma \cong T_C(\Theta_C[n-1])$ 的结果。

提出的方法

• 为自同态代数 $\Lambda = \operatorname{End}_R(R\oplus N)$ 构造一个极小有限模型 $(T_l V, d) \to \Lambda$，其中 $\Lambda$ 具有有限整体维数且作为 $R$-模是 Cohen-Macaulay 的。
• 定义 $\Gamma = T_l V / T_l V e_0 T_l V$，这是一个集中于非正度数且每阶上同调有限维的商 DG-代数。
• 利用极小模型的结构，证明 $\underline{\operatorname{MCM}}(R) \cong \operatorname{Perf}(\Gamma)/\langle S_i \rangle_{i \neq 0}$，将稳定范畴识别为完美导出范畴的商。
• 在 3-Calabi-Yau 情况下，利用超势能的存在性，从势能构造极小模型，从而得到广义簇范畴。
• 在 Koszul 情况下，利用 Koszul 对偶性与 Adams 分次，证明 $\Gamma \cong T_C(\Theta_C[n-1])$，其中 $C$ 是一个带有关系的路径代数。
• 通过非退化的双模态射与对偶复形 $\Theta_C$，显式计算 $\tilde{\Omega}_{k\tilde{P}/l^0}$ 上的微分，建立 quasi-isomorphism $\Gamma \cong T_C(\Theta_C[n-1])$。

实验结果

研究问题

• RQ1 具有孤立奇点的 Gorenstein 环上最大 Cohen-Macaulay 模的稳定范畴 $\underline{\operatorname{MCM}}(R)$ 是否能通过显式的 DG-模型来描述？
• RQ2 在何种条件下 $\underline{\operatorname{MCM}}(R)$ 与广义簇范畴等价？
• RQ3 如何显式构造 DG-代数 $\Gamma$，使得 $\underline{\operatorname{MCM}}(R) \cong \operatorname{Perf}(\Gamma)/\langle S_i \rangle_{i \neq 0}$？
• RQ4 对于商奇点 $R = k[[x_1,\dots,x_n]]^G$ 且 $G = \mathbb{Z}/m\mathbb{Z}$ 的情形，$\Gamma$ 的 DG-模型是什么？
• RQ5 在商奇点情形下，$\Gamma \cong T_C(\Theta_C[n-1])$ 的 quasi-isomorphism 是否能从 DG-模型而非一般 Calabi-Yau 理论中导出？

主要发现

• 稳定范畴 $\underline{\operatorname{MCM}}(R)$ 与 $\operatorname{Perf}(\Gamma)/\langle S_i \rangle_{i \neq 0}$ quasi-equivalent，其中 $\Gamma = T_l V / T_l V e_0 T_l V$ 是一个每阶上同调有限维的 DG-代数。
• $\Gamma$ 集中于度数 $\leq 0$，其零度部分为 $H^0(\Gamma) = \Lambda / \Lambda e_0 \Lambda$，即 $\Lambda$ 关于由 $e_0$ 生成的双边理想之商。
• 在 3-Calabi-Yau 情况下，$\underline{\operatorname{MCM}}(R)$ 同构于 Amiot 定义的带超势能的 quiver 的广义簇范畴。
• 对于 $R = k[[x_1,\dots,x_n]]^G$ 且 $G = \mathbb{Z}/m\mathbb{Z}$ 作用满足 $\sum a_i \equiv 0 \mod m$ 的 Koszul 情况，DG-代数 $\Gamma$ 显式描述为 $T_C(\Theta_C[n-1])$，其中 $C$ 是一个带有关系的路径代数。
• 通过从 $\tilde{\Omega}_{k\tilde{P}/l^0}$ 上的微分构造的非退化双模态射 $\omega^\circ: \Theta_{k\tilde{P}} \to D[-n+1]$，建立了 quasi-isomorphism $\Gamma \cong T_C(\Theta_C[n-1])$。
• 该构造为 [2,7] 中关于 $\underline{\operatorname{MCM}}(R)$ 在商奇点情形下是广义 $n-1$-簇范畴的结果提供了新的证明。