楕円曲線上の WZW 模型について
黒木 玄
東北大学大学院理学研究科数学専攻
武部 尚志
東京大学大学院数理科学研究科

1998 年 3 月

序論

0

楕円曲線上の Wess-Zumino-Witten 模型 (WZW 模型)1 およびそれに関係して現われる可積分系を研究することによって, WZW 模型の定式化のさらなる発展の方向を探りたい.
Knizhnik と Zamolodchikov [KZ] は, 種数 0 の場合における WZW 模型にける conformal
blocks が有理古典 r 行列に付随する Knizhnik-Zamolodchikov 方程式 (KZ 方程式) を満たしていることを示した. さらに, Feigin, E. Frenkel, Reshetikhin [FFR] は, 種数 0 の場合における臨界レベルの WZW 模型の枠組によって, 有理古典 r 行列に付随する Gaudin 模型2 が定式化可能であることを示した.
これらの結果から, 誰でも次の素朴な問題を思い付くであろう. Belavin-Drinfeld の楕円古典
r 行列3 に付随する KZ 方程式4 や Gaudin 模型5 を WZW 模型の枠組で定式化できないであろうか? 我々はすでに, Beilinson と Schechtman の仕事 [BS] や土屋, 山田, 上野の仕事 [TUY]
や土基の仕事 [Ts] などによって6 , 任意の種数を持つ曲線上の WZW 模型の満足な定式化が得られている. それらをそのまま利用することによって, 先の問題の解答が得られないだろうか?
しかし, この後者の問題の解答は否定的である. 主束の変形も含めて, 楕円曲線上の WZW 模
型を定式化するとき, 現われる線形微分方程式は, 楕円古典 r 行列に付随する KZ 方程式ではなく, Bernard [Be] によって定式化された Knizhnik-Zamolodchikov-Bernard 方程式なのである7 . それではどうすれば良いのか? WZW 模型の定式化のどこを一般化すれば良いのであろうか? この疑問に答えたのが, 筆者達の論文 [KT] である.
最初のヒントは, Cherednik の論文 [Ch] における古典 r 行列の代数幾何的定式化から得られた. Cherednik は古典 r 行列を C 上の Lie 環に付随するものと考えるのではなく, 曲線上の1

正確には, chiral WZW 模型. ここで, chiral は WZW 模型の holomorphic part すなわち conformal blocksの空間のみを扱うことを意味している.
2
XXX 模型のある種の漸近極限で得られる模型の一般化. 例えば [Sk] を見よ.
3
定義はこの論説の第 1.1 節もしくは [BD] を見よ.
4
第 1.3 節もしくは Etingof [E] を見よ.
5
XYZ 模型のある種の漸近極限で得られる模型の一般化. 第 1.4 節もしくは [ST] を見よ.
6[Ku] も見よ. そこでは主束の変形も込めた WZW 模型の conformal blocks の層に入る射影平坦接続の座標不変な定式化が与えられている.
7
より数学的に明確な定式化については, Felder と Wieczerkowski による [FW] を見よ.

1

平坦 Lie 環束8 に付随するものとして構成した.
これを見て, 筆者達は WZW 模型を C 上の代数群に付随するものとして定式化するのではな
く, 曲線上の平坦接続付きの群概型に付随するものとして定式化し直すことを考えた. そして,その特別な場合, すなわち楕円曲線上のある特別な群概型に付随する WZW 模型 (捩れ WZW模型) から, 楕円古典 r 行列に付随する KZ 方程式や Gaudin 模型が出て来ることを示したのである.
別のヒントは, 代数群を用いた保型形式論と WZW 模型の定式化が類似していることからも得られた. 数論における代数体とコンパクト Riemann 面上の有理函数体は, あいだに有限体上の曲線の代数函数体を狭むことによって, 多く類似した性質を持っていることが確かめられ,そのことはよく知られている. 一般に, 固定された代数体上の代数群のアデールを用いて, 保型
形式論が定式化される. 実は, WZW 模型は, この保型形式論の類似を Riemann 面の場合に考えたものになっているとみなせるのである9 .
この類似のもとでは, C 上の代数群よりも, 複素代数曲線上の群概型を考える方が自然である
ことがすぐにわかる. 複素代数群 G と曲線 X に対して, X 上の直積型の群概型 Gtriv = G × X
が定まる. これは, 与えられた代数体上分裂する代数群を考えることの類似になっている. 一
般に, 基礎体上分裂しない様々な代数群を考えることができる. これと同様に, WZW 模型の側でも, 曲線上の様々な群概型を考える方が自然である.
このアイデアは, 可積分系の WZW 模型を使った定式化の理論によっても支持される. なぜなら, 上で述べたように, 楕円古典 r 行列に付随する系を WZW 模型の範囲で扱うために, そのような一般化が実際に有効であることが, 筆者達によって示されているからである.

