<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Q</mi> </math></EquationSource> </InlineEquation> be a class of objects in an abelian category <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>. In this paper we investigate when homological and homotopical properties of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {Q}_0=\mathcal {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">Q</mi> <mn>0</mn> </msub> <mo>=</mo> <mi mathvariant="script">Q</mi> </mrow> </math></EquationSource> </InlineEquation> are inherited by <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {Q}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">Q</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>, the class of objects with <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Q</mi> </math></EquationSource> </InlineEquation>-(co)resolution dimension at most an integer <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. It is shown that if <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Q</mi> </math></EquationSource> </InlineEquation> is the first class of a Hovey triple <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="119" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}=(\mathcal {Q},\mathcal {W},\mathcal {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">M</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi mathvariant="script">Q</mi> <mo>,</mo> <mi mathvariant="script">W</mi> <mo>,</mo> <mi mathvariant="script">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> satisfying some mild assumptions, then <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {Q}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">Q</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> is the first class of a hereditary Hovey triple <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="173" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}_n=(\mathcal {Q}_n,\mathcal {W}_{\mathcal {Q},n},\mathcal {R}_{\mathcal {Q},n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">M</mi> <mi>n</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">Q</mi> <mi>n</mi> </msub> <mo>,</mo> <msub> <mi mathvariant="script">W</mi> <mrow> <mi mathvariant="script">Q</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo>,</mo> <msub> <mi mathvariant="script">R</mi> <mrow> <mi mathvariant="script">Q</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {W}_{\mathcal {Q},n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">W</mi> <mrow> <mi mathvariant="script">Q</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {R}_{\mathcal {Q},n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">R</mi> <mrow> <mi mathvariant="script">Q</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> explicitly described. Consequently, <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1950_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {Q}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">Q</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> is the left-hand side of a complete hereditary cotorsion pair, and hence a special precovering class. The dual problem is also addressed, and applications in the setting of Gorenstein homological algebra are given.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Approximations and Hovey Triples by Objects of Finite Homological Dimensions

  • Rachid El Maaouy

摘要

Let \(\mathcal {Q}\) Q be a class of objects in an abelian category \(\mathcal {A}\) A . In this paper we investigate when homological and homotopical properties of \(\mathcal {Q}_0=\mathcal {Q}\) Q 0 = Q are inherited by \(\mathcal {Q}_n\) Q n , the class of objects with \(\mathcal {Q}\) Q -(co)resolution dimension at most an integer \(n\ge 0\) n 0 . It is shown that if \(\mathcal {Q}\) Q is the first class of a Hovey triple \(\mathcal {M}=(\mathcal {Q},\mathcal {W},\mathcal {R})\) M = ( Q , W , R ) in \(\mathcal {A}\) A satisfying some mild assumptions, then \(\mathcal {Q}_n\) Q n is the first class of a hereditary Hovey triple \(\mathcal {M}_n=(\mathcal {Q}_n,\mathcal {W}_{\mathcal {Q},n},\mathcal {R}_{\mathcal {Q},n})\) M n = ( Q n , W Q , n , R Q , n ) with \(\mathcal {W}_{\mathcal {Q},n}\) W Q , n and \(\mathcal {R}_{\mathcal {Q},n}\) R Q , n explicitly described. Consequently, \(\mathcal {Q}_n\) Q n is the left-hand side of a complete hereditary cotorsion pair, and hence a special precovering class. The dual problem is also addressed, and applications in the setting of Gorenstein homological algebra are given.