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

Published electronically:
August 7, 2012

MathSciNet review:
3003669

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**, 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**, 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**, 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****[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**, 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**, 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**, 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**, 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**, 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****[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**, 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**, 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-New York, 1979, pp. 11–32. MR**565595****[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**, 10.1007/978-0-8176-4576-2_10

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

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

Published electronically:
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