ウェイト (表現論)

表現論という数学の分野において，体  上の代数  の**ウェイト**（）とは， から  へのである，あるいは同じことだが， の  上の1次元表現である．それは群のの代数の類似である．しかしながら，概念の重要性は，リー環の表現への，したがって代数群やリー群の表現への，その応用から生じる．この文脈では，**表現のウェイト**は固有値の概念の一般化であり，対応する固有空間は**ウェイト空間**と呼ばれる．

## 動機づけと一般概念
### ウェイト
対角化可能な行列の集合  であって，任意の2つが可換な場合， のすべての元を同時に対角化することができる．同じことであるが，有限次元ベクトル空間  の互いに可換な半単純線型変換の任意の集合  に対して， の基底を のすべての元に対して*同時固有ベクトル*になるように選ぶことができる．これらの共通の各固有ベクトル  は  の自己準同型の集合  によって生成される部分代数  上の線型汎関数を定義する；この汎関数は  の各元に固有ベクトル  の固有値を対応させる写像として定義される．この写像は乗法的でもあり，恒等写像を 1 に送る；したがってそれは  から基礎体への代数準同型である．この「一般固有値」はウェイトの概念のプロトタイプである．

概念は群論におけるのアイデアと密接に関係している．これは群  から体  の乗法群への準同型  である．したがって  は （ただし  は  の単位元）と
: のすべての元  に対して 
を満たす．実際， が  上のベクトル空間  に作用していると， の各元に対する同時固有空間は，存在すれば， 上の乗法的指標を決定する：群の各元のこの共通の固有空間上の固有値である．

乗法的指標の概念は  上の任意の代数  に， を線型写像
:
に置き換えることによって，拡張できる．代数  が  上のベクトル空間  上に任意の同時固有空間に作用しているとき，これは  から  への  の各元をその固有値に送る代数準同型に対応する．

 がリー環（一般には結合代数ではない）であるとき，指標の乗法性を要求する代わりに，リーブラケットを対応する交換子に送ることを要求する；しかし  は可換であるからこれは単にこの写像がリーブラケットで消えること： を意味する．体  上のリー環  の**ウェイト**は，線型写像  であってすべての  に対して  となるものである．リー環  上の任意のウェイトは導来環  上消えるから可換リー環  上のウェイトを誘導する．したがってウェイトは主に可換リー環に対して興味が持たれる，その場合可換な線型変換たちの空間に対する一般固有値の単純な概念に帰着する．

 がリー群か代数群のとき，乗法的指標  は微分によってそのリー環上のウェイト  を誘導する．（リー群に対して，これは  の単位元における微分であり，代数群の場合は導分の概念を用いた抽象化である．）

### <span id="表現のウェイト空間"></span>リー環の表現のウェイト空間
ウェイトの集合の中で，いくつかは表現のデータに関係する． を体  上のリー環  の表現とし， を  のウェイトとする．このとき  のウェイト （ただし  は  のカルタン部分環）の**ウェイト空間**とは，部分空間
:V_\lambda:=\{v\in V: \forall \xi\in \mathfrak{h},\quad  \xi\cdot v=\lambda(\xi)v\}
である（ただし \xi \cdot v は  の  への作用を表す）．**表現**  **のウェイト**とはウェイト  であって対応するウェイト空間が非零なもののことである．ウェイト空間の非零元は**ウェイトベクトル**と呼ばれる．

 がそのウェイト空間の直和
:V=\bigoplus_{\lambda\in\mathfrak{h}^*} V_\lambda
であるとき，**ウェイト加群**と呼ばれる；これは環のすべての表された元に対する共通の固有基底（同時固有ベクトルの基底）が存在すること，つまり，同時対角化可能な行列が存在することに対応する．

同様に，リー群や結合代数の任意の表現に対してウェイト空間  を定義できる．

## 半単純リー環
\mathfrak g をリー環とし，\mathfrak h を半単純元からなる極大可換リー部分環（カルタン部分環と呼ばれる）とし， を \mathfrak g の有限次元表現とする．\mathfrak g が半単純であるとき， であり，したがって \mathfrak g のすべてのウェイトは自明である．しかしながら， は，制限によって，\mathfrak h の表現であり， が \mathfrak h についてのウェイト加群であること，すなわちそのウェイト空間の直和に等しいことはよく知られている．用語の濫用により，\mathfrak h の表現としての  のウェイトをしばしば \mathfrak g の表現としての  のウェイトと呼ぶ．

