3次対称群 [21] の既約冪等
Mac 用の ChatGPT アプリが、バージョンアップを繰り返して、画面のスクリーンショットを撮って見れるようになったので試してみます。 iPhone で撮った写真を写真アプリで表示させ、その画面を読み取らせました。写真そのものも読み取れるので少し無駄な気もしますが、まぁ楽です。
Frobenius 代数で Young 図の [21] に相当する既約表現相当の冪等元を求めるために S3 の部分群である S2xS1 の冪等元の直積を求めて S3 で見た時の非対角項を考えて誘導表現にあたる 3x3 行列を作ります。しかし可約なのでうまくブロック対角化して既約表現での [3] + [21] 相当に直します。逆行列を求めたりするのは勝手知ったる大昔の Maple でやりました。
なお [111] で同じように誘導表現相当の行列を作ると群表相当物になります。群行列式と関係しています。
この中から、消してあるところは無視して、行列ないし表を読み取ってください、次にTeXにしてください
(略)
計算紙がわりの習字の半紙に書いたので読み取り精度はひどくてイマイチでしたが、欲しい行列だけを読み取って、かったるい TeX の行列を作ってくれたので相当助かりました。なお規格化因子のようなものはうるさくなるだけなので略しました。
手作業修正後
行列 A :
行列 B :
逆行列 B^{-1} :
行列B^{-1}AB :
なお、この結果は Littlewood の本の §4.2 にあるものに一致します。(Littlewood とは巡回置換の定義が逆ですが...)
また正規直交でもないので行列 B は単位ベクトルにしなくても:
でよかったきがします。