<p>We consider standard graded toric rings <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_493_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(R_{\Delta }\)</EquationSource> </InlineEquation> whose generators correspond to the faces of a simplicial complex <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_493_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta\)</EquationSource> </InlineEquation>. When <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_493_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(R_{\Delta }\)</EquationSource> </InlineEquation> is normal, it is shown that its divisor class group is free. For a flag complex <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_493_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta\)</EquationSource> </InlineEquation> which is the clique complex of a perfect graph, a nice description for the class group and the canonical module of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_493_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(R_{\Delta }\)</EquationSource> </InlineEquation> in terms of the minimal vertex covers of the graph is given. Moreover, for a quasi-forest simplicial complex a quadratic Gröbner basis for the defining ideal of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_493_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(R_{\Delta }\)</EquationSource> </InlineEquation> is presented. Using this fact we give combinatorial descriptions for the <i>a</i>-invariant and the Gorenstein property of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_493_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(R_\Delta\)</EquationSource> </InlineEquation>.</p>

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

Toric rings attached to simplicial complexes

  • Jürgen Herzog,
  • Somayeh Moradi,
  • Ayesha Asloob Qureshi

摘要

We consider standard graded toric rings \(R_{\Delta }\) whose generators correspond to the faces of a simplicial complex \(\Delta\) . When \(R_{\Delta }\) is normal, it is shown that its divisor class group is free. For a flag complex \(\Delta\) which is the clique complex of a perfect graph, a nice description for the class group and the canonical module of \(R_{\Delta }\) in terms of the minimal vertex covers of the graph is given. Moreover, for a quasi-forest simplicial complex a quadratic Gröbner basis for the defining ideal of \(R_{\Delta }\) is presented. Using this fact we give combinatorial descriptions for the a-invariant and the Gorenstein property of \(R_\Delta\) .