<p>Let <i>R</i> be a commutative Noetherian ring and <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1244_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {\text { a}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.333333em" /> <mtext mathvariant="fraktur">a</mtext> </mrow> </math></EquationSource> </InlineEquation> be an ideal of <i>R</i>. Let <i>M</i> be a finitely generated <i>R</i>-module with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1244_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="129" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {cd}(\mathfrak {\text { a}},M)=c\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>cd</mtext> <mo stretchy="false">(</mo> <mrow> <mspace width="0.333333em" /> <mtext mathvariant="fraktur">a</mtext> </mrow> <mo>,</mo> <mi>M</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>c</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. In this paper, it is shown that <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1244_Article_IEq3.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="251" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {height}\big (\text {Ann}_R H^c_{\mathfrak {\text { a}}}(M)/\text {Ann}_R M\big )=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>height</mtext> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <msub> <mtext>Ann</mtext> <mi>R</mi> </msub> <msubsup> <mi>H</mi> <mrow> <mspace width="0.333333em" /> <mtext mathvariant="fraktur">a</mtext> </mrow> <mi>c</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msub> <mtext>Ann</mtext> <mi>R</mi> </msub> <mi>M</mi> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1244_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="531" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {Att}_R H^c_{\mathfrak {\text { a}}}(M)=\{\mathfrak {\text { p}}\in \text {Supp}M: \text {Ann}_R H^{c-1}_{\mathfrak {\text { a}}}(R/\mathfrak {\text { p}})=\mathfrak {\text { p}}=\text {Ann}_R H^{c}_{\mathfrak {\text { a}}}(R/\mathfrak {\text { p}})\}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>Att</mtext> <mi>R</mi> </msub> <msubsup> <mi>H</mi> <mrow> <mspace width="0.333333em" /> <mtext mathvariant="fraktur">a</mtext> </mrow> <mi>c</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mrow> <mspace width="0.333333em" /> <mtext mathvariant="fraktur">p</mtext> </mrow> <mo>∈</mo> <mtext>Supp</mtext> <mi>M</mi> <mo>:</mo> <msub> <mtext>Ann</mtext> <mi>R</mi> </msub> <msubsup> <mi>H</mi> <mrow> <mspace width="0.333333em" /> <mtext mathvariant="fraktur">a</mtext> </mrow> <mrow> <mi>c</mi> <mo>-</mo> <mn>1</mn> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>R</mi> <mo stretchy="false">/</mo> <mrow> <mspace width="0.333333em" /> <mtext mathvariant="fraktur">p</mtext> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mspace width="0.333333em" /> <mtext mathvariant="fraktur">p</mtext> </mrow> <mo>=</mo> <msub> <mtext>Ann</mtext> <mi>R</mi> </msub> <msubsup> <mi>H</mi> <mrow> <mspace width="0.333333em" /> <mtext mathvariant="fraktur">a</mtext> </mrow> <mi>c</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>R</mi> <mo stretchy="false">/</mo> <mrow> <mspace width="0.333333em" /> <mtext mathvariant="fraktur">p</mtext> </mrow> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation></p>

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

A new outlook on Lynch’s conjecture

  • Kamal Bahmanpour

摘要

Let R be a commutative Noetherian ring and \(\mathfrak {\text { a}}\) a be an ideal of R. Let M be a finitely generated R-module with \(\text {cd}(\mathfrak {\text { a}},M)=c\ge 1\) cd ( a , M ) = c 1 . In this paper, it is shown that \(\text {height}\big (\text {Ann}_R H^c_{\mathfrak {\text { a}}}(M)/\text {Ann}_R M\big )=0\) height ( Ann R H a c ( M ) / Ann R M ) = 0 or \(\text {Att}_R H^c_{\mathfrak {\text { a}}}(M)=\{\mathfrak {\text { p}}\in \text {Supp}M: \text {Ann}_R H^{c-1}_{\mathfrak {\text { a}}}(R/\mathfrak {\text { p}})=\mathfrak {\text { p}}=\text {Ann}_R H^{c}_{\mathfrak {\text { a}}}(R/\mathfrak {\text { p}})\}.\) Att R H a c ( M ) = { p Supp M : Ann R H a c - 1 ( R / p ) = p = Ann R H a c ( R / p ) } .