表現論用語集

これは数学における表現論の用語集 です。

「モジュール」という用語は、表現と同義に使われることが多いです。モジュール理論の用語については、モジュール理論の用語集も参照してください。

リー群とリー代数の用語集、表現論のトピックのリスト、およびカテゴリ:表現論も参照してください。

表記法: と書きます。したがって、たとえば、群Gの 1 表現 (つまり、文字)は という形式になります。 ${\displaystyle \mathbb {G} _{m}=GL_{1}}$${\displaystyle \chi :G\to \mathbb {G} _{m}}$

アダムス

アダムス作戦。

副次的

リー群Gの随伴表現は、Gのリー代数に対するGの随伴作用によって与えられる表現です(随伴作用は、大まかに言えば、共役作用を微分することによって得られます)。

許容される

実簡約群の表現は、(1)最大コンパクト部分群Kがユニタリ作用素として作用し、(2) Kの各既約表現が有限重複度を持つ場合、許容可能と呼ばれる。

交互

表現Vの交代平方は、テンソルの2 番目の累乗のサブ表現です。${\displaystyle \operatorname {Alt} ^{2}(V)}$ ${\displaystyle V^{\otimes 2}=V\otimes V}$

アルティン

1.  エミール・アルティン。

2.  誘導指標に関するアルティンの定理は、有限群上の指標は巡回部分群から誘導される指標の有理線形結合であることを述べています。

3.  アルティン伝導体の定義にはアルティン表現が用いられる。

自己同型

保型表現

ボレル・ヴェイユ・ボットの定理

ボレル・ヴェイユ・ボットの定理は、特性値が 0 の代数的に閉じた体上で、旗多様体上の直線束の大域切断の空間として、簡約代数群の既約表現を実現します。(特性値が正の場合、この構成では、既約ではない可能性のあるウェイル加群のみが生成されます。)

分岐

分岐ルール

ブラウアー

誘導指標に関するブラウアーの定理は、有限群上の指標は、基本部分群から誘導された指標の整数係数を持つ線形結合であることを述べています。

カルタン・ワイル理論

半単純リー代数の表現理論の別名。

カシミール要素

カシミール元は、リー代数の普遍包絡代数の中心の特別な元です。

表現のカテゴリー

表現とそれらの間の同変写像は表現のカテゴリを形成します。

キャラクター

1.文字は 1 次元の表現です。

2. 有限次元表現πの指標は関数である。言い換えれば、それは合成である。${\displaystyle g\mapsto \operatorname {tr} \pi (g)}$${\displaystyle G{\overset {\pi }{\to }}GL(V){\overset {\operatorname {tr} }{\to }}\mathbb {G} _{m}}$

3.既約な文字(または自明な文字) は、既約な表現 (または自明な表現) の文字です。

4.グループGの文字グループとは、 G上のすべての文字のグループ、つまり、です。${\displaystyle \operatorname {Hom} (G,\mathbb {G} _{m})}$

5.指標環は、 Gの指標群の（整数上の）群環である。

6. 仮想文字は文字リングの要素です。

7.無限次元表現に対して分配特性を定義することができる。

8.微小な文字。

シュヴァレー

1. シュヴァレー

2.  シュヴァレー発電機

3.  シュヴァレーグループ。

4.  シュヴァレーの制限定理。

クラス関数

群G上の類関数 f は、共役類上の関数であるような関数です。${\displaystyle f(g)=f(hgh^{-1})}$

クラスター代数

クラスター代数は、生成元に何らかの組み合わせ構造を持つ積分領域であり、双対標準基底の概念を体系化する試みとして導入されました。

ジョイント

共役表現は、随伴表現の双対表現です。

完了

「完全に還元可能」は「半単純」の別名です。

複雑な

1.複素表現は、複素ベクトル空間上のGの表現です。多くの著者は複素表現を単に表現と呼んでいます。

2.複素表現Vの複素共役は、Gの線型作用を持つ同じ基礎加法群Vを持つ表現ですが、複素共役による複素数の作用を持ちます。${\displaystyle {\overline {V}}}$

3. 複素表現は、その複素共役と同型である場合に自己共役である。

補完的な

