Grothendieck Abelian Categories

Abelian category に関する条件として, Grothendieck が [Gro57] で導入した AB1 から AB6 がある。AB1 と AB2 は Abelian category のための条件であるが, 残りの条件の中で, 現在最も良く使れるのは, filtered colimit と finite limit が可換であるという AB5 だろう。Grothendieck は colimit や limit という言葉は使っていないが。 もっとも, AB3 は直和で閉じているということなので, Abelian category では colimit で閉じているということと同値であり, cocomplete という言い方の方が一般的だろう。

この AB3 と AB5, そして generator を持つという3つの条件をみたすものを Grothendieck Abelian category あるいは Grothendieck category という。 解説として, Garkusha の [Gar01] がある。

「自然な」 Abelian category の例は, Grothendieck category になっていることが多い。例えば, 環上の加群の category とか scheme 上の quasicoherent sheaf の category とか。

基本的な性質として, locally presentable である, というものがある。Beke の [Bek00] など。

有名な定理として, 加群の category との関係を述べる Gabriel-Popescu theorem [PG64] がある。

  • Gabriel-Popescu theorem

Grothendieck category 全体の \(2\)-category の構造を考えている人もいる。 Stafford と Van den Bergh [SB01] や Rosenberg [Ros98] は morphism として left adjoint を用いている。 Kontsevich と Rosenberg [KR] は left exact left adjoint を morphism としている。

Monoidal structure を考えているものとして, [BC14], [Bra], [LG] などがある。

Grothendieck category の一般化としては, 例えば presentable stable \(\infty \)-category がある。 Lurie は [Lur] で Gabriel-Popescu theorem の \(\infty \)-category 版を証明している。

Imamura [Ima] による enriched version もある。

  • enriched Abelian category

References

[BC14]

Martin Brandenburg and Alexandru Chirvasitu. “Tensor functors between categories of quasi-coherent sheaves”. In: J. Algebra 399 (2014), pp. 675–692. arXiv: 1202.5147. url: https://doi.org/10.1016/j.jalgebra.2013.09.050.

[Bek00]

Tibor Beke. “Sheafifiable homotopy model categories”. In: Math. Proc. Cambridge Philos. Soc. 129.3 (2000), pp. 447–475. arXiv: math/ 0102087. url: http://dx.doi.org/10.1017/S0305004100004722.

[Bra]

Martin Brandenburg. Tensor categorical foundations of algebraic geometry. arXiv: 1410.1716.

[Gar01]

G. A. Garkusha. “Grothendieck categories”. In: Algebra i Analiz 13.2 (2001), pp. 1–68. arXiv: math/9909030.

[Gro57]

Alexander Grothendieck. “Sur quelques points d’algèbre homologique”. In: Tôhoku Math. J. (2) 9 (1957), pp. 119–221.

[Ima]

Yuki Imamura. Grothendieck enriched categories. arXiv: 2105.05108.

[KR]

Maxim Kontsevich and Alexander L. Rosenberg. Noncommutative spaces and flat descent. url: http://www.mpim-bonn.mpg.de/Research/MPIM%20Prurl%20Series/.

[LG]

Ivan Di Liberti and Julia Ramos González. Exponentiable Grothendieck categories in flat Algebraic Geometry. arXiv: 2103. 07876.

[Lur]

Jacob Lurie. Higher Algebra. url: https://www.math.ias.edu/~lurie/papers/HA.pdf.

[PG64]

Nicolae Popescu and Pierre Gabriel. “Caractérisation des catégories abéliennes avec générateurs et limites inductives exactes”. In: C. R. Acad. Sci. Paris 258 (1964), pp. 4188–4190.

[Ros98]

Alexander L. Rosenberg. “Noncommutative schemes”. In: Compositio Math. 112.1 (1998), pp. 93–125. url: https://doi.org/10.1023/A:1000479824211.

[SB01]

J. T. Stafford and M. van den Bergh. “Noncommutative curves and noncommutative surfaces”. In: Bull. Amer. Math. Soc. (N.S.) 38.2 (2001), pp. 171–216. url: http://dx.doi.org/10.1090/S0273-0979-01-00894-1.