素粒子論研究 ･ 電子版 Vol. 11 (2012) No. 3

Soryushiron Kenkyu

Alday-Gaiotto-Tachikawa 予想とその発展
瀧雅人

taki at yukawa.kyoto-u.ac.jp

京都大学

基礎物理学研究所（2011 年 12 月 8 日受理）2009 年に Alday、Gaiotto および Tachikawa によって発見された新しいタイプの「双対性」について概論したい. 摂動的な計算結果の観察から、彼らは N = 2 四次元超対称ゲージ理論のインスタン
トン分配関数が、二次元共形場理論の Virasoro 共形ブロックと解析的に結びついていることを見抜いた. すなわちこれは四次元ゲージ理論の分配関数と二次元共形場理論のカイラル相関関数が等価であることを意味している. つまり少なくともこれらのセクターにおいては、両理論の間に双対性が存在していることが強く示唆されている.
このレビューでは、共形ブロックとインスタントン分配関数の組み合わせ論的計算手法を紹介する.
その後で Alday-Gaiotto-Tachikawa の原論文に従い、AGT 対応を発見法的に確認する. さらに、その他の双対的記述や弦理論との関係、あるいは証明の試みなどについても紹介したい.
なお本稿は、2010 年 11 月に東京工業大学素粒子論研究室で行ったセミナーの講義ノートを大幅に加筆したものである.

目次
1

Introduction22

二次元共形場理論と共形ブロック
3
2.1 二次元共形場理論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Virasoro 対称性と相関関数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.3 共形ブロックとその組み合わせ論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.4 物理的相関関数と Liouville 場理論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.5 拡大共形対称性と戸田場理論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

3

N = 2 四次元超対称ゲージ理論とインスタントン分配関数
193.1 重力光子背景と Nekrasov 分配関数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 Nekrasov 分配関数の計算ツールキット . . . . . . . . . . . . . . . . . . . . . . . . . . 21

4

Alday-Gaiotto-Tachikawa 予想
4.1 N = 2 四次元ゲージ理論に対する Gaiotto プログラム . . . . . . . . . . . . . . . . . .
4.2 AGT 予想 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3 SU (N ) ゲージ理論と Wyllard 予想 . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4 変種たち：Gaiotto 予想 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5

AGT 予想における非局所演算子
46
5.1 ループ演算子と非自己交差サイクル . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5.2 基本表面演算子とそのモノドロミー . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
1

25
25
34
40
41

Soryushiron Kenkyu

6

その後の発展58
6.1 Dijkgraaf-Vafa 予想と β-アンサンブル . . . . . . . . . . . . . . . . . . . . . . . . . . 58
6.2 Zamolodchikov 漸化式による AGT 予想の証明 . . . . . . . . . . . . . . . . . . . . . . 64

7

まとめと現状68

A 算術をいくつか
69
A.1 Young 図 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
A.2 Barnes 二重ガンマ関数と DOZZ 三点関数 . . . . . . . . . . . . . . . . . . . . . . . . . 70

1

Introduction

ここ数十年間の素粒子物理学において、共形場理論は重要な役割を担ってきた. 特に二次元共形場
理論は、1984 年の Belavin, Polyakov, Zamolodchikov によるミニマル模型系列の発見 [1] を皮切りに、弦理論の進展を背景にして精力的に研究が進められ、非常に大きな発展を見せた. その結果これ
までに、弦理論の世界面理論として、あるいは統計系の臨界現象を記述する固定点理論として華々し
い応用的結果を与えている. さらには相関関数の解析的構造に関しても、場の理論としては特異的なことに、非常に深い数学的理解を得ることに成功している.
その一方、四次元の N = 2 超対称ゲージ理論もまた、厳密な解析を遂行することに成功した代表的な場の理論の模型である. 特に Seiberg と Witten により展開されたミラー対称性的な手法により、その低エネルギー有効作用が完全に決定されている [2]. これもまた、場の量子論の驚くべき結果として突出している. さらには 2002 年に入ると、Nekrasov らによって N = 2 超対称ゲージ理論の経路積分を厳密に実行する処方が提唱された [3]. インスタントン計算の手法により Nekrasov が得たこの分配関数は Seiberg-Witten プリポテンシャルの母関数に他ならず、永らく期待されていた Seiberg-Witten
理論の微視的導出が与えられたことになる.
このように二次元共形場理論と四次元 N = 2 ゲージ理論はそれぞれ永い研究の歴史をもつ、二つの独立な成熟した研究対象であった. ところが 2009 年になり、Alday、Gaiotto および Tachikawa に
よって二つの理論の間に驚くべき結びつきが発見された [4]. それが本稿の主題である AGT 予想、あるいは AGT 対応と呼ばれる双対性である.
本稿の目的の一つは、Zamolodchikov らによって発展させられた共形ブロックの組み合わせ論的計算手法を紹介することにある. 共形場理論についてはすでに専門家の手による多くの優れた文献[5, 6, 7, 8] があるので、筆者が新しい解説を加える意義はあまり無い. しかし共形ブロックの具体的な算出法を詳しく説明したものはあまり見当たらないので、ここでは共形ブロックの計算を目標として共形場理論のごく一部を紹介したい. この内容は 2 章で扱われる.
3 章では Nekrasov 分配関数を手短に導入した後、いくつかの具体的なゲージ理論の例を上げてこれを計算する.
4 章以降が本稿の主題である AGT 予想の解説である. 前章までに導入された共形ブロックと Nekrasov
分配関数を用い、原論文の道筋を辿って AGT 予想を発見法的に確認したい. AGT 対応の発見直後に立て続けに見つかった拡張についても解説する. 特に重要なものとして Wyllard により発見された SU (N ) ゲージ群への拡張 [9]、Gaiotto らによる漸近自由ゲージ理論と非正則共形ブロックの対応[10] を議論したい.
以上はゲージ理論の分配関数セクターにたいする対応であったが、オペレータのセクターに対しても二次元共形場理論に対応物があると期待するのは自然である. 5 章ではこのような話題について概観してみたい. 特にゲージ理論の演算子として、Wilson-’tHooft ループ演算子と表面演算子につい2

Soryushiron Kenkyuて議論する. ここで紹介する美しい結果は Alday、Drukker、Gaiotto、Gomiz、Gukov、Morrison、Okuda、Tachikawa、Teschner、Verlinde らの精力的な研究による [11, 12].
最後の章では、その他の話題について手短に述べる. はじめに Dijkgraaf と Vafa による位相的ストリング理論への埋め込みについて議論したい [13]. 彼らはストリング理論に埋め込むことで、AGT 予
想が幾何学的転移（ラージ N 双対性）より説明されることを発見した. その副産物として、Nekrasov
分配関数と β-アンサンブルとの間に対応が発見された. β-アンサンブルはランダム行列模型の一種であるから、この Dijkgraaf-Vafa 予想は四次元ゲージ理論と０次元行列模型の関係を与えており興味深い.
Dijkgraaf と Vafa の論文により、AGT 予想のストリング的な説明が一応は成なされたものの、本質的理解にはまだほど遠い感がある. そこでこの双対性のカラクリを理解するためにも数学的証明の完成が期待されるのであるが、一部の例においてこのような試みに成功がみられる. 特に単純なゲー
ジ群と物質場コンテンツを選んだ場合、対応する共形ブロックは比較的シンプルな Zamolodchikov 漸化式により支配されている. したがってこの漸化式をゲージ理論側で証明すれば、等価性の証明となる訳である. 簡単な理論を例にとって、この証明のプログラムについても触れたい.
AGT 予想について、提唱者本人による解説 [14] がある. かんにして様を得たレビューであるので、あわせて読まれることをお勧めしたい.

2

二次元共形場理論と共形ブロック

共形場理論の解説として、[5, 6, 7, 8] などの専門家による解説が数多くある. ここでは Polchinskiの著名な教科書 [7] の 3 章に従い、共形場理論の要点だけを説明する. その後で共形ブロックの概念を導入し、具体的な計算を行うことで AGT 予想への導入としたい.

2.1

二次元共形場理論

共形場理論とは共形不変性をもつような場の量子論の模型のことである. 共形変換とは局所的なスケール変換 ds2 → Λ(x)ds2 のことである. 本稿で扱うのは主に二次元の共形場理論である. この理論を制御している二次元共形対称性とは、正則座標変換 z → f (z) の導く変換 ds2 = dzdz̄ → |f 0 (z)|2 dzdz̄
のもとでの不変性にほかならない. このような対称性をもつ二次元場の量子論が共形場理論である.
この章では、共形対称性が相関関数を強く制御しており、このことが厳密な解析を可能にしている様子を説明したい. そのために、まずは共形場理論の「公理的」な側面を見てみることにしよう.
状態・演算子対応
共形場理論の一般的性質をみていくため、その基礎となる状態・演算子対応の考え方を導入することから始めよう. 通常は状態と局所演算子は異なる概念であり、理論のスペクトルを調べる際には状態について調べている. 共形場理論の持つ著しい特徴は、この理論においては状態と局所演算子が等価となることである. その鍵となるのが、複素 z-平面とシリン
ダー w ∈ C× との共形変換 z → z = eiw である. w =σ −iτ の表すシリンダーにおける同時刻 τ = const は、z平面においては等動径のスライスにほかならない. そこ
でシリンダー上では動径を時間と見なした動径量子化を考える事にしよう. z-平面へ写像することで、始状態のある無限の過去 τ = −∞ を複素平面の原点 z = 0 に対
図 1: z-平面上での動径同時刻.
応させることが出来る. したがって状態・演算子対応の基本的なアイデアとは、ある動径同時刻で与えられた状

3

Soryushiron Kenkyu

図 2: 状態・演算子対応.
態に対して、原点にある局所演算子をさせることである. なぜこの対応が可能であるのかを、さっそくみてゆくことにしよう.
手始めに量子力学における波動関数 ψ(x, t) を考えよう. Schrödinger 表示で考えることにする. 状
態 |ψ(t)i から座標表示の波動関数を定めるためには、量子化を行う時刻における位置の固有状態で展開し、その係数 ψ(x) = hx|ψ, ti を見ればよい. したがってこの波動関数の表示に座標の完全系を挿入することで、時間発展は∫
xf |ψf , τf = dxi G(xf , xi ) xi |ψi , τi .
(2.1)
と与えられることがわかる. 時間発展を定めているこのグリーン関数はG(xf , xi ) = xf |e−i(τf −τi )H |xi∫ x(τf )=xf=
Dx eiS .

(2.2)

x(τi )=xiと経路積分表示される.
場の理論における波動（汎）関数 Ψ[X(σ)] も、ある時刻で状態 |Ψi に場の配位 X(σ) を見いだす確率振幅として与えられる. したがってまったく同様の議論により、場の理論での 波動関数の公式は次のように与えられる:∫∫ X(rf )=Xf
(2.3)
DX e−S[X] Xi (σ)|Ψi , ri .
Xf (σ)|Ψf , rf = DXi
X(ri )=Xi

ここではグリーン関数の経路積分表示を挿入した表示を書き下した. 今は複素平面の動径方向を時間発展と見なしている. したがって図 2 の左にある二つの動径「時間」ri,f の間の時間発展を与えているのが式 (2.3) である. そしてこの時間発展を計算するためには、時刻 ri ≤ r ≤ rf の場 X の配位について経路積分を行えば良い. ただし上の公式では、時刻 ri,f における場に関しては境界条件
X(ri,f ) = Xi,f によって固定して積分しなければならない. つまり経路積分形式で場の境界条件を与えることは状態を指定することを意味しているのである. ここで始状態を与える時刻 ri をどんどん過去にとってゆくことを考えてみよう. すると十分遠い過去 ri → 0 は、原点 z = 0 にほかならない. す∫ると DXi の積分において、始状態の指定に対応して |z| = ri で挿入されていた重み e−S[Xi ] は原点のみに挿入されることになる. つまりこの極限では、始状態を定める境界条件 X(ri ) = Xi の影響を、
境界なしの積分における原点への局所演算子の挿入として表現できることになる:∫ X(rf )=Xf
DX e−S[X] O(z = 0).
(2.4)
Xf (σ)|Ψf , rf =このように始状態を遠い過去 ri → 0 で与えたと考えると、ある状態を指定することは原点に局所演
算子を挿入することとまったく同じであることが理解できる.
以上の議論が導く結論は、二次元共形場理論においては状態と局所演算子は等価な概念である、というものである. これを状態・演算子対応と呼ぶ. この対応を背景に、以下では主に局所演算子全体の集合を考えることにする. これらのことをしばしば場と呼ぶことになるが、必ずしも基本場ではなく複合場も含めた概念であり、通常の用語法と違いがあることに注意したい.
4

Soryushiron Kenkyu

エネルギー運動量テンソルと演算子積展開
共形場理論においては局所演算子すべての集合 {Oi } を考えると述べたが、これらの積の構造が非常に重要な情報となってくる. とくに挿入点同士か近づいたときの特異的な振る舞いに関心があるのだが、これを記述するのが演算子積展開 (OPE) である. つまり OPE とは、演算子積を集合 {Oi } を基底として展開し直した関係式のことを言う:

Oi (z, z̄)Oj (w, w̄) =

∑

k
Cij
(z − w, z̄ − w̄)Ok (w, w̄).

(2.5)

k

ただしこの関係式は、時間順序をとった任意の相関関数の中においてこの書き換えが成立することを意味している. 挿入点が近づくとき、この展開係数 C は一般に発散するのであるが、この特異的な振る舞いが非常に重要である. それは Ward-Takahashi 恒等式を通じて、対称性変換のもとでの場の変換性を反映しているからである.
そこで二次元の Ward-Takahashi 恒等式を考えよう. ある対称変換 Oi → Oi + δOi に関するカレ
ントを Jz,z̄ と書くことにする. するとストークスの定理を用いることで、Ward-Takahashi 恒等式は
IIiihδO(w) · · · i =dzhJz (z, z̄)O(w) · · · i −dz̄hJz̄ (z, z̄)O(w) · · · i
(2.6)
2π
2π
と与えられる. ただし (z) 6= 0 となる領域には演算子 O(w) だけが挿入されているものとする. 二次
元面上のテンソル算のコンベンションは Polchinski[7] に従ったので、細かい定義などはそちらを参照
してください. 注目すべきことに、この右辺は J と O の OPE の留数を与えている.

hδO(w) · · · i = −h Res[Jz O] · · · i + h Res[Jz̄ O] · · · i(2.7)

つまり Ward-Takahashi の恒等式は、場の変換性と、場とカレント間の OPE の極を結びつけている.
そこで共形変換 δz = (z), δz̄ = ¯(z̄) に対する Ward-Takahashi の恒等式を考えてみることにしよう. 共形変換が与えるカレントはエネルギーストレステンソル T であったことを思い出そう [7]. つまり Jz = T (z)(z), Jz̄ = T̄ (z̄)¯
(z̄) である. したがって微小共形変換 δz = (z) に関する場の変換性は、
エネルギーストレステンソルとの OPE から読み取ることが出来るのである:

δO = −Res[(z)T (z)O(w)](2.8)

反正則の自由度 δz̄ = ¯(z̄) についても同様である. このように場の変換性は、エネルギーストレステ
ンソルとの OPE の情報の一部を担っている. どの程度までの情報が読み取れるかについては、場の種類に依存しており、これについては次に述べる.
プライマリー場と OPE
代表的な共形変換として、手始めに並進 δz =  を考えてみよう. この変換のもとでの場の振る舞
いは δO = O(z − ) − O(z) = −∂O(z) + · · · と単純である. したがって任意の場にたいし、OPE の∂O(w)
一位の極は T (z)O(w) = · · · + z−w + reg. と決まった形をしている（以下ではしばしば反正則の部
分 w̄ について省略する）.
次に重要な共形変換として、δz = z, δz̄ = ¯z̄ がある.  の実部・虚部が生成するのはスケーリン
グと回転にほかならない. 動径量子化では、これらに対応するカレントはエネルギーと角運動量の役割を果たすことになる. 当然のことながら、Hilbert 空間の中の一般の状態は、ハミルトニアンや角運動量演算子のもとでよく振る舞う保証は無い. そこでこれらの固有状態に対応する概念を導入することにしよう:5

Soryushiron Kenkyu

擬プライマリー場 quasi-primary operator とは、つぎの変換性をもつ局所演算子である.

