Cotorsion Pairs

Cotorsion pair は, Salce により [Sal79] で導入された。 簡単に言えば, Abelian category \(\bm {A}\) 上 の \[ \Ext ^{1} : \bm {A}\times \bm {A} \rarrow {} \category {Abel} \] を bilinear form と考えたときに, 互いを直交性で決める subcategory の pair である。

Sarazola [Sar20] は Enochs と Jenda の本 [EJ11a; EJ11b] を参照している。

ホモトピー論との関連は, Hovey [Hov02] により発見された。 Abelian category の構造と compatible な model structure と cotorsion pair との関係が明らかになった。

より正確には, Abelian category \(\bm {A}\) での subcategory の三つ組 \((\category {Cof},\category {Triv},\category {Fib})\) で, \((\category {Cof}\cap \category {Triv},\category {Fib})\) と \((\category {Cof},\category {Triv}\cap \category {Fib})\) が complete cotorsion pair になっているものと Abelian model structure が1対1に対応する。このような三つ組を Hovey triple という。

  • complete cotorsion pair
  • Hovey triple

Model structure が定義されると cofibrant object が定まり, compact cofibrant object から Waldhausen category ができる。よって algebraic \(K\)-theory が定義できる。ただ, cofibrant object が欲しいだけなので, model structure の中の fibration は不要である。そこで, cotorsion pair から model category を経由せずに直接 Waldhausen category を構成する方法があってしかるべきであるが, それは Sarazola [Sar20] により得られている。

  • cotorsion pair から定義される Waldhausen category

Cotorsion pair に関連した subcategory の三つ組としては, Chen [Che10] による cotorsion triple の概念もある。

  • cotorsion triple

Hovey は “proper exact sequences” を指定して考えたが, それは実質的には exact category を考えていることになる。 よって, Hovey の理論は exact category で考える方が自然である。 Triangulated category でも考えることができる。

  • exact category 上の model structure と cotorsion pair の対応 [Gil11]
  • triangulated category 上の model structure と cotorsion pair の対 応 [Yan15]

更に, Nakaoka [Nak13] は triagulated category で twin cotorsion pair の概念を導入した。Nakaoka と Palu [NP19] exact categorytriangulated category の共通の一般化として extriangulated category を導入したが, それに対して も twin cotorsion pair が定義されている。

  • twin cotorsion pair

一般化や関連した概念として以下のものがある。

  • \(n\)-cotorsion pair [HMP21]
  • cut cotorsion pair [HMP]
  • cotorsion pair relative to a balanced pair [LWH16]

References

[Che10]

Xiao-Wu Chen. “Homotopy equivalences induced by balanced pairs”. In: J. Algebra 324.10 (2010), pp. 2718–2731. arXiv: 0812.0140. url: https://doi.org/10.1016/j.jalgebra.2010.09.002.

[EJ11a]

Edgar E. Enochs and Overtoun M. G. Jenda. Relative homological algebra. Volume 1. extended. Vol. 30. De Gruyter Expositions in Mathematics. Walter de Gruyter GmbH & Co. KG, Berlin, 2011, pp. xiv+359. isbn: 978-3-11-021520-5.

[EJ11b]

Edgar E. Enochs and Overtoun M. G. Jenda. Relative homological algebra. Volume 2. Vol. 54. De Gruyter Expositions in Mathematics. Walter de Gruyter GmbH & Co. KG, Berlin, 2011, pp. xii+96. isbn: 978-3-11-021522-9.

[Gil11]

James Gillespie. “Model structures on exact categories”. In: J. Pure Appl. Algebra 215.12 (2011), pp. 2892–2902. arXiv: 1009.3574. url: http://dx.doi.org/10.1016/j.jpaa.2011.04.010.

[HMP]

Mindy Huerta, Octavio Mendoza, and Marco A. Pérez. Cut cotorsion pairs. arXiv: 2006.11189.

[HMP21]

Mindy Huerta, Octavio Mendoza, and Marco A. Pérez. “\(n\)-cotorsion pairs”. In: J. Pure Appl. Algebra 225.5 (2021), Paper No. 106556, 34. arXiv: 1902 . 10863. url: https://doi.org/10.1016/j.jpaa.2020.106556.

[Hov02]

Mark Hovey. “Cotorsion pairs, model category structures, and representation theory”. In: Math. Z. 241.3 (2002), pp. 553–592. url: http://dx.doi.org/10.1007/s00209-002-0431-9.

[LWH16]

HuanHuan Li, JunFu Wang, and ZhaoYong Huang. “Applications of balanced pairs”. In: Sci. China Math. 59.5 (2016), pp. 861–874. arXiv: 1507.03862. url: https://doi.org/10.1007/s11425-015-5094-1.

[Nak13]

Hiroyuki Nakaoka. “General heart construction for twin torsion pairs on triangulated categories”. In: J. Algebra 374 (2013), pp. 195–215. arXiv: 1111 . 1820. url: https://doi.org/10.1016/j.jalgebra.2012.10.027.

[NP19]

Hiroyuki Nakaoka and Yann Palu. “Extriangulated categories, Hovey twin cotorsion pairs and model structures”. In: Cah. Topol. Géom. Différ. Catég. 60.2 (2019), pp. 117–193. arXiv: 1605.05607.

[Sal79]

Luigi Salce. “Cotorsion theories for abelian groups”. In: Symposia Mathematica, Vol. XXIII (Conf. Abelian Groups and their Relationship to the Theory of Modules, INDAM, Rome, 1977). Academic Press, London-New York, 1979, pp. 11–32.

[Sar20]

Maru Sarazola. “Cotorsion pairs and a K-theory localization theorem”. In: J. Pure Appl. Algebra 224.11 (2020), pp. 106399, 29. arXiv: 1911.00613. url: https://doi.org/10.1016/j.jpaa.2020.106399.

[Yan15]

Xiaoyan Yang. “Model structures on triangulated categories”. In: Glasg. Math. J. 57.2 (2015), pp. 263–284. url: https://doi.org/10.1017/S0017089514000299.