<p>We determine the action of the automorphism group <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1354_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Aut</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\mathrm {Aut}(G)$</EquationSource> </InlineEquation> on the set of irreducible characters <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1354_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Irr</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">${\mathrm {Irr}}(G)$</EquationSource> </InlineEquation> for all finite quasi-simple groups <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1354_Article_IEq3.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 groups of Lie type, this includes the construction of an <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1354_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Aut</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\mathrm {Aut}(G)$</EquationSource> </InlineEquation>-equivariant Jordan decomposition of characters (Theorem&#xa0;<InternalRef RefID="FPar2">B</InternalRef>). We prove a property called <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1354_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>A</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">${{A}(\infty )}$</EquationSource> </InlineEquation> which includes an extendibility statement, known previously in all types not <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1354_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">D</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathrm {D} $</EquationSource> </InlineEquation> (Theorem&#xa0;<InternalRef RefID="FPar1">A</InternalRef>). Our methods blend here Shintani descent ideas introduced for type <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1354_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">B</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathrm{B}$</EquationSource> </InlineEquation> with an analysis of semisimple classes in the dual group <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1354_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi>G</mi> <mo>∗</mo> </msup> </math></EquationSource> <EquationSource Format="TEX">$G^{*}$</EquationSource> </InlineEquation>. The property <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1354_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>A</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">${{A}(\infty )}$</EquationSource> </InlineEquation> originates in the program to prove the McKay conjecture using the classification of finite simple groups. Theorem&#xa0;<InternalRef RefID="FPar3">C</InternalRef> establishes the McKay conjecture for the prime 3.</p>

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

Extensions of characters in type D and the inductive McKay condition, II

  • Britta Späth

摘要

We determine the action of the automorphism group Aut ( G ) $\mathrm {Aut}(G)$ on the set of irreducible characters Irr ( G ) ${\mathrm {Irr}}(G)$ for all finite quasi-simple groups G $G$ . For groups of Lie type, this includes the construction of an Aut ( G ) $\mathrm {Aut}(G)$ -equivariant Jordan decomposition of characters (Theorem B). We prove a property called A ( ) ${{A}(\infty )}$ which includes an extendibility statement, known previously in all types not D $\mathrm {D} $ (Theorem A). Our methods blend here Shintani descent ideas introduced for type B $\mathrm{B}$ with an analysis of semisimple classes in the dual group G $G^{*}$ . The property A ( ) ${{A}(\infty )}$ originates in the program to prove the McKay conjecture using the classification of finite simple groups. Theorem C establishes the McKay conjecture for the prime 3.