¯
˜ + z̄ ∂O).
δO = −(∆O + z∂O) − ¯(∆O(2.9)

˜ をこの場の重みと呼ぶ.
∆, ∆˜ がエネルギーと角運動量に対応している. これを Res[zT (z)O(w)] と比較すると、二次のこの ∆, ∆
極の値が固定されていることが分かる. つまり擬プライマリー場とは、OPE
T (z)O(w) = · · · + ∆

∂O(w)
O(w)
+
+ reg.,
2(z − w)z−w(2.10)を持つ場のことである.
以上の議論では OPE の 3 次以上の極については制限することが出来なかった. そこで OPE の特異性と共形変換性が同じ情報を担っている状況を考えるため、格段に振る舞いの良い場を考えてみよう:
プライマリー場 primary operator とは、OPE の特異性が二次までの擬プライマリー場

T (z)O(w) = ∆

O(w)
∂O(w)
+ reg.,+
2(z − w)z−w(2.11)のことである.
この式は Ward-Takahashi の恒等式より、δz = (z) の下での変換性 δO = −∆0 O − ∂O と等価であることがすぐに分かる. 以下では、このプライマリー場が考察の中心を占めることになる.

Virasoro 代数
一般的な CFT において、エネルギーストレステンソルの OPE は次の形をとることが知られている:2c1+ 2 T (0) + ∂T (0) + · · · .
(2.12)
42z
zz
ここで c は中心電荷とよばれ、共形変換のアノマリーに由来する量である. この OPE 関係式は、具体的な CFT の模型をとりあげ計算してみると確認できる.
さてここで、T (z) は共形変換から生成されるカレントであったことを思い出そう. したがってエネルギースト
レステンソルのモード展開
T (z) T (0) =∞∑T (z) =
I

図 3: Virasoro 代数の演算子積による表示.

Lm =

Lm
,
z m+2
m=−∞

dz m+2z
T (z),
2πiz
C0は、場の上での共形変換の生成子を与える. したがって OPE(2.12) から、この生成子の交換関係を導くことが出来る:II
dw m+2 n+2dzzw
T (z) T (w)[Lm , Ln ] =C0 2πiz C0 2πiwIIdw m+2 n+2dzzw
T (w) T (z).
(2.13)−
C0 2πiz C0 2πiw
ここで一つ注意すべきことがある. それは相関関数内は演算子は時間順序積をとられていたこと、

6

Soryushiron Kenkyu

つまり動径量子化の場合は演算子は動径順序積をとられていることである. したがって相関関数のなかでは演算子はすべて動径順序に並んでいるので、以下では演算子の積は動径順序積として扱う. すると式 (2.13) 右辺の二項は図 3 のような積分経路に対応していることになる.
図 4: 積分経路の変形.
そこで図 4 のように積分経路を変形してみよう. すると交換関係の右辺は一つの留数積分に書き換えられる:IIdw
dz m+2 n+2[Lm , Ln ] =zw
T (z) T (w).
(2.14)
C0 2πiw Cw 2πiz
このようにして OPE(2.12) から、有名な Virasoro 代数を得ることが出来る[Lm , Ln ] = (m − n)Lm+n +cm(m2 − 1)δm,−n12(2.15)

ただし実際にはこの代数 Vir(c) に加えて、半正則自由度に由来する生成子 L̄m もあり、それらは異なる c̄ に対する同様の代数 Vir(c̄) を形成する. またこれら二つのセクターは交換する [Lm , L̄n ] = 0.
プライマリー状態と共形族
次に Virasoro 生成子の状態への作用について調べよう. 状態・演算子対応を用いると、状態 |Oi への Ln の作用は、T と O の間の OPE から読み取ることが出来る. したがって状態の共形変換に関してはI
dz n+1
Ln |Oi ←→z
T (z)O(0) = Ln · O (0),(2.16)
2πiという対応が成り立っていることになる.
そこで演算子 O としてプライマリー場をとってみよう. プライマリー場は、エネルギー運動量テンソルとの OPE に 1/z 2 以下の特異性を持たなかったので L0 |Oi = ∆|Oi, Ln≥1 |Oi = 0 という状態を定めることになる. このような状態を |∆i と書き、次元 ∆ のプライマリー状態、あるいは最高ウエイ
ト状態という.
真空(SL(2, C) 不変状態) は恒等演算子 1 に対応する: |1i ←→ 1.T と 1 の OPE には特異性が無いから、状態・演算子対応より Ln |1i = 0, n = −1, 0, 1, · · · , となる. 注目すべきことに、真空をすべての Virasoro 生成子で消されるように定義することは出来ず、最大限でもせいぜい n = −1, 0, 1, · · ·に対してしか条件を課すことができない.
さて、準備が整ったので Virasoro 代数の表現論を紹介しよう. プライマリー状態はスペクトルの下限を与えている. すなわちスペクトルの中の基底状態に対応している. そこでこれに生成演算子を作用させることでスペクトル全体が生成されるが、上昇演算子は Ln<0 で与えられる. なぜならば、交換関係より状態 |Oi に Virasoro 演算子が作用すると L0 Ln |Oi = (Ln L0 − nLn )|Oi = (∆(O) − n)Ln |Oiとなるので、Virasoro 生成子は昇降演算子の役割を果たすからである. そこでプライマリー状態に上昇演算子 Ln<0 を繰り返し作用させることで、次のようにスペクトルが生成される:·······
L3−1 |∆i L−2 L−1 |∆i L−3 |∆i
L2−1 |∆i L−2 |∆i
L−1 |∆i|∆i
7

Soryushiron Kenkyu

この Hilbert 空間 V∆ を共形族とよぶ. あるいはこれは Virasoro 代数の最高ウエイト表現の空間であり、Verma 加群とも呼ばれる. あいまいさを回避するために Virasoro 生成子の作用 L−Y1 L−Y2 · · · の
順序を Y1 ≥ Y2 ≥ · · · と固定しよう. この表現空間の一般の基底ベクトルは、Young 図でラベルされる.
それは今の場合、Verma 加群の任意の基底ベクトルは L−Y |∆i = L−Y1 L−Y2 · · · L−Yd (Y ) |∆i =: |∆, Y iと Young 図 Y = [Y1 ≥ Y2 ≥ · · · ≥ 0] で指定できるからである. L 演算子に加えて L̄ もあり、両者は可換 [Lm , L̄n ] = 0 であるので、実際の表現空間はテンソル積 H = V∆ ⊗ V∆ である. このように一般
的には共形族の基底ベクトルは L−Y |∆i によって張られるが、一つ注意すべきことがある. それは cや ∆ が特殊な値をとる時には、この表現空間には退化が起こるためである. これを理解するために|Φ2,1 i = L−2 |∆i −3
L−1 2 |∆i,2(2∆ + 1)(2.17)というベクトルを考えてみよう. 中心電荷が c = 2∆(5 − 8∆)/(2∆ + 1) という特殊値をとるとき、このベクトルはゼロノルム状態になっていることがすぐに確認できる:h ∆, Y |Φ2,1 i = 0,

for any Y.

(2.18)

ただしレベル 2 のベクトルとの内積のみ考えれば十分である事に注意. したがってこのベクトルとそのディセンダントは理論から取り除かれ、理論の Hilbert 空間は縮小することになる. このような状態を生成する場 Φ2,1 (z) を退化場と呼び、具体的な共形場理論の考察で重要な役割を果たす. その働きの一端については、五章で垣間見ることになる.
さて以上の議論から、プライマリー状態のスペクトラムさえ分かれば共形場理論のすべてのスペク
トラムは共形変換によって生成できてしまうことが分かった. つまり共形場理論で調べるべき基本的な対象は、真空からプライマリー状態を励起するプライマリー場ということになる. そこで以下での議論の主眼は、理論の対称性を駆使しプライマリー場の相関関数を計算することに置かれる.

2.2

Virasoro 対称性と相関関数

Ward-Takahashi の恒等式 (2.8) より、共形変換 z → z + (z) の下でプライマリー場の相関関数は∑
δ(O1 (z1 )O2 (z2 ) · · · ) =((zi )∂i + ∆i ∂(zi ))(O1 (z1 )O2 (z2 ) · · · ),(2.19)iを満たす. この方程式を通じて、共形不変性は相関関数に強い制限を与えることになる. そこで共形
変換群の重要な部分群 SL(2, C)、z → (az + b)/(cz + d), ad − bc = 1 について考察することにしよう. この部分群の無限小変換はz→(1 + α)z + (β)' z + (β + 2αz − γz 2 ),(γ)z + (1 − α)(2.20)

で与えられる. そこで無限小 SL(2, C) 変換 (z) = (β + 2αz − γz 2 ) を考え、そのもとでの不変性を課してみよう. すると Ward-Takahashi の恒等式 (2.19) から、拘束条件∑0=∂i (O1 (z1 )O2 (z2 ) · · · ),(2.21)i0=∑(zi ∂i + ∆i ) (O1 (z1 )O2 (z2 ) · · · ),(2.22)(zi2 ∂i + 2∆i zi ) (O1 (z1 )O2 (z2 ) · · · ),(2.23)i0=∑iが得られる. 反正則部分についても同様である.

8

Soryushiron Kenkyu

では、三点関数を与える OPE(2.5) に対して上の SL(2, C) 不変性を用いてみよう. まず並進不変性
k (z, w; z̄, w̄) と制限がつく. 反正則部分につい(2.21) より、OPE 係数の zi 依存性に 0 = (∂z + ∂w )Cijても同様だ. つまり C(z, w; z̄, w̄) は、座標の差 z − w, z̄ − w̄ のみの関数である. さらにこの関数に、共形不変性 (2.22) を課してみると
(
)
∂
∂
k
k
z
+w
Cij
(z − w, z̄ − w̄) = (∆k − ∆i − ∆j )Cij(z − w, z̄ − w̄),(2.24)∂z∂wというように、OPE 係数に対して微分方程式が立つ. したがってこれを解くことによって、係数 Cの座標依存性が完全に決定される:
kCij(z − w, z̄ − w̄) =kCij(z − w)∆i +∆j −∆k (z̄ − w̄)∆i +∆j −∆k
¯

¯

¯

.

(2.25)

このように Möbius 変換 SL(2, C) は三点関数の関数形を完全に固定してしまう. 係数 C は、具体的な共形場理論としてどのようなものを考えてるのかによって決まる数である.
残念ながら、この手法だけでは四点以上の相関関数を決められないことはすぐに分かる. そこで威力を発揮するのが、共形対称性の全体が成す無限次元代数である. このノートでは、理論の共形対称性として Virasoro 代数を考えてゆくが、これはプライマリー場の（カイラル）相関関数を決定するの際にとても強力な道具となる. そして相関関数を、Virasoro 代数の表現の言葉で書き表すことが出来ることになる. そこで本節では Virasoro 代数の効果的な使い方を考えてゆく. 以下では主にプライマ
リー場に対する相関関数を計算してゆくことに注意しよう. それは Ward-Takahashi の恒等式を用いれば、原理的にはディセンダント場の相関関数もプライマリーの言葉で表すことが出来るからでる.
つまりプライマリー場に対する相関関数を調べれば十分なのである.
まず共形場理論の一般的側面についてまとめよう. 通常、場の量子論は、理論の基本場とそれに対するラグランジアンによって定められている. しかしながら共形場理論においては、基本場という考え方は必ずしも有用ではなく、局所演算子（共形場理論における場）全体の集合を考える方が自然であった. さらに必ずしもラグランジアンによる記述が必要でもない. では共形場理論のダイナミクスを定めるのにおいて本質的なものは何であったかというと、それは局所演算子の対称性のもとでの変換性（Ward-Takahashi の恒等式）、つまり OPE の振る舞いであった.
プライマリー場の集合と、それらが融合したときどのような場が表れるかを知ることが、共形場理論のダイナミクスを知ることである. そして相関関数は演算子の代数と Riemann 面に由来するモデュ
ラー性を柱にして決定される. 一般的な理論では、さらに高い理論の対称性を援用しなくてはならな
くなるが、本稿では Virasoro 代数で十分な例について考えてゆこう.

2.3

共形ブロックとその組み合わせ論

この節では、共形ブロックを構成的に定義するために、四点関数を具体例にとって調べることにす
る. 共形ブロックは共形場理論の相関関数のうち、正則なセクターからの寄与のみを取り出したものである. したがって、実際の相関関数は反正則部分もあわせて組み立てられる. この操作については後で解説することにして、この節では理論の正則なセクターに制限して考えてゆくことにしよう. したがって以下ではしばらく、場 O は正則変数 z のみに依存するものとする.
さて、これから我々が計算してゆくのはプライマリー場の四点関数 h V4 (∞) V3 (1) V2 (q) V1 (0) i である. ここで Vi は次元 ∆i の頂点演算子（プライマリー場）を表すものとする. 以下では V (∞) と書いたときは、演算子の変換性から読み取れる特異性をとりのぞいたもの V (∞) := limz→∞ z 2∆ V (z) を意味するものとする. この定義は BPZ による状態の共役の定義に対応している.

9

Soryushiron Kenkyu

なおこれからの主題となる共形ブロックは、Belavin、Polyakov、そして Zamolodchikov により導入され [1]、ここで紹介する計算手法もまた彼らによって発展させられた. BPZ 共形ブロックの組み合わせ論的算法については参考文献 [5, 15, 16] 等で扱われている.
共形場理論においては、相関関数を決定するために活躍するのは共形対称性と場の代数構造（OPE）である. そこで、まず V2 (q)V1 (0) に対して OPE を用いることで、この相関関数を書き換えてみよう.
すると

h V4 (∞) V3 (1) V2 (q) V1 (0) i =

∑

A
C21

h V4 (∞) V3 (1) VA (0) iq ∆1 +∆2 −∆A∑
1
A= ∆1 +∆2q ∆A Γ34A C21,
q
A(2.26)

Aと三点関数の言葉で書き直すことが出来る. ただし、ここで「頂点関数」Γ12A := hV2 (∞)V1 (1)VA (0)iを導入した. この A に関する和はプライマリーだけではなくディセンダント場全体にわたることに注意する. さらに次の「頂点関数」も導入しよう：Γ0 A;12 := h VA | V1 (1) V2 (0) i
∑
B
=
C12
h VA | VB i.

(2.27)

B

するとこの式の二行目の最後の因子は Shapovalov(-Gram) 行列 GAB そのものであるから
A
C12
=

∑

(G−1 )AB Γ0 B;12 ,(2.28)

Bとなる. ここで、Shapovalov 行列は無限次元行列であるが、ブロック対角系をしているために逆を定めることが出来る. したがって四点関数は、次のように頂点関数と Gram 行列で書き表される

h V4 (∞) V3 (1) V2 (q) V1 (0) i =1
q ∆1 +∆2∑q ∆A Γ0 A;21 (G−1 )AB Γ34B .

(2.29)

A,B

この表示から、Virasoro 代数の表現論に関する因子を抜き出すことで共形ブロックが定義される.

Virasoro 対称性と相関関数の構造
Verma 加群の構造を思い出そう. ディセンダント状態は元になるプライマリーの次元 ∆(α) とヤン
グ図で指定されていたので、ディセンダント場は V(α,Y ) (z) = L−Y Vα (z) と A = (α, Y ) でラベルされる. ただしこのノートでは、Young 図 Y = [Y1 Y2 · · · Yd ] に対し、L−Y := L−Y1 L−Y2 · · · L−Yd(Y ) という記法を用いている. この場は L0 の固有値 ∆(α,Y ) = ∆(α) + |Y | を持つことは簡単にチェックできる∑(|Y | := i Yi ).
ここで理論のユニタリティーの要請から、Virasoro 演算子はエルミートであったことを思い出そう.
つまり内積との整合性 h L−n VA | VB i = h VA | Ln VB i が保たれているべきである. このような内積の取り方として、hVA |VB i = hVA (∞) VB (0)i がある. この条件を用いることで、頂点関数の満たすべき漸化式を導くことが出来る. そこでディセンダントのラベルが下がるき、頂点関数 Γ0 はどのくらい変10

Soryushiron Kenkyu

化するのかを見積もってみよう. そのために次のような計算を行ってみる:

h L−n VA | V1 (1) V2 (0) i = h VA | Ln (V1 (1) V2 (0)) iI
dz n+1= h VA |z
T (z) V1 (1) V2 (0) i
2πi
C0 +C1I
dz n+1 ∑ 1
h VA | V1 (1) (Lk V2 )(0) i
=
z
z k+2
C0 2πikIdz n+1 ∑1
h VA | (Lk V1 )(1) V2 (0) i. (2.30)+z(z − 1)k+2C1 2πik

したがってこれを用いると、z n+1 =∑n+1l
l=0 n+1 C l (z − 1) に注意して

h L−n VA | V1 (1) V2 (0) i = h VA | V1 (1) (Ln V2 )(0) i +n+1∑

n+1 C l h VA | (Ll−1 V1 )(1) V2 (0) i.

(2.31)

l=0を得る. ではここで V1,2 がプライマリーの時を考えてみよう. すると右辺第一項は Ln≥1 により消滅させられるから、次のようにシンプルな関係式に書き換えることが出来る:

h L−n VA | V1 (1) V2 (0) i = ( (n + 1)∆1 + δn,0 ∆2 ) Γ0 A;12 + h VA | (L−1 V1 )(1) V2 (0) i.

(2.32)

この式を解くために第三項を Γ0 で表すことが出来ると良いが、そのためには n = 0 を考えればよい:

h VA | (L−1 V1 )(1) V2 (0) i = ( ∆A − ∆1 − ∆2 ) Γ0 A;12 .

(2.33)

したがってこれを (2.32) に代入すれば

Γ0 (α, [nY ]);12 = ( ∆(α, Y ) + n∆1 + ∆2 ) Γ0 (α, Y );12 .

(2.34)という漸化式を得ることが出来る. ここで [nY ] はヤング図 Y に長さ n の列を加えたものの意味である. したがって再帰的にこの式を用いれば、ラベルのヤング図の長さをどんどん短くしてゆくことが出来る. つまり頂点関数は、Viraosro 代数の表現論で決まっている部分 R0 と共形場理論のモデルに依存する因子 C に分離する:

∏

d(Y )
0

0

Γ (α,Y );12 = R α;12 (Y ) Cα;12 ,0

R α;12 (Y ) =(∆α + Yi ∆1 − ∆2 +

i=1

∑

Yj ).

(2.35)

j<i

ただしモデル依存因子は Cα;12 = Γ0 (α,Φ);12 であり、この具体形を知るためには、共形模型における計算を行わなければならない. 後で Liouville 理論の場合に具体的にみることにする.
さて、次に頂点関数 Γ について考えてみることにしよう. この場合もディセンダントのラベルを下げてゆく際の振る舞いをみれば良いが、今回は内積の性質を用いること無く調べることが出来る:I

dz 1
h T (z) V2 (∞) V1 (1) VA (0) i
2πi
z n−1
C0
I
dz 1 ∑1= −h V2 (∞) (Lk V1 )(1) VA (0) in−1(z − 1)k+2C1 2πi zkI
dz 1 ∑ k−2zh (Lk V2 )(∞) V1 (1) VA (0) i.
−n−1
C∞ 2πi z

h V2 (∞) V1 (1) (Ln VA )(0) i =k11(2.36)

Soryushiron Kenkyu

ただし積分経路の変形 C0 = −C1 − C∞ を行い、z = 1/ζ のもとでのエネルギーストレステンソルの変換性 T (z) = ζ 4 T (ζ) を用いて z = ∞ 周りでのローラン展開を行った. この留数積分を行うことで

h V2 (∞) V1 (1) (Ln VA )(0) i = −∞∑−n+1 C k+1 h V2 (∞) (Lk V1 )(1) VA (0) i + h (L1 V2 )(∞) V1 (1) VA (0) i,k=−1が得られる. ただし負の引数に対する二項係数はk (k + n − 1)(k + n − 2) · · · (k + 1),
−n C k := (−1)(2.37)(n − 1)!

で定めている. 再び V1,2 をプライマリーにとろう:

h V2 (∞) V1 (1) (Ln VA )(0) i = −h V2 (∞) (L−1 V1 )(1) VA (0) i + ( (n − 1) ∆1 + δn,0 ∆2 )Γ12A .

(2.38)

この式もまた n = 0 に対する式を用いることで漸化式の形で表すことが出来る.

Γ12(α, [nY ]) = (∆(α, Y ) + n∆1 − ∆2 ) Γ12(α, Y ) .

(2.39)

したがってこの頂点関数もまた次のような普遍的な表示を持つ:

∏

d(Y )

Γ12(α, Y ) = R12α (Y ) C12α ,R12α (Y ) =(∆α + Yi ∆1 − ∆2 +

i=1

∑

Yj ).

(2.40)

j<i

そこで四点関数の計算に戻ることにしよう. OPE を用いた評価から、この相関関数の計算には二種類の頂点関数 Γ と Γ0 があらわれていた. 相関関数を組み立てるためのこれらブロックは、共形対称性により制御されているために、だいたいの構造を知ることが出来る. 特に理論の対称性が Virasoro 代数の場合には、頂点関数の表現論的因子は完全に決定されてしまい、一種類しか無いことがわかった:

R0α;12 (Y ) = R21α (Y ).

(2.41)

この関係式自体は、W3 代数などの他の拡大共形対称性の場合は保たれない. しかし表現論的な部分とモデル依存な因子に分離する現象はユニバーサルなものである.
簡単な計算から、共形族に対する計量もまた二つの部分に分離することが分かる.

G(α, Y )(α0 , Y 0 ) := h L−Y Vα | L−Y 0 Vα0 i = h Vα | LY L−Y 0 Vα0 i = δ |Y |,|Y 0 | G∆α (Y, Y 0 ) Gαα0(2.42)

ここで G の部分は Shapovalov 行列と呼ばれ、Virasoro 代数の表現論で与えられてしまう部分である:G∆ (Y, Y 0 ) = h ∆ | LY L−Y 0 | ∆ i.

(2.43)

つまりこれは Verma 加群の基底ベクトルから作られる Gramm 行列にほかならない. 共形模型の選び方に依存している部分については、Gαα0 = δα,α0 と規格化される様にプライマリー場の集合の基底をとることが出来る.
以上の準備から、いよいよ共形ブロックを定義できる. 頂点関数と計量部分に表現論的因子とモデ
ル依存因子の分離表示を適用することで、四点関数は次のような形をとることがわかる:

h V4 (∞) V3 (1) V2 (q) V1 (0) i =1
q ∆1 +∆2∑0q ∆α (C43α (G−1 )αα C21 ) F

α, α0

12

[1 3]
2 4

(∆(α); q).

(2.44)

Soryushiron Kenkyu

この四点関数のうち、F の部分は Virasoro 代数の表現論だけから決まっている量で、共形ブロックconformal block と呼ばれる:

F

[2 3]
1 4

(∆; q) =∑00
q |Y | R12α (Y ) G −1
∆ (Y, Y ) R34α (Y ).

(2.45)|Y |=|Y 0 |ただし今の場合、Gαα0 ∝ δα,α0 であることに注意する.
この共形ブロック部分は共形代数に対する表現論的な量であり、共形場理論のモデルの取り方に依存しない. すなわち中心電荷 c の具体的な値などを代入すれば、どのような模型にでも適用できる表式である. 後に AGT 対応において Nekrasov 分配関数のインスタントン部分に対応することになるのは、このユニバーサルな部分である.
その一方相関関数 (2.44) においては、模型の詳細に依存して決まる部分もある. 三点関数から決まる係数 CG−1 C の部分は、模型によっては非常に複雑な形をとる. Alday、Gaiotto および Tachikawa
がまず始めに気がついたことは、三点関数のうち模型を Liouville 理論にとった場合に現れる因子が、Nekrasov 分配関数の摂動補正部分と完全に一致しているということである. 彼らはこの観察をヒントに AGT 予想を発見したわけであるが、この詳細については後の章でみることにする.

図 5: 共形ブロックを組み立てるのに用いるブロックの例. 左はプロパゲータで、残りは三点頂点関数. 点線はディセンダント場が走る内線をあわらす. それらは Young 図 Y でラベルされている.
さて球面上の四点共形ブロック (2.45) であるが、この量は図 5 にあるプロパゲータ G −1 と頂点関数 R
によって組み立てられていると見なすことが出来る. したがって図式的には図 6 のように表すことが出来
る. Feynman 図形には内線を中間状態が走るが、この場合は内線を「運動量」Y でラベルされるディセンダント場が走る.
このような Feynman ルールを用いることで、もっと複雑な
Riemann 面上の共形ブロックも計算される. しかし一般には
R 以外のパーツも必要になってくる. 例えば図 5 における S
は、三点頂点のうち、二つがディセンダント場に対応しているものである:
図 6: 球面上の四点共形ブロック[]
F 21 34 .
h L−Y 0 V3 | V2 (1) L−Y V1 (0) i = S123 (Y, Y 0 ) h V3 | V2 (1) V1 (0) i.
後でこれをトーラスの共形ブロックを計算する際に用いることになる. ちなみに Feynman グラフに三点頂点しかあらわれないのは、Riemann 面は常に三点付き球面、すなわちパンツに分解することが出来るからである.

13

Soryushiron Kenkyu

共形ブロック
これまで議論して来た四点関数の例から、一般的な共形ブロックの定義は明らかであろう. 一般のRiemann 面 Cn,g 上で正則な相関関数を計算する際にも、どのような順番で場の OPE をとるのかを指定しなくてはならない. つまり、共形ブロックを考える際のチャンネル Γ をあらかじめ定めておくのである.
先の四点関数の計算は、図 6 のように「s-チャンネル」で計算されていたことになる. そこで図 7 のように、考えるチャンネル Γ に対応して、Riemann 面をパンツ分解
しておこう. これは点付き Riemann 面のモジュライが
図 7: C4,1 に関するパンツ分解の例.
極限値に近い際の、面の退化パターンを表している. このパンツ分解の図式をもとに、共形ブロックを組み立てることが出来る. というのも、この退化した Riemann 面は図 8 のように、直ちにグラフを与えるからである. したがってあとはこの「Feynman グラフ」をもとに、共形ブロックを計算すればよい. そ図 8: パンツ分解から共形ブロックへ.
の詳細はもう少し後に行うとして、以下ではまず基本的な構成ブロックの具体形を計算しておくことにしよう.

Shapovalov 行列
まずはプロパゲータを与える Shapovalov 行列 (2.43) についてみてゆこう. この行列の著しい特徴
は、添字となっている Young 図のサイズが同じ成分以外では、値が 0 となってしまうことである:

G∆ (Y, Y 0 ) ∝ δ |Y |,|Y 0 | .

(2.46)

この事実は Virasoro 代数の交換関係を用いることで容易に示すことが出来るが、この性質のため
Shapovalov 行列はブロック対角形をしている. したがって無限次元行列にも関わらず、問題なく逆をとる操作が行えることに注意しよう. そこでサイズ n の引数に対するブロックから、レベル(n)n での Shapovalov 部分行列を定義しよう: G ∆ = { h ∆ | LY L−Y 0 | ∆ i |Y | = |Y 0 | = n }. すると
Shapovalov 行列の逆をとる操作は、各ブロックごとに行えば良いので、共形ブロックを計算するた(n)
めにあらわれるのはレベル n 部分行列の逆 (G∆ )−1 である.
この部分行列の計算は Virasoro 代数を用いることで計算できる. レベル 1 については、この行列は
Y = Y 0 = [1] に対応した一成分しか無くh ∆ | L1 L−1 | ∆ i = h ∆ | (2L0 + L−1 L1 ) | ∆ i = 2∆,1と簡単に求まる.
である. したがって逆行列も (G ∆ )−1 = 2∆
レベル 2 についても難しくない. 添字は Young 図 [12 ] = 、[2] =(2.47)(1)

14をとれ、これは対称行列で

Soryushiron Kenkyu

あるから次の三つの成分を計算すれば良い:

G∆ (

,

) = h ∆ | L21 L2−1 | ∆ i = h ∆ | L1 (L−1 L1 + 2L0 )L−1 | ∆ i= h ∆ | (L1 L−1 (L−1 L1 + 2L0 ) + 2(L0 L1 + 2L1 )L−1 ) | ∆ i= h ∆ | ((L−1 L1 + 2L0 )2L0 + 2(L0 + 1)(L−1 L1 + 2L0 )) | ∆ i = 4∆2 + 4(∆ + 1)∆,

G∆ (

,

) = h ∆ | L21 L−2 | ∆ i = h ∆ | L1 (L−2 L1 + 3L−1 )| ∆ i = h ∆ |6L0 | ∆ i = 6∆,

G∆ (

,

) = h ∆ | L2 L−2 | ∆ i = h ∆ | (4L0 + c/2 + L−2 L2 ) | ∆ i = 4∆ + c/2.

したがって、レベル 2 における Shapovalov 行列は
(
)
)
(
1
4∆ + c/26∆−6∆4(2∆ + 1)∆(2)(2) −1G∆ =,(G ∆ ) = (2), (2.48)K
6∆
4(2∆ + 1)∆−6∆
4∆ + c/2
で与えられる. ここで K (2) はレベル 2 での Kac 行列式である:(2)

K (2) = det G ∆ = 2∆(c + 2c∆ − 10∆ + 16∆2 ).

(2.49)

これらの具体的結果を後で計算に用いることにしよう.
頂点関数 R
頂点関数についてはすでに一般的公式

∏

d(Y )

R12α (Y ) =(∆α + Yi ∆1 − ∆2 +

i=1

∑

Yj ),

(2.50)

j<iについて計算すればよく、を導いた. これを具体的に計算してみよう. レベル 1 においては、Y =, が寄与し、頂R12α ( ) = (∆α + ∆1 − ∆2 ) となる. レベル 2 については二つの Young 図 Y =点関数の値は
(
) (
)
R
(
)
(∆
+
2∆
−
∆
)
12α
α
1
2
~ (2) =
R=
(2.51)
12α
R12α ( )(∆α + ∆1 − ∆2 + 1)(∆α + ∆1 − ∆2 )である. これ以上のレベルについても、計算法は明らかであろう.
頂点関数 S
二つの場がディセンダントとなった場合の頂点関数 S については、残念ながら（今のところ）一般
的な表示は与えられていない. しかしながらその計算自体は、頂点関数 R の場合と全く同様に、漸化式 (2.31) を用いて計算することが出来る. 下のレベルからいくつか計算してゆくとS123 (, Φ ) = R03; 2 (1,) = ∆ 1 + ∆ 2 − ∆3 ,(2.52)); 2 1 = ∆3 + ∆2 − ∆1 ,(2.53)

S123 ( Φ ,) = R0(3,S123 () = (∆1 + ∆2 − ∆3 )(∆3 + ∆2 − ∆1 − 1) + 2∆1 ,,(2.54)

がすぐに得られる. 以上でこの解説で必要になるブロックは出そろったので具体的計算に移ることに
しよう.

15

Soryushiron Kenkyu

4 点付き球面
四点付き球面には共形キリング変換の自由度があるので、四点のうち三点が固定でき、残る一点を動かす自由度 q ∈ CP1 \{0, 1, ∞} がモジュライである. したがって四点を、(0, q, 1, ∞) にとったと思うことができる. あるいは四点の交差比q=(z2 − z1 )(z4 − z3 ),(z3 − z1 )(z4 − z2 )(2.55)

をモジュライとみなすこともできる.
共形ブロックは図 6 により与えられるから、次の中間状態にわたる和を計算すれば良いことになる:

=1+q

=1+q
+ q2

R12α ()R34α ()

(1)
G∆

~ (2) )T · G (2) −1 · R~ (2) + · · ·+ q 2 (R12α
34α∆(∆ + ∆1 − ∆2 )(∆ + ∆3 − ∆4 )2∆( (∆ + ∆ − ∆ )(1 + ∆ + ∆ − ∆ )(∆ + ∆ − ∆ )(1 + ∆ + ∆ − ∆ )
1

2

1

2

3

4

3

4∆(2∆ + 1)

4+(∆(∆ − 1) + (2∆ + 1)(∆1 + ∆2 ) − 3(∆1 − ∆2 )2 )(∆(∆ − 1) + (2∆ + 1)(∆3 + ∆4 ) − 3(∆3 − ∆4 )2 ) )2∆(2∆ + 1)(c + 2c∆ − 10∆ + 16∆2 )+ ··· .

(2.56)

1 点付きトーラス
一点付きトーラスにおいて、この付加点の位置はトーラス上の平行移動に対応するキリングの自由度により固定できる. したがってモジュライは、シリンダー（トーラス）の長さを決めるモジュライq 一つだけである. では、早速トーラス上の一点関数 hVm (1)iT 2 = TrV∆ q L0 Vm (1) を計算してみよう.
∑
Verma 加群における１の分割 1 = Y,Y 0 |∆, Y iG −1 (Y, Y 0 )h∆, Y 0 | を用いると=∑
q −|∆|−1h ∆, Y |q L0 Vm (1)| ∆, Y 0 i G∆
(Y, Y 0 ),h ∆ | Vm (1)| ∆ i
0
Y,Y

=

∑

−1
(Y, Y 0 ),q −|Y | Sαmα (Y, Y 0 ) G∆

(2.57)

Y,Y 0と表すことが出来る. ただし中間状態の次元を ∆ = ∆(α) と書くことにする. したがってトーラス一点の共形ブロックはFm (∆; q) = 1 + q Sαmα (

,

−1
) G∆
(

,

) + ··· = 1 + q∆(m) (∆(m) − 1) + 2∆
+ ···
2∆

(2.58)と計算することが出来る.

2.4

物理的相関関数と Liouville 場理論

これまでは、共形場理論の正則セクターに議論の的を絞って来た. 実際の共形場理論には反正則セ
クターもあるため、実際の相関関数を計算するためには、正則共形ブロックと正則共形ブロックを適

16

Soryushiron Kenkyu

切な仕方で張り合わせなくてはならない. そこでまず、共形対称性は正則と反正則の Virasoro 対称性のテンソル積であることを思い出そう Conf = Vir ⊗ Vir. したがって固定した共形族に関して、場¯ i = |∆i ⊗ |∆¯ i. ただのスペクトルは Verma 加群のテンソル積 H = V∆ ⊗ V∆ で与えられる: | ∆, ∆¯ i は次元 ∆, ∆¯ のプライマリー場 O ¯ (z, z̄) が与える状態である. したがって共形対称性は、
し | ∆, ∆∆,∆正則と反正則の Virasoro 対称性がそれぞれ独立に作用している. つまり共形対称性の課す拘束条件
は、前節までの議論を Ln と L̄m の二つのセクターについて独立に課せば良い. このように相関関数の表現論的構造を調べる際には、正則セクターに制限して行って来た議論の結果をそのまま用いることが出来る.
¯ | ∆0 , ∆¯0i =そこでまず、二点関数を考えてみよう. 現在用いてるプライマリー場の規格化では h ∆, ∆
δ∆,∆0 δ∆,¯ ∆¯ 0 となっている. ディセンダントは、プライマリー状態に Ln と L̄m を作用させていったものである. したがってその Gram 行列も、Vir と Vir の Shapovalov 行列から得られることになる:¯ Ȳ | ∆0 , Y 0 ; ∆¯ 0 , Ȳ 0 i = δ∆,∆0 δ ¯ ¯ 0 G∆ (Y, Y 0 ) G ¯ (Ȳ , Ȳ 0 ).
h ∆, Y ; ∆,∆,∆∆(2.59)

つぎに三点関数 Γ(α,Y,Ȳ );12 = h V(α,Y,Ȳ ) | V1 (1, 1)V2 (0, 0) i を考えてみよう. すると前節で見たように、
共形対称性はこの相関関数に対して漸化式を与えるので、この議論を Vir と Vir に適用することでαΓ(α,Y,Ȳ );12 = C12
R0 α;12 (Y )R̄0 α;12 (Ȳ ),(2.60)¯ 等の「共役量」に置き換えたものである. したがってを得る. ここで R̄0 は、R0 (∆, · · · ) の変数を ∆以上の議論から、∑¯ ¯ ¯α ∆−∆1 −∆2 ∆−C12qq̄ ∆−∆ Ψα12 (q, q̄),(2.61)
O1 (q, q̄) O2 (0, 0) =primary αという構造を持っていることが分かる. ただし Ψ は、次のような場である:

OR =

∑

Ψα12 =OR ⊗ OL
αβ12(Y ) q |Y | L−Y V∆(α) ,

OL =

Y

∑

(2.62)αβ̄12(Ȳ ) q̄ |Ȳ | L̄−Ȳ V∆(α).
¯(2.63)

Ȳ

ここで係数 β は、次のように三点関数から与えられる:
∑
∑
α
α
β12
(Y ) =(G)−1 (Y, Y 0 ) R0 α;12 (Y 0 ),β̄12(Ȳ ) =
(Ḡ)−1 (Ȳ , Ȳ 0 ) R̄0 α;12 (Ȳ ).
Y0(2.64)

Ȳ 0

このように演算子 O(q, q̄) の OPE 構造は、Vir と Vir の表現論的因子でほとんど決定されている. したがって相関関数もまた、G や R などによって書き下されることになる. その結果、相関関数は共形ブロックを用いて表示できることになる. このことを理解するために、四点球面の相関関数を具体例にとってみよう. (2.61) を用いると、この相関関数は直ちに計算される：

h

4
∏

∑

Oαi ,Yi ,Ȳi (zi , z̄i ) i =

i=1

α
α
C12
C34
|B(s) (q)|2 .

(2.65)

primary α

ただし zi = 0, q, 1, ∞ ととり、B (s) は s-チャンネルでの共形ブロックである.
¯ ∆¯ 1 −∆¯2¯ c̄) = q̄ ∆−¯ c̄).
B(s) (q̄, ∆,F̄(q̄, ∆,B (s) (q, ∆, c) = q ∆−∆1 −∆2 F(q, ∆, c),(2.66)

このように正則・反正則セクターそれぞれの共形ブロックを組み合わせて、最後に中間状態を走るプ
ライマリーすべてについての和をとることで相関関数は得られる. この事情は一般の相関関数についてもまったく同様に成り立つ.

17

Soryushiron Kenkyu

ここで紹介した操作では、三点関数 C を用いて共形ブロックを張り合わせている. 表現論的な量である共形ブロックとは異なり、この関数 C は具体的な共形場理論の取り方を指定しないと決まらない量である. したがって相関関数については、どのような模型で計算するかという選択に大きく依存した振る舞いをすることになる. またプライマリー場のスペクトルも、理論によって様々な構造を持っている. したがって中間状態に関する足し上げもまた、それぞれの模型ごとに考察しなければならない.
このように相関関数を組み上げる手法の詳細は理論の選び方によっているため、ここでは Liouville
場の理論を用いて、簡単に議論することにしよう. Liouville 場の理論は作用∫)Q√ ( 1 abS = d2 z gg ∂a φ∂b φ + µe2bφ +Rφ(2.67)
4π
4πで与えられる相互作用のある 2 次元共形場理論である. 正則セクターの中心電荷は c = 1 + 6Q2 で与えられる. また頂点演算子は Vα (z, z̄) ∼ e2αφ(z,z̄) である.
この理論の相関関数を計算する場合にも、三点関数が基本的なブロックとなる:C(α1 , α2 , α3 ) = lim |z|4∆(α3 ) h 0 |Vα3 (z, z̄)Vα2 (1, 1)Vα1 (0, 0)| 0 i.
z→∞

(2.68)

一般には、三点関数を係数込みで決定することは簡単な問題ではない. しかし Liouville 場の理論に関しては、Dorn-Otto-Zamolodchikov-Zamolodchikov によりこの三点関数の厳密な公式が提唱されている. 彼らが自由場計算に基づいて導いた、いわゆる DOZZ 公式の具体形は、Appendix A.2 に与えてある. したがって共形ブロックが与えられると、DOZZ の三点関数公式を用いて物理的相関関数
を組み上げられる. 例として球面上の四点関数を考えると

h Vα4 (∞, ∞)Vα3 (q, q̄)Vα2 (1, 1)Vα1 (0, 0) i
∫ ∞=dP CDOZZ (α4 , α3 , Q/2 − iP ) CDOZZ (Q/2 + iP, α2 , α1 ) | B (∆(αi ), ∆(P ); q)|2 . (2.69)0

ただしここでは s-チャンネルで計算している. 中間状態を足し上げる際には、Liouville 理論のスペク
トルが α ∈ Q/2 + iR+ 上にあるという知識を用いた. この結果は Liouville 理論の正準量子化から得られる. Liouville 理論の詳細については、専門家による総合報告 [17, 18] を参照されたい.

2.5

拡大共形対称性と戸田場理論

AN −1 型の Toda 場の理論は、N −1 個のスカラー場からなる二次元共形場理論の一つである [19, 20].
その作用は
(
)
∫
N
−1
∑
~
~ φi
1 ab ~ ~hQ,~
2 √bh~ei ,φiS= d z gg h∂a φ, ∂b φi + µe+R,(2.70)
8π
4π
i=1~ = ∑ φi~ei で与えられ、~ei は AN −1 Lie 代数の単純根である. まと書き表される. ここで Toda 場は φi~
た Q は Weyl ベクトルにより (b + 1/b)~
ρ と与えられる. N = 2 の場合は、h~e1 , ~e1 i = 2 より、これは
Liouville 場の理論に他ならない.
ここでは具体例として、A2 型の Toda 場の理論を取り上げてみよう. 共形場理論の基本的な対称性~ 2 に加は Virasoro 代数であった. 実は Toda 場の理論には、スピン-2 のカレントである T (z) ∼ (∂ φ)
えて、スピン-3 の保存カレント W (z) ∼ (∂φ1 )3 − 3∂φ1 (∂φ2 )2 も存在している. したがってこの理論

18

Soryushiron Kenkyuの対称性は Ln だけではなく、W (z) の Lauren 係数 Wn によっても生成される. このような拡大された共形対称性は W3 代数と呼ばれる [21]. これら Laurent 係数の満たす交換関係は[Ln , Lm ] = (n − m)Ln+m +c 3(n − n)δn,−m ,12(2.71)[Ln , Wm ] = (2n − m)Wn+m ,9[ c16(n2 − 1)(n2 − 4)n δn,−m +(n − m)Λn+m[Wn , Wm ] =2 3 · 5!
22 + 5c()](n + m + 2)(n + m + 3) (n + 2)(m + 2)
+ (n − m)−
Ln+m .
15
6(2.72)(2.73)

で与えられる. Λn は次のような複合演算子である：

Λn =

∑
m∈Z

: Lm Ln−m : +

xn
Ln ,
5

x2l = (1 − l)(1 + l),

x2l+1 = (1 − l)(12 + l),(2.74)~ Qi~ = 2(1 − 12Q2 ) と表される.
中心電荷は c = N − 1 + 12hQ,
このような代数に対しても、プライマリーから生成されるディセンダント達により Verma 加群を与えることが出来る. ただし W3 代数の場合、L−n だけでなく W−m もまた上昇演算子としてあらわれる. この Verma 加群の中で相関関数を展開し、共形ブロックを定義する操作も、本質的には Virasoro
代数の場合と同じである. 詳細については、文献 [22] を参考にされたい.
さらに高いランクの AN −1 Toda 場の理論を考えると、さらに高いスピンのカレントが加わり、対称性の代数はどんどん拡大される. このように現れる非線形な代数を WN 代数と呼ぶ. 一般の N では、残念なことにその構造の複雑性から、これらを生成子の交換関係としてあらわに表示することは困難を極める. しかしながら自由場表示や Drinfeld-Sokolov リダクションといった手法を用いることで、これら代数を構成することが出来る.

3

N = 2 四次元超対称ゲージ理論とインスタントン分配関数

Nekrasov 分配関数は、N = 2 ゲージ理論の分配関数に正則化因子 1,2 を導入して計算することで与えられる. 3.1 節では、Nekrasov 分配関数の由来を簡単に解説した. この部分は本論を理解するのに必ずしも必要は無いので、興味の無い読者には 3.2 節から読み始めることをお勧めする. この章の後半では、Nekrasov 分配関数の計算方法を具体例を用いて説明する.

3.1

重力光子背景と Nekrasov 分配関数

Nekrasov のインスタントン分配関数は四次元の N = 2 超対称ゲージ理論に対して定義されるものである. しかしこれを五次元 R4 × S 1 = C2 × S 1 上の N = 1 ゲージ理論へ持ち上げたものを考えると便利である. 特にツイストされた境界条件 (z1 , z2 , x4 ) ∼ (ei1 R z1 , ei2 R z2 , x4 + R) によりコンパク
ト化した理論を考えることがポイントとなる. ここで R は五次元 S 1 の半径である. このような理論の変更を、Ω-背景による変形と呼ぶ. Ω-背景と結合させた理論を考えることで、理論を同変局所化というフレムワークで扱うことが可能になる [23]. 同変形式での Nekrasov 分配関数の扱いについては、
日本語の解説 [24] があるのでここではあまり詳しく述べない. このテクニックのエッセンスは、空間回転に付随した Ω-変形を加えることで、経路積分への寄与が、原点に局在するインスタントン配位のみに制限される性質を用いることにある. 以下では、このような議論を用いて得られる分配関数の数学的定義からスタートしよう.
なおこの Ω-背景は、理論を N = 2 超重力多重項の重力光子背景場 graviphoton background と結合させることと対応している. したがってこれは重力・ストリング的起源を持つものと見なせるの
19

Soryushiron Kenkyu

であるが、実際に Ω-変形された理論は、ある系でのトポロジカルストリング理論の全種数補正を計算している. このように Ω-背景を導入することでゲージ理論の計算から弦理論的な分配関数があらわ
れたり、トポロジカルストリング理論の双対性（や強力な数学的ツール）を援用しながらゲージ理論のダイナミクスを解析することが可能になる. このような発展については [25] を参照してください.
局所化の方法
弱結合において、五次元 pure super Yang-Mills 理論の k-インスタントン計算は、インスタントン
モジュライ空間 Mk 上の超対称量子力学の計算に落ちることが知られている. このとき分配関数は量子力学模型の Witten 指数であたえられ、これはモジュライ空間上の Dirac 演算子 D のインデックスである. 有名な Atiyah-Singer の指数定理をつかうと、このインデックスは次のように評価できる:
5D
Z pure,k = Ind D∫=
Â(T Mk ).

(3.1)

Mk

∏
∑
i
ここで Â は A-roof Dirac 種数 Â(T M ) = ri=1 eRxi /2Rx
である.Chern roots は ch(T M ) = i exi−e−Rxi /2で定義されている. ちなみにこの表式より、k-インスタントン分配関数は、モジュライ空間の算術的（Todd）種数にほかならないことが分かる
5D
Z pure,k =∑(−1)n dimC H 0,n (Mk ).

(3.2)

n

このように我々は、インスタントンモジュライ空間上の積分
∫
∏
Rxi
5D
Z pure, k =.
1 − e−Rxi
Mk

(3.3)

i

を計算すれば良いのであるが、Ω-変形を導入することで同変局所化 equivariant localization の方法が適用できる. インスタントンモジュライ空間には、ゲージ対称性と空間回転の極大トーラスとして U (1)Nc −1 × U (1)2 の作用が働いている. モジュライ空間の接空間に対する、それらの作用の重みを ai , 1,2 としよう. この U (1)-作用に関して局所化の方法を用いると、Duistermaat-Heckman の公式 [24] より、積分表式が

∏

∑

5D
Z pure,k =p:ﬁxed point i

1,
1 − e−Rwi,p(3.4)と和の公式にまで単純化する. 四次元の表式とするためには R → 0 として主要項をとればよい:∑

Z pure, k =

∏ 1
.
wi,p

(3.5)

p:ﬁxed point i

ここで p はトーラス作用の固定点をあらわし、wi,p はその点におけるトーラス作用の重みをあらわ
す. 重要な数学的結果として、U (1)Nc −1 × U (1)2 作用の固定点は |Y1 | + · · · + |YNc | = k なるヤング~ = (Y1 , · · · , YNc ) で分類されることが知られている. 固定点 Y~ にたいし、重みは Nakajima
図の列 Yと Nekrasov によって計算された [26, 3]:Nc( ∑)∑ −R w∑∑ Y T −i+1
T
~)
i,p(
Y
e
=
e−R(aa −ab )q −Ybj +i t−Yai +j−1 +q aj
tYbi −j .
ia,b=1(i,j)∈Ya(i,j)∈Yb

20

(3.6)

Soryushiron Kenkyu

ここで q = e−R1 , t = eR2 である. この結果をもちいると、直ちに N = 2 pure super Yang-Mills 理∑
k論の Nekrasov 分配関数 Z = ∞k=0 Λ Z k が得られる [3]:Zpure =

∞
∑

Λk

k=0

Nc
∑ ∏
~ |=k
|Y

∏

1

a − bb + 1 (−YbjT + i) + 2 (Yai − j + 1)
a,b=1 (i,j)∈Ya a∏×(i,j)∈Yb

1.
T − i + 1) +  (−Y + j)
aa − bb + 1 (Yaj
2
bi

(3.7)

ハイパー多重項物質場（ハイパー多重項）も含んだ理論を考えるためには、インスタントン背景中の Dirac ゼロ
モードをファイバーとするような Mk 上の物質バンドル （matter bundle ）E を考えれば良い. すると分配関数は、このツイストされた複体のインデックスとして与えられる:

Z k5D = Ind DE∫=
Â(T Mk )ch(E).

(3.8)

Mk

ハイパー多重項が随伴表現で変換するときは、物質バンドルは単に Mk の接バンドルとなる. したがってこの場合に対応する N = 2∗ 理論の分配関数は
∫
∞
∞
∏
∑
∑
Rxi
k
−Rm −Rxi
5Dq(1 − ee)q k χy (Mk )Z adj =
=
−Rxi
1
−
e
Mk

=

k=0

i

∞
∑

∑

k=0

qk

k=0

∏
(1 − e−Rm e−Rwi,p )p∈ﬁxed points i

1,
1 − e−Rwi,p(3.9)と与えられる（y = e−Rm ）. これは Hirzebruch の χy 種数となっている. 特に N = 4 理論（m = 0）∑のとき、χy は Euler 特性類 (−1)n,m dimC H n,m (Mk ) になるので、N = 4 Yang-Mills 理論の五次∑∞ k元分配関数は ZN5D
k=0 q χ(Mk ) という形をしていることになる.
=4 =
さてこのように、随伴表現のハイパー多重項の寄与も、上の結果から読み取ることが出来る.
5D~ ; q, t) =z adj.
(~a, m, Y

Nc
∏

)
∏ (
T
1 − e−R(aa −ab −m) q −Ybj +i t−Yai +j−1

a,b=1 (i,j)∈Ya

×

)
∏ (
T
1 − e−R(aa −ab −m) q Yaj −i+1 tYbi −j .

(3.10)(i,j)∈Yb

これを四次元ゲージ理論の因子に置き換える操作も、先ほどとまったく同様に行える:

1 − e−Ra q m t−n = 1 − e−R(a+m1 +n2 ) → a + m1 + n2 .

(3.11)

ほかの表現の場についても原理的には同じように計算することが出来る.

3.2

Nekrasov 分配関数の計算ツールキット∏
Nekrasov 分配関数についてまとめよう. i U (Ni ) クイバーゲージ理論に対し、公式を与えること~ (i) =にする. Nekrasov 分配関数は、各ゲージ群因子 U (Ni ) に付随する Ni 個のヤング図の集まり Y
(i)
(i)
(i)
(Y1 , Y2 , · · · , YNi ) に対する和として書き下される:∑∏ ~ (i)~ ; ~a, m).
Z Nek =
qi |Y | z(Y~(3.12)~ (1) ,Y~ (2) ,··· ,Y~ (n) iY

21

Soryushiron Kenkyu

P

ここでインスタントン因子は q |Y | = q |Yn | で定義しており、qi は i 番目のゲージ群因子のインスタントン因子 qi = e2πiτi である. そして重み因子 z は、各多重項からの寄与の積で与えられる:∏∏~ ; ~a, m)~ (i) )
~ (1) , · · · ; ~a(1) , · · · , mR ).
z(Y~ =z vect (~a(i) , Yz hyper R (Y(3.13)~

i

rep.R

これを与えるベクトル多重項とハイパー多重項の重み因子は、具体的には∏∏~)=
z vect (a, Y( aα − aβ − `Yβ (i, j)1 + (aYα (i, j) + 1)2 )−1α,β=1,··· ,N (i,j)∈Yα

×∏~ ; b, W~ ; m) =z bifund (a, Y∏( aα − aβ + (`Yα (i, j) + 1)1 − aYβ (i, j)2 )−1 ,(3.14)(i,j)∈Yβ∏( aα − bβ − m − `Wβ (i, j)1 + (aYα (i, j) + 1)2 )α,β=1,··· ,N (i,j)∈Yα

×∏( aα − bβ − m + (`Yα (i, j) + 1)1 − aWβ (i, j)2 ),(3.15)(i,j)∈Wβ~ ; m) = z bifund (a, Y~ ; a, Y~ ; m),z adj (a, Y~ ; m) =z fund (a, YN∏∏(3.16)(aα + 1 i + 2 j − m),(3.17)

α=1 (i,j)∈Yα~ ; m) = z fund (a, Y~ ; 1 + 2 − m)z antifund (a, Y(3.18)と与えられる. ここではハイパーとして、双基本表現、随伴表現、そして基本表現のもののみを考えた. これら因子の表示を見やすくするために、Young 図の箱 s = (i, j) ∈ Y に対して腕の長さ（armlength）aY (s) と脚の長さ（leg length）`Y (s) という概念を導入した:

aY (s) = Yi − j,`Y (s) = (Y T )j − ifor s = (i, j).

(3.19)

この図形的な意味については、Appendix A を参照してください.
ではこの公式から、具体的な分配関数を書き下してみよう. 例として SU (N )1 × SU (N )2 × SU (N )3ゲージ理論で、SU (N )1 × SU (N )2 双基本表現と SU (N )1 基本表現の物質場がそれぞれ一つある場合を考えてみる. 上に与えた構成法から、その分配関数は、次のように与えられる
∑
~ (1)
~ (2)
~ (3)
~ (1) ) z vect (a(2) , Y~ (2) ) z vect (a(3) , Y~ (3) )
q1 |Y | q2 |Y | q3 |Y | z vect (a(1) , Y
Z Nek =
~ (1) ,Y~ (2) ,Y~ (3)Y~ (1) ; a(2) , Y~ (2) ; m) z fund (a(1) , Y~ (1) ; m0 ).
× z bifund (a(1) , Y
SU (2) pure Yang-Mills 理論
手始めに、SU (2) pure Yang-Mills 理論について計算しよう. この理論にはベクトル多重項からの寄与 z vect しかないので、Nekrasov 分配関数は∑
Z pure SU(2) (~a, Λ, 1 , 2 ) =Λ4k Z k (~a, 1 , 2 )
k

=

∑
~
Y

22

Λ4|Y |~∏2~
Ya, 1 , 2 )α,β=1 nα,β (~.

(3.20)

Soryushiron Kenkyuと書き下すことが出来る. 今は SU (2) ゲージ群を考えているので、Nekrasov 分配関数は二つの Young~ = (Y1 , Y2 ) に関する和として与えられる. ここで分子にあらわれているのは、ベクトル多重項の図Y
重み因子から来た∏~

nYα,β (~a, 1 , 2 ) =( aα − aβ − `Yβ (i, j)1 + (aYα (i, j) + 1)2 )(i,j)∈Yα

×∏( aα − aβ + (`Yα (i, j) + 1)1 − aYβ (i, j)2 ).

