Projective and Injective Objects

Abelian category での projective object や injective object は ホモロジー代数の基本であるが, それ以外に様々な形容詞がついた projective object や injective object が定義されている。

まずは, Abelian category \(\bm {A}\) の chain complex の category \(\category {Ch}(\bm {A})\) で定義されるものがある。Chain complex の category は Abelian category になるので, projective object や injective object を考えることができるが, それらだけでは不足するからである。 例えば, model category の構造を定義したりするときとか。

• homotopically projective and injective objects
• semiprojective and injective objects

Homotopically projective object は Spaltenstein の [Spa88] で有名になった概念であるが, Spaltenstein によると Bernstein により導入されたもののようである。ただ, Spaltenstein は \(K\)-projective や \(K\)-injective と言っている。 この \(K\) というのは, chain complex の category の homotopy category を表すときに使う \(K\) だと思うが, 意味が想像しづらいので Avramov と Foxby と Halperin の [AFH03] に従った。

また, semiprojective object とか semiinjective object という呼び名も Avramov らに従ったが, これらは dg projective とか dg injective と呼ばれることが多い。

この辺の用語については, Positselski と Šťovíček の [PS] の Remark 6.4 を見るとよい。

Hopfological algebra でも同様の概念が定義できることを [OT] で示したが, その意味でも semiprojective や semiinjective と呼んだ方が良いと思う。

これらの関係については, Avramov と Foxby と Halperin の [AFH03] で詳しく調べられている。

Relative homological algebra の視点からも, 様々な形容詞の付いた projective object や injective object が定義されている。 目についたものを挙げると以下のようになる。

• Gorenstein projective and injective objects
• strongly Gorenstein projective and injective objects [BM07]
• Gorenstein AC-projective and injective modules [BGH]
• Ding injective and projective modules [MD08; Gil17]

References

[AFH03]

Luchezar L. Avramov, Hans-Bjørn Foxby, and Stephen Halperin. Differential graded homological algebra. 2003.

[BGH]

Daniel Bravo, James Gillespie, and Mark Hovey. The stable module category of a general ring. arXiv: 1405.5768.

[BM07]

Driss Bennis and Najib Mahdou. “Strongly Gorenstein projective, injective, and flat modules”. In: J. Pure Appl. Algebra 210.2 (2007), pp. 437–445. arXiv: math/0606770. url: https://doi.org/10.1016/j.jpaa.2006.10.010.

[Gil17]

James Gillespie. “On Ding injective, Ding projective and Ding flat modules and complexes”. In: Rocky Mountain J. Math. 47.8 (2017), pp. 2641–2673. arXiv: 1512 . 05999. url: https://doi.org/10.1216/RMJ-2017-47-8-2641.

[MD08]

Lixin Mao and Nanqing Ding. “Gorenstein FP-injective and Gorenstein flat modules”. In: J. Algebra Appl. 7.4 (2008), pp. 491–506. url: https://doi.org/10.1142/S0219498808002953.

[OT]

Mariko Ohara and Dai Tamaki. Cotorsion pairs in Hopfological algebra. arXiv: 2012.07159.

[PS]

Leonid Positselski and Jan Stovicek. Derived, coderived, and contraderived categories of locally presentable abelian categories. arXiv: 2101.10797.

[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.