表現Vの部分表現Wの補完表現は、 V がWとW 'の直和となるような表現W 'です。

尖頭

尖頭表現

結晶

結晶基底

周期的な

巡回G加群は、単一のベクトルによって生成されるG加群です。たとえば、既約表現は必ず巡回します。

デデキント

文字の線形独立性に関するデデキントの定理。

定義済み

体拡大 が与えられたとき、 K上の群Gの表現VがF上で定義されているとは、によって誘導されるF上の何らかの表現に対して、つまりであるときを言います。ここで、はVのF形式と呼ばれます(必ずしも一意ではありません)。${\displaystyle K/F}$${\displaystyle V\simeq V_{0}\otimes _{F}K}$${\displaystyle V_{0}}$${\displaystyle g:V\to V}$${\displaystyle g:V_{0}\to V_{0}}$${\displaystyle g\cdot (v\otimes \lambda )=gv\otimes \lambda }$${\displaystyle V_{0}}$

デマズール

デマズールの性格式

直和

表現 V、Wの直和は、ベクトル空間の直和と線型群作用を組み合わせた表現です。${\displaystyle V\oplus W}$${\displaystyle \pi _{V\oplus W}(g)(v+w)=\pi _{V}(g)v+\pi _{W}(g)w}$

離散

リー群Gの既約表現は、その行列係数がすべて平方積分可能である場合、離散級数にあると言われます。たとえば、 Gがコンパクトである場合、そのすべての既約表現は離散級数にあります。

支配的な

単連結コンパクト リー群の既約表現は、最も高い重みによってインデックス付けされます。これらの主要な重みは、リー群の重み格子内のオーサント内の格子点を形成します。

デュアル

1.表現Vの双対表現（または反対表現）は、自然なペアリングを保つ線型群作用を伴う双対ベクトル空間である。${\displaystyle V^{*}=\オペレーター名 {Hom} (V,k)}$${\displaystyle V^{*}\times V\to k}$

2. 双対標準基底は、Lusztig の標準基底の双対です。

エイゼンシュタイン

エイゼンシュタインシリーズ

同変

「 G等変」という用語は、「 G線形」の別名です。

外観

表現Vの外冪は、によって誘導される群作用を持つ表現です。${\displaystyle \wedge^{n}(V)}$${\displaystyle V^{\otimes n}\to \wedge ^{n}(V)}$

忠実な

忠実な表現 とは、関数として単射となるような表現です。${\displaystyle \pi :G\to GL(V)}$${\displaystyle \pi}$

ファイバー関数

ファイバー関数。

フロベニウスの相互性

フロベニウスの相互性は、 Hの表現とGの表現のそれぞれに対して、一対一の関係が存在すること を意味している。${\displaystyle \sigma}$${\displaystyle \pi}$

${\displaystyle \operatorname {Hom} _{G}(\pi ,\operatorname {Ind} _{H}^{G}\sigma )=\operatorname {Hom} _{H}(\pi |_{H},\sigma )}$

これは、制限関数 に対する右随伴関数である という意味において自然です。${\displaystyle \operatorname {Ind} _{H}^{G}}$${\displaystyle \pi \mapsto \pi |_{H}}$

基本的

基本表現: 単連結コンパクトリー群の既約表現に対して、G のディンキン図の頂点でインデックス付けされた基本重みの集合が存在し、その重みは単に基本重みの非負整数線形結合である。対応する既約表現はリー群の基本表現である。特に、基本重みによる支配的な重みの展開から、基本表現の対応するテンソル積を取り、その支配的な重みに対応する既約表現のコピーを 1 つ抽出することができる。特殊ユニタリ群SU ( n )の場合、 n − 1 個の基本表現はウェッジ積である。

${\displaystyle Alt^{k}\ {\mathbb {C} }^{n}}$

交代テンソル から成り、k=1,2,...,n-1。

G線形

表現間のG線型写像は、 G作用と可換な線型変換です。つまり、G内のすべてのgに対してです。${\displaystyle f:V\to W}$${\displaystyle f\circ \pi _{V}(g)=\pi _{W}(g)\circ f}$

Gモジュール

表現の別名。モジュール理論の用語を使用できます: たとえば、自明なGモジュール、Gサブモジュールなど。

