|
A cotorsion theory in the homotopy category of flat quasi-coherent sheaves
Authors:
E. Hosseini and Sh. Salarian
Journal:
Proc. Amer. Math. Soc. 141 (2013), 753-762
MSC (2010):
Primary 18E30, 16E40, 16E05, 13D05, 14F05
Posted:
August 7, 2012
Full-text PDF
Abstract |
References |
Similar Articles |
Additional Information
Abstract: Let be a Noetherian scheme, be the homotopy category of flat quasi-coherent -modules and be the homotopy category of all flat complexes. It is shown that the pair , - is a complete cotorsion theory in , where - is the essential image of the homotopy category of dg-cotorsion complexes of flat modules. Then we study the homotopy category ( - ). We show that in the affine case, this homotopy category is equal with the essential image of the embedding functor which has been studied by Neeman in his recent papers. Moreover, we present a condition for the inclusion ( - ) to be an equality, where is the essential image of the homotopy category of complexes of cotorsion flat sheaves.
- [AEGO]
S.
Tempest Aldrich, Edgar
E. Enochs, J.
R. García Rozas, and Luis
Oyonarte, Covers and envelopes in Grothendieck categories: flat
covers of complexes with applications, J. Algebra 243
(2001), no. 2, 615–630. MR 1850650
(2002i:18010), http://dx.doi.org/10.1006/jabr.2001.8821
- [AJPV]
Leovigildo
Alonso Tarrío, Ana
Jeremías López, Marta
Pérez Rodríguez, and María
J. Vale Gonsalves, The derived category of quasi-coherent sheaves
and axiomatic stable homotopy, Adv. Math. 218 (2008),
no. 4, 1224–1252. MR 2419383
(2010a:14024), http://dx.doi.org/10.1016/j.aim.2008.03.011
- [AS]
Javad
Asadollahi and Shokrollah
Salarian, Cohomology theories based on flats, J. Algebra
353 (2012), 93–120. MR
2872438, http://dx.doi.org/10.1016/j.jalgebra.2011.12.008
- [B]
A.
I. Bondal, Representations of associative algebras and coherent
sheaves, Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989),
no. 1, 25–44 (Russian); English transl., Math. USSR-Izv.
34 (1990), no. 1, 23–42. MR 992977
(90i:14017)
- [BEE]
L.
Bican, R.
El Bashir, and E.
Enochs, All modules have flat covers, Bull. London Math. Soc.
33 (2001), no. 4, 385–390. MR 1832549
(2002e:16002), http://dx.doi.org/10.1017/S0024609301008104
- [BEIJR]
D. Bravo, E. Enochs, A. Iacob, O. Jenda, J. Rada, Cotorsion pairs in C(R-Mod), to appear in Rocky Mountain Journal.
- [E]
Robert
El Bashir, Covers and directed colimits, Algebr. Represent.
Theory 9 (2006), no. 5, 423–430. MR 2252654
(2007k:16003), http://dx.doi.org/10.1007/s10468-006-9030-5
- [EG]
Edgar
E. Enochs and J.
R. García Rozas, Flat covers of complexes, J. Algebra
210 (1998), no. 1, 86–102. MR 1656416
(99m:13028), http://dx.doi.org/10.1006/jabr.1998.7582
- [EE]
Edgar
Enochs and Sergio
Estrada, Relative homological algebra in the category of
quasi-coherent sheaves, Adv. Math. 194 (2005),
no. 2, 284–295. MR 2139915
(2006a:16012), http://dx.doi.org/10.1016/j.aim.2004.06.007
- [ET]
Paul
C. Eklof and Jan
Trlifaj, How to make Ext vanish, Bull. London Math. Soc.
33 (2001), no. 1, 41–51. MR 1798574
(2001i:16015), http://dx.doi.org/10.1112/blms/33.1.41
- [IK]
Srikanth
Iyengar and Henning
Krause, Acyclicity versus total acyclicity for complexes over
Noetherian rings, Doc. Math. 11 (2006), 207–240
(electronic). MR
2262932 (2007h:16013)
- [M]
D. Murfet, The mock homotopy category of projectives and Grothendieck duality, Ph.D. thesis, Canberra (2007).
- [N1]
Amnon
Neeman, The homotopy category of flat modules, and Grothendieck
duality, Invent. Math. 174 (2008), no. 2,
255–308. MR 2439608
(2009h:16008), http://dx.doi.org/10.1007/s00222-008-0131-0
- [N2]
Amnon
Neeman, Some adjoints in homotopy categories, Ann. of Math.
(2) 171 (2010), no. 3, 2143–2155. MR 2680406
(2011i:18026), http://dx.doi.org/10.4007/annals.2010.171.2143
- [S]
Luigi
Salce, Cotorsion theories for abelian groups, Symposia
Mathematica, Vol. XXIII (Conf. Abelian Groups and their Relationship to the
Theory of Modules, INDAM, Rome, 1977), Academic Press, London, 1979,
pp. 11–32. MR 565595
(81j:20078)
- [TT]
R.
W. Thomason and Thomas
Trobaugh, Higher algebraic 𝐾-theory of schemes and of
derived categories, The Grothendieck Festschrift, Vol. III, Progr.
Math., vol. 88, Birkhäuser Boston, Boston, MA, 1990,
pp. 247–435. MR 1106918
(92f:19001), http://dx.doi.org/10.1007/978-0-8176-4576-2_10
- [AEGO]
- S. T. Aldrich, E. Enochs, J. R. García Rozas, L. Oyonarte, Covers and envelopes in Grothendieck categories: flat covers of complexes with applications, J. Algebra, 243 (2001), 615-630. MR 1850650 (2002i:18010)
- [AJPV]
- L. Alonso Tarrío, A. Jeremías López, M. Pérez Rodríguez, and M. Vale Gonsalves, The derived category of quasi-coherent sheaves and axiomatic stable homotopy, Adv. Math. 218 (2008), no. 4, 1224-1252. MR 2419383 (2010a:14024)
- [AS]
- J. Asadollahi, Sh. Salarian, Cohomology theories based on flats, J. Algebra, 353 (2012), 93-120. MR 2872438
- [B]
- A. I. Bondal, Representations of associative algebras and coherent sheaves, Math. USSR-Izv. 34(1) (1990) 9 (2006), 23-42. MR 992977 (90i:14017)
- [BEE]
- L. Bican, R. El Bashir, E. Enochs, All modules have flat cover, Bull. Lond. Math. Soc. 33 (4)(2001), 385-390. MR 1832549 (2002e:16002)
- [BEIJR]
- D. Bravo, E. Enochs, A. Iacob, O. Jenda, J. Rada, Cotorsion pairs in C(R-Mod), to appear in Rocky Mountain Journal.
- [E]
- R. El Bashir, Covers and directed colimits, Alg. Repr. Theory, 9 (2006), 423-430. MR 2252654 (2007k:16003)
- [EG]
- E. Enochs, J. García Rozas, Flat covers of complexes, J. Algebra, 210 (1998), 86-102. MR 1656416 (99m:13028)
- [EE]
- E. Enochs, S. Estrada, Relative homological algebra in the category of quasi-coherent sheaves, Adv. Math. 194 (2005), 284-295. MR 2139915 (2006a:16012)
- [ET]
- P. Eklof, J. Trlifaj, How to make Ext vanish, Bull. Lond. Math. Soc. 33 (2001), 41-51. MR 1798574 (2001i:16015)
- [IK]
- S. Iyengar, H. Krause, Acyclicity versus total acyclicity for complexes over noetherian rings, Doc. Math. 11 (2006), 207-240. MR 2262932 (2007h:16013)
- [M]
- D. Murfet, The mock homotopy category of projectives and Grothendieck duality, Ph.D. thesis, Canberra (2007).
- [N1]
- A. Neeman, The homotopy category of flat modules, and Grothendieck duality, Invent. Math. 174 (2008), 255-308. MR 2439608 (2009h:16008)
- [N2]
- A. Neeman, Some adjoints in homotopy categories, Annals of Math. (2) 171 (3) (2010), 2143-2155. MR 2680406 (2011i:18026)
- [S]
- L. Salce, Cotorsion theories for abelian groups, Symposia Mathematica, Vol. XXIII (Conf. Abelian Groups and Their Relationship to the Theory of Modules, INDAM,
Rome, 1977), Academic Press, London, 1979, pp. 11-32. MR 565595 (81j:20078)
- [TT]
- R. W. Thomason, T. Trobaugh, Higher algebraic
-theory of schemes and of derived categories, The Grothendieck Festschrift, Vol. III, Progr. Math., vol. 88, Birkhäuser Boston, Boston, MA, 1990, pp. 247-435. Adv. Math. 218 (2008), 1224-1252. MR 1106918 (92f:19001)
Similar Articles
Retrieve articles in Proceedings of the American Mathematical Society
with MSC (2010):
18E30,
16E40,
16E05,
13D05,
14F05
Retrieve articles in all journals
with MSC (2010):
18E30,
16E40,
16E05,
13D05,
14F05
Additional Information
E. Hosseini
Affiliation:
Department of Mathematics, University of Isfahan, Isfahan, Iran
Email:
e.hosseini@sci.ui.ac.ir
Sh. Salarian
Affiliation:
Department of Mathematics, University of Isfahan, P.O. Box 81746-73441, Isfahan, Iran – and – School of Mathematics, Institute for Research in Fundamental Science (IPM), P.O. Box 19395-5746, Tehran, Iran
Email:
salarian@ipm.ir
DOI:
http://dx.doi.org/10.1090/S0002-9939-2012-11364-4
PII:
S 0002-9939(2012)11364-4
Keywords:
Cotorsion theory,
quasi-coherent sheaves,
homotopy category,
adjoint functors,
dualizing complex
Received by editor(s):
May 8, 2011
Received by editor(s) in revised form:
July 11, 2011, and July 12, 2011
Posted:
August 7, 2012
Additional Notes:
This research was in part supported by a grant from IPM, No. 90130218
Communicated by:
Lev Borisov
Article copyright:
© Copyright 2012 American Mathematical Society
|