Derived Categories

Gillespie の [Gil] の Introduction によると, Cartan-Eilenberg 流の derived functor の構成がうまくいかない場合に, ホモロジー代数を行なうために Grothendieck が考え出したのが derived category らしい。

Abelian category が与えられた時, その chain complex の成す圏から triangulated category を作ることができる。その triangulated category を元の Abelian category の derived category という。どういう種類の chain complex を考えるか (bounded か否かなど) によりいくつかの種類の derived category ができる。

この Abelian category の derived category が基本であるが, 最近では Abelian category 以外からでも似たような操作でできる triangulated category のことを derived category と呼ぶようである。

• Abelian category の derived category
• dg category の derived category
• exact category の derived category
• quasi-Abelian category の derived category
• \(A_{\infty }\)-category の derived category
• ring spectrum の module の成す圏の derived category
• Hopfological algebra での derived category
• \(Q\)-shaped derived category [HJ22; HJb; HJa]

Abelian category の derived category については, Gel\('\)fand と Manin の教科書 [GM99] がある。Derived category を導入するための motivation が Chapter 4 の §1.2 に書いてある。また簡単な入門としては, [Tho01] がある。Krause の2004年の Chicago での summer school の lecture note [Kra07a] は簡潔によくまとまっていて, お勧めである。より新しい話題, 例えば, Brown の表現定理 や dg category の derived category などについても書いてある。Exercise が [Kra07b] として出ている。

Abelian category の derived category は, その Abelian category の chain complex の category から作るが, 使う chain complex の種類によって, bounded, bounded below, bounded above, unbounded などの種類がある。 特に, unbounded な場合が面倒であり, Spaltenstein の [Spa88] で, homotopically projective あるい は injective object を用いた resolution を用いて調べられるようになった。 この辺のことについては, Positselski と Šťovíček の [PŠ22] の Introduction を見るとよい。

代数幾何学で使われる derived category については, Canonaco, Neeman, Stellari の [Can+] の Introduction に挙げられている。 そこでは有用なものとして7種類のものが挙げられている。

一見異なる対象に対し, それらからできる derived category が同値になることがある。とくに様々な duality を derived category の同値としてみる, というのは重要な視点である。この手のことについては Hille と Van den Bergh の [HV07] をみるとよい。そこには以下のような例が挙げてある:

• sphere bundle 上の層とその dual bundle 上の層の derived category の Fourier-Sato transform [SKK73]
• Abelian variety とその dual の上の coherent sheaf の derived category の間の Fourier-Mukai transform による同値 [Muk81]
• Beilinson による \(P^n\) 上の層とある有限次元代数の derived category の同値 [Beı̆84]
• tilting による有限次元代数の derived equivalence [Hap88]
• Kontsevich の homological mirror symmetry
• Riemann-Hilbert correspondence [Kas84; Meb84b; Meb84a]

逆に, derived category の間の同値を与える functor が, もとの Abelian category, あるいはそのもとになった幾何学的対象に関する情報から作られているか, という問題も考えられる。例えば smooth projective variety の coherent sheaf の derived category の場合は, Orlov [Orl97] により調べられている。多くの場合, Fourier-Mukai transform により与えられるようである。

このように, 導来同値の問題は, 代数幾何学や 表現論で, よく調べられている。 これらの derived category を, その元になっている幾何学的あるいは代数的対象の, triangulated category に値を持つ不変量として見ているわけである。 そして, 更に, トポロジーで位相空間を調べるときのように, derived category の不変量を考えることも行なわれている。

例えば, そのような不変量として Picard group を定義することもできる。 Yekutieli [Yek99]や Rouquier と Zimmermann [RZ03] により考えられている。 Miyachi と Yekutieli [MY01] は, 代数的閉体上の hereditary algebra の場合について調べている。

• derived category の Picard group

他に, Bridgeland の stability condition の空間も, そのような不変量の一つである。

有理ホモトピー論の視点からは, 空間とは, differential graded commutative algebra のことである。 よって, その derived category を考えることは自然である。そのように考えると, derived category の不変量から位相空間の不変量が得られる。それを調べたのが, Jørgensenの[Jor; Jør06] である。また Kuribayashi は, Avramov らが [Avr+10] で導入した triangulated category の object の level という概念を用いて, [Kur13; Kur12] で ある空間 \(X\) 上の空間に対する不変量を導入した。

• Auslander-Reiten triangle
• additive category の quiver
• fiberwise space の level

また Abelian category や triangulated category の不変量として Hall algebra というものがある。

• Hall algebra

他には derived category の自己同型の成す群なども調べられている。 具体例としては, Ishii と Uehara の [IU05] や Bridgeland の [Bri09] を見るとよい。

Coherent sheaf の derived category に exceptional collection (sequence) という object の族があると, それから quiverが定義できる。 これは Bondal の [Bon90] による構成であるが, 重要なことは, その quiver から元の derived category が再構築できるということである。つまり, その quiver の表現の derived category が, 元のcoherent sheaf の derived category と同値になる。その quiver の表現の moduli空間と元の代数多様体の関係を考えたのが, Bergman と Proudfoot の [BP06; BP08] である。

代数多様体を, その上の coherent sheaf の derived category から再構成するという問題は, Bondal と Orlov の [BO01] でも考えられている。

変種として, Buchweitz [Buc86] が導入した singularity category がある。通常の derived category の compact (perfect) object の成す triangulated subcategory による Verdier quotient として定義される。 Buchweitz は stablized derived category と呼んでいるが, 現在では singularity category というのが普通だろう。 文献としては, Buchweitz の本 [Buc21] がある。

• singularity category

その Orlov による global 版 [Orl04] や cosingularity category [GS20], そして Krause [Kra05] の stable derived category などの関連した構成がある。

• cosingularity category
• stable derived category

Derived category に関連した概念としては, dg category (differential graded category) も重要である。 Abelian category の derived category を定義するときに, quasi-isomorphism を可逆にして, triangulated category にする前の段階は, dg category である。 Derived category にすることで失なわれる情報を調べるために, dg category の段階で考えることを提案したのは, Bondal と Kapranov [BK90] である。

• dg category
• enhanced triangulated category

そのような triangulated category を構成する一つ前の段階のものを, enhanced triangulated category と呼ぶ。 Bondal と Kapranov は dg category を用いたが, ホモトピー論の立場からは, やはり model category を考えたくなる。それについては, Gillespie の [Gil] などがある。Gillespie は [Gil16] では, Murfet の thesis で導入された scheme 上の quasicoherent sheaf の成す “mock homotopy category of projectives” の元になる model structure を構成している。

• mock homotopy category of projectives

Murfet の thesis は quasicoherent sheaf の category が一般には enough projectives を持たないことから, projective object の成す chain complex の homotopy category の代わりになるものとして導入された。 Murfet の thesis は 彼の website から download できる。

別の approach としては, Lurie の derived \(\infty \)-category がある。 Abelian category から stable \(\infty \)-category を作ることができるのである。

References

[Avr+10]

Luchezar L. Avramov, Ragnar-Olaf Buchweitz, Srikanth B. Iyengar, and Claudia Miller. “Homology of perfect complexes”. In: Adv. Math. 223.5 (2010), pp. 1731–1781. arXiv: math/0609008. url: http://dx.doi.org/10.1016/j.aim.2009.10.009.

[Beı̆84]

A. A. Beı̆linson. “The derived category of coherent sheaves on \(\mathbf {P}^{n}\)”. In: Selecta Math. Soviet. 3.3 (1983/84). Selected translations, pp. 233–237.

[BK90]

A. I. Bondal and M. M. Kapranov. “Framed triangulated categories”. In: Mat. Sb. 181.5 (1990), pp. 669–683.

[BO01]

Alexei Bondal and Dmitri Orlov. “Reconstruction of a variety from the derived category and groups of autoequivalences”. In: Compositio Math. 125.3 (2001), pp. 327–344. arXiv: alg-geom/9712029. url: http://dx.doi.org/10.1023/A:1002470302976.

[Bon90]

A. I. Bondal. “Helices, representations of quivers and Koszul algebras”. In: Helices and vector bundles. Vol. 148. London Math. Soc. Lecture Note Ser. Cambridge: Cambridge Univ. Press, 1990, pp. 75–95. url: http://dx.doi.org/10.1017/CBO9780511721526.008.

[BP06]

Aaron Bergman and Nicholas Proudfoot. “Moduli spaces for D-branes at the tip of a cone”. In: J. High Energy Phys. 3 (2006), pp. 073, 9. arXiv: hep-th/0510158. url: https://doi.org/10.1088/1126-6708/2006/03/073.

[BP08]

Aaron Bergman and Nicholas J. Proudfoot. “Moduli spaces for Bondal quivers”. In: Pacific J. Math. 237.2 (2008), pp. 201–221. arXiv: math/0512166. url: https://doi.org/10.2140/pjm.2008.237.201.

[Bri09]

Tom Bridgeland. “Stability conditions and Kleinian singularities”. In: Int. Math. Res. Not. IMRN 21 (2009), pp. 4142–4157. arXiv: math/0508257.

[Buc21]

Ragnar-Olaf Buchweitz. Maximal Cohen-Macaulay modules and Tate cohomology. Vol. 262. Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, [2021] ©2021, pp. xii+175. isbn: 978-1-4704-5340-4.

[Buc86]

Ragnar-Olaf Buchweitz. Maximal Cohen-Maccaulay Modules and Tate-Cohomology over Gorenstein Rings. 1986. url: http://hdl.handle.net/1807/16682.

[Can+]

Alberto Canonaco, Christian Haesemeyer, Amnon Neeman, and Paolo Stellari. The passage among the subcategories of weakly approximable triangulated categories. arXiv: 2402.04605.

[Gil]

James Gillespie. A Quillen Approach to Derived Categories and Tensor Products. arXiv: math/0607769.

[Gil16]

James Gillespie. “Models for mock homotopy categories of projectives”. In: Homology Homotopy Appl. 18.1 (2016), pp. 247–263. arXiv: 1412.4082. url: https://doi.org/10.4310/HHA.2016.v18.n1.a13.

[GM99]

S. I. Gelfand and Yu. I. Manin. Homological algebra. Translated from the 1989 Russian original by the authors, Reprint of the original English edition from the series Encyclopaedia of Mathematical Sciences [ıt Algebra, V, Encyclopaedia Math. Sci., 38, Springer, Berlin, 1994; MR1309679 (95g:18007)]. Berlin: Springer-Verlag, 1999, pp. iv+222. isbn: 3-540-65378-3.

[GS20]

J. P. C. Greenlees and Greg Stevenson. “Morita theory and singularity categories”. In: Adv. Math. 365 (2020), pp. 107055, 51. arXiv: 1702.07957. url: https://doi.org/10.1016/j.aim.2020.107055.

[Hap88]

Dieter Happel. Triangulated categories in the representation theory of finite-dimensional algebras. Vol. 119. London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1988, pp. x+208. isbn: 0-521-33922-7. url: http://dx.doi.org/10.1017/CBO9780511629228.

[HJa]

Henrik Holm and Peter Jorgensen. A brief introduction to the \(Q\)-shaped derived category. arXiv: 2212.12524.

[HJb]

Henrik Holm and Peter Jorgensen. The \(Q\)-shaped derived category of a ring – compact and perfect objects. arXiv: 2208.13282.

[HJ22]

Henrik Holm and Peter Jørgensen. “The \(Q\)-shaped derived category of a ring”. In: J. Lond. Math. Soc. (2) 106.4 (2022), pp. 3263–3316. arXiv: 2101.06176. url: https://doi.org/10.1112/jlms.12662.

[HV07]

Lutz Hille and Michel Van den Bergh. “Fourier-Mukai transforms”. In: Handbook of tilting theory. Vol. 332. London Math. Soc. Lecture Note Ser. Cambridge Univ. Press, Cambridge, 2007, pp. 147–177. arXiv: math/0402043. url: https://doi.org/10.1017/CBO9780511735134.007.

[IU05]

Akira Ishii and Hokuto Uehara. “Autoequivalences of derived categories on the minimal resolutions of \(A_n\)-singularities on surfaces”. In: J. Differential Geom. 71.3 (2005), pp. 385–435. arXiv: math/0409151. url: http://projecteuclid.org/euclid.jdg/1143571989.

[Jor]

Peter Jorgensen. Auslander-Reiten triangles and quivers over topological spaces. arXiv: math/0304079.

[Jør06]

Peter Jørgensen. “The Auslander-Reiten quiver of a Poincaré duality space”. In: Algebr. Represent. Theory 9.4 (2006), pp. 323–336. arXiv: math/0304080. url: http://dx.doi.org/10.1007/s10468-006-9007-4.

[Kas84]

Masaki Kashiwara. “The Riemann-Hilbert problem for holonomic systems”. In: Publ. Res. Inst. Math. Sci. 20.2 (1984), pp. 319–365. url: http://dx.doi.org/10.2977/prims/1195181610.

[Kra05]

Henning Krause. “The stable derived category of a Noetherian scheme”. In: Compos. Math. 141.5 (2005), pp. 1128–1162. arXiv: math/0403526. url: http://dx.doi.org/10.1112/S0010437X05001375.

[Kra07a]

Henning Krause. “Derived categories, resolutions, and Brown representability”. In: Interactions between homotopy theory and algebra. Vol. 436. Contemp. Math. Providence, RI: Amer. Math. Soc., 2007, pp. 101–139. arXiv: math/0511047. url: http://dx.doi.org/10.1090/conm/436/08405.

[Kra07b]

Henning Krause. “Exercises on derived categories, resolutions, and Brown representability”. In: Interactions between homotopy theory and algebra. Vol. 436. Contemp. Math. Providence, RI: Amer. Math. Soc., 2007, pp. 141–145. arXiv: math/0609479. url: http://dx.doi.org/10.1090/conm/436/08406.

[Kur12]

Katsuhiko Kuribayashi. “On the levels of maps and topological realization of objects in a triangulated category”. In: J. Pure Appl. Algebra 216.4 (2012), pp. 752–765. arXiv: 1102.3271. url: https://doi.org/10.1016/j.jpaa.2011.08.009.

[Kur13]

Katsuhiko Kuribayashi. “Upper and lower bounds of the (co)chain type level of a space”. In: Algebr. Represent. Theory 16.1 (2013), pp. 129–153. arXiv: 1006.2669. url: https://doi.org/10.1007/s10468-011-9298-y.

[Meb84a]

Z. Mebkhout. “Une autre équivalence de catégories”. In: Compositio Math. 51.1 (1984), pp. 63–88.

[Meb84b]

Z. Mebkhout. “Une équivalence de catégories”. In: Compositio Math. 51.1 (1984), pp. 51–62.

[Muk81]

Shigeru Mukai. “Duality between \(D(X)\) and \(D(\hat X)\) with its application to Picard sheaves”. In: Nagoya Math. J. 81 (1981), pp. 153–175. url: http://projecteuclid.org/euclid.nmj/1118786312.

[MY01]

Jun-ichi Miyachi and Amnon Yekutieli. “Derived Picard groups of finite-dimensional hereditary algebras”. In: Compositio Math. 129.3 (2001), pp. 341–368. url: http://dx.doi.org/10.1023/A:1012579131516.

[Orl04]

D. O. Orlov. “Triangulated categories of singularities and D-branes in Landau-Ginzburg models”. In: Tr. Mat. Inst. Steklova 246.Algebr. Geom. Metody, Svyazi i Prilozh. (2004), pp. 240–262. arXiv: math/0302304.

[Orl97]

D. O. Orlov. “Equivalences of derived categories and \(K3\) surfaces”. In: J. Math. Sci. (New York) 84.5 (1997). Algebraic geometry, 7, pp. 1361–1381. arXiv: alg-geom/9606006.

[PŠ22]

Leonid Positselski and Jan Šťovíček. “Derived, coderived, and contraderived categories of locally presentable abelian categories”. In: J. Pure Appl. Algebra 226.4 (2022), Paper No. 106883, 39. arXiv: 2101.10797. url: https://doi.org/10.1016/j.jpaa.2021.106883.

[RZ03]

Raphaël Rouquier and Alexander Zimmermann. “Picard groups for derived module categories”. In: Proc. London Math. Soc. (3) 87.1 (2003), pp. 197–225. url: http://dx.doi.org/10.1112/S0024611503014059.

[SKK73]

Mikio Sato, Takahiro Kawai, and Masaki Kashiwara. “Microfunctions and pseudo-differential equations”. In: Hyperfunctions and pseudo-differential equations (Proc. Conf., Katata, 1971; dedicated to the memory of André Martineau). Lecture Notes in Math., Vol. 287. Springer, Berlin, 1973, pp. 265–529.

[Spa88]

N. Spaltenstein. “Resolutions of unbounded complexes”. In: Compositio Math. 65.2 (1988), pp. 121–154. url: http://www.numdam.org/item?id=CM_1988__65_2_121_0.

[Tho01]

R. P. Thomas. “Derived categories for the working mathematician”. In: Winter School on Mirror Symmetry, Vector Bundles and Lagrangian Submanifolds (Cambridge, MA, 1999). Vol. 23. AMS/IP Stud. Adv. Math. Amer. Math. Soc., Providence, RI, 2001, pp. 349–361. arXiv: math/0001045.

[Yek99]

Amnon Yekutieli. “Dualizing complexes, Morita equivalence and the derived Picard group of a ring”. In: J. London Math. Soc. (2) 60.3 (1999), pp. 723–746. arXiv: math/9810134. url: http://dx.doi.org/10.1112/S0024610799008108.