<p>In this paper we characterize the value set <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1382_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> of the <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1382_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(R\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>R</mi> </math></EquationSource> </InlineEquation>-modules of the form <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1382_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(R+zR\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>+</mo> <mi>z</mi> <mi>R</mi> </mrow> </math></EquationSource> </InlineEquation> for the local ring <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1382_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(R\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>R</mi> </math></EquationSource> </InlineEquation> associated to a germ <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1382_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ξ</mi> </math></EquationSource> </InlineEquation> of an irreducible plane curve singularity with one Puiseux pair. In the particular case of the module of Kähler differentials attached to <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1382_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ξ</mi> </math></EquationSource> </InlineEquation>, we recover some results of Delorme. From our characterization of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1382_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> we introduce a proper subset of semimodules over the value semigroup of the ring <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1382_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(R\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>R</mi> </math></EquationSource> </InlineEquation>. Moreover, we provide a combinatorial algorithm to construct all possible semimodules in this subset for a given value semigroup.</p>

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

Curve singularities with one Puiseux pair and value sets of modules over their local rings

  • Maria Alberich-Carramiñana,
  • Patricio Almirón,
  • Julio-José Moyano-Fernández

摘要

In this paper we characterize the value set \(\Delta \) Δ of the \(R\) R -modules of the form \(R+zR\) R + z R for the local ring \(R\) R associated to a germ \(\xi \) ξ of an irreducible plane curve singularity with one Puiseux pair. In the particular case of the module of Kähler differentials attached to \(\xi \) ξ , we recover some results of Delorme. From our characterization of \(\Delta \) Δ we introduce a proper subset of semimodules over the value semigroup of the ring \(R\) R . Moreover, we provide a combinatorial algorithm to construct all possible semimodules in this subset for a given value semigroup.