(3.21)(i,j)∈Yβという関数である. ~a = (a1 , a2 ) は、ベクトル多重項スカラーの期待の対角成分 diag(a1 , a2 ) に対応したクーロンブランチパラメータであり、SU (2) ゲージ群ではトレースゼロ条件から a1 = −a2 = a である. では、この分配関数を 1-、2-インスタントンレベルで計算してみよう.
~ | = 1 を満たすものが 1-インスタントン分配関数に寄与する. こYoung 図ベクトルのうち、k = |Y
~ = ( , Φ), (Φ, ) の二つのような Young 図列は、全体のはこの数が 1 個の Young 図たちなので、Y~ = ( , Φ) について (3.21) を計である. ただし Φ は、箱の無い空の Young 図を表す. そこでまず、Y算してみよう:
2
∏

(

, Φ)

nα,β

~

~

~

(~a, 1 , 2 ) = nY1,1 · nY1,2 · nY2,1 = 1 2 a21 (a12 + ).

(3.22)α,β=1

ここで  = 1 + 2 と aαβ = aα − aβ を定義した. (Φ, ) についても全く同様に求まるので、1-イン
スタントン分配関数は結局次のような形で与えられる:11+.
1 2 a12 (a21 + ) 1 2 a21 (a12 + )Z k=1 (~a, 1 , 2 ) =(3.23)~ | = 2 に寄与する Young 図の列は、全体のはこの数が 2 となっている
2-インスタントン k = |Y
~ = ( , ), ( , Φ),組み合わせである. したがって次のような形を持ったものが寄与を与える: Y~ = ( , ) について計算しよう. 分母の因子は(, Φ) · · · . そこでまず Y
2
∏

(

nα,β

,

)

~

~

~

~

(~a, 1 , 2 ) = nY1,1 · nY1,2 · nY2,1 · nY2,2α,β=1= (1 2 )2 (a1,2 + 1 )(a1,2 − 1 )(a1,2 + 2 )(a1,2 − 2 ),~ =(と与えられる. 次に Y
2
∏

(

,Φ)

nα,β

(3.24), Φ) からは~~~(~a, 1 , 2 ) = nY1,1 · nY1,2 · nY2,1α,β=1= (21 2 2 (1 − 2 ))a12 (a12 + )(a12 + 2 )(a12 +  + 2 ),~ = (Φ,が得られ、Y
らは
2
∏

(

nα,β

,Φ)

~ =(
) についても全く同様に計算される. 最後に Y~~(3.25), Φ) の形の Young 図達か~(~a, 1 , 2 ) = nY1,1 · nY1,2 · nY2,1α,β=1= (21 2 2 (2 − 1 ))a1,α (a12 + )(a12 + 1 )(a12 +  + 1 ),23(3.26)

Soryushiron Kenkyu~ = (Φ,という寄与があることが分かる.Y
2-インスタントン分配関数はZ k=2 (~a, 1 , 2 ) =++) についても同様である. したがって以上をまとめると、
1(1 2 )2 (a12 + 1 )(a12 − 1 )(a12 + 2 )(a12 − 2 )∑(21 2 2 (1 − 2 ))α=1,2∑(21 2 2 (2 − 1 ))
α=1,2

∏2

1

∏2

1

β6=α aα,β (aα,β + )(aα,β + 2 )(aα,β +  + 2 )β6=α aα,α (aα,α + )(aα,α + 1 )(aα,α +  + 1 ),(3.27)という形で与えられる.
各次数 k で得られた有理式を通分することで、分配関数をインスタントン展開のかたちで書き下すことが出来る. そこで以上で得られた計算結果から、a12 = −a21 = 2a であることに注意すると

Z pure SU(2) (~a, Λ, 1 , 2 ) = 1 + q+ q2

2
1 2 (2 − 4a2 )82 + 1 2 − 8a2+ · · · , (3.28)(1 2 )2 (2 − 4a2 )((21 + 2 )2 − 4a2 )((1 + 22 )2 − 4a2 )という表示を得る. ただし 1-インスタントン因子を q = Λ4 とおいた. 次章ではこの分配関数が、
Verma 加群の中のコヒーレント状態から再現されることを見る.

SU (2) Nf = 4 超共形ゲージ理論
次に SU (2) Nf = 4 SQCD について考えてみよう. この理論にはハイパー多重項として、（反）基本表現のものが四つ含まれているので、分配関数は

