極小表現入門
西山 享 (京大総合人間学部)
1998/ 12/14 { 12/18(Ver. 2.1 ( Wed Jan 5 15:05:46 JST 2000 ))Contents
1 Highest weight variety と極小巾零軌道

32

認容表現とその不変量11

巾零多様体と表現論

23

1.1 Highest weight variety の一般論 . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 最高ウェイト多様体の例 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 極小巾零軌道の存在 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3

2.1 認容表現と指標 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 原始イデアルと巾零軌道 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 付随巾零軌道 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1 随伴多様体 { 代数的なアプローチ { . . . . . . . . . . . . . . . . . . .
2.3.2 Gelfand-Kirillov 次元と Bernstein 次数 . . . . . . . . . . . . . . . . .
2.3.3 漸近台、波面集合と Rossmann の定理 . . . . . . . . . . . . . . . . .

3
7
9

11
13
15
15
17
18

3.1 sl2-triple の理論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.2 巾零多様体 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3 巾零多様体の次数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

4 Cartan 分解と巾零 KC 軌道
32
4.1 sC の極小巾零 KC 軌道 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

4.2 Kostant-関口対応 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1

5

極小表現の定義と一般論

39

6 Weil 表現 : 極小表現の例 I517

不定符号直交群の極小表現 : 極小表現の例 II60

極小表現とは何か ?

68

5.1 Joseph イデアル . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 極小表現の定義と存在 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3 K タイプ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4 随伴サイクルと Bernstein 次数 . . . . . . . . . . . . . . . . . . . . . . . . .
6.1 シンプレクティック群とハイゼンベルグ群 . . . . . . . . . . . . . . . . . . .
6.2 Schrodinger モデル . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3 Fock モデル . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.4 極小表現としての Weil 表現 . . . . . . . . . . . . . . . . . . . . . . . . . . .

8

7.1 退化主系列表現 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.2 ラプラシアンの核空間 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.3 K タイプと球面調和関数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.4 極小表現 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1998

このノートは
年度 東大数理での集中講義用に用意したノートに加筆訂正したものである。講義をする機会を与えていただいた松本久義さんに感謝する。また同氏と小林俊行さんからは講義中に有益なコメントをいただいた。このノートでは十分にコメントを生かしきれていないきらいがあるが、いろんな部分が改善されていると思う。両氏と、講義に出席していただいた皆さんに感謝する。

1999 年度の京都大学人間・環境学研究科の講義にもこのノートを使用して、いくつかの改訂を行なった。その際、面田氏より [85] と [86] の文献を紹介していただいた。感謝する。

2

39
43
46
48

51
53
55
58
60
62
63
65

1

Highest weight variety と極小巾零軌道

Abstract
半単純 Lie 群の有限次元表現については既知とする。復習を兼ねて、最高ウェイト多様体の一般論を Popov-Vinberg にしたがって行なう。この定理を応用して、極小巾零軌道の導入をする。参考図書として [63], [65], [44], [43] をあげておく。証明を気にしな
ければ 、[65] はお薦めの一冊。

1.1 Highest weight variety の一般論
G を半単純連結な代数群 =C とする。
V = V : G の最高ウェイト の既約有限次元表現 (自明ではないと仮定する)
v = v : 最高ウェイトベクトル=  highest weight variety
HWV(
global sections) R( )
R( )globalD( )Theorem 1.2 (Vinberg-Popov [37], Kostant) (1) Y は V の自明でない最低次元の G軌道であって、Y = Y [ f0g は正規多様体である。また Y  Y は smooth な部分多様体である。(つまり特異点は原点のみ)(2) R (Y ) = R Y (3) Y; Y には G が作用しているので、自然に R (Y ) = R Y 上に G の表現が定義される。

De nition 1.1 Y G v V をと呼ぶ。以下と記す。代数の全体 をY で表す。
多様体 Y に対して Y 上の正則関数の全体 つまりY を係数とする Y 上のな代数的微分作用素の全体をY と書く。
またこのときR (Y ) = R Y '

M
m 0

Vm :

(1) の証明 : 次の補題を使う。
Lemma 1.3 射影空間 P(V ) で考えた時に、G  [v ]  P(V ) は P(V ) のただ一つの最低次元の軌道である。ただし [v ] 2 P(V ) は最高ウェイトベクトル v の代表する射影空間の点である。
もしこれが示されたとすると、Y = G  v が V の中で最低次元の軌道になることが次のProof.

ようにしてわかる。まず Y は錐であるから、

dim Y = dim p(Y ) + 1
である。ただし自然な射影 p : V nf0g ! P(V ) による Y の像を p(Y ) と書いた。
一方他の G 軌道 O に対しては、明らかに dim O  dim p(O ) なので、
dim O  dim p(O) > dim p(Y ) = dim Y 1;
3

(1.1)

dim O + 1 > dim Y;

dim O  dim Y

となる。1

O

O

代数多様体上の代数群の作用に対しては、閉包に属する軌道はとそれより低次の軌道からなることが一般論により知られている2 。したがって Y に属する可能性のある唯一の軌道はそれより低次ののみである。一方 Y は錐なので、明らかには閉包に入っ
ている。

f0g

f0g

smooth である。(smooth な点は稠密にあり、等質空
smooth である。)
以上から上の補題が示せれば (1) の前半 (正規多様体の主張を除いた部分) は証明できた

また Y は G 軌道なので明らかに間なのだから結局すべての点がことになる。

: 3 8 6= 0

[ ]

[]
 [ ] 6=  [ ]uをとる。このとき G u の閉包に v が属していることが示
以下補題の証明 V
されれば。そうすると閉包に属しているのだから、G u
G v ならG v の次元の方が真に小さい。

OK

まず u をウェイト分解する。

u=
このとき HX2h

dim  [ ]u

2 hR であって、正ルート系を定義しているようなものをとる。この H に対してf 2 h j u =6 0gの中で最大になるようなウェイトを  とする。そうすると htXXht  u =ht u = ht= exp(tH ) と書いてht  uだから、

ht  [u] =

"

X


#

ht  u! [u] (t ! 1)

 [u] 3 [u] である。
さて、単純ルート 2  をとり、そのルートベクトルを X と記す。すると
X m+1 u = 0; X m u =6 0となるような m に対して X m u 2 G  [u ] であることが 、u = exp X  u に直前の議論をつまり G応用することによりわかる。

1 この等号つき不等号は best possible であって、実際に dim

O= dim Y となるような最低次元の軌道が他に存在することがある。実際、S L(2; C ) の随伴表現を考えると、半単純軌道も巾零軌道もすべて 2 次元 (ゼロ軌道を除けば ) である。
2 これは「任意の軌道が局所閉である」ことから従う。証明は例えば 、[64, Lemma 2.3.3] 参照。

4

これを各単純ルートに対して行なうと、ウェイトはどんどん大きくなるので、いつかはX m11 u の形のベクトルが最高ウェイトベクトルにたど り着く もしたど り着かなけk
れば最高ウェイトベクトルが二つあることになり矛盾する 。このようにたど っていったものはすべて G 軌道の閉包に含まれるという関係にあるので、最終的に G uv が結論さ
れる。

X mk



)

(

[ ]3[ ]補題の証明終り
この補題の証明中で明らかになったことをまとめておこう。

Exercise 1.4 次のことを証明せよ。

(1) 軌道 Y = G  v と同じ次元の軌道があったとしたらそれは錐ではあり得ない。[ヒント: (1.1) 式を参照せよ。](2) v = v の固定部分群を H 、[v ] 2 P(V ) の固定部分群を Q と書くと、Q は放物型部分群であって、Q=H ' C  となる。さらに Q は単純ルート系  の中の次の部分集合に対応するような PSG である。
Q ! f 2  j ( ; ) = 0g
[ヒント : Q が PSG であることは、G=Q = G  [v] が射影多様体であることから従う。もっとも Q が Borel 部分群を含むことは明らかなので、そちらから行ってもよい。H が Q の中で正規部分群になっていることはその定義からほぼ明らかである。Q に対応する単純ルートについては例えば [43, Th. 3.2] を見るとよい。](3) 軌道 Y = G  v の次元は
dim Y = #f 2 + j ( ; ) 6= 0g + 1で与えられる。
さて残りの主張をまとめて示そう。まず、v の固定部分群を H と書くと、Yなので 3= Gv ' G=H

R (Y ) ' C [G=H ] = C [G]H = ind GH 1H=4

X

V 2Gbdim(V H ) V =XV 2Gbdim(VH ) V

=4 は代数群の (代数的な) 誘導表現に関する Frobenius Reciprocity から従う4 。
そこで R (Y ) を決めるには VH を決定すればよい。H は Borel の極大巾単部分群を含である。等式んでいるから、 VH の元は最高ウェイトベクトルであって、従って一次元以下である。それ
3 この部分複素だといつも OK だが 、代数群のカテゴ リーでは若干複雑である。[44, Prop. 6.7] 参照。
4 G を代数群、H をその閉部分群とする時、Homx

はすぐ にでも証明できるが 、例えば [43, 6] 参照。

G (W; ind G
H V ) ' Hom H (W H ; V ) が成り立つ。この事実

5

\が一次元になるためには、T H 上で  が自明であることが必要にして十分な条件である。
T H は のゼロ化部分群であるから
対応5によって、そのようなウェイトはPontryagin
 2 fm j m 2 Zgとならなければいけないことがわかる。さらに  は dominant だから  = m (m  0) で\ある。以上から次の G 加群としての分解がわかった。
X

R (Y ) '

m0

(1.2)

Vm

Exercise 1.5 上の Pontryagin 対応の部分をトーラス T に対して定式化し 、それを証明せよ。[ヒント : T ! C  は全射。この準同型を通して、Ind Tker 1 ' C [C  ] = C [x; x 1 ] とな]る。これを利用せよ。
次に

R Y について調べよう。Y は aÆne variety なので、制限写像
S (V  ) ! R Y-equivariant

( )

は全射、G
である。いま m 次斉次成分 S m V  の最低ウェイトベクトル f を部分群をとり、そのウェイトを  としよう。

部分群
B
TU
B
TU
部分群

=
=

などと書くと、 uBorel: Borel: opposite Borel

2 U に対して、f が最低ウェイトベクトルであることから
f (v ) = (u f )(v ) = f ((u ) 1 v )= C  U v  Y : 稠密 なので
f (v ) = 0 () f Y = 0
が結論される。またトーラスの作用については 8t 2 T に対してt  f (v ) = (t f )(v ) (f はウェイトが  のウェイトベクトル )= f (t 1v ) = f (t v )= t m f (v ) (f は斉次 m 次式)となって、もし f (v ) 6= 0 なら  = m でなければならないことがわかる。
ところが 、 B v

さらにこのような条件からウェイト m
まってしまうから、そのようなベクトルのR

5 例えば 、[45, 第 8 章

xの最低ウェイトベクトルは
Y 上で完全に決Y における重複度は 以下である。

12] を見よ。しかし 、代数群の場合には若干の修正が必要である (つまり代数群では代数的な指標しか考えないので )。

6この重複度がゼロでないことは次のようにしてわかる。V  の最低ウェイトベクトルをv
と書き、fv  m S m V  とおく。すると、

6= 0=( ) 2 ( )f (v ) = (hv  ; v i)m 6= 0

6= 0なので 6 f Yである。さらにこれがウェイトが容易に確認できる。

mの最低ウェイトベクトルであること

Vm

(1.3)

以上から次の式がわかった。


R Y '

X
m0

(1.2), (1.3) を比較して、

R Y = R (Y ) ' C [G]Hが結論できる。以上で (2) および (3) が示された。さらに C [G]H は整閉なので Y は正規多様体である。7
Q.E.D.

したがってExercise 1.6 v を V の最高ウェイトベクトル、v  を V  の最低ウェイトベクトルとする
とき、hv  ; v i 6= 0 を示せ。
1.2

最高ウェイト 多様体の例

いくつか例をあげる。

Example 1.7 V を n 次元ベクトル空間、V  をその双対空間とする。V  を G = GL(V )の表現と思うともちろん既約表現であって、その最高ウェイトベクトルは
2 3

1
0 77

n

V ' C 3 e1 = .. 7.50である。G  e1 = V  n f0g だから、Y = V  (全体!) となる。したがってX
C [V  ] = C [Y ] '
Vm
6
6
6
4



(1

m0

1

) ( )' [ ]( )となる。ここに 1 は表現 V の最高ウェイト 番目の基本ウェイト 。S V
C V  は対称テンソルの空間と思うことができるので、上の分解から、よく知られた事実として、m 階の対称テンソルの空間 あるいは m 次斉次式の空間 S m V は GL V の表現として既約でm; ; : : : ; であることがわかる。
あって、その最高ウェイトが m 1(

 =( 00))( )6 演習 1.6 を参照
7 一般に整閉整域の H 不変元全体はまた整閉である。このことから、正規多様体の代数群による geometricquotient はまた正規であることが従う。

7

Example 1.8 2n 次の直交群 G = SO2n (C ) の自然表現 V = C 2n を考えよう。ただし対称
双一次形式を通常のようではなく、次の対称行列 J に関して取ることにする。



0
1
n
J= 1 0nすると、最高ウェイトベクトルは

2

3

1
6 0 7
7
V = C 2 n 3 e1 = 6
6 .. 74 . 5
0となる (e1 は null vector であることに注意)。また最高ウェイトは 1 = (1; 0; : : : ; 0) である。最高ウェイト多様体はY = G  e1 = fnull vectors v 2 V j t vJv = 0g =

xi
yj



6= 0 jnXi=1)

xi yi = 0

nulln vector の全体となる。特に Y は 2n 1 次元の超曲面で、V とは異ることに注意。

で、 P

F=

(

i=1 xi yi とおくと、[ ] = C [xi ; yj ]=(F ) 'C Y(

である 最後の式で Vm 1' Vm に注意)。

X
m0

Vm1

1

この式を使ってちょっとした応用を考える。まずポアンカレ級数を考えると

t2
1 t2 = 1 + t=(1 t)2n (1 t)2n (1 t)2n (1 t)2n 1
1
X
2n + k tk= (1 + t)k
k=0

P (C [Y ]; t) =

= 1+

1

1
X
k=1



2n + k + 2n + k 1 tk
kk 1

だから、m 次斉次の部分を比較して、


 

2
n+k
2
n+k 1
dim Vm = k + k 1がわかる。もちろんこれは Weyl の次元公式を使っても簡単に計算できる。
Example 1.9 G = GLp  GLq を考え、p  q 行列の全体 Mp;q に次のように作用している1とする。

(g; h)  X = gX th ((g; h) 2 G; X 2 Mp;q )8

contragredient 表現 Mp;q = Mq;p の最高ウェイトベクトルとして E11 2 Mq;p が取(i; j ) 成分が 1 で他は全てゼロの行列単位。すると E11 を通る軌道は
Y = G  E11 = fX 2 Mq;p j rank X = 1g

このときれる。ただし Eij はとなり、最高ウェイト多様体はY = fX 2 Mq;p j rank X  1g

: determinantal varietyとなる。定義方程式は二次小行列式の全体 fxij xkl xil xkj j 1  i; k  q; 1  j; l  pg で与えられる。また正則関数環の分解は次のようになる。
X (p)C Y
Vm1 Vm(q)1
m0

[ ]'

1.3



極小巾零軌道の存在

g 上の随伴表現に対して適用してみよう。
Theorem 1.10 G を単純代数群 =C として、 g をそのリー環 =C とする。また以下では Gの g 上の随伴表現を考える。随伴軌道のことを単に軌道と呼ぶ。

この定理を G のリー環

(1) G のゼロでない巾零軌道中最低次元のものがただ一つ存在する。この軌道を Omin と表し 、極小巾零軌道と呼ぶ8 。Omin は G のゼロを除くすべての軌道の中で最低次元であり、その閉包 Omin = Omin [ f0g は正規多様体である。
(2) を最高ルートとすると、Omin; Omin 上の正則関数は一致して、G 加群としての分解が次のように与えられる。



R (Omin) = R Omin =

X
m0

Vm

ここに V は G の最高ウェイト  の表現である。

G は単純なのでその随伴表現は既約であり、随伴表現の最高ウェイトは最高ルートに一致している。つまり最高ウェイトベクトルは X で、巾零元となっていることに注意
Proof.

せよ。そうするとこの定理のほとんどの主張は、前定理

1.2 より従う。

明らかでない点は、巾零軌道の中で ただ一つの 最低次元軌道であるという点と、V である点であろう。後者はやさしい。前者については巾零軌道が錐であること 系のにより従う。
演習'V( 3.3) と、
Q.E.D.

1.4 (1)

Exercise 1.11 V  ' V であることを証明せよ。ただしは最高ルートとする。

8 ここでは最低次元というだけであるが 、閉包による包含関係において最小元になる (例えば [46, Th. 4.3.3]

参照)。本来は最小巾零軌道と呼ぶべきであるが 、通常極小巾零軌道と呼び慣わす。

9Exercise 1.12 G = SL2 (C ) を考える。その Lie 環 g = sl2 (C ) の元に座標を
X=



x
z

y
x



2g

で入れる。この時次を示せ。

(1) X が巾零元 () x2 + yz = 0 、特に巾零多様体の定義方程式は x2 + yz = 0 である。
(2)  2 C  に対して O = fX j x2 + yz = g とおくと、O は SL2 (C ) による半単純軌道
である。

(3) 射影空間 P(g) においては 、すべての半単純軌道はただ一つの軌道に射影され 、open
dense である。もう一つの軌道は巾零軌道を射影したものである。

10

2

認容表現とその不変量

Abstract
既約認容表現 (; H ) の不変量 (指標、随伴多様体 (随伴サイクル) 、Gelfand-Kirillov
次元、Bernstein 次数、   ) の構成や性質について基本事項の解説を行なう。この章での参考書としては [47], [33] が良いだろう。

()

この章では、G は 線型な半単純代数群 で 実数上定義されている もの の実数点全体 とする。実数上の代数群であることを強調したい時には GR と書くこともある。複素化は GC
で表す。

2.1

認容表現と指標(; H) を G のヒルベルト空間 H 上の強連続な表現とする9 。また K  G を極大コンパク

ト部分群とする。

Example 2.1 (G; K ) の例 (古典型):(SL(n; R ); SO(n));(SU (p; q); S (U (p)  U (q)));(SO0(p; q); SO(p)  SO(q)); (Sp(2n; R); U (n))
De nition 2.2 上の設定の下に(1) C 1 ベクトルの空間を次のように定義する。
H1 = fv 2 H j (g)v (g 2 G) は G 上の C 1 関数 g(2) K 有限ベクトルの空間を次のように定義する。
HK = fv 2 H j dimh(K )vi=C < 1g(3) 8 2 Kb に対して  の H における重複度 [ :H] が有限の時、(; H) を認容表現 (admissible representation) と呼ぶ。
H1 は (位相的には閉じていないが ) G 不変な部分空間であり、さらに G のリー環 g が微

g = C R g 加群と思うことにする。

分として作用する。この作用を複素化することにより、 C

以下 表現といえば特に断らない限り認容表現のみを考える。

Theorem 2.3 (; H) を G の認容表現とする。
9 表現空間はヒルベルト空間としないでバナッハ空間や、あるいは Frech
et 空間などとした方が応用が効くのだが以下ではど うせ代数的な (gC ; K ) 加群の話になるので、ここではそれほど 拘らないことにする。例えば[62] 参照。

11

(1) HK  H1 であって、HK は (gC ; K ) の作用で不変である。さらに (; H) が Z (gC ) 有
限なら HK は実解析的なベクトルからなる。
(2) (; H) が有限生成であれば (特に (; HK ) が U (gC ) 加群として有限生成であれば ) 、(; H)の閉部分空間と (; HK ) の代数的な部分表現は一対一に対応する。従って(; H) が既約 () (; HK ) が既約
Proof.

例えば[47] の Theorems 3.4.10, 3.4.11, 3.4.12 を参照。

Q.E.D.

(; H) は有限の長さを持つ認容表現とし 、 f 2 C01(G) を G 上のコンパクト台の C 1 関数とする。このとき

 (f ) =()Lemma 8.1.1])とおくと  f は。

Z
Gf (g ) (g )dg

trace class の作用素になるので 、その trace をとることができる ([47,Theorem 2.4 (; H) を有限の長さを持つ認容表現とする。

(1) f 2 C01(G) ! trace (f ) 2 C は G 上の超函数になり、局所可積分であって、 G の半単純正則元の全体 G0 上では実解析的である。この超函数を  で表し 、(; H) の(大域) 指
標 (global character, distribution character) と呼ぶ。
(2) (; H) が既約なら  は G 上の不変固有超函数になる。
(1) の証明は略する ([47, Theorem 8.4.1])。G の元 g が正則であるとは、fgg の中心化群 ZG (g ) が最小次元になるときに言う。半単純正則元は要するにある Cartan 部分群にProof.

含まれていて、ワイル群の元によって固定されないような元のことである。

(2) まず言葉の準備をする。
超函数  が不変固有超函数であるというのは 、G 不変性を持ち、さらに展開環の中心
Z  U (gC ) の同時固有超函数になっているときに言う。同時固有値を  の無限小指標と呼ぶ。無限小指標は Z から C への代数準同型になるが 、これを  で表そう。
Z  = (Z ) (Z 2 Z)
Harish-Chandra 同型により、代数として Z ' U (hC )W ( Cartan 部分代数の展開環のワイル
群不変式) となることが知られているので、この対応により  $  2 hC =W がワイル群の作用を除いて対応する。この  も無限小指標と呼んで、  =  などと書くことがある。
このとき G 不変性は積分の G 不変性と跡の随伴作用に関する不変性から従う。一方 は既約であるので、中心 はスカラーで作用する。この作用に対応して  の無限小指標 が定まる。  が固有超函数であることは  の無限小指標が  であることから従う。

Z

Q.E.D.

Theorem 2.5 (; H) 等をすべてヒルベルト空間上の G の認容表現とする。

12

(1) もし (1 ; H1); (2; H2) が既約なら(1 ; H1) ' (2 ; H2) (G の連続表現として)=) (1 ; (H1)K ) ' (2 ; (H2)K ) ((gC ; K ) 加群として、代数的に)()  = (2) (i; (Hi)K ) (1  i  k) を相異なる既約表現とすると、i (1  i  k) は一次独立で
1

2

ある。

上の定理は指標が (gC ; K ) 加群の情報だけで決まることを述べている。証明につ[47] の Lemmas 8.1.2, 8.1.4 を参照。
Q.E.D.

Proof.

いては(1 ; (H1)K ) ' (2; (H2)K ) の時二つの表現は微分同値であると呼ばれる。我々は微分同値な表現は区別しないで、以下 (gC ; K ) 加群だけを考えることにする。微分同値な既約表現

は指標によって完全に決まることに注意しよう。

2.2

原始イデアルと巾零軌道( H) を単なる 代数的な gC 加群としよう。
De nition 2.6 U (gC ) のイデアル I が原始イデアル (primitive ideal) であるとは、ある既約表現 (; H) に対して
I = ker  = fX 2 U (gC ) j (X )v = 0 (8v 2 H)g
以下しばらくの間、完全に代数的な状況を考え、 ;となる時にいう。

(; H) が既約なら、展開環の中心 Z (gC ) はスカラーで作用し 、中心の一次元表現  = が決まる。つまりker  = I \ Z (gC )である。この  のことも無限小指標と呼ぶ。さらに無限小指標  を持つような原始イデア と書くことにしよう。
ルの集合をPrim( ) = Prim( )Theorem 2.7 (Du o) L() を最高ウェイトが  であるような既約最高ウェイト表現、その原始イデアルを I と書くと、
hC 3  ! I 2 Prim U (gC )は全射である。特に  2 Hom alg (Z (gC ); C ) を一つ固定すると、Prim() は有限集合であって、ワイル群の位数を越えない。

13

原始イデアルに対して巾零軌道を対応させることを考える。展開環の標準次数付を= U0(gC )  U1 (gC )  U2 (gC )      Un(gC )    とする。両側イデアル I に対してその次数付を展開環の次数付から誘導されたものとし 、その次数化 gr I を考える。
M
In = I \ Un(gC ); gr I = In=In 1
C

n

このとき

(gr I のゼロ点)  gC を I の随伴多様体と呼ぶ。

Theorem 2.8 (Borho-Brylinskyi, Joseph) 原始イデアル I に対してその随伴多様体はただ一つの巾零 Ad (GC ) 軌道の閉包である。この巾零軌道 O を I に付随する巾零軌道と呼ぶ10 。

Prim U (gC ) 3 I ! O 2 N = Ad (GC )Remark 2.9 Barbasch-Vogan の計算により、(結果的に ) 任意の巾零軌道は原始イデアルに随伴することが知られている。

随伴多様体の既約性は難しい。しかしそれが巾零軌道の有限個の和になることは簡C
単である。実際展開環の中心 はスカラーで作用するので、 を取ることにより、S C G+
Gでがわかる。ところがの定理により、 S C +C のゼロ点ある。巾零軌道の個数の有限性もによって証明されている 系。
Proof.

Ann (gr I )Z

Kostant
Kostant

3.20

gr(g ) 
( (g ))=N( 3.14)
Q.E.D.

Exercise 2.10 (1) I を U (gC ) の両側イデアルとするとき、U (gC )=I の次数付けを(U (gC )=I )n = Un(gC ) + I (n 2 N )で定義する。このとき

gr (U (gC )=I ) ' S (gC )= gr I
であることを示せ。

(2) gr I が素イデアルなら、U (gC )=I は整域であることを示せ。U (gC )=I が整域であるとき
I は completely prime と呼ばれる。
p
逆は一般には成り立たない11 。一般に I が completely prime なら gr I は素イ
デアルである ([67, 6.15 Proposition (ii)])。また gC が An 型 (の直和) なら I がcompletely prime であることと gr I が素イデアルであることは同値になる ([67,6.15 Proposition (iii)])。
なお I が completely prime であることと rank I = 1 (rank I : Goldie rank) であることは同値である。

10 我々はしばしば余随伴軌道と随伴軌道を混同して用いる。もちろんオリジナルに意味があるのは余随伴軌

道の方であるが 、扱いやすいのは随伴軌道の方である。また GC は随伴群に取る。
11 反例あり。[67, 6.15 Remark] 参照。

14

2.3

付随巾零軌道

=

( H)

( H)

に戻そう。 ;には巾零軌道がいろいろなアプロー
話を G GR の既約認容表現 ;
チで対応づけられる。この節ではその対応のさせ方を見る。

2.3.1

随伴多様体 { 代数的なアプローチ {(; H) を既約な (gC ; K ) 加群とする。この表現に対して以下のようにして随伴多様体 (associated variety) を対応させることができる。
まず H の次数化を考える。H の K 不変な有限次元部分空間 H0 をとり、それに展開環の次数付を適用することにより H の次数付を定義する。
M
Hn = Un(gC )H0 ; M = gr H = Hn=Hn 1n[ H =HH= gr H

このときは既約なので n nであることに注意しておこう。さて、MにはU C が自然に作用している。そこで可換環の一般
展開環の次数化である A S C
論を用いての随伴多様体が定義できる。具体的には

gr H= (g ) = gr (g )Ann M = fa 2 A j a  M = (0)g
Ann M の共通ゼロ点をとる。
AV (; H) = V (Ann M ) = fX 2 gC j X (Ann M ) = 0g
この定義では最初の有限次元の生成空間 H0 の取り方、つまり次数付の取り方によるように見えるが 、実際には次数付に関係がないことが証明できる。そこで AV (; H) を既約表現(; H) の随伴多様体と呼ぶ。
Theorem 2.11 g = k  s を Cartan 分解とする。このとき随伴多様体 AV (; H) は sC の巾零 Ad (KC ) 軌道の有限個の和である。さらにそのなかで最大次元の軌道を Oi (1  i  l)
として、

とすると、

(1) 随伴多様体は l 個の既約成分 Oi に分解する。
AV (; H) =

l
[
i=1

Oi

(2) O を既約表現  の原始イデアル I に対応する巾零 Ad (GC ) 軌道とすれば 、各成分 Oi
は O \ sC の既約成分になる。
Ad (GC )Oi = O; O \ sC  Oi (1  i  l)Remark 2.12 一般に巾零 Ad (GC ) 軌道と sC との交わりは同次元の Ad (KC ) 軌道の和であることが知られている。

15

随伴多様体が有限個の巾零軌道の和になることはやさしい。実際、我々の次数付に自明に働く。したがって随伴多様体は Cけは K 不変に取ったから C はその次数化に含まれる。
Proof.

k

s

gr H

gr H

上自明に働き、結局随また中心の作用は無限小指標倍されるだけなのでこちらも伴多様体は巾零元からなる 定理
参照 。また KC の軌道の和になることはが KCの作用を持つことから従う。

(

3.20

)

gr H
Q.E.D.

Exercise 2.13 Killing 形式により sC  gC とみなすとき、(kC )? = sC であることを示せ。
Example 2.14 SL2 (R ) の例。このときは sC は対称行列全体であって、そのうち巾零 KC
軌道はf0g, X  の三つである。ただし X  はそれぞれ


1 i
i 1

を通る巾零軌道である。

(1) 有限次元表現の随伴多様体は f0g である。
(2) 主系列表現の随伴多様体は NsC 全体 = f0g [ X + [ X(3) 離散系列表現の随伴多様体は X  = f0g [ X 
この定理よりpp\

Ann M = Pi (Pi : Oi の定義素イデアル)

Ann M の素イデアル分解を与えていることがわかる。一般的に A 加群
P に対して、 P の M における環論的な重複度 m(P; M ) を次のよう([51] 参照)。
m(P; M ) = length AP MP
ただし AP ; MP はそれぞれ P における局所化を表し 、length は MP が AP のアルティン加群となるのでその長さを表す。あるいはこの重複度は次のように定義しても良い。 M にはA 加群としてのフィルター付 fM j gj であって、
M j =M j 1 ' A=Qj (Qj は素イデアルで、Ann M  Qj )(2.1)
となるようなものが取れる。このとき、もし P が M の極小随伴素イデアルならm(P; M ) = #fj j M j =M j 1 ' A=Pgとなって、これがM の随伴素イデアルに定義する 例えばはフィルター付の取り方によらず、先に述べた重複度と一致する12 。
12 この部分は関数解析セミナー (1999/6/8) で解説した手書きのノートあり。付録としてまとめるのがよいだ

ろう。

16

De nition 2.15 既約認容表現 (; H) の随伴サイクル (associated cycle) をAC (; H) =

l
X
i=1

m(Pi ; M )[Oi ]で定義する。

2.3.2 Gelfand-Kirillov 次元と Bernstein 次数

Gelfand-Kirillov

Bernstein 次数の定義をして、随伴多様体との関連について述= n Mn のポアンカレ級数をX
P (M ; t) =dim Mn tn

次元と以下べる。まず次数つき加群 Mn0で決める。ヒルベルト多項式の理論より、P (M ; t) =Q(t)(1 t)d(Q(t) は多項式で、 Q(1) 6= 0 )となることがわかっている (証明も比較的簡単、[51] 参照)。このとき c = Q(1) とおくと、
dim Mn = (d c 1)! nd 1 + O(nd 2) (n  0); またはnX
i=0dim Mi = dc! nd + O(nd 1) (n  0)はそれぞれ十分大なる n について n の多項式になる。また cがわかっている。

 1; d  0 は整数になること

De nition 2.16 (; H) を既約 (gC ; K ) 加群とする。M = gr H を標準的な次数化とする
時、整数 c; d はこの次数化の取り方によらない。d を H の Gelfand-Kirillov 次元と呼び 、
d = Dim H と表す。また c を H の Bernstein 次数と呼んで c = Deg H で表す。
Remark 2.17 以下の議論を見ればわかるように、 Gelfand-Kirillov 次元は表現がある種の() Bernstein

次数は関数空間上の関数として実現された時の空間の次元 関数次元ともいう 、が取る値のベクトル空間の次元をだいたい表している。しかし現実にはいろいろな障害が発
生し 、このままの解釈では成り立たないことが多い。

Gelfand-

射影多様体の関数環には自然に次数付が入っているが 、その次数付を使って次元や次数に相当する環論的な次元、次数が定義される。そこで巾の次元、次数を;と表すことにする。
零軌道 に対してBernsteinO
dim O deg O
Theorem 2.18 (; H) を既約認容表現とし 、その随伴サイクルを

KirillovO

AC (; H) =

l
X
i=1

mi [Oi ]と書いておく。また対応する原始イデアルの定める巾零17([78])Ad (GC ) 軌道を O と書く。

(1) 随伴多様体の次元は Gelfand-Kirillov 次元と一致する。つまり
Dim  = dimC Oi = 21 dimC O (1  8i  l)(2) 随伴サイクルと Bernstein 次数の間には次の関係が成り立つ。
Deg  =
Proof.

lX
i=1

mi deg Oi(1) についてはいったい誰が最初に証明したのか良く知らない。

(2) は谷口による。証明はそれほど 難しくない。次のようにすればよい。M の A 加群としてのフィルター付を (2.1) のように取る。するとフィルターの取り方より、X
P (M ; t) =P (M j =M j 1 ; t)
=
=
(1

j
X
j
X
j

)

P (A=Qj ; t)tsj
tsj(tsj は次数のシフトで発生する)

Qj (t)(1 t)dj

!1

(

=1
Q
(1) = deg O (O)

だが 、両辺にt d を掛けて 、tの極限を取れば あるいは tを代入すれば 、
dj < d であるような項は全て消え、しかも d dj であるような項は j が随伴多様体の既約成分の定義イデアルである場合に限られる。その場合 Qjii は随伴素イデ
アル j が定義する既約成分 であることに注意しよう。各既約成分の重複度は、その定義
イデアルがフィルター付の部分商として何回出現するかで決まっているので、各既約成分につきその重複度分だけの和が出て、求める公式を得る。

Q

=

)

Q.E.D.

2.3.3

漸近台、波面集合と Rossmann の定理

Lie

Lie

随伴多様体では実群の表現にその環の複素化の中の巾零軌道を対応させることにな
群の表現は実環上の随伴軌道に対応る。この対応はある意味で分かりやすいが 、実によするはずであるという思想からは少し離れてしまう。そこでここではる漸近台を使った表現から巾零軌道への対応について述べておく。

Lie

Lie

Barbasch-Vogan(asymptotic support)
Lemma 2.19 exp : g ! G を指数写像とし 、g の原点の十分小さな近傍 で、指数写像が上で微分同相になっているようなものを取る。これによって G の単位元の近傍の局所座標を定義するとき、G の左不変な Haar 測度 dg は局所的に
1e ad X
dg = detdX (dX は g 上のルベーグ測度)
ad X18と表される。特に G が半単純なら 13

dg = det ad X=2

e ad X=2
ad X

e



dX

とも書ける。
前半部分については [50, Th. 1.7] を見られたい。後半部分については G が半単純
det ead X = 1 であることから従う。
Q.E.D.

Proof.

ならExercise 2.20 G が半単純なら det ead X = 1 (8X 2 g) であることを証明せよ。(ルート空間分解を使うとよい。また半単純元の全体はX 2 gC に対して、
 (X ) =s

det

g で稠密であることにも注意せよ。)

 ad X=2e( )e ad X=2
ad X



g

とおく。この表示からは明らかではないが 、 X は C 上で定義された一価整関数になる。理由は比較的簡単で、軌道積分を用いてZ([58, p. 377])

 ( x) ==eih;xi   (d )Gcpt   はAdと書けることによる。ここで GC のコンパクト実形 Gcpt によるルートを表す。この表の和の半分  の随伴軌道、  は軌道  上の標準的な示より、 x は整関数になることが分かる。

symplectic measure()
さて、 を G 上の不変固有超函数とする。実際には  =  として、ある既約認容表現の大域指標を考えることになる。g 上の超函数  を(X ) =  (X )(exp X )と定義しよう。このとき明らかに  (X ) は g 上の不変固有超函数になる。ただし固有超函数
は定係数の不変微分作用素 J = S (g)G の作用に関するものである。
一般に g 上の (原点の近傍に台を持つ) 関数 f (X ) に対して G 上の関数 f~(g ) をf~(exp X ) =  (X ) 1 f (X )と定義する。すると

(f~) ====

13 別に reductive でもよい。

Z(g)f~(g)dg
(exp X )f~(exp X ) (X )2dX

ZG
Zg
Zg

g

 (X )(exp X )f (X )dX
(X )f (X )dX = (f )19

となることに注意せよ。このことから  (X ) が不変固有超函数になることは容易に見て取れる。

Theorem 2.21 上の設定の下に、 は次の漸近展開を持つ。ft (X ) = t dim g f (t 1 X ) とする
とき、(ft ) 1
X
i= rti Di (f ) (t # 0)

(2.2)

ここに Di は i 次斉次、緩増加な不変超函数であって、その Fourier 変換はsupp FDi  N  gを満たす。
Proof.

証明は [55] を見よ。以下では言葉の定義と証明の概略を述べる。

まず漸近展開の意味だが 、ある原点のコンパクト近傍を取ると、そこに台を持つ任意の関数 f (X ) に対しj(ft)

NX
i= rti Di (f )j  9C  sup jD f (X )j  tN +1
X;j j9kが成り立つことを意味している。ここに D は X に関する 階の偏微分を意味する ( は多重指数)。漸近展開の可能性についてはほぼ明らかである。このとき  の具体的な表示式(Harish-Chandra による) から r #+ であることに注意しておこう。



このような漸近展開は存在すれば一意的であり、その一意性から Di が G 不変であることが分かる。斉次性は Di (ft ) = ti Di (f ) を意味するが 、これも漸近展開の一意性より従う。
緩増加であることはこの定理の最大の問題点であるが 、Di の斉次性からの帰結である。ここでは証明しない。

2 J を斉次多項式とし  の無限小指標を  と書くと、やはり展開の一意性から@ (p)Di = (p)Di deg p(p 2 J = S (gC )GC : homogeneous)となる。次数がずれていることに注意せよ。したがって deg p  1 なら、 @ (pm )Di = 0 が十分大きな m に対して成立する。これを Fourier 変換することにより、supp F Di  N が結
また p

Q.E.D.

論される。

Remark 2.22 D = dim g とすると、
(ft ) =
=

Z

Zg
g

(X )t D f (t 1 X )dX (x = X=t)
(tx)f (x)dx

なので、上の漸近展開(2.2) は  の斉次部分への分解に当たる。

20

De nition 2.23 上の設定の元にAS () =1[
i= r

supp FDiと書き、 の漸近台 (asymptotic support) と呼ぶ。漸近台は有限個の巾零 G 軌道の和であり、定義から明らかに閉集合である (巾零軌道は有限個しかないことに注意せよ)。また
 =  が表現  の指標の時には( ) =( ) と書いて、  の漸近台とも呼ぶ。

AS

AS

I I

Theorem 2.24 (Barbash-Vogan) 既約認容表現  をとり、その原始イデアルを  、 に付随する随伴巾零 GC 軌道を  と書く。 の大域指標を  =  として、その漸近展
開、漸近台などを上のように定める。

O(1) AS ( )  O \ gR が成り立つ。
(2) d = Dim  を Gelfand-Kirillov 次元とすると、
dimR AS ( ) = dimR O \ gR = dimC O = Dim U (gC )=I = 2dが成り立つ。このとき漸近展開 (2.2) における最低次の (ゼロでない) 項の次数はDim  に一致する。

r =(3) 漸近展開の最低次の項を t d D d と書くと、 Fourier 変換 FD d は次元が 2d の実巾零
軌道上の不変測度 O たちの一次結合である。

2I

Proof.
(1) は比較的簡単である。u とすると、 (u f ) = 0 であることからほぼ従う。u を次数に分け、その最高次の項のみを考えて、あとは漸近展開の一意性を用いればよい。

(2) は少し難しいのでパス。(2) が言えると (3) は一般論より従う。
詳しくは [55, Th. 4.1] 参照のこと。

Q.E.D.

さて漸近台のほかに、指標  には波面集合と呼ばれる不変量が Howe によって定義されている。

De nition 2.25  をある開集合 X  R n 上定義された超函数とする。このとき  の波面
集合 (wave front set) WF ()  X  R n nf0g とは次の条件を満たす点 (x0 ; 0 ) を 除いた 部
分集合のことである。

 x0 の近傍 U と 0 の近傍 V が存在して、8' 2 Cc1(U ); 8N > 0 に対して
F'(t ) = O(t N ) (t ! 1)が  2 V に対して一様に成り立つ。
一般に Lie 群 G 上の超函数に対しては局所座標をとって考える。すると(G はゼロ切断と同一視する) が定義される。

21

WF ()  T  G n G

Remark 2.26 波面集合の解析的な性質については、例えば [57, x 1.3] を参照のこと。
Theorem 2.27 (Howe) G を半単純 Lie 群で  を既約 (ユニタリ) 表現とする。このときWF ( ) は単位元 e 2 G のファイバー TeG ' g 上で決まり、それを WF 0 ()  g と書
くと、WF 0 ( ) は巾零軌道の和になる。
Proof.

[56] 参照。

Q.E.D.

漸近台と波面集合の間に包含関係が成り立つことは早くから分かっていたが 、この二つの不変量が一致するかど うかは長い間未解決のままであった。最近 Rossmann によってよう
やくこの問題に終止符が打たれた。ここでは結果だけを記すにとどめる。

Theorem 2.28 (Rossmann) G を半単純 Lie 群で  を既約認容表現とする。
(1) AS ( )  WF 0 ( ) が成り立つ。
(2)  によって決まる coherent family を  と書くと、WF 0 ( ) = AS ( ) が一般の  に対して成り立つ。さらに WF 0 ( ) は一般の  の取り方に依らない。
Proof.

[59] の Theorem 3.5 と Remark 2.4.7 を参照のこと。

22

Q.E.D.

3

巾零多様体と表現論しばらくの間複素線形代数群 GC を扱うことにする。その Lie 環を gC と書く。また gC の
巾零元全体を= gC 、巾零軌道の全体を = Ad GC などと書くことにする。

N N

N

3.1 sl2 -triple の理論
巾零元の性質を導くのに次の Jacobson-Morozov の定理は基本的である。

Theorem 3.1 (Jacobson-Morozov) x 2 gC を (ゼロでない) 巾零元とする。このとき、三9fy; h; xg が存在して次の関係式を満たす。

つ組み[x; y ] = h; [h; x] = 2x; [h; y ] = 2y

C

C

C

C

つまり線型空間 y + h + x は sl(2; ) と同型な部分代数になる。このとき h を neutral
元、 x を nilpositive 元、 y を nilnegative 元と呼ぶ。またこの三つ組みを総称して sl2 -tripleと呼ぶ。
Proof.

有名な定理なので証明は略する。例えば 、[46], [61,れたい。

x III.11 Th. 17] などを参照さ

Q.E.D.

Exercise 3.2 sl2 -triplefy; h; xg に対して、h は半単純、x; y は巾零であることを示せ。
この定理からの帰結は豊富である。

Corollary 3.3 x 2 N に対して C  x  Ox = Ad GC  x が成り立つ。特に巾零軌道は錐であって、その閉包はゼロを含む。

Corollary 3.4 x 2 N に対して gC の次数付gC =であって、g2X
i2Z

gi ; [gi ; gj ]  gi+j

3 x となるものが存在する。

Corollary 3.5 x を巾零元とすると、ある Cartan 部分代数 hC が存在して、適当な正ルー
ト系 + = + (gC ; hC ) をとるとx=と書ける。ただし X はルート

X

2+

c X

(c 2 C )に対応するルートベクトルである。

Exercise 3.6 Jacobson-Morozov の定理を用いて、上の 3 つの系を証明せよ。
23

巾零元の分類には Kostant と Mal'cev による次の二つの定理が基本的である。

Theorem 3.7 (Kostant) 二つの sl2 -triplefy; h; xg と fy 0; h0 ; x0 g が随伴同値であるための必用十分条件は、二つの nilpositive な元 x; x0 が随伴同値であることである。つまり次の全単射が成り立つ。

Proof.

fsl2 -tripleg= Ad GC ! N = Ad GC n f0g

x = x0 として一般性を失わない。この時二つの sl2 -triple が随伴同値であることを

示そう。

h

i

まず [x; h h0 ] = 0 であることに注意しよう。これは sl2 = y; h; x とおくとき、hが sl2 の最高ウェイトベクトル (の一次結合) であることを示している。また

h h0 = [x; yh0y 0 ] 2 [x; g]でもある。これは h h0 に slP
2 の自明な表現の成分がないことを意味する。以上から、ad h
に関する固有空間分解を g = i2Z gi とするとき、XX
ux = gi gx = gxi (ただし gx は x の固定化部分代数)\とおくと hi1i1x であることがわかる。

h0 2 uLemma 3.8 上の設定の下に h + ux = (exp ux)h が成り立つ。したがって、特に h h0 2 [x; g]に対して [x; h h0 ] = 0 が成り立てば 、9g 2 Gx が存在して Ad (g )h = h0 となる。

8 2u

u



u

z x に対して (exp x)(h + z ) h + x は Zariski open であることを示そう。
xxの中で h + z と可換なものはゼロのみであることが次のようにして分かる。z 0
実際
Proof.

u

に対して

2u

[h + z; z 0 ] = [h; z 0 ] + [z; z 0 ] = 0
だが 、z; z 0 などを ad h の固有値に分解して考えると、[z; z 0 ] には z 0 の最低次の次数より大
きい次数しか現れない。一方 [h; z 0 ] には最低次の次数と同じ項が整数倍 (固有値倍 6= 0) されて現れる。ところがこれがゼロだから、z 0 は最低次の項を持たない、すなわちゼロである。
以上から、dim(exp ux )(h + z ) = dim ux = dim(h + ux ) だが 、exp ux は巾零群で明らかに代数群だから、(exp ux )(h + z ) はザリスキ開集合である。
二つのザリスキ開集合は必ず交わるから、(exp ux )(h + z ) \ (exp ux )(h + z 0 ) 6= ; だが 、二つの軌道が交わるので、それは同じ軌道を定める。したがって h + ux はただ一つの軌道からなる。
Q.E.D.
この補題から、h = h0 として良いことが分かった。ところがこのとき y = y 0 となる。実際 [x; y y 0 ] = h h = 0 より y y 0 は sl2 に関して最高ウェイトベクトルの一次結合であるが 、[h; y y 0 ] = 2(y y 0 ) よりそのウェイトは 2 である。しかしこれはゼロ以外ではあり得ない。
Q.E.D.
以上で定理は証明されたが 、証明の最後の部分を補題にまとめておこう。

24

Lemma 3.9 sl2 -triple において、二つの元が決まれば残りの一つはただ一通りに決まる。
Theorem 3.10 (Mal'cev) 二つの sl2 -triplefy; h; xg と fy 0; h0 ; x0 g に対して、二つの neutral
元 h; h0 が随伴同値ならば sl2 -triple も随伴同値である。つまり次の写像は単射である。

fsl2 -tripleg= Ad GC ,! fgC の半単純元 g= Ad GC
h = h0 としてよい。この時二つの sl2 -triple が随伴同値であることを示そう。
P
そこで ad h に関する固有空間分解を g = i gi としておく。Gh を h の中心化群とすると、これは連結で reductive な代数群になる14 。また明らかにその Lie 環は g0 に等しい。こProof.

のとき次の補題を示そう。

Lemma 3.11 Ad (Gh )x  g2 はザリスキ開集合である。特に、g2 は Gh -概均質ベクトル空間になる。
Proof.

まず x

2 g2 なので Ad (Gh)x  g2 は明らか。あとは次元を比較すればよい。実際[g0 ; x] が Ad (Gh )x の接空間と同一視できるから、

dim Ad (Gh)x = dim[g0 ; x] = dim g2である。最後の等式は sl2 の簡単な表現論から分かる。したがって次元が等しいので Ad (Gh )x
は g2 でザリスキ開集合になる。
Q.E.D.

\

さて 、ザリスキ開集合は必ず交わるので 、x; x0 に上の補題を適用すると Ad (Gh )x
Ad (Gh )x0 = となり、共通部分を含むからこの二つの軌道は一致する。したがって x = x0としてよい。あとは補題 3.9 を使えば 、y = y 0 が分かる。
Q.E.D.

6 ;この二つの定理によって、次の単射が得られる。

N = Ad GC ! fsl2-tripleg= Ad GC [ f0g ,! fgC の半単純元 g= Ad GC ' hC =W
ただし hC は Cartan 部分代数であって、W は (gC ; hC ) のワイル群である。また f0g に対しては便宜的に f0g を対応させておく。この写像の像に属する半単純元を distinguished elementと呼ぶ。

h 2 hC を distinguished として、h を正の Weyl chamber に含むような正ルート系を一つ固定する。すると、sl(2; C ) の簡単な表現論によって、単純ルート に対しては(h) = 0; 1; 2
でなければならないことが分かる。一方 hC の元は単純ルートの値を指定すれば一意に決まってしまうから、結局fdistiguished な半単純元 g= Ad GC ! f0; 1; 2g単純ルート

14しかしど ちらも以下の証明では必要がない。連結性が分からなければ 、その連結成分を取って以下同じ議論を適用すればよい。

25

は単射である。したがって上の写像をすべて合成すれば巾零軌道を次のような離散直積集合に埋め込むことができる。

N = Ad GC ! f0; 1; 2gl (l = dim hC = rank gC )この写像はもちろん単射であるというだけで全射ではない。

Exercise 3.12 sl2 -triplefy; h; xg と単純ルート系  = f i g を上のように取る。このとき
i (h) = 0; 1; 2 であることを証明せよ。
De nition 3.13 上の写像によって巾零軌道 Ox が決める単純ルートのラベルづけを重み付
きディンキン図形 (weighted Dynkin diagram) と呼ぶ。これをデ ィンキン図形の各頂点 (=単純ルート ) に 0; 1; 2 の数字を書き込むことによって表現する。
ラベル付がすべて 0 または 2 で行われるとき、その軌道を偶巾零軌道 (even nilpotent
orbit) と呼ぶ。
Corollary 3.14 巾零軌道は有限個しかない。その個数の上限は 3rank gC で与えられる。
Example 3.15 A 型の巾零軌道 (ジョルダン標準形) と重み付きディンキン図形:
An 型の Lie 代数における巾零元はジョルダン標準形の理論から
X = diag (J (k1 );    ; J (kl ))と Ad GC で共役である。ただし J (k ) はサイズが k + 1 のジョルダン細胞である。
2
3x
?
0 1
?
6
7?
0
1
6
7?
?
... ... 7
J (k) = 6
6
7? k + 1
6
7?
4
0 1 5?
?
0 y
このとき h(k ) をh(k) = diag (k; k 2;    ; 2 k; k) (サイズ k + 1)
H = diag (h(k1 );    ; h(kl ))f9Y; H; X g が sl2-triple になる。さらに H の対角成分を大きい順に並べ替えた

とおくと、
ものを

H 0 = diag (h01 ; h02 ;    ; h0n ) (h01  h02      h0n )と書くと X のラベル付は、

00i (H ) = hi

h0i+1



で行われる。とくに X が偶巾零軌道であるための必用十分条件は k1 ; k2 ;; kl の偶奇が一致することである。もちろんこれはジョルダン細胞のサイズの偶奇が一致することと同じである。

26

Exercise 3.16 上の設定において sl2 -triplefY; H; X g のうち Y を具体的に一つ求めよ。このとき Y の自由度はどれくらいあるだろうか ?
Example 3.17 極小巾零軌道 Omin の weighted Dynkin diagram は次のように与えられる。
([46] よりの引用)
An 1|0|    |0|1
Bn 0|1|0|    |0 ) 0
Cn 1|0|    |0 ( 0Dn 0|1|0|    |0 < 00
1
E6 0 0 0 0 0

0
E7 0 0 0 0 0 1

E80
1 0 0 0 0 0 0

F4 1|0 ) 0|0
G2 1>0[(注) 最高ルートを とすると、拡大 Dynkin 図形においてトが 1 の頂点たちである。]
3.2と結ばれる頂点は、ウェイ

巾零多様体

S (gC ) を対称代数とし 、その GC 不変元の全体を J = S (gC )GC で表そう。このとき J =gr Z (gC ) であることに注意せよ。
Theorem 3.18 (Chevalley) hC を Cartan 部分環とすると制限写像' : S (gC ) ! S (hC )によって次の同型が導かれる。

' : J = S (gC )GC ! S (hC )W' : J ! S (hC )W が単射準同型であることは、Ad (GC )hC  gC が稠密であることより従う。全射性はコンパクト実形上の不変積分を用いて証明できる。(あるいは純代数的に証明しようとすれば 、gC の表現の指標を制限したものが S (hC )W を張ることを示すということも考えられる。)
Q.E.D.
Proof.

ワイル群の不変式環もまた Chevalley によって良く知られており、

27

Theorem 3.19 S (hC )W は l = dim hC 変数の多項式環であって、多項式の生成元として同次式 fui j 1  i  lg が取れる。このとき deg ui = mi + 1 は同次式の取り方によらず決まり、mi はワイル群の exponents を与える1516 。
Proof.

これは難しいのでやらない。例えば [60] あるいは [49,と。

x 3.5 { x 3.8] を参照のこ

Q.E.D.

この生成元 ui を固定し 、これを J = S (gC )GC に引き戻したものも同じ ui で書くことにCする。また S (gC )GC のうち原点で消えているものを J+ = S (gC )G+ と書く。

Theorem 3.20 (Kostant) (1) 巾零元全体は J+ = S (gC )G+C のゼロ点と一致する。つまり

N = fx 2 gC j f (x) = 0 (8f 2 J+)g(2) したがって N は代数的集合になるが 、実は既約な代数多様体であって (巾零多様体と呼ぶ) 、その定義イデアルは J+ S (gC ) = (J+ で生成されたイデアル ) に一致する。特に N の定義方程式として ui = 0 (1  i  l) が取れる。
(3) N は正則巾零元からなる軌道 Omax のザリスキ閉包に一致し 、完全交叉、正規多様体になる。

(1) D(x) = det(t ad x) とおくと、定義より明らかに D(x) 2 J であって、さらにt について展開すると、最高次以外の各係数はすべて J+ に入っていることが分かる。CayleyHamilton の公式より (なんと懐かしい響き!) 、もし x が J+ で消えていれば 、 (ad x)dim gC = 0
Proof.

であることがわかる。実はもっと小さなベキで消えているのだけれど 、巾零ということでは問題ない。したがって が示された。



逆の包含関係について。x を巾零として fて、0x に注意せよ。f は GC 不変なので

2O

2 J+ を取る。x の随伴軌道 Ox は錐であっf (x) = f (Ox ) = f (Ox ) = f (0) = 0

 が証明された。
(2) と N の正規性は難しい。(ここでは証明しない。[29, Th. 10] 参照。証明のキーとなとなり、るのは、 (dui )1il の一次独立性である。)

X 2 gC が正則元であるとは、X を通る軌道が最大次元になること (同じことだが 、余次
元が l = rank gC であること ) なので、Omax  N は同じ次元を持つ。実際 N は有限個の巾零軌道の和で、Omax はその中で最大次元であるから。一方 N は l 個の定義方程式で定義されているので、完全交叉である。
Q.E.D.

15 exponents はコクセター元の指数として定義される。つまり、 h をコクセター元の位数とするとき、コクQ 

セター元の固有値が exp 2mi =h (1 i l) で与えられる。
16 gC のポアンカレ級数は l (1 + t2mi +1 ) で与えられる。
i=128

Exercise 3.21 u = (u1 ; u2 ;    ; ul ) のヤコビアンを@ui
J = det@hj1i;j l

とすると、

J =c

Y

(c 6= 0 : 定数)2+となることを示せ。([29, p. 357] 参照)

Corollary 3.22 随伴軌道 O の閉包がゼロを含むことと、 O が巾零軌道であることは同値である。特に随伴軌道でかつ錐であるものは巾零軌道である。

Remark 3.23 ここでは触れる機会がなかったが 、一般の随伴軌道については、x = xs + xnとジョルダン分解したとき、
G ZG (xs ) OZG (xs ) (xn ) 3 (g; y ) 7! g (xs + y ) 2 OG (x)という対応で G 等質多様体としての同型がある。(軌道のジョルダン分解)

O

このとき xn が ZG (xs ) の主巾零元なら G (x) は最大次元の軌道 (余次元が rank G) となり、 ( G (x)) は [g] の調和多項式の空間と一致することが Kostant によって明らかにされている。これを最高ウェイト多様体の場合と比較してみるとよい。

RO

3.3

C

巾零多様体の次数

N (あるいは主巾零軌道といっても同じ ) の次数を計算しておく。
Theorem 3.24 gC を単純とする。極小巾零軌道 Omin の次数は 、最高ルート に対して
+ ( ) = f 2 + j h ; i =6 0g とおくと、
 Y h ; ideg Omin = #+ ( ) !
2+ ( ) 2h; i

極小巾零軌道と巾零多様体

で与えられる。

O

まず dim min = #+ ( )+1 であることと、であることに注意しておこう。
Proof.

OCO

2 +( ) に対して、2h ; i = h ; i

さて、 min は最高ウェイト多様体なので、 [ min ] の GC 加群としての構造は既に分かっている。

C [Omin ] '
29

X
m0

m

ここで m はちょうど 斉次次数 m の斉次部分を与えていることに注意する。したがってワ
イルの次元公式によってヒルベルト関数を計算すると、

dim mhm + ; ih; i2+Y h ; i++
= m# ( )+ O(m# ( ) 1 )
2+ ( ) h; i=Yとなる。あとはヒルベルト関数とポアンカレ級数との関係より、次数の公式が従う。Q.E.D.

Theorem 3.25 巾零多様体 (または主巾零軌道) の次数はワイル群の位数に一致する。
deg N = #W (gC ; hC )Proof.

Kostant の結果から、C [N ] はちょうど GC の作用に関する調和多項式の空間と同型になる。さらにC [gC ] ' H C [gC ]GC (H は調和多項式)であることに注意しよう。したがってポアンカレ級数を比較すると

P (C [gC ]; t)P (C [gC ]GC ; t)
1
1

=
dim
g
(1 t) C P (C [hC ]W ; t)Ql
mi +1 )
i=1 (1 t=(1 t)dim gC

P (H; t) =f gがわかる。ここで l = rank gC であって、mi は exponents である。両辺に (1 t)dim gC l をQl掛けて、t
1 とすると、次数が i=1 (mi + 1) = #W で与えられることが分かる。Q.E.D.

!

Remark 3.26 射影幾何的に言えば 、射影多様体 V 2 Pn (C ) の次数は一般の n dim V 次
元 (射影) 線型部分空間と、V との交点数を表す。今の場合、N と一般の l = rank gC 次元の超平面との (射影化された) 交点数が #W であるということになる。残念ながら Cartan 部
分代数を「一般の超平面」として取るわけにはいかないが 、Kostant ([29, Theorem 12]) により次の結果が知られている。

Theorem 3.27 (Kostant) 原点における Cartan 部分代数 hC と巾零多様体 N との交点重複度 (接している次数) は #W に一致する。
また最大次元の半単純軌道 (これは既に射影多様体ではないが ) と hC との交点数が #W
であることにも注意しておこう (これはワイル群 W の定義から従う)。

30Remark 3.28 上の Ad (G)-調和多項式の空間 H は次のように分解する。

C [N ] ' H 'Xdim VT V

ただし T は Cartan 部分群で、VT は T 固定部分空間 (ゼロ・ウェイト空間) を表す。(ちょうど VT にはワイル群が自然に作用していることに注目して欲しい。)

8

上の既約分解は、 Xr:s

2 gC 正則半単純元に対して、
H ' C [OXr:s ] ' C [G=T ] = C [G]Tとなることと Peter-Weyl の定理により従う。

31

4

Cartan 分解と巾零 KC 軌道

4.1 sC の極小巾零 KC 軌道
Theorem 4.1 g を 実 単純 Lie 代数とし 、その複素化が複素単純 Lie 代数であると仮定する。17 その Cartan 分解をg=k+sと書いておく。k は s に随伴表現で作用している。

(1) k の表現 s=R は (実数体上) 既約である。
(2) s が絶対既約でなければ 、その複素化は sC = s+  s と二つの既約成分に分解し 、この時 (g; k) は Hermite 対称対になる。したがって k は一次元の中心を持つ。

s が可約なら、s = s1  s2 と Killing 形式に関して直交直和に分解した時、[si; si]  siが自明でないイデアルになる。このことは [s1 ; s2 ] ? k したがって [s1 ; s2 ] = 0 であることか
Proof.

ら容易に従う。

もし s が絶対既約でなければ 、 sC は二つの既約成分に分解する。これら二つの表現は互いに複素共役の関係にある。[以下一般論による証明は未完：しかし事実としては正しい(case-by-case analysis)]

Q.E.D.

Theorem 4.2 次のいずれかの場合が起る。
s+s(1) (g; k) はエルミート対称対で、sC \ Omin = Omin
[ Ominと二つの同次元の KC 軌道に分ss
= 12 dimC Omin である。
解する。このとき s \ Omin = Omin が成り立つ。さらに dimC Omins(2) (g; k) はエルミート対称対ではなく、sC \ Omin = Omin
はただ一つの KC 軌道からなる。
s= 12 dimC Omin である。
このとき dimC Omin(3) (g; k) はエルミート対称対ではなく、sC \ Omin = ; である。
Proof. sC の KC の表現としての最高ウェイトを取りそれをとする。適当に正ルート系
を決めておけば 、エルミート対称対のときには二つ、そうでないときにはただ一つの が決まる。(エルミート対称対のときにはど ちらでも良いが例えば s+ の最高ウェイトを とする。)

結論としてはこのが最高ルートのとき、そのときに限り

Omin と sC との交わりがある。

が最高ルートなら交わりがある方は自明である。すべての最高ルートは GC 共役であることに注意せよ。

2

sC である。このとき、対応する逆にもし 交わりがあれば を最高ルートとして X
Cartan 部分代数から H をとって、ad H の固有値で gC を分解すると固有値 2 の固有ベク
17 要するにこれは g が複素単純 Lie 代数を実 Lie 代数と思ったものでは ない ことを意味している。

32

2

f 2

2

g

トルは X のみである。一方 X
sC に対してかならず正規 sl2 -triple Y sC ; H kC ; Xが取れる ([30, Prop. 4] または [46, Th. 9.4.2])。このとき H と H は GC 共役なので、最初から H = H として一般性を失わない。

fg2; 1; 0; 1; 2 であって、しかも固有値が 2 のものは X しすると ad H の固有値がかないことにより、H を含む kC の Cartan 部分代数で X を最高ウェイトにするようなものが取れる。これについては次の式を参考にすると良い。
[H; H 0 ] = 0 なら [H; [H 0 ; X ]] = [H 0; [H; X ]] = (H )[H 0; X ]ここで(H ) = 2 だから[H 0; X ] = X

つまり X は ad H 0 の固有ベクトル (ルートベクトル ) になる。あとは H = H を用いてルートに順序を入れると自然に X は最高ウェイトとなる。18
さらにエルミート対称対の場合には X と X は KC で移りあわないことに注意しよう。これが移りあえば非エルミート対称対の場合になってしまうからである。したがってこの場合には少なくとも二つの軌道が現れる (もし空でなければ ) が 、この二つのみしか軌道がないことも容易に分かる。
あとはこの主張にしたがって既約なものを分類してみると、エルミート対称対の場合にはOmin \ sC 6= ; であることが (結果として) 分かる。19

次元については次の Vogan による一般的な結果 (定理 4.3) を適用すればよい。(しかしQ.E.D.
こいつは難しい。実際には各場合に次元を計算するのが簡単。)

Theorem 4.3 (Vogan) (GC ; KC ) を対称対とする。このとき 8 2 gC に対して、GC   \(gC =kC ) は空でないなら有限個の KC 軌道の和であって、各軌道は GC   の smooth, reduced,
Lagrangean subvariety である。特に各軌道は同次元で、その次元は 12 dimC GC   に等しい。
Proof.

[33, Cor. 5.20] 参照。

Q.E.D.

18 上の議論は次のように言っても良い (はずだ )。fundamental Cartan subgroup を取ったとき、 non-compact
imaginary root
で最高ルートになっているものが取れれば Omin との交わりがある。そうでなければ交わりはない。これは実は岩澤 Cartan 部分群を取ったとき、実ルートで最高ルートになっているものがあるという条件と同値である。
19これはエルミート対称対の理論をきちんとたどれば抽象的に証明可能だろう。

33

定理 4.2 の三つの場合にすべての既約対称対を分類してリストアップしておく。
s+s(1) 表 1: (g; k) はエルミート対称対、sC
min = minmin の場合。

\O

O [O

s+
s
Table 1: (g; k) はエルミート対称対、sC \ Omin = Omin
[ OminCartan分類記号 典型例 G=K
AIII
BDI
CI
DIII
EIII
EVII

s+ (KC の表現)

SU (p; q )=S (U (p)  U (q ))C p  (C q ) ' Mp;qSO(p; 2)=SO(p)  SO(2) (p  2) C p  C
Sp(n; R )=U (n)

次元

pq
p

S 2 (C n ) ' Sym (C n ) n(n + 1)=2

^2 C n ' Alt (C n )1 -spin  C2
 ($1 )  C

SO (2n)=U (n)E6;2 =Spin(10)  SO(2)E7;3 =E6  SO(2)n(n 1)=2
16
27

ただし El;r はランクが l で実ランクが r の実 non-compact な Lie 群を表す (このようなものはただ一つなので )。また s = s+ なので、表中には s+ のみあげておいた。
表中  () は最高ウェイトが  の既約表現。$i は i 番目の基本ウェイト (番号付は [60] の最後の付表による)。 12 -spin はスピン表現の既約成分の一つ (スピン表現は二つの既約成分を
持つ)。

34

s
(2) 表 2 : (g; k) は非エルミート対称対、sC \ Omin = Ominの場合。
sTable 2: (g; k) は非エルミート対称対、sC \ Omin = Omin

Cartan分類記号 典型例 G=K
AI
BDI
FI
EII
EVI
EIX

SL(n; R )=SO(n)SO(p; q )=SO(p)  SO(q )(p  q  3)
F4;4 =Sp(3)  SU (2)E6;4 =SU (2)  SU (6)E7;4 =Spin(12)  SU (2)E8;4 =E7  SU (2)EI

G2 =SU (2)  SU (2)E6;6 =Sp(4)EV

E7;7 =SU (8)EVIII

E8;8 =Spin(16)GsC (KC の表現)

dim sCS 2 (C n ) ' Sym (C n ) n(n + 1)=2

C p  (C q ) ' Mp;q pq(^3 C 6 )0  C 2^3 C 6  C 2
1 -spin  C 2
2
 ($7 )  C 2
C4 C2
$4 ' (^4 C 8 )0
^4 C 8 ($8 ) ' 12 -spin

28
40
64
112
8
42
70
27 = 128

Fl;r など の表記も表 1 と同様。ただし G2 は非コンパクト実形が一つしかない。表中  ()は最高ウェイトが  の既約表現。$i は i 番目の基本ウェイト (番号付は [60] の最後の付表による)。 12 -spin はスピン表現の既約成分の一つ (スピン表現は二つの既約成分を持つ)。E7 の表現  ($7 ) は minuscule と呼ばれる。Sp(n) の表現 ( n 2n )0 については演習 4.4 を参照。

^C

35

(3) 表 3 : (g; k) は非エルミート対称対、sC \ Omin = ; の場合。
Table 3: (g; k) は非エルミート対称対、sC \ Omin = ;Cartan分類記号 典型例 G=K

sC (KC の表現)

dim sCfX 2 Mn (H ) j t X = X;

(2n + 1)(nAIISU  (2n)=Sp(n)

BII

p

CII

C
Sp(p; q )=Sp(p)  Sp(q ) C 2p  C 2q

EIV

E6;2 =F4

 ($4 )

26

FII

F4;1 =Spin(9) ($4 )

16

Re (trace X ) = 0gC

p

SO(p; 1)=SO(p)1)

2p  2q

Exercise 4.4 C 2n の非退化な symplectic form を取り、自然表現 Sp(2n; C ) y C 2n を考える。

(1) U = fU  C 2n j U は極大全等方的部分空間 g とおくと、Sp(2n; C ) は U に推移的に働くことを示せ。

(2) U 2 U の基底を fu1 ; : : : ; ung とし 、写像

U 3 U 7 '! [u1 ^    ^ un] 2 P(^n C 2n )を考える。'(U ) が生成する部分空間  ^n C 2n は Sp(2n; C ) の既約表現を与え、その最高ウェイトは $n = "1 +    + "n (Bourbaki の記号) となることを示せ。
^C

このようにして得られた既約表現を ( n 2n )0 と表す。この表現の別の構成については例えば [79, Theorem 17.5] を参照せよ。

36

4.2 Kostant-関口対応
以下の議論では直接表に現れないが 、常にその底流に流れている考え方として、実巾零軌道と sC における巾零 KC 軌道との対応がある。これは Kostant 流に言えば 、実 sl2 -triple と、
正規 sl2 -triple の間の対応関係であり、関口流に解釈すれば Cayley 変換の理論となる。ど ちらのアプローチでも Cartan 代数の間の対応までが誘導されることは興味深い。

fg

De nition 4.5 sl2 -triple Y; H; X が正規 (normal) であるとは、Hるときに言う。つまり、 Cartan 対合を  とするとき、

2 kC ; X; Y 2 sC とな

(H ) = H; (X ) = X; (Y ) = Y
がなりたつ。

fg

また sl2 -triple Y; H; X が Cayley 型であるとは、

(H ) = H; (X ) = Y; (Y ) = Xとなるときに言う。

Example 4.6 sl(2; C ) において、 (X ) =t X とすれば 、





1 1
0 i
normal : H = i 0 ; X =2 i1Cayley : H = 0



0
1 ;X=











i ;Y=11
20 1
0 0 ;Y =

i
1

1
i

0 0
1 0





Theorem 4.7 (Mostow) gR の任意の sl2 -triple は Cayley 型の sl2 -triple に随伴共役である。
Cayley 型の sl2 -triplefY; H; X g に対して、新しい gC の sl2 -triplefY 0 ; H 0; X 0 g を
1
1Y ); X 0 = (X + Y + iH ); Y 0 = (X + Y iH )22で定義する。これを Cayley 変換と呼ぶ。このとき、その定め方から明らかに fY 0 ; H 0 ; X 0 g
は正規 sl2 -triple である。

H 0 = i(XTheorem 4.8 (関口) gR における (実) GR 巾零軌道 OgR と、sC における (複素) KC 巾零
軌道 OsC は一対一に対応する。その対応は、 Cayley 型の sl2 -triple と正規 sl2 -triple の間のCayley 変換によって与えられる。さらに次が成り立つ。
(1) 対応する二つの巾零軌道は同じ GC 軌道 OgC を生成する。

OgR  OgC \ gR ; OsC  OgC \ sC
37

(2) 対応する軌道の次元、さらにこの二つを含む GC 軌道の次元の関係は次のようになる。
dimR OgR = 2 dimC OsC = dimC OgCProof.

[22] 参照。

Q.E.D.

Remark 4.9 Vergne によって K 多様体 =R として OgR ' OsC であることが証明されている。

最近になって Schmid-Vilonen [80] により、随伴多様体と漸近台が Kostant-関口対応によって対応していることが証明された (が筆者は証明を follow できていない)。これで 、随伴多様体、漸近台、波面集合という巾零軌道と密接に関わっている不変量がすべて (本質的には ) 同じものであったことが明らかになった。以上については直接彼らの一連の論文に当たってみられたい。

38

5

極小表現の定義と一般論

5.1 Joseph イデアル
この節では g で 複素単純 Lie 環を表す。また G は (複素) 随伴群とする。

Theorem 5.1 複素単純 Lie 環 g に対して次が成り立つ。
(1) g が An 型ではないとする。このとき g にはただ一つの (自明でない) 最小次元の G 軌

Omin が存在する。その軌道は巾零軌道であって、 を g の最高ルートとすると、Omin = G  X (X はルート のルートベクトル)= G  X ( は任意の long root)(2) g が An 型なら、巾零 G 軌道の中でただ一つ最小次元のものが存在し 、それを Omin と道

書くと、

Omin = G  X = G  X (8 : ルート )O

このとき、 min は (自明でない) G 軌道の中で最小の次元を持つ。また
半単純軌道が連続無限個存在し 、 min はこれらの軌道の極限である。

O

Omin と同じ次元のProof. 極小巾零軌道がすべての軌道の中で最小次元であることはすでに示した (定理 1.10) 。
問題はそれがただ一つかど うかという点に尽きる。

Lemma 5.2 最小次元の軌道は巾零軌道かあるいは半単純軌道である。
Proof.

x 2 g をゼロでない任意の元とする。x のジョルダン分解を x = xs + xn とするとZg(x) = Zg (xs ) \ Zg (xn )だから、

dim G  xs ; dim G  xn  dim G  xがわかる。等号が成立するのは Zg (xs ) Zg(xn) または Zg(xs )  Zg(xn) の時である。

g1 := Zg(xs) とおくと、 xn は g1 の巾零元とみなせることに注意する。
まず g1 = Zg (xs )  Zg (xn ) のとき。よく知られているように g1 は reductive な Lie 代数である。このとき Zg1 (xn ) = g1 なので xn = 0 となる。
次に g1 = Zg (xs )  Zg (xn ) のとき。系 3.5 より、g1 の Cartan 部分代数 (= g の Cartan

部分代数) を適当にとり、さらに正ルート系をうまくとれば xn は正のルートベクトルの一次結合に書けている。もし g1
g ならば 、ある十分大きな正ルート
+ (g; h) + (g1 ; h)が存在して XZg (xn ) となる。(下記演習参照) ところが X g1 だから、矛盾である。
したがって g1 = Zg (xs ) = g となる。g は単純だから xs = 0 がわかる。
Q.E.D.

2

$

62

39

2

n

Exercise 5.3 x = xs + xn をジョルダン分解として、g1 = Zg (xs ) とおく。g1 $ g ならば 、ある十分大きな正ルート 2 + (g; h)n+ (g1 ; h) が存在して X 2 Zg (xn ) となることを示せ。

O

巾零軌道中で最小次元のものはただ一つ、 min であったから (定理 1.10) あとは半単純軌道を調べればよい。半単純元 x = xs に対しては、その中心化代数 Zg (xs ) は reductive で、しかもある放物型部分代数の Levi part になっている。したがって半単純軌道の次元の最小値は`(g) = minfdim g=q j q $ g は放物型部分代数 gとおくと 2`(g) で与えられる。
一方放物型部分代数 (の共役類) は単純ルート系の部分集合と一対一に対応しているから、`(g) を具体的に求めることは容易である。さらに次の命題 5.4 から dim Omin もわかるので両者を比較すれば 、結果として An 型以外では Omin がただ一つの最小次元の軌道であることがわかる。(この後の表 5.1 参照)
An 型については 、2`(g) = dim Omin なので 、ある極大放物型部分代数があって、そのLevi part を与えるような半単純元の軌道はやはり最小次元となる。これが無限個あることは見易い。このような軌道の極限としてOmin が得られることは実際にやってみればわかる。
Q.E.D.

 X を極小巾零軌道とする。
= f 2  j ( ; ) > 0g  +とおくと、Omin の次元は dim Omin = # + 1 で与えられる。
Proposition 5.4

Proof.

射影空間(2) 参照)。このときOを最高ルートとして、 min = G

Pg で考えると、X の固定部分群は放物型部分群 Q になる (演習 1.4
g =

X

2

g

はその巾零根基と一致する。これが示されれば q=Zg(X )' C だから、

dim Omin = dim g dim Zg (X )= dim g dim q + 1= dim g + 1 = # + 1となって証明が完結する。
ところがルートの string の理論より、( ; ) > 0 ()2  [ f0g ()40

2  [ f0g

x

 + が結論される。さらに 2 + に対
2 [ f g () 2 なので ([48, x 25.2] 参照) 、結局である (例えば [48, 9.4])。このことからまず
 0
して、[X ; X ] = 0

6

()

q=h

X

2

g g

( ; )=0となって確かに g は巾零根基である。

Q.E.D.

Remark 5.5 巾零 Lie 環 g はその中心が g であるようなハイゼンベルグ Lie 代数となっている。

O

後は計算あるのみであるが 、`(g) と dim min の値を表にして示しておく。もちろん2`(g) dim min である。また随伴軌道はすべて偶数次元であることがよく知られていて、
dim min はすべて偶数である。


O

O

g

An
Bn
Cn
Dn
E6
E7
E8
F4
G2

`(g)
dim Ominn2n
2n 1 4(n 1)2n 1
2n2(n 1) 2(2n 3)
16
22
27
34
57
58
15
16
5
6

Table 4: `(g) と dim OminC

Exercise 5.6 g = sl(n; ) において、上半三角行列を Borel 部分代数 b とするような正ルート系を取る。この時最高ルートに対応するルートベクトルは X = E1;n (Eij は行列単位) で与えられる。
(1) Zg(X ) を求めよ。
(2) g を求め、これが (2n + 1) 次元のハイゼンベルグ代数であることを確認せよ。(ハイゼンベルグ代数のごく一般的な実現と一致する)(3) b を含む放物型部分代数 q で `(g) = dim g=q となるものを決定せよ。

Theorem 5.7 (Joseph) g を複素 単純 Lie 代数で、An 型ではないとする。このとき、completely prime な両側イデアル J であってその随伴多様体が Omin に一致するものがただ一つ存在する。このイデアル J を Joseph イデアルと呼ぶ。さらに Joseph イデアルは次を
満たす。

41

(1) J は極大イデアルであって (したがって原始イデアルでもある) 、g の真部分代数からは誘導されない。

(2) J の無限小指標は次のように与えられる。20

f$i j 1  i  rank gg を基本ウェイトとする (基本ウェイトの番号付は [60] の付表による)。
Pn 3
1
1
i=1 $i + 2 $n 2 + 2 $n 1 + $n
Pn 1
1
Cn
i=1 $i + 2 $n
Pn 3
Dni=1 $i + $n 1 + $n

Bn

E6 $1 + $2 + $3 + $5 + $6
E7 $1 + $2 + $3 + $5 + $6 + $7
E8 $1 + $2 + $3 + $5 + $6 + $7 + $8
F4
G2

1
1
2 $1 + 2 $2 + $3 + $4
$1 + 31 $2

Table 5: Joseph イデアルの無限小指標 ([18, p. 15] よりの引用)

Remark 5.8 There are several notions of primitivity in U (g) (cf. Dixmier [66]).
I : maximal

I : completely prime+

I : primitive )+I : prime) I : semi-prime

A 3 1 : ring

 8J1 ; J2 : ideals 6= 0
(1) I  A : prime ideal , A=I) J1  J2 6= (0)(2) I  A : completely prime , A=I : integral domain


A=I

J
:
nilpotent
ideal(3) I  A : semi-prime ideal , ) J = (0)Proof.

証明は [18] を参照のこと。

I

イデアルの誘導について解説しておく。a g を部分代数とし 、 を U (a) の両側イデアルとする。このとき U (g) に含まれる最大のイデアルを から誘導されたイデアルという。
Q.E.D.
これは表現の誘導にちょうど 対応している ([66, Prop. 5.1.7] 参照)。

I

I

20この表は無限小指標だけでなく 最高ウェイト  を持つ Verma 加群 M の原始イデアルがちょうど J になるような  +  を与えていることに注意せよ。

42

最後に Gar nkle による Joseph イデアルの特徴付けを述べておこう。

まず S2 (g) = 2  E と G の表現に分解しておく。ここには最高ルートであって、
2 は最高ウェイトが 2 の既約表現である (その S2 (g) における重複度は 1 である)。E は
残りの既約表現の直和。

O

このとき最高ウェイト多様体の理論から 、E は min 上消えていること、2 の制限は
S2 (g) = E である。
min 上生き残ることが分かる (定理 1.2 参照)。したがって gr
Gar nkle の結果はこの逆が成り立つことを言っている。21

O

p J\

Theorem 5.9 (Gar nkle) I  U (g) を両側イデアルであって、余次元が無限になるもの(つまり dim U (g)=I = 1) とする。このとき I が Joseph イデアルであるための必用十分条
件は、gr I \ S2 (g) = E となることである。
Proof.

5.2[68] を参照のこと。(といっても西山は確認していない)

Q.E.D.

極小表現の定義と存在

この節では G を 実 単純 Lie 群、g を対応する 実 Lie 代数とする。

De nition 5.10 (; H) を既約 Harish-Chandra 加群とするとき、(; H) が極小表現であるとは、その原始イデアルが Joseph イデアルのときに言う。(gC が An 型の時には定義されない)
この定義では特に An 型の時に定義されていないことが不便で、さらに G によっては (いくら被覆群を取っても) 極小表現が存在しないことがある (命題 5.16 および表 6 参照)。そこで我々は以下のように拡張した定義もしておこう。

De nition 5.11 (; H) を既約 Harish-Chandra 加群とする。
(1) (; H) が GK-極小表現であるとは、その Gelfand-Kirillov 次元がゼロでない最小値を取るときに言う。

(2) (; H) が WF-極小表現であるとは、その波面集合 (あるいは漸近台) がただ一つの (ゼロでない) 極小巾零 KC 軌道の閉包になっているときに言う。
すでに見たように (或はこれから明らかになるように ) 、GK-極小表現と WF-極小表現は非常に近い概念である (が 、もちろん gap がある)。しかしこの二つと本来の極小表現との隔たりはかなり大きい。理想的には WF-極小表現であり、かつその原始イデアルが completely
prime 程度を要請するべきなのだろうと思われる。

Remark 5.12 以上のほかに Kazhdan による極小表現の定義がある ([13], [14])。その直感的な理解には、例えば宇澤による解説 [16] (バージョンアップしたものがあるらしいので本
21 gr J は素イデアルであろうと思われるが 、よくわからない。

43

人に問い合わせるのがよいだろう) を見よ。また実 Lie 群に対しては Torasso による構成がある ([17])。いずれも極小表現の研究にとって重要で活発な潮流の一つであるが 、以下では触れない。
以下特に断らない限り、原始イデアルが Joseph イデアルであること を極小表現の定義とする。
まず極小表現を持つような単純 Lie 群をすべてリストアップしよう。以下、単純 Lie 群
G が極小表現を持つとは、 G のある有限被覆群が極小表現を持つことを意味するとする。

HO \Theorem 5.13 極小表現 (; ) の随伴多様体は min sC の連結成分の閉包 (の和) であって、Gelfand-Kirillov 次元は極小巾零軌道の次元のちょうど 半分に一致する。
1ss
Dim min = dimC Omin = dimC Omin
(または dimC Omin)
2O

Omin \

Omin [ f0g に含まれていることは明らか。一方
AV () 6= f0g だから、主張が従う。

定義から随伴多様体が min =sC は高々二つの軌道の和であり、Proof.

また Gelfand-Kirillov 次元については定理 2.18 (1) と極小表現の定義より従う。 Q.E.D.

Remark 5.14 Dim min は表 5.1 を見れば具体的に分かる。ただし 1=2 の因子を忘れないこと。

Remark 5.15 極小表現の随伴多様体が実は一つの軌道の閉包になることは後で示される。
定理 5.23 を見よ。

\O

定理 4.2 で sC
min の分解について述べてあり、それに続く表を見ればこれがいつ空でないかが分かる。空であるならそのような対称対に対しては極小表現が存在しない。また
Joseph イデアルの定義から A 型の群に対しては極小表現がない。さらに Vogan により次の結果が得られている。

Proposition 5.16 G を SO0 (p; q ) (p + q : odd ; p; q  4) の普遍被覆群とする。このとき G
は Dim  = 12 dimC Omin となるような既約表現を持たない。
Proof.

[1, Th. 2.13] 参照。

したがって SO (p; q ) (p + q : odd ; p; q

Q.E.D.

 4) には極小表現がない。

逆にこのほかの場合は (ほとんど ) すべて極小表現を持つことが知られている。以上の議論で可能性が残った対称対と、その極小表現を構成した (あるいは中心的な役割を果たした)人たちをリストアップしてみよう。注意すべきことは極小表現の存在を論じるのとその構成をすることは微妙に違うし 、あるいは表現が構成されていてもそれが極小表現であるかど う
かという判定はまた別物であるという点である。(したがってリストに漏ている人がたくさんいることを忘れてはならない)
表 6 : 極小表現を持つ対称対 (G; K ) 一覧

44

Table 6: 極小表現を持つ対称対
Cartan分類記号 典型例 G=K

Contributers

エルミート対称対

BDI
CI
EIII
EVII

SO(p; 2)=SO(p)  SO(2) (p  2)
Sp(n; R )=U (n)E6;2 =Spin(10)  SO(2)E7;3 =E6  SO(2)

???
Weil
???
???

非エルミート対称対

BDI
FI
EII
EVI
EIX
G
EI
EV
EVIII

p : even ; q = 3 : Vogan
SO(p; q )=SO(p)  SO(q ) (p  q  3) p + q : even Kostant,
Binegar-Zierau
F4;4 =Sp(3)  SU (2)Gross-Wallach
E6;4 =SU (2)  SU (6)Gross-Wallach
E7;4 =Spin(12)  SU (2)Gross-Wallach
E8;4 =E7  SU (2)Gross-Wallach
G2 =SO(4)Vogan
E6;6 =Sp(4)Brylinski-KostantE7;7 =SU (8)Brylinski-KostantE8;8 =Spin(16)Brylinski-Kostant45

5.3 K タイプ

g = k  s を Cartan 分解として、記号は x4.1 のものを用いる。またこの節では対称対 G=K

は極小表現を持つとする。

Theorem 5.17 G の極小表現 (min; H) を考える。sC の KC の表現としての最高ウェイト
を 、最高ウェイトベクトルを X とする。また X = X とおく。このとき(1) G=K が非エルミート対称対なら、X は H 上局所自由に作用する。
(2) G=K がエルミート対称対ならば 、X または X が H 上局所自由に作用する。
Vogan [1, Lemma 3.4] にしたがって証明する。
もし定理が成り立たないとすると X はど ちらも局所自由に作用していない、したがって ker X がある。(非エルミート対称対の場合には X は KC 共役だから、X は同時に局所自由でなくなる。)
X は局所巾零に作用する。実際
Proof.

Hnilp = fv 2 H j 9n s.t. X nv = 0g
とおくとこれは部分 (gC ; K ) 加群となる。ところが ker X =6 0 なので Hnilp 6= 0 、既約性より Hnilp = H となる。
X 62 AV (min) となることを示す。まず KC 不変な有限次元部分空間 H0  H を取る。
I0 = Ann H0 とおくと、これは左イデアルであって、X N 2 I0 (9N ) が局所巾零性より分かる。J を Joseph イデアルとすると、明らかに J  I0 であるから、V (gr J ) = Omin  V (gr I0)
ところで、H0 は KC 不変だから、V (gr I0 )  sC であって、しかもこれは KC 軌道の和であs
6 0 もわかる。以上から、V (gr I0) は Ominる。また H は有限次元ではないから、V (gr I0 ) =+ssの閉包 (エルミート対称対のときには Omin
; Omin
単独か、あるいはこの二つの集合の和の閉包) となるので、特に X or X 2 V (gr I0 ) がわかる。ところが一方では、
X 62 (X のゼロ点)  V (gr I0 )なので 、X
62 V (gr I0 ) である。同様に X 62 V (gr I0 ) もわかる。これは矛盾である。
Q.E.D.

Exercise 5.18 (; H) を (gC ; K ) 加群とし 、巾零元 X 2 gC をとる。
(1) X に対して

HX = fv 2 H j 9n s.t. X nv = 0gとおくと、これは部分 (gC ; K ) 加群となることを示せ。(実際には gC で不変であることを言うだけでよい。 [1, Lemma 3.2] 参照。)

46

(2) (; H) を既約とすると、巾零元 X は H 上局所自由に作用するか、あるいは局所巾零に作用することを示せ。

Remark 5.19 一般の Harish-Chandra 加群の随伴多様体と、ある種の巾零 Lie 環の作用の局所自由性については行者-山下の結果がある ([35])。
その結果を用いると、ハイゼンベルグ Lie 代数 gC 3 X (注の 5.5 を見よ) の約半分の大
きさの部分巾零 Lie 代数 n があり、その展開環 U (n) が (min ; H) 上局所自由に作用していることが分かる。n も具体的に記述することができる (北大での講演ノート参照) が 、煩雑なので今は触れない。

H

6

Exercise 5.20 (; ) を既約 Hraish-Chandra 加群とする。このとき v = 0
そのゼロ化左イデアルを = Ann v = X U (gC )  (X )v = 0 とおく。

I

f 2
j
g
V (gr I ) = f0g () dim H < 1

2 H に対して、であることを示せ。

Theorem 5.21 (Vogan) 極小表現 (min; H) の K タイプへの分解は重複度自由であって、つぎのように書ける。随伴多様体 AV (min ) が X を含むとする。このとき、ある KC 最高
ウェイト  が存在して、Xmin K '

m0

 +m

ここに  は最高ウェイトが  の K の表現を表す。

Remark 5.22 AV (min ) 63 X なら (必然的にエルミート対称対の場合) 、Xをとり、正ルート系を取り直して同じことをやればよい。
Proof.

だいたいの概略を述べる。

H

まず X は局所自由に作用することと、 KC 最高ウェイトであることに注意せよ。 のK タイプを取り、その最高ウェイトを  、最高ウェイトベクトルを v としよう。このとき、X m v = 0 であって、これは最高ウェイトが  + m の最高ウェイトベクトルである。

6

一方は dominant ではあり得ないので、
イトになり得ない。

nは十分大きな n に対しては最高ウェ

9fi j i 2 I g があって、この二つの考察から、

min K =

X X
i2I

6

m0

i +mとなることがわかる。(i = j (i = j ) も許していることに注意)#I < 1 となることを示そう。

47

Harish-Chandra 加群 H の次数付けをうまく取ると 、I の任意の有限部分集合 I0 に対

して

X X
i2I0 0mkとなるようにできる。したがって

dim Hki +m  Hk



X X





dim i +m

i2I0 0mkX#I0dim m0mk

f 2 +K j ( ; ) 6= 0g とおくと;である。ところが 、 Weyl の次元公式により +K =1
0
Y ( ; )+;
A m#K
dim m = @(K ; )2+;+ (lower terms)

(5.1)

K

+;

となることがわかる。d = #K
C があって、+ 1 と書こう。すると、k に寄らないあるゼロでない定数

dim Hk  #I0  C  kd + O(kd 1 )(5.2)

であることがわかる。
ところが Dim min = d である! もしこれがわかれば 、上式 5.2 において左辺も k の d 次多項式であり、結局 #I0 は上から押さえられることが分かる。一方 I0 は任意の有限部分集合だったから、I そのものが有限集合である。
そこで Dim min = d を示す。

O

O

s
s
であることを示せば十分である22 (定理 5.13 参照)。しかし min
それには d = dim minは最高ウェイト多様体であり、その次元は演習 1.4 (3) よりちょうど d となることがわかる。

定理では #I = 1 であることが主張されているが 、この事実は証明が難しい。実際のとQ.E.D.
ころ Vogan の証明においても Case-by-Case Analysis が使われている。

5.4

随伴サイクルと Bernstein 次数

Theorem 5.23 極小表現 min の極小 K -type を  とする。次の条件

2 +K に対して、( ; ) = 0 =) (; ) = 0(5.3)

が成立していると仮定する23 。この時次が成り立つ。

22 非エルミート対称対の場合。エルミート対称対でも同様。
23この条件(5.3) はエルミート 対称空間でない場合、既に知られている極小表現については成り立つ。エルミート対称対の場合にも例えば Weil 表現では成り立っている。一般に証明可能だと思う。(Open Problem)48s(1) 極小表現の随伴サイクルは
sC の極小巾零 KC 軌道を Ominとしたとき (エルミート対称+ss対の場合は Omin かまたは Omin のいずれか ) 、sAC (min) = Omin
(重複度は 1)で与えられる。

(2) 対応する KC 最高ウェイトを
+K; = fとすると、は GC の最高ルートでもあって、

2 +K j ( ; ) 6= 0g; +; = f 2 + j ( ; ) 6= 0g =とおけば 、Gelfand-Kirillov 次元 Dim min は

1
1
dimC Omin = (#+; + 1)2
2s
= dimC Omin= #+K; + 1

Dim min =となる。

(3) さらに Bernstein 次数はs
Deg min = deg Omin
= (#+K; )! ( ; )+; 2(K ; )Y

2Kと表される。
Proof. ほとんどの部分の証明は終わっている。証明すべき点は、随伴多様体がただ一つの軌道の閉包であること (ここまでは二つの軌道の閉包になる場合を排除できていなかった) 、さらにその随伴サイクルにおける重複度が 1 であることの 2 点である。

しかしこの二つの事実は min の Bernstein 次数を計算すれば同時に解決できる。実際もs ) (または ( s )) の次数が一致したとしよう。する
し Bernstein 次数と射影多様体 ( minminと随伴サイクルは(sm min
非エルミート対称対の場合

PO

PO

O
s+ + m O s
m+ Ominmin エルミート対称対の場合

AC (min) =と表されるから、定理 2.18 (2) により、非エルミート対称対の場合にはs
Deg min = m deg Omin
= m Deg min ) m = 1

Os' Ominであることに注意s+がわかる。エルミート対称対の場合には射影多様体として mins+ = deg s
すると 24 、deg min
min = Deg min である。このことから

O

O

+
+
s+ + m deg O s
Deg min = m+ deg Ominmin = (m + m ) Deg min ) m + m = 1

24 実際この軌道は GC の作用で移りあう。

49

一方、m は非負整数なので、結局
そこで Bernstein 次数が degs であることがわかる。
AC (min) = Omins
Ominに一致する ことを示そう。

まず min の K -type への分解が定理 5.21 により分かっているが 、各既約成分  +m がちょうど 次数付けを与えていることに注意する。そこで Weyl の次元公式によってヒルベルト関数を計算すると

h + m + ; i
h; i
2+K
+; Y h ; i+;= m#K+ O(m#K 1 )
h; i
2+;

dim  +m=YKとなる。ここで条件(5.3) を使った。あとはヒルベルト関数とポアンカレ級数との関係より、s次数の公式が従う。また ( ; ) = 0 なら ( ; ) = 2( ; ) であることに注意せよ。一方 minの方は最高ウェイト多様体なので、その関数環の KC 加群としての分解より

6

O



s
R Omin
=

X
m0

m

であること、次数付けがちょうど m でなされることが分かる (定理 1.2 (3) 参照)。この式から同様にして射影多様体の次数を計算すれば 、Deg min と全く同じ式が得られ、両者は一致する。(定理 3.24 参照)
Q.E.D.

50

6

Weil 表現 : 極小表現の例 I

Abstract
この章ではシンプレ クティック群 Sp(2n; R ) の二重被覆群であるメタプレ クティッ
ク群を考え 、極小表現の例として Weil 表現を取り上げ る。まず Weil 表現の実現をSchr
odinger モデルで与え、そのあと Fock モデルによる実現と Harish-Chandra 加群を具体的に計算する。さらに定義にしたがって Weil 表現の二つの既約成分がど ちらも極小表現になることを示す。Weil 表現については Weil の原論文のほか、第四回の整数論
サマースクール報告集、[69], [70] などを参照されたい。また Howe による種々の dual
pair の論文も役に立つだろう ([72] [74])。

6.1

シンプレクティック群とハイゼンベルグ群

W を実ベクトル空間で、非退化シンプレクティック形式 h; i を持つものとする。W の極大
な全等方的部分空間 (totally isotropic space) X; Y であって W = X  Y となるものが取れる。これを極分解 (polarization) という。
G = Sp(W ) = Sp(2n; R )をシンプレクティック形式を不変にするような線型変換の全体とし 、シンプレクティック群と呼ぶ。ただし dim W = 2n とおいた (必然的に偶数次元)。

Exercise 6.1 W の極大全等方的部分空間の全体を X で表す。
(1) X には Sp(W ) が推移的に作用していることを示せ。したがって X には等質多様体としての構造が入る。(演習 4.4 参照)(2) X を等質多様体として具体的に表示し 、dim X を求めよ。(さらに余裕があればグラスマン多様体との関係を論じよ。)(3) 以上の考察を極分解に対して行なえ。
さらに H = W

 R z とおき、H に次のような積を定義する。

(w; t)  (w0 ; t0 ) = (w + w0; t + t0 +1
hw; w0i) (ただし w + tz = (w; t) などと書いた)
2

この積で H は群となり、ハイゼンベルグ群と呼ばれる。

Lemma 6.2 (1) G = Sp(W ) は次のように H の自己同型を引き起こす。
g  (w; t) = (gw; t) (g 2 G; (w; t) 2 H )この対応により、G Aut H とみなせる。
51

(2) R = r  1W をゼロでないスカラー作用素とすると R は次のような H の自己同型を引き起こす。

R  (w; t) = (rw; r2t)
このようにしてProof.

R   Aut H とみなせるが 、G \ R  = f1g である。
Q.E.D.

単なる計算である。

H の既約ユニタリ既約表現 (; V ) を取る。中心の元はスカラーで作用するから (tz ) =(t)1V と R の乗法的一次元表現を用いて表すことができる。このとき を  の central
character と呼ぶ。
Theorem 6.3 (Stone-von Neumann) H のユニタリ既約表現 (; V ) は次のように分類される。

(1) central character

Rが自明なら、(; V ) は一次元の指標であって、W = 2n の表現と本質的に同じ 。

(2) central character が自明でなければによって (; V ) はユニタリ同値を除きただ一通りに決まる。

(1) は簡単。
(2) は本質的に Mackey 理論である。簡単に説明する。
A, B を簡単のためアーベル群とし 、その半直積群 H = A n B を考える。今の場合には
A = X 、B = Y  R z と取ればよい。さて A は B に自己同型として作用するので、双対を取ると B の既約指標の空間 B ^ にも作用している。Mackey 理論は次のことを主張する。
B ^ =A 3 と の固定部分群 A 、A の既約指標 ' 2 A^ を取る。このとき A n B の表現として '  は well-de ned であり、そのユニタリ誘導表現
Proof.

Ind HA nB ('  )は既約である。H の任意の既約表現はこのようにして 一意的に 得られる。

さて 、我々の場合には B ^ =A は central character に対応しており、これが自明なら、
A = A で、(1) に相当する。自明でなければ A = 0 となることがわかる。この場合は' の取り方は一意的であって central character を決めると既約表現はただ一通りに決まる。

fg

Q.E.D.

そこでいま自明でない central character を一つ固定して、対応するハイゼンベルグ群の表現を ( ; V ) と書こう。さて、g Sp(W ) に対して、表現2g (h) =  (g 1  h) (h 2 H )52

gを決めると Sp(W ) が H に中心を固定して働いていることから 、この表現  もまた同じ
central character を持つ。したがってそれは  とユニタリ同値である。

9!(g) ユニタリ作用素 s.t. !(g)g (h)!(g) 1 =  (h) (8h 2 H )このようにして G = Sp(W ) の表現空間を V に持つユニタリ射影表現 ! が構成できた。したがって ! は G の普遍被覆群の表現を定めるが 、実は二重の被覆を取れば十分である。

Theorem 6.4 (Weil) 定数倍を調節することにより ! は Sp(W ) の二重被覆群 Mp(W ) のユニタリ表現を定める。この表現を Weil 表現、あるいは調和振動子表現と呼ぶ。また Hの別の自明でない central character に対して同じように表現の構成を行うと互いに非同値でないものは (tz ) = eit に対応する二つのみである。
最初の主張の「表現がうまく定義できる」部分は本質的ではあるが省略する。(あとで具体的に表現を構成する。)
Proof.

central character に関する主張については次のように考えればよい。R を補題 にある
Aut H の元とする。すると R =  Ær 2 であることが容易に分かる。ところが

g  R   (h) =  (R 1 g 1 h)=  (g 1R 1 h) = g   (R 1 h)
= ! (g ) 1 (R 1 h)! (g )= ! (g ) 1(R   )(h)! (g )Æだから、 ! (g ) は central characterr 2 に対しても intertwiner になっている。したがって、  =(  )2 =
1 だけの自由度しか残らない。この二つが互いに異なることは実際に構成してみれば分かる。(一方は最高ウェイト表現、他方は最低ウェイト表現となる) Q.E.D.

R

R

以下

6.2

f g

(tz ) = eit で決まる central character に対応するもののみ考え、それを ! と記す。

Schrodinger モデル

抽象的なレベルでは Weil 表現が構成できたものの具体的にこれを捉えるには表現の作用
素を具体的に書き下してみるのがよい。そこでまず H の表現 ( ; V ) を決めよう。すでにMackey 理論で紹介したように、これは B = Y
z の一次元指標からの誘導なのであった。

R
表現空間 : V = L2 (X ) = L2 (R n ) 3 f (x)表現の作用素 :((; 0))f (x) = f (x +  ) (x;  2 X )((; 0))f (x) = (hx;  i)f (x) = eihx;i f (x) ( 2 Y )((0; t))f (x) = (t)f (x) = eit f (x) (t 2 R )53このとき Weil 表現の作用素は次のように与えられる。
まず P を Y を不変にするような放物型部分群とする。このとき P の Levi 部分群は X; Y
を同時に不変にするような部分群となり、 GL(n; ) = GL(Y ) に同型である。GL(n; )a S (a) Sp(W ) は W 上の線型変換として S (a)(x; y ) = (t a 1 x; ay ) として実現される。
ただし X はシンプレクティック形式 ; によって Y の双対空間とみなしている。

7!

R

2

R 3

hi

P の巾単根基は可換群となり、b : X ! Y であって hx; bx0 i + hbx; x0 i = 0 (x; x0 2 X ) が成り立つようなものを用いて T (b)(x; y ) = (x; y + bx) と定義される線型変換 T (b) 2 Sp(W )の全体となる。

hi

Exercise 6.5 W = X Y をシンプレクティック形式 ; に関する極分解とする。このとき線型変換 b : X
Y であって x; bx0 + bx; x0 = 0 (x; x0 X ) が成り立つようなものを取れば 、 x; bx0 は X 上の対称な双一次形式を決めることを示せ。したがってこのような bは対称行列と同一視できる。

h

i

!

h

i h

i

2

この P に対しては Weil 表現は非常に簡単な表示を持つ。実際

Weil 表現の作用素 :p! (S (a))f (x) = det a  f (t ax) (a 2 GL(n; R ))p


1
2 x; bx f (x) (b : Xh! (T (b))f (x) =i! Y : 上の性質を持つもの)

det a はメタプレクティック群 Mp(W ) に対しては一価関数となっていることに注意しておく。
さらに P は極大放物型部分群なので、これを「裏返す」ような位数 2 の変換  に対して
! を定義しておいてやれば Sp(W ) 全体で定義されることになる。 は次のように決められ; en と Y の基底 f1 ; f2 ; ; fn を ei ; fj = Æij となるようる。まず X の基底 e1 ; e2 ;にとっておき、

f



g

f



g

h

i

 (ei ) = fi ;  (fj ) = ejとなるようにする。このときs  Z! ( )f (x) =

i
2

n

X

(h (x);  i)f ( )d =

s

i
2

n Z
X

eih(x);i f ( )dと定義する。ここでも根号は「 うまく」取らなければならないが詳細については省略する。

Exercise 6.6 以上のようにして定義した作用素 ! (g ) はすべてハイゼンベルグ群の表現のintertwining 作用素になることを確かめよ。
Exercise 6.7 ハイゼンベルグ群の表現 ( ; L2 (X )) の C 1 ベクトル全体はちょうど 急減少関数の空間 (Schwartz 空間) と一致することを示せ。
54

6.3

Fock モデル

目標： Weil 表現を in nitesimal に Lie 環の表現として考えてその作用を具体的に書き下す。
さらに Harish-Chandra 加群を Fock モデルを用いて実現する。
前節での Weil 表現の構成は座標にあまり依存しない形で行ったが、ここでは微分表現を
具体的に書き下す必要があるから次のように具体的に G = Sp(2n; ) を実現しておく。ま; fn ; e1 ; e2 ; ; en を採用する (まず Y の基底があることに注ず標準基底として f1 ; f2 ;意)。つまり



f





g

W=

Y
X

R

するとシンプレクティック形式は次の行列  を使って書ける。


 = 10
n

1n
0
t
0
0
0 ; hw; w i = ww (w; w 2 W )さらに極大放物型部分群はブロック型の上半行列となり、


P 3 S (a)T (b) = a0 t a0 1

1n b
0 1n

(a 2 GL(n; R ); b 2 Sym(n; R ))と表示される。

S (R n )  L2 (R n ) を Schwartz 空間とする (演習 6.7 参照)。この空間には Weil 表現の微分として G = Sp(2n; R ) の Lie 環の複素化 gC = sp(2n; C ) が働くが 、その作用を書き下し

てみる。

Ai;j
Bi;j
Ci;j





@
1
Ei;j
0
7
!
x
=
+
Æ
i
t
0
Ei;j
@xj 2 i;jp
0 Ei;j + Ej;i
= 0
7!
1 xi xj
0


p
@2
0
0
1
= E +E 0 7 !
@xi @xji;jj;i

ここで Ei;j は (i; j ) 成分だけが 1 であるような行列単位を表す。また X示とした。

3 P xi ei を座標表

Exercise 6.8 Weil 表現 ! の微分表現を具体的に計算せよ。このうち Ai;j ; Bi;j については表現の定義式を直接微分して計算できる。Ci;j については
Ad  (Bi;j ) = Ci;j ;  =

0
1n

1n
0

であることと  の作用、つまりフーリエ変換により多項式を掛けることと微分をすることが互いに入れ代わることに注意すればわかる。

55

このままでは極大コンパクト群 K の作用が見難いので更にちょっと工夫をする (例えば[77, III.2.1] を見よ)。以下のような表現の実現方法は Fock type の実現と呼ばれる。それに対して今までやってきたような L2 関数による実現を Schrodinger type の実現と呼ぶ。

xai = (xi@=@xi ) ; ai = (xi + @=@xi )jxj2=2) 2 S (R n ) に対して、写像  を次のように定義する。
 : C [ai j 1  i  n] 3 p(a1 ;    ; an ) 7 ! p(a1 ;    ; an)v 2 S (R n )と書こう。このとき v = exp(ai は S (R n ) に微分作用素として自然に作用しているが 、この作用を  で引き戻すと、
ai v = 0; [ai ; aj ] = 2Æi;j

C

j  

だから、 ai は [ai 1 i n] に 2@=@ai として働く。以下 gC の作用を上の微分作用素として書き下してみよう。
まず K' U (n) を次のように実現しておく。
K=



A B
B A



C [ai j 1  i  n]

A + iB 2 U (n)Cartan 対合  を (x) = t x (x 2 g) または (g ) = t g 1 (g 2 G) として、g = k  s をCartan 分解とすれば sC には K が adjoint で作用している。 sC は K の表現として既約ではなく、二つの既約成分 s に分解する。つまり gC = s  kC  s+ となっている。

kC の生成元は(1) Ai;j(2) Bi;jAj;i (i 6= j ) と
Ci;j の二通り。

(1) の場合、引き戻した多項式環 C [ai j 1  i  n] 上の作用は次のようになる。

xi(2) の場合、Bi;j@ai + ai aj aj
=
 2
xi
だから
@xj
2


@
1  
@
@
xj
= (ai aj ai aj ) $ ai
a
@xi
2
@aj
@ai j

@
@xj

Ci;j を引き戻すと、同様な計算でp

1 xi xj@2@xi @xj



$

p



(1), (2) より結局 kC の生成元として多項式環上の微分作用素

ai@1+ Æi;j
@aj 2
56





@
@
1 ai
+
a
@aj
@ai j



gl

がとれることがわかる。この微分作用素たちは (n; C ) を生成するが 、 1=2 で \繰り込まれている"(renormalized) ことに注意せよ。また の中心の元は (標準的にとれば )
!
n
X
@
n

k

p

aj

1

j =1

+

@aj

2

に対応している。

s の生成元はC(3) Ai;j + Aj;i と(4) Bi;j + Ci;j の二通り。
(3) の場合 :

xi

@
1
@2
@
+ xj
$
ai aj + 2
@xj
@xi2
@ai @aj(4) の場合 :

p
となるから



@2
1 xi xj +@xi @xj



p

$

1



@2
1
ai aj + 2
2
@ai @ajs の生成元としてC

ai aj ;がとれることがわかる。ここで@2@ai @aj

k のウェイトを考えれば結局Cs () fa a g; s ()
i j

+



@2
@ai @aj(6.1)となっていることがわかる。あるいはより詳しく、ルートベクトルの作用を書くと


pX"i +"j = p 1ai aj ;X "i "j =1@i @j1
X"i "j = ai @j + Æij
2となっている。
以上をまとめると
2

L2 (R n )  S (R n )  C [x1 ;    ; xn ]e jxj =2=  (C [a1 ;    ; an ])(6.2)

   ; xn]e jxj2= は (gC ; K )-加群になることがわかる。もちろんこの作用を引   ; an] も同型な (gC ; K )-加群である。

であって C [x1 ;き戻して C [a1 ;257Mp(2n; R ) の Weil 表現 (!; L2 (R n )) の Harish-Chandra (gC ; K )-加群は n 変数多項式環 C [a1 ;    ; an ] に同型である。作用は上で計算したように与えられる。
Lemma 6.9

(1) Weil 表現 (!; L2 (R n )) は二つのユニタリ既約表現の直和であって、その二つの既約成分を (!  ; L2 (R n ) ) と書くと、L2 (R n ) はそれぞれ偶関数および 奇関数の空間である。またユニタリ内積は通常の L2 内積で与えられる。
(2) (! ; L2 (R n ) ) の K タイプへの分解は重複度自由であって、具体的には次のようになる。

Theorem 6.10(! + ; L2 (R n )+ ) 'X(! ; L2 (R n ) ) '

X



m 0



m 0



I=2+2m"1(6.3)

I=2+(2m+1)"1

(6.4)



ただし I = (1; 1;; 1); "1 = (1; 0; ; 0) であって、 は Keの最高ウェイト  の有限次元既約表現である。
Proof.

' U (n)e (U (n) の二重被覆群)

証明はすべて終わっている (はずだ )。うーむ。

Q.E.D.

特に K タイプへの分解に注目すると、この場合  = I=2 または  = I=2 + "1 であって
= 2"1 は最高ルートであることに注意しておく。(記号は定理 5.21 参照)
6.4

極小表現としての Weil 表現

Theorem 6.11

(1) Sp(2n; R ) の極小表現は二重被覆の表現であり、ちょうど 4 つある。それらは Weil 表現の既約成分であって、特にユニタリ表現である。

s+(2) 極小表現 !  はど ちらも同じ 随伴サイクルを持ち、 AC (! ) = Ominである。またn 1
Dim ! = n; Deg ! = 2 が成り立つ。

Proof.

Weil 表現が極小表現であることを確認しよう。それには次の二点を確認すれば十分である。

 随伴多様体が Os+ であること。
 原始イデアルが completely prime であること。
min

しかもこれを個々の !  ではなく、 Weil 表現そのものについて行えばよい。(理由は各自考えよ。)

まず随伴多様体であるが 、次数付けを多項式の次数 2 で行うことができて、それによは gr V の annihilator に入ることが分かる。また定義から C も annihilator に入っるとている。したがって随伴多様体は + に含まれる。

s

s

2

k

次に表現の具体形を見ると、X"2i +"j X2"i X2"j Ann (gr V ) であることが容易に分かる。
これらの多項式で消えるものはちょうど 対称行列 (= + ) の中で階数が 1 のものと同一視でき、最低次元の軌道がこのような determinatal variety になることはよく知られている。

58

s

g I

次に原始イデアルについて。これは表現の作用素が生成する代数が U ( C )= であることと、その具体形から、多項式環上の微分作用素でその代数が表されること、さらに Weyl 代数が整域であることより明らかである。

Gelfand-Kirillov 次元、 Bernstein 次数についてはすでに公式があるので機械的にそれを適用すればよい (もちろん直接計算もできる)。
Q.E.D.
Exercise 6.12

Weil 表現 !  の Gelfand-Kirillov 次元が n であることを直接示し 、このことと、軌道の次元の情報から随伴多様体がOs+ であることを結論せよ。
min

Weil 表現は dual pair を用いた表現の theta 対応、あるいは保型形式の theta lifting な
ど 豊かな理論が展開する場を提供している。一般に極小表現はこのような場を提供することが期待される。表現論への dual pair の応用は数多いが 、例えば [82] を参照して欲しい。

59

7

不定符号直交群の極小表現 : 極小表現の例 II

Abstract=( )(Kostantrsted-)Binegar-Zierau

この節では G SO0 p; q を考え p; q については後で著しい制限を加える 、その極小表現を構成する。その方法は主にによって建設され 、によって見通しよく整備された。また
小林 による研究もある。
方針としては、ある特別な退化主系列を幾何的に構成し 、その部分表現を調和関数として取り出す。するとそれが極小表現になるというものである。このやり方はによる既約表現の構成とよく似ている。またこの場合は非エルミート
対称対だが、ほかの非エルミート対称対の場合にも似たような方法が適用できることがによって報告されている。

derivedfunctor module

Brylinski-Kostant

7.1

退化主系列表現M = R p+q = E  F; E = R p ; F = R q とする。M 上の不定値二次形式 Q をQ(x + y ) =

p
X

q
X

xi

2

i=1

yj2 = RE

RF

(7.1)

j =1

と書くことにする。(二次形式と二次の多項式を混同しているが 、許されたい)
二次形式 Q を不変にするような (不定値) 直交群 O (Q) = O (p; q ) を考える。以下その単位元の連結成分 G = SO0 (p; q ) の極小表現を考える。簡単のために 0 p q としよう。

 

よく知られているように極大コンパクト部分群は K = SO (p) SO (q ) である。この場
合 G の実ランクは p であって (したがって p = q のときに split =R ) 、岩澤分解は次のようになる。

G = KANK = SO(p) SO(q )A = exp a; a = a = d(0a) d(0a)j d(a) = diag (a ; a ;    ; ap)1

2

N : 記述困難 (笑)

a のルートを(fi  j j 1  i < j  pg
(p = q )fi  j j 1  i < j  pg [ fi j 1  i  pg (p < q)とする。ここに i (a) = ai で、 2 a とみなしている。標準的に正ルートを取ると最高ルー
=

トは= 1 + 2 で、これは通常の (restricted でない) ルートでもある。さらに単純ルート
60

系は
(

=

f i = i i j 1  i  p
f i = i i j 1  i  p+11g [ f p = p 1 + p g (p = q )+1

1g [ f p = p g

(p < q )さて C = (Q のゼロ点) を光錐とし 、その (実) 射影化を X = P(C ) と書く。また 1 =1 2 に対応する実極大放物型部分群を P とおく。つまり P = MP AP NP とすると AP は一次元で、MP ルートは 2 i < j p に対応するルートたちになっている。また
2
3



K\

6
MP = 64

"O(p 1)

"

O(q

1)

7
7
5

 K " = 1

NP $ f1  j j 2  j  pg ([f1 g)
Lemma 7.1

X は G 等質多様体で、等質多様体として X ' G=P となる。

Proof. X に G が推移的に働くことは見やすい。あとは v1 = diag (1; 0;の固定部分群が P であることを確かめればよい。

   ; 0; 1; 0    ; 0)

Q.E.D.

v1 2 M はこの場合「最高ウェイトベクトル」であって、C  = C nf0g は (実)最高ウェイト多様体になることに注意せよ (もっとも軌道は二つに分かれるが )。X はその射

Remark 7.2

影化である。

X 上の直線束 L は P の適当な一次元表現  = (Æ;  ) (Æ = 0; 1;  2 C ) に対応して G
主束の構造を持つ。つまり L = G P C  と表せる。 ただし  は P の一次元表現で、
(man) = "(m)Æ a
である。
このとき切断の空間 (L ) には自然に G の作用が定義でき、表現となるが 、表現論の1 バージョンを考え言葉を使うとこの空間は退化主系列表現の空間 Ind G
P  である。特に C
るとInd GP  = f' 2 C 1(G) j '(gman) = "(m)Æ a  '(g )gと(L ) = f' : C  ! C j '(ax) = (sgn a)Æ jaj  '(x) (x 2 C  ; a 2 R  )gが同一視される。
極小表現はある特別な一次元表現  に対して、このして構成される。

61(L ) の調和関数のなす部分空間とあまり厳密でないが 、なぜこのようにして極小表現を構成するかという理由を述べる。まず極小軌道の次元を見れば Dim min = p + q 3 とならなければいけないことが分かる。そこで理想的には min の表現空間として、 dim = p + q 3 の多様体上の関数空間を取りたい。ここで上の退化主系列の場合に次元を見てみると、次のようになるだろう。
Remark 7.3

C (光錐) dim = p + q

+

1

射影化

X = P(C ) dim = p + q2+

ker (微分方程式の解空間)?

dim = p + q

3

X = P(C ) の上の関数空間を少し捻って直線束の切断を取ったのが退化主系列の空間。そこでさらに調和関数の空間を考える (微分方程式で次元を一つ落とす) 事で、表現空間を得ようとしている。
7.2

ラプラシアンの核空間

k 2 Z に対して Æ = (1 ( 1)k )=2 とおき、 = (Æ ; k) ととる。また切断、誘導表現のカ
テゴ リーは C 1 ではなく、代数的なもの を考えることとする。このとき (L ) = k はk= f' 2 R C  j '(ax) = ak '(x)gとなっている。そこで C を含む錐 D で、M = R p+q で開になっているものを取り、
k(D) = '
D '(ax) = ak '(x) (x D; a R  )

f 2R

j

2

2

と定義しておこう (つまり D は C の錐状近傍)。

M = E  F 上のラプラシアン 25  = p;q を = (E ) (F ) = @Q

で定義する。またオイラー作用素を

I=

n
X

xi

i=1

@
(n = p + q; xj +p = yj )
@xi

と書く。
Lemma 7.4

次の等式が成り立つ。

[I; Q] = 2Q; [I; ] = 2; [; Q] = 4(I + (p + q )=2)

特に '2 k に対して

Q' = Q' + 4(k +25ダランベルシアン ?

62

p+q
)'
2

g

Proof.

routine work

Q.E.D.

以下 p + q を偶数と仮定する。この仮定は極小表現を構成する上で本質的である。

(D) ! k 2 (D) が成り立つ。さらに k = 2(D) かつ f (x) = 0 (x 2 C ) なら

Lemma 7.5kf (x) 2 :(p + q )=2 に対してk

f C  = 0が成り立つ。
Proof.

dQ 6= 0 だから、 f = 0 , f = Q' と書けている (Hilbert の零点定理)。' 2

k 2に注意せよ。したがって

Q' = Q' + 4(k2+p+q)' = Q'
2

C 上では Q = 0 なので f C  = 0 がわかる。

Q.E.D.

この補題により f (x) を C  から D へどのように (代数的に ) 拡張しても k = 2 (p + q )=2
2 (p+q )=2なら f C  は拡張の仕方に依らないことが分かる。特に= ker は well2 (p+q )=2
は G 不変de ned である。また  は明らかに G 不変であるから、 = ker な部分空間であって、 G の表現が定義される。この表現を (; ) と書くことにしよう。これが極小表現になることを示すのが以下の目標である。

H
H

7.3

H





K タイプと球面調和関数

まず古典的な球面調和関数の理論を復習する。
Lemma 7.6

S p 1 を p 1 次元球面とすると、SO(p) が自然に L2 (S p 1) に働いている。

(1) SO(p) の表現として L2 (S p 1 ) は重複度自由であり、

L2 (S p 1) '

X



m 0

m1

と分解される。ただし 1 は SO (p) の C p 上の自然な表現の最高ウェイトである。

(2) 各既約成分 m1 は m 次の調和多項式を球面へ制限したもの全体が張るベクトル空間に一致する。特に (適当に正ルートを取れば ) (x1 + ix2 )m を球面に制限したものは m1 の最高ウェイトベクトルになる。

Proof.

アプローチの仕方は二つある。

一つは最高ウェイト多様体の理論を使うこと (本質的には Borel-Weil である)。もう一つは SL(2; R ) との間の dual pair の理論を用いること。もちろん古典的な調和関数の理論に帰着することも可能である。

63

x

これについては例えば [83, 9.3], [77] を参照して欲しい。また p = 3 のときには古典的Q.E.D.
な球面調和関数の理論で良く知られている。例えば [84, 4] を見よ。

x

以下 E = R p 内の単位球面を SE 、F = R q のそれを SF と書く。
Lemma 7.7

SE  SF ! X は 2 : 1 の被覆写像である。

Proof. 明らか。この被覆写像を通して、X 上の関数は SEできる (し 、そうする)。

 SF 上の関数とみなすことが

Q.E.D.

さて k を K = SO (p) SO (q ) の表現とみなして既約分解することは、L2 (X ) を K の表現として分解することに相当する。一方すでに L2 (SE SF ) = L2 (SE ) L2 (SF ) の分解は分かっているから、これを利用することにしよう。
Lemma 7.8



K の表現として

kは重複度自由であって、次のように分解する。
Xkl1 mp+1

'





l+m k (mod 2)
l;m 0





Proof. SE
SF 上の関数が X 上の関数に落ちるためには 、ファイバーの上で同じ値を取っている必要がある (パリティ条件)。これを書き下してみる。l1 mp+1 に含まれる関数はもともと l + m 次式であるから ( 1)l+m = ( 1)k が成り立っていることが必要十分とQ.E.D.
なる。

以下 k = 2
Theorem 7.9
k

H



(p + q )=2 として話を進める。また話の都合上 p; q は偶数 と仮定する26 。

k=2(p + q )=2 かつ p; q は偶数とする。このとき p;q 調和関数の空間

は K の表現として重複度自由であり、次のように分解する。
X(m+(q p)=2)1 mp+1

H'





m 0

これが G の表現 (;Proof.

H) の K タイプへの分解を与えている。

しばらくの間  = 1 、 = p+1 とおく。

nf g

まず球面調和関数を k の関数として M  = R p+q 0 へ拡張しよう。それには光錐上では RE = RF であったことを思いだし ((7.1) 参照) 、f (x) l および g (y ) m に対して

2

2

F (x; y ) = REd f (x)g (y ) (2d = k (l + m))
とおく。いま k (l + m)  0 ( mod 2) なので d は整数になることに注意しておく。すると明らかに F (x; y ) 2 k は x; y の多項式 (1=RE の因子を除いて ) である27 。また作り方か
ら明らかに、F (x; y ) S S = f (x)g (y ) が成り立つ。
E F
26 必ずしもこの仮定は必要なく、先に述べたように p + q が偶数であることが本質的である。
27したがって F (x; y ) は厳密には M  上の関数ではなく、M から R = 0 を除いた開集合上で定義されてEいる。これが先にでてきた錐状近傍 D である。

64

そこで F (x; y ) を計算してみる。まず f (x)g (y ) = 0 に注意して 、次の補題を用意する。
Lemma 7.10

IE を E におけるオイラー作用素とする。このとき(1) [; RE ] = 4(IE + p=2) =: 4HE(2) [; REd ] = 4dREd 1 (HE + (d 1))
Proof.

Q.E.D.

演習問題とする。

この補題を使うと

F (x; y ) = REd f (x)g (y )= REd f (x)g (y ) + [; REd ]f (x)g (y )= 0 + 4dREd 1 ((IE + p=2) + (d 1))f (x)g (y )= (k (l + m))(2l + p + k (l + m) 2)REd 1 f (x)g (y )と計算できる。ただし 2d = k (l + m) であることを用いた。さらに k = 2
あったことに注意すると上の式は(2 (p + q )=2 (l + m))(lm (q(p + q )=2 でp)=2)REd 1 f (x)g (y )と計算できる。最初の因子はゼロではないので、結局これが \消滅" するには

l =m+

q

2

p

が必要十分であることが分かる。

7.4

Q.E.D.

極小表現H) が極小表現になることを示す。
Theorem 7.11 (; H) は既約表現であって、上で構成した表現 (;(1) (gC ; K ) 不変な内積を持つ。つまり対応する G の表現はユニタリである。
(2) 原始イデアルは Joseph イデアルに一致する。したがって (; H) は極小表現である。
ここでは G が split している場合 (p = q ) に既約性を証明するに留めよう。実はこの既約性の証明方法はユニタリ内積を定義するときにも役に立つし 、原始イデアルが Joseph イ
デアルであることを判定するのにも役に立つのだが 、それについては [4] [3] [5] を参照されたい。

split しているときには (; H) は spherical 、つまり K の自明な表現を含むことに注意する。この自明な表現のゼロでないベクトルを 1 と書くと、それを M  に延長したものは
RE1 p=2 となる (我々はいま p を偶数と仮定していることに注意せよ)。
65Theorem 7.12
を最高ルートとして
n
n
1 の
不変成分は

X X

K

ここに  は a =

p
2

= 

X

2 sC を最高ルートベクトルとする。このとき

X n X n 1 = 1 + (残りの成分);
1 とおいて、n! ( a; n) (ただし (s; n) = s(s 1)    (s n + 1))a+naで与えられ、特にゼロではない。
まず最高ルートベクトルを具体的に計算し 、X を微分作用素で表わそう。そのために座標系を
E C p の座標: (x1 ; : : : ; xp )F C q の座標: (y1 ; : : : ; yq )Proof.

''と取る。さらに

z1 = x1 + ix2
w1 = y1 + iy2

8
>
> X
<

とおくと、

@
@
+ w1
@w1
@z1
@
@
= z1
+ w1
@w1
@z1

= z1

>
>
: X

と表せる。(確かめよ。)
次にこの微分作用素 X を min K
る。これは少し一般的にやっておこう。
Lemma 7.13

3 1 = RE p= に作用させたものを具体的に計算す
1

2

RE = x21 +    + x2p とし 、微分作用素 X を上のように与える。このとき

d 2 Z に対して次が成り立つ。

(1) X nREd = (d; n)REd n (z1 w1 )n(2)

X X R =R
n

n

d
E

d 2n
E

  

n!
n(d; 2n (s + t))(n (s + t))! s
0s+tnXs;tnjz j2(n s)jw1j2(n t) REs+tt 1

0

ただし (s; n) = s(s1)    (s n + 1) と書いた。

X n X n REd を球面上で積分すると、球面調和関数の定数 (自明な表現) 以外の部分は全て消滅するから、これで定数部分の係数が具体的に計算される。つまり、
Z



SE SF

X n X n REd d =  (d = 1 p=2)である。この積分には次の演習問題を使うとよい。

66

SE を x21 +    + x2p = 1 で定義された単位球面とし 、d を球面上の正規化
された回転不変測度とする。z1 = x1 + ix2 とおくと、次の式が成り立つことを示せ。
Exercise 7.14

ZSE

jz j d =
1

2m

p
2

1+m
m

 1

これを使っても定理の形に  が書けることは級数の公式などを開発する必要があるが 、Q.E.D.
それについては割愛する (時間がないので、将来的には補います)。
一般論から X n 1 は各 K タイプの最高ウェイトベクトルであることが分かり、結局この定理より各 K タイプは表現を生成することが判明した。したがって (; ) は既約である。

H

ユニタリ性については、不変な正値内積が入ることを示せばよい。しかし不変性より、内積は一意的に決まってしまうので、結局正値性を示せばよい。それには内積の K 最高ウェ
イトにおける値を計算すれば良いが 、それは上で計算した X n X n 1 の係数そのもである。
これが正値であるから、内積は常に正値になる。
問題は原始イデアルが Joesph イデアルになることであるが 、これは Gar nkle の 2 次の
斉次元による Joseph イデアルの特徴付けが必要となる。これについてはまたの機会に譲り
たい。

67

8

極小表現とは何か ?

極小表現の持っているユニークな性質を列挙してみよう。これを見れば極小表現が決して特殊な袋小路的な理論ではないことが実感できる。

(以下、最小性とか極小性はゼロ、有限次元表現、自明な場合を除いてのもの。)

 原始イデアルが Joseph イデアルである。結果として無限小指標が決まり、そのような表現は有限個しかない。

 Gelfand-Kirillov 次元が最小。
 随伴多様体が極小巾零軌道。さらに随伴サイクルは重複度が 1 (一つの軌道の閉包のみ)。
 ユニタリ表現であって、ほとんどの場合ユニタリ双対の中で孤立している。orbit methodによるユニタリ表現の分類を考えたとき、巾零軌道に対応するような (少数の) 表現のうちの一つで 、定まった述語ではないものの、ユニポテント表現とみなせる。

 誘導表現では表されない。これも orbit method との関係から重要な性質である。
 dual pair の理論を内包し 、その pair への分解によって豊富な情報を提供する。これは古典群の定義表現の tensor 積の分解が豊富な表現論 (あるいは不変式論) の舞台を提供することと似ている。

 K タイプへの分解は重複度自由であり、その分布は半直線状 (pencil と呼ばれる) である。重複度自由であることは dual pair への制限が具体的に書き下せることの理論的な裏付けを与える。

 ほとんどの場合保型表現である (例外もある)。

68極小表現についてはかなりのことが分かっているが 、将来の課題としては 、次のようなことがあげられる。

 dual pair を具体的に決定し 、テータ対応を記述すること。

dual pair については Lie 代数のレベルでは例えば Rubenthaler による分類がある。しかし例えば SO (4; 4)  G2  S3 の例のように、 Lie 代数のレベルでは記述できないよ
うな興味深い例が報告されていることを思い出すべきである。

またテータ対応の研究については始まったばかりだと思う。

 表現の実現を様々な方法で具体的に与えること。これは特に例外型群で望まれる。
表現の構成はすでに注意したようにすべてのタイプで終わっているが 、例えばほかに極小表現は存在しないのかなどといった問いにはまだ答えられていない。
さらに Weil 表現の場合のように簡便な記述が何通りも存在するという状態ではなく、
さらに便利な記述が望まれる。現在のところ利用可能なのは主に K タイプの分布に関する情報と X の作用ぐらいである。(もちろん理論的にはこれだけあれば決まるのだ
が 、応用的には十分ではない)

 指標を求めること。これについては Adams の仕事がある。
 極小表現の定義を Joseph イデアルを使わないで行うことは意味があると思う。実際

極小表現を持たないとされているケースでも明らかに「これこそが極小表現であるべ
きだ」という表現は存在するので、そのような表現を特徴づけることは実数体上の代s数群の表現を研究する場合には不可欠となるだろう。試みに、「随伴サイクルが [ min](重複度は 1) であって、原始イデアルが completely prime 」というのではど うかと考えている。28O

28 重複度が 1 であること、原始イデアルが completely prime 、Goldie rank が 1 である、という 3 つの条件

はかなり近いと思われる。

69

References 極小表現[1] D. Vogan, Singular unitary representations. In Non commutaive harmonic analysis
and Lie groups, LNM 880(1981), pp. 506 { 535.
[2] D. A. Vogan, Jr., The unitary dual of G2 . Invent. math., 116 (1994), 677 { 791.
[3] B. Kostant, The vanishing scalar curvature and the minimal unitary representationof SO(4; 4). In A. Connes et al. (eds.), Operator Algebras, Unitary Representations,
Enveloping Algebras, and Invariant Theory, PM 92, Birkhauser, 1990, pp. 85 { 124.
[4] B. Kostant, The principle of triality and a distinguished unitary representation ofSO(4; 4). In K. Bleuler and M. Werner (eds.), Di erential Geometrical Methods in
Theoretical Physics, Kluwer Academic Publ., 1988, pp. 65 { 108.
[5] B. Binegar and R. Zierau, Unitarization of a singular representation of SO(p; q ).
Comm. Math. Phys., 138(1991), 245 { 258.
[6] T. Kobayashi and B. rsted, Conformal geometry and branching laws for unitary
representations attached to minimal nilpotent orbits. Preprint, 1997.
[7] B. H. Gross and N. R. Wallach, A distinguished family of unitary representations forthe exceptional groups of real rank = 4. In J.-L. Brylinski et al. (eds.), Lie Theory
and Geometry { In Honor of Bertram Kostant, PM 123, Birkhauser, 1994, pp. 289{ 304.
[8] B. H. Gross and N. R. Wallach, On quaternionic discrete series representations andtheir continuations, J. Reine Angew. Math., 481(1996), 73 { 123.
[9] R. Brylinski and B. Kostant, Minimal rperesentations of E6 ; E7 and E8 and thegeneralized Capelli identity. Proc. Natl. Acad. Sci. USA, 91(1994), 2469 { 2472.
[10] R. Brylinski and B. Kostant, Minimal rperesentations, geometric quantization, andunitarity. Proc. Natl. Acad. Sci. USA, 91(1994), 6026 { 6029.
[11] R. Brylinski and B. Kostant, Di erential operators on conical Lagrangean manifolds.
In J.-L. Brylinski et al. (eds.), Lie Theory and Geometry { In Honor of Bertram
Kostant, PM 123, Birkhauser, 1994, pp. 65 { 96.
[12] R. Brylinski and B. Kostant, Lagrangian models of minimal representations of E6 ,E7 and E8 . In \Functional analysis on the eve of the 21st century, Vol. 1 ", PM 131,
Birkhauser, 1995, pp. 13 { 63.
[13] D. Kazhdan, The minimal representation of D4 . In \Operator Algebras, Unitary Representations, Enveloping Algebras, and Invariant Theory (A. Connes et al. (eds.))",
PM 92, Birkhauser, 1990, pp. 125 { 158.
70

[14] D. Kazhdan and G. Savin, The smallest representation of simply laced groups. Israel
Math. Conf. Proceedings, 2(1990), 209 { 223.
[15] J.-S. Huang, Minimal representations, shared orbits, and dual pair correspondence.
IMRN, 6 (1995), 309 { 323.
[16] T. Uzawa, Introduction to minimal representations. in \第 4 回 整数論サマースクー
ル報告集 「 Weil 表現入門」", 1996, pp. 128 { 150.
[17] P. Torasso, Methode des orbites de Kirillov-Du o et representations minimales desgroupes simples sur un corps local de caracteristique nulle, [The Kirillov-Du o orbit
method and minimal representations of simple groups over a local eld of characteristic zero] Duke Math. J. 90 (1997), no. 2, 261{377.

 原始イデアルと巾零軌道[18] A. Joseph, The minimal orbit in a simple Lie algebra and its associated maximal
ideal. Ann. Sci. E.N.S., 9(1976), 1 { 30.
[19] A. Joseph, Minimal realizations and spectrum generating algebras. Comm. Math.
Phys., 36 (1974), 325 { 338.
[20] R. Brylinski and B. Kostant, Nilpotent orbits, normality, and Hamiltonian group
actions. Journal AMS, 7(1994), 269 { 298.
[21] T. Levasseur and S. P. Smith, Primitive ideals and nilpotent orbits in type G2 . J.
Alg., 114 (1988), 81 { 105.
[22] J. Sekiguchi, Remarks on real nilpotent orbits of a symmetric pair. J. Math. Soc.
Japan, 39 (1987), 127 { 138.
[23] T. Ohta, The singularities of the closures of nilpotent orbits in certain symmetricpairs. T^ohoku Math. J., 38 (1986), 441 { 468.
[24] T. Ohta, Classi cation of admissible nilpotent orbits in the classical real Lie algebras,
J. Alg., 136 (1991), 290 { 333.
[25] W. Borho, A survey on enveloping algebras of semisimple Lie algebras. I. In \Liealgebras and related topics (Windsor, Ont., 1984)", CMS Conf. Proc., 5, AMS, 1986.
pp. 19{50.
[26] W. Borho, J.-L. Brylinski and R. MacPherson, Nilpotent Orbits, Primitive Ideals,
and Characteristic Classes. A Geometric Perspective in Ring Theory. Progress inMathematics 78. Birkhauser Boston, Inc., Boston, 1989.
[27] A. Joseph, Orbital varieties, Goldie rank polynomials, and unitary highest weight
modules. in \Algebraic and Analytic Methods in Representation Theory (B. rsted
and H. Schrichtkrull (eds.))", Perspectives in Math. 17, Academic Press, 1997, pp.
53 { 98.
71

[28] J. E. Humphreys, Conjugacy Classes in Semisimple Algebraic Groups. Math. Surveys
and Monographs 43, AMS, 1995.

 半単純群の表現、随伴多様体など 一般的な話題[29] B. Kostant, Lie group representations on polynomial rings. Amer. J. Math., 86 (1963),
327 { 402.
[30] B. Kostant and S. Rallis, Orbits and representations associated with symmetricspaces. Amer. J. Math., 93 (1971), 753 { 809.
[31] D. A. Vogan, The orbit method and primitive ideals for semisimple Lie algebras. in\Lie Algebras and Related Topics (D. Britten, F. Lemire and R. Moody (eds.))",CMS Conference Proceedings 5, AMS, 1986, pp. { .
[32] D. A. Vogan, Noncommutative algebras and unitary representations. in \The Mathematical Heritage of Hermann Weyl (R. O. Wells, Jr. (ed.))", Proceedings of Symposia
in Pure Math. 48, AMS, 1988, pp. { .
[33] D. A. Vogan, Associated varieties and unipotent representations. in \Harmonic Analysis on Reductive Groups (W. Barker and P. Sally (eds.))", Progress in Math. 101,
Birkhauser, 1991, pp. 315 { 388.
[34] D. A. Vogan, The orbit method and unitary representations for reductive Liegroups. in \Algebraic and Analytic Methods in Representation Theory (B. rsted
and H. Schrichtkrull (eds.))", Perspectives in Math. 17, Academic Press, 1997, pp.
243 { 339.
[35] A. Gyoja and H. Yamashita, Associated variety, Kostant-Sekiguchi correspondence,and locally free U (n)-action on Harish-Chandra modules. To appear in J. Math. Soc.
Japan, 51 (1999).
[36] H. Ozeki and M. Wakimoto, On polarizations of certain homogeneous spaces, Hiroshima Math. J., 2(1972), 445 { 482.
[37] E. B. Vinberg and V. L. Popov, On a class of quasihomogeneous aÆne varieties.
Math. USSR Izvestja, 6 (1972), 743 { 758.
[38] R. Steinberg, A geometric approach to the representations of the full linear groupover a Galis eld. Trans. AMS, 71 (1951), 274 { 282.
[39] W. M. Beynon and G. Lusztig, Some numerical results on the characters of exceptional Weyl groups, Math. Proc. Camb. Phil. Soc., 84(1978), 417 { 426.
[40] B. Kostant and S. Sahi, The Capelli identity, tube domains, and the generalized
Laplace transform. Adv. Math., 87 (1991), 71 { 92.
72[41] B. N. Allison and J. R. Faulkner, A Cayley-Dickson process for a class of structurable
algebras. Trans. AMS, 283 (1984), 185 { 210.
[42] 松本久義, Enveloping Algebra 入門. 東京大学数理科学セミナリーノート 11, 1995,
Graduate School of Mathematica Science, University of Tokyo.
[43] Frank D. Grosshans, Algebraic Homogeneous Spaces and Invariant Theory. LNM
1673, Springer-Verlag 1977.
[44] Armand Borel, Linear Algebraic Groups (Second Enlarged Edition). GTM 126,
Springer-Verlag 1991.
[45] 辰馬伸彦, 位相群の双対定理, 紀伊國屋数学叢書 32, 紀伊國屋 1994.
[46] David H. Collingwood and William M. McGovern, Nilpotent Orbits in Semisimple
Lie Algebras. Van Nostrand Reinhold 1993.
[47] Nolan R. Wallach, Real Reductive Groups I. Pure and Appl. Math. 132, Academic
Press 1988.
[48] J. E. Humphreys, Introduction to Lie algebras and representation theory, Second
printing, revised. Springer, New York, 1978 ISBN: 0-387-90053-5.
[49] J. E. Humphreys, Re ection groups and Coxeter groups, Cambridge Univ. Press,
Cambridge, 1990 ISBN: 0-521-37510-X[50] S. Helgason, Di erential geometry, Lie groups, and symmetric spaces, Academic
Press, New York, 1978 ISBN: 0-12-338460-5.
[51] 堀田良之、環と体 1 、岩波講座現代数学の基礎 15 、岩波書店、1997.

 後からの追加分[52] D. Barbasch and D. A. Vogan, Jr., Unipotent representations of complex semisimple
groups, Ann. of Math. (2) 121 (1985), no. 1, 41{110.
[53] D. Barbasch and D. Vogan, Primitive ideals and orbital integrals in complex exceptional groups, J. Algebra 80 (1983), no. 2, 350{382.
[54] D. Barbasch and D. Vogan, Primitive ideals and orbital integrals in complex classicalgroups, Math. Ann. 259 (1982), no. 2, 153{199.
[55] D. Barbasch and D. A. Vogan, Jr., The local structure of characters, J. Funct. Anal.
37 (1980), no. 1, 27{55.
[56] R. Howe, Wave front sets of representations of Lie groups, in Automorphic forms, representation theory and arithmetic (Bombay, 1979), 117{140, Tata Inst. Fundamental
Res., Bombay, Bombay, 1981.
73

[57] J. J. Duistermaat, Fourier integral operators, Progr. Math., 130, Birkhauser Boston,
Boston, MA, 1996 ISBN: 0-8176-3821-0[58] W. Rossmann, Characters as contour integrals, in Lie group representations, III (College Park, Md., 1982/1983), 375{388, Lecture Notes in Math., 1077, Springer, Berlin,
1984.
[59] W. Rossmann, Picard-Lefschetz theory and characters of a semisimple Lie group,
Invent. Math. 121 (1995), no. 3, 579{611.
 ements de mathematique. Fasc. XXXIV. Groupes et algebres de Lie.
[60] N. Bourbaki, El
Chapitre IV: Groupes de Coxeter et systemes de Tits. Chapitre V: Groupes engendres
par des re exions. Chapitre VI: systemes de racines, Actualites Scienti ques et Industrielles, No. 1337 Hermann, Paris, 1968.
[61] N. Jacobson, Lie algebras, Interscience Tracts in Pure and Applied Mathematics, No.
10 Interscience Publishers (a division of John Wiley & Sons), New York-London, New
York, 1962.
[62] N. R. Wallach, C 1 vectors, in Representations of Lie groups and quantum groups(Trento, 1993), 205{270, Longman Sci. Tech., Harlow, 1994.
[63] T. A. Springer, Linear algebraic groups. in Algebraic geometry. IV, A translationof Algebraic geometry. 4 (Russian), Akad. Nauk SSSR Vsesoyuz. Inst. Nauchn. i
Tekhn. Inform., Moscow, Translation edited by A. N. Parshin and I. R. Shafarevich,
Encyclopaedia of Mathematical Sciences, 55. Springer, Berlin, 1994 ISBN: 3-54054682-0.
[64] T. A. Springer, Linear algebraic groups, Second edition, Birkhauser Boston, Boston,MA, 1998.
[65] V. L. Popopov and E. B. Vinberg, Invariant theory. in Algebraic geometry. IV, A
translation of Algebraic geometry. 4 (Russian), Akad. Nauk SSSR Vsesoyuz. Inst.
Nauchn. i Tekhn. Inform., Moscow, Translation edited by A. N. Parshin and I. R. Shafarevich, Encyclopaedia of Mathematical Sciences, 55. Springer, Berlin, 1994 ISBN:
3-540-54682-0.
[66] J. Dixmier, Enveloping algebras. North-Holland Mathematical Library, Vol. 14.
Translated from the French. North-Holland Publishing Co., Amsterdam-New YorkOxford, 1977. ISBN: 0-7204-0430-4[67] A. Joseph, A preparation theorem for the prime spectrum of a semisimple Lie algebra,
J. Algebra 48 (1977), no. 2, 241{289.
[68] Devra Gar nkle, A new constraction of the Joseph ideal, MIT Doctorial Thesis, 1982.
[69] M. Kashiwara and M. Vergne, On the Segal-Shale-Weil representations and harmonicpolynomials, Invent. Math., 44(1978), 1 { 47.
74[70] P. Torasso, Sur le caractere de la representation de Shale-Weil de Mp(n; R) et
Sp(n; C), Math. Ann. 252 (1980), no. 1, 53{86.
[71] R. Howe, On some results of Strichartz and of Rallis and Schi man (ママ), J. Funct.
Anal., 32(1979), 297 { 303.
[72] R. Howe, Dual pairs in physics: Harmonic oscillators, photons, electrons, and singletons, in Applications of Group Theory in Physics and Mathematical Physics, Lecturesin Applied Mathematics vol. 21, AMS, 1985, pp. 179 { 207.
[73] R. Howe, Small unitary representations of classical groups, in Group representations,ergodic theory, operator algebras, and mathematical physics, MSRI Publications vol.
6, Springer-Verlag, 1987, pp. 121 { 150.
[74] R. Howe, Remarks on classical invariant theory, Trans. AMS, 313(1989), 539 { 570.
[75] R. Howe, Transcending classical invariant theory, Journ. AMS, 2(1989), 535 { 552.
[76] R. Howe, Perspectives on invariant theory: Schur duality, multiplicity free actions andbeyond, in The Schur Lectures (1992), Israel Mathematical Conference Proceedings
8, Bar-Ilan Univ., 1995, pp. 1 { 182.
[77] R. Howe and E. C. Tan, Non-Abelian Harmonic Analysis, Applications of SL(2; R ),Universitext, Springer-Verlag, 1992.
[78] J. Harris, Algebraic geometry, A rst course. Corrected reprint of the 1992 original,
Springer, New York, 1995.
[79] W. Fulton and J. Harris, Representation theory, A rst course. Readings in Mathematics. Springer, New York, 1991.
[80] W. Schmid and K. Vilonen, Characteristic cycles and wave front cycles of representations of reductive groups, to appear in Annals of Math.
[81] M. Vergne, Instantons et correspondance de Kostant-Sekiguchi, C. R. Acad. Sci. Paris
Ser. I Math. 320 (1995), no. 8, 901{906.
[82] K. Nishiyama, H. Ochiai and K. Taniguchi, Bernstein degree and associated cyclesof Harish-Chandra modules | Hermitian symmetric case |. Preprint, 1999.
[available at http://w3rep.math.h.kyoto-u.ac.jp/papere.html#NOT][83] N. Ja. Vilenkin and A. U. Klimyk, Representation of Lie groups and special functions.
Vol. 2, Class I representations, special functions, and integral transforms. Translated
from the Russian by V. A. Groza and A. A. Groza, Kluwer Acad. Publ., Dordrecht,
1993.
[84] 岡本清郷、フーリエ解析の展望、すうがくぶっくす 17 、朝倉書店.
75[85] W. Lichtenstein, A system of quadrics describing the orbit of the highest weightvector. Proc. Amer. Math. Soc. 84 (1982), no. 4, 605{608.
[86] Hajime Kaji, Masahiro Ohno, and Osami Yasukura, Adjoint varieties and their secant
varieties. Indag. Math. (N.S.) 10 (1999), no. 1, 45{57.

76