{"entities":{"Q889585":{"pageid":891433,"ns":120,"title":"Item:Q889585","lastrevid":65125374,"modified":"2026-04-12T00:29:52Z","type":"item","id":"Q889585","labels":{"en":{"language":"en","value":"On a question of Gillespie"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6505800"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889585$B78FCA9F-1FC6-4208-972D-B202FCA04087","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"445448fb8fc18b8729e6c8f521fc921ea9007571","datavalue":{"value":{"text":"On a question of Gillespie","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q889585$EB2A29CC-5B91-495B-AE75-FB2FB4ACE2ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d0cd533f55552ba882dd5ecd694a4fdc7b70fac","datavalue":{"value":"1347.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889585$3DD74482-63F5-4ED9-9CE2-4E9F23F43E7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d052ea9878f7453f8cc5fa5227d90acb57531e2","datavalue":{"value":{"entity-type":"item","numeric-id":254046,"id":"Q254046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889585$2F0A9F62-E5CC-4D86-8B37-5B65D99B4AD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd4ccddbb81defc05e602592f8c5989241cffff","datavalue":{"value":{"time":"+2015-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q889585$81DF81A9-A7E0-4827-8AD1-319F8F24A999","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c05ce1a8e333ee7a56bc5d6bcb1013a8b416424","datavalue":{"value":"Soit \\(\\mathcal{G}\\) une cat\u00e9gorie ab\u00e9lienne. Rappelons qu'une \\textit{th\u00e9orie de cotorsion} dans \\(\\mathcal{G}\\) est un couple \\((\\mathcal{A},\\mathcal{B})\\) de classes d'objets de \\(\\mathcal{G}\\) telles que \\(\\mathcal{A}^\\perp=\\mathcal{B}\\) et \\(^\\perp\\mathcal{B}=\\mathcal{A}\\), o\u00f9 \\(\\mathcal{A}^\\perp\\) (resp. \\(^\\perp\\mathcal{B}\\)) d\u00e9signe la classe des objets \\(X\\) de \\(\\mathcal{G}\\) tels que \\(\\text{Ext}^1_\\mathcal{G}(T,X)=0\\) (resp. \\(\\text{Ext}^1_\\mathcal{G}(X,T)=0\\)) pour tout objet \\(T\\) de \\(\\mathcal{A}\\) (resp. \\(\\mathcal{B}\\)). Cette notion est fondamentale en alg\u00e8bre homologique relative. Le lecteur pourra consulter [\\textit{M. Hovey}, Math. Z. 241, No. 3, 553--592 (2002; Zbl 1016.55010)] pour une mise en perspective de cette notion dans le cadre des cat\u00e9gories de mod\u00e8les.  Notons \\(\\mathbf{Ch}(\\mathcal{G})\\) la cat\u00e9gorie ab\u00e9lienne des complexes de cha\u00eenes (sans aucune condition de borne) dans \\(\\mathcal{G}\\). Si \\(\\mathcal{X}\\) est une classe d'objets de \\(\\mathcal{G}\\), on note \\(\\widetilde{\\mathcal{X}}\\) la classe des objets de \\(\\mathbf{Ch}(\\mathcal{G})\\), appel\u00e9s \\textit{\\(\\mathcal{X}\\)-complexes}, qui sont exacts et dont les sous-objets de cycles appartiennent (en chaque degr\u00e9) \u00e0 \\(\\mathcal{X}\\). On note \u00e9galement \\(\\mathrm{dg}_g(\\mathcal{X})\\) (resp. \\(\\mathrm{dg}_d(\\mathcal{X})\\)) la classe des complexes \\(C\\) tels que le complexe \\(\\mathbf{Hom}(C,X)\\) (resp. \\(\\mathbf{Hom}(X,C)\\)) soit exact pour tout \\(\\mathcal{X}\\)-complexe \\(X\\). (L'article utilise la notation malencontreuse dg, sans pr\u00e9cision d'indices, le contexte permettant de d\u00e9terminer laquelle des deux variantes duales doit \u00eatre utilis\u00e9e ; la m\u00eame observation vaut pour d'autres notations de l'article.) Ici, \\(\\mathbf{Hom}\\) d\u00e9signe le Hom interne de \\(\\mathbf{Ch}(\\mathcal{G})\\) : \\(\\mathbf{Hom}(A,B)_n=\\underset{i\\in\\mathbb{Z}}{\\prod}\\mathrm{Hom}_{\\mathcal G}(A_i,B_{n+i})\\), avec la diff\u00e9rentielle usuelle. Ces notions sont dues \u00e0 \\textit{J. Gillespie} [Trans. Am. Math. Soc. 356, No. 8, 3369--3390 (2004; Zbl 1056.55011)], qui montre le r\u00e9sultat suivant : supposons que, dans une cat\u00e9gorie ab\u00e9lienne \\(\\mathcal{G}\\), \\((\\mathcal{A},\\mathcal{B})\\) est une th\u00e9orie de cotorsion poss\u00e9dant assez de projectifs (c'est-\u00e0-dire que, pour tout objet \\(X\\) de \\(\\mathcal{G}\\), il existe une suite exacte \\(0\\to B\\to A\\to X\\to 0\\) avec \\(A\\) dans \\(\\mathcal{A}\\) et \\(B\\) dans \\(\\mathcal{B}\\)) et assez d'injectifs (c'est-\u00e0-dire que, pour tout objet \\(X\\) de \\(\\mathcal{G}\\), il existe une suite exacte \\(0\\to X\\to B\\to A\\to 0\\) avec \\(A\\) dans \\(\\mathcal{A}\\) et \\(B\\) dans \\(\\mathcal{B}\\)), alors \\((\\widetilde{\\mathcal{A}},\\mathrm{dg}_d(\\mathcal{B}))\\) et \\((\\mathrm{dg}_g(\\mathcal{A}),\\widetilde{\\mathcal{B}})\\) sont des th\u00e9ories de cotorsion dans \\(\\mathbf{Ch}(\\mathcal{G})\\).  R\u00e9pondant \u00e0 une question de l'article susmentionn\u00e9 de Gillespie, le pr\u00e9sent travail \u00e9tablit le r\u00e9sultat suivant.  Th\u00e9or\u00e8mes 2.4 et 2.5. Soient \\(\\mathcal{G}\\) une cat\u00e9gorie ab\u00e9lienne poss\u00e9dant des produits et des sommes directes arbitraires et \\((\\mathcal{A},\\mathcal{B})\\) une th\u00e9orie de cotorsion dans \\(\\mathcal{G}\\), compl\u00e8te (c'est-\u00e0-dire poss\u00e9dant assez de projectifs et d'injectifs) et h\u00e9r\u00e9ditaire (c'est-\u00e0-dire telle que \\(\\text{Ext}^i_\\mathcal{G}(A,B)=0\\) pour tout entier \\(i\\geq 1\\) et tous objets \\(A\\) et \\(B\\) de \\(\\mathcal{A}\\) et \\(\\mathcal{B}\\) respectivement). Alors les th\u00e9ories de cotorsion \\((\\widetilde{\\mathcal{A}},\\mathrm{dg}_d(\\mathcal{B}))\\) et \\((\\mathrm{dg}_g(\\mathcal{A}),\\widetilde{\\mathcal{B}})\\) de \\(\\mathbf{Ch}(\\mathcal{G})\\) sont compl\u00e8tes.  De plus, ces deux th\u00e9ories de cotorsion sont compatibles au sens o\u00f9 \\(\\widetilde{\\mathcal{A}}=\\mathrm{dg}_g(\\mathcal{A})\\cap\\mathcal{E}\\) et \\(\\widetilde{\\mathcal{B}}=\\mathrm{dg}_d(\\mathcal{B})\\cap\\mathcal{E}\\), \\(\\mathcal{E}\\) d\u00e9signant la classe des complexes exacts.  (Cette notion de compatibilit\u00e9 appara\u00eet dans Gillespie, [loc. cit.]; le lecteur prendra garde que les auteurs omettent de rappeler la signification de \\(\\mathcal{E}\\).)  Dans la section 3 du pr\u00e9sent travail, ce r\u00e9sultat est utilis\u00e9 pour \u00e9tudier des notions relatives de dimension homologique, introduites par \\textit{L. L. Avramov} and \\textit{H.-B. Foxby} [J. Pure Appl. Algebra 71, No. 2--3, 129--155 (1991; Zbl 0737.16002)]. Pour cela, on d\u00e9finit d'abord \\(\\mathcal{J}-\\dim_{\\mathrm{inj}}(X)\\), lorsque \\(\\mathcal{J}\\) est une classe d'objets et \\(X\\) un objet d'une cat\u00e9gorie ab\u00e9lienne \\(\\mathcal{G}\\), comme l'infimum sur les complexes \\(A\\) de \\(\\mathcal{J}\\) quasi-isomorphes \u00e0 \\(X\\) de \\(\\sup\\{n\\in\\mathbb{Z}\\,|\\,A_n\\neq 0\\}\\). Cette notion s'applique en particulier aux objets de \\(\\mathcal{G}\\), vus comme complexes concentr\u00e9s en degr\u00e9 \\(0\\). L'un des r\u00e9sultats principaux est le suivant, peu surprenant mais non trivial :  Corollaire 3.5. Soient \\(\\mathcal{G}\\) une cat\u00e9gorie de Grothendieck, \\(\\mathcal{J}\\) la classe des objets injectifs de \\(\\mathcal{G}\\) et \\(X\\) un objet de \\(\\mathcal{G}\\). Alors \\(\\mathrm{injdim}(X)=\\mathcal{J}-\\dim_{\\mathrm{inj}}(X)\\).  (Ici, \\(\\mathrm{injdim}(X)\\) d\u00e9signe la dimension injective usuelle de \\(X\\) dans \\(\\mathcal{G}\\), caract\u00e9ris\u00e9e par l'\u00e9quivalence entre les conditions \\(\\mathrm{injdim}(X)\\leq n\\) et \\(\\text{Ext}^i(-,X)=0\\) pour \\(i>n\\). La difficult\u00e9 \u00e0 \u00e9tablir ce r\u00e9sultat provient bien s\u00fbr de ce que les complexes de \\(\\mathbf{Ch}(\\mathcal{G})\\) ne sont, en g\u00e9n\u00e9ral, born\u00e9s ni \u00e0 droite ni \u00e0 gauche.)  Dans la derni\u00e8re section, les auteurs donnent des r\u00e9sultats permettant des constructions g\u00e9n\u00e9rales de th\u00e9ories de cotorsion h\u00e9r\u00e9ditaires et compl\u00e8tes. Citons l'un des principaux :  Proposition 3.8. Soient \\(\\mathcal{G}\\) une cat\u00e9gorie de Grothendieck localement de pr\u00e9sentation finie et \\(\\mathcal{F}\\) la classe des objets plats de \\(\\mathcal{G}\\). Supposons que \\(\\mathcal{F}\\) contient un g\u00e9n\u00e9rateur de \\(\\mathcal{G}\\). Alors \\((\\mathcal{F},\\mathcal{F}^\\perp)\\) est une th\u00e9orie de cotorsion h\u00e9r\u00e9ditaire et compl\u00e8te.  (Rappelons quelques d\u00e9finitions : un objet \\(X\\) d'une cat\u00e9gorie ab\u00e9lienne \\(\\mathcal{G}\\) est \\textit{de pr\u00e9sentation finie} si le foncteur \\(\\text{Hom}(X,-)\\) commute aux colimites filtrantes ; \\(\\mathcal{G}\\) est dite \\textit{localement de pr\u00e9sentation finie} si elle poss\u00e8de un ensemble de g\u00e9n\u00e9rateurs ayant cette propri\u00e9t\u00e9. Un objet \\(T\\) de \\(\\mathcal{G}\\) est dit \\textit{plat} si pour tout \u00e9pimorphisme \\(S\\twoheadrightarrow T\\) et tout objet \\(X\\) de \\(\\mathcal{G}\\) de pr\u00e9sentation finie, le morphisme de groupes ab\u00e9liens \\(\\text{Hom}(X,S)\\to \\text{Hom}(X,T)\\) est surjectif.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q889585$939C0F21-8F34-4484-8BCE-16E3773D2DCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889585$F4E3AA94-3404-4201-9242-4F5D5FDB5280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd158bac985717eaf1d624862024360435e72c9d","datavalue":{"value":"18G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889585$035CA4F4-915C-4B6D-B3D5-DE6BBC6535E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5b6eb2becdd8546ea8cea7ba52390975b78a0942","datavalue":{"value":"18G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889585$E6327993-638F-4AC0-889C-0B7A93AD080F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d16f60fc751d5d18acaa3db4a0e2e77fb9a5f30","datavalue":{"value":"6505800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889585$6B523363-AAC0-41E7-BF95-400674B6C62E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"498293b20acb4d3452033c0c1fd260524937821d","datavalue":{"value":"abelian category","type":"string"},"datatype":"string"},"type":"statement","id":"Q889585$15F762B5-B83F-495E-940F-60D527BB4135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23eaebf450349b67fbfcc563d671579b38190b47","datavalue":{"value":"(complete, hereditary) cotorsion pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q889585$63D73F36-0585-44AF-88C7-9F542AE92E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e5a7b8be8896b5a8c57a0d12c3970ac195dd995","datavalue":{"value":"(unbounded) chain complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q889585$6C3ED235-4DFD-4A84-8A54-54657B5271F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ddfa9fb8be8887bb91facdd40bd98fb42c0620","datavalue":{"value":"homological dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q889585$492036A4-8EAE-43DD-9E6E-ACD87660D226","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2abe076149e61dca0bcf486e41a3599822000755","datavalue":{"value":{"entity-type":"item","numeric-id":327287,"id":"Q327287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889585$12A0F9A7-2339-48B8-A8BB-485239D3783F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d85e9078ac589263f848bf70185fc83d6d135335","datavalue":{"value":{"entity-type":"item","numeric-id":477910,"id":"Q477910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889585$DAE1D834-3791-4213-8617-FB9891C4552F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6bbd2aa9f430c0d23c235f50548ac357363c8a2","datavalue":{"value":{"entity-type":"item","numeric-id":288656,"id":"Q288656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889585$AEE7B47C-D89D-405A-9E09-523D576327F3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q889585$D53F9C5E-1708-43FE-8A92-F26A5C1DDEF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba28b029fbf0e7f9434032fffdacbe2a467af3b9","datavalue":{"value":"https://doi.org/10.1515/forum-2013-6014","type":"string"},"datatype":"url"},"type":"statement","id":"Q889585$B10AEE0D-B52F-4719-BE86-0D5C82BAE355","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2545c14d2af0f6e9c45433114197f872a8a14a71","datavalue":{"value":"W2317796131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889585$0F506901-9555-4636-9B97-E9B640655C86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef9f85c210e771b614d29b67222fbec55b479441","datavalue":{"value":"10.1515/FORUM-2013-6014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q889585$C8EB6DCD-21A5-450D-A8A2-CF571B79B7B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ca6dae3eff5fe4f6fb97ec9cbee80f7406e7cf","datavalue":{"value":{"entity-type":"item","numeric-id":3094677,"id":"Q3094677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd56f609970eaf7679c3fd87a87018fa0588135","datavalue":{"value":{"amount":"+0.8123162984848022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q889585$2DB17ACB-FC9F-455D-AFF9-E0AB91A9FB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b11b83f65f973993e95dffaef2b44784b239a99","datavalue":{"value":{"entity-type":"item","numeric-id":5428640,"id":"Q5428640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57b43930e4f33a9be075cd4327abab5d7ca02a6","datavalue":{"value":{"amount":"+0.8111463189125061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q889585$2513D286-4404-4B71-B155-BFE01CA92A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617fe7c0fd1c3e1c30d338ff0046e9b6087f3809","datavalue":{"value":{"entity-type":"item","numeric-id":2862263,"id":"Q2862263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794d764093e390a7a186c652941f14616c4bc7db","datavalue":{"value":{"amount":"+0.8091990351676941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q889585$2BCD5493-5DB4-45AD-9BB8-76AA471B92CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45008d644a40d9cb1f7027658efcfa16501e0dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5249904,"id":"Q5249904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed56cfdf120331f9be1433e070792eb7ed126ff7","datavalue":{"value":{"amount":"+0.8051523566246033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q889585$E482D212-93F4-4A8C-9F78-FBEEF2C9EB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d65341f8711ae8b01cfbf7a1877a1477ff1a3b7","datavalue":{"value":{"entity-type":"item","numeric-id":2980181,"id":"Q2980181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05b4961df790b11c39980f12f1c5de4d5817c45","datavalue":{"value":{"amount":"+0.8035376071929932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q889585$78165EE3-8EE7-478D-9E63-E0F23DCCB66B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a question of Gillespie","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_question_of_Gillespie"}}}}}