冪零軌道と W 代数
荒川 知幸 (京大・数理研)

1. 序(アフィン)W 代数は Kac-Moody 代数や Virasoro 代数などの無限次元リー環を含み, 可積分系, 共型場理論, 散在型有限群, モジューラ表現論, 4 次元のゲージ理論, 幾
何学的 Langlands 対応など様々な分野と関係のある興味深い頂点代数の族である. 一方, その構造は極めて複雑であり, そのため W 代数の表現論は最近までよくわかっていなかった. しかしようやく近年, 有限 W 代数の表現論の進展などに伴い, W 代数の表現論も応用可能なレベルにまで進展しつつある ([A1, A2, A3, A7]).
Premet[Pre] によって導入された有限 W 代数は (アフィン)W 代数の有限次元版であり, その歴史は Kostant[Kos] に遡る. 有限 W 代数は Slodowy の横断片の自然な量子化であり, その表現論は普遍包絡環の primitive ideal の理論と密接な関係がある.
両者の関係は Premet によって予想され Losev[Los2] によって確立された. 冪零軌道
は primitive ideal の重要な不変量として現れる. したがってその理論は有限 W 代数
にとっても重要である.
本稿では (アフィン)W 代数に対する Losev の結果のアナローグを考察する. アフィ
ン Kac-Moody 代数 bg に関しては (現時点では）primitive ideal の理論は存在しないが, 頂点代数の理論の中では普遍アフィン頂点代数の極大イデアルが primitive idealのアナローグであるとみなすことができる。その随伴多様体はアフィン Kac-Moody
代数の最高ウエイト kΛ0 (k はレベル) の最高ウエイト表現の特異台と一致するが、それは g∗ のアーク空間の部分スキームして定義される. 有限次元リー環の場合と異なり, アフィン Kac-Moody 代数 bg の普遍包絡環には bg の中心元以外の非自明な中心が存在しないため冪零錐との関係は全く明らかではないが、bg の許容表現に関してはその特異台が g の冪零錐のアーク空間に含まれことを示すことができる (Feigin-Frenkel
予想 [A5]). これは bg の許容表現に付随した頂点代数の随伴多様体 [A4] が g の冪零錐に含まれることと同値である。
許容表現の特異台, あるいは対応する随伴多様体に関してはさらに既約性も成立し,これらの明示的に決定することも可能である ([A5]). このことと, アフィン Kac-Moody
代数の許容表現 [A6], 及び Losev の結果のアナローグ, すなわちアフィン Kac-Moody
代数と W 代数との関係から, 例えば 20 年来の未解決問題であった主冪零軌道に付随する W 代数の有理性問題 [FKW] を解決することが可能になった ([A7]). 本稿では
そうした状況を報告したい.
2. 有限次元リー環の表現論における冪零軌道
g を有限次元複素単純リー環とし, U (g) を g の普遍包絡環とする:
U (g) = T (g)/hx⊗y − x⊗x − [x, y] | x, y ∈ gi.
ただし, T (g) は g のテンソル代数. このとき, g 加群とは (多元環としての)U (g) 加群のことに他ならない.
∑
Up (g) :=(高々p 個の g の元の積) ⊂ U (g)とおくと,

0 = U−1 (g) ⊂ U0 (g) ⊂ U1 (g) ⊂ . . . ,U (g) =∪Up (g)p

Up (g)Uq (g) ⊂ Up+q (g),[Up (g), Uq (g)] ⊂ Up+q−1 (g)となる. これを U (g) の PBW フィルトーレーション, あるいは標準トレーションフィ
ルトレーションという. Associated graded algebra⊕
gr U (g) =Up (g)/Up−1 (g)pには次で Poisson 代数の構造が入る.

σp (a)σq (b) = σab ,{σp (a), σq (b)} = σp+q−1 ([a, b]).

ここで, σp : Up (g) → Up (g)/Up−1 (g) は自然な射影 (symbol map).
定理 2.1 (Poincaré-Birkoﬀ-Witt). 次のポアソン代数の同型が存在する.

gr U (g) ∼= S(g) ∼= C[g∗ ].
ただし, g∗ には Kirillov-Kostant の Poisson 構造を入れる (つまり x, y ∈ g ⊂ C[g∗ ]に対して {x, y} = [x, y]).

Z(g) を U (g) の中心とするとに誘導フィルト⊕, Zp (g) = Z(g) ∩ Up (g) により Z(g)∗レーションが入り, gr Z(g) = p Zp (g)/Zp−1 (g) は gr U (g) = C[g ] の Poisson 可換な部分代数になる. 実際,
gr Z(g) ∼= C[g∗ ]Gが成立することが知られている. ただし Lie G = g なる連結な半単純代数群.
I を U (g) の両側イデアルとして, 誘導フィルトレーション Ip = I ∩ Up (g) に関す⊕
る associated graded gr I = p Ip /Ip−1 ⊂ C[g∗ ] は C[g∗ ] の G 不変なイデアルとなる. この零集合

Var(I) := {λ ∈ g∗ | f (λ) = 0, ∀f ∈ gr I}
は I の随伴多様体と呼ばれる. Var(I) は g∗ の G 不変, コーニックな部分代数多様体
である.
随伴多様体は I が U (g) の primitive ideal, すなわちある単純加群 M の零化イデ
アル1になるときが特に重要である. Shur の補題より, 単純加群 M についてはある
中心指標 γ : Z(g) → C が存在し,(1)z − χ(z) ∈ I = AnnU (g) M,z ∈ Z(g)となる.
N を g の冪零錐とする.

N =: {x ∈ g | (ad x)r = 0, r  0} ⊂ g.
g と g∗ を g の不変内積 ( | ) で同一視すると,∗
N = {λ ∈ g∗ | p(λ) = 0, ∀p ∈ C[g∗ ]G+} ⊂ g1次の定理が知られている.

定理 2.2 (Duflo ’77). 任意の primitigve ideal は単純な最高ウエイト加群の零化イデアルである.

∗ Gとなることはよく知られている. ここで C[g∗ ]G+ は C[g ] の argumentation ideal.
∑l∗（つまり C[g∗ ] = C[p1 , . . . , pl ], deg pi > 0, としたとき C[g∗ ]G+ =i=1 C[g ]pi .) 従って (1) より, primitive ideal I については

