[论文解读] Parametrizing torsion pairs in derived categories

Lidia Angeleri Hügel, Michal Hrbek|arXiv (Cornell University)|Oct 25, 2019

Algebraic structures and combinatorial models被引用 1

一句话总结

本文通过从环 A 出发构造一系列同调环同态链，建立了对环 A 的模的导出范畴 D(Mod-A) 中紧生成 t-结构和 cosilting 对象的参数化。关键贡献是通过此类链对克罗内克代数上的纯注入 cosilting 对象和有限型 silting 对象进行了分类，将经典的 Zariski 谱参数化推广至环同态的格结构，并在遗传情形下建立了 silting 与 cosilting 对象之间的对偶性。

ABSTRACT

We investigate parametrizations of compactly generated t-structures, or more generally, t-structures with a definable coaisle, in the unbounded derived category D(Mod-A) of a ring A. To this end, we provide a construction of t-structures from chains in the lattice of ring epimorphisms starting in A, which is a natural extension of the construction of compactly generated t-structures from chains of subsets of the Zariski spectrum known for the commutative noetherian case. We also provide constructions of silting and cosilting objects in D(Mod-A). This leads us to classification results over some classes of commutative rings and over finite dimensional hereditary algebras.

研究动机与目标

• 将紧生成 t-结构的参数化从 Zariski 谱的特殊闭子集链推广至更广泛的环类，包括非诺特环与非交换情形。
• 在导出范畴 D(Mod-A) 中，建立具有可定义余塔的 t-结构与环同态链（特别是同调环同态）之间的对应关系。
• 利用此类链对特定环（尤其是克罗内克代数和有限维遗传代数）上的纯注入 cosilting 对象与有限型 silting 对象进行分类。
• 将 silting 与 cosilting 理论推广至弱整体维数至多为一的环，并证明在这些情形下所有纯注入 cosilting 对象均为紧生成的。
• 在遗传环情形下建立 silting 与 cosilting 的对偶性，证明最小 silting 模与 cosilting 模之间存在通过对偶性建立的双射。

提出的方法

• 通过满足同调条件的环同态链 λ_n : A → B_n 构造 D(Mod-A) 中的 t-结构，推广经典构造中基于 Spec(A) 子集的方法。
• 利用 A-mod 的宽子范畴上的普遍局部化，将每个环同态 λ_n 实现为在子范畴 Mn ⊆ A-mod 上的普遍局部化。
• 定义一个整数索引的双反射子范畴链 X_n ⊆ A-mod，其中当 n < l 时 X_n = 0，当 l ≤ n ≤ m 时 X_n = X_B，当 n > m 时 X_n = A-mod，从而诱导出 t-结构。
• 应用对偶 (−)+ 将 D(Mod-A) 中的 silting 对象与 D(A-Mod) 中的 cosilting 对象联系起来，建立有限型 silting 对象的等价类与纯注入 cosilting 对象之间的双射。
• 利用当 A 的弱整体维数 ≤1 时，t-结构的余塔 V 是可定义的（由紧致对象之间的态射集定义）这一事实。
• 证明满足 meet 0_A 且 join id_A 的环同态链对应于余塔可定义且由 cosilting 对象导出的 t-结构。

实验结果

研究问题

• RQ1 是否可以使用环同态链而非 Zariski 谱的子集来对 D(Mod-A) 中的紧生成 t-结构进行参数化？
• RQ2 何种条件可确保同调环同态链在 D(Mod-A) 中导出 cosilting 对象？
• RQ3 在遗传环上，silting 与 cosilting 对象之间有何关系？是否存在二者之间的对偶性？
• RQ4 对于克罗内克代数，纯注入 cosilting 复形及其对偶 silting 复形的完整分类是什么？
• RQ5 在何种条件下，D(Mod-A) 中具有可定义余塔的每个 t-结构均可通过环同态链实现？

主要发现

• 在域上克罗内克代数 A 上，D(A-Mod) 中每个纯注入 cosilting 对象均来自满足 meet 0_A 且 join id_A 的同调环同态链，或与 cotilting 模块 W 的平移等价。
• D(A-Mod) 中纯注入 cosilting 对象的分类包括三类：非最小 cotilting 模块 W 的平移、由有限维同态构造的对象，以及由拟单模子集的递减链（交为空）构造的对象。
• 在代数闭域上的克罗内克代数上，D(Mod-A) 中有限型 silting 对象的等价类与 D(A-Mod) 中纯注入 cosilting 对象之间存在双射，该双射由对偶 (−)+ 导出。
• D(Mod-A) 中有限型 silting 对象的分类包括：非最小 tilting 模块 L、由有限维同态构造的对象，以及由拟单模子集的递减链（交为空）构造的对象。
• 在弱整体维数至多为一的环上，具有可定义余塔的每个 t-结构当且仅当所有关联的 cosilting 类均为最小类时，可由同调环同态链实现。
• 在克罗内克代数上，所有 L_n（或 K_n）的交为空的条件等价于同态链 λ_n 的 join 为 id_A，这确保了 t-结构为紧生成且余塔可定义。