Z SU (2) Nf =4 SQCD (~a, µ~ , q, 1 , 2 ) =∑~)q |Y1 |+|Y2 | z vect (~a, Y

Y1 ,Y2~ , µ1 ) z antifund (~a, Y~ , µ2 ) z fund (~a, Y~ , µ3 ) z fund (~a, Y~ , µ4 ).
× z antifund (~a, Y(3.29)∏~
によって与えられる. この各項の分母には、やはりベクトル多重項からの寄与 α,β nYα,β が含まれている. pure Yang-Mills 理論の場合とは違い、ここでは分子にもハイパー多重項に由来する因子が含まれている：∏4 ∏ 2 ∏∑f =1
α=1(i,j)∈Yα (aα + 1 i + 2 j − mf )Z SU (2) Nf =4 SQCD =q |Y1 |+|Y2 |,∏(Y1 ,Y2 )Y1 ,Y2α,β nα,β
( ∏4
)
∏4
1
f =1 (a1 +  − mf )f =1 (a2 +  − mf )=1+q+
+ ··· .
(3.30)
1 2
a12 (a21 + )
a21 (a12 + )
ただし m1,2 =  − µ1,2 , m3,4 = µ3,4 である. したがってこの分配関数もまた、先ほどの Yang-Mills理論の例のように、様々な Young 図の組みについて足し上げることで、インスタントン展開の形で計算できる. そのうち 1-インスタントン部分については、四章で具体的に計算することになる.

24

Soryushiron Kenkyu

N = 2∗ SU (2) 理論
N = 2∗ 理論とは、N = 4 理論の質量変形から得られる N = 2 ゲージ理論のことである. したがってこの理論には、ハイパー多重項として随伴表現で変換するものが一つ含まれている. N = 2∗ SU (2)理論についても、Nekrasov 分配関数を書き下すことは難しくなく、∑~ )z adj (~a, Y~ , m),Z SU (2) N =2∗ (~a, m, q, 1 , 2 ) =q |Y1 |+|Y2 | z vect (~a, Y(3.31)
Y1 ,Y2と表されることはすぐに理解できるであろう. Young 図の足し上げ計算については省略する.

Alday-Gaiotto-Tachikawa 予想

4

いよいよ本稿の主題である AGT 予想を説明する. この予想の背景には Gaiotto の発見した N = 2
デュアリティーの理論がある. これについては 4.1 節で解説されるが、この部分は本論からは独立している. したがって急いでいる読者は、4.1 節を読み飛ばしても以降を理解するのには差し支えない.
この章の残りでは、AGT 予想を具体的な計算に基づいて説明する.

4.1

N = 2 四次元ゲージ理論に対する Gaiotto プログラム

今から遡ること十年以上も前に、四次元 N = 2 ゲージ理論を M 理論の枠組みで解析する手法が Witten により与えられた [27]. そしてそれに続く一連の研究によって、M 理論がゲージ理論の非摂動的な振る舞いを理解するための強力な手段を与えることが明らかにされた. ところが最近になり、Gaiotto によってこのア
イデアが改めて大きく発展させられることになった [28]. 彼の研究は、非常に広いクラスの四次元 N = 2 超共形場理論とその S-双対が、M5-ブレインのコンパクト化の枠組みにより非常にクリアーな形で理解できることを明らかにした. [28] においては、ブレインをコンパクト化する内部空間
としてパンクチャー付き Riemann 面が現れる. したがってGaitotto の理論の重要な示唆の一つは、N = 2 超共形場理
図 9: ブレイン構成とクイバー図.
論の分類と、パンクチャー付き Riemann 面の集合の間に深い関係があるということである [27, 28, 29].
ではここでは文献 [29] に従って、このブレイン構成について具体的に見て行こう. 出発点となるのはゲージ理論の Witten 構成である. 図 9 のような D4-NS5 系を考えてみよう1 . まず、n + 1 枚の平行な NS5 ブレインが x0,1,2,3,4,5 方向に広がっているものとする. これらは x6 方向に関して離れている.
また NS5 の間に D4 ブレインがのびているものとしよう. D4 は x0,1,2,3,6 方向に世界体積をもち、図のように x6 方向に関しては有限区間あるいは半無限状に広がっている. するとよく知られているよ
うに、2 枚の NS5 ブレインに区切られた、k 枚の重なった D4 ブレインの世界体積上には U (k) ゲー
ジ群が生じることになる. そして D4 ブレインの x6 方向に関する長さがゲージ結合定数を与える:

1
gY2 M

=

∆x6
.
`s gs

(4.1)

この式より、半無限にのびる D4 ブレインが生む対称性に対しては、ゲージ結合定数が消えてしまうことが見て取れる. したがってこのような無限に長いブレインの作り出す対称性は、大域的なフレー
1

さらに D6 ブレインを導入して、基本表現のフレーバーを加えることも出来る. しかし Hanany-Witten 効果を用いると、これらも D4 ブレインの配位に置き換えられる.

25

Soryushiron Kenkyu

図 10: ゲージ群が G = SU (N1 ) × · · · × SU (Nn ) の線形クイバー図.
バー対称性である. そしてフレーバー対称性のランクに応じた数だけ、ハイパー多重項があらわれていることになる. このようにして読み取れるゲージ群とフレーバー対称性を、丸と四角で表したのが
図 9 下段のいわゆるクイバー図である. 図では簡単の為に、ゲージ群が二つの例を与えた. 今我々が考えているタイプの NS5-D4 系であれば、クイバー図を書き下す一般的なルールは明らかであろう.
実際はクイバー図には理論の対称性以上の情報が含まれている. というのも、二つの対称性（丸、あるいは四角）をつなぐ線分は、両者のもとで荷電しているハイパー多重項を表しているからである.
例えば二つの丸で囲まれた一本の線分は双基本表現で変換するハイパー多重項の存在を表している.
また丸と四角を結ぶ線分は、基本表現の物質場がいくつか存在し、それらがフレーバー対称性で回っている状況を記述している. このような物質場が生じるのは、ブレイン構成から簡単に理解できる.
というのも、一つの NS5 で区切られた D4 のスタックが二組あると、これら左右の D4 ブレイン間にのびる開いたストリングからカイラル場が生じるからである. ストリングの端にある Chen-Paton 因子から、これらがゲージ群の双基本表現で変換していることがすぐに分かる. またストリングの自由度から、N = 1 カイラル多重項がベクトル的なペアで現れることも分かる. つまり生じるのは N = 2
ハイパー多重項である.
以上の議論から分かるように、ブレイン構成から得られるゲージ理論の情報をクイバー図としてまとめることが出来る. クイバーが記述するのはベクトル多重項とハイパー多重項のコンテンツに関する情報である. さらに考えている NS5-D4 系には N = 2 超対称性があるので、物質場コンテンツ
さえ分かれば、我々はゲージ理論のラグランジアンも知っていることになる. つまりクイバー図は、
N = 2 理論を一意的に指定するのである. 例えば図 9 は N = 2 U (2) × U (3) ゲージ理論を表している. この理論に含まれるハイパーは (2, 3) 表現が一つ、(2, 1) 表現が二つ、そして (1, 3) 表現一つである. ラグランジアンも容易に構成することが出来る.
共形ゲージ理論と M 理論リフト
さてこのように構成されるゲージ理論のうち、すべてのゲージ群に対してベータ関数が消えている模型を考えることにする. このような理論は共形クイバー理論と呼ばれる. そこですべてのベータ関数が消えているための条件を導いてみよう. ゲージ群 U (Na ) に関するベータ関数それぞれには、ベクトル多重項 Na 個とハイパー多重項 Na−1 + Na+1 個の寄与がある. したがって i 番目のゲージ群
U (Na ) に対するベータ関数は

βa ∝ Na−1 − 2Na + Na+1 ,(4.2)となる. この関係式から、共形クイバー理論を得るには N0 = N1 = · · · = Nn+1 ≡ N ととればよいことが分かる. つまり我々の考えるべき状況は、どの区間でも D4 ブレインの枚数が同じような NS5-D4系である.
ではこれまで考えて来た IIA 理論のブレイン配位を、M 理論へ持ち上げよう. まず正則変数

v :=

1 4
(x + ix5 ),`ss := x6 + ix10 ,(4.3)

を導入することにする. さらにシリンダー座標 s からの座標変換 t = e−s ∈ C× も定義しておく. s が張るシリンダー（をパンクチャー付き球面に写像したもの）を C としよう. よく知られているよう26

Soryushiron Kenkyu

図 11: NS5-D4 ブレイン系の M 理論への持ち上げと、クーロンブランチ上への変形. この配位は n + 3
点付きの球面（左）に M5 ブレインを巻いたものである.
に、D4 ブレインは M 理論方向 x10 ∼ x10 + 2π を巻く M5 ブレインに持ち上がる. したがって我々の考えている系は、N 枚の重なり合った M5 ブレインがシリンダー C を巻いた配位へと持ち上がる. た
だし n 個の点 t = tα だけは特別であり、そこには v 方向に世界体積をもつ M5 ブレインが差し込まれている. これらは NS5 ブレインに由来するものである. そこで以上を図示すると図 11 の左側のようになる. この配位は曲線

Σ : vNn∏(t − ta ) = 0

(4.4)

α=0

を M5 ブレインが巻いているものと見なせる.
N 枚の重なり合った M5 ブレインの世界体積には、低エネルギーにおいて、6 次元の AN −1 型 N =(2, 0) 超共形場理論が実現することが知られている. したがって今まで考えて来たブレイン構成を、6次元理論の言葉で言い換えることが出来る：N = (2, 0) 理論を曲線 C にコンパクト化し、各点 t = tαにある欠陥演算子を挿入すると、この配位は 4 次元の N = 2 超共形場（ゲージ）理論を作り出す2 .
Gaitto が（再）発見したことの一つは、この構成は C が上のようなシリンダーの場合に限らず、一般のパンクチャー付き Riemann 面 Cn,g に対してもうまく働くということである. 彼の議論のすべてを紹介することは出来ないが、Seiberg-Witten 理論とのつながりについて手短に説明したい.
いままで扱ってきた式は、共形場理論を実現している場合の話であった. これはつまり理論にス
ケールが無い状況であるから、すべてのモジュライが消えている（h tr Φi i = 0）ケースである. そこでこれらのモジュライをスイッチオンし、クーロンブランチの一般的な点に行くこと考えよう. するとこの変形により配位 (4.4) に存在した特異性は解消され、M5 ブレインたちは次の正則曲線を巻く
一枚のブレインへと融合する:F (t, v) = v

Nn∏(t − tα ) +

α=0

N
∑

pi (t)v N −i = 0.

(4.5)

i=1

∑
理論の IR パラメータ h tr Φi i の情報を係数にまとめあげたものが、新たに加わった多項式 pi (t)v N −iである. この曲線は漸近的な振る舞いに関し、いくつかの条件が課されている. というのもブレイン系の両端には N0, n+1 枚の D4 ブレインが延びていた. そのため配位 (4.5) に関しても、t → 0, ∞ において v について N0, n+1 個の根を持っていなくてはならない.
図 11 の右端の球面上に二種類のパンクチャーがあらわれていることが見て取れる. 単純パンク
チャーは 、完全パンクチャーは で書き表されている. より広いクラスの N = 2 理論を考える際には、さらに多くの種類のパンクチャーがあらわれ得るが [28] それらについては述べないことにする.
正確にはシリンダーをパンクチャー付き球面にマップしなくてはならない. 一般的な Riemann 面上に N = (2, 0) 理論を乗せる手法については、[28] を参照.
2

27

Soryushiron Kenkyu

変数変換 v = tx を行おう. その結果得られる Seiberg-Witten 曲線の Gaiotto 標準形は次のような形のものである:

xN =

N
∑

φi (t)xN −i .

(4.6)

i=2

φi (t) dti は Riemann 面 C 上の i 次微分である. Gaiotto の表示においては、Seiberg-Witten 微分は
λ = xdz という形をしている. すると以上の考察から、M 理論より Seiberg-Witten 解 [2] のデータが得られるので、ゲージ理論の低エネルギー有効理論が決定されることになる. この表示の意味を理解するために、具体例 C4,0 を考えてみよう.
4-パンクチャー付き球面 C4,0
質量変形する前の理論においては、N 枚の M5 ブレインを 4 点付き球面 C4,0 に巻いた配位は
v N (t − t0 )(t − t1 ) = (u(2) v N −2 + u(3) v N −3 + · · · + u(N ) )t,(4.7)と表された. まず変数変換 v = tz を行おう.

xN =

N
∑
i=2

u(i)
xN −i .
ti−1 (t − 1)(t − q)

(4.8)

2
t についても適当にリスケールした. この q = eiπτ は、UV のゲージ結合定数 τ = 4πi/gYM+ θ/2π62を与える. というのも D4 の長さ ∆x が 1/gYM を与えていたので、これを M 理論に持ち上げたパラ
メータ q = t1 /t0 = e−(s1 −s0 ) が正則結合定数 eiπτ に他ならないのである. さて (4.6) に現れる i 次微
分 φi (t) dti は、t = 1, q に単純極をもち t = 0, ∞ に i − 1 次の極を持っている. この二種類のパンク
チャーが、図 11 における と である. 特に N = 2 枚の D4 ブレインしか考えないときには φ2 しかあらわれない. この場合には と はどちらも単純極を表しており、理論には一種類のパンクチャ−
しかあらわれない. これは一見すると当たり前の事実である. しかし Gaiotto 双対性や AGT 予想を考える際に SU (2) ゲージ理論が特別に簡単であるのは、この事実と密接に関係しており、とても重要な性質である. そこでこの場合を扱おう.
適当な分数線形変換 SL(2, C)t→az + b,cz + dx → (cz + d)2 x,(4.9)

を行うことで、φ2 の四つの単純極を一般の位置 z = z1, 2, 3, 4 にとることが出来る. すると、もとの曲線にあったモジュライ q は、z1, 2, 3, 4 の交差比 cross ratio として与えられることになる. つまり Gaiotto
表示は、C = C4,0 の余接バンドル T ∗ C 中の曲線x2 = φ2 (z),u,i=1 (z − zi )φ2 (z) = ∏4

(4.10)

として表される. そして C の SL(2, C) 不変なモジュライが q である.
この表示はほかの Riemann 面にもそのまま一般化することが出来る. 例えば n + 3 パンクチャー付
きの球面 Cn+3,0 に対しては

Un−1 (z),φ2 (z) = ∏n+3
i=1 (z − zi )(4.11)とした余接バンドル T ∗ C 中の曲線で書き表される. では、これら Seiberg-Witten 曲線の Gaiotto 表示にあらわれている、ベースの空間 C にはどのような意味があるのであろうか？実は UV のマージ

28

Soryushiron Kenkyu

ナルな結合定数 q の張る空間が、C4,0 の Teichmuller 空間 M4,0 となっているのである. このように
Gaiotto 曲線 C は UV パラメータを表し、Seiberg-Witten 曲線 Σ ⊂ T ∗ C は IR のパラメータを与えるのである.
(4.10) を用いて、パンクチャーでの Seiberg-Witten 微分 λ = x dz の振る舞いについても議論しておこう. パンクチャー近傍 z = zi +  において、x ∼ −1/2 である. したがって w = 2 という局所座標をとっておくと、Seiberg-Witten 微分はパンクチャー近傍で λ ∼ dw と振る舞う. つまり、2 次微
分には極があるが、Seiberg-Witten 微分はパンクチャーの位置でも滑らかである. この性質は、質量変形によって変更される.
弱結合とパンツ分解

C4,0 の場合は、弱結合 τ → i∞ は q → 0 に対応することはすぐに分かる. Cn+3,0 理論においても、この事情は変わらない. 結合定数は NS5 ブレイン間の距離に対応していたから、クイバーの場合は
tα /tα−1 = exp(−4π 2 /gα2 + iθ/2) と与えられる. したがって、gα → 0 とは |tα−1 |  |tα | の極限を意味
する. D ブレインの言葉では、これは NS5 ブレインたちが互いに無限に離れる極限である. Riemann
面 Cn+3,0 の言葉で言うと、パンツ分解に現れるチューブが無限に伸び（あるいは同じことであるが、チューブが無限小につぶれ）、面がグラフに退化する極限を表している.
さて理論が完全な弱結合にあるときは、|t0 |  · · ·  |tα−1 |  |tα |  · · ·  |tn | が満たされている. したがって次の式を示すのは容易であろう:|t0 (tα )n |  |t0 t1 (tα )n−1 |  · · ·  |t0 t1 · · · tα−1 (tα )n+1−α |,(4.12)|t0 t1 · · · tα−1 tα (tα )(4.13)n−α|  |t0 · · · tα−1 tα tα+1 (tα )n−α−1|  · · ·  |t0 · · · tα tn |.

これを後で用いる.
質量変形
次に質量変形を行う. 質量によって変形する前には、φi の極はすべて 1 次、あるいは i − 1 次以下である. その一方で、Seiberg-Witten 微分はパンクチャーにおいても極を持たなかった. そこで Cn+3,0の M 理論曲線に次のような変形を導入しよう

v2

n
∏

(t − ta ) = Mn+1 (t) v + Un+1 (t).

(4.14)

a=0

ただしここでは簡単のため、M5 ブレインの枚数は 2 枚とした. ここで新たにあらわれたパラメータは、n + 1 次多項式 Mn+1 の n + 2 個の係数と、Un+1 の n + 1 次と 0 次の項の係数である. これらをあわせると n + 4 個であり、これらが理論の質量パラメータに対応する. ただし変数 v にはシフトの自由度があるので、実際の物理的なパラメータ数は n + 3 個である. このシフトの自由度を使って、曲線の式から v の一次項を消去しよう:

v

2

n
∏
a=0

1
M 2 (t) + Un+1 (t).
(t − ta ) = − ∏n4 a=0 (t − ta ) n+1(4.15)

いま固定した v のシフトの自由度は、理論の対角的 U (1) ゲージ群の自由度に対応する. これは v 方向の移動は、重なり合った M5 ブレインたちの重心移動の自由度であることから分かる. つまり理論の U (1) 部分をデカップルさせたことになる. まとめると、Cn+3,0 に巻いた N = 2 枚の M5 ブレインが与える Seiberg-Witten 曲線はP2n+2 (z),x2 = φ2 (z) = ∏n+32
a=1 (z − za )29

(4.16)

Soryushiron Kenkyu

である. これは (4.15) に座標変換 v = tz と SL(2, C) を施した式である. 質量変形を導入したことで、√
φ2 (z)(dz)2 に 2 次の極があらわれたことに注意しよう. そのため、Seiberg-Witten 微分 λ = φ2 (z)dz
が、パンクチャーの位置において単純極を持つようになる. そして次に見るように、そこでの留数、あるいは φ2 (z)(dz)2 の 2 次の極における係数が、ハイパー多重項の質量パラメータを表している.
このようにして導入されるパラメータが、実際に質量を与えることを理解するために、再び C4,0 の具体例で考えてみよう. M 理論から得られる曲線 (4.7) は、質量変形によってv N (t − 1)(t − q) = M2 (t) v N −1 +N∑U2 (t) v N −i ,(i)(4.17)

i=2と変形される. ただしここでは、M5 ブレイン N 枚の場合を考察しよう. M2 も P2 も、t に関する 2次の多項式である. 新たに導入されたパラメータの数の勘定は、先の例と全く同じように行える. こ
れらが質量パラメータであることを理解しよう.
そのために、まず D4-NS5 系に戻って考えることにしよう.
図 12 に表されているように、v 方向において D4 ブレインたちを引き離すと、D4 ブレイン間に張るストリングは引き延ばされ、張力がエネルギーを稼ぐ. そのために、D4 ブレインの(0, ∞)
間隔がそれらの質量を生み出すことになる. そこで vi
を、それぞれ左右にある半無限にのびた i 番目の D4 ブレインの位(0, ∞)
置とする. そしてそれらの重心を vCM としよう. また、NS5
図 12: ブレイン構成におけるハイ の間に張っている D4 ブレインの重心位置を v (1) と書くことCM
パー多重項の質量. 波線は、ハイパー にする. すると図 12 の波線のように、左の i 番目のブレイン
(0)
(0)
(1)
多重項を生み出す開弦.
からのびるストリングの質量は µi ∝ vi − vCM で与えられ
(∞)
(∞)
(1)
る. 右についても同様で µi ∝ vi − vCM となる.
(0)
(1)
(0)
(1)
(∞)
以上の議論から分かるように、ハイパーの 2N 個の質量は、vi たちの差、vCM −vCM 、vCM −vCM 、(∞)
そして vi たちの差、の４組に分けられる. ある NS5 ブレインに注目しよう. その左右にある D4
(α)
(α+1)
ブレインの重心たちの差 vCM − vCM は質量を与え、U (1) 質量 m1,2 と呼ばれる. 一方ブレイン配(0, ∞)
位の端の領域では、半無限 D4 ブレインたちの間隔が質量を与え、それを SU (N ) 質量 m̃iと呼ぶ. ではこれらの質量にはどのような意味があるのであろうか？この配位を M 理論に持ち上げると、U (1) 質量は t = 1, q 、SU (N ) 質量は t = 0, ∞ に対応させられることが分かるであろう. したがってGaiotto 曲線の は U (1) に、 は SU (N ) に付随している.
実はこの U (1) と SU (N ) は、ゲージ理論においては、質量を導入する際に用いるフレーバー対称性としてあらわれる. フレーバー対称性 U (Nf ) があるとき、この対称性をあたかもゲージ対称性であるかのように見なそう.
すると仮想的 Higgs 機構によりハイパー多重項 QI に質
量項 Lmass = Re mIJ Q̃iJ QiI が導入できる. するとその構成から、この質量項は [m, m† ] = 0 ならば N = 2 超対称性を保つ.
質量変形の前は、パンクチャーの位置においても図 13: 弱結合における曲線の構造（N = 2、 Seiberg-Witten 微分 λ は極を持たなかった. しかし変形の後は、単純極を持つことになる. そしてこの留数は
n = 1 の場合）.
理論の質量パラメータのアファイン線形な組合わせで表されている. では実際に、質量がこれら留数と関係していることを示すことにしよう. 再び (4.5) の場

30

Soryushiron Kenkyu

合に戻って議論しよう. この式を t についての多項式方程式と見なすと

F (t, v) =n+1∑

qα (v) tn+1−α ,(4.18)

α=0と書き換えることが出来る. これを (4.5) と比べると

qα (v) = cα (v N − µα v N −1 − · · · − uαN ),(4.19)

である. ただしここで

p0 (t) =n∏(t − tα ) =

∑

cα t

n+1−α

,

N
∏
(0)
q0 (v) =(v − vi ),α

α=0(4.20)i=1∑ (0)を導入しよう. すると cα = (−1)α (t0 t1 · · · tα−1 + perms), µ0 = i vi であることがすぐに分かる.
以上の準備の下、留数を計算してみることにしよう. まずは完全パンクチャーから議論を始める. こ
こでは x6 → 0 の場合を例にとる. このとき、t → ∞ であるので、この領域での曲線 F (t, v) = 0 の漸近形に寄与するのはF (t, v) ∼ q0 (v) tn+1 = 0,

(4.21)の部分である. つまり q0 (v) の N 個の根が、x6 → 0 におけるブレイン配位の漸近的位置を与えている(0)（図 13 の左端）. したがってその N 個の根 vi が、M5 ブレインの N 枚のシートの漸近的な位置を表している. つまり各シート上での λ = vdt/t の留数たちは
(0)

(0)

(0)

(−v1 , −v2 , · · · , −vN ),(4.22)(0)で与えられる. したがってこれらは本質的には SU (N ) 質量 m̃i そのものである. 実際には重心 U (1)の自由度を取り除かなければならないが、それについては次節で計算する.
次に t = tα での留数を計算しよう. 式 (4.5) より、t ∼ tα では

vN +1
p1 (t)v N −1 + · · ·∏= 0,(t − tα )β6=α (t − tβ )(4.23)であるので、各シート上における振る舞いは ( vi ) ∼ ( 0, · · · , 0, ρα /(t − tα ) ) , となる. ただしここで∏ρα := −p1 (tα )/ β6=α (tα − tβ ) という記号を導入した. つまり留数たちは( 0, · · · , 0, ρα /tα , ) ,(4.24)

で与えられ、これらは U (1) 質量 mi に対応している. そのことを理解するために、弱結合極限においてこの値を見積もってみよう. まず (4.5)、(4.18)、(4.19) の三式を比べると∑
p1 (t) = −cβ µβ tn+1−β ,(4.25)
βであることがすぐに分かる. 弱結合 |t0 |  · · ·  |tα−1 |  |tα |  · · ·  |tn | では cβ ∼ (−1)β t0 t1 · · · tβ−1である. したがって不等式 (4.12) と (4.13) より、p1 (tα ) の項のうちで主要な寄与をするのは cα µα tn+1−αと cα+1 µα+1 tn−α の二つだけである. つまり

p1 (tα ) ∼ (−1)α+1 t0 t1 · · · tα−1 (tα )n+1−α (µα − µα+1 ),31(4.26)

Soryushiron Kenkyu

図 14: 完全パンクチャー（左）と、基本パンクチャー（右）. 各パンクチャーにおける留数（質量）たちからフレーバー対称性が読み取れる.
である. また弱結合では、不等式より
留数 (4.24) は∏

β6=α (tα − tβ ) ∼ (−1)αt t · · · tn−α であるから、結局
0 1
α−1 (tα )( 0, · · · , 0, µα − µα+1 ) ,(4.27)

で与えられる. µα は α 番目の D4 ブレインの重心を与えるので、これはまさに U (1) 質量だ. このことを見るためには、弱結合極限で α 番目の D4 ブレイン付近 |tα−1 |  |t|  |tα | においては· · ·  |cα−1 tn+2−α |  |cα tn+1−α |  |cα+1 tn−α |  · · · となることを用いればよい. したがってこのn+1−α の項の領域における曲線の振る舞い F (t, v) ∼ qα (v) tn+1−α = cα (v N − µα v N −1 − · · · − uα
N) t
∏
(α)
(α)
がブレインの各シートの位みが寄与する. v N − µα v N −1 − · · · − uαi (v − vi ) とすると、vi
N =
∑ (α)
置を表し、µα = i vi がそれらの重心を与えている. 以上の結果を、C4,0 に N = 2 枚の M5 ブレ
インを巻いた例に関して描くと図 13 のようになる.
以上で議論して来た Gaiotto 表示の性質は、一般の N 、C に対しても引き継がれる. つまり SU (N )クイバー理論に対し、Seiberg-Witten 曲線は余接バンドル T ∗ C 中の曲線

xN + xN −2 φ2 (z) + · · · + x φN −1 (z) + φN (z) = 0,(4.28)と表される. そして次節で見るように、曲線の種数とパンクチャーが理論のクラスを定めている. また Seiberg-Witten 微分 λ の留数が、質量とそれに対応するフレーバー対称性を記述する.
質量、フレーバー対称性とパンクチャー
さて最後に重心自由度を取り除き、留数とフレーバー対称性との関係をはっきりとさせておこう. 重心∏
U (1) 自由度の除去は、曲線 (4.5) から v N −1 の項を消去すればよい. つまり vnew = v + p1 (t)/N (t −tα ) と変数を一価関数でシフトさせればよい. これに従い、Seiberg-Witten 微分も λnew = λold +∏p1 (t)/N (t − tα ) × dt/t に置き換わる. つまり質量留数もシフトすることになる. λ が BPS 粒子の中心電荷を与えることを思い出すと、このシフトは粒子のフレーバー電荷をゲージ電荷によるシフト
で再定義したにすぎない.
完全パンクチャー 周りにおける、Seiberg-Witten 微分 λ の留数を考えてみよう. ここでは t = ∞∏(0)を考える. (4.25) を用いると、シフト分 p1 (t)/N (t − tα ) × dt/t の留数は −µ0 /N = −vCM に等し
いことがわかる. したがって新たな Seiberg-Witten 微分 λnew は、N 枚のシート上で留数(m1 , · · · , mN −1 , −

N
−1
∑

mi ).

(4.29)

i=1
(0)

(0)

を持つ. ただし、各留数は mi = vi − vCM である. このパンクチャーに対応するフレーバー対称性
は SU (N ) である. そして先ほどのハイパーの質量は、このフレーバー対称性の Cartan 部分を用いて入れた質量である.

32

Soryushiron Kenkyu

図 15: 4 点付きパンクチャーの二つの退化パターン. 左は 6 フレーバーの SU (3) SQCD. 右は T3 理論の SU (2) 部分をゲージ化し、基本フレーバーをカップルさせた理論.
一方単純パンクチャー では、留数のシフトは m := −ρα /N tα で与えられる. ただし t = tα を考えた. したがって前節の結果とあわせると、各シート上で留数は( m, · · · , m, (1 − N )m )(4.30)となることが分かった. この場合は、フレーバー対称性 S(U (1)2 ) = U (1) が対応している.
このように、Gaiotto 表示における留数の構造と、その質量に付随したフレーバー対称性の間には
美しい対応関係があることが分かった. したがってこのアイデアを押し進めることで、様々な対称性に付随したパンクチャーを新たに導入し、N = 2 理論のクラスを大幅に拡大させることが出来る. この詳細と、そこから導かれる目覚ましい結果の数々については、原論文 [28]. を参照されたい. さてブレインの枚数が N = 2 の場合はどちらの質量留数も (m, −m) となることから、パンクチャーに違いは無い. したがってフレーバー対称性は、どちらの場合でも SU (2) へ持ち上がることになる.
さらに N = 2 の場合は理論全体のフレーバー対称性についても特別であり、しばしばそれらは高い対称性へ持ち上がる. これはゲージ理論に対してはよく知られた事実であり、SU (2) の基本表現
が擬実なためである. この理由により、例えば基本表現 2 のハイパー多重項 (Q, Q̃† ) を d 個考えると、2d 個のハーフハイパー Q, Q̃ をまわす SO(2d) フレーバー対称性までに持ち上がり、ハイパーはそれらのベクトル表現 2d で変換する. この観点からは、ハーフハイパー多重項が偶数個導入されているのは、SU (2) ゲージ理論の大域的アノマリーを相殺させるためである. また、双基本表現で変換するハイパー多重項については U (1) フレーバー対称性がある. ゲージ群が SU (2) × SU (2) の場合、
これは実表現であるので、フレーバー対称性は Sp(1) ∼ SU (2) まで持ち上がることが分かる. 一方
ブレイン構成側から見てみると、4-フレーバー SQCD に対しては、SO(8) フレーバー対称性のうちSU (2)4 ⊂ SO(8) 部分のみが見えていることになる.
また、球面に 3 つの完全パンクチャーをのせてブレインを 3 枚巻いた配位を取り上げてみよう. この系は四次元において、T3 理論（Minahan-Nemeschansky 理論）と呼ばれる強結合な共形場理論を与える. ブレイン構成から見て取れるフレーバー対称性は、3 つのパンクチャーからくる SU (3)3 対称性である. しかし実際のフレーバー対称性は E6 であることが知られており、その部分群のみが見えていることになる. さて T3 理論の SU (3) 対称性を一つ取り上げ、SU (2) 部分群を弱くゲージ化してみよう. そしてさらに SU (2) ゲージ群の基本表現ハイパーを一つ加えると、新たな共形場理論が得られる. この理論は実は、6 フレーバー SU (3) SQCD の強結合を記述するデュアル理論である. これが Argyres-Seiberg の S-デュアリティーである. Gaiotto 曲線の言葉で理解すると、図 15 のように曲線に二つのパンツ分解、つまり二つの弱結合記述があることに起因している.
このようにすべてのフレーバー対称性がブレイン構成から読み取れる訳ではなく、典型的には SU (N )部分群のみが露になるのが Gaiotto による記述である. しかしこのような対称性の一部分だけに注目することで、S-デュアリティーの作用を見通しよく理解することが出来るのである [28].

33Soryushiron Kenkyu

4.2

AGT 予想Gaiotto による M5-ブレイン構成が示唆していることは、Riemann 面のパンツ分解操作は四次元
超共形場理論と深い関係を持っているということである. その一方で Riemann 面の縫い合わせ操作と聞いて我々がすぐに連想するのは、二次元の共形場理論であろう. したがって四次元超共形場理論と二次元共形場理論の間に何らかの対応関係を期待するのは自然である. このようなアイデアに基づ
き、Alday らはいわゆる AGT 対応を提唱した. 四次元超共形場理論と二次元共形場理論を結びつけるこの試みを具体的なものとするために、彼らは N = 2 SU (2) 超対称クイバーゲージ理論を取り上げ、考察の対象として Nekrasov 分配関数を選んだ. そして彼らはそれが Liouville 理論の相関関数に対応していることを初めて発見したのである.
この節では具体的な SU (2) ゲージ理論を選び、Alday たちの発見と同じ道をを辿ることで AGT 予
想について考えてみよう. まずは我々の規範的な例である 4 フレーバー SQCD から議論を始めよう.
SU (2) Nf = 4 超共形ゲージ理論 : T4,0 [A1 ]Nekrasov 公式の構成を思い出そう. U (2) Nf = 4 ゲージ理論では、ベクトル多重項からの寄与とハイパー多重項からの四つの寄与があるから、Nekrasov 公式は次のように書き下された:∑~)
Z inst =q |Y | z vect (~a, Y
Y2 ,Y2~ , µ1 ) z antifund (~a, Y~ , µ2 ) z fund (~a, Y~ , µ3 ) z fund (~a, Y~ , µ4 ).
× z antifund (~a, Y(4.31)

ここでクーロンモジュライ a、質量 µ そして Ω-背景 1,2 はすべて質量次元 1 の量であったことを思いだ
す. 残りのパラメータである共形ゲージ理論の UV 結合定数 q は次元ゼロである. その一方 Nekrasov
分配関数 Z = 1 + O(q) 自体は無次元量である. したがって有理式 z vect z fund × · · · は a、µ そして 1,2
に関する質量次元ゼロの斉次式である. したがってすべてのパラメータをリスケールすることで、無次√元化したパラメータで書き直すことが出来る. ここでは Alday らに従い質量スケール因子 ~ := 1 2を取り出し、無次元化したパラメータたちを改めて a、µ、1,2 とかくことにしよう:

Z inst (a, µ; 1,2 ; q) → Z inst (~a, ~µ; ~1,2 ; q)
= Z inst (a, µ; 1,2 ; q)(4.32)

ただし最後の行への変形では、Nekrasov 分配関数が次元ゼロであることを用いた. 以下では Nekrasov
分配関数に現れるパラメータはすべて無次元化したものとする. ~ を用いて質量次元を回復させる操√作も自明であろう. この ~ := 1 2 による無次元化の後は、Ω-背景は互いに逆数の関係となることがわかる

1 = b,2 = 1/b.

(4.33)

そこで後の Liouville 理論との比較のために次の量を定義しておこう:

Q := 1 + 2 = b + 1/b.

(4.34)

では早速 Nekrasov 分配関数を調べる作業にとりかかろう. まず、フレーバー対称性 U (2)1 × U (2)2がそれぞれ露に作用する質量行列二つを、Cartan U (1)i 部分と SU (2)i 部分に分解しよう:
(
)
(
)
µ1 0
µ3 0
0
3
= m1 σ + m̃1 σ ,= m2 σ 0 + m̃2 σ 3(4.35)
0 µ2
0 µ4

34

Soryushiron Kenkyu

ここで σ 0 は 2 × 2 単位行列である. これらら前節で導入した U (1) 質量と SU (2) 質量である. Nekrasov
分配関数は SU (2)1 × SU (2)2 の Weyl 群m̃ĩ −→ −m̃ĩ ,(4.36)の作用の下で不変になっている. またゲージ群の Weyl 群の作用 a → −a の下でも不変に保たれている. Gaiotto 構成の節で見た通り、SU (2) ゲージ群を考えた時は、ハイパー多重項が擬実表現 2 であるからフレーバー対称性が
2
∏
ĩ=1

SU (2)ĩ ×

2∏

U (1)i −→

i=1

2
∏

SU (2)ĩ ×

ĩ=1

2
∏

SU (2)i ⊂ SO(8),(4.37)

i=1にまで上がるはずである. この現象を、もう一度ゲージ理論の観点から復習することにする. ある表
現 R で変換するハイパー多重項 (Q, Q̃† ) は、N = 2 スーパーポテンシャル W = Q̃I ΦI J QJ を持っている. ただし、上付き・下付き添字は R とその共役表現の添字である. そこで R が（擬）実の場合、ハーフハイパー (Q, Qt ) が可能になると考えられる. そこで、スーパーポテンシャルからどのような条件が課されるかを考えてみる. 不変テンソル R を用いると、Q∗ = RQ であるから W = Qt Rt ΦQとなる. すると擬実表現の場合には不変テンソル R が反対称なので、Rt Φ は対称行列となり、このよ
うなスーパーポテンシャルを組むことが出来る. したがって、2d 個の擬実表現ハーフハイパーは

W =

2d
∑

Qt(i) Rt Φ Q(j) ,(4.38)

i=1というスーパーポテンシャルを持っており、これらのフレーバー対称性は O(2d) であることが分かる. 通常のハイパー多重項は、二つのハーフハイパーを Q = Q(1) + iQ(2) , Q̃ = R(Q(1) − iQ(2) ) と組めばよい. 次に R が実表現の場合を考えると、不変テンソル R が対称で Rt Φ は反対称行列となるので、ハーフハイパーが一つではスーパーポテンシャルが組めない. そこで 2 個導入するとW = ij Qt(i) Rt Φ Q(j) ,(4.39)とすることでスーパーポテンシャルを与えることが出来る. 2d 個への拡張も明らかであり、フレーバー対称性は Sp(2d) となる.
そこでゲージ群の U (1) 部分を取り除き、フレーバー対称性が拡大した場合を調べたいのであるが、そのためには随伴 Higgs 場の期待値をトレースレス ~a = (a1 , a2 ) → (a, −a) にとれば良いと思われる.
しかしながらこの操作だけでは不十分であることが分かる. それは、この操作だけでは、フレーバー
対称性の増大 U (1)i → SU (2)i に対応した新たな Weyl 不変性

mi −→ Q − mi ,(4.40)が生まれないからである. ここで Weyl 反転を mi −→ −mi ではなく上のように Q を含めて定義した
理由は、ハイパー多重項の質量パラメータの取り方に関係があるが、ここでは詳しく議論しない.
Alday らは U (1)i → SU (2)i を起こさせるために取り除くべき U (1) 因子を提唱した:

U (2) Nf = 4 ゲージ理論の U (1) 因子
Z U (1) = (1 − q)2m1 (Q−m2 ) .

35(4.41)

Soryushiron Kenkyu

そしてこの U (1) 因子を取り除くことで次の F 考えた:
U (2)Z inst (a) = Z U (1) F α1 α2 α α3 α4 (q).

(4.42)

ただし Z U (2) (a) は ~a = (a, −a) で見積もった U (2) 分配関数を意味する. そして Alday らは、この Fを考えることで期待される新たな Weyl 不変性 (4.40) が生じると主張した. この仕組みを理解する
ために、Nekrasov 分配関数の 1-インスタントン計算を行ってみよう. インスタントン数 1 の寄与は~ = (φ, ) の二つの和からくるので、対応する因子を書き下すと~ = ( , φ) と Y
Y
)
(∏
∏4
4
(−a
+
M
+
Q/2)
(a
+
M
+
Q/2)
i
i
i=1
+ i=1
+ O(q 2 ),(4.43)
Z inst = 1 − q
2a(2a + Q)
2a(2a − Q)となる. ここで式の対称性が見えやすくなるように、修正した質量パラメータ

M1,2 = µ1,2 −Q,
2

M3,4 = −µ3,4 +Q,
2(4.44)を導入した. この質量パラメータのコトバでは、新たに生じるべき Weyl 不変性は M1 ↔ −M2 とM3 ↔ −M4 である. そこで M1 ↔ −M2 （つまり m1 −→ Q − m1 ）の変換を考えてみよう. もちろん Z inst はこのままでは Weyl 不変ではない. それは、例えば分配関数の 1-インスタントンまでの展
開 (4.43) の中に、M1,2 に関して奇数次の項)(∏∏(a + Q/2) 4i=3 (a + Mi + Q/2) (−a + Q/2) 4i=3 (−a + Mi + Q/2)+
− q(M1 + M2 )2a(2a + Q)
2a(2a − Q)

= −q(2m1 − Q)(Q − m2 ),(4.45)があるためである. 注目するべきことに、この部分は a を全く含んでいない. そのためこの問題をはらんだ m1 依存性は、U (1) 因子 1/Z U (1) = 1 + 2qm1 (Q − m2 ) + · · · によって完全に取り除かれる. つまり U (1) 因子を除することで、新たに Weyl 不変性 m1 −→ Q − m1 が生まれることになる.
M3 ↔ −M4 （つまり m2 −→ Q − m2 ）の方についても全く同じ仕組みが働いている.

図 16: SU (2) ゲージ理論の Nekrasov 分配関数.
このように Alday らの議論を辿ってあらたに分かったことは、通常我々が計算している Nekrasov
公式は U (2) ゲージ群に対するものであって、SU (2) とするためには Φ = diag(a1 , a2 ) をトレースレ
スにするだけではなく、U (1) 因子を除去しなくてはならない、ということである. つまり、SU (2)ゲージ理論の Nekrasov 公式は/
U (2)
F α1 α2 α α3 α4 (q) = Z inst (a) Z U (1) ,(4.46)

で与えられると考えるべきである. ここで共形場理論との対応を見やすくするために、次のパラメータを導入した:α = Q/2 + a,α1 = Q/2 + m̃1 ,α 2 = m1 ,36

α3 = m2 ,α4 = Q/2 + m̃2 .

(4.47)

Soryushiron Kenkyu

いよいよ AGT 予想の主張を述べる準備が整った. 論文 [4] における Alday らの驚くべき発見は、SU (2) ゲージ理論の Nekrasov 公式 F α1 α2 α α3 α4 (q) がじつは中心電荷 c = 1 + 6Q2 の Virasoro 共形
ブロックと厳密に一致している、ということである:

AGT 予想 [4]球面上の四点 0, q, 1, ∞ に次元 ∆i = αi (Q − αi ) の頂点演算子を挿入した共形ブロックを考えよう.
ただし中間状態の次元が ∆ = α(Q − α) の s-チャンネルで評価する. この共形ブロックは、U (1) 因子を割り出して定義した SU (2) Nf = 4 超共形ゲージ理論の Nekrasov 分配関数 F にほかならない:
F α1 α2 α α3 α4 (q) = F

[2 3]
1 4

(∆; q)(4.48)

ただしここでの共形ブロックは、中心電荷 c = 1 + 6Q2 の Virasoro 代数に対するものである.

Gaiotto の M5 ブレイン構成において、SU (2) Nf = 4 超共形ゲージ理論は四点付き球面 C4,0 から現れる T4,0 [A1 ] 理論であった. したがって図 16 のように球面上の四点共形ブロックが対応するのは自然であるとも考えられる. またゲージ理論において議論していた SU (2)4 フレーバー対称性に起因するWeyl 不変性は、共形ブロックの対称性 αi → Q − αi にほかならない.
この主張を AGT 予想と呼んでいるのは、現時点までで証明がなされていないためである. というのも両者は全く異なる数学的起源をもつ関数であるので、この等価性の証明は決して容易い問題ではないからである. 特にインスタントンモジュライ空間の Ω-同変コホモロジー群上に Virasoro 代数の作用があり、その表現としての構造を持つという主張は数学的にも全く新しく、今後の発展が待たれる話題である. 幸運なことに、いくつかの単純化した系では物理学者による証明が与えられているので、この話題については本稿の最後の章で触れたい.
そこで、ここではインスタントン展開の下の次数で具体的にチェックしてみよう. 1-インスタント
ンの次数までで、SU (2) ゲージ理論に対する Nekrasov 分配関数は
(∏
)
∏4
4
/ U (1)i=1 (a + Mi + Q/2)
i=1 (−a + Mi + Q/2)
=1−q+
Z inst Z
2a(2a + Q)
2a(2a − Q)q
+ (M1 + M2 + Q)(M3 + M4 + Q) + O(q 2 ),(4.49)
2となる. ここで二行目の項は、U (1) 因子の除法から来たものだ. 一行目にある q 1 の因子だけを通分したのでは、当然ながら分子は因子化した形とはならず、複雑な有理式を与える. しかし驚くべきことに U (1) 因子に由来する二行目の項を加えると、得られる 1-インスタントン項は非常にきれいな形に因子化する:/Z inst Z U (1)( 2)()
2a − Q(µ1 + µ2 ) + 2µ1 µ2 2a2 + Q(µ3 + µ4 − 2Q) + 2(µ3 − Q)(µ4 − Q)
+ O(q 2 ),=1−q2(4a2 − Q2 )これは共形ブロックの計算から期待される項そのものである:

F

[2 3]
1 4

(∆; q) = 1 + q(∆ + ∆1 − ∆2 )(∆ + ∆3 − ∆4 )+ O(q 2 ).
2∆

ここでは手でも簡単に計算することが出来る 1-インスタントン補正の部分のみチェックした. 今考えている量にはパラメータの数が十分あるので、Nekrasov 分配関数と共形ブロックの値を 1-インスタ37

Soryushiron Kenkyu

ントンであわせられるのは当然だ、と考える読者がいるかもしれない. しかしながら注意すべきなのは、我々はパラメータの間の関係として、簡単な多項式のものしか課していないことである（これらは Liouville 理論に直接関係した自然なパラメータ付けだ）. それにも関わらず、複雑な Nekrasov 分配関数を U (1) 因子で割りパラメータの関係式を代入するだけで、各インスタントン数の項が因子化
し、共形ブロックの計算から期待される多項式を与えるのである. このように我々のチェックした 1次での等価性の時点で、すでに非自明な現象が起きているのである. 計算機も駆使することで、この等価性はインスタントン展開の 10 次程度まで確認されている. 関心のある読者の方には、Maple などを用いて 2-インスタントン以上のチェックをされてみることをお勧めする. 当然ではあるが、展開の高次になるほど分配関数に寄与する項は組み合わせ論的な増大を見せ、その計算は困難になる. しかし驚くべきことに、各インスタントン数で寄与を与える有理式たちを通分し、分子と分母を因子化し、約分してみると共形ブロックも Nekrasov 分配関数も全く同じ有理式を与えることが見て取れるのである. とくに分母には各インスタントン数に対応するレベルの Kac 行列式が現れる. そしてこのことに対応し、Nekrasov 分配関数の極の位置と留数の構造が AGT 予想にとって非常に重要である.
そのことについては最後の章で触れたい.

SU (2) 線形クイバーゲージ理論 : Tn+3,0 [A1 ]AGT 予想は 4 フレーバー理論に限られた対応ではない. 我々は Gaiotto 構成から、Riemann 面のパンツ分解の集合と四次元ゲージ理論の間に一対一の対応があることを学んだ. したがって AGT の対応はこれらに対して普遍的に成立していると期待される. そこで最もシンプルな一般化の系列を紹介しよう.
ここで考えるのは、n+3 点付き球面である. そのパンツ分解として、図 17 のように線形なものを考えよう. この Riemann 面に対応するゲージ理論は SU (2) ×SU (2) × · · · × SU (2) クイバーゲージ理論である. ただし物質場として、隣接するゲージ群の間に、双基本表現のハイパー
多重項がそれぞれ一つある. またさらにクイバーの端にある
ゲージ群二つは、それぞれ（反）基本表現ハイパー多重項を二つもつ. このゲージ理論に対する Nekrasov 分配関数もまた簡
単に書き下すことが出来る. qi を i 番目のゲージ群に対する結合定数としよう. また ~ai も i 番目のゲージ群に対する Coulomb
モジュライである. すると U (2)n クイバー理論に対するイン
図 17: 線形なパンツ分解.
スタントン分配関数は次のように与えられる:( n)∑ ∏ |Y~ |~i ) z antifund (~a1 , Y~1 , µ1 ) z antifund (~a1 , Y~1 , µ2 )q i z vect (~ai , Y
Z inst =
i

~i
Y

×

i=1
n−1
∏

~i ; ~ai+1 , Y~i+1 ; mi+1 ) × z fund (~an , Y~n , µ3 ) z fund (~an , Y~n , µ4 ).
z bifund (~ai , Y(4.50)i=1

質量 µ1,··· ,4 を U (1) 質量と SU (2) 質量に分ける方法は、n = 1 の場合と全く同様である. また、この理論に対する U (1) 因子は∏Z U (1) =(1 − ql ql+1 · · · qn )ml (Q−mn+1 )(4.51)l≤nと与えられている. したがってこれらの比 Zinst /Z U (2) をとることで、SU (2)n クイバー理論の分配関
数 F m̃1 m1 α1 · · · mn+1 m̃n+1 が得られるが、これも再び共形ブロックとの一致をみる[]
F m̃1 m1 α1 m2 · · · mn αn mn+1 m̃n+1 (q1 , · · · , qn ) = F 12 3 4 · · · n+2(4.52)
n+3 (∆; q1 , · · · , qn ).

38

Soryushiron Kenkyu

ただし右辺は、n + 3 点付き球面の線形なパンツ分解に対応した共形ブロックである. パラメータ間の関係式は n = 1 の場合の自然な拡張であるので、詳細は原論文 [4] を参考にされたい. インスタン
トン展開形でこの予想を具体的にチェックすることが出来ることもまた 4 フレーバー理論と同様であるが、重要なポイントは、AGT 予想は 4 フレーバーのゲージ理論に限らず、ラベル n = 1, 2, 3, · · · に応じて、無限個の理論からなるクラスの間で成立していると予想されている点である. そこで球面の例を離れ、さらにトーラスに対応する場合の AGT 予想について述べる.

SU (2) N = 2∗ 理論 : T1,1 [A1 ]一点付きトーラスを考えよう. このリーマン面のパンツ分解を考えると、ハイパー多重項に対応した三つ足頂点は、パンツをつなぐチューブの両端に接続している. つまりハイパー多重項は、チューブが表している SU (2) ゲージ群の元で 2 ⊗ 2 = 1 ⊕ 3 表現で変換している. ゲージ群に関するシング
レットは無視してかまわないので、一点付きトーラスに対応した理論は、随伴表現 3 のハイパー多重項を一つ含むゲージ理論である. つまり SU (2) N = 2∗ 理論にほかならない. そこで U (2) N = 2∗ 理論に対するインスタントン分配関数を考えよう:

Z inst =∑~~ ) z adj (~a, Y~ , m).
q |Y | z vect (~a, Y(4.53)~
Y

この理論に対する U (1) 因子はZ U (1) =∞∏(1 − q n )2m(Q−m)−1(4.54)

n=1であると提唱されている. したがってこの場合の AGT 対応は、
U (2)

Z inst = Z U (1) Fα m (q),(4.55)

で定まる Fα m (q) が、一点付きトーラスの共形ブロック Fm (∆; q) と一致することを予想する. ただしパラメータの同一視は以前と同様に AGT の辞書に従い、挿入されているプライマリーの次元は∆1 = m(Q − m) ととり、中間状態を走る状態については ∆ = α(Q − α) である. ただしクーロンモ
ジュライについては α = Q/2 + a と記した. この予想もまた、計算機を用いて具体的にチェックできる. また、この種数 1 の AGT 対応は、Ân クイバーゲージ理論と n 点付きトーラスの共形ブロックとの間の対応関係へと一般化することも出来る [4].
特筆すべきことに、2009 年の暮れになって Fateev と Litvinov によって SU (2) N = 2∗ に対する
AGT 予想の証明が与えられた. 彼らの用いた手法は、共形ブロックに対する Zamolodchikov 漸化式に注目するというものである. この話題については最後の章で触れることにする.

Liouville 相関関数と S 4 上の分配関数
これまではゲージ理論のインスタントン補正部分に対し、AGT 対応をみてきた. そこで次に摂動部分などにも共形場理論による解釈がつくのかについて考えたい.
共形場理論の側から話を始めよう. これまでは、模型の選び方については議論してこなかった. そこで唐突ではあるが、中心電荷の c = 1 + 6(b + 1/b)2 の Liouville 場理論の四点関数を考えて見ることにしよう. 2 章で述べたように、これを計算するには三点関数が必要であった. その三点関数はAppendix にある DOZZ 公式で与えられるが、これは実は 4 フレーバー理論に関する分配関数の摂動
補正部分をあたえている. さらに (2.44) には q ∆−∆3 −∆4 の係数も含まれていたが、AGT の辞書を使22うとこれは本質的に Nekrasov 分配関数の古典部分 q −a = e−2πiτ a である. したがって Nekrasov 分

39

Soryushiron Kenkyu

配関数全体を考えると、これは Liouville の四点関数に等しくなる. 精密に言うと、DOZZ 公式を通じて AGT 予想は次の形にまとまる:∫22
2
h V4 (∞) V3 (1) V2 (q, q̄) V1 (0) i = f (α1∗ )f (α2 )f (α3 )f (α4 ) q Q /4−∆3 −∆4a2 da Z α1 α2 α α3 α4 (q) .
この右辺の積分は、実は Pestun によって計算された S 4 上の N = 2 ゲージ理論の分配関数 [30] にほかならない. このとき局所化の方法を通じ、正則部分 Z と半正則部分 |Z| はそれぞれ S 4 上の南極と北極からの寄与として理解される. このように Liouville 場理論の物理的相関関数は、S 4 上の N = 2
ゲージ理論の分配関数に対応していると期待される.
ストレステンソルと量子 Seiberg-Witten 微分

AGT 対応における Seiberg-Witten 曲線についても議論しておこう. そのためのヒントとなるのが、
Ward-Takahashi の恒等式である:) ∏∏∑ ( ∆j∂j+h
Vi (zi ) i.
(4.56)h T (z)
Vi (zi ) i =(z − zj )2 z − zjiij∆j ' −mj 2 であったことを思い出すと、右辺に現れる微分演算子は Gaiotto 曲線の因子 φ2 (z) とほ
とんど同じ極構造をしている. そこで Alday らは、準古典極限においてエネルギーストレステンソル
が Seiberg-Witten 曲線 x2 = φ2 (z) を与えると予想した:∏
h T (z) i Vi (zi ) i∏lim= φ2 (z).
(4.57)
1,2 →0h i Vi (zi ) i
この予想はいくつかの具体例においてチェックされている.
さてこの予想は、Ω-背景がスイッチオンされると、Gaiotto 微分は演算子 φ̂2 (z) = T (z) に持ち上がることを示唆している. つまり Ω-背景は Seiberg-Witten 理論の「量子化」を導くことになる. AGT
対応のこの帰結については、現在も様々な角度から研究されている.

4.3

SU (N ) ゲージ理論と Wyllard 予想

SU (2) 超共形ゲージ理論の分配関数には、Virasoro 対称性をもつ Liouville 理論による記述がある
ことがわかった. では、もっとランクの高いゲージ理論についても、このようなストーリーは成り立
たないのだろうか？じつは Wyllard によって、AGT 対応は SU (N ) ゲージ理論にまで拡張出来ることが明らかにされている.
この拡張のためのヒントとなるのが、Liouville 理論は A1 型の戸田場の理論に他ならないという事実である. そこで SU (N ) ゲージ理論には、AN −1 型の Toda 場の理論に対応物があると期待するのは自然であろう. そこで Wyllard は、
SU (N ) ゲージ理論の Nekrasov 分配関数は Toda 共形ブロックに等しい、と予想した [9]. 実際にこの予想を定式化するのには巧妙な考え方を導入する必要があるので [9, 31]、一般論を紹介するのには紙面が足りない. そこでここでは、SU (N ) Nf = 2N SQSD の例をに的を絞り Wyllard 予想を紹介することにしよう.
図 18: T4,0 [AN −1 ] 理論.
この場合も、Nekrasov 分配関数は四点の WN 共形ブロックと一致すると期待される. Toda 場の理論における一般の頂点演算子は、
~
h~
α
,
φi
Vα~ = eとかける. そこでその四点関数を考えてみると、外線運動量のパラメータ数は 4(N − 1)個である. その一方、SU (N ) Nf = 2N SQSD の質量パラメータは 2N 個であり、N ≥ 3 では共形場
40

Soryushiron Kenkyu

理論側のパラメータ数が多すぎることがわかる. その理由は、N = 3 以上では球面のパンクチャーには二種類あったことを考慮していなかったことにある（図 18）. 完全パンクチャー 二つには、制限なしの頂点演算子 Vα~ を割り振るとしよう. では残った単純パンクチャーにはどのような演算子を割り振ればよいのだろうか？Wyllard は、単純パンクチャー に対しては半退化場 α = κω1 , κωN −1を与えておくと、四点共形ブロックが Nekrasov 分配関数を再現することを発見した:/ U (1)
U (N )
Z inst (~a) Z (N ) = h Vα~ 4 (∞) Vκ3 ω~ 1 (1) 1α~ Vκ2 ω~ 1 (q) Vα~ 1 (0) i.

(4.58)

ここで ω1,N −1 は（反）基本表現の最高ウエイトである. 実際、この相関関数の外線パラメータは2(N − 1) + 2 = 2N 個となっている. また、三点関数のうち一つの頂点演算子がこの半退化場であるときには、Toda 理論における DOZZ 公式に相当する公式もすでに与えられており [32]、これもNekrasov 分配関数の摂動補正項と一致することが確認できる. さらにこのような退化場の取り方は、
Gaiotto 曲線のパンクチャーにおける特異性と整合的であることもチェックできる [33]. Wyllard 予想
に関する具体的な計算や、パラメータの同一視については、原論文 [9] を参照してください.
クイバーの “しっぽ”を持つゲージ理論への拡張は、[31] により与えられ “AGT-ail 予想”と名付けられている3 . また SO や Sp 群ゲージへの拡張については、[34] において試みられている.

4.4

変種たち：Gaiotto 予想

これまで考えてきた AGT 関係は、四次元超共形ゲージ理論（の質量変形）に対するものであった.
これらの理論は Gaiotto により、点付きリーマン面を用いた自然な分類が発見されていた. では超共形ゲージ理論からフレーバーをデカップルさせて漸近自由ゲージ理論を考えたとき、今まで見てきたスキームはどう変わるのであろうか? この節では、この疑問に対する答えを与える. Gaiotto による発見 [10] に従い、SU (2) super Yang-Mills 理論から調べはじめよう.
まずフレーバーをデカップルさせることから考えよう. そのためには、取り除きたいハイパー多重項の質量を無限大に飛ばせば良い. ただしそのままでは非自明なゲージ理論のダイナミクスが残らないため、ゲージ結合定数に対してもスケーリング
極限をとる必要がある. 例えば、SU (2) Nf = 4 ゲージ理論から SU (2) super Yang-Mills 理論を得るには、
図 19: SU (2) SYM のブレイン構成.

mf → ∞ for f = 1, · · · , 4,q4∏

mf → Λ4 ,(4.59)

f =1

を考えれば良い. この極限をゲージ理論サイドから正当化することは読者の皆さんの演習としておきたい. そこでここでは Nekrasov 公式（あるいは Seiberg-Witten曲線）に (4.59) を用いると、正しく SU (2) super Yang-Mills 理論の答えが得られ、整合性が簡単にチェックできることをコメントするにとどめておく.
では N = 2 SU (2) Yang-Mills のブレイン構成を用いて Gaiotto 曲線を特定してみよう. 水平方向（t 座標）、垂直方向（v 座標）の断面はそれぞれ二回ブレインと交わるので、対応する M 5 ブレイン
配位を表す方程式は、t と v 双方の二次多項式で与えられる:

c0 t2 + c1 t(v 2 − 2u) + c2 = 0.

3

これは研究会「From Sigma Models to Four-dimensional QFT」で紹介された、Drukker によるネーミングである.

41

Soryushiron Kenkyu

係数と物理パラメータの関係は Λ4 = c2 c0 /c21 と Seiberg-Witten 微分 λ = vdt/t により決まっている[29]. この M 理論曲線を適当にリスケールすると、よく知られた Seiberg-Witten 曲線の標準形が現れる

v 2 − Λ2 z − 2u −

Λ2
= 0.
z

(4.60)√
さて Seiberg-Witten 曲線の Gaiotto 表示とは、Seiberg-Witten 微分が λ = vdz/z = φ2 (z)dz であるのに対し曲線が x2 = φ2 (z) となる表示であった. したがってこの結果より直ちに SU (2) Yang-Mills理論の曲線が定まる:
φ2 (z) =Λ2 2u Λ2
+ 2 +
.
z3
z
z

(4.61)√
コンパクト化に付随する二次微分 φ2 (z) (dz)2 を考えると、これは z = −u/Λ2 ± (u/Λ2 )2 − 1 に零点を持ち、z = 0, ∞ に 3 次の特異性を持つリーマン球面を定めている. これまで考えてきた Nf = 4
理論ではパンクチャーの留数に質量パラメータが対応していたが、今の場合はダイナミカルスケールが付随していることに注意する. これは極限 (4.59) によって質量が Λ に転化したためである.

図 20: 漸近自由極限 q → 0 と非正則特異性.
このようにフレーバーを取り除く極限操作をすると、Gaiotto 曲線では各フレーバーに対応した
regular なパンクチャー同士がぶつかり合う. 図 20 を見ると、漸近自由極限 q → 0 をとることで二つのパンツをつなぐチューブが細くなり、無限に長いシリンダーへと退化することが分かる. このリーマン面は、二つパンクチャーを持った球面に共形同値である. このように漸近自由理論への極限の下で、tame な特異性たちから wild な特異性、すなわち irregular singularity が生じることがわかる.
したがって super Yang-Mills 理論の Gaiotto 曲線は、リーマン球面に二つの irregular singularity が付け加わったものと考えられる. AGT 対応がこの場合にも存在すると仮定すると、図 21 のように非正則特異性に対応して、ある状態 |Gi を与えることが出来る.
そして非正則パンクチャー z = 0, ∞ がある状態 |Gi に対応しているとき、共形場理論には図 21 に対応して hG|Giで定められる相関関数が存在すると期待される. これを非正則共形ブロック（irregular conformal block）と呼ぶ [10]. ではこの具体形を推定することにしよう. そのためには二次元のエネルギーストレステンソルは Gaiotto
図 21: 非正則特異性と Gaiotto 状態.
二次微分に対応していたことを思い出せば良い:

h T (z)∏

Vi (zi ) i ' φ2 (z) hi∏

Vi (zi ) i.

(4.62)i

ただし重力光子を含まない φ2 を見積もるためには準古典極限（ゲージ理論極限）1,2 << a, m をとる必要がある. さて通常の共形ブロックにおいては、各パンクチャーには共形場理論の頂点演算子 V (z)が対応していた. では非正則パンクチャーに対応する場、あるいは状態 |Gi はどのようなものであろ42

Soryushiron Kenkyu

うか? これを知るために AGT 対応 (4.62) が Gaiotto 曲線 (4.61) と整合的であるための条件を考えて∑みよう. つまり T (z) =Ln z −n−2 を非正則共形ブロック hG|Gi へ挿入したとき、準古典極限において Gaiotto 二次微分 (4.61) が再現されねばならない:()
L1 L0 L−1
+ · · · | G i → φ2 (z)h G | G i.
h G | T (z) | G i = h G | · · · + 3 + 2 +(4.63)zzz
これを (4.61) と比べると自然な条件として、L1 |Gi = Λ2 |Gi と Ln≥2 |Gi = 0 が考えられる. そこで残る問題は

h G |L0 | G i
→ 2u
hG|Gi

as

1,2 << a.

(4.64)となるための条件を課すことである. この部分については込み入ったカラクリが仕掛けられているため、天下り的になってしまうが、ここでは「状態 |Gi は Verma 加群 V∆ の中の状態である」、という条件を課すことにする. この設定から (4.64) が再現される仕組みはもう少し後で明らかになる.
そこで状態 |Gi を、次の条件を満たす Verma 加群 V∆ の中の状態 |Gi = |∆i + c1 L−1 |∆i + · · · ∈ V∆
であると定義してみよう:

L1 | G i = Λ2 | G i,

Ln | G i = 0

for n ≥ 2.

(4.65)

この状態を Gaiotto 状態、あるいは Whitakker ベクトルと呼ぶ. Gaiotto 状態を Verma 加群の基底で展開したと考え、その不定係数 c1 , · · · を条件 (4.65) によって帰納的に決定してゆけば、次の結果を得る:| G i = |∆i +Λ4
Λ2
L−1 |∆i +((c + 8∆)L2−1 − 12∆L−2 )|∆i + · · · .
2∆4∆(2c∆ + c + 16∆2 − 10∆)
(4.66)

これが irregular な特異性に対応する状態であるから、その内積は “irregular な”共形ブロックと見なすのが自然である. AGT 予想の考え方に従えば、共形ブロックは Nekrasov 分配関数に一致すると期待される. このアイデアに基づき、Gaiotto は次の性質を発見した:

Gaiotto 予想 [10]図 21 に対応した非正則共形ブロックは、SU (2) pure Yang-Mills 理論の Nekrasov 分配関数に一致する:
pure SU (2)h G | G i = Z inst

(4.67)

ただしパラメータ間の同一視は、元の AGT 予想と同じ関係式を用いる.

式 (4.66) の用に計算した Gaiotto 状態の表示を使うと、インスタントン展開の下のいくつかの次数までこの予想をチェックすることが出来る. レベル 2 までについては、左辺は Gaiotto ベクトル (4.66)
から簡単に計算でき、右辺もすでに (3.28) に与えてある. したがって具体的なチェックは読者の皆さんの演習に残しておくことにする. 実際に手を動かして計算してみると分かるのであるが、この一致もまた非常に非自明である. 特に Nekrasov 公式の側はヤング図に対する和であるので、各インスタ
ントン数に寄与する有理式をすべて足し上げ通分して初めて Gaiotto 状態側と同じ結果があらわれる.
その際、Nekrasov 公式の分母に Kac 行列式があらわれることも非常に不思議な結果である.

43

Soryushiron Kenkyu

Gaiotto 状態をインスタントン展開の形
|Gi =

∞
∑

Λ2n |∆, ni(4.68)

n=0

で考えてみよう. ただし |∆, ni はレベル n のベクトル L0 |∆, ni = (∆ + n)|∆, ni である. この anzats
が条件 (4.65) と整合的であることはすぐにチェックできる4 . |∆, ni は Gaiotto 状態を張るベクトルたちの中から、一定のウエイトを持つものを抜き出してきたものにすぎない. しかしながらこのベクトルは Virasoro 代数の表現の言葉により奇麗に表されることが分かっている. 具体的には、Marshakov、Mironov および Morozov[35] によって次の重要な表示が与えられた:

Gaiotto 状態の表示 [35]|∆, ni =∑−1G∆([1n ]; Y ) L−Y |∆i.

(4.69)|Y |=n

これが Gaiotto 状態の条件 (4.65) をみたすことは [35] で示されている. この証明を簡単に紹介しよう. 式 (4.69) を認めると Gaiotto 状態は| G MMM i =

∞
∑

=

−1
G∆
([1n ]; Y ) L−Y |∆i|Y |=n

n=0

∑

∑

Λ2n
Λ

2|Y |

−1
G∆
([1n ]; Y ) L−Y |∆i,(4.70)

Yと表されることになる. この状態はh∆|LW | G MMM i =∑−1
Λ2|Y | G∆([1n ]; Y ) G∆ (Y ; W )

Y
2|W |

=Λ

δW,[1|W | ] ,(4.71)という性質を満たす. LY Lk>0 をVirasoro 代数の交換関係を用いてヤング図の順序に並び替えたとき、∑(k)
LY Lk = Y 0 CY,Y 0 LY 0 となるとおく. すると |GMMM i とディセンダントの内積はh∆, Y |Lk | G MMM i =
=

∑
Y0
∞
∑

(k)

CY,Y 0 h∆|LY 0 | G MMM i(k)

CY,[1n ] Λ2n ,(4.72)

n=0と書き換えられる. ただし最後の行への変形で (4.71) を用い、|Y 0 | = n とした. ここで定義と Virasoro(k)
代数より、CY,Y 0 はヤング図の箱数と長さが |Y 0 | = |Y | + k と d(Y 0 ) ≤ d(Y ) + 1 を満たすときのみ非零である. そこで Y 0 = [1n ] の場合を考えてみる. すると CY,[1n ] がゼロでない Y は n = |Y | + k かつn ≤ d(Y ) + 1 を満たすものだから、Y = [1n−1 ] だけしか無い. これは k = 1 の時のみ可能である. し(1)
たがって C[1n−1 ],[1n ] = 1 からの寄与のみがあるから(k)h∆, Y |Lk | G MMM i = δk,1 δY,[1n−1 ] Λ2n ,
4(4.73)

L1 はベクトルのレベルを一つ下げるので、(4.65) の一つ目の条件より、|∆, ni の係数は Λ2n に比例しなくてはならな

い.

44

Soryushiron Kenkyuを意味する. これより Lk≥1 |G MMM i = 0 は直ちに従う. そこで L1 |G MMM i =いう様に、Verma 加群の基底で展開してみよう. すると

δY,[1n−1 ] Λ2n = h∆, Y |L1 | G MMM i =∑cY 0 G∆ (Y, Y 0 ),∑Y cY |∆, Y i ∈ V∆ と(4.74)

Y0−1
より cY = G∆
(Y, [1n ])Λ2n+2 を得る. したがって |G MMM i はコヒーレント状態条件 (4.65) を満たすことになる. つまり |G MMM i = |Gi である（状態の一意性は自明）. 証明終わり
さて、先ほど途中で議論が中断していた (4.64) の問題について立ち返ろう. インスタントン展開(4.68) より
(
)
1 ∂
hG|Gi
h G |L0 | G i = ∆ + Λ2 ∂Λ)(
1 2 ∂
(1 + 2 )2
2
−a +
Λ
hG|Gi
(4.75)=
42∂Λ

√が従うことはすぐに分かる. ただしゲージ理論と比べるために、最後の行では ~ = 1 2 によって質量次元を復元した. ここで Gaiotto 予想 hG|Gi = exp(−Finst (a, Λ)/1 2 + · · · ) を認めることにす
ると、
lim1,2 →0

1 ∂Finst (a, Λ)h G |L0 | G i∝ a2 +
hG|Gi2∂Λ

(4.76)

Seiberg-Witten 理論において発見された Matone 関係式 [36, 37, 38] を用いると、右辺はクーロンモ
ジュライ u にほかならない. このように AGT 関係において、クーロンモジュライの現れ方は非常に非自明で興味深い. そのような側面に関心のある読者には、文献 [39] を参照することをお勧めしたい.
Marshakov らの表示を用いると、漸近自由 AGT 予想は次の形にまとまる:
Gaiotto 予想の別表示 [35]
pure
Zinst
(α, Λ; b) =∑−1
Λ4n G∆([1n ]; [1n ]).

(4.77)

n

この表示に書き直すには Verma 加群の基底 L−Y |∆i の内積が成す Gram 行列がブロック対角な G∆であったことを思い出せば良い.
Marshakov らの論文 [35] においてはさらに重要なことが証明されている. それは Nf = 4 ゲージ理論に対する AGT 関係式にデカップリング極限 (4.59) を適用することで、漸近自由 AGT 予想(4.77) が導かれる、ということである. この結果を示すためのカギは、∆f  ∆ 極限における三点関数 R の漸近的振る舞いである:

∏

d(Y )

R 12α (Y ) ∼(Yi ∆1 − ∆2 ).

(4.78)

i=1|Y | = n を固定したとき、この因子のうちで ∼ (∆1 − ∆2 )n のものが一番効く. これは Y = [1n ] の形のヤング図に対応する. したがって球面の四点共形ブロックを漸近自由極限で評価すると、次の有限45

Soryushiron Kenkyuの値が残る:∑−1(Y, Y 0 ) R 34α (Y 0 )q |Y | R 12α (Y ) G∆
(
)
(
)
∑
−1
n/2
n
n
n
n/2
n
= lim
q (∆1 − ∆2 ) G∆ ([1 ], [1 ]) q (∆3 − ∆4 )∑−1=
Λ4n G∆([1n ], [1n ]).

lim(4.79)nただしデカップリング極限では lim q 2 ∆1 ∆2 ∆3 ∆4 = Λ8 であることに注意する. この結果は、非正則共形ブロックの Marshakov-Mironov-Morozov による表式にほかならない.
以上はハイパー多重項を含まない pure Yang-Mills 理論に対する AGT 予想の話であった. 基本表
現フレーバー数が Nf = 1, 2 のときも、やはり Gaiotto 曲線の議論から非正則共形ブロックが定まると推察される. そこで φ2 (z) とエネルギーテンソルの比較を繰り返すことで、次のような Gaiotto 状態を定義するのが自然である:

L1 | G, mi = −2mΛ| G, mi,

L2 | G, mi = −Λ2 | G, mi.

(4.80)

ただしこれ以上高いレベルの Virasoro 生成子に対しては Ln≥3 | G, mi = 0 である. またここに現れる
m は、ゲージ理論のハイパー多重項の質量に対応することになるパラメータである. この Gaiotto 状
態と先ほど定義した |Gi を用いることで二つのタイプの非正則共形ブロックが定まるが、これらはフレーバー数が Nf = 1, 2 の SU (2) ゲージ理論の Nekrasov 分配関数に一致する:
基本表現フレーバーが入った場合の Gaiotto 予想
フレーバー Nf = 1, 2 の Nekrasov 分配関数は、次の非正則共形ブロックと一致する:
N =1

f
Z inst(α, m, Λ; b) = h G, m| G (Λ2 → Λ2 /2)i,(4.81)

Nf =2
Z inst(α, m1 , m2 , Λ; b) = h G, m2 | G, m1 i.

(4.82)

この予想もまた Virasoro 代数の表現のコトバにより表すことが出来る [35] が、その詳細については省略する.
以上、Gaiotto 予想について説明した. これまで Gaiotto「予想」と表現してきたが、実は Nf = 0, 1, 2の SU (2) ゲージ理論に対しては数理的な手法により証明がなされている. この話題については最後の章で触れることにする.
この漸近自由ゲージ理論の AGT 予想は SU (2) ゲージ群に対するものであった. そこでほかのゲージ群に対してもこのようなシンプルな関係が成立しているか否かを調べることも面白い. SU (N ) ゲー
ジ群については、拡張のアイデアは筆者らによって与えられた. 特に SU (3) super Yang-Mills 理論に対しては、W3 -代数の表現論により非正則共形ブロックが具体的に構成され、拡張された AGT 関係が発見されている [40]. ちなみに現時点において、こちらの予想は未だ証明されていない.

5

AGT 予想における非局所演算子

この節では N = 2 ゲージ理論における非局所演算子を、AGT 対応の観点から考察しよう. ゲージ理論における代表的な非局所演算子として、Wilson のループ演算子[ I]
WR (L) = TrR P exp g (iA + Re(φ) ds)
(5.1)
L

46

Soryushiron Kenkyu

図 22: 線演算子 L、表面演算子 S と Gaiotto 曲線 C.
が上げられる. ここで L は時空中の閉曲線で、R は Wilson ループ演算子をラベルする表現である. さらに Wilson 演算子以外にも、その磁気的な類似物である’t Hooft 演算子や、二次元的な広がりを持
つ表面演算子についても考えてゆくことにする.
Gaiotto による M 理論構成の観点から述べると、これら非局所演算子はすべて M2 ブレインに由来
する. 開いた M2 ブレインは、ゲージ理論を実現している M5 ブレイン上に境界を持つことが出来る.
6 次元 (2, 0) 理論において、M2 ブレインの境界が作り出すストリング的な物体が、非局所演算子を生み出すのである. ただし今はこの 6 次元理論を R4 × C へコンパクト化することを考えている. したがって線演算子と表面演算子の違いは、M2 ブレインの世界体積が時空中に何次元で広がっているのかの差異そのものである.
このように (2, 0) 理論の観点から考えると、表面演算子を M 理論において実現するためには、R4にのびたストリングが C の中ではどの点に置かれているのかを指定しなければならない. したがって表面演算子は Gaiotto 曲線 C 上の点でラベルされると予想される（図 22）. 同様に線演算子を指定するラベルは Gaiotto 曲線 C 上の 1-サイクルであることが予想される. つまり非局所演算子たちも 2
次元的に自然に理解されるのである. では AGT 対応はこれら演算子についても拡張されるのであろうか? 本節ではこの話題について扱うことにしよう.

5.1

ループ演算子と非自己交差サイクル

SU (2) ゲージ理論においては、ゲージ群の表現は半整数スピン j のみでラベルされる. スピン j 表
現に対する整数電荷 q = 2j を定義しておく. Pestun の計算によると、SU (2) ゲージ理論のスピン j表現の Wilson ループの期待値は、Nekrasov 公式に
Wj (a) = tr Rj (e4πibaT

(3)

)=

j
∑

e2πbpa ,

(5.2)

p=−j

をかけたもので与えられる：W(L) · F = Wj F. つまり Nekrasov のインスタントン分配関数は、
Wilson ループ演算子の固有関数になっている [30].
さて、Wilson ループ演算子には’t Hooft 演算子と呼ばれる磁気的な類似物がある. Wilson 演算子
では試験電荷を、ゲージ場に結合させて得られた. 大雑把に言うと、’t Hooft 演算子はこの Wilson
演算子の構成をモノポールに置き換えたものである. したがって’t Hooft 演算子は欠陥演算子の一種
で、ループ γ 付近におけるゲージ場の振る舞いにモノポール的な特異性を与えるものである. 正確に定義する為に、経路積分において定式化しよう. すると’t Hooft ループ演算子を挿入することは経路47

Soryushiron Kenkyu

積分を、ループに沿って特異性を持つ場の配位にわたり考えることを意味する:
(
)
1
p/2
0
A=
(1 − cos θ)dψ + O(1/r),
2g
0 −p/2
(
)
1
p/2
0
φ=
+ O(1).
2gir
0 −p/2

(5.3)
(5.4)

ただし (r, θ, ψ) は、’t Hooft 演算子の世界線に直行する 3 次元空間の局所球面座標である. この背景
場から Dirac ストリングが生じるので、Dirac 量子化条件により p/2 ∈ Z でなければならないことが分かる.
さらにこのような’t Hooft ループ背景中で Wilson ループ演算子を定めると、ダイオン的なループ演算子も定義できる. これを Wilson-’t Hooft ループ演算子と呼ぶ. したがって、Wilson-’t Hooft
演算子は電磁荷 (p, q) でラベルされる. ただし Weyl 群の作用 (p, q) ∼ (−p, −q) の下で同一視される
ので、p は非負にとることが出来る.
さてこれらループ演算子は、幾何学的にはどのように解釈されるのだろうか? そこでまず Gaiotto 曲線を思い出すことにする. 4-フレーバ SU (2) ゲージ理論には、図 23 のような 4-パンクチャー付きの球面が対応していた. じつはループ演算子は、
この Gaiotto 複素曲線（Riemann 面）上の非自己交差曲線のホモトピー類と対応しているのである [11]. それを理解する
為に、まず図 23 のようにサイクル γ と δ を導入する. ここでγ は、ゲージ理論の弱結合における記述でつぶれてゆくサイク
図 23: 4-フレーバ SU (2) ゲージ理論
ルに対応している. つまり Gaiotto の構成においてパンツ分解に対する Gaiotto 曲線.
を行う際に、切り開くのに用いているサイクルが γ である.

図 24: 最小’tHooft ループ演算子 (p, q) = (2, 0) と、サイクル γ に沿った Dehn ツイストを 2 回施して得られる Wilson-’tHooft ループ演算子 (p, q) = (2, 2).
図 23 の Riemann 面上おいて非自己交差曲線を分類してみよう. Dehn の定理によると、以下で説明する手順により与えられる (p, q) を用いるとすべてのホモトピー類を分類することが出来る [11]: まずサイクル γ に (p, q) = (0, 1) を対応させ、γ のコピーを q 個用意したものが (0, q) である. そして例
えば (2, q) は、サイクル δ は (p, q) = (2, 0) に、γ に沿って q 回 Dehn ひねり5 を加えて得られるサイクルである（図 24）. このように与えられる非自己交差曲線のホモトピー類のラベル (p, q) は、ループ演算子をラベルする電磁荷に他ならないのである.
このように定めた p, 2|q| は、非自己交差曲線とサイクル γ, δ の交差数である. S-デュアリティの作用（Moore-Seiberg groupoid）の下で γ と δ の役割が入れ替わるので、このラベル (p, q) に対しては
(
p)
(5.5)
(p, q) →2q, − ,
2
5

ここでは γ に沿って曲面を切り開き、ループの断面パターンを q 回分シフトさせて張り合わせ直す操作を意味する.

48

Soryushiron Kenkyuと働くことがすぐに見て取れる（q > 0 とした）. 実はこれは、Kapstin が与えたループ演算子に対する S-デュアリティの作用を再現している [41].

図 25: Wilson-’tHooft 演算子 (2, 1) と、その S-デュアル (2, −1).
簡単な例で考えてみよう. Wilson-’tHooft 演算子 (2, 1) に S-デュアリティを作用させる. この場合、変換ルール (5.5) は (2, 1) → (2, −1) を意味する. 図 25 のように変換前後のループ演算子を図示してみると、これは確かに Gaiotto 曲線を 90 度回転させて移りあう非自己交差曲線のペアである.
ここではループ演算子の幾何学的解釈を、初等的な例で説明した. このアイデアはもっと複雑なゲージ理論に対しても働き、ループ演算子と Gaiotto 曲線上の非自己交差曲線のあいだに美しいマップがあることが分かっている [11]. ただしフレーバーを落として漸近自由なゲージ理論を考えた場合には、この対応関係は幾分込み入ったものとなる [42].

5.2

基本表面演算子とそのモノドロミー

次に N = 2 ゲージ理論における half-BPS 表面演算子 surface operator を考えてみよう. この演算子は時空中の二次元面に広がりをもつ欠陥演算子の一種であり、ここでは世界体積上において二次元 N = (2, 2) 超対称性が保たれているようなものを扱うことにする. このような演算子は、
Wilson-’tHooft ループの自然な拡張であるにもかかわらず、永らく集中的に研究されることは無かった. ところが最近になって、いわゆる幾何学的 Langland 予想の N = 4 ゲージ理論による解釈において重要な役割を担うことが明らかになるなど、様々な興味から精力的に研究されはじめている. AGT
予想もまた、表面演算子が活躍する舞台の一つである.
Gukov と Witten の議論に従い、U V における表面演算子を、その挿入位置付近においてゲージ群
を部分群に破り、さらにゲージ場に特異性を発生させるもの、として定義しよう. このような表面演算子は、ゲージ群 G = SU (N ) をいかに破るか、という情報によって分類することが出来る [43].
そこで点 x2 = x3 = 0 上の x0,1 -平面に表面演算子を入れることにする. 直行する平面の極座標をreiθ := x2 + ix3 ととる. すると表面演算子の存在はゲージ場に特異性を生じさせる:A = iαdθ + · · · .

(5.6)

ただし、α はゲージ群 G の最大トーラス T = U (1)N −1 のリー代数を t に値をとる

α = diag(α1 , α2 , · · · , αN ) ∈ t,

α1 ≥ α2 ≥ · · · ≥ αN .

(5.7)

ただしゲージ変換の自由度をもちいて αi を並べ直した. これら αi たちは等しい値をとることが出来るので、この配位と交換するゲージ群 G の部分群は一般に Levi 部分群S(U (N1 ) × · · · × U (Nn )) ⊂ Gである. つまり表面演算子上では、ゲージ群は Levi 部分群までに破られていることになる.
つまりこの half-BPS 表面演算子を分類するのは、Levi 部分群 S(U (N1 ) × · · · × U (Nn )) ⊂ G である:

G −→ L ⊂ G.
49

(5.8)

Soryushiron Kenkyu

Levi 部分群 L の最も代表的な取り方は、準最大 L = SU (N − 1) × U (1) と、最小 L = U (1)N −1 の二つがある. 部分群 L = SU (N −1)×U (1) に対応する演算子は、基本表面演算子（simple（elementary）
surface operator）と呼ばれる. 一方 L = U (1)N −1 に対応するものは、完全表面演算子（full surface
operator）と呼ばれる. これらの呼称は、4 章におけるパンクチャーの分類と関係している. [12] に従い、ここでは SU (2) ゲージ理論における基本表面演算子を調べることにしよう.
磁気的なパラメータ α に加えて、経路積分中に位相因子∫
FU (1),(5.9)
exp(iη · m), m =S 2πとして現れる電気的なパラメータ η も存在する. ここで FU (1) は、表面演算子上にあらわれる可換ゲージ因子の場の強さであり、m はモノポール数と呼ばれる. そしてこれらを組み合わせた t = η + τ α をGukov-Witten の FI パラメータと呼ぶ. これらを用いて、2 次元インスタントン因子 z = eit を定義
しておこう. 数学的には、表面演算子がある場合の Nekrasov 分配関数は
∫
∞ ∑
∑
k m
Ψ(z) =q z
1 1,2 ,(5.10)
MN,k,mk=0 mと与えられると予想される. ここで MN,k,m は、インスタントン数 k 、モノポール数 m の（ラミファ
イされた）インスタントン解のモジュライ空間である. したがってこの定義は、ゲージ場の配位に(5.6) という境界条件を付けた場合に対する、Nekrasov 関数の自然な拡張になっている.
基本表面演算子に関して、Alday らは次の予想を与えた:

AGGTV 予想[12]Gaiotto 曲線上の点 z ∈ C により指定される基本表面演算子を考える. この真空期待値は、考えているゲージ理論に対応した Liouville 理論の相関関数に、退化場 Φ2,1 (z) = e−bφ(z)/2 を挿入したものに一致する.
ただし、ゲージ理論を R4 上で考えているときはカイラル共形ブロックに、S 4 上で考えているときは物理的相関関数に挿入するものとする. 元々の相関関数は b ↔ 1/b 下で不変であった. そこに挿入する退化場を Φ2,1 (z) = e−bφ(z)/2 、Φ1,2 (z) = e−φ(z)/2b のいずれにとるかは、表面演算子が時空
R4 ' C × C のうちどちらの平面に挿入されたのかに対応して決まる.
この予想は、いくつかの角度からチェックされている. その一つとして、幾何工学の方法（6 章）をもちいて、Type II 型開弦理論の有効作用と比較する研究がなされている [44, 45, 46, 47]. また数学的なチェックとして、分配関数 (5.10) を局所化の方法で計算し、それを共形ブロックと比較する研究も進んでいる.
表面演算子とループ演算子
さて、上で議論した表面演算子はそれ自身で興味深い対象であるが、実はループ演算子を考察する為の強力なツールともなるのである. そのことを理解する為の道具立てとして、2 次元 N = (2, 2)理論における線演算子の性質についてまとめておこう [12]. この理論における half-BPS 線演算子は、理論のマージナル変形として作り出すことが出来る. ただしこのマージナルな結合定数は、ある範囲
x1 ∈ [−L, L] において t(x1 ) と変化するものとする. すると低エネルギーに行くと、スケールは L → 0となるので、結合定数は x1 = 0 において不連続な振る舞いをすると見なせる. したがってこのような線演算子は、結合定数の空間中の経路に関するホモトピー類によって分類される.
表面演算子上の線演算子を考える. 表面演算子はゲージ群をこわすので、破れた後の U (1) ゲージ群因子に対して Wilson-’tHooft 演算子を考えることが出来るのである. するとこの線演算子を境目として、50

Soryushiron Kenkyu

二種類の表面演算子を共存させることが出来る（図 26）.
UV において表面演算子は Gaiotto 曲線上の一点 z ∈ C
でラベルされたので、その上の線演算子は C 上の経路のホモトピー類で指定されることになる. ここでは一種類の表面演算子しかあらわれない場合のみを考えてゆく
図 26: 表面演算子上の線演算子. t と t0 はので、閉曲線で分類されるものに関心を集中させよう.
それぞれ z, z 0 に対応した表面演算子をラベ（IR において表面演算子は Seiberg-Witten 曲線 Σ 上のルする.
点により指定された. したがって IR の観点からは、線演
算子は Seiberg-Witten 曲線 Σ 上の閉曲線のホモロジー
類で分類される.）
フュージョンとブレイディング
以上の議論を踏まえて、表面演算子上に作用している線演算子について調べよう. ポイントとなる
事実は、線演算子が C 上のループで指定される、ということである. そしてこの閉曲線の始・終点となる z ∈ C は、この線演算子が束縛されているところの表面演算子のラベルである.
ここで AGGTV 対応を思い出すと、このような線演算子は表面演算子の分配関数（つまり退化場を挿入した共形ブロック）に対するモノドロミー的操作で得られる、と期待される. というのも共形
場理論の相関関数は演算子の挿入位置に関して一価関数であるが、共形ブロックは多価関数となる.
つまりモノドロミーは考察の対象として自然であり、ループに沿ったモノドロミーが、ループに対応
する線演算子を与えると予想できるからである. この予想は実際に正しいのであるが、これを理解する為に共形ブロックのフュージョンとブレイディングについて簡単に説明する.
球面上の四点関数を考える. ただしプライマリー場四つのうち、一つは退化場にとる. このような共形ブロックは超幾何微分方程式を満たすことが分かる. Gauss の超幾何関数は、|z| < 1 において級
数表示
2 F1 (α, β, γ; z) =∞∑α(α + 1) · · · (α + n − 1)β(β + 1) · · · (β + n − 1)
n=0

γ(γ + 1) · · · (γ + n − 1)zn,

(5.11)

で与えられた. この関数は確定特異点 z = 0, 1, ∞ を持つ 2 階の超幾何微分方程式

z(1 − z)d2 F (z)dF (z)− αβF (z) = 0+ (γ − (1 + α + β)z)2dz
dz

(5.12)の解である. 当然ながら、実際はこの微分方程式にはもう一つの解がり、独立な解は

F = 2 F1 (α, β, γ; z), z 1−γ 2 F1 (1 − γ + α, 1 − γ + β, 2 − γ; z),(5.13)であることが分かる. この二つが z = 0 近くにおける解の基底を与えているのである.
超幾何微分方程式の二つの解の存在は、Φ2,1 (z) = V−b/2 (z) を挿入した 4 点共形ブロックには二種類あるということ意味している. この理由は、プライマリー場の満たす退化フュージョン則という性質[V −b/2 ] × [V α ] = [V α−b/2 ] + [V α+b/2 ].

(5.14)

によって理解できる. この性質は、Φ2,1 を挿入した場合は退化場に隣接する中間状態の運動量は α+b/2
か α − b/2 の二つの値だけを走る、ということを言っている. つまり共形ブロックとして、この ± に対応した二つのみが可能であり、これが超幾何微分方程式の二つの解に他ならないのである. Liouville
場の理論のような非有理型の CFT においては、プライマリー場は連続スペクトルを持っていた. した51

Soryushiron Kenkyu

図 27: 4 点共形ブロックのフュージョン（右）とブレイディング（左）.
がってある意味で「有限の理論」ではなく、演算子代数にこのような単純化は起らなかった. しかし
退化場を挿入することで、あたかも有理型 CFT の共形ブロックのような扱いが可能になるのである.
その為に以下で見るようなモノドロミー的な議論が well-defined に行うことが出来るのである. さて今議論している二つの共形ブロックの具体形は、フュージョンで生じる二つの中間状態 α ± b/2 それぞれに対応してF s+ (z) =z α1 b (1 − z)α3 b
× 2 F1 ((−α1 + α3 − α4 − b/2 + Q) b, (−α1 + α3 + α4 − b/2) b, (2α1 − b + 2Q) b; z)
F s− (z) =z (Q−α1 )b (1 − z)α3 b
× 2 F1 ((α1 + α3 + α4 − b/2 − Q) b, (α1 + α3 − α4 − b/2) b, (2α1 − b) b; z)で与えられる. この添字 s の表す s-チャンネルは、z の値が 0 に近い時の共形ブロックのフレームをとるという意味である. F s± の導出に関する詳細は、たいていの教科書で詳しい説明が与えられているのでここでは繰り返さないことにする.
さてこの共形ブロックを、収束半径 |z| < 1 を超えて解析接続してゆく時に起るのがモノドロミー現象であった. 例えば z = 1 に近づけてゆくことを考えてみよう. 超幾何微分方程式 (5.12) においてz → 1 + z としたものも、本質的には同じ形の微分方程式になる. したがって z = 1 近くにおいて収束する級数表示は
2 F1 (α, β, α + β − γ; 1 − z), (1 − z)

−α−β+γ2 F1 (γ − α, γ − β, −α − β + γ + 1; 1 − z),(5.15)と超幾何関数で与えられ、z = ∞ における解についてもまったく同様に議論できる. そこで基底 (5.13)の線形結合で表されている微分方程式 (5.12) のある解を、z = 1 近くへ接続することを考えてみよう.
そこでの自然な基底は (5.15) であったから、これらの線形結合で書き直されることになる:
2 F1 (α, β, γ; z) =+Γ(γ) Γ(−α − β + γ)
2 F1 (α, β, α + β − γ; 1 − z)Γ(−α + γ−) Γ(−β + γ−)
Γ(γ) Γ(α + β − γ)
(1 − z)−α−β+γ 2 F1 (γ − α, γ − β, −α − β + γ + 1; 1 − z). (5.16)
Γ(α) Γ(β)

z = ∞ 近くの解へ接続する際も、同様の公式が得られる. これら接続公式に従って解が解析接続されることにより、超幾何関数の多価性、つまりモノドロミーが発生する. というのも、解を非可縮なループに沿って解析接続してみると、スタート地点に帰って来ても元の関数には戻らずに、解がモノ
ドロミー行列による線形変換を受けるからである.
これを共形ブロックのコトバに焼き直すと、s-チャンネルのブロックを t-チャンネルへ動かすとフュージョン行列 F±± により変換されるということが分かる:
∑
[
] t
α3
F sα (z) =Fαα0 −b/2(5.17)
α1 α4 F α0 (z).
α0 =±

52

Soryushiron Kenkyu

この係数行列の具体的な形は、後で与えることにする. フュージョンは z を 0 近傍から 1 の近くへ動かす移動であり、図 27 の右側の移動に対応している. さらに z を 0 近傍から ∞（u-チャンネル）へ移動させる操作もあり、これはブレイディングと呼ばれる. フュージョンとブレイディングを繰り返す
ことで、共形ブロックにおいて退化場の挿入点 z を球面上で動かしてゆくことが出来る. その結果、移動経路に沿ったホモトピー類のモノドロミー表現の分だけ共形ブロックはモノドロミー変換を受けるのである. そしてこのモノドロミーこそがゲージ理論の線演算子に対応するのである.
線演算子の AGT 対応を議論する前に、もう少し共形場理論の議論を続けよう. 以上で議論してきた Riemann 面のパンツ分解に対する操作は、Moore-Seiberg groupoid として知られる変換操作である. そしてこの作用は、一般の Liouville 共形ブロック上にも作用することが知られている. そして Moore-Seiberg groupoid を生成するのがフュージョンとブレイディングという基本移動の作用である6 . それらの共形ブロックへの作用をまとめておこう.

• フュージョン移動
=

∑

[
]
Fαα0 αα21 αα34.

(5.18)

α0• ブレイディング移動= Ω  αα12 ,α3.

(5.19)

 = ±1 はブレイディングの向きを表す. このツイストの操作が与える位相因子はΩ  αα21,α3 = e−iπ(∆α1 −∆α2 −∆α3 ) ,(5.20)

で与えられる. これを用いて次の量も定義しておく:=∑[ α2 α3 ]

B αα
0 α α
1 4

.

(5.21)α0

一般にはこれら Liouville フュージョン係数を求めるには、これら変換の満たすべき整合条件に由来する関数方程式を解かねばならない. Liouville 理論の場合、この作業を遂行することは不可能ではないがとても込み入ったものとなる7 . しかし超幾何関数の接続公式の項で議論したように、挿入している場の一つが退化場であるときは簡単に求まるのである. α2 = −b/2 の場合は、フュージョン行
列の添字は α, α0 = ± の二つのみを走ることが出来た. そしてフュージョン係数の値は[]
α3
F−− −b/2
α1 α4 =

Γ((2α1 − b)b) Γ((Q − 2α3 )b),Γ((α1 − α3 − α4 + b/2)b + 1) Γ((α1 − α3 + α4 − b/2)b)(5.22)[]
α3
F−+ −b/2
α1 α4 =

Γ((2α1 − b)b) Γ((−Q + 2α3 )b),Γ((α1 + α3 + α4 − b/2 − Q)b) Γ((α1 + α3 − α4 − b/2)b)(5.23)[]
α3
F+− −b/2
α1 α4 =

Γ((−2α1 + Q)b + 1) Γ((Q − 2α3 )b),Γ(−(α1 + α3 + α4 − b/2 − Q)b + 1) Γ(−(α1 + α3 − α4 − b/2)b + 1)

(5.24)[]
α3
F++ −b/2
α1 α4 =

Γ((−2α1 + Q)b + 1) Γ((−Q + 2α3 )b),Γ((−α1 + α3 + α4 + b/2)b + 1) Γ((−α1 + α3 + α4 − b/2)b)(5.25)

6

一般の種数の Riemann 面に対しては、加えて S-移動という変形も存在する. しかしここでは省略する.
多くの有理型 CFT については、この解は昔からよく知られている. Liouville 理論に対する Moore-Seiberg 整合性条
件も、汎関数関係式ではあるが、量子群 Uq (sl(2, R) の表現の Racah 係数を用いることで解かれている [48].
753

Soryushiron Kenkyu

図 28: 表面演算子上に Wilson ループを生成する操作.
である. これらは、超幾何関数の接続公式から簡単に求めることが出来る.
ではこれらの演算を用いて、表面演算子を生成してみよう. ここでは簡単のために、SU (2) Nf = 4
SQCD の例を扱おう. AGGTV 対応によると、このゲージ理論に表面演算子を挿入した系には、退化場の挿入された共形ブロックが付随していた. この五点の退化共形ブロックを図 28 の左端に図示した. 灰色の線が、Φ2,1 (z) の挿入を表している. そこで、このブロックから基本 Wilson ループを計算してみよう. 前節で見た Drukker-Morrison-Okuda の辞書によると、Wilson ループに対応しているのは、A-サイクル周りのモノドロミーである. したがって図 28 の操作から、基本表面演算子に束縛された基本 Wilson ループは

W = F Ω2 F,(5.26)

によって与えられる.
同じように B-サイクルに関して計算すると、最小 ‘t Hooft ループはH = ΩF δF Ω2 F δF Ω,(5.27)と表すことが出来る.
さて以上では、退化場として Φ2,1 を用いてモノドロミーを考えた. しかしこの退化場に限らず、高いレベルにある退化場 Φ2j+1,1 を用いても類似の計算は行うことが出来る. ではこれから計算される
モノドロミーは、何に対応しているのであろうか？実は Φ2j+1,1 に関するモノドロミーは、spin-j 表
現のループ演算子を与えるのである.
線演算子と Verlinde ループ演算子
共形ブロックのモノドロミーを用いて、表面演算子上の線演算子について議論してきた. 線演算子
自体は表面演算子のサポートがなくとも存在できるので、これが単独で存在しているケースについても理解したい. そこでここでは線演算子単独の場合に AGT 対応を確立することにしよう.
基本的なツールは以上の議論において出尽くしている. したがってわれわれは共形場理論を用いることで、表面演算子上の線演算子はすでに作り出すことが出来る. そこでポイントとなるのは不必要な表面演算子を消す方法を見つけることである. カギとなるのは、先ほども登場した退化フュージョン則である.

[V −b/2 ] × [V −b/2 ] = [V 0 ] + [V −b ].

(5.28)

まず共形ブロックに恒等演算子 V0 を挿入する. この操作自体は共形ブロックの値を変えない. そして
この V0 を、二つの退化場 V2,1 の OPE を恒等演算子へ射影したものと見なすことにする. つまり元54

Soryushiron Kenkyu

図 29: 共形ブロックの中間状態 α への 1 ∈ Φ2,1 · Φ2,1 の挿入.の共形ブロックに、頂点をもう一つ付け加えたブロックへ書き換える訳である（図 29）. ここまでくるとループ演算子を求めるアルゴリズムは容易に想像できる. つまり二つの退化場の一方を、ループ演算子に対応するサイクル γ に沿って動かす. そして始点にもとって来た後、二つの退化場をフュージョンさせて単位演算子に戻すことにする. その結果として、共形ブロックはサイクルに対応したモ
ノドロミー変換を受けるのである. このようにして、サイクル γ に付随した共形ブロック上への演算子を定義することが出来る:

F [Γ] → L(γ) · F [Γ].

(5.29)

ここでデュアリティーフレーム Γ は、共形ブロックのチャンネルを指定しており、理論をどのような弱結合記述で考えているのかという情報を表している. このように与えられる演算 L(γ) こそが Liouville
共形場理論におけるループ演算子の対応物であり、Verlinde ループ演算子あるいは量子ループ演算子と呼ばれる. もちろんこのようなモノドロミーは、サイクル γ のホモトピー類にしかよらない. まとめると、次のようになる:

AGGTV-DGOT 予想[12, 49]
ゲージ理論のデュアリティーフレームを Γ にとる. Drukker-Morrison-Okuda の辞書のもと、サイクル γ でラベルされるループ演算子を考えよう. するとこの期待値は、ゲージ理論に対応する共形ブロック F [Γ] のモノドロミー演算
L(γ) · F [Γ],によって与えられる. R4 ではなく、S 4 上での相関関数を考えた場合は∫()
h L(γ)iS 4 = dµ(a) F [Γ](a) L(γ) · F [Γ](a) ,(5.30)(5.31)と与えられる. ただし dµ(a) は、DOZZ 三点関数の因子も含めた積分測度である.
このように共形場理論を考えているところの Riemann 面上にループを挿入する操作によって、モノドロミーは理解された. とするとループ演算子は境界 CFT の言葉を用いて記述することが出来るのではないか、と期待した読者も少なくないと思われる. この予想は的を射ており、実際に Verlinde
ループ演算子をトポロジカル欠陥演算子として理解することも出来る. Verlinde ループ演算子を用いたアプローチでは、フイージョン・ブレイディング行列の具体形を知らなければならなかった. そのためしばしば計算が煩雑となる. 一方トポロジカル欠陥演算子を用いると理解が簡素化されるため、Toda 場の理論（SU (N ) ゲージ理論）へ拡張する際にも見通しが良い. さらにはこのアプローチは、ゲージ理論の Janus ウォールやデュアリティーウォールのようなドメインウォールが挿入されてい55

Soryushiron Kenkyu

図 30: 基本 Wilson ループに対応する操作.
る場合への拡張においても重要となる. これらの話題については [50, 51] において詳しく調べられている.
さて Verlinde ループの演算をもちいた手法に、物理的解釈を与えることにしよう. 実は AGGTVDGOT のアルゴリズムは、表面演算子と（反）表面演算子の対消滅として理解できる. まず表面演算子・反表面演算子を挿入することを考え、モノドロミー操作で表面演算子側に束縛されたループ演算
子を作るすることにする. これは前節で議論したセットアップである. その後に反表面演算子と対消滅させることで表面演算子を消し去ることができ、結果としてループ演算子だけが取り残されることになるのである. このプロセスは、まさに退化場二つのフュージョンに対応したものである.

• SU (2) Nf = 4 ゲージ理論
まずウォーミングアップとして、SU (2) Nf = 4 ゲージ理論における基本表現 (j = 1/2)Wilson ルー
プ演算子から考え始めよう. この演算子に対応したサイクルは、Gaiotto 曲線（図 23）における γ であった. したがって Verlinde 演算によりループ演算子を生成する為には、共形ブロックに図 30 のような変形を作用させればよい. これはフュージョンとブレイディングの組み合わせとして、次のように計算することが出来る:

W1/2 F(a) = (F −1 Ω2 F )++ F(a)= 2cosh(2πbP ) F(a).

(5.32)

ただし α = Q/2 + iP とおいた. ここでモノドロミー行列の ++ 成分のみを取り出しているのは、図30 の最初と最後の共形ブロックにおいて −b/2 二つがフュージョンして出来る中間状態 −b/2 ± b/2のうち、運動量ゼロの真空表現 0 の場合のみを考えていたからである.
図 30 で行った作業は局所的な変形操作のみに基づいており、どのような共形ブロックで考えても変わらないものである. したがって、他の SU (2) ゲージ理論においても Wilson ループの計算結果は全く同様である. また、高いレベルにある退化場 Φ2j+1,1 を用いて Verlinde のループ演算を実行する
ことで、スピン-j 表現の Wilson ループを計算することも出来る:

Wj F(a) =j∑

exp(4πpP ) F(a).

(5.33)

p=−j

これらの結果はゲージ理論側の結果 (5.2) と整合的であり、Verlinde ループ演算子/Wilson-’t Hooft
ループ演算子対応の強い証拠を与えている.

56

Soryushiron Kenkyu

図 31: N = 2∗ ゲージ理論の’t Hooft ループに対応する操作. ただし α0 = α± = α ± b/2.

• N = 2∗ ゲージ理論
では最後に、’t Hooft ループ演算子を計算してみよう. この期待値は、Wilson ループ演算子の場合とは異なり、どのようなゲージ理論を考えるかによって計算結果が著しく異なる. そこでここでは簡単のため、N = 2∗ SU (2) ゲージ理論を取り上げることにしよう.
AGT 対応において、N = 2∗ ゲージ理論には一点付きトーラスが付随していた. そしてこの理論における最小’t Hooft ループ演算子は、図 31 のようなモノドロミー演算によって計算される. したがってこのループ演算子を共形ブロック（Nekrasov 関数）に作用させることにより、’t Hooft ループ演算子の期待値に対応して

H1/2 F(a) = (F −1 BF )++ F(a + b/2) + (F −1 BF )++ F(a − b/2)

(5.34)という形が得られる. ここで図 31 のようにブロックを変形させる際、退化場のフュージョンを考えるプロセス毎に、中間運動量に ± ↔ α ± b/2 の自由度があらわれる. ただしループ演算子を計算する
ためには、図 31 の最初と最後のブロック双方で、退化場のペアから流れる運動量が 0 となっている
ようなブロックだけを取り出さなくてはならなかった. したがってこのような’t Hooft ループ計算に寄与する部分は、係数(F −1 BF )++ = (F∝αα[ −b/2 ][ −b/2 −b/2 ])++ B mα α+b/2 −+ F α+b/2 α+b/2 −+Γ(2ibP )Γ(1 + b2 + 2ibP ),Γ(2ibP + mb)Γ(1 + b2 + 2ibP − mb)(F −1 BF )++ = (F∝[ −b/2 −b/2 ]−1[ −b/2 −b/2 ]−1αα(5.35)[ −b/2 ][ −b/2 −b/2 ])+− B mα α−b/2 +− F α−b/2 α−b/2 ++Γ(−2ibP )Γ(1 + b2 − 2ibP ),Γ(−2ibP + mb)Γ(1 + b2 − 2ibP − mb)(5.36)

で与えられることが分かる. ここでループ演算子の規格化についての議論は省略したので、原論文を参考にされたい. このように AGT 対応を用いることで、通常は計算困難なループ演算子の期待値が、共形場理論の技法を用いて系統的に与えられることになる. これは非常に強力かつ魅力的な予想であり、現在も様々な角度から研究がなされている.

57

Soryushiron Kenkyu

6

その後の発展

6.1

Dijkgraaf-Vafa 予想と β-アンサンブル

弦理論の枠内においても、共形ブロックと Nekrasov 関数の結びつきを厳密に理解することは、非常に難しい問題である. このような方向性において、ある程度の成功を収めているのが Dijkgraaf とVafa による仕事である. 彼らのプログラムが特に興味深いのは、副産物として新たな予想を与えるためである. この節では、彼らの発見を簡単に紹介したい.
共形場理論の自由場表示と Dijkgraaf-Vafa 予想
トポロジカル弦理論を用いた AGT 対応の実現を調べる過程で、Dijkgraaf と Vafa は Nekrasov 分配関数（つまり共形ブロック）が一種の行列模型によって表される事を発見した. この行列模型は Penner型とよばれる log 形ポテンシャルを持つランダム行列模型である. 非自己双対な Ω-背景 1 + 2 6= 0
を考える為に、実際には行列模型ではなく、その変形である β-アンサンブルを考えることになるが、この詳細は追々説明することにする.
歴史的順序とは反対になってしまうが、ストリング理論的な背景は後まわしにして、共形場理論の観点から Dijkgraaf-Vafa 予想を紹介することにしよう. これから説明する Dijkgraaf-Vafa 行列模型の共形場理論からの理解は A.Mironov、Al.Morozov、A.Morozov、Sh.Shakirov らロシアスクールの研究者たち [52, 53] や Itoyama、Oota ら [54] により精力的に研究され、整理されたものである. その出発点になるのは、共形ブロックの自由場表示（Coulomb ガス表示、Feigin-Fuchs 表示）である. 共形
ブロックを計算する際の基礎となるのが、頂点演算子の OPE とその係数であった:∑∑
q ∆(α)−∆(α1 )−∆(α2 ) C αα1 ,α2
q |Y | β αα,YVα,Y (0).
(6.1)
Vα1 ,Y1 (q) Vα2 ,Y2 (0) =1 ,Y1 ;α2 ,Y2αY

係数 C は共形場理論のの模型の取り方によって決まる数であり、理論のダイナミクスまで考えなければ計算することが出来ない因子であった. 通常は演算子代数の associativity に由来する拘束条件を解くことによって計算されるのであるが、ここではその詳細には立ち入らない. その一方、ディセン
ダントのレベルを添字に持つ係数 β は、Virasoro 代数と OPE の整合性だけで決定されてしまうのであった. しかしながら一般には、その具体形を明示的に決定することは難しい. そこでここでは、この OPE 係数を自由場理論を用いて計算してみよう. 以下では簡単のために Y1 = Y2 = Φ とする.
具体的には自由スカラー場理論を用いることにする. それにより共形場理論のパラメータが特殊な値の場合しか考察することが出来なくなるが、計算は飛躍的に簡単化する. 自由スカラー場 φ のプロ
パゲータは

hφ(z)φ(w)i = 2 log(z − w),(6.2)

で規格化しておこう. 中心電荷 c = 1 − 6Q2 の理論を考えるため、エネルギーストレステンソルをツ
イストする

Q
1
T (z) = (∂φ(z))2 + ∂ 2 φ(z).
4
2

(6.3)

この模型のプライマリー場は Vα (z) =: exp αφ(z) : と表示され、その OPE は簡単な計算で求めることが出来る:

Vα1 (q) Vα2 (0) = q 2α1 α2 : eα1 φ(q)+α2 φ(0) :)(α12α1 α2Vα +α , (0) + · · · ,=q
Vα1 +α2 (0) + q
α1 + α2 1 2
58

(6.4)

Soryushiron Kenkyu

ただし最後の行に移行する為に、q について Taylor 展開し、L−1 Vα = α : ∂φVα : 等で書き直した. ここで注意すべき点は、右辺にあらわれる頂点演算子の運動量 α は保存則 α = α1 + α2 を満たすものだ
けである、ということである. その係数も、例えばレベル 1 のディセンダントについては
α1
β αα,1 ;α2 free boson =δα,α1 +α2
(6.5)
α1 + α2である. 一方 2 章で説明したような方法に基づき、Virasoro 代数から計算される完全な値は、−1
β αα,1 ;α2 = G∆(=

) · R0 12 (α,)α（α − Q) + (α1 − α2 )(α1 + α2 − Q)∆ + ∆ 1 − ∆2=2∆2α(α − Q)(6.6)

であり、自由場計算の結果は、これを保存則 α = α1 + α2 で制限したものにほかならない.
このように自由場表示に基づく計算の欠点は、保存則の存在により中間運動量 α について一般的な表示が得られない点にある. OPE 係数の完全な関数形 β(α1 , α2 ; α) を決定するたに、自由場表示を改善することは共形場理論における永らくの問題であった. この問題に、AGT 予想に関する研究が大きな進歩をもたらすこととなったのである.
Morozov らロシアグループは、Dijkgraaf と Vafa の結果が次の形のスクリーニング演算子を用いる
ことを示唆していると気がついた:∫ q
Q[0,q] =: ebφ(z) : dz
(6.7)
0

発見の順序は前後するが、このスクリーニング演算子を既知のものとして話を進めよう. この演算子を挿入することで、実際に自由場計算は改善される. これを確認する為に、スクリーニング演算子を挿入した場合の OPE 係数を考えてみよう. すると次の形の展開形が得られる:
(∫ q
)N
bφ(z)
: L−Y1 Vα1 (q) : : L−Y2 Vα2 (0) :
:e
: dz
0
∑
+α2 +N b,Y+α2 +N b= C αα11,αq |Y | β αα11,Y: L−Y Vα1 +α2 +N b (0) : . (6.8)
2free + screening
free + screening
1 ;α2 ,Y2
Y

つまり中間運動量に関する保存則が α = α1 + α2 + N b という形に修正され、スクリーニング演算子の数 N だけシフトされることになる. Morozov らは、この改善された自由場計算に基づく結果が、α = α1 + α2 + N b の下で一般的な OPE 係数と一致すると主張した:+α2 +N b,Y+α2 +N b,Yβ αα11,Y= β αα11,Y.
free + screening
1 ;α2 ,Y2
1 ;α2 ,Y2

(6.9)

この係数 β は有理関数である. したがってすべての自然数 N についてこの式が成り立つので、解析
α,Y接続により、自由場計算は OPE 係数 β α1 ,Y1 ;α2 ,Y2 について完全な情報を与えることがわかる.
この結果も具体的計算で確認できる. 再び Y1 = Y2 = Φ の場合を考えよう.
N ∫ q∏
Vα1 (q) Vα2 (0)dzi : ebφ(zi ) :i=1= q 2α1 α2

N ∫ q
∏
i=1

0

0

dzi

N
P
∏
∏
2
(zi − zj )2b
zi2bα2 (q − zi )2bα1 : eα1 φ(q)+α2 φ(0)+ i bφ(zi ) :
i<j

i=1

= q 2α1 α2 +N (1+2bα1 +2bα2 )+N (N −1)b

2

N ∫ 1
∏
i=1

0

dzi

N
∏
∏
2
zi2bα2 (1 − zi )2bα1(zi − zj )2b
i<j

i=1

∑
)
α1 + b i zi
: L−1 V α1 +α2 +N b (0) : + · · ·× V α1 +α2 +N b (0) + q
α1 + α2 + N b(

59(6.10)

Soryushiron Kenkyu

このディセンダント場の係数を与える積分たちは、Euler のベータ関数を一般化したものであり、Selberg型の積分とよばれる. 展開のはじめの二項に関する積分を実際に実行し、両者の比をとることで+α2 +N b,
β αα11,Φ;
α2 ,Φ

free + screening=α（α − Q) + (α1 − α2 )(α1 + α2 − Q),
2α(α − Q)
α=α1 +α2 +N b