1

楕円 KZ 方程式と楕円 Gaudin 模型

1.1

Belavin-Drinfeld の楕円古典 r 行列

Lie 環 g を g = slN (C) = { A ∈ MN (C) | tr A = 0 } と定め, g の内積を (A|B) = tr(AB) と定める. N 次正方行列 α, β を




0 1
0
1
0


 ε

 0 ...  , β := α := 


...


..


. 1

1

0

0

εN −1

と定める. ここで, ε = exp(2πi/N ) である. これらは, αN = β N = 1, αβ = εβα を満たしている. 特に, Ad(α), Ad(β) は互いに可換な g の内部自己同型写像を与える.
Ja,b := β a α−b と置くと, Ad(α)Ja,b = εa Ja,b , Ad(β)Ja,b = εb Ja,b が成立する. { Ja,b | (a, b) ∈(Z/N Z)2 \ {(0, 0)} } は g = slN (C) の基底をなし, J a,b := ε−ab J−a,−b /N は内積 ( . | . ) に関する∑その双対基底をなす. 特に, g ⊗ g の Casimir 元 Ω は (a,b)̸=(0,0) Ja,b ⊗ J a,b に等しい.
上半平面 H := { Im τ > 0 } から任意に τ を取る. Belavin-Drinfeld の楕円古典 r 行列 r(t)は, 以下の特徴付けの条件によって定義される:

1. r(t) は C 上の g ⊗ g 値有理型函数である.
89

平坦接続が入ったベクトル束でファイバーごとに接続と両立する Lie 環構造が与えられたもの.
曲線上の群概型に平坦接続を与えておくことは, 代数体上の代数群への Galois 群作用の類似である.

2

2. 任意の x ∈ GLN (C) に対して, (Ad(x) ⊗ Ad(x))(r(t)) = r(t).
3. r(t + 1) = (Ad(α) ⊗ id)(r(t)) かつ r(t + τ ) = (Ad(β) ⊗ id)(r(t)).
4. r(t) の極は全て単純で Z + τ Z に含まれ, r(t) の t = 0 における留数は Casimir 元 Ω に等しい.
このような r(t) は一意に存在し, 古典 Yang-Baxter 方程式を満たしている.

1.2

テータ函数の記号の準備

テータ函数の記号を用意しよう. Mumford [Mu] にしたがって, θκ,κ′ を∑2′eπi(n+κ) τ +2πi(n+κ)(t+κ ) .
θκ,κ′ (t; τ ) =n∈Zと定義し, さらに,

θ[a,b] (t) := θ[a,b] (t; τ ) := θ a − 1 ,− b + 1 (t; τ ),
N

2

N

2

