<p>Let <i>A</i> be the ring of integers of a number field <i>K</i>. Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9938_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(G \subseteq GL_3(A)\)</EquationSource> </InlineEquation> be a finite group. Let <i>G</i> act linearly on <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9938_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="111" /> </InlineMediaObject> <EquationSource Format="TEX">\(R = A[X,Y, Z]\)</EquationSource> </InlineEquation> (fixing <i>A</i>) and let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9938_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(S = R^G\)</EquationSource> </InlineEquation> be the ring of invariants. Assume the Veronese subring <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9938_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(S^{&lt;m&gt;}\)</EquationSource> </InlineEquation> of <i>S</i> is standard graded. We prove that if for all primes <i>p</i> dividing |<i>G</i>|, the Sylow <i>p</i>-subgroup of <i>G</i> has exponent <i>p</i> then for all <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9938_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(l \gg 0\)</EquationSource> </InlineEquation> the Veronese subring <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9938_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(S^{&lt;ml&gt;}\)</EquationSource> </InlineEquation> of <i>S</i> is Cohen-Macaulay. We prove a similar result if for all primes <i>p</i> dividing |<i>G</i>|, the prime <i>p</i> is unramified in <i>K</i>.</p>

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

The Cohen-Macaulay Property of the Invariant Rings Over Ring of Integers of a Global Field-II

  • Tony J. Puthenpurakal

摘要

Let A be the ring of integers of a number field K. Let \(G \subseteq GL_3(A)\) be a finite group. Let G act linearly on \(R = A[X,Y, Z]\) (fixing A) and let \(S = R^G\) be the ring of invariants. Assume the Veronese subring \(S^{<m>}\) of S is standard graded. We prove that if for all primes p dividing |G|, the Sylow p-subgroup of G has exponent p then for all \(l \gg 0\) the Veronese subring \(S^{<ml>}\) of S is Cohen-Macaulay. We prove a similar result if for all primes p dividing |G|, the prime p is unramified in K.