Var(I) ⊂ Nが成立する2.
定理 2.3 (Joseph[Jos]). U (g) の primitive ideal I の随伴多様体は既約である. すな
わち, ある冪零軌道3O が存在して

Var(I) = Oとなる.

3. 冪零軌道と有限 W 代数
f ∈ N を零でない元とする. Jacobson-Morozov の定理から f を含む sl2 トリプル{e, f, h} が存在する:[h, e] = 2e,[h, f ] = −2f,[e, f ] = h.

点 f ∈ g における Slodowy の横断片とはアフィン空間

Sf := f + ge ⊂ g = g∗のことを云う. Sf はその各点において g の G 軌道と横断的に交わることが知られている ([GG]).
γ : C∗ → G, t 7→ γt , を h ∈ g が生成する G の 1 パラメーター部分群とすると,C∗ 3 t : x 7→ t−2 Ad(γt−1 )(x)は Sf 上の C∗ 作用を定める. 容易に分かるようにこの C∗ 作用は f に縮小する.
以下に説明するように Sf はポアソン多様体の構造が入る. χ ∈ g∗ を x 7→ (f |x)で定める. また, g の次数付けを⊕g=gj , gj = {x ∈ g | ad h(x) = jx}j∈Zで与える. このとき,

g1 × g1(x, y)→C
7→ χ([x, y])はシンプレクティック形式を定めることがわかる. この形式に関する g1 のラグラン
ジャン部分空間 l を固定し,⊕m = l⊕
gj ⊂ gj≥2と定めると, m は g の冪零部分代数になる. また, χ の m への制限は指標になる (すなわち, χ([m, m]) = 0)
M を m に対応する G の冪単部分群とすると制限写像µ : g∗ −→m∗
は M の作用に関するモーメント写像であり, 点 χ ∈ m∗ は一点からなる M の軌道である. 逆像 µ−1 (χ) = χ + m⊥ は Sf を含むが, Sf の横断性より次が従う.
2このことから, U (g) の任意の有限生成加群の零化イデアル冪零錐に含まれることがわかる.
3O = Ad G.x, x ∈ N の形の (随伴作用に関する)G 軌道のことである.

定理 3.1 ([Kos, GG]).
(i) χ はモーメント写像 µ の正則値である.
(ii) 次はアフィン代数多様体の同型を与える.
∼

M × Sf → µ−1 (χ),(g, x) 7→ Ad g.x.

定理 3.1 より Sf ∼= µ−1 (χ)/M には還元されたポアソン多様体の構造が入る.
ポアソン多様体 Sf は自然な非可換変形を持つことが知られている ([Kos, Pre]).
以下にその BRST 還元法を用いた構成 ([KS]) を説明する.
•
Clm
を m ⊕ m∗ に付随したクリフォード代数とし, deg m = −1, deg m∗ = 1 によっ⊕p•て次数付けをいれる: Clm= p∈Z Clm.
••
Clm のフィルトレーションを Clm,p = Λ≤p (m)Λ• (m∗ ) で定めると⊕•••
gr Clm=Clm,p/Clm,p−1
pはスーパーポアソン代数になる. これを古典クリフォード代数という. 環としては•= Λ(m)⊗Λ(m∗ )gr Clmであり, ポアソン構造は{x, y} = 0{f, g} = 0(x, y ∈ m, f, g ∈ m∗ ){f, x} = f (x)で与えられる.
•
テンソル積 U (g)⊗Clmには自然にスーパー代数の構造が入るが, Lie 代数の準同型•
θ : m 7→ U (m)⊗Cl0 ⊂ U (g)⊗Clm,

x 7→ x⊗1 + 1⊗ ad(x)が存在する. ただし