類似の定義はリー群 , 極大可換リー部分群 ,  の任意の表現  に適用する．明らかに， が  の表現  のウェイトであるとき， のリー環 \mathfrak g の表現としての  のウェイトでもある．

 が \mathfrak g の随伴表現であるとき，そのウェイトはルートと呼ばれ，ウェイト空間はルート空間と呼ばれ，ウェイトベクトルはルートベクトルと呼ばれる．

今 \mathfrak g は半単純とし，選ばれたカルタン部分環 \mathfrak h と対応するルート系を持つとする．正ルート  の選択も固定する．これは単純ルートの集合の選択と同値である．

### ウェイトの空間の順序
 を  の\mathfrak g のルートで生成される実部分空間（それが複素のとき）とする．

 の順序を定義する2つの方法がある．

1つ目は
: を  が単純ルートの非負線型結合であることとする．

2つ目は元  により
: を  と定める．
通常， はすべての正ルート  に対して  となるように選ばれる．

### 整ウェイト
ウェイト  が**整**（あるいは -整）であるとは， が正ルートなる各コルート  に対して  となることをいう．

基本ウェイト  は次の性質によって定義される：それらは単純コルート H_{\alpha_1}, \ldots, H_{\alpha_n} の集合に双対な  の基底をなす．

したがって  が整であるとは，基本ウェイトの整数結合であることである．すべての -整なウェイトの集合は  における格子であり， の*ウェイト格子*と呼ばれ， と書かれる．

リー群  のウェイト  が整であるとは， なる各  に対して，\lambda(t)\in 2\pi i \mathbf{Z} となることをいう．半単純な  に対して，すべての -整ウェイトの集合は部分格子  である． が単連結ならば， である． が単連結でなければ，格子  は  よりも小さく，それらの商は  の基本群に同型である．

### 優ウェイト
ウェイト  が**優**であるとは， が正ルートなる各コルート  に対して \lambda(H_\gamma)\geq 0 であることをいう．同じことであるが，基本ウェイトの非負線型結合であることをいう．

優ウェイトの凸包は *fundamental [[ワイルの部屋|Weyl chamber]]* と呼ばれる．

用語「優ウェイト」は，（上の意味で）優かつ整なウェイトを表すために用いられることもある．

### 最高ウェイト
表現  のウェイト  が**最高ウェイト**であるとは，上で与えられた半順序において  よりも大きい  の他のウェイトが存在しないことをいう．ときどき， のすべての他のウェイトが  よりも真に小さいというより強い条件を課す．「最高ウェイト」という用語はしばしば「最高ウェイト加群」の最高ウェイトを意味する．

**最低ウェイト**は同様に定義される．

すべての可能なウェイトからなる空間はベクトル空間である．このベクトル空間の全順序であって，少なくとも1つの非零係数を持つ正ベクトルの非負の線型結合は別の正ベクトルであるようなものを固定しよう．

すると，表現が「最高ウェイト 」を持つとは， がウェイトであり，すべての他のウェイトは  よりも小さいことをいう．

同様に，「最低ウェイト 」を持つとは， がウェイトであり，すべての他のウェイトは  よりも大きいことをいう．

ウェイト  のウェイトベクトル  は， の他の全てのウェイトが  よりも小さいとき，**最高ウェイトベクトル**と呼ばれる．

### 最高ウェイト加群
 の表現  が**最高ウェイト加群**であるとは， のすべての正ルートの空間の作用で零化されるウェイトベクトル  によって生成されることをいう．半単純リー環  のすべての有限次元既約表現は最高ウェイト加群であり，表現はその最高ウェイトによって分類できる ("theorem of the highest weight")．

これは最高ウェイトを持つ  加群よりいくぶん特別である．

同様にリー群の表現に対して最高ウェイト加群を定義できる．

### ヴァーマ加群

各優ウェイト  に対し，最高ウェイト  を持つ単純最高ウェイト  加群が（同型を除いて）一意に存在し， と書かれる．

最高ウェイト  をもつ各最高ウェイト加群は  の商であることを示すことができる．これは単にヴァーマ加群の定義における普遍性を述べ直したものである．

最高ウェイト加群はウェイト加群である．最高ウェイト加群におけるウェイト空間はつねに有限次元である．

## 関連項目
*

## 脚注
### 注

### 出典

## 参考文献

* .
* .
*
* 
* .
* 
* .