G同変ベクトル束

G同変ベクトル束は、 G空間X上のベクトル束と、 E上(右側とします)のG作用を組み合わせたもので、明確に定義された線型写像となります。${\displaystyle p:E\to X}$${\displaystyle g:p^{-1}(x)\to p^{-1}(xg)}$

ガロア

ガロア表現。

良い

簡約群Gの表現の良いフィルタリングとは、商が に同型となるようなフィルタリングのことです。ここで、は旗多様体 上の直線束です。 ${\displaystyle H^{0}(\lambda )=\Gamma (G/B,L_{\lambda })}$${\displaystyle L_{\lambda}}$${\displaystyle G/B}$

ハリシュ・チャンドラ

1.  ハリシュ・チャンドラ（1923年10月11日 - 1983年10月16日）、インド系アメリカ人の数学者。

2. ハリシュ・チャンドラ・プランシュレルの定理。

最高重量

1. 複素半単純リー代数、カルタン部分代数、および正のワイルチェンバーの選択が与えられた場合、の表現の最高の重みは、すべての正の根に対してとなる-重みベクトルvの重みです( vは最高重みベクトルと呼ばれます)。${\displaystyle {\mathfrak {g}}}$${\displaystyle {\mathfrak {h}}}$${\displaystyle {\mathfrak {g}}}$${\displaystyle {\mathfrak {h}}}$${\displaystyle E_{\alpha }v=0}$${\displaystyle \alpha }$

2.最高重みの定理は、(1) の 2 つの有限次元既約表現が同型となるのは、それらの最高重みが同じである場合のみであり、(2) 各支配的な積分 に対して、最高重みを持つ有限次元既約表現が存在することを述べています。${\displaystyle {\mathfrak {g}}}$${\displaystyle \lambda \in {\mathfrak {h}}^{*}}$${\displaystyle \lambda }$

ホム

表現V、WのHom 表現は 、ベクトル空間の同一視によって得られる群作用を持つ表現です。${\displaystyle \operatorname {Hom} (V,W)}$${\displaystyle \operatorname {Hom} (V,W)=V^{*}\otimes W}$

分解できない

分解不可能な表現とは、少なくとも 2 つの適切な部分表現の直和ではない表現です。

誘導

1.群Gの部分群Hの表現が与えられたとき、誘導表現${\displaystyle (\sigma ,W)}$

${\displaystyle \operatorname {Ind} _{H}^{G}(\sigma )=\{f:G\to W|f(hg)=\sigma (h)f(g)\}}$

は、 H線型関数上に誘導されるG の表現です。#フロベニウスの相互性を参照してください。${\displaystyle f:G\to W}$

2. アプリケーションによっては、関数にさらなる条件を課すことが一般的です。たとえば、関数がコンパクトにサポートされる必要がある場合、結果として得られる帰納法はコンパクト帰納法と呼ばれます。${\displaystyle f:G\to W}$

ごく僅かに

実簡約群の 2 つの許容表現は、 K有限ベクトルの空間上の関連するリー代数表現が同型である場合に、無限小同値であると言われます。

積分可能な

カッツ・ムーディ代数の表現は、(1)重み空間の和であり、(2)シュヴァレー生成子が局所的に冪零である場合に積分可能であると言われる。${\displaystyle e_{i},f_{i}}$

絡み合う

「絡み合い演算子」という用語は、表現間のG線型マップの古い名前です。

退化

反転表現は、反転を保存するヒルベルト空間上のC* 代数の表現です。

還元不可能な

既約表現とは、その部分表現がゼロとそれ自身だけである表現です。「既約」という用語は「単純」と同義です。

同型性

群Gの表現間の同型性は、表現間の可逆なG線型写像です。

同型

1. 表現Vと単純表現W (部分表現またはその他) が与えられたとき、型WのVの同型成分は、Wに同型なVのすべての部分表現の直和です。たとえば、A を環とし、G を自己同型としてそれに作用する群とします。A がG加群として半単純である場合、不変量の環は自明型のAの同型成分です。 ${\displaystyle A^{G}}$

2.半単純表現の同型分解は、同型成分への分解です。

ジャケ

