安定ホモトピー論トップ

Localization

　ＰＤＦ　｜Verdier localization｜
　
　Abelian categoryであるAのderived categoryであるD(A)を考える際に、chain complexのcategoryであるC(A)のchain homotopy categoryであるK(A)を経由して構成することに面倒さを覚えたのは私だけか。本来ならC(A)から直接quasi isomorphism(weak equivalence)で局所化するというのがmodel categoryからみても簡単そうだ。

　しかし、D(A)のtriangulated構造を見る段階では、やはり先にK(A)を考えるべきだろう。D(A)のtriangleというのはK(A)のtriangleのK(A)→D(A)のimageだからだ。だが、Verdier localizationというのを考えた方がスマートそうである。これはtriangulated categoryであるCとそのfull sub triangulated categoryのDが与えられたとき、C/Dというtriangulated categoryを構成する方法だ。定義自身はunivarsal propatyによって定義されるが、具体的構成はA.Neemanの【Nee01】に書いてある。オリジナルのVerdierの論文はフランス語なので読みづらい。
　先の例でいくと、D(A)というのは、K(A)/{acyclic objects}と簡単にあらわせる。

　より一般にcategoryを局所化するという操作はよく行われる。大まかなイメージは、catgeory Cとそのsubcategory W（あるいはmophismの部分集合）を考えたとき、Wのmorphismに形式的にinverceを付け加えるというのが局所化でC[W^{-1}]と表記される事がある。ただし、口で言えばそれだけなのだが、正確な定義は【Fri08】なんかを見ればよいと思うし、Drived categoryの構成におけるlocalizeは【GM03】、Model categoryのhomotopy categoryの構成におけるlocalizeは【Hov98】などを見るとよいと思う。また、Enriched categoryの場合のlocalizeについては、Simplicial categoryにおけるLocalizeは【DK80】に乗っているし、DG categoryでも同じようにlocalizationが考えられていて、【Dri02】を見ると、こちらはDG quotientと呼んでいるが。