<p>Let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_956_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\((R,\mathfrak {m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>R</mi> <mo>,</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a local ring and <i>C</i> be an <i>R</i>-complex in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_956_Article_IEq4.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {D}_{\Box }^f(R)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mtext>D</mtext> <mrow> <mo>□</mo> </mrow> <mi>f</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Then, we prove that <i>C</i> is a dualizing complex of <i>R</i> if and only if <i>C</i> is a Cohen-Macaulay semidualizing complex of type one or <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/41980_2024_956_IEq5_HTML.gif" Format="GIF" Height="28" Rendition="HTML" Resolution="120" Type="Linedraw" Width="228" /> </InlineMediaObject> </InlineEquation>. Also, we show that a semidualizing complex <i>C</i> is dualizing if and only if there exists a type one Cohen-Macaulay <i>R</i>-module of finite <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_956_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{C}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>C</mi> </msub> </math></EquationSource> </InlineEquation>-dimension or there exists a type one Cohen-Macaulay <i>R</i>-complex of finite <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_956_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{C}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>C</mi> </msub> </math></EquationSource> </InlineEquation>-dimension such that <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_956_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="241" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textsf{dim}}_R(X)={\textsf{dim}}_R(C)-{\textsf{grade}}_C(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="sans-serif">dim</mi> <mi>R</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi mathvariant="sans-serif">dim</mi> <mi>R</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msub> <mi mathvariant="sans-serif">grade</mi> <mi>C</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, for a semidualizing <i>R</i>-complex <i>C</i>, we prove that <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_956_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(C\sim R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>∼</mo> <mi>R</mi> </mrow> </math></EquationSource> </InlineEquation> if and only if there exists a type one Cohen-Macaulay <i>R</i>-module <i>M</i> which belongs to the Auslander class <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_956_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}_C(R)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">A</mi> <mi>C</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Some Characterizations of Dualizing Complexes in Terms of \(G_{C}\)-Dimension

  • Majid Rahro Zargar

摘要

Let \((R,\mathfrak {m})\) ( R , m ) be a local ring and C be an R-complex in \(\text {D}_{\Box }^f(R)\) D f ( R ) . Then, we prove that C is a dualizing complex of R if and only if C is a Cohen-Macaulay semidualizing complex of type one or . Also, we show that a semidualizing complex C is dualizing if and only if there exists a type one Cohen-Macaulay R-module of finite \(G_{C}\) G C -dimension or there exists a type one Cohen-Macaulay R-complex of finite \(G_{C}\) G C -dimension such that \({\textsf{dim}}_R(X)={\textsf{dim}}_R(C)-{\textsf{grade}}_C(X)\) dim R ( X ) = dim R ( C ) - grade C ( X ) . Furthermore, for a semidualizing R-complex C, we prove that \(C\sim R\) C R if and only if there exists a type one Cohen-Macaulay R-module M which belongs to the Auslander class \(\mathcal {A}_C(R)\) A C ( R ) .