PSL(2、q)の指標表のグローバルコード
の指標表を簡単に入手できます $\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)$ ギャップに関しては最適ではなく、予想されるグローバルコードで修正されます。
回答
固定素数冪の指標表を表示する最も簡単な方法 $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"));