(6.11)

が確認できる. これは (6.6) をきちんと再現している. 高次の項も同様である. 計算の詳細は、文献[53] を参照されたい.
さて、以上は共形場理論の自由場表示に関する話であった. 実はこのアイデアを AGT 予想に応用
すると、興味深いことが分かる. そこで、共形ブロックを自由場計算により求めることを考えてみよう. AGT 予想への応用を見越して、ここでは球面の四点共形ブロックを取り上げる:

Vα4 (∞) Vα3 (1)= const. ×N2 ∫ 1
∏

i=1
∫
N
1
∏ q

bφ(zi )

dzi : e: Vα2 (q) Vα1 (0)N1 ∫ q∏0

dzi ebφ(zi ) :

0

i=1
N
∏
∏
2
dzi
dzj
(zi − zj )2b
zi2bα1 (zi − q)2bα2 (zi − 1)2bα3
0
i<j
i=1
j=N1 +1 0

i=1

N
∏

∫ 1

(6.12)

ここで考えているプライマリー場は、自由場理論におけるもの Vα (z) =: exp αφ(z) : である. ミニマ
ル模型に対しては、このような積分表示は 20 年以上も前に Dotsenko と Fateev によってすでに与えられていた. そこでこの表示を Dotsenko-Fateev 積分とよぶ. ただしここで得られた結果は一般の共形ブロックに対するものであり、Dijkgraaf と Vafa によってはじめて導入された. 共形場理論の観点から述べれば、このような表示を得ることが出来たのは、先に述べたスクリーニング演算子を、その積分経路も含めて確定することが出来た為である. ただし現在までのところ、この結果に対する厳密な証明はまだなされていない.
以下では、慣習に従い β = b2 という記号を導入しよう. この多重積分は、β = 1 の場合は行列模∏型の固有値積分表示と見なすことが出来る. なぜならばこの場合、積分中の因子 i<j (zi − zj )2β は
Vandermonde 行列式となり、よく知られているようにこれは行列積分測度の非対角成分から現れる
因子にほかならないからである. ただし通常の模型と異なり、ポテンシャルが α1 log Z + α2 log(Z −q) + α3 log(Z − 1) という対数形をしている. このような行列模型は Penner 型とよばれ、Penner により Riemann 面のモジュライ空間の交点理論を調べる為に導入された.
さらに我々に馴染みのある行列模型と著しく異なる点がある. それは β が一般の場合、この積分はもはや行列積分と見なせないことである. そこで一般的には、この模型を行列模型とは呼ばず、β-アンサンブルと呼ぶ. β-アンサンブル自体は、Dyon ガスや Wigner 結晶の統計力学模型として研究されており、この場合の β は逆温度に対応している. 我々の扱っている模型では、β = −1 /2 は Ω-背景場の値の比に他ならず、β 6= 1 なる値にとることは中心電荷が c 6= 1 である共形場理論を考えることに対応している. ゲージ理論の観点からは、これは非自己双対背景を考えることにほかならない. そこで次の分配関数を考えよう:

