<p>Let <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(W_{r}(\mathbb {F}_{q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>W</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the ring of Witt vectors of length <i>r</i> with residue field <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> of characteristic <i>p</i>. In this paper, we study the defining characteristic case of the representations of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{GL}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{SL}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>SL</mtext> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> over the principal ideal local rings <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(W_{r}(\mathbb {F}_{q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>W</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_{q}[t]/t^{r}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>t</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mi>t</mi> <mi>r</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf{G}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">G</mi> </math></EquationSource> </InlineEquation> be either <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{GL}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{SL}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>SL</mtext> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> and <i>F</i> a perfect field of characteristic <i>p</i>, we prove that for most <i>p</i> the group algebras <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq15.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\(F[{\textbf{G}}(W_{r}(\mathbb {F}_{q}))]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo stretchy="false">[</mo> <mi mathvariant="bold">G</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>W</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq16.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(F[{\textbf{G}}(\mathbb {F}_{q}[t]/t^{r})]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo stretchy="false">[</mo> <mi mathvariant="bold">G</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>t</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mi>t</mi> <mi>r</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> are not stably equivalent of Morita type. Thus, the group algebras <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq15.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\(F[{\textbf{G}}(W_{r}(\mathbb {F}_{q}))]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo stretchy="false">[</mo> <mi mathvariant="bold">G</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>W</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10333_Article_IEq16.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(F[{\textbf{G}}(\mathbb {F}_{q}[t]/t^{r})]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo stretchy="false">[</mo> <mi mathvariant="bold">G</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>t</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mi>t</mi> <mi>r</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> are not isomorphic in the defining characteristic case.</p>

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

The Defining Characteristic Case of the Representations of \(\textrm{GL}_{n}\) and \(\textrm{SL}_{n}\) Over Principal Ideal Local Rings

  • Nariel Monteiro

摘要

Let \(W_{r}(\mathbb {F}_{q})\) W r ( F q ) be the ring of Witt vectors of length r with residue field \(\mathbb {F}_{q}\) F q of characteristic p. In this paper, we study the defining characteristic case of the representations of \(\textrm{GL}_{n}\) GL n and \(\textrm{SL}_{n}\) SL n over the principal ideal local rings \(W_{r}(\mathbb {F}_{q})\) W r ( F q ) and \(\mathbb {F}_{q}[t]/t^{r}\) F q [ t ] / t r . Let \({\textbf{G}}\) G be either \(\textrm{GL}_{n}\) GL n or \(\textrm{SL}_{n}\) SL n and F a perfect field of characteristic p, we prove that for most p the group algebras \(F[{\textbf{G}}(W_{r}(\mathbb {F}_{q}))]\) F [ G ( W r ( F q ) ) ] and \(F[{\textbf{G}}(\mathbb {F}_{q}[t]/t^{r})]\) F [ G ( F q [ t ] / t r ) ] are not stably equivalent of Morita type. Thus, the group algebras \(F[{\textbf{G}}(W_{r}(\mathbb {F}_{q}))]\) F [ G ( W r ( F q ) ) ] and \(F[{\textbf{G}}(\mathbb {F}_{q}[t]/t^{r})]\) F [ G ( F q [ t ] / t r ) ] are not isomorphic in the defining characteristic case.