ジャケ関手

カック

カック文字式

K有限

群Kの表現空間内のベクトルv が有限次元ベクトル空間を張る場合、そのベクトルはK有限であるといわれます。${\displaystyle K\cdot v}$

キリロフ

キリロフ特性式

格子

1.ルート格子は、ルートによって生成される自由アーベル群です。

2.重み格子は、カルタン部分代数上のすべての線形関数の積分群です。 は、すべての根 に対して整数です。${\displaystyle \chi \in {\mathfrak {h}}^{*}}$${\displaystyle {\mathfrak {h}}}$${\displaystyle \chi (H_{\alpha })}$${\displaystyle \alpha }$

リトルマン

リッテルマンパスモデル

マシュケの定理

マシュケの定理は、有限群Gの体F上の有限次元表現は、 Fの特性がGの位数を割り切らない場合、半単純表現であることを述べています。

マッキー理論

マッキー理論は、「群Gの部分群Hの表現Wが与えられたとき、誘導表現がGの既約表現となるのはいつなのか？」という疑問に答えるためのツールであると考えられる^[1]。${\displaystyle \operatorname {Ind} _{H}^{G}W}$

マース・セルベルグ

マース・セルバーグ関係。

行列係数

表現の行列係数は、V内のvと双対空間内のの形式のG上の関数の線形結合です。この概念は任意のグループに対して意味をなすことに注意してください。G が位相群であり連続である場合、行列の行列係数はG上の連続関数になります。Gと が代数的である場合、行列係数はG上の正則関数になります。${\displaystyle \pi :G\to GL(V)}$${\displaystyle g\mapsto \langle \pi (g)v,\alpha \rangle }$${\displaystyle \alpha }$${\displaystyle V^{*}}$${\displaystyle \pi }$${\displaystyle \pi }$

モジュラー

モジュラー表現理論。

モリエン