ZDF = q2α1 α2(1 − q)2α2 α3N1 ∫ q
∏
i=1

0

dzi

N
∏

∫ 1

j=N1 +1 0

N
∏
∏
2β
dzj
(zi − zj )zi2bα1 (zi − q)2bα2 (zi − 1)2bα3 .
i<j

i=1

(6.13)
これを Dijkgraaf-Vafa の β-アンサンブル、あるいは Dotsenko-Fateev 分配関数と呼ぼう. これは共形ブロックの自由場表示から得られたものであり、この分配関数は Virasoro 共形ブロック F と厳密に等しいと予想される:[]
ZDF = C · q ∆−∆1 −δ2 · F 21 34 (∆; q).
(6.14)

60

Soryushiron Kenkyu

ただし二箇所で OPE をとったため、二つの運動量に対し、修正された保存則が課されている

α = α1 + α2 + N1 b,(6.15)

α4 = α + α3 + N2 b.

(6.16)

Dijkgraaf と Vafa が発見したのは、この Dotsenko-Fateev 分配関数と、共形ブロックと Nekrasov 分配関数の間の等価性である.
F

[2 3]
1 4

←→

Z DF

←→

Z Nek .

(6.17)つまり Dijkgraaf-Vafa β-アンサンブルを仲立ちとして、共形ブロックと Nekrasov 分配関数を結びつけられる可能性があることになる. この予想は様々なレベルでチェックされている. 特に β = 1 の場
合の行列模型をプラナーレベルで具体的に計算するものや [55]、一般の β における多重積分を拡張された Selbarg 積分として扱うことで、インスタントン展開の高次まで調べるアプローチが精力的に調べられた [56, 57, 53, 54]. とくに Selbarg 積分としての扱いは、被積分関数の Jack 多項式による展開と相性がよく、Nekrasov 分配関数や共形ブロックの Young 図展開と深く関係しており重要である.
では、Dijkgraaf と Vafa はいかにしてこの関係を発見するに至ったのであろうか？その鍵になるのが、トポロジカル弦理論とその双対性である. 次節では、この弦理論のアプローチについて解説する.
幾何学的転移による “証明”この節で考えるのは、AGT 関係のストリング的な実現である. 特に Dijkgraaf と Vafa によって発見された方法について議論しよう.
カギとなるアイデアは、幾何工学の方法（geometric engineering）と呼ばれるストリング理論のテクニックだ. 幾何工学の方法は、四次元の N = 2 理論を、Type II 超弦理論の低エネルギー有効理論として理解する手法である. すると、ゲージ理論の解析に対しストリング双対性という強力な手法を活用できることになる.
今、我々の関心は N = 2 ゲージ理論の Nekrasov 分配関数にある. N = 2 理論をストリング理論
へ埋め込む方法はいくつか考えられるが、ここでは Type II ストリングの Calabi-Yau コンパクト化として考えよう. すると Nekrasov 自由関数 F Nek = log Z Nek は、このコンパクト化理論の低エネル
ギー有効作用 S eﬀ として与えられることが知られている [58]. その際 Ω-背景場は、N = 2 超重力多重項における重力光子背景場に対応している. さらに重要なことは、この自由エネルギーはトポロジ
カルストリング理論のプレポテンシャルとして計算することが出来る点にある. 以上をまとめると