∂
′
θ[a,b] := θ[a,b] (0; τ ), θ[a,b]:=θ[a,b] (t; τ )
,
∂t
t=0
′
θ[0,0]
θ[a,b] (t; τ )wa,b (t) := wa,b (t; τ ) :=,θ[a,b] θ[0,0] (t; τ )( ′)′wa,b (t) θ[a,b] (t) θ[a,b]Za,b (t) := Za,b (t; τ ) :=−.
4πi
θ[a,b] (t) θ[a,b]と置く. Za,b (t) は t = 0 に見掛け上の特異点を持つが, t = 0 まで解析接続される. これらの函数のより詳しい性質については [KT] を見て欲しい.
このとき, 楕円古典 r 行列は次のように表わされる:∑
r(t) =
wa,b (t)Ja,b ⊗ J a,b .
(a,b)̸=(0,0)

楕円 KZ 方程式の τ 方向の成分を書き下すために, 次の記号を用意しておく:∑
Za,b (t)Ja,b ⊗ J a,b .
s(t) = −(a,b)̸=(0,0)

ここで簡単のために τ を省略したが, これらは τ にも依存していることに注意せよ.

1.3

楕円 KZ 方程式

任意に κ ∈ C× を取り固定する. Vi (i = 1, . . . , L) は g = slN (C) の有限次元既約表現である⊗Lとし, V = i=1 Vi と置く. A ∈ g の V の第 i 成分への作用を ρi (A) と書くことにする. このとき, 楕円 KZ 方程式とは, V 値函数 u = u(z; τ ) = u(z1 , . . . , zL ; τ ) を未知函数とする次の線形微分方程式のことである:∑∂κu=(ρj ⊗ ρi )(r(zj − zi ))u (i = 1, . . . , L),
∂zi
j̸=i

L
∑
∂
κ u=
(ρj ⊗ ρi )(s(zj − zi ))u.
∂τ
i,j=1

3

この線形微分方程式系は完全積分可能である.

1.4

楕円 Gaudin 模型

Vi (i = 1, . . . , L), V , ρi は前節と同じであるとし, (CN , ρ ) は g = slN (C) のベクター表現であるとする. パラメーター zi (i = 1, . . . , L) を固定し,L
L∑∑
T (t) :=(ρ ⊗ ρi )(r(t − zi )) =i=1∑

wa,b (t − zi )ρ (Ja,b ) ⊗ ρi (J a,b )

i=1 (a,b)̸=(0,0)と置く. T (t) は MN (C)⊗End(V ) 値の有理型函数であるが, 以下においては, MN (C)⊗End(V )を MN (End(V )) = {End(V ) を成分に持つ N 次正方行列全体 } と自然に同一視し, T (t) をMN (End(V )) 値の有理型函数とみなす. MN (End(V )) 内での T (t) の二乗のトレースの半分をτ̂ (t) と表わす:τ̂ (t) :=L
1
1∑
tr(T (t)2 ) =2
2 i,j=1∑

w−a,−b (t − zi )wa,b (t − zj )ρi (Ja,b )ρj (J a,b ).

(a,b)̸=(0,0)

これは, 格子模型における転送行列のある種の準古典極限であり, 異なる t に対する τ̂ (t) は互いに可換である.
Weierstraßの ℘ 函数と ζ 函数をそれぞれ ℘(t), ζ(t) と書くことにする. このとき, τ̂ (t) を次のように表わすことができる:τ̂ (t) =L∑

Ci ℘(t − zi ) +

i=1

L
∑

Hi ζ(t − zi ) + H0 .

i=1⊗L
ここで, Ci = 21 (ρi ⊗ ρi )(Ω), すなわち, Ci は V = i=1 Vi の i 番目の成分に作用する Casimir
作用素であり, Hi (i = 0, 1, . . . , L) は V に作用する互いに可換な作用素である. ただし,∑L
i=1 Hi = 0 が成立しているので, 独立な作用素は丁度 L 個である. Hi たちは, 楕円 Gaudin
模型における 2 階の Gaudin Hamiltonians と呼ばれている. すなわち, τ̂ (t) は 2 階の Gaudin
Hamiltonians の母函数である.

1.5

参考: 有理函数版について