有限群Gの有限次元複素表現Vが与えられたとき、モリエンの定理によれば、次数nのV上の -不変同次多項式の空間を表す級数は と一致する。この定理は、 を最大コンパクト部分群上の積分に置き換えることで簡約群に対しても有効である。${\displaystyle \sum _{n=0}^{\infty }\dim(\mathbb {C} [V]^{G})_{n}t^{n}}$${\displaystyle (\mathbb {C} [V]^{G})_{n}}$${\displaystyle G}$${\displaystyle (\#G)^{-1}\sum _{g\in G}\det(1-tg|V)^{-1}}$${\displaystyle (\#G)^{-1}\sum _{g\in G}}$

発振器

発振器の表現

軌道

軌道法、シンプレクティック幾何学のツールを使用する表現理論へのアプローチ

ピーター・ワイル

ピーター・ワイルの定理は、コンパクト群G上の行列係数の線形範囲が において稠密であることを述べています。${\displaystyle L^{2}(G)}$

順列

群G、G集合X、およびXから固定体への関数のベクトル空間Vが与えられた場合、 V上のGの置換表現は、 V上のGの誘導作用によって与えられる表現、すなわち、となります。たとえば、X が有限集合であり、V がXによってパラメータ化された基底を持つベクトル空間とみなされる場合、対称群は基底の要素を置換し、その線型拡張はまさに置換表現です。 ${\displaystyle \pi }$${\displaystyle (\pi (g)v)(x)=v(g^{-1}x)}$${\displaystyle G=\operatorname {Sym} (X)}$

プランシュレル

プランシュレル式

ポジティブなエネルギーの表現

ポジティブなエネルギーの表現。

原生的

「原始要素」（またはベクトル）という用語は、ボレル重みベクトルの古い用語です。

射影的

群Gの射影表現は群準同型 です。 なので、射影表現は自己同型としてのGの群作用そのものです。${\displaystyle \pi :G\to PGL(V)=GL(V)/\mathbb {G} _{m}}$${\displaystyle PGL(V)=\operatorname {Aut} (\mathbb {P} (V))}$${\displaystyle \mathbb {P} (V)}$

ちゃんとした

表現Vの適切な部分表現は、 Vではない部分表現です。

商

表現Vと部分表現が与えられた場合、商表現はによって与えられる表現です。${\displaystyle W\subset V}$${\displaystyle (\pi _{V/W},V/W)}$${\displaystyle \pi _{V/W}(g):V/W\to V/W,\,v+W\mapsto gv+W}$

四元数

群Gの四元数表現は、G不変の四元数構造を備えた複素表現です。

矢筒

定義上、矢印は有向グラフです。しかし、通常は矢印の表現を研究します。

ラショナル

表現Vが有理数であるとは、 V内の各ベクトルv が何らかの有限次元部分表現（vに依存）に含まれている場合です。

本物

1.ベクトル空間の実表現は実ベクトル空間上の表現です。

2. 実指標とは、群Gの指標であって、 Gの任意のgに対してとなる指標である。^[2]${\displaystyle \chi }$${\displaystyle \chi (g)\in \mathbb {R} }$

通常

1.有限群Gの正規表現は、 Gの体上の群代数上のGの誘導表現です。

2.線型代数群 Gの正規表現は、Gの座標環上の誘導表現である。座標環上の表現も参照。

表現

1.  

表現論の定義は簡単です。つまり、与えられた群がベクトル空間に作用する方法を研究することです。しかし、数学者にとっての関心の広さという点では、明確に区分された主題の中で表現論はほぼ間違いなくユニークです。これは驚くべきことではありません。群の作用は 20 世紀の数学ではいたるところで見られ、群が作用する対象がベクトル空間でない場合は、ベクトル空間 (コホモロジー群、接空間など) に置き換えることを学んできました。その結果、この分野の専門家以外の多くの数学者 (または専門家になりたいと考えている人でさえ) が、さまざまな方法でこの主題に接することになります。

フルトン、ウィリアム、ハリス、ジョー、『表現理論：初級コース』

群Gの 線型表現は、 Gから一般線型群への群準同型である。群Gによっては、準同型はG が属するカテゴリ内の射であることが暗黙的に要求されることが多い。たとえば、Gが位相群である場合、 は連続でなければならない。形容詞「線型」は省略されることが多い。 ${\displaystyle \pi :G\to GL(V)}$ ${\displaystyle GL(V)}$${\displaystyle \pi }$${\displaystyle \pi }$

2. 同様に、線型表現は線型であるベクトル空間VへのGの群作用、すなわちG内の各gに対してとなる作用は線型変換である。${\displaystyle \sigma :G\times V\to V}$${\displaystyle \sigma _{g}:V\to V,v\mapsto \sigma (g,v)}$

3.仮想表現は、表現のカテゴリのグロタンディーク環の要素です。

代表

「代表関数」という用語は、行列係数の別名です。

シュール

1.  

イサイ・シュール

2.  シューアの補題は、既約表現間のG線型写像は全単射かゼロのいずれかでなければならないことを述べています。

3.コンパクト群上のシュアー直交関係は、非同型既約表現の指標が互いに直交していることを示します。

4.シュアー関数は、 分割に従って対称冪や外冪などの表現を構築します。 の文字はシュアー多項式です。${\displaystyle V\mapsto S^{\lambda }(V)}$${\displaystyle \lambda }$${\displaystyle S^{\lambda }(V)}$

5.シュール・ワイル双対性は、 - 加群のテンソル冪に現れる既約表現を計算します。${\displaystyle GL(V)}$

6.シューア多項式は、ユニタリ群に適用されたワイル特性公式に現れるタイプの対称関数です。

7.  シューア指数。

8. シューアコンプレックス。

半単純

半単純表現（完全簡約表現とも呼ばれる）は、単純表現の直和です。

単純

「不可分」の別名。

スムーズ

1.局所有限群Gの滑らかな表現は、 V内の各vに対して、 v を固定するGの何らかのコンパクトな開部分群Kが存在する ような複素表現です。つまり、K内の任意のgに対してです。 ${\displaystyle g\cdot v=v}$

2. リー群の表現空間における滑らかなベクトルとは、滑らかな関数となるベクトルvのことである。${\displaystyle g\mapsto g\cdot v}$

スペクト

スペクトモジュール

スタインバーグ

スタインバーグ表現。

部分表現

Gの表現の部分表現は、Gの各gに対して明確に定義されるようなVのベクトル部分空間Wです。${\displaystyle (\pi ,V)}$${\displaystyle \pi (g):W\to W}$

白鳥

Swan表現は、 Swan 導体を定義するために使用されます。

対称的な

1. 表現Vの対称冪は、によって誘導される群作用を持つ表現です。${\displaystyle \operatorname {Sym} ^{n}(V)}$${\displaystyle V^{\otimes n}\to \operatorname {Sym} ^{n}(V)}$

2. 特に、表現Vの対称平方は、によって誘導される群作用を持つ表現です。${\displaystyle \operatorname {Sym} ^{2}(V)}$${\displaystyle V^{\otimes 2}\to \operatorname {Sym} ^{2}(V)}$

原初性制度

マッキー理論の概念。「非原始性システム」を参照。

タンナキアンの二重性

タンナキアンの二重性は、大まかに言えば、グループはそのすべての表現から回復できるという考えです。

鍛えられた

緩和された表現

テンソル

テンソル表現は、大まかに言うと、（特定の表現の）テンソル積から得られる表現です。

テンソル積

表現 V、Wのテンソル積は、ベクトル空間と線型群作用のテンソル積である表現です。${\displaystyle V\otimes W}$${\displaystyle \pi _{V\otimes W}(g)(v\otimes w)=\pi _{V}(g)v\otimes \pi _{W}(g)w}$

些細な

1.群Gの自明な表現とは、 π( g ) がG内の任意のgに対して恒等表現となるような表現 π である。

2.群Gの自明な文字は、表現として自明な文字です。

均一に区切られた

局所コンパクト群の一様有界表現は、強演算子位相で連続し、各群要素によって与えられる演算子のノルムが一様有界であるような、有界演算子の代数における表現です。

単一

1.群Gのユニタリ表現とは、G内の任意のgに対して π( g ) がユニタリ演算子となるような表現 π のことである。

2. ユニタリ化可能な表現は、ユニタリ表現と同等の表現です。

ヴェルマモジュール

複素半単純リー代数、カルタン部分代数、および正のワイルチェンバーの選択が与えられた場合、線型汎関数に関連付けられたVerma加群は、すべての正の根とすべてのに対してによって生成される左イデアルによる包絡代数の商である。^[3]${\displaystyle {\mathfrak {g}}}$${\displaystyle {\mathfrak {h}}}$ ${\displaystyle M_{\chi }}$${\displaystyle \chi :{\mathfrak {h}}\to \mathbb {C} }$${\displaystyle U({\mathfrak {g}})}$${\displaystyle E_{\alpha }}$${\displaystyle \alpha }$${\displaystyle H-\chi (H)1}$${\displaystyle H\in {\mathfrak {h}}}$

重さ

1. 「ウェイト」という用語は、文字の別名です。

2.重みの表現Vの重み部分空間は、正の次元を持つ部分空間です。${\displaystyle \chi :G\to \mathbb {G} _{m}}$${\displaystyle V_{\chi }=\{v\in V|g\cdot v=\chi (g)v\}}$

3. 同様に、複素リー代数の線型汎関数に対して、が正の次元を持つ場合、 は- 加群Vの重みです。#最高の重みを参照してください。${\displaystyle \chi :{\mathfrak {h}}\to \mathbb {C} }$${\displaystyle {\mathfrak {h}}}$${\displaystyle \chi }$${\displaystyle {\mathfrak {h}}}$${\displaystyle V_{\chi }=\{v\in V|H\cdot v=\chi (H)v\}}$

4. 重み格子

5. 支配的な重み: 重み\lambdaが支配的であるとは、ある${\displaystyle <\lambda ,\alpha >\in \mathbb {Z} ^{+}}$${\displaystyle \alpha \in \Phi }$

6. 基本的なドミナント ウェイト: : 単純なルートの集合が与えられた場合、それは の基底になります。もの基底です。によって定義される双対基底は、基本的なドミナント ウェイトと呼ばれます。${\displaystyle \Delta =\{\alpha _{1},\alpha _{2},...,\alpha _{n}\}}$${\displaystyle E}$${\displaystyle \alpha _{1}^{v},\alpha _{2}^{v},...,\alpha _{n}^{v}\in \Phi ^{v}}$${\displaystyle E}$${\displaystyle \lambda _{1},\lambda _{2},...,\lambda _{n}}$${\displaystyle (\lambda _{i},\alpha _{j}^{v})=\delta _{ij}}$

7. 最高重量

ワイル

1.  ヘルマン・ワイル

2.ワイル特性公式は、複雑な半単純リー代数の既約表現の特性を最高重みで表現します。

3.ワイル積分公式によれば、最大トーラスTを持つコンパクト連結リー群Gが与えられたとき、 T上の実連続関数uが存在し、 G上の任意の連続関数fに対して、

${\displaystyle \int _{G}f(g)dg=\int _{T}f(t)u(t)dt.}$

(明示的には、はワイル群の濃度の 1 分の 1 に、の根の積を掛けたものです。)${\displaystyle u}$${\displaystyle |e^{\alpha (t)}-e^{-\alpha (t)}|^{2}}$${\displaystyle \alpha }$

4.  ワイルモジュール。

5.ワイル濾過とは、商がワイル加群と同型となるような簡約群の表現の濾過である。

若い

1.  アルフレッド・ヤング

2.ヤング対称化子は、与えられた分割に従って定義されたG加群Vのテンソル冪のG線型自己準同型である。定義により、表現Vのシュアー関数は、 Vにの像を割り当てます。${\displaystyle c_{\lambda }:V^{\otimes n}\to V^{\otimes n}}$${\displaystyle \lambda }$${\displaystyle c_{\lambda }}$

ゼロ

ゼロ表現はゼロ次元表現です。注意: ゼロ表現は自明な表現ですが、自明な表現はゼロである必要はありません (「自明」とはGが自明に動作することを意味するため)。

• アダムス、JF（1969）、リー群に関する講義、シカゴ大学出版局
• Theodor Bröcker と Tammo tom Dieck、 「コンパクトリー群の表現」、Graduate Texts in Mathematics 98、Springer-Verlag、ベルリン、1995 年。
• コリン・J・ブッシュネル; Henniart, Guy (2006)、GL(2) の局所ラングランズ予想、Grundlehren der Mathematischen Wissenschaften [数学科学の基本原理]、vol. 335、ベルリン、ニューヨーク: Springer-Verlag、doi :10.1007/3-540-31511-X、ISBN 978-3-540-31486-8、MR  2234120
• フルトン、ウィリアム、ハリス、ジョー(1991)。表現論。最初のコース。数学の大学院テキスト、数学の読書。第 129 巻。ニューヨーク: Springer-Verlag。doi : 10.1007 /978-1-4612-0979-9。ISBN 978-0-387-97495-8. MR  1153249. OCLC  246650103.
• Gaitsgory, D. (2005年秋)。「幾何学的表現理論、数学267y」。2014年11月23日時点のオリジナルよりアーカイブ。
• ハンフリーズ、ジェームズ E. (1972)。リー代数と表現論入門。数学大学院テキスト。第 9 巻。ニューヨーク: Springer- Verlag。ISBN 978-0-387-90053-7。
• ナップ、アンソニー W. (2001)、半単純群の表現理論。例に基づく概要。、プリンストン数学ランドマーク、プリンストン大学出版、ISBN 978-0-691-09089-4
• Claudio Procesi (2007) Lie Groups: an approach through invariants and presentation、Springer、ISBN 9780387260402。 
• セール、ジャン＝ピエール（1977-09-01）。有限群の線形表現。数学の大学院テキスト、42。ニューヨーク-ハイデルベルグ：シュプリンガー出版社。ISBN 978-0-387-90190-9. MR  0450380. Zbl  0355.20006.
• N. Wallach , 実還元群、全2巻、Academic Press 1988年、

• M. Duflo et M. Vergne、「リー群の表現」における、リーの半単純なプランシュレルの形式。京都、広島 (1986)、純粋数学の高度な研究 14、1988。
• Lusztig, G. (1988 年 8 月)、「包絡代数上の特定の単純モジュールの量子変形」、Advances in Mathematics、70 (2): 237–249、doi : 10.1016/0001-8708(88)90056-4

• https://math.stanford.edu/~bump/