[論文レビュー] 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

ひとこと要約

この論文は、随伴函手を用いた圏論的枠組みを確立し、ティルティング理論と可換代数における主要な同型関係を統一的かつ一般化する。特に、導来函手を用いて相対的コhen–マカウレイ加群に対する双対性を証明している。中心的な結果は、導来函手下での固定対象および余固定対象の部分圏の間で、随伴同値が成り立つことであり、これはフォックスビーとシャープの同型関係を回復・拡張するものである。

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.

研究の動機と目的

• ティルティング理論と可換代数における既知の同型関係を統一的かつ圏論的に枠組みづけること。
• 導来函手と随伴同値が双対性を確立する役割を明確にすること。
• ヘルラス、シャンツェル、ザークルの意味での相対的コhen–マカウレイ加群に対する双対性理論を確立すること。
• 導来函手と随伴函手を用いて、フォックスビーとシャープの双対性といった既知の同型関係を一般化すること。
• ティルティング随伴の導来函手が、固定対象および余固定対象の特定の部分圏上で随伴同値を誘導することを示すこと。

提案手法

• カテゴリ 𝒜 における ℓ-固定対象のカテゴリ 𝔛ℓ(𝒜) とカテゴリ 𝒞 における ℓ-余固定対象のカテゴリ 𝔠𝔬𝔽𝔦𝔫𝔫(𝒞) を定義する。
• 導来函手 LℓF と RℓG を定義し、これらが部分圏 𝔛ℓ(𝒜) と 𝔠𝔬𝔽𝔦𝔫𝔫(𝒞) 間で随伴同値をなすことを示す。
• 随伴 (F, G) がティルティング随伴であるという条件を用いて、導来函手下ですべての次数で消えるが一つの次数を除くモジュールの間の同値に同値を簡略化する。
• 局所コホホロジーとマトリス双対性のケースに一般枠組みを適用し、双対化複体と局所コホホロジー函手を用いる。
• 関手 ExtRc−t(−, Ω𝔞) を用いて相対的コhen–マカウレイ加群のカテゴリ上で双対性を確立し、特定の Ext-消滅および同型条件を満たすモジュールに制限した場合に同値となることを示す。
• 局所コホホロジーと導来 Hom/Ext 函手の間の同型を活用し、特に H𝔞n(Mvv) ≅ H−n(RHomR(RHomR(M, E), E)) という同型を用いて、双対性と標準写像 θM を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 随伴函手と導来函手は、ティルティング理論と可換代数における既知の同型関係をどのように統一的に扱えるか？
• RQ2 導来函手 LℓF と RℓG が固定対象および余固定対象の部分圏上で随伴同値をなすための条件は何か？
• RQ3 相対的コhen–マカウレイ加群に対する双対性は、一般の随伴函手枠組みから導出可能か？
• RQ4 局所コホホロジーとマトリス双対性は、この一般枠組みの特殊ケースとしてどのように現れるか？
• RQ5 相対的コhen–マカウレイ加群の双対性における標準写像 θM と同型条件の正確な関係は何か？

主な発見

• 導来函手 LℓF と RℓG を通じて、カテゴリ 𝒜 における ℓ-固定対象の部分圏とカテゴリ 𝒞 における ℓ-余固定対象の部分圏の間で随伴同値が確立された。
• 随伴 (F, G) がティルティング随伴である場合、同値は、すべての次数 j ≠ ℓ で LjF(M) = 0 を満たす 𝒜 内のモジュール M と、すべての次数 j ≠ ℓ で RjG(N) = 0 を満たす 𝒞 内のモジュール N の間の同値に簡略化される。
• 相対的コhen–マカウレイ加群における双対性は、関手 ExtRc−t(−, Ω𝔞) を通じて実現され、特定の Ext-消滅および同型条件を満たすモジュールのカテゴリ上で反変同値を誘導する。
• 写像 ηc−tM が、相対的コhen–マカウレイ加群の文脈で定義された写像 θM と同型であることが示され、双対性条件が θM の同型性と一致することが特定された。
• 同型式 ExtRi(ExtRc−t(M, Ω𝔞), Ω𝔞) ≅ H𝔞(c−t)−i(Mvv) が確立され、双対性における第二の消滅条件が、すべての n > 0 に対して H𝔞n(Mvv) = 0 と同値であることが示された。
• この枠組みは、フォックスビーの同値とシャープの同値といった既知の双対性を回復・一般化し、それらが導来随伴同値の特殊ケースとして生じることを示した。