以上において, 楕円函数版の KZ 方程式および Gaudin 模型について説明した. それらは全て楕円古典 r 行列から出発して, 定式化されるのであった. その手続きにおいて, 楕円古典 r
行列 r(t) を有理古典 r 行列 rrat (t) = Ω/t で置き換えれば, 有理函数版の KZ 方程式と Gaudin
模型が得られる.

2

楕円曲線上の捩れ WZW 模型と Gaudin 模型

2.1

楕円曲線上の平坦 Lie 環束

上半平面 H 上の点 τ を任意に取り固定し, それに対応する楕円曲線を X = Xτ = C/(Z+τ Z)と書くことにする. Z + τ Z と X の基本群は自然に同一視される: π1 (X) = Z + τ Z. 基本群4π1 (X) から g の内部自己同型群 Ad(g) への準同型写像を 1 7→ Ad(α), τ 7→ Ad(β) によって定
める. この準同型が定める各ファイバーが g に同型な X 上のベクトル束を gtw と書くことにする. 定義より, gtw は自然に平坦接続 ∇ を持ち, gtw にはファイバーごとの Lie 環の構造と内積 ( . | . ) が自然に誘導される.
Z + τ Z から C× への準同型写像 1 7→ εa , τ 7→ εb から自然に定まる X 上の平坦直線束を
La,b と書くと, gtw は次のような自然な直和分解を持つことがわかる:⊕
gtw =La,b Ja,b .
(a,b)̸=(0,0)

ここで, ∇Ja,b = 0 である.
gtw の重要な性質は, その正則切断の芽のなす層 (それも gtw と書く) のコホモロジーが全て消えていることである:

H 0 (X, gtw ) = H 1 (X, gtw ) = 0.
このことは, La,b ((a, b) ̸= (0, 0)) のコホモロジーが全て消えていることから直ちに示される.
以下の目標は, この gtw から出発して, 全てを再構成することである.

2.2

アフィン Lie 環

楕円曲線 X 上の互いに異なる点 Q1 , . . . , QL を任意に取り固定する. (X; Q1 , . . . , QL ) を L
点付き楕円曲線と呼ぶ. C による X の自然な被覆から得られる Qi の座標を zi と書くことに
する.
i
tw
の直線束
OX 加群としての gtw の点 Qi における完備化を gQ+ と書くことにする. 上の g
Qiへの直和分解を通して, g+ は⊕i
gQ=
C[[t − zi ]] ⊗ Ja,b = g[[t − zi ]]+(a,b)̸=(0,0)と同一視される. この同一視のもとで, gQi := g((t−zi )) (g 係数の t−zi についての形式 Laurent∑L
級数全体のなす Lie 環) と定める. 因子 D = i=1 Qi の上にのみ極を持つ gtw の大域有理切断iDDの全体のなす Lie 環を gDと書くことにし, gQi , gQ
+ たちの直和をそれぞれ g , g+ と書く:
ẊgD:= H 0 (X, gtw (∗D)),
Ẋ

D

g =

L
⊕

Qi

g ,

i=1

gD
+ =

L
⊕
i
gQ
+ .
i=1

D
このとき, 上で述べたコホモロジー消滅は, 直和分解 gD = gD
+ ⊕ gẊ と同値である.
C 上の無限次元 Lie 環 gD は次の 2-cocycle を持つ:

ca (A, B) :=

L
∑
i=1

Res(∇Ai |Bi ).
t=zi

D
L
であり, Rest=z は t = z における留数である. このここで, A = (Ai )L
i=1 , B = (Bi )i=1 ∈ g
DD
2-cocycle が定める g の中心拡大をĝ と書くことにする:

ĝD := gD ⊕ Ck̂.
D
D
D
ここで, k̂ は中心元である. このとき, ĝD+ := g+ ⊕ Ck̂ と gẊ は自然に ĝ の Lie 部分環であり,ĝD はベクトル空間としてそれらの直和に分解する.

5

2.3