ad : m 7→ Cl0
は m の随伴作用が定める Lie 代数の準同型である4.
補題 3.2. ([KS, Akm, BD]1(i) 任意の x ∈ m について [Q, 1⊗x] = θ(x) + χ(x) をみたす U (g)⊗Clmの元 Qが唯一存在する.
(ii) 上で定まる元 Q は Q2 = 0 を満たす.

具体的には, Q は次で与えられる. m の基底を {xi }, その双対基底を {x∗i }, 構造定数を {ckij } とすると∑
1∑ k ∗ ∗(2)Q=(xi + χ(xi ))⊗x∗i − 1⊗
cij xi xj xk .
2
i

i,j,k

Q は odd の元だから Q2 = 0 より (ad Q)2 = 0 が従う. 従って (C • (g), ad Q) はdga(diﬀerential graded algebra) である. 特にそのコホモロジー•
Hf• (U (g)) := H • (U (g)⊗Clm, ad Q)は次数付けされたスーパー代数の構造を持つ.

∑•
スーパー代数 U (g)⊗Clm のフィルトレーション Fp (U (g)⊗Clm ) = i+j≤p Ui (g)⊗Clm,jに関する associated graded は
gr (U (g)⊗Clm ) = gr U (g)⊗ gr Cl• ∼= C[g∗ ]⊗ gr Cl•
F

4m の冪零性を使う.

m

m

•
•
となる. Q ∈ (F1 U (g)⊗Clm) の grF (U (g)⊗Clm ) = C[g∗ ]⊗ gr Clm
での像を Q̄ と書
2∗•
くと (ad Q̄) = 0 である. 従って (C[g ]⊗ gr Clm , ad Q̄) は dgPa(diﬀerential graded
Poisson algebra) である. とくにそのコホモロジーはポアソン (スーパー) 代数になる.
•
定理 3.3 ([KS]). 任意の i ∈ Z× について H i (C[g∗ ]⊗ gr Clm, ad Q̄) = 0 が成立し, 次のポアソン代数としての同型が存在する.
•
H 0 (C[g∗ ]⊗ gr Clm, ad Q̄) ∼= C[Sf ]定理 3.4 ([Kos, Pre, GG]). Hfi6=0 (U (g)) = 0 and gr Hf0 (U (g)) ∼= C[Sf ]. ここで0••
gr Hf (U (g)) は U (g)⊗Clm のフィルトレーションが誘導する Hf (U (g)) のフィルト
レーションに関する associated graded ポアソン代数.

Sf の量子化U (g, f ) := Hf0 (U (g))(3)

を (g, f ) に付随する有限 W 代数と呼ぶ5.
この有限 W 代数の定義は通常のものとは異なるが, 等価であることを確かめることが出来る ([A2, DSK, BGK]).
例 3.5. g = glN とする. (glN は単純ではないが上で述べたことがそのまま適用され
る. )


0
0
0 ··· 0 1
0
0 . . . 0


 0
1
0 . . . 0f = fprin := 

 ..
.. 
.
.
 .
.
.
··· ···
1 0とすると f = Fprin は主冪零元である. すなわち,

N = Ad G.fprin
定義から


y1






 1

Sf =  0

.


 ..


0

y2
y1
1
..
.

y3
y2
y1
..
.

···
...
...

···

0

1

yN











yN −1 yN −2  |y1 , . . . , yN ∈ C

.. 


. 



y1

となるが,

C[Sf ]∼←

制限写像

C[g∗ ]GLN∼=
Chevalley の制限定理

C[h∗ ]SNが成立する. ここで h は対角行列からなる g の Cartan 部分環. この量子化として(4)

U (g, fprin )∼←Kostant の Whitttaker 模型 [Kos]

Z(g)

∼
=

S(h)SN ,Harish-Chandra 同型が成立するとが知られている.
5U (g, f ) はラグランジャン部分空間 l の取り方に依らず定まることが知られている.

上で与えた有限 W 代数の定義の利点はその関手性にある. いろいろなバージョン
を考えることができるが (cf. [A2, A7]) ここでは U (g) の Harish-Chandra 両側加群の圏 HC を考える:

HC = {g の随伴作用が局所有限であるような両側 U (g) 加群のなす圏 }.
••M ∈ HC について M ⊗Clm
は自然に両側 U (g)⊗Clm加群であり, 特に ad Q が作用す•0•
る. 従ってそのコホモロジー Hf (M ) = H (M ⊗Clm , ad Q) は両側 U (g, f ) 加群になり, 関手HC → { 両側 U (g, f ) 加群の圏 },(5)

M 7→ Hf0 (M ),が定まる.
定理 3.6 ([Los2, Gin]). 任意の M ∈ HC について Hfi6=0 (M ) = 0. 従って (5) は完全関手.

I を U (g) の両側イデアルとすると I と U (g)/I は共に HC 対象である. 従って定理 3.6 より次の完全列が存在する.
0 → Hf0 (I) → U (g, f ) → Hf0 (U (g)/I) → 0.
故に Hf0 (I) の (graded な) イデアルである. U (g, f ) の両側イデアル J に対してもそのassociated variety Var(J) が Sf の部分代数多様体として定まるが, Hf0 (I) は graded
なので Var(Hf0 (I)) は Sf の C∗ 不変な部分代数多様体である.
定理 3.7 ([Los1], [Gin]). U (g) の両側イデアル I について次が成立する.

Var(Hf0 (I)) = Var(I) ∩ Sf .
系 3.8. I を U (g) の primitive ideal, O を Var(I) = O となる g の冪零軌道とする.

(i) Hf0 (U (g)/I) 6= 0 ⇐⇒ Ad G.f ⊂ O.
(ii) Hf0 (U (g)/I) が (零でない) 有限次元 (代数) ⇐⇒ f ∈ O.
Hf0 (U (g)/I) は U (g, f ) の商代数であるので, Hf0 (U (g)/I) の既約表現は U (g, f ) の既約表現でもある.
定理 3.9 ([Los2]). I を U (g) の primitive ideal, O を Var(I) = O となる g の冪零軌
道, f ∈ O とすると, Hf0 (U (g)/I) は有限次元半単純代数. さらに U (g, f ) の任意の有限次元既約表現はこのようにして現れる.

4. カイラル表現論における冪零軌道bg を g に付随するアフィン Kac-Moody 代数とする.
bg = g⊗C[t, t−1 ] ⊕ CK.
交換関係は[xtm , ytn ] = [x, y]tm+n + (x|y)δm+n,0 K,[K, bg] = 0(x, y ∈ g)

で与えられる.
以下 g の内積は (θ, θ) = 2 と正規化されているとする. ただし θ は g の最高ルート.
k ∈ C について

V k (g) := U (bg)⊗U (g[t] ⊕ CK) Ckとおく. ただし, Ck は g[t] が自明に, K が定数 k で作用する g[t] ⊕ CK の一次元表
現. V k (g) は自然な頂点代数の構造を持つことが知られており,
頂点代数としての V k (g) 加群 = レベル k の滑らかな bg 加群となる ([Kac, FBZ] などを参照). ここで bg 加群 M が b
g 加群がレベル k であるとは中心元 K が定数 k で作用すること, また滑らかであるとは任意の x ∈ g, m ∈ M に対して xtr m = 0 が十分大きな r に対して成立することを云う. V k (g) は g に付随した
レベル k の普遍頂点代数と呼ばれる.
Nk (g) を V k (g) の唯一の極大部分加群とすると, 一般論により Nk (g) は V k (g) の頂点代数としてのイデアルでもある. 従って既約商加群 Lk (g) = V k (g)/Nk (g) は単
純な頂点代数となる. Lk (g) 加群の圏 Lk (g) -Mod は V k (g) 加群の圏 V k (g) -Mod(=
レベル k の滑らかな b
g のなす圏) の次で与えられる充満部分圏である.

Lk (g)-Mod = {M ∈ V k (g)-Mod | a(n) M = 0 ∀a ∈ Nk (g), n ∈ Z}
ここで, 頂点代数 V について V -Mod で V 加群の圏を表し,∑
V → (End M )[[z, z −1 ]], a 7→ a(z) =a(n) z −n−1n∈Zを V のベクトル空間 M への表現とする.
Lk (g)-Mod の記述は基本的な問題ではあるが一般には未解決である. ただし, 次はよく知られている.
定理 4.1. k が非負整数の時, Lk (g)-Mod は b
g のレベル k の可積分表現のなす圏に等しい.
頂点代数 V k (g), Lk (g) は deg xtn = −n により次数付けされていることに注意する.
Zhu[FZ] は関手{ 次数付けされた頂点代数のなす圏 } → {C 上の多元環のなす圏 },V 7→ A(V ),を構成し, 次の全単射が存在することを示した.

{Z≥0 で次数付けされた単純 V 加群の同型類 }M∼→ { 単純 A(V ) 加群の同型類 }7→Mtop .

ここで, Mtop は M の最低次数の成分.
普遍アフィン頂点代数の場合, 自然な同型

A(V k (g)) ∼= U (g)が任意の k について成立しおり, U (g) の単純加群 E に対応する単純 V k (g) 加群は誘導表現 U (g)⊗U (g[t] ⊕ CK) E の唯一の既約商である.
また頂点代数の全射 V → V 0 は多元環の全射 A(V ) → A(V 0 ) を誘導する. 従って
Lk (g) の Zhu 代数は U (g) の商に同型となる:A(Lk (g)) ∼= U (g)/Ik∃ 両側イデアル Ik .

よって単純 Lk (g) 加群の分類は (U (g) の表現論を modulo として) Ik を含む U (g) のprimitive ideal の分類に帰着する. Primitive ideal J が Ik に含まれれば Var(J) ⊂Var(Ik ) であるので, まず Ik の associated variety を決定しようというのは自然な発想である. しかし A(V ) の定義が複雑なため, 一般にはこれが既に難しい.

一方, 頂点代数 V に対してはその随伴多様体を定義する方法が別にある. Zhu[Zhu]により,RV := V /C2 (V ),C2 (V ) = {a(−2) b | a, b ∈ V }.

は次でポアソン代数の構造を持つことが知られている.

āb̄ = a(−1) b,{ā, b̄} = a(0) b.

RV を Zhu の C2 代数と云う. 従って V の随伴多様体 XV を
XV = Specm RVで定義することができる.
V が V k (g), あるいはその商であるとき, C2 (V ) = g[t−1 ]t−2 V となることがわかる. 従ってC[g∗ ] = S(g) ∼= RV k (g) ,x 7→ xt−1 1

が成立し,XV k (g) = g∗となる. XLk (g) は g∗ の G 不変なポアソン部分代数多様体である.
XV は次の意味で V の重要な不変量である.
定理 4.2 ([A4]). 次の条件は同値である.

(i) dim XV = 0,(ii) dim Spec(gr V ) = 0.
ここで gr V は V の自然なフィルトレーションに関する associated graded vertex
algebra6.

XV の次元が 0 であるような頂点代数は C2 有限であると呼ばれる. 定理 4.2 より, C2 有限な頂点代数は有限次元代数の類似と見なすことができるが, 様々な良い性質を持つことが知られている ([ABD, H2, H1, Miy] などを参照のこと).
次はよく知られている.
定理 4.3. 次の三つの条件は同値.

(i) dim XLk (g) = 0,(ii) Lk (g) は可積分である.
(iii) k ∈ Z≥0 .
上の定理より, C2 有限性条件はアフィン Kac-Moody 代数の表現論における可積分性条件を一般の頂点代数に拡張したものであるとみなすこともできる.
さて Zhu 代数と Zhu の C2 代数の関係は次で与えられる.
補題 4.4 ([ALY]). 自然なポアソン代数の全射

RV  gr A(V )が存在する. ここで gr A(V ) は V の次数付けが誘導する A(V ) のフィルトレーションに関する associated graded Poisson algebra.
6これは Poisson vertex algebra であり, 特に可換な C 代数の構造が入る.

上の補題から

Var(Ik ) ⊂ XLk (g)

(6)

が従う.
写像 RLk (g)  gr A(Lk (g)) は一般には同型では無い7が, 我々は次を予想している.
予想 4.5 ([A7]). 任意の k について Var(Ik ) = XLk (g) .
さて U (g) の primitive イデアルの associated variety の場合と違い, XLk (g) は冪零錐 N に含まれるとは限らない. 実際, k が有理数でないとき Lk (g) = V k (g) である
ので XLk (g) = g∗ となる.
一方, 定理 4.3 より k ∈ Z≥0 のとき XLk (g) = {0} である. これ以外に XLk (g) ⊂ Nとなるような場合はあるであろうか？
h を g の Cartan 部分環とすると, b
h = h ⊕ CK は b
g の Cartan 部分環になる. その+∗b
双対を h = h ⊕ CΛ0 とする. ただし, Λ0 (K) = 1, Λ0 (h) = 0.
b re を bb re∆g の実ルートの集合, ∆g の正の実ルートの集合とする.
+ をb
∗
λ∈b
h について L(λ) を最高ウエイト λ の b
g の既約表現とする. bg の表現として,

Lk (g) ∼= L(kΛ0 )である.
L(λ) は次を満たすとき許容表現であると云う.

(i) λ は regular dominant である. すなわち,
hλ + ρb, α∨ i 6∈ {0, −1, −2. . . . },b re∀α ∈ ∆
+

b re
ここで ∆
g の正の実ルートの集合.
+ はb
re
b
b
b
b
(ii) Q∆(λ) = Q∆ . ただし, Q∆(λ)
は λ の integral root system: ∆(λ)= {α ∈
re∨b∆ | hλ, α i ∈ Z}.
定義から,{ 可積分表現 } ⊂ { 許容表現 }である. 従って許容表現は可積分表現の一般化と見なすことができる.
許容表現は可積分表現と同様, 様々な良い性質を持つ. 例えば条件 (i) より可積分
表現は Weyl-Kac 型の指標公式を持つことが従う.
∑(−1)`λ (w) ew◦λ∏ch L(λ) =(7).
−α )dim bgαb + (1 − e
α∈∆
c (λ)
w∈W

c (λ) は ∆b re (λ) に対応する鏡映で生成される b
c の部分群. さ
ここで W
g のワイル群 W
らに (ii) の条件から ch L(λ) はある種のテータ関数で表すことができ, モジュラー群
SL2 (Z) の作用に関する不変性を持つことがわかる (指標がモジュラー不変性を持つ表現は許容表現に限ることが予想されている [KW1]). また 2 つの許容表現の間には非自明な拡大がない ([GK]). 従って bg の許容表現は半単純な圏をなす.
一方, 可積分表現でない許容表現は (可積分表現とは異なり) ワイル群不変性を持
たず8, ユニタリー性も成立しない. 自然な幾何学的実現は (現在のところ）知られておらず, 結晶基底の存在も (現在のところ）知られていない.
7例えば g が E 型で k = 1 のとき, (vareity は共に {0} であるが) 核が非自明であることが容易にわ
8かる.
8指標 (7) は W
c (λ) 不変ではない.

レベル k は L(kΛ0 ) が許容表現となるとき許容であると云われる. これは次の条件と同値である. (1) k ∈ Q かつ (2) kΛ0 が b
g ウエイトとして regular dominant である. 具体的には許容レベルは次の形をしている ([KW2]).
{h∨ (r∨ , q) = 1 のとき,p∨k + h = , (p, q) ∈ N, (p, q) = 1, p ≥qh(r∨ , q) = r∨ のとき
1 g が ADE 型のとき
ここで, h, h∨ はそれぞれ b
g の Coxter 数と双対 Coxeter 数, r∨ = 2 g が BCF 型のとき


3 g が G2 型のとき.
次の結果は Feigin-Frenkel によって予想され, g = sl2 のときは Feigin-Malikov[FM] によって示されていた.
定理 4.6 ([A5]). k が許容であれば XLk (g) ⊂ N .
さらに次が成立する (Joseph の定理のアフィンアナローグ).
定理 4.7 ([A5]). k が許容レベルの時 XLk (g) は k の分母 q ∈ N のみに依る N の既約な部分代数多様体である. すなわち, 各 q ∈ N に対して冪零軌道 Oq が存在し, 分母が q の許容レベル k に対して

|XLk (g) | = Oqとなる. 具体的には Oq は次で与えられる.
{{x ∈ g | (ad x)2q = 0},Oq =∨{x ∈ g | πθs (x)2q/r = 0},(q, r∨ ) = 1 のとき,
(q, r∨ ) = r∨ のとき.

ここで θs は g の最高ショートルート, πθs は最高ウエイト θs の g の有限次元既約表現.
{(n) ` n(q ≥ n)に例 4.8. g = sln (C) のとき, Oq は分割(q, q, . . . , q, s) ` n (0 ≤ s < n) (q < n)対応する冪零軌道である.
注意 4.9. 上の定理から k が許容レベルの時

Specm(gr Lk (g)) ∼= JOq
であることも従う. ここで JX は X のアーク空間9定理 4.10. [A7] k が許容レベルの時予想 4.5 は正しい. すなわち, q ∈ N を k の分母とするとVar(Ik ) = Oq .
定理 4.6 と定理 4.10 の証明には (アフィン)W 代数を使う.
Duflo の定理から, 次の結果は Ik を含む U (g) の primitive ideal を完全に決定する.
定理 4.11 ([A6]). λ ∈ bh∗ をレベル k(i.e. λ(K) = k) とすると L(λ) が Lk (g) 加群で∼bbあるための必要十分条件は L(λ) が ∆(λ)= ∆(kΛ
0 ) なる許容表現であることである.
9C 上の有限型スキーム X に対し, JX は任意の可換 C 代数 A に対し Hom(Spec A, JX) ∼=Hom(Spec A[[t]]], X) を満たすスキームとして定義される (cf.
citeEinMus).

5. (アフィン)W 代数
f ∈ N とし, Wk (g, f ) を (g, f ) に付随するレベル k ∈ C の W 代数とする ([FF,KRW]). Wk (g, f ) は一般にはリー環ではなく頂点代数であり, 次の性質を持つ.
• XWk (g,f ) ∼= Sf かつ, gr Wk (g, f ) ∼= C[JSf ] ([DSK, A5]).
• Wk (g, f ) は次の意味で有限 W 代数 U (g, f ) のアフィン化である10([[DSK,A2]]).
A(Wk (g, f )) ∼= U (g, f )• Wk (g, f ) は次の意味でアフィン Kac-Moody 代数や Virasoro 代数の一般化である.
– Wk (g, 0) = V k (g),– Wk (sl2 , f ) は (k 6= −2 のとき) 中心電荷 1−6(k+1)2 /(k+2) の Virasoro
頂点代数である.
Wk (g, f ) は量子 Drinfeld-Sokolov 還元法によって定義される. すなわりある BRST
コホモロジー関手 Hf• (?) を用いて
Wk (g, f ) = Hf0 (V k (g))
と定義される ((3) のアナローグ).
Wk (g, f ) の唯一11の既約単純商を Wk (g, f ) と書く. XWK (g,f ) ∼= Sf なので XWk (g,f )は Sf の C∗ 不変なポアソン部分代数多様体になる. 従って,

Wk (g, f ) が C2 有限 ⇐⇒XWk (g,f ) = {f }.

例 5.1. g = glN , f = fprin とする. (4) より,∼

U (g, fprin ) → S(h)SN ,→ S(h)であった. h の自然なアフィン化としては Heisenberg 代数が考えられる. 対応する頂点代数は h に付随した∑(レベル κ = k + N の12) 普遍アフィン頂点代数 Hκ である.
これは生成場 xi (z) = n∈Z xi,n z −n−1 (i = 1, . . . , N ), OPE

xi (z)xj (w) ∼κδi,j(z − w)2( ⇐⇒ [xi,n , xj,m ] = κnδn+m,0 δi,j )で定義される頂点代数である.
Harish-Chandra 同型のアフィン化として, 三浦変換と呼ばれる頂点代数の埋め込み

Wk (g, fprin ) ,→ Hκ .
が存在することが知られている.
Hκ の部分頂点代数としては Wk (g, fprin ) は以下で定義される場

W (1) (z), W (2) (z), . . . , W (N ) (z)10Wk (g, f ) は一般には 1 Z
2≥0 -graded なのでここでの Zhu 代数は正確には Ramond twisted Zhu 代

数である.
11k = −h∨ の時は唯一の graded simple quotient12κ 6= 0 に依らない.

で生成される.
N∑

W (j) (z)(ν∂)N −j =: (ν∂z + x1 (z))(ν∂z + x1 (z)) . . . (ν∂z + xN (z)) :j=0d
ここで, ∂z xi (z) = dz
xi (z) + xi (z)∂z , ν = κ − 1 = k + N − 1. よって∑
W (r) (z) =: xi1 (z)xi2 (z) . . . xir (z) : +lower
i1 <i2 <···<irという形をしている ([FL], [AM] も参照のこと). ただし, W (r) )(z) たちの OPE(交換関係) に関する closed formula は知られていない (導出は不可能だと思われる).
さて, 有限次元の場合同様, 次の関手が定まる.

V k (g)-Mod → Wk (g, f )-Mod,

M 7→ Hf0 (M )KLk を bg のレベル k の Harish-Chandra (bg, G[[t]]) 加群の圏とする. すなわち KLk
は G[[t]] 加群の構造を持ち, その作用を微分することによって得られる g[[t]] の作用がg[t] ⊂ b
g の作用と整合的な対象からなるレベル k の b
g 加群のなす充満部分圏である.
定理 5.2 ([A5]). 任意の k ∈ C, M ∈ KLk について Hfi6=0 (M ) = 0. 従って

KLk → Wk (g, f )-Mod,

M 7→ Hf0 (M ),は完全関手.
上の定理より, 特に自然な全射 V k (g) → Lk (g) は頂点代数の全射 Wk (g, f ) =Hf0 (V k (g)) → Hf0 (Lk (g)) を誘導する. 従って Hf0 (Lk (g)) は零でなければ Wk (g, f )の商頂点代数である. 特に単純 W 代数 Wk (g, f ) をその商に持つ.
予想 5.3 ([FKW, KRW]). Hf0 (Lk (g)) は零でなければ Wk (g, f ) に同型.
上の予想は多くの場合 [A1, A2, A3] において証明されている.
定理 5.4 ([A5]). 任意の k ∈ C, f ∈ N について次が成立する.

XHf0 (Lk (g)) = XL(kΛ0 ) ∩ Sf .
系 5.5. Hf0 (Lk (g)) 6= 0 ⇐⇒ f ∈ XL(kΛ0 ) .
系 5.6. k を分母が q ∈ N の許容レベル, f ∈ Oq とする. このとき XHf0 (L(kΛ0 )) = {f }.
従って Hf0 (L(kΛ0 )) は C2 有限. 故に Wk (g, f ) も C2 有限.

6. W 代数の極小模型
頂点代数 V は全ての加群が完全可約のとき有理的であると云われる.
定理 6.1. V を有理的かつ C2 有限, CFT 型の頂点作用素代数とする.

(i) ([Zhu], Dong-Lin-Ng]) {M1 , . . . , Mr } を単純 V 加群の完全代表系, v ∈ V の
cv
ウエイト k の斉次ベクトルとすると {q − 24 trMi (o(v)q L0 )} はウエイト k のモジュラー形式となる. ただし, o(v) は V の斉次成分を保つ v(z) のフーリ
エ係数.
(ii) ([H1]) V 加群の圏はモジュラーなテンソル圏になる. 特に対応する ReshetikhinTuraev 不変量は 3 次元多様体の不変量を与える.

主冪零軌道 Oprin は N の中の稠密な G 軌道であった. 許容レベル k は次を満たすとき非退化であると云われる.

XLk (g) = Oprin (= N ).
q ∈ N を k の分母とするとこれは次の条件と同値である.
{
h((q, r∨ ) = 1 のとき),
q≥r∨L h∨ ((q, r∨ ) = r∨ のとき).
予想 6.2 ([FKW]). k を非退化許容レベルすると Wk (g, fprin ) は有理的 (かつ C2 有限).

g = sl2 のとき, 非退化許容レベルに対応する Wk (g, fprin ) は Virasoro 代数の極小
模型 ([BPZ]) に対応した頂点代数に他ならない.
予想 6.2 は Kac-脇本 [KW2] によって一般化された. 冪零軌道 Oq を用いるとそれは次の形で述べることができる ([A5]).
予想 6.3 ([KW2]). k を q ∈ N を分母とする許容数とする. 次を満たすとき Wk (g, f )は有理的である.
• f ∈ Oq .
• f は標準 Levi type である.
• (q, r∨ ) = 1.
現在我々は上の条件のうち, 最後の 2 つの条件は必要ないと考えている.
予想 6.4 (A.). k を q ∈ N を分母とする許容数とする. f ∈ Oq とすると Wk (g, f ) は有理的である.
定理 6.5.
(i) ([A7]) 予想 6.2 は正しい.
(ii) ([A8]) g = sln のとき, 予想 6.3 は正しい（このときは最後の 2 つの条件は自動的に満たされる).
(iii) ([A8]) f が ADE 型の副正則元の時一般化された Kac-脇本予想 6.4 は正しい (DE 型の副正則元は標準 Levi type ではない).

References[ABD] Toshiyuki Abe, Geoﬀrey Buhl, and Chongying Dong. Rationality, regularity, and C2 cofiniteness. Trans. Amer. Math. Soc., 356(8):3391–3402 (electronic), 2004.
[Akm] Füsun Akman. A characterization of the diﬀerential in semi-infinite cohomology. J. Algebra, 162(1):194–209, 1993.
[ALY] Tomoyuki Arakawa, Ching Hung Lam, and Hiromichi Yamada. Zhu’s algebra, C2 -algebra
and C2 -cofiniteness of parafermion vertex operator algebras. Adv. Math., 264:261–295,
2014.
[AM] Tomoyuki Arakawa and Alexander Molev. Explicit generators in rectangular aﬃne W-algebras o type A. arXiv:1403.1017 [math.RT].
[A1]
Tomoyuk Arakawa. Representation theory of superconformal algebras and the Kac-RoanWakimoto conjecture. Duke Math. J., 130(3):435–478, 2005.
[A2]
Tomoyuki Arakawa. Representation theory of W -algebras. Invent. Math., 169(2):219–320,
2007.
[A3]
Tomoyuki Arakawa. Representation theory of W -algebras, II. In Exploring new structuresand natural constructions in mathematical physics, volume 61 of Adv. Stud. Pure Math.,pages 51–90. Math. Soc. Japan, Tokyo, 2011.
[A4]
Tomoyuki Arakawa. A remark on the C2 cofiniteness condition on vertex algebras. Math.
Z., 270(1-2):559–575, 2012.
[A5]
Tomoyuki Arakawa. Associated varieties of modules over Kac-Moody algebras and C2 cofiniteness of W-algebras. 04 2010. 1004.1554v2.

T. Arakawa. Rationality of admissible aﬃne vertex algebras in the category O.
arXiv:1207.4857[math.QA].
[A7]
Tomoyuki Arakawa. Rationality of W-algebras;
principal nilpotent cases.
arXiv:1211.7124[math.QA].
[A8]Tomoyuki Arakawa. in preparation.
[BD]
Alexander Beilinson and Vladimir Drinfeld. Quantization of hitchin’s integrable systemand hecke eigensheaves. preprint.
[BGK] Jonathan Brundan, Simon M. Goodwin, and Alexander Kleshchev. Highest weight theory
for finite W -algebras. Int. Math. Res. Not. IMRN, (15):Art. ID rnn051, 53, 2008.
[BPZ] A. A. Belavin, A. M. Polyakov, and A. B. Zamolodchikov. Infinite conformal symmetry
in two-dimensional quantum field theory. Nuclear Phys. B, 241(2):333–380, 1984.
[DSK] Alberto De Sole and Victor G. Kac. Finite vs aﬃne W -algebras. Japan. J. Math., 1(1):137–
261, 2006.
[FBZ] Edward Frenkel and David Ben-Zvi. Vertex algebras and algebraic curves, volume 88 of
Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI,
second edition, 2004.
[FF]
Boris Feigin and Edward Frenkel. Quantization of the Drinfel0 d-Sokolov reduction. Phys.
Lett. B, 246(1-2):75–81, 1990.
[FKW] Edward Frenkel, Victor Kac, and Minoru Wakimoto. Characters and fusion rules for W algebras via quantized Drinfel0 d-Sokolov reduction. Comm. Math. Phys., 147(2):295–328,
1992.
[FL]
V. A. Fateev and S. L. Lykyanov. The models of two-dimensional conformal quantum field
theory with Zn symmetry. Internat. J. Modern Phys. A, 3(2):507–520, 1988.
b 2 at a ra[FM] Boris Feigin and Fyodor Malikov. Modular functor and representation theory of sltional level. In Operads: Proceedings of Renaissance Conferences (Hartford, CT/Luminy,1995), volume 202 of Contemp. Math., pages 357–405, Providence, RI, 1997. Amer. Math.
Soc.
[FZ]
Igor B. Frenkel and Yongchang Zhu. Vertex operator algebras associated to representationsof aﬃne and Virasoro algebras. Duke Math. J., 66(1):123–168, 1992.
[GG] Wee Liang Gan and Victor Ginzburg. Quantization of Slodowy slices. Int. Math. Res.
Not., (5):243–255, 2002.
[Gin] Victor Ginzburg. Harish-Chandra bimodules for quantized Slodowy slices. Represent. Theory, 13:236–271, 2009.
[GK] Maria Gorelik and Victor Kac. On complete reducibility for infinite-dimensional Lie algebras. Adv. Math., 226(2):1911–1972, 2011.
[H1]
Yi-Zhi Huang. Rigidity and modularity of vertex tensor categories. Commun. Contemp.
Math., 10(suppl. 1):871–911, 2008.
[H2]
Yi-Zhi Huang. Vertex operator algebras and the Verlinde conjecture. Commun. Contemp.
Math., 10(1):103–154, 2008.
[Jos]
Anthony Joseph. On the associated variety of a primitive ideal. J. Algebra, 93(2):509–523,
1985.
[Kac] Victor Kac. Vertex algebras for beginners, volume 10 of University Lecture Series. American Mathematical Society, Providence, RI, second edition, 1998.
[Kos] Bertram Kostant. On Whittaker vectors and representation theory. Invent. Math.,
48(2):101–184, 1978.
[KRW] Victor Kac, Shi-Shyr Roan, and Minoru Wakimoto. Quantum reduction for aﬃne superalgebras. Comm. Math. Phys., 241(2-3):307–342, 2003.
[KS]
Bertram Kostant and Shlomo Sternberg. Symplectic reduction, BRS cohomology, andinfinite-dimensional Cliﬀord algebras. Ann. Physics, 176(1):49–113, 1987.
[KW1] V. G. Kac and M. Wakimoto. Classification of modular invariant representations of aﬃne
algebras. In Infinite-dimensional Lie algebras and groups (Luminy-Marseille, 1988), volume 7 of Adv. Ser. Math. Phys., pages 138–177. World Sci. Publ., Teaneck, NJ, 1989.
[KW2] Victor G. Kac and Minoru Wakimoto. On rationality of W -algebras. Transform. Groups,
13(3-4):671–713, 2008.
[Los1] Ian Losev. 1-dimensional representations and parabolic induction for w-algebras. preprint,
2009. arXiv:math/0906.0157[math.RT].
[Los2] Ivan Losev. Finite-dimensional representations of W -algebras. Duke Math. J., 159(1):99–
143, 2011.
[A6]

[Miy][Pre][Zhu]

Masahiko Miyamoto. Modular invariance of vertex operator algebras satisfying C2 cofiniteness. Duke Math. J., 122(1):51–91, 2004.
Alexander Premet. Special transverse slices and their enveloping algebras. Adv. Math.,
170(1):1–55, 2002. With an appendix by Serge Skryabin.
Yongchang Zhu. Modular invariance of characters of vertex operator algebras. J. Amer.
Math. Soc., 9(1):237–302, 1996.