[论文解读] Equivalences from tilting theory and commutative algebra from the adjoint functor point of view

Olgur Celikbas, Henrik Holm|arXiv (Cornell University)|Mar 20, 2017

Algebraic structures and combinatorial models参考文献 20被引用 6

一句话总结

本文通过伴随函子建立了一个范畴论框架，统一并推广了倾斜理论与交换代数中的关键等价关系，特别是通过导出函子证明了相对科恩-麦克aul伊模块的对偶性。核心结果是在导出函子下，固定对象与共固定对象的子范畴之间存在伴随等价，该结果恢复并扩展了已知的对偶性，如福克斯比与夏普的等价关系。

ABSTRACT

We give a category theoretic approach to several known equivalences from (classic) tilting theory and commutative algebra. Furthermore, we apply our main results to establish a duality theory for relative Cohen-Macaulay modules in the sense of Hellus, Schenzel, and Zargar.

研究动机与目标

• 为倾斜理论与交换代数中已知的等价关系提供一个统一的范畴论框架。
• 阐明导出函子与伴随等价在建立对偶性中的作用。
• 在赫卢斯、申策尔与扎尔加尔的意义下，为相对科恩-麦克aul伊模建立对偶性理论。
• 利用导出函子与伴随函子，推广已知的等价关系，如福克斯比与夏普的对偶性。
• 表明倾斜伴随关系的导出函子在固定与共固定对象的特定子范畴上诱导出伴随等价。

提出的方法

• 引入𝒜中的ℓ-固定对象范畴与𝒞中的ℓ-共固定对象范畴，分别记为𝔛ℓ(𝒜)与𝔠𝔬𝔽𝔦𝔫𝔫(𝒞)。
• 定义导出函子LℓF与RℓG，并证明它们在子范畴𝔛ℓ(𝒜)与𝔠𝔬𝔽𝔦𝔫𝔫(𝒞)之间形成伴随等价。
• 利用伴随关系(F, G)为倾斜伴随关系的条件，将等价性简化为在导出函子下除一个度数外所有度数为零的模之间的等价性。
• 将一般框架应用于局部上同调与马特利对偶的情形，利用对偶复形与局部上同调函子。
• 通过函子ExtRc−t(−, Ω𝔞)在相对科恩-麦克aul伊模范畴上建立对偶性，证明当模满足特定的消去与同构条件时，该函子为反变等价。
• 利用局部上同调与导出Hom/Ext函子之间的同构关系，特别是利用同构H𝔞n(Mvv) ≅ H−n(RHomR(RHomR(M, E), E))，将对偶性与典范映射θM联系起来。

实验结果

研究问题

• RQ1 如何利用伴随函子与导出函子统一倾斜理论与交换代数中的已知等价关系？
• RQ2 在什么条件下，导出函子LℓF与RℓG会在固定与共固定对象的子范畴上形成伴随等价？
• RQ3 相对科恩-麦克aul伊模的对偶性能否从一个一般的伴随函子框架中导出？
• RQ4 局部上同调与马特利对偶性如何作为该一般框架的特例出现？
• RQ5 典范映射θM与相对科恩-麦克aul伊模对偶性中的同构条件之间的确切关系是什么？

主要发现

• 通过导出函子LℓF与RℓG，在𝒜中ℓ-固定对象的子范畴与𝒞中ℓ-共固定对象的子范畴之间建立了伴随等价。
• 当伴随关系(F, G)为倾斜伴随关系时，该等价性简化为𝒜中满足LjF(M) = 0（j ≠ ℓ）的模M与𝒞中满足RjG(N) = 0（j ≠ ℓ）的模N之间的等价性。
• 相对科恩-麦克aul伊模上的对偶性通过函子ExtRc−t(−, Ω𝔞)实现，该函子在满足特定Ext-消去与同构条件的模范畴上诱导出反变等价。
• 证明了典范映射ηc−tM同构于相对科恩-麦克aul伊模语境下定义的映射θM，从而将对偶性条件与θM的同构性联系起来。
• 建立了同构关系ExtRi(ExtRc−t(M, Ω𝔞), Ω𝔞) ≅ H𝔞(c−t)−i(Mvv)，表明对偶性中的第二个消去条件等价于对所有n > 0有H𝔞n(Mvv) = 0。
• 该框架通过表明福克斯比等价与夏普等价作为导出伴随等价的特例而恢复并推广了已知对偶性。