<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1345_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> <EquationSource Format="TEX">$G$</EquationSource> </InlineEquation> be a finite group and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1345_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>A</mi> </math></EquationSource> <EquationSource Format="TEX">$A$</EquationSource> </InlineEquation> be a regular local ring on which <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1345_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> <EquationSource Format="TEX">$G$</EquationSource> </InlineEquation> acts. Under certain assumptions on <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1345_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>A</mi> </math></EquationSource> <EquationSource Format="TEX">$A$</EquationSource> </InlineEquation> and the action, Serre defined a function <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1345_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>a</mi> <mi>G</mi> </msub> <mo>:</mo> <mi>G</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> <EquationSource Format="TEX">$a_{G}\colon G\rightarrow \mathbb{Z}$</EquationSource> </InlineEquation> which can be viewed as a higher dimensional analogue of Artin character, and conjectured that it is associated to a <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1345_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Q</mi> <mi>ℓ</mi> </msub> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{Q}_{\ell }$</EquationSource> </InlineEquation>-rational representation of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1345_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> <EquationSource Format="TEX">$G$</EquationSource> </InlineEquation> for any prime <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1345_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> <EquationSource Format="TEX">$\ell $</EquationSource> </InlineEquation> invertible in <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1345_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>A</mi> </math></EquationSource> <EquationSource Format="TEX">$A$</EquationSource> </InlineEquation>. We prove this conjecture in the equal characteristic case.</p>

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

On the Serre conjecture for Artin characters in the geometric case

  • Tomoyuki Abe

摘要

Let G $G$ be a finite group and A $A$ be a regular local ring on which G $G$ acts. Under certain assumptions on A $A$ and the action, Serre defined a function a G : G Z $a_{G}\colon G\rightarrow \mathbb{Z}$ which can be viewed as a higher dimensional analogue of Artin character, and conjectured that it is associated to a Q $\mathbb{Q}_{\ell }$ -rational representation of G $G$ for any prime $\ell $ invertible in A $A$ . We prove this conjecture in the equal characteristic case.