[論文レビュー] 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-構造およびコシルティング対象をパラメトライズすることを確立する。主な貢献は、クレーマー代数における純代数的コシルティング対象および有限型シルティング対象の分類を、このような鎖を用いて行い、古典的なザリスキスペクトルからのパラメトライズーションを、環エピモルフィズムのラティスへと拡張することであり、特にアーベル的状況においてシルティングとコシルティング対象の双対性を示す。

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-構造のパラメトライズーションを、ノエター的でも可換でもない設定を含むより広い環のクラスへ一般化すること。
• D(Mod-A) における、定義可能（definable）なコエイールをもつ t-構造と、特にホモロジー的環エピモルフィズムの鎖との間の対応を確立すること。
• 特にクレーマー代数および有限次元のホモロジー的代数における、純代数的コシルティング対象および有限型シルティング対象を、このような鎖を用いて分類すること。
• 弱グローバル次元が 1 以下の環へシルティングおよびコシルティング理論を拡張し、すべての純代数的コシルティング対象がコンパクト生成であることを示すこと。
• ホモロジー的環において、シルティングとコシルティング対象の双対性を確立し、最小のシルティングおよびコシルティング加群が双対性により一対一対応することを示すこと。

提案手法

• 環 A から始まるホモロジー的条件を満たす環エピモルフィズムの鎖 λ_n : A → B_n を用いて、D(Mod-A) における t-構造を構成し、古典的な部分集合による構成を一般化する。
• 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) におけるシルティング対象と D(A-Mod) におけるコシルティング対象との間の双対性 (−)+ を適用し、有限型シルティング対象の同値類と純代数的コシルティング対象の同値類との間の双対性を確立する。
• 弱グローバル次元 ≤1 をもつ A に対して、t-構造のコエイール V が、コンパクト対象間のモルフィズムの集合によって定義可能であることを用いる。
• 環エピモルフィズムの鎖が 0_A を下界、id_A を上界にもつとき、その t-構造のコエイールは定義可能であり、コシルティング対象から生じることを証明する。

実験結果

リサーチクエスチョン

• RQ1 D(Mod-A) におけるコンパクト生成 t-構造は、ザリスキスペクトルの部分集合ではなく、環エピモルフィズムの鎖を用いてパラメトライズ可能か？
• RQ2 ホモロジー的環エピモルフィズムの鎖が D(Mod-A) におけるコシルティング対象を生じるための条件は何か？
• RQ3 ホモロジー的環上でのシルティング対象とコシルティング対象の関係は何か？また、それらの間には双対性が存在するか？
• RQ4 クレーマー代数において、純代数的コシルティング複体およびその双対シルティング複体の完全な分類は何か？
• RQ5 D(Mod-A) において、コエイールが定義可能な t-構造が、環エピモルフィズムの鎖によって実現可能となる条件は何か？

主な発見

• 体上のクレーマー代数 A に対して、D(A-Mod) 内のすべての純代数的コシルティング対象は、0_A を下界、id_A を上界にもつホモロジー的環エピモルフィズムの鎖から生じるか、またはコティルティング加群 W の平行移動に同値である。
• D(A-Mod) 内の純代数的コシルティング対象の分類には、3 種類が含まれる：非最小のコティルティング加群 W の平行移動、有限次元エピモルフィズムから構成された対象、空集合を共通部分として持つ準単純加群の部分集合の減少鎖から構成された対象。
• 代数的に閉じた体上のクレーマー代数に対して、D(Mod-A) 内の有限型シルティング対象の同値類と D(A-Mod) 内の純代数的コシルティング対象の同値類との間には、双対性 (−)+ によって一対一対応が存在する。
• D(Mod-A) 内の有限型シルティング対象は、次の3種類に分類される：非最小のティルティング加群 L、有限次元エピモルフィズムから構成された対象、空集合を共通部分として持つ準単純加群の部分集合の減少鎖から構成された対象。
• 弱グローバル次元が 1 以下の環に対して、すべての定義可能コエイールをもつ t-構造が、ホモロジー的環エピモルフィズムの鎖から生じるための必要十分条件は、関連するすべてのコシルティングクラスが最小であることである。
• クレーマー代数において、すべての L_n（または K_n）の共通部分集合が空であるという条件は、エピモルフィズム λ_n の上界が id_A であることと同値であり、これにより t-構造がコンパクト生成であり、コエイールが定義可能であることが保証される。