第12章 分類と展望
前章で、単純リー環がディンキン図形で完全に分類されました。この最終章では、分類されたリー環の表現をどう 組み立てるか(最高ウェイト理論)を概観し、普遍展開環を通じて前半の非可換環論と再会します。そして量子群・ 物理・幾何への広がりを展望し、「非可換な代数を単純部品に分解する」「連続対称性を線形化して分類する」という 二つの構造論の旅を総括します。
最高ウェイト:既約表現を組み立てる
半単純リー環の既約表現は、ルート系のときと同じ手口——カルタン部分環で対角化し、固有値(ウェイト)を 読む——で分類できます。表現空間 をカルタン部分環 で同時対角化し、固有値 (ウェイト )ごとの空間に分ける。上昇演算子 (第10章の sl₂ の梯子)がウェイトを 上げ、下降演算子が下げる。有限次元表現にはいちばん上のウェイトがあります。
定理 最高ウェイトの定理(カルタン–ワイル)
半単純リー環 の有限次元既約表現は、その最高ウェイト によって一意に決まり、 は支配的整ウェイト(各単純ルート方向のカルタン整数が非負整数)をちょうど一つずつ渡る。すなわち の一対一対応がある。
上昇演算子で消える「最高ウェイトベクトル」から出発し、下降演算子を繰り返し当てれば表現全体が生成される ——リー群の でスピン の表現を梯子で組み立てたのと同じ仕組みの、一般リー環版 です。 なら最高ウェイトは非負整数 (スピン )一つで既約表現が決まりました。一般の 半単純リー環でも、既約表現は支配的整ウェイトという格子点で完全にラベル付けされる。分類(ディンキン図形)と 表現論(最高ウェイト)が、ルート系という共通の幾何の上で統一されるのです。ワイルの指標公式は、各既約表現の 指標をルート系のデータだけで書き下します。
普遍展開環:前半との再会
リー環の表現論を、前半の非可換環論の言葉で捉え直せます。橋渡しは第7章で触れた普遍展開環です。
定義 普遍展開環(再訪)
リー環 の普遍展開環 とは、 が成り立つように作った最小の 結合代数。 の表現と 加群は完全に同じもの。
これにより、リー環の表現論が丸ごと結合環 の加群論になります。第2–6章で築いた 「加群・既約・完全可約・シューアの補題」の理論が、そのままリー環の表現に適用できる。実際、ワイルの完全可約性 (第9章)は「半単純リー環では 加群が完全可約」という、前半の半単純環論と同じ主張の言い換え でした。非可換環論(前半)とリー環論(後半)は、普遍展開環で一つに結ばれる——別々に見えた二つの構造論が、 最後に合流します。 の中心(カシミール元)が既約表現をスカラーで分離するのも、シューアの補題の 現れです。
量子群・物理・幾何への広がり
半単純リー環とその表現論は、現代数学・物理の広大な領域の入口です。
注意 広がりの地図
「連続対称性を線形化する」というリー環の一手が、素粒子の分類から結び目の不変量、数論の最深部まで届いている ——変分法や PDE と同じく、一つの単純な発想が数学と物理を横断して張りめぐらされているのです。
総括:二つの構造論を貫く一本の糸
全 12 章は、非可換代数をめぐる二つの構造論の物語でした。振り返ると、両者は驚くほど平行しています。
注意 非可換環とリー環の見取り図
前半(非可換環):非可換の世界(第1章)→ 加群と既約・完全可約・シューア(第2章)→ 半単純環(第3章)→
アルティン–ウェダーバーン:半単純環=行列環の直積(第4章)→ ジャコブソン根基で障害を測る(第5章)→
群環とマシュケ=表現論の回収(第6章)。
後半(リー環):括弧積と線形化(第7章)→ 可解・べき零(第8章)→ キリング形式と半単純=単純リー環の
直和(第9章)→ カルタン部分環とルート分解(第10章)→ ディンキン図形で単純リー環を分類(第11章)→
最高ウェイトと普遍展開環=前半との再会(第12章)。
貫く糸は二本、そしてそれらは一つに結ばれます。「複雑な非可換代数を、単純部品に分解する」——非可換環は 行列環 の直積へ(ウェダーバーン)、半単純リー環は単純リー環の直和へ(キリング形式)。どちらも 「半単純=根基が 」を良い対象とし、「障害(根基)を潰して単純部品に分ける」という同じ戦略で進みました。 シューアの補題(既約の剛さ)とキリング形式(構造を凝縮した双線形形式)が、それぞれの分解の鍵でした。そして **「連続対称性を線形化し、組み合わせデータ(ディンキン図形)に凝縮して分類する」**というリー環の物語は、 最終的に普遍展開環を通じて非可換環論と合流する。掛ける順番が意味を持つ世界——その一見とらえどころのない 複雑さが、単純部品への分解と組み合わせ的な分類によって、完全に見通せるものになる。それが非可換環・リー環の 構造論です。
注意 ここから先へ
モジュラー表現論(標数 、マシュケが破れる世界)、圏化・箙(クイバー)の表現、無限次元リー環 (カッツ–ムーディ、アフィンリー環、頂点作用素代数)、量子群と結び目不変量、幾何学的ラングランズ。どれも 本分野の「半単純・分解・分類」を土台に、非可換性と対称性の最も深い構造へと続く。