核心概念
この記事では、有限群の表現論という古典的なテーマを、完全に拡張された向き付けられた2次元TQFTの現代的な枠組みを用いて再解釈しています。
摘要
この記事は、完全に拡張された向き付けられた2次元TQFTを用いて、有限群の表現論における基本的な概念をどのように理解できるかを探求したものです。
中心間の同型
- 中心 Z(R) と Z(B) は、可逆な欠損線を用いて構成された自然な射によって同型になります。
- この同型写像は、欠損線の可逆性を利用して、欠損線間の領域を挟んで分割し、青い泡を消滅させることで示されます。
非アーベルフーリエ変換
- 非アーベルフーリエ変換は、代数としての群環 K[G] から、G の既約表現の自己準同型環の直積への同型写像として理解できます。
- この同型写像は、K[G] を赤色オブジェクトの境界条件とみなし、欠損線を境界まで押し出すことで実現されます。
プランシュレルの定理
- プランシュレルの定理は、関数の畳み込みとそのフーリエ変換のトレースとの間の関係を表すものであり、これもまた、TQFTの枠組みの中で理解できます。
- これは、赤色円盤に複数の境界条件と欠損点を配置し、中央に青い泡を追加し、欠損線を境界まで押し出すことで実現されます。
1次元イジング模型
- 興味深いことに、1次元イジング模型は、この枠組みにおける境界理論とみなすことができ、統計力学と位相的場の量子論との間の関連性を示唆しています。
- これは、有限群 µ2 と適切に選択された関数 θβ を用いて実現され、イジング模型の分配関数を表現論の観点から計算することができます。
結論
この記事では、完全に拡張された向き付けられた2次元TQFTを用いて、表現論における非アーベルフーリエ変換やプランシュレルの定理などの概念をエレガントかつ直感的に理解できることを示しています。また、1次元イジング模型を境界理論として実現することで、TQFTの幅広い応用可能性を示唆しています。
統計資料
論文では、有限群 G の位数が |G| として使用されています。
論文では、有限次元ベクトル空間 V の次元が dimK Vi として使用されています。
引述
「最高のパンは自分のオーブンで焼いたパンであるように、有限群のような生の材料からこれらのいくつかを準備する方法を見ていきます。」
「群のすべての既約表現がこの場合1次元であるため、任意の i ∈ˆG に対して標準的な同型写像 EndK,K(Vi) ∼= K が得られ、フーリエ変換は同型写像 Φ: (FunK(G), ∗) ∼−→(FunK( ˆG), ·) となります。」
「伝統的にこのレシピは n = 2 であり、したがって次のように表されます。 X g∈G θ1(g)θ2(g−1) = 1 |G| X i∈ˆG (dim Vi)tr(Φ(θ1)i ◦Φ(θ2)i)」