[論文レビュー] Stable categories and reconstruction

Jeremy Rickard, Raphaël Rouquier|Bristol Research (University of Bristol)|Aug 11, 2010

Algebraic structures and combinatorial models参考文献 4被引用数 4

ひとこと要約

本稿では、単純加群の像に同型な対象の集合を用いて、自己自己同型代数の安定圏からの再構成法を開発する。フィルトレーション付きモジュールの圏と安定圏の間の同値を確立することで、元の代数とモラータ同値な代数の根基フィルトレーションに関連する次数代数の再構成が可能になる。

ABSTRACT

This work is an attempt towards a Morita theory for stable equivalences between self-injective algebras. More precisely, given two self-injective algebras A and B and an equivalence between their stable categories, consider the set S of images of simple B-modules inside the stable category of A. That set satisfies some obvious properties of Hom-spaces and it generates the stable category of A. Keep now only S and A. Can B be reconstructed ? We show how to reconstruct the graded algebra associated to the radical filtration of (an algebra Morita equivalent to) B. We also study a similar problem in the more general setting of a triangulated category T. Given a finite set S of objects satisfying Hom-properties analogous to those satisfied by the set of simple modules in the derived category of a ring and assuming that the set generates T, we construct a t-structure on T. In the case T=D^b(A) and A is a symmetric algebra, the first author has shown that there is a symmetric algebra B with an equivalence from D^b(B) to D^b(A) sending the set of simple B-modules to S. The case of a self-injective algebra leads to a slightly more general situation: there is a finite dimensional differential graded algebra B with H^i(B)=0 for i>0 and for i<<0 with the same property as above.

研究の動機と目的

• 自己自己同型代数間の安定同値に関するモラータ型理論の構築。
• 自己自己同型代数 A の安定圏における代数 B の単純加群の像から B を再構成すること。
• ある対象の集合が単純的性質を有するホモロジー写像を持つとき、その生成する三角的圏に t-構造を構成する条件を確立すること。
• フィルトレート構造を介して、安定モジュール圏から代数を再構成するためのカテゴリカルな枠組みを提供すること。
• A∞-代数の局所化を用いた、このような代数の存在に関する障害理論の探求。

提案手法

• 三角的圏 T 内のフィルトレート図式の圏 F を構成する。各フィルトレート段階は、単純的性質を有する対象の集合 S から構成される。
• S-根基フィルトレート付きモジュールの圏から F への関手を、区別された三角形とコーン条件を用いて定義する。
• ホモロジー空間に条件を課す：N₀ から M₀ への射の上への性質と、i ≥ 1 に対して Nᵢ から Mᵢ への同型性。これにより S と整合性が保証される。
• S, T ∈ S に対して Hom(T, S) ≅ k であり、それ以外の場合は 0 であるという事実を用い、対称代数の安定圏をモデル化する。
• 任意の F の対象が S-根基フィルトレート付きモジュールから生じることを、持ち上げ補題を用いて示し、全忠実性と本質的全射性を証明する。
• 自然な関手を介して、S-根基フィルトレート付きモジュールの圏とフィルトレート図式の圏 F の間の同値を確立する。

実験結果

リサーチクエスチョン

• RQ1 自己自己同型代数 A の安定圏における単純加群の像から、代数 B を再構成できるか？
• RQ2 三角的圏 T 内の対象の集合 S が、心が mod-B と同値となる t-構造を生成する条件は何か？
• RQ3 安定圏におけるホモロジー写像の観点から、射影的余剰分が存在しないモジュールはどのように特徴づけられるか？
• RQ4 B の根基フィルトレーションに関連する次数代数は、S と A を用いてどのように再構成できるか？
• RQ5 特に A∞-代数の観点から、このような B を実現するための障害理論は何か？

主な発見

• S-根基フィルトレート付き A-モジュールの圏からフィルトレート図式圏 F への自然関手は、圏の同値である。
• モジュール M が射影的余剰分を持たないことは、すべての S ∈ S に対して、写像 Hom(M₀/M₁, S) → Hom(M₀, S) が同型であることと同値である。
• S-根基フィルトレートが存在することは、i ≥ 1 に対して Nᵢ から S へのホモロジー写像が Mᵢ から S へのものと同型であり、かつ N₀ から M₀ への写像が S へのホモロジーで上への写像であることに同値である。
• ホモロジー条件と射影的余剰分なしの性質が成り立つ限り、圏 F は S-根基フィルトレート付きモジュールの圏と同値である。
• S がホモロジー条件を満たし、T を生成するとき、三角的圏 T に t-構造が構成できる。
• 対称代数に対しては、ホモロジー条件と生成条件が満たされれば、関手が単純加群を S に送るとき、Dᵇ(B) と Dᵇ(A) は同値である。