ボレル・ヴェイユの定理

数学の表現論の分野において、ボレル・ヴェイユの定理 (Borel–Weil theorem) は、コンパクトリー群の既約表現と複素半単純リー群の既約正則表現に対する具体的なモデルを与える。名称はアルマン・ボレル (Armand Borel) とアンドレ・ヴェイユ (André Weil) にちなむ。これらの表現はその群の旗多様体上の正則直線束の大域切断の空間において実現される。高次コホモロジー空間への一般化はと呼ばれる。
定理の主張.
定理は複素半単純リー群 とその のいずれに対しても述べることができる。 を連結複素半単純リー群とし、 を のとし、 を旗多様体とする。この設定において、 は複素多様体であり非特異代数  多様体である。旗多様体はコンパクト等質空間 として記述することもできる、ここで は の（コンパクト）である。整ウェイト は 上の  同変な正則直線束 を決定し、群 はその大域切断の空間
に作用する。
ボレル・ヴェイユの定理の主張は以下である： が優整ウェイトであるならば、この表現は の最高ウェイト の正則既約最高ウェイト表現である。 へのその制限は の最高ウェイト の既約ユニタリ表現であり、逆に の各既約ユニタリ表現は一意的な の値に対してこのようにして得られる。（複素リー群の正則表現は、対応するリー環の表現が複素線型になる表現である。）
具体的な記述.
ウェイト はボレル部分群 の指標（1次元表現） を生じる。 上の正則直線束 の正則切断は次のような正則写像としてより具体的に記述できる：すべての と に対して
これらの切断への の作用は、 に対して
によって与えられる。
例.
 を複素特殊線型群 とする。行列式 1 の上三角行列全体はボレル部分群である。 の整ウェイトは整数と同一視でき、優ウェイトは非負の整数と対応する。 の対応する指標 は
の形を持つ。
旗多様体 は、 を とする複素射影直線 と同一視でき、直線束 の大域切断の空間は 上の 次斉次多項式の空間と同一視される。 に対して、この空間の次元は であり、 の多項式代数 への標準的な作用の下で既約表現をなす。ウェイトベクトルは単項式
によって与えられ、そのウェイトは であり、最高ウェイトベクトル のウェイトは である。
歴史.
定理は1950年代初頭にまでさかのぼり、 と において見つけられる。