[論文レビュー] Reflecting recollements

Peter Jørgensen|ArXiv.org|Aug 30, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用数 5

ひとこと要約

この論文は、三角分解の圏 T, S, U において、T がセレーファンクターを持つ場合、S と U の役割を交換して新たな再構成が得られることを示している。自己随伴関手とセレーフ双対性を用いて、元の図式の上部および下部の関手を用いて、U と S を交換した2つの異なる再構成を構成し、セレーファンクターの条件下で2つの成分間に双対性が成立することを確立している。

ABSTRACT

A recollement describes one triangulated category T as "glued together" from two others, S and U. The definition is not symmetrical in S and U, but this note shows how S and U can be interchanged when T has a Serre functor.

研究の動機と目的

• 三角分解の圏における非対称構造が、中間圏 T にセレーファンクターを備える場合に、対称的であるかを調査すること。
• 再構成における2つの成分 S と U が、新たな有効な再構成を形成するために交換可能かどうかを特定すること。
• T におけるセレーファンクターから導かれる自己随伴関手を用いて、U と S を交換した明示的な再構成を構成すること。
• T にセレーファンクターが存在する場合、S と U にそれぞれセレーファンクターが誘導されることを確立すること、これにより双対性が成立すること。

提案手法

• 三角分解の圏 T にセレーファンクター T が存在するものとし、S における右セレーファンクター S = i!*Ti* と U における右セレーファンクター U = j*Tj! を構成する。
• これらの関手の擬似逆関手を、随伴関係とセレーファンクターの性質を用いて、Š = i*Ti* と Ū = j*Tj* として導出する。
• セレーフ双対性の同型を用いて、i* と j! が左随伴関手 i! = Ťi*S と j? = Ūj*T をそれぞれ持つことを証明する。
• 同様に、i! と j* が右随伴関手 i? = Ti*Š と j! = Uj*Ť を持つことが示され、新しい再構成に必要な随伴対が完成する。
• 再構成の構成は、Ker(i*) = Ess.Im(j!) であることを利用し、本質的像を U に置き換えることによって可能になる。
• 新しい再構成は、随伴関手を再順序することで得られる：1つは上部の関手 (j!, i*, j?, j*) を用い、もう1つは下部の関手 (j*, i!, j!, j*) を用い、両方とも再構成公理を満たす。

実験結果

リサーチクエスチョン

• RQ1 中間圏 T にセレーファンクターが存在する場合、再構成における成分 S と U を交換可能か？
• RQ2 セレーファンクター構造から生じるどの自己随伴関手が S と U の交換を可能にするか？
• RQ3 T におけるセレーファンクターから、S と U におけるセレーファンクターがどのように導かれるか？
• RQ4 元の関手を用いて、U と S を交換した再構成を一貫的に再構成する標準的な方法はあるか？
• RQ5 i* の核が S と U 間の双対性を可能にする役割を果たすか？

主な発見

• S は、随伴関係と T のセレーフ双対性を用いて構成されたセレーファンクター S = i!*Ti* とその擬似逆関手 Š = i*Ti* を持つ。
• U は、セレーファンクター U = j*Tj! とその擬似逆関手 Ū = j*Tj* を持ち、両成分における双対性が保証される。
• 関手 i! = Ťi*S と j? = Ūj*T は、それぞれ i* と j! の左随伴関手として、新たな再構成の構成を可能にする。
• 関手 i? = Ti*Š と j! = Uj*Ť は、それぞれ i! と j? の右随伴関手として、新しい再構成に必要な随伴対を完成させる。
• U と S を交換した2つの異なる再構成が構成された：1つは上部の関手 (j!, i*, j?, j*) を用い、もう1つは下部の関手 (j*, i!, j!, j*) を用い、両方とも再構成公理を満たす。
• T にセレーファンクターが存在することは、S と U における再構成構造が対称的であることを保証し、2つの成分間の隠れた双対性を明らかにする。