F Nek

←→

S eﬀ (Type II on CY × R4 )←→F top str (CY).

(6.18)という関係である. 詳細は文献を参考にされたい.
簡単のため、超共形 SU (2) 線形クイバー理論を例にとろう. 出発点となるのは、A1 特異性から作った 3-フォルド

A1 × C:uv + x2 = 0,z ∈ C.

(6.19)

である. 特異点は u = v = x = 0 にある. この特異点を P1 ' S 2 で置き換え、A1 特異性をレゾリュー
ションしよう（図 32）. この球面 P1 は、空間 uv + x2 = 0 の中のくびれ部分のようなものであり、それ以上つぶせない極小な二次元球面となっている. そして今考えている空間は z 方向については平坦であり、その方向に沿って極小球面の連続なファミリーがあることになる.
唐突であるが、この空間 A1 × C 上のトポロジカル B-モデル弦理論を考えよう. とくに極小球面 S 2
上に、B-モデルの 2-ブレインを N 枚巻き付けてみよう. Witten の与えた cubic SFT とトポロジカル

61

Soryushiron Kenkyu

図 32: A1 特異性 uv + x2 = 0 とそのレゾリューション uv + x2 = r2 .
ストリングの関係により、このように作った B-モデル開弦理論は、行列模型までに落ちることが知られている [58]. したがってその分配関数は、行列積分∫1tr W (M ),(6.20)ZDV =dM e gs
N ×Nとして与えられる. ここでポテンシャル W は、Calabi-Yau 幾何 uv + x2 − W 0 (z)2 = 0 にあらわれている関数である. したがって今の場合は W = 0 である.
さてこの B-モデルの系に、非コンパクトな B-モデル 2-ブレインの束も挿入してみよう. 位置 x =0, z = q に α 枚のブレインの束を挿入することに対応し、行列模型にはVα (q) = det(M − q)α .

(6.21)という演算子が挿入される. この演算子は、A-モデルを用いた結び目の解析などにあらわれる OoguriVafa 演算子のミラーである. したがって n + 2 個のスタックを挿入すると、理論の分配関数は
∫
n+2
∏
ZDV =
dM
Vαa (qa )
N ×N

∫

a=1

∏
∏
dN z (zi − zj )2 (zi − qa )αa ,=i<j(6.22)

i,aに変更される. 興味深いことに、これは自由場計算から得られた Dotsenko-Fateev 積分そのものだ.
ではなぜこの模型が AGT と関係するのであろうか? まずこの理論をポテンシャル

W (M ) =n+2∑

gs αa log(M − qa ),(6.23)

a=1をもつ Penner 型行列模型と見なす.

[

∫

Z=

dM exp
N ×N]
1
tr W (M ) .
gs(6.24)

そしてこの行列模型を、Dijkgraaf-Vafa 相において解析することにする. つまり、行列積分を古典作用の極値 W 0 (ζA ) = 0 の周りで評価しよう. この極値は z = ζ1 , · · · , ζn+1 だけあるので、各変数 zi に関する鞍点を n + 1 個のうちのどれに選ぶか、という自由度がある. そこで ζA に選んだ変数 zi が NA
個あるものとする. つまり N = N1 + · · · Nn+1 個の変数を、n + 1 個の鞍点に振り分けるのである. これは弦理論において合計 N 枚のブレインを巻き付ける際に、n + 1 個のサイクルに割り振る作業に対応している. 以下では、この模型の’t Hooft 極限

N → ∞,

νA = gs NA ,62

(6.25)

Soryushiron Kenkyu

における振る舞いを考えることにする. 行列模型の文脈では、’t Hooft パラメータ νA は占有率と呼ばれる. さらに

αa → ∞,

ma = gs αa ,(6.26)∑という極限も同時にとることにする. ただし無限遠での電荷 α0 = − n+2a=1 αa − N に対してもこの極限をとろう.
よく知られているように、行列模型のラージ N 極限における振る舞いはスペクトル曲線
F (x, z) = x2 − W 0 (z)2 + f (z) = 0,

(6.27)

によって記述される. これは「古典的な」曲線 x2 − W 0 (z)2 = 0 に量子補正

f (z) = gs

D ∑ W 0 (z ) − W 0 (z) Ei,zi − z(6.28)

iが加わった形をしている. このスペクトル曲線は、実は弦理論の重要な双対性を反映している. それが幾何学的転移（geometric transition）、あるいはラージ N 双対性（large-N duality）と呼ばれるデュアリティである. これはゲージ/重力対応の一種であり、幾何学的転移はブレインを含んだ開弦理論の系を、閉弦理論の系に置き換えるのである. この際、はじめに存在していたブレインの情報は、背景 Calabi-Yau 幾何の形やサイクルの大きさに化ける. ではさっそく、今まで考えてきた開弦の B-モデルに幾何学的転移を用いることにしよう. すると今まで考えてきた開弦 B-モデル（行列模型）の系は、スペクトル幾何

uv + F (x, z) = uv + x2 − W 0 (z)2 + f (z) = 0,

(6.29)の上で考えたトポロジカル B-モデル閉弦理論に置き換わるのである. そして、行列模型の量子補正
f (z) が古典的な曲線 x2 − W 0 (z)2 = 0 をスペクトル曲線 F (x, z) = x2 − W 0 (z)2 + f (z) = 0 へ変形することは、まさしく幾何学的転移を記述している. つまり行列模型の量子補正は、幾何学的転移によりブレインが背景の幾何学に溶け込んで、Calabi-Yau 空間を変形する現象に対応していたのである. 転移後の空間は、実は超共形 SU (2) クイバー理論の Seiberg-Witten 曲線（をストリング理論に埋め込んだもの）である. このことはすぐ後に与える具体例で詳しく見ることにする. したがってこの B-モデルに対応する Type IIB 閉弦理論は、N = 2 ゲージ理論の Seiberg-Witten 解を与えることになるのである. つまり幾何学的転移を通じ、我々の考えている B-モデルの系は SU(2) ゲージ理論
を「幾何工学する」のである. このように行列模型を仲立ちとして、共形ブロックと Seiberg-Witten理論が結びつくのである. これが Dijkgraaf と Vafa のアイデアである.
では、このことを具体的に理解する為に、一般論を離れて 4-フレーバーの超共形 SU (2)SQCD の
例 n = 1 に戻ろう.

3-Penner 行列模型
ブレインの挿入点を qI = 0, 1, q と選ぶことにする. すると 4-フレーバーの SU (2) ゲージ理論に対応する行列作用はW (z) = m1 log z + m2 log(z − 1) + m3 log(z − q),(6.30)

である. この場合、量子補正は

f (z) =3∑ca (ν, m)a=163z − qa,(6.31)

Soryushiron Kenkyuという形であることはすぐに分かる（ただし係数 cI (ν, m) の具体的な関数形を決定する為には、煩雑な行列模型の計算が必要となる）. すると、スペクトル曲線は有理式

x2 =

P4 (z),z 2 (z − 1)2 (z − q)2(6.32)という形で与えられる. 拘束 ν1 + ν2 = gs N = m0 + · · · + m3 を考慮すると、自由パラメータは質量m0 , · · · , m3 と Coulomb ブランチパラメータIa = ν1 − ν2 =xdz,
(6.33)
A-cycleの 5 個である. これらが 4 次式 P4 (z) の 5 つの係数を与えている. 式 (6.32) からすぐに見て取れるよ
うに、このスペクトル曲線は、Gaiotto によって与えられた Sieberg-Witten 曲線の表示そのものである. この Gaiotto 表示が得られたのは、行列模型の作用を Penner 型にとったが故である. 幾何学的転移の適用の仕方も特徴的で、N = 1 ゲージ理論に対する Dijkgraaf-Vafa 理論と異なり、Calabi-Yauのファイバーとベースを取り替えて扱った形となっている. さてこの結果 (6.32) が、係数も含めてSieberg-Witten 解を正しく再現していることは [55] でチェックされている. したがって先に述べた Bモデル閉弦の系は、この SU (2) ゲージ理論の弦理論への埋め込みを与えている.
以上で説明したアイデアは、Dotsenko-Fateev 積分と Nekrasov 分配関数の対応を本当に説明しているのだろうか？そこでミラー対称性を用いて、B-モデルを A-モデルへと置き換えよう. ミラー対称性
により、いままで考えてきた B-モデルは、局所 Del-Pezzo 曲面 B5 と呼ばれるトーリック Calabi-Yau
空間上のトポロジカル A-モデルと等価である. このミラー A-モデルは、トポロジカルバーテックスと呼ばれる手法により厳密に解くことが出来る. そしてその結果えられるトポロジカル弦理論の分配関数
は、Nekrasov 分配関数と完全に一致するのである [25]. したがって、A-モデルの分配関数は Nekrasov
関数そのものであり、ミラー対称性を使い B-モデルにより計算すると、同じ量が Dijkgraaf-Vafa 行列模型として与えられるのである.
ここで紹介した Dijkgraaf-Vafa の説明は、行列模型のプラナーレベルのみの議論に基づいていた.
さらにストリングへの埋め込みが理論的に整備されているのは、β = 1 の場合だけである. そこで話がより難しく、そして面白くなってゆくのは、β-アンサンブルの全次数にわたって分配関数を考える際である. そこで重要となるのは、Dijkgraaf-Vafa 模型を Selberg 積分として扱う解析手法である[54, 53]. このアプローチに基づき、実際に Nekrasov 公式と Dijkgraaf-Vafa β-アンサンブルの比較計
算に大きな進展が見られる. 現在 Dijkgraaf-Vafa 予想を証明することになると期待されているのは、
この方向性である.

6.2

Zamolodchikov 漸化式による AGT 予想の証明

この節では A.Zamolodchikov が発見した、共形ブロックに関する漸化式の観点から、AGT 予想について調べることにする. Zamolodchikov の漸化式を書き下すために、球面上の四点共形ブロックから次のような楕円的共形ブロック H∆ を定義しよう:(q) = (1 − q)

Q2−∆1 −∆3
4

(

q
16Q

) a2
4

θ3 (Q)3Q −(∆1 +∆2 +∆3 +∆4 ) H∆ (Q).
2

(6.34)∑
2
ここで楕円関数を用いて Q = exp(−πK(1 − q)/K(q)) を導入し、θ3 (e2πiτ ) = n∈Z e2πiτ n は Jacobi∑∞n を考えよう.
のテータ関数 θ3 (0|τ ) である. このブロックのレベル展開 H∆ (Q) = 1 + n=1 (16Q)n H∆

64

Soryushiron Kenkyu

すると展開の各項は、次の漸化式を通じて低次の項により決定されていることが A.Zamolodchikov
により発見された [59]:
∞
∑

n
H∆
= δn,0 +1≤rs≤ncr,s dr,s
Hn−rs .
∆ − ∆r,s ∆r,s +rs(6.35)

ただし、この漸化式の各項にあらわれている係数はcr,s =

r
1 ∏
2

s
∏

1
.
(p,q)6=(0,0),(r,s) pb + qb−1

p=1−r q=1−sdr,s =

4∏∏(6.36)(∏

i=1 p=−r+1,−r+3··· ,r−1 q=−s+1,−s+3··· ,s−1

Q µi pb + qb−1
−
−
4
2
2

)
,

(6.37)

で与えられ、∆r,s = ∆(a = (rb + sb−1 )/2) である. また µi は、AGT 予想においてフレーバーの質量に対応するパラメーター (4.35) である（4 章を参照）. この関係式を Zamolodchikov の漸化式と呼ぶ. したがって Nekrasov 分配関数も同じ漸化式を満たしていることが示されたならば、AGT 予想が証明できたことになる. 残念なことに、SU (2) Nf = 4 SQCD の場合にはこの証明プログラムには技術的な困難が従い、現在のところ証明は与えられていない. しかしながらフレーバーが少ない場合
や、N = 2∗ 理論においては、このアイデアにより AGT 予想を証明することが出来る [60, 61]. そこ
でここでは SU (2) pure Yang-Mills 理論の場合について調べることにしよう.
非正則な共形ブロックの Zamolodchikov 漸化式
まずは pure Yang-Mills 理論に対応する非正則な共形ブロック hG|Gi を考え、そのレベル展開の各項の間に成立する Zamolodchikov 漸化式を導くことにしよう. この漸化式は、式 (6.35) にフレーバーのデカップリング極限を適用することで導くことが出来る [62, 61]. そこで µ1 µ2 µ3 µ4 Q(q) → Λ4 であることに注意すると、次の漸化式を容易に導くことが出来る:h ∆, k | ∆, k i = δk,0 +∞∑1≤rs≤kcr,sh ∆r,s + rs, k − rs | ∆r,s + rs, k − rs i.
∆ − ∆r,s(6.38)∑
ただしインスタントン展開 hG|Gi = k Λ4k h∆, k|∆, ki に注意. したがって Gaiotto 予想 (4.67) を示すためには、SU (2) Yang-Mills 理論の k-インスタントン分配関数 Z pure SU (2), k が h∆, k|∆, ki と同じ漸化式を満たすことを示せば良い. そのために Nekrasov 関数の LMNS 積分表示を紹介する.
Nekrasov 関数の LMNS 積分表示と極構造
Nekrasov 分配関数の積分表示は、位相的場の理論を用いたハイパー Kähler 空間の研究において、Losev、Moore、Nekrasov そして Shatashvili により導入された [63, 64]. 特にいま我々の調べている
SU (2) Yang-Mills 理論に対しては、LMNS の積分表示は
Zk =

(−Q)k
(1 2 )k k!

I

dxk
···
Ck 2πiI

dx1 ∏1P1 (xi )P2 (xi )C1 2πik

i=1∏(xij )2 (x2ij − Q2 )1≤i<j≤k(x2ij − 21 )(x2ij − 22 ),(6.39)

で与えられる. ただし Pα (x) = (x − aα )(x − aα + Q) という記号を導入した. この節では Q = 1 + 2である. また積分経路 Ci は、極 xi = a1,2 , xj(<i) + 1,2 を囲むものとする.
この積分表示と、Nekrasov 関数の Young 図展開は次のようなプロセスで関係する. はじめに x1 について積分するものとしよう. この場合、留数を与える極は x1 = a1 と x1 = a2 の二つある. そこで65

