PSL(2、q)の指標表のグローバルコード

Aug 20 2020

の指標表を簡単に入手できます $\mathrm{PSL}(2,q)$ いくつかの固定された小さな素数冪のために $q$、私たちは(例えば)することができます:

gap> Display(CharacterTable(PSL(2,q)));

ソフトウェアがどのように動作しているかわかりません。Atlasデータベースを使用していると思います。 $q$十分に小さいか、直接計算します。ポイントは、指標表のグローバルな理解が存在するということです$\mathrm{PSL}(2,q)$、たとえば、Fulton&Harrisのセクション5.2 、またはJ. Adamsのこのメモの12ページ(タイプミスまで)を参照してください。このグローバルな理解に従ってこの文字テーブルを計算するコードが必要です($q$非素数冪、理由はこちらをご覧ください)。自分で書こうとしたのですが、あいまいなところがありました。J. Adamsに聞いたが、彼はそのようなコードを持っていない。現在、このグローバルな理解はよく知られている結果であるため、私が探しているコードはすでにどこかに存在しているはずです(一部のソフトウェアのソース内、またはプライベートマテリアルとして)。

質問:あなたがそのようなコードを持っているなら(あなたが共有したいと思うでしょう)、あなたはそれをこの投稿の答えとして置くことができますか?
そうでなければ、そのようなコードを持っている可能性のある場所(または誰か)を知っているなら、それ(または彼女/彼)に言及していただけますか?

備考:私のラップトップは、以下を計算するために5分36秒を必要としました:

gap> Display(CharacterTable(PSL(2,163)));

一方、それは瞬時にグローバルな理解を超えるはずです。したがって、の指標表の計算$\mathrm{PSL}(2,q)$ ギャップに関しては最適ではなく、予想されるグローバルコードで修正されます。

回答

2 SebastienPalcoux Sep 21 2020 at 12:13

固定素数冪の指標表を表示する最も簡単な方法 $q$ は:

Display(CharacterTable( "PSL", 2, q)

一般的な文字のテーブルには、次のコマンドを使用して(フランク・リューベックでプライベートで指摘したように)GAP4に実際に提供されています:

にとって $q$ でも:

gap> Print(CharacterTableFromLibrary("SL2even"));

にとって $q \equiv 1 \mod 4$

gap> Print(CharacterTableFromLibrary("PSL2even"));

にとって $q \equiv 3 \mod 4$

gap> Print(CharacterTableFromLibrary("PSL2odd"));