Conformal coinvariants と conformal blocksĝQi := gQi ⊕ Ck̂ は ĝD の Lie 部分環であり, 通常のアフィン Lie 環と (完備化を除いて) 同型である. ベクトル空間 M に k̂ が定数倍 k で作用するとき, M はレベル k であると言う.
k ∈ C を任意に固定するとき, 同一のレベル k を持つ ĝQi 加群 Mi (i = 1, . . . , L) に対して,⊗
M := Li=1 Mi は自然にレベル k の ĝD 加群とみなせる.
以上の記号のもとで, M に対する conformal coinvariants 全体のなすベクトル空間 CC(M )と conformal blocks 全体のなすベクトル空間 CB(M ) が次のように定義される:
M,
CC(M ) := M/gD
ẊCB(M ) := (M/gD
M )∗ = { Φ ∈ M ∗ | Φ(v) = 0 for v ∈ gD
M}
ẊẊ
これらの空間は, gtw に付随した捩れ WZW 模型の最も基本的な研究対象であり, ある意味で,
代数体上の代数群のアデールの表現論によって定式化された保型形式論における保型形式の空間の Riemann 面に対する類似物であると言うことも可能である.

2.4

Weyl 加群とその conformal coinvariants と conformal blocks⊗L
第 1.3 節や第 1.4 節と同様に, Vi は g の有限次元既約表現であるとし, V = i=1 Vi と置き,A ∈ g の V の第 i 成分への作用を ρi (A) と書くことにする. 任意に k ∈ C を取る. V から誘導⊕Lされた ĝD のレベル k の Weyl 加群が以下のように定義される. V に ĝD+ =i=1 g[[t − zi ]] ⊕ Ck̂
を次のように作用させる:
( L
)
∑
(
)
(Ai (t − zi ))Li=1 ; ak̂ v :=ρi (Ai (0)) + ak v.
i=1

ここで, Ai (t − zi ) ∈ g[[t − zi ]], a ∈ C, v ∈ V である. これによって, V は ĝD+ 加群である. こDの加群が誘導する ĝ 加群を Weyl 加群と呼び, Mk (V ) と表わす:

Mk (V ) := U (ĝD ) ⊗U (ĝD+ ) V.
以下, v ∈ V を 1 ⊗ v を対応させることによって, V が Mk (V ) に埋め込まれていると考える.
Weyl 加群に対する conformal coinvariants の空間と conformal blocks の空間は簡単に計算できる. V の Mk (V ) への埋め込みは次の同型を誘導するのである:∼

CC(Mk (V )) ← V =L⊗∼

CB(Mk (V )) → V ∗ =

Vi ,

i=1

L
⊗

Vi∗ .

i=1

D
D
この結果は直和分解 ĝD+ := ĝ+ ⊕ gẊ に注意すれば, 容易に示される.
CC(Mk (V )) と CB(Mk (V )) はレベル k と X 上の L 個の点 Qi と g の L 個の表現 Vi で決まるので, それらをそれぞれ CCk ({Qi }, {Vi }), CBk ({Qi }, {Vi }) と書くことにする.
X 上の Qi たちとは異なる点 P に対して, g の 1 次元自明表現 CP = CuP を対応させておく. CP の誘導する ĝP の Weyl 加群 (上と同様に定義する) を Mk (CP ) と書き, ĝP のレベル kの真空表現と呼ぶことにする. このとき, ĝP +D の Weyl 加群 Mk (CP ⊗ V ) は Mk (CP ) ⊗ Mk (V )と自然に同一視される.

6

上の結果より, 以上の状況のもとで, v ∈ Mk (V ) に uP ⊗ v を対応させることによって得られる埋め込み写像 Mk (V ) ,→ Mk (CP ) ⊗ Mk (V ) = Mk (CP ⊗ V ) が次の同型を誘導することがわかる:∼CCk ({P, Qi }, {CP , Vi }) ← CCk ({Qi }, {Vi }),∼CBk ({P, Qi }, {CP , Vi }) → CBk ({Qi }, {Vi }).
すなわち, 点 P に真空表現を差し込んでも, conformal coinvariants の空間と conformal blocksの空間は変化しないのである.

