[論文レビュー] Symmetric recollements induced by bimodule extensions

Pu Zhang|arXiv (Cornell University)|Jan 20, 2011

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

ひとこと要約

本稿では、双モジュール拡張を用いて、三角的およびアーベル圏における対称的再構成を導入し、セレル関手が存在する場合、上位および下位の対称的再構成の間で一対一対応を確立する。A および B がゴレンシュタインで、双モジュール M が A および B の両方で射影的である限り、上三角行列代数 Λ = (A M; 0 B) 上のゴレンシュタイン射影的加群の安定圏に対して、対称的三角的再構成を構成する。

ABSTRACT

nspired by the work of J$ø$rgensen [J], we define a (upper-, lower-) symmetric recollements; and give a one-one correspondence between the equivalent classes of the upper-symmetric recollements and one of the lower-symmetric recollements, of a triangulated category. Let $\m = \left(\begin{smallmatrix} A&M 0&B \end{smallmatrix} ight)$ with bimodule $_AM_B$. We construct an upper-symmetric abelian category recollement of $\m$-mod; and a symmetric triangulated category recollement of $\underline {\m\mbox{-}\mathcal Gproj}$ if $A$ and $B$ are Gorenstein and $_AM$ and $M_B$ are projective.

研究の動機と目的

• 三角的およびアーベル圏における対称的再構成の定義と研究。
• セレル関手の存在下で、上位および下位の対称的再構成の双対性の確立。
• A および B がゴレンシュタインで、双モジュール M が両方の代数で射影的であるような行列代数 Λ に対して、ゴレンシュタイン射影的 Λ 加群の安定圏における対称的三角的再構成の構成。
• ゴレンシュタイン射影的加群の再構成に関する既知の結果を、一般の上三角行列代数への拡張。

提案手法

• 随伴関手および正確性条件を用いて、三角的およびアーベル圏における上位および下位の対称的再構成を定義する。
• 上三角行列の構造と双モジュール M を用いて、Λ-mod に対して上位対称的アーベル再構成を構成する。
• A および B がゴレンシュタインで、M が A および B で射影的であるならば、ゴレンシュタイン射影的 Λ 加群の安定圏が対称的三角的再構成を備えることを証明する。
• ゴレンシュタイン射影的加群の安定圏にセレル関手が存在することを用い、Jørgensen の結果により再構成の対称性を導出する。
• 再構成に含まれる関手 i*, i*, i!, j!, j*, j* を明示的に記述し、それらの随伴関係を明らかにする。
• フロベニウス圏の性質および関手の有限性を活用し、安定圏におけるアウスランダー＝レーデン三角形およびセレル関手の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 三角的圏の再構成が、部分圏の役割を入れ替えた対称的双対をもつための条件は何か？
• RQ2 上三角行列代数 Λ = (A M; 0 B) 上のゴレンシュタイン射影的加群の安定圏に対して、対称的再構成を構成できるか？
• RQ3 代数 A および B および双モジュール M にどのような条件を課すと、ゴレンシュタイン射影的 Λ 加群の安定圏が対称的再構成を備えるか？
• RQ4 再構成に含まれる関手は、Λ の加群構造および A および B 上の加群のゴレンシュタイン射影的性質とどのように関係するか？
• RQ5 ゴレンシュタイン射影的加群の安定圏にセレル関手が存在することは、再構成の対称性を示唆するか？

主な発見

• セレル関手を備えた圏においては、上位対称的および下位対称的三角的再構成の同値類の間で一対一対応が存在する。
• 上三角行列の構造と双モジュール M を用いて、Λ-mod に対して上位対称的アーベル再構成を構成した。
• A および B がゴレンシュタイン代数で、M が A および B で射影的であるならば、ゴレンシュタイン射影的 Λ 加群の安定圏は対称的三角的再構成を備える。
• 再構成は、安定圏におけるホモロジー集合の自然同型を介して、随伴関手 i*, i*, i!, j!, j*, j* を用いて明示的に記述される。
• ゴレンシュタイン射影的 Λ 加群の安定圏は、ホモロジー有限、クルル＝シュミット的であり、セレル関手を備えるため、Jørgensen の定理により対称性が保証される。
• Iyama–Kato–Miyachi の T2(A)-mod に関する定理を、射影的双モジュールを備える任意の上三角行列代数への一般化した。