Soryushiron Kenkyu

図 33: 留数計算における単純極の選択と、Young 図の拡大.

x1 = a1 周りで計算した項を、Young 図列 ( , Φ ) に対応しているものと見なそう. x1 = a2 周りには ( Φ , ) が付随している. ここでは ( , Φ ) に対応した項を考える. すると x1 = a1 での留数より(−Q)k−11
k−1(1 2 )k! 1 2 a21 (a12 + Q)
I
I
k
dxk
dx2 ∏
P1 (xi − Q)×···
P1 (xi − 1 )P1 (xi − 2 )P2 (xi )Ck 2πiC2 2πiZ k x1 =a1 =i=2∏2≤i<j≤k(xij )2 ((xij )2 − Q2 ),(x2ij − 21 )(x2ij − 22 )(6.40)という表式が与えられる. また、新たな係数 1/1 2 a21 (a12 + Q) は、Nekrasov 関数にあらわれる因子∏ ∏( aαβ − `Yβ (s)1 + (aYα (s) + 1)2 )−1(6.41)
α,β=1,2 s∈Y1のうち、`1 (s) = a1 (s) = 0、`2 (s) = a2 (s) = −1 となる箱 s の寄与である.
そこで次にこれを x2 について積分するわけであるが、被積分関数の極の位置は、分母 P1 (x2 −1 )P1 (x2 − 2 )P2 (x2 ) から来る. したがって次の積分に現れる極は x2 = a1 + 1 , a1 + 2 , a2 の三つである. このように x1 = a1 を選ぶことで、x2 にはこの三つの極があらわれる様子は図 33 に書き表されている一段階目のプロセスとして理解できる. したがって x2 = a1 + 1 , a1 + 2 , a2 から一つの極, Φ )、( , Φ ) あるいは ( , )を選んで計算することは、Young 図 ( , Φ ) に一つ箱が加わり (となるプロセスとして表現することが出来る. そこでここでは極 x2 = a1 + 1 からの寄与を計算することにしよう. すると (, Φ ) に対応する項はZ k x1 =a1 ,x2 =a1 +1 =
I

dxk
×
···
Ck 2πiI

1(−Q)k−2k−2(1 2 )k! 1 2 (2 − 1 )(1 − 2 + Q)a12 (a12 + Q)(a12 + 1 )(a12 + 1 + Q)

dx3 ∏P1 (xi − 1 − Q)
2πi
P
(x
−
21 )P1 (xi − 2 )P2 (xi )
1 i
C3
k

∏

i=3

3≤i<j≤k(xij )2 ((xij )2 − Q2 ), (6.42)(x2ij − 21 )(x2ij − 22 )となることが分かる. ここで新たに加わった留数には、因子 (6.41) のうち `1 (s) = 1、a1 (s) = 0、
`2 (s) = a2 (s) = −1 となる箱 s からの寄与である. また、計算の途中であらわれた極 xi = 1 + 2 は、
式 (6.40) の分子にある因子 P1 (xi − Q) によって打ち消されてしまうことに注意する. したがって次の積分に現れる極は x3 = a1 + 21 , a1 + 2 , a2 の三つだけであり、再び極を選ぶ操作が Young 図の拡大として表されることになる. これは図 33 の二段階目のプロセスである. このように考えていくと、k
重積分の留数計算における極の取り方は、箱の総数が k = |Y1 | + |Y2 | である Young 図のペア (Y1 , Y2 )でラベルされることが分かるだろう. そして上の具体的な計算からすぐ予想できるように、(Y1 , Y2 )に対応した極で評価した留数は、Nekrasov 関数に現れる因子そのものになっている:

Z k (Y1 ,Y2 ) = ∏1(Y1 ,Y2 )2(~a, 1 , 2 )α,β=1 nα,β.

したがって、Z k 全体は k-インスタントン分配関数を正しく与えていることがわかる.

66(6.43)

Soryushiron Kenkyu

そこで LMNS 積分表示を用いることで、Zamolodchikov 漸化式を証明することを考えよう. そのためには、k-インスタントン分配関数の極とそこでの留数が分かればよい. 分配関数の特異性は、被積分関数の極が衝突することで生じる. 簡単な例で説明しよう.
I
dx
1
1
Q
=
,
(6.44)
a12 (a12 + Q)
x=a1 2πi (x − a1 )(x − a2 )(x − a1 + Q)(x − a2 + Q)という積分結果の特異性 a1 = a2 − Q は、被積分関数に現れる極 x = a1 が積分カンターの外の極
x = a2 −Q と衝突することで生じている. LMNS 積分の場合も全く同様であり、積分の途中で現れる極x = a1 +k1 +l2 がカンターの外の極 x = a2 −Q と衝突して、分配関数自体に a12 +(k−1)1 +(l−1)2 =0 という極を与える. 注意深く考えると、このようにしてあらわれる極は

a12 = ±(r1 + s2 ),r, s = 1, 2, · · · , k,rs ≤ k,(6.45)であることが分かる [60]. また、極はこれで尽くされていることも示すことが出来る. この極における中間状態の共形次元は、式 (6.38) に現れる ∆ (2a = ±(r1 + s2 )) = ∆r,s , であることに注意しよう. したがって、後はこの極における分配関数の留数を計算すれば良いことになる. 以下で説明する
ように、LMNS 積分を用いることで極 a12 = −(r1 + s2 ) における留数は

Res Z k (a1 , a2 ) = Res Z k ( r×s , Φ ) (a1 , a2 ) Z k−rs (a1 + r1 , a1 + s2 )()
r1 − s2 r1 − s2,−,= cr,s Z k−rs22

(6.46)と与えられる. ただし我々は SU (2) ゲージ群を考えているので、a1 = −a2 = a とした. また、~ に由来する Nekrasov 関数のZk (r×s,Φ) (a1 , a2 ) は、Y1 が r × s の四角形 Young 図で Y2 が空のペア Y項である. すると Zk (a, −a) = Zk (−a, a) なので、a12 = (r1 + s2 ) における留数も、符号をのぞいて全く同じであることが分かる. これで分配関数のすべての極の形が決まった. また lima→∞ Zk = δk,0であるから、正則項も分かっている. したがってこの二つの情報から、漸化式 (6.38) が直ちに与えられる. つまり Zk = h∆, k|∆, ki であり、SU (2) Yang-Mills 理論に対する AGT 予想が証明されたことになる. このような LMNS 積分と Zamolodchikov 漸化式を比較するアプローチにより、Nf = 1, 2の場合や N = 2∗ 理論に関しても AGT 予想は証明されている.
では最後に、(6.46) を示すことにしよう. LMNS 積分を用い、a12 = −(r1 + s2 ) における k-インス
タントン分配関数の留数を求めよう. このような単純極が生じるためには、rs 個の積分が既に行われていなくてはならない. そしてさらに、その際には a1 , a1 + 1 , a1 + 2 , · · · , a1 + (r − 1)1 + (s − 1)2という極が全て選ばれていなければならない. このような極をとる組み合わせは N Crs だけあるので、積分変数の名前を付け替えるとII∏(xlm )2 (x2lm − Q2 )dxk
dxrs+1(−Q)k−rs···
Res Z k (a1 , a2 ) =(1 2 )k−rs (k − rs)! Ck 2πi(x2lm − 21 )(x2lm − 22 )Crs+1 2πirs<l<m≤k×k∏
l=rs+1(−Q)rs1Rrs ,P1 (xl )P2 (xl ) (1 2 )rs (rs)!

と表すことが出来る. ただし
I
I
rs
dxrs
1
dx1 ∏ (xli )2 (x2li − Q2 ) ∏Rrs = Res
···
2
2
2
2
P1 (xi )P2 (xi )(xli − 1 )(xli − 2 )Crs 2πiC1 2πi
i=1

i,l

= Res

k
r ∏
s
∏
∏
l=rs+1(6.47)∏(xij )2 (x2ij − Q2 )1≤i<j≤rs(x2ij − 21 )(x2ij − 22 )(xl − aρσ )2 ((xl − aρσ ))2 − Q2 )(1 2 )rs (rs)!
· Z k ( r×s , Φ ) (a1 , a2 ),((xl − aρσ ))2 − 21 )((xl − aρσ ))2 − 22 ) (−Q)rs
ρ=1 σ=1
67,

Soryushiron Kenkyu

であり、aρσ = a1 + (ρ − 1)1 + (σ − 1)2 とおいた. すると簡単な代数計算から
k
r ∏
s
∏
∏
(xl − aρσ )2 ((xl − aρσ ))2 − Q2 )1P1 (xi )P2 (xi )((xl − aρσ ))2 − 21 )((xl − aρσ ))2 − 22 ) a12 =−(r1 +s2 )
l=rs+1 ρ=1 σ=1=

1,P1 (xi − r1 )P1 (xi − s2 )(6.48)を示すことが出来る. つまり式 (6.47) の積分因子を Rrs の中に入れ、式 (6.48) で書き換えると、
Zk (r×s,Φ) 以外の項は Zk−rs (a1 + r1 , a1 + 22 ) で表すことが出来るのである. このようにして (6.46)が得られる.

7

まとめと現状

本稿では、AGT 予想について出来るだけ初等的に解説することを試みました. 説明の手際が良くないところや著者の不理解などが目につくかもしれませんが、この解説が少しでも皆様の参考になることを期待しています.
さて現在までのところ、AGT 対応の物理的な理解はさておき、数学的側面の理解は大分進んできている. この不思議な対応の一つの理解の仕方は、Verma 加群の基底の取り方として、従来知られていたものよりも「良い」基底がある、と考えるアプローチである [65]. ここで言う良いという言葉の意味は、中間状態をその基底で表示して計算すると、共形ブロックが Nekrasov 関数の形で与えられる、という意味である. これまでの共形場理論の手法では、一般の共形ブロックを明示的に書き下すことは不可能であった. しかしながら AGT 予想が示唆するように共形ブロックが Nekrasov 関数に他ならないとすれば、その計算には組み合わせ論的な枠組みがあるはずである. それが先に述べた良い基底を用いることに他ならない.
このアプローチが今まで発見されていなかった理由には、AGT 対応を複雑にしている U (1) 因子の存在が深く関わっている. つまり、Nekrasov 関数と共形ブロックの等価性は U (1) 因子込みで成立しているので、U (1) 因子に対応した自由場共形場理論を含めて考えてはじめて、良い基底に基づくアプ
ローチが働く点に留意しなくてはならない. ただし、この自由場で計算した共形ブロックは、U (1) 因子に他ならないことに注意する. すると AGT 関係が示唆していることは、元々考えていた Virasoro
代数に、自由場に付随した Heisenberg 代数も加えて拡張した Verma 加群の方が自然な対象だ、と言うことである. 実際 V.Alba らの研究によると、この拡張された Verma 加群には Jack 多項式で表示される基底があることが期待されており、これを用いて計算した共形ブロックは Nekrasov 関数の形で与えられる、と予想されている.
さらには数学者 Maulik と Okounkov によって、インスタントンモジュライ空間の同変コホモロジー
上への W 代数の作用が、幾何学的表現論の枠組みで構成されたことが報告されている [66]. したがって今後、数学の方面からの AGT 予想の理解が飛躍的に進むことが期待される.
また行列模型を用いたアプローチも、AGT 予想の理解にとって重要となってきている. 自己双対な Ω-背景（β = 1）の場合は、β-アンサンブルは通常の行列模型に他ならない. したがって、指標展
開などの群論的テクニックに基づく行列模型の手法により、Dijkgraaf-Vafa 行列模型を仲立ちとして
AGT 予想を証明することができる [67, 68]. ただし残念なことに、このアイデアがうまく機能するのは β = 1 の時のみであり、一般の Ω-背景への拡張には本質的な困難が従う.
しかしながら β-アンサンブル自身もとても良い性質を持つ理論であることが知られているので、AGT 予想を理解する為の良いアプローチになると期待される. Eynard と Orantin による精力的な研究により、通常の行列模型の自由エネルギーは、スペクトル曲線に対する一種のシンプレクティック
不変量として理解されることが分かっている [69]. そして我々の関心である Ω-背景 β 6= 1 をスイッチ

68

Soryushiron Kenkyu

オンすることは、スペクトル曲線に対する非可換化として理解されている [70]. さらに興味深いことに、量子化されたスペクトル曲線があらわれるのは β-アンサンブルに限った話ではない. Nekrasov とShatashvili により、Nekrasov 自由エネルギーは可積分形の量子化と深く関係していることが明らかにされた [71]. このプログラムにおいては Seiberg-Witten 曲線を Schrödinger 作用素とする波動関数
が Nekrasov 自由エネルギーを与え、Planck 定数の役割を果たすのは Ω-背景に他ならないのである.
このように Ω-背景は “Seiberg-Witten 可積分系”の量子化と深く関わっており [72, 39]、そこに AGT関係を理解する重要なヒントが隠れているものと期待される.
可積分形の量子化と共形場理論、S-デュアリティーと幾何学的 Langlands 予想、wall-crossing 現象と Hitchin 系など、AGT 予想と深く関係しているが取り上げることが出来なかった話題も多い. 今後
これらの分野がより一層の結びつきをみせ、飛躍的に発展してゆくことが期待されている. そこでこれらのトピックスに関しては今後の進展を待つことにし、その縫合報告は専門家の手に委ねることにします.

謝辞
これまで多くの方々から、議論・共同研究を通じて多くのことを学ばせて頂きました. また原稿に目を通して頂き、貴重な意見もいただきました. 本稿に学ぶところがあるとするならば、それは皆さまに負うところが多いと思います. 全ての個人名を列挙することはできませんが、改めて感謝の意を表したいとおもいます.

AppendixA

算術をいくつかA.1

Young 図Young 図とは、非負整数の減少列のことである:
Y = [Y1 , Y2 , · · · , Yd ]= { Yi ∈ Z≥0 | Y1 ≥ Y2 ≥ · · · ≥ Yd } .

(A.1)

これは図 34 のような階段型の図形としても表すことが出来る.
Young 図 Y の転置はつぎのように定義される.
図 34: Young 図 Y とその転置 Y T .

YT =

{

}
Y T j ∈ Z≥0 | Y T j = # { i| Yi ≥ j} .

図 34 の様に転置操作の絵を書いてみると、これは実際に Young 図形の転置を意味していることが理d(Y∑)
解できる. また、Young 図に含まれる箱の総数を |Y | と書くことにする: |Y | =
Yi .
i=1

各箱 s = (i, j) について、Young 図の腕の長 (armlength) さと脚の長さ (leg length) という量を定義しておこう:

aY (s) = Yi − j,

図 35: Young 図と腕・脚の長さ.

`Y (s) = (Y T )j − i.

この量を図示すると、図 35 のようになる. この定義よ
り、Young 図形に含まれない一般の座標 (i, j) に関して
も、腕・脚の長さを定める方法は明らかであろう. このような記法は Nekrasov 分配関数の表示に用いられる.

69

Soryushiron Kenkyu

A.2

Barnes 二重ガンマ関数と DOZZ 三点関数

Barnes 二重ゼータ関数を次で定める:∫ ∞dt
ts e−tx1ζ2 (s; x|1 , 2 ) :=Γ(s) 0 t (1 − x−1 t )(1 − e−2 t )∞∑=(s + m1 + n2 )−s .

(A.2)

m,n=0

最後の行から、「二重ゼータ」という名前の意味は明らかであろう. これを用いて Barnes 二重ガンマ関数 Barnes double Gamma function [73] を導入する:

Γ2 (x|1 , 2 ) := expdζ2 (s; x|1 , 2 ) .
ds
0

(A.3)

∏
これは無限積 (s + m1 + n2 )−1 をゼータ関数正則化により定義めている. この関数は様々な面白い性質を持つが、私たちの目的にとって重要なのは次の公式である:
Γ2 (x + 1 )Γ2 (x + 2 ) = xΓ2 (x)Γ2 (x + 1 + 2 ).

(A.4)

この関数の対数 log Γ2 は、Nekrasov 分配関数の研究に現れる γ1 ,2 (x; Λ) と同じものである [23]. ただし γ1 ,2 ではスケーリングにより Λ 依存性も含めている. したがってこの関数の性質や応用についての詳細は、インスタントン数え上げに関する優れた文献 [23] 等を参照されたい.
Liouville 理論への応用を考えて、Γb (x) := Γ2 (x|b, b−1 ) という特殊化を考えてみよう. この二重ガンマ関数は x = −mb − nb−1 (m, n ∈ N) に極がある有理型関数（meromorphic function）である. 弦理論ではしばしばこの関数に遭遇する. 特に行列模型のスケーリング極限や、コニフォルド特異性の解析などにおいてあらわれる. また二次元スカラー QED の Schwinger による振幅計算にあらわれるのもこの因子である. ラージ N 双対性の研究において Gopakumar と Vafa は、Schwinger の結果を用いることでコニフォルドの A-モデル分配関数を Γb (x) によって与えた. これらの話題に興味のある
読者は [74] を参照のこと.
さてこの関数 Γb (x) を用いて、Υ-関数が定義できる

Υb (x) :=1Γb (x)Γb (Q − x)

(A.5)

ここで Q は AGT 予想であらわれる Q = b + 1/b である. 今回は用いないが、この Υ-関数は次のように表すことも出来る:
]
(
)2
∫ ∞ [
dt −t Qsinh2 ((Q/2 − x)t/2)2
log Υb (x) =e−x −for 0 < Re(x) < Q.
(A.6)
t
2
sinh(bt/2) sinh(t/2b)0Υ-関数に対しては、以下の公式が成り立っている:Υb (x) = Υb−1 (x),(A.7)

Υb (x) = Υb (Q − x),(A.8)Υb (x + b) = γ(bx)b1−2bx

Υb (x).

ここで小ガンマ関数は γ(x) := Γ(x)/Γ(1 − x) であり、最後の性質は√2πbbx−1/2Γb (x + b) =Γb (x),
Γ(bx)
から従う.

70

(A.9)

(A.10)

Soryushiron Kenkyu

漸近的振る舞い3
Υb (x) ∼ x2 log x + x2 ± iπx2 + Qx log x + O(x) as
2

Im(x) → ±∞.

(A.11)

この漸近的振る舞い（正確には log Γb の漸近的振る舞い）はトポロジカルストリング理論のコニフォ
ルド特異性近傍での振る舞いを記述している. そのためこの展開形は弦理論の様々な場面で遭遇する因子である8 .
解析性

Υ は x の整関数（entire function）で、その零点は
x = Q + mb + nb−1 , −mb − nb−1

m, n ∈ N,(A.12)にある.
境界 Liouville 理論などにおいては、二重サイン関数

Sb (x) :=Γb (x),Γb (Q − x)

(A.13)

も重要となるが、ここでは詳しく述べない. 興味のある読者は [75, 76] を参照のこと.
以上で数学の準備が整ったので、いよいよ Dorn、Otto、Zamolodchikov そして Zamolodchikov により発見された Liouville 三点関数を書き下すことができる:
DOZZ 三点関数[

P] Q− i αi( )2b
C DOZZ (α1 , α2 , α3 ) = π µ γ b2 b2−2b×Υ0 Υb (2α1 )Υb (2α2 )Υb (2α3 ).
Υb (α1 + α2 + α3 − Q)Υb (α1 + α2 − α3 )Υb (α2 + α3 − α1 )Υb (α3 + α1 − α2 )(A.14)

ただし

Υ0 := ResdΥb (x),dx(A.15)という量を導入した.

参考文献[1] A. A. Belavin, A. M. Polyakov and A. B. Zamolodchikov, Nucl. Phys. B 241, 333 (1984).
[2] N. Seiberg and E. Witten, Nucl. Phys. B 426, 19 (1994) [arXiv:hep-th/9407087].
[3] N. A. Nekrasov, Adv. Theor. Math. Phys. 7, 831 (2004) [arXiv:hep-th/0206161].
[4] L. F. Alday, D. Gaiotto and Y. Tachikawa, arXiv:0906.3219 [hep-th].
[5] A. B. Zamolodchikov, Al. B. Zamolodchikov, Sov. Sci. Rev. A. Phys, Vol. 10, 269 (1989).
[6] P. di Francesco, P. Mathieu and D. Senechal, Conformal Field Theory, Springer (1997)[7] J. Polchinski, “String theory. Vol. 1: An introduction to the bosonic string,” Cambridge, UK:
Univ. Pr. (1998) (J. ポルチンスキー著 伊藤 克司・小竹 悟・松尾 泰 (訳), ストリング理論, 第
1,2 巻, シュプリンガーフェアラーク東京 (2005,2006))
また N = 1 ゲージ理論の幾何工学（geometric engineering）を通じ、ゲージ理論の有効グルーボールスーパーポテン
シャルとも関係する. 実際この展開の初項は有名な Veneziano-Yankielowicz スーパーポテンシャル WV Y = N S log S の弦理論での実現そのものになっている.
8

71

Soryushiron Kenkyu[8] 山田 泰彦, 共形場理論入門 (数理物理シリーズ), 培風館 (2006)[9] N. Wyllard, JHEP 0911, 002 (2009) [arXiv:0907.2189 [hep-th]].
[10] D. Gaiotto, arXiv:0908.0307 [hep-th].
[11] N. Drukker, D. R. Morrison and T. Okuda, JHEP 0909, 031 (2009) [arXiv:0907.2593 [hep-th]].
[12] L. F. Alday, D. Gaiotto, S. Gukov, Y. Tachikawa and H. Verlinde, JHEP 1001, 113 (2010)[arXiv:0909.0945 [hep-th]].
[13] R. Dijkgraaf and C. Vafa, arXiv:0909.2453 [hep-th].
[14] Y. Tachikawa, arXiv:1108.5632 [hep-th].
[15] A. Mironov, S. Mironov, A. Morozov and A. Morozov, arXiv:0908.2064 [hep-th].
[16] A. Marshakov, A. Mironov and A. Morozov, arXiv:0907.3946 [hep-th].
[17] J. Teschner, Class. Quant. Grav. 18, R153 (2001) [arXiv:hep-th/0104158].
[18] Y. Nakayama, Int. J. Mod. Phys. A 19, 2771 (2004) [arXiv:hep-th/0402009].
[19] V. A. Fateev and A. B. Zamolodchikov, Nucl. Phys. B 280, 644 (1987).
[20] V. A. Fateev and S. L. Lukyanov, Int. J. Mod. Phys. A 3, 507 (1988).
[21] A. B. Zamolodchikov, Theor. Math. Phys. 65, 1205 (1985) [Teor. Mat. Fiz. 65, 347 (1985)].
[22] A. Mironov and A. Morozov, Nucl. Phys. B 825, 1 (2010) [arXiv:0908.2569 [hep-th]].
[23] N. Nekrasov and A. Okounkov, arXiv:hep-th/0306238.
[24] 伊藤克司, “N = 2 超対称ゲージ理論とインスタントン,” 2004 年度原子核三者若手夏の学校 講義録素粒子論研究, 116(4), 5 (2008).
[25] A. Iqbal and A. K. Kashani-Poor, Adv. Theor. Math. Phys. 7, 457 (2004) [arXiv:hepth/0212279],
M. Aganagic, A. Klemm, M. Marino and C. Vafa, Commun. Math. Phys. 254, 425 (2005)[arXiv:hep-th/0305132],
T. Eguchi and H. Kanno, JHEP 0312, 006 (2003) [arXiv:hep-th/0310235],
T. J. Hollowood, A. Iqbal and C. Vafa, JHEP 0803, 069 (2008) [arXiv:hep-th/0310272],
H. Awata and H. Kanno, JHEP 0505, 039 (2005) [arXiv:hep-th/0502061] ,A. Iqbal, C. Kozcaz and C. Vafa, JHEP 0910, 069 (2009) [arXiv:hep-th/0701156],
M. Taki, JHEP 0803, 048 (2008) [arXiv:0710.1776 [hep-th]].
[26] H. Nakajima, Univ. Lect. Ser. 18, AMS (1999).
[27] E. Witten, Nucl. Phys. B 500, 3 (1997) [arXiv:hep-th/9703166].
[28] D. Gaiotto, arXiv:0904.2715 [hep-th].
[29] D. Gaiotto, G. W. Moore and A. Neitzke, arXiv:0907.3987 [hep-th].
[30] V. Pestun, arXiv:0712.2824 [hep-th].
[31] N. Drukker and F. Passerini, arXiv:1012.1352 [hep-th].
[32] V. A. Fateev and A. V. Litvinov, JHEP 0711, 002 (2007) [arXiv:0709.3806 [hep-th]].
[33] S. Kanno, Y. Matsuo, S. Shiba and Y. Tachikawa, arXiv:0911.4787 [hep-th].
[34] L. Hollands, C. A. Keller and J. Song, JHEP 1103, 053 (2011) [arXiv:1012.4468 [hep-th]].
[35] A. Marshakov, A. Mironov and A. Morozov, Phys. Lett. B 682, 125 (2009) [arXiv:0909.2052[hep-th]].
[36] M. Matone, Phys. Lett. B 357, 342 (1995) [arXiv:hep-th/9506102].
[37] M. Matone, Phys. Rev. D 53, 7354 (1996) [arXiv:hep-th/9506181].
[38] J. Sonnenschein, S. Theisen and S. Yankielowicz, Phys. Lett. B 367, 145 (1996) [arXiv:hepth/9510129].
[39] K. Maruyoshi and M. Taki, Nucl. Phys. B 841, 388 (2010) [arXiv:1006.4505 [hep-th]].
[40] M. Taki, arXiv:0912.4789 [hep-th].
[41] A. Kapustin, Phys. Rev. D 74, 025005 (2006) [arXiv:hep-th/0501015].
[42] D. Gaiotto, G. W. Moore and A. Neitzke, arXiv:1006.0146 [hep-th].
[43] S. Gukov and E. Witten, arXiv:hep-th/0612073.
[44] C. Kozcaz, S. Pasquetti and N. Wyllard, JHEP 1008, 042 (2010) [arXiv:1004.2025 [hep-th]].
[45] T. Dimofte, S. Gukov and L. Hollands, arXiv:1006.0977 [hep-th].
[46] M. Taki, arXiv:1007.2524 [hep-th].
[47] H. Awata, H. Fuji, H. Kanno, M. Manabe and Y. Yamada, arXiv:1008.0574 [hep-th].
[48] B. Ponsot and J. Teschner, arXiv:hep-th/9911110.
[49] N. Drukker, J. Gomis, T. Okuda and J. Teschner, JHEP 1002, 057 (2010) [arXiv:0909.1105[hep-th]].
[50] N. Drukker, D. Gaiotto and J. Gomis, arXiv:1003.1112 [hep-th].
[51] J. Gomis and B. Le Floch, arXiv:1008.4139 [hep-th].
72

Soryushiron Kenkyu[52] A. Mironov, A. Morozov and S. Shakirov, Int. J. Mod. Phys. A 25, 3173 (2010)[arXiv:1001.0563 [hep-th]].
[53] A. Mironov, A. Morozov and A. Morozov, Nucl. Phys. B 843, 534 (2011) [arXiv:1003.5752[hep-th]].
[54] H. Itoyama and T. Oota, Nucl. Phys. B 838, 298 (2010) [arXiv:1003.2929 [hep-th]].
[55] T. Eguchi and K. Maruyoshi, JHEP 1002, 022 (2010) [arXiv:0911.4797 [hep-th]].
[56] H. Itoyama, K. Maruyoshi and T. Oota, Prog. Theor. Phys. 123, 957 (2010) [arXiv:0911.4244[hep-th]].
[57] A. Mironov, A. Morozov and S. Shakirov, JHEP 1002, 030 (2010) [arXiv:0911.5721 [hep-th]].
[58] M. Marino, Rev. Mod. Phys. 77, 675 (2005) [arXiv:hep-th/0406005],
M. Marino, arXiv:hep-th/0410165,
A. Neitzke and C. Vafa, arXiv:hep-th/0410178.
[59] A. B. Zamolodchikov, Commun. Math. Phys. 96, 419 (1984).
[60] V. A. Fateev and A. V. Litvinov, JHEP 1002, 014 (2010) [arXiv:0912.0504 [hep-th]].
[61] L. Hadasz, Z. Jaskolski and P. Suchanek, JHEP 1006, 046 (2010) [arXiv:1004.1841 [hep-th]].
[62] R. Poghossian, JHEP 0912, 038 (2009) [arXiv:0909.3412 [hep-th]].
[63] A. Losev, N. Nekrasov and S. L. Shatashvili, Nucl. Phys. B 534, 549 (1998) [arXiv:hepth/9711108].
[64] G. W. Moore, N. Nekrasov and S. Shatashvili, Commun. Math. Phys. 209, 97 (2000)[arXiv:hep-th/9712241].
[65] V. A. Alba, V. A. Fateev, A. V. Litvinov and G. M. Tarnopolsky, arXiv:1012.1312 [hep-th].
[66] D. Maulik and A. Okounkov, to appear?
[67] A. Mironov, A. Morozov and S. Shakirov, arXiv:1011.5629 [hep-th].
[68] A. Mironov, A. Morozov and S. Shakirov, JHEP 1102, 067 (2011) [arXiv:1012.3137 [hep-th]].
[69] B. Eynard and N. Orantin, [arXiv: math-ph/0702045].
[70] B. Eynard and O. Marchal, JHEP 0903, 094 (2009) [arXiv:0809.3367[math-ph]].
[71] N. A. Nekrasov and S. L. Shatashvili, arXiv:0908.4052 [hep-th].
[72] A. Mironov and A. Morozov, JHEP 1004, 040 (2010) [arXiv:0910.5670 [hep-th]].
[73] E.W. Barnes, Phil. Trans. Roy. Soc. A196, 265 (1901).
[74] 菅野浩明, “位相的弦理論の分配関数と数え上げ,” 2006 年度原子核三者若手夏の学校 講義録, 素粒子論研究, 115(5), 209 (2007).
[75] B. Ponsot, Int. J. Mod. Phys. A 19S2, 311 (2004) [arXiv:hep-th/0301193].
[76] 黒川信重, 小川信也, “多重三角関数論講義,” 日本評論社 (2010).

73