2.5

菅原作用素

点 P におけるアフィン Lie 環 ĝP = g((t − w)) ⊕ Ck̂ を考える. ここで, w は点 P の座標である. 以下, 記号の簡単のため ξ = t − w と置き, A ∈ g, m ∈ Z に対して A[m] := Aξ m ∈ g((ξ))と書く. A, B ∈ g, m, n ∈ Z に対して, A[m] と B[n] の正規積を次のように定義する:
if m < n,A[m]B[n],◦A[m]B[n] ◦◦ = 21 (A[m]B[n] + B[n]A[m]),◦B[n]A[m],if m = n,
if m > n.

菅原作用素 S[m] を次のように定義する:

S[m] =

1 ∑∑ ◦
Ja,b [m − n] J a,b [n] ◦◦ .
2 a,b n∈Z ◦これは, 例えば, g の有限次元既約表現 VQ に対する Weyl 加群 Mk (VQ ) 上の作用素として
well-deﬁned である.
以下, κ := k + N と置き. k = −N すなわち κ = 0 のとき, レベルは臨界であると言う.
上の作用素達は, 以下の関係式を満たしている:[S[m], A[n]] = −κnA[m + n] for A ∈ g,()
k dim g 3
[S[m], S[n]] = κ (m − n)S[m + n] +(m − m)δm+n,0 id .
12
特に, 臨界レベルにおいて, 菅原作用素はアフィン Lie 環およびそれら自身と可換である. また, 非臨界レベルにおいて, T [m] := κ−1 S[m] と置くと, T [m] は中心電荷 ck = k dim g/κ のVirasoro 代数の関係式を満たしていることもわかる (菅原構成).

2.6

臨界レベルの WZW 模型と Gaudin 模型⊗L
第 1.4 節で定義した転送行列の準古典極限 τ̂ (t) は V = i=1 Vi 上の作用素に値を持つ有理型函数であった.
前節までの記号のもとで, v ∈ V に対して S[−2]uP ⊗v のCCk ({P, Qi }, {CP , Vi }) における像を対応させる写像に第 2.4 節で得られた同型写像 CCk ({P, Qi }, {CP , Vi }) ∼= CCk ({Qi }, {Vi }) ∼=Vを合成して得られる V 上の作用素を一時的に τ̂WZW (w) と書くことにする.
7

定理 2.1 ([KT] Lemma 2.2) τ̂ (t) = τ̂WZW (w).
すなわち, 第 1.4 節で定義した転送行列の準古典極限τ̂ (w) は捩れ WZW 模型における conformal coinvariants の空間上の作用素と見たとき, 点 w に真空表現のベクトル S[−2]uP を差し込む操作と同一視できるのである.
臨界レベル (k = −N , すなわち κ = 0) の場合を考えることによって, 異なる w に対するτ̂ (w)が互いに可換であることを証明することもできるし ([KT] Corollary 2.3), Gaudin Hamiltoniansの同時対角化の問題を Weyl 加群の商加群に対する conformal coinvariants の空間もしくはconformal blocks の空間を計算する問題として再定式化することもできる ([KT] Theorem 2.4).

3

楕円曲線上の捩れ WZW 模型と KZ 方程式

3.1

点付き楕円曲線の族上の再定式化

楕円 KZ 方程式を得るためには, 第 2 節の定式化の全てを, 点付き楕円曲線の族上で再定式化しなければいけない. H は上半平面であった. 族の基礎空間 S を次のように定義する:

S := { (τ ; z) = (τ ; z1 , . . . , zL ) ∈ H × CL | zi − zj ̸∈ Z + τ Z if i ̸= j },各 s = (τ ; z) = (τ ; z1 , . . . , zL ) ∈ S におけるファイバーが L 点付き楕円曲線 (Xτ ; q1 (s), . . . , qL (s))
であるような, 点付き楕円曲線の族 π : X → S が自然に定まる. ここで, Xτ = C/(Z + τ Z) でかつ qi (s) は zi の Xτ における像である. 各 qi は π の切断である. その像を Qi と書き, X 上∪Lの因子 D を D := i=1 Qi と定める.
e 上の平坦 Lie 環束 gtw や S
この設定においても, 第 2 節とほとんど全く同様のやり方で X
DDDD
上のアフィン Lie 環の層 ĝD
S やその部分環 gS,+ , ĝS,+ , gẊ が定義される. ĝS 加群 M に対して, conformal coinvariants の層 CC(M) と conformal blocks の層 CB(M) が全く同様に定義される:

M,
CC(M) := M/gD
ẊCB(M) := Hom OS (CC(M), OS ).

Vi を g の有限次元既約表現とし, それに対応する通常のアフィン Lie 環のレベル k の Weyl
⊗L⊗L
加群を Mi と書き, V := i=1 , M := i=1 と置き, M := M ⊗ OS と置く. 層 M には ĝD
S を
D
自然に作用させることができるので, M をĝS の Weyl 加群と呼ぶことにする. 以下においては簡単のため ĝD
S 加群として, この M のみを扱うことにする.
DĝS の Weyl 加群 M に対して, 次の自然な同型が存在する ([KT] Proposition 3.4):∼∼

CB(M) → V ∗ ⊗ OS .

CC(M) ← V ⊗ OS ,3.2

Virasoro 代数の層と可積分接続の構成

S の接層すなわち正則ベクトル場の芽のなす層を TS と書き, S 上の Virasoro 代数の層 VirSD
を次のように定める:
VirSD := TS ⊕L⊕

OS ((ξi ))∂ξi ⊕ OS ĉ,

i=18ただし, C 上の Lie 環の構造は [KT] の第 4.1 節にある自然なやり方で入れることにする. ここで, ĉ は Virasoro 代数の中心元である. レベルが非臨界 (κ = k + N ̸= 0) のとき, 菅原構成によって VirSD を ĝDS 加群 M に自然作用させることができる ([KT] 第 4.2 節).
TX は楕円曲線の族の全体空間 X の接層であり, TX/S は族 π : X → S の相対接層 (relative
tangent sheaf) すなわちファイバーに沿った X 上のベクトル場の芽の層であるとする. π : X → S
は smooth なので, 次の完全列を得る:

0 → TX/S (∗D) → TX (∗D) → (π ∗ TS )(∗D) → 0.
自然な Lie 環構造を持つ π −1 TS ⊂ (π ∗ TS )(∗D) の TX (∗D) における逆像を TX,π (∗D) と書き,
VirẊD := π∗ TX,π (∗D), TẊD := π∗ TX/S (∗D) と置くことによって, 次の Lie 環拡大が得られる:

0 → TẊD → VirẊD → TS → 0.
さらに, D に沿った Laurent 展開によって, VirẊD を VirXD に埋め込むことができる. その埋め込み写像は Lie 環準同型である. よって, Lie 環の層 VirẊD は VirSD の作用を通して, ĝDS 加群
M に作用する. 実は次が成立していることが示せるのである ([KT] Lemma 4.14):

M.
TẊD M ⊂ gD
Ẋ
これより, VirẊD の M への作用が, TS の CC(M) への作用を誘導することがわかる. その作用は CC(M) 上の可積分接続である. 以上によって, conformal coinvariants の層 CC(M) 上の可積分接続が構成された. 双対的に conformal blocks の層 CB(M) 上の可積分接続が定義される.

3.3

可積分接続と楕円 KZ 方程式∼
ĝD
S の Weyl 加群 M に対して, 自然な同型 CC(M) = V ⊗ OS が成立しているのであった.
それでは, この同型を用いて, 前節で構成した CC(M) 上の可積分接続を具体的に書き下すと
き, それはどのような形をしているのであろうか? その解答は次の通り.
定理 3.1 ([KT] Theorem 5.9) 自然な同型によって, CC(M) と V ⊗ OS を同一視するとき,
前節で構成した CC(M) 上の可積分接続に関する平坦切断のなす微分方程式は, 第 1.3 節で説明した楕円 KZ 方程式に一致する.
なお, この研究とは別のやり方で Etingof [E] は楕円 KZ 方程式と WZW 模型の定式化の関係を得ている. Etingof は種数 0 の場合におけるある種の chiral vertex operator のある種の捻りを入れたトレースが楕円 KZ 方程式を満たしていることを示した. この結果は, 我々の立場では, 種数 0 の捩れ WZW 模型の conformal block のある種の捻りトレースによって, 種数
1 の捩れ WZW 模型の conformal block が得られるという, conformal blocks の factorization
property の特別な場合であると理解できる.
他にも, 数論における Langlands program の Riemann 面での類似との関係など, これからの研究において重要な事柄の説明ができなかったことが残念だが, 以上でこの論説を終えるこ
とにする.

9

参考文献
[BD]

Belavin, A. A. and Drinfeld, V. G.: Solutions of the classical Yang-Baxter equations
for simple Lie algebras, Funct. Anal. Appl. 16, 159–180 (1982)[Be]

Bernard, D.: On the Wess-Zumino-Witten models on the torus, Nucl. Phys. B303,
77–93 (1988)[BS]

Beilinson, A. A., Schechtman V. V.: Determinant bundles and Virasoro algebras, Commun. Math. Phys. 118, 651–701 (1988)[Ch]

Cherednik, I. V.: Deﬁnition of τ functions for generalized aﬃne Lie algebras, Funkts.
Anal. i ego Prilozh. 17-3, 93–95 (1983) (in Russian); Funct. Anal. Appl. 17, 243–245(1983) (English transl.)[E]

Etingof, P. I.: Representations of aﬃne Lie algebras, elliptic r-matrix systems, andspecial functions, Commun. Math. Phys. 159, 471–502 (1994)[FFR] Feigin, B., Frenkel, E., Reshetikhin, N.: Gaudin model, Bethe Ansatz and critical level,
Commun. Math. Phys. 166, 27–62 (1994)[FW]

Felder, G., Wieczerkowski, C.: Conformal blocks on elliptic curves and the Knizhnik–
Zamolodchikov–Bernard equations, Commun. Math. Phys. 176, 133–162 (1996)[KT]

Kuroki, G. and Takebe, T.: Twisted Wess-Zumino-Witten models on elliptic curves,
Commun. Math. Phys. 190, 1–56 (1997) [q-alg/9612033][Ku]

黒木 玄: 共形場理論の定式化について10 , 数理研講究録 929 『群の表現論と等質空間上の解析学』, 103–134 (1995)[KZ]

Knizhnik, V. G., Zamolodchikov, A. B.: Current algebra and Wess-Zumino model in
two dimensions, Nucl. Phys. B247, 83–103 (1984)[Mu]

Mumford, D., Tata Lectures on Theta I. Basel-Boston: Birkhäuser, 1982.

[Sk]

Sklyanin, E. K.: Separation of variables in the Gaudin model. Zap. Nauch. Sem. LOMI
164, 151–169 (1987) (in Russian); J. Sov. Math. 47, 2473–2488 (1989) (English transl.)[ST]

Sklyanin, E. K., Takebe, T.: Algebraic Bethe Ansatz for XYZ Gaudin model. Phys.
Lett. A 219, 217–225 (1996)[Ts]

Tsuchimoto, Y.: On the coordinate-free description of the conformal blocks, J. Math.
Kyoto Univ. 33-1, 29–49 (1993)[TUY] Tsuchiya, A., Ueno, K., Yamada, Y.: Conformal ﬁeld theory on universal family of
stable curves with gauge symmetries, In: Integrable systems in quantum ﬁeld theory
and statistical mechanics, Adv. Stud. Pure Math. 19, 459–566 (1989)10

http://www.math.tohoku.ac.jp/ kuroki/TeX/cft.tar.gz に TEX ファイルが置いてある.

10