181

  Donaldson不 変 量 とSeiberg-Witten理 論

古   田  幹 雄

1は じめ に

D・naldS・n不 変 量 は4次 元 多様 体 の不 変 量 で あ る.こ れ はSeiberg一Witten不 変 量 と よ ばれ る別

の不 変 量 を用 い て 記 述 で き る こ とが 知 られ て い る.こ の 事 実 の数 学 的 な証 明 はPidStrigach一Tyur一

in([27])に よ る プ ロ グ ラ ム に は じ ま り, Feehan-Leness([8])に よ っ て完 成 され た .し か し そ れ以

前 にWittenに よ り,こ の 記 述 公 式 は も と よ り, Seiberg-Witten不 変 量 を 定 義 す るた め の 偏 微 分

方 程 式 自体 ま で もが,物 理 で 「Seiberg-Witten不 変 量 」と よ ば れ る理 論 の 副 産 物 と して 得 られ て い

た.こ の 論 説 で 紹 介 す るの は,後 者 の 筋 道 で あ る。

は じ め にDonaldson不 変 量 を場 の 理 論 を 用 い て ど う記 述 す る の か を述 べ る.形 式 的 に は無 限 次

元の 「
場 」の 空 間 の上 の 積 分 とな る.積 分 す る 「
場 」の 空 間 の 設 定 の たゆ に は「fermion」の 導 入 が 必 要

と な る.被 積 分 項 の 設 定 の た め に は 同 変 コ ホ モ ロ ジー 群 のde  Rham版 を 用 い る.こ の 場 の 理 論

を,と くにEuclid空 間 上 で調 べ る こ とが 重 要 で あ る.そ の 場 合 理 論 はN=2超 対 称 性(をtwistし

た もの)を もつ.

無 限 次 元 の 空 間 上0積 分 を正 当 化 す るた め の物 理 の 手 続 きの ひ とつ が 「く り こみ 」で あ る.「 く り
こみ 」と は一 種 の正 則 化 の操 作 で あ り,一 般 に こ う し た正 則 化 に よ っ て 生 じ る効 果 を 「量 子効 果 」と

よ ぶ.「 く り こみ」 の 際 も と も との形 式 的 積 分 に対 して存 在 した 群 作 用 に よ る対 称 性 が,「 量 子 効

果 」の た め に破 れ て し ま う現 象 が し ば し ば あ らわ れ,「anomaly」 と よ ば れ る.1)onaldson不 変量 を

記 述 す る理 論 は,特 にEuclid空 間 上 に お い て は,(「 く り こみ」 以 前 に)σ(1)R対 称 性 と よば れ る

対 称 性 を もつ が,こ れ はanomalyを も つ.厳 密 に は現 在 の と こ ろ,「 く り こみ 」 は(Yang一Mil1S

理 論 に対 し て は)摂 動 論 的 に の み 定 義 さ れ て い る.す なわ ち漸 近 展 開 の各 項 の み が定 義 可 能 で あ る.

な ん らか の 総 和 法 を用 い な い か ぎ り,こ れ は収 束 す ら して い な い.

Seiberg-Witten理 論 にお い て 中 心 的 な 役 割 を果 た す の が 「電 磁 双 対 性 」で あ る.「 く り こみ 」 に

よ っ で 構成 され る よ う な場 の 理 論 だ け を考 え る に と ど まる の で は,い わ ば,あ るべ き 「理 論 」 の カ

テ ゴ リー と し て は 閉 じ て い な い 。 「電 磁 双 対 性 」と は,場 の理 論 だ け を使 っ て場 の 理 論 を わ ず か に越

えた もの を記 述 す るた め の手 段 の 性 格 を もつ.す な わ ち,ひ とつ の 場 の 理 論 か ら は記 述 で きな い も

の を別 の場 の 理 論 に よ っ て記 述 す る た め の は りあ わ せ が 「電 磁 双 対 性 」 で あ る.

しか し,実 際 に考 察 され るの は,(弦 理 論 の よ う に場 の 理 論 を も と も と越 えた 由 来 を もつ 理 論 で

は な く)「く りこ み」 に よ っ て構 成 され る,特 定 の場 の 理 論 で あ る.正 確 に は さち に そ の,あ る種 の

近 似 と して定:義 さ れ る 理 論(低 エ ネ ル ギ ー 有 効 理 論)を 考 え る.Donaldson不 変 量 は,こ の近 似 理

論 か ら完 全 に決 定 さ れ る.こ の 近 似 理 論 は 単 一 の 場 の 理 論 と し て は記 述 さ れ ず,「 電 磁 双 対 性 」 に

よ っ て い くつ か の 理 論 を は り あ わ せ る こ と に よ っ て 記 述 さ れ る と想 定 さ れ る.す る と,σ(1)R

anomalyの 性 質 とN=2超 対 称 性 に と もな う正 則 性(holomorphicity)と か ら,こ の 近 似 理 論 が 厳

密 に完 全 に,閉 じた 形 で 決 定 さ れ る.こ れ がSeiberg-Witten理 論 で あ る.

69
 182  論 説

「電 磁 双 対 性 」 に よ って は じ め て(局 所 的 な)場 の 理 論 に よ っ て 記 述 が 可 能 に な った も の は モ ノ
ポ ー ル(と ダ イ オ ン)で あ る.も と も とのDonaldSon不 変 量 を 記 述 す る場 の 理 論 に お い て,古 典 論

的 に は これ ら は ソ リ トン と して み え て い た.漸 近 展 開 の収 束 性(な ん らか の 総 和 法 を仮 定 し て)が

悪 くな る「強 結 合 領 域 」に お い て,こ れ ら の ソ リ トンの 「質 量 」が0に 近 づ くの で,ソ リ トン を基 本 的

な 「場 」 と し て 採 用 す る 記 述 が 可 能 に な る,と い うの が 「電 磁 双 対 性 」 の 機 構 の 定 性 的 説 明 で あ

る.Seiberg一Witten不 変 量 は,モ ノ ポ ー ル を 「電 磁 双 対 性 」 を用 い て場 の 理 論 の 枠 内 で 記 述 し た

もの か ら定 義 され る.

以 下 の説 明 は'1997年3月 のSurveys  in Geometryの 報 告 集 と一部 重 な る こ と をお こ とわ りし ま

す.ま た,文 献 は この 論 説 と関連 す る もの に限 られ て お り,決 し て モ ノ ポー ル 方 程 式 の数 学 へ の 応

用 を 網 羅 す る もの で はな い こ と をお こ とわ りし ま す.

付 記:校 正 中 に曳Wittenが,数 学 者 む け にSeiberg-witten理 論 を 基 礎 か ら解 説 した 講 義 の 記

録 が あ る こ と に気 づ い た([41]).ま た,Freedに よ る, N=2超 対 称 σ(1)理 論 に伴 う トー ラ ス 束

(rigid 
special Kahler構 造)に 関 す る よ い解 説 が 最 近 あ らわ れ た([10]).(local  special K琶lhler・
構

造,Frobenius多 様 体 の物 理 的 説 明 はDij 
kgraafに よ る解 説([2]8章)が 読 み や す い.)

詳 細 にわ た っ て 多 くの 示 唆 を い た だ い た レ フ ェ リー の 方 に感 謝 い た し ます.

2  場 の理 論 に よ る1)onaldso:n不 変量 の表示

2.1  Mathai-Quillen  formalism

2.1.1Donaldson不 変量

向 きの あ る4次 元 閉Riemann多 様 体 を考 え よ う.こ の4次 元 多 様 体 上 に,さ ら にSσ(2)主 束を

ひ とつ 固 定 す る.Donaldsonは,こ のSU(2)主 束 の上 の 「反 自己 双 対(ASD)接 続 のmoduli空 間」

を用 い て,.Donaldson不 変 量 とよ ば れ る位 相 不 変 量 を定 義 した([5]).

Sσ(2)接 続 をAと す る と,そ れ がASDで あ る とは偏 微 分 方 程 式

F+=0

を みた す こ とで あ る.こ こでF+は 曲率 の 自己 双 対 成 分 で あ る.

形 式 的 に い う な ら,ASD接 続 のmoduli空 間 は,あ る無 限 次 元 空 間 の 上 の無 限 次 元 ベ ク トル 束

の 切 断 の零 点 集 合 と し て定 義 され る.「 あ る無 限 次 元 空 間 」とは 接 続 の ゲ ー ジ 同値 類 全 体 の集 合 で あ

る.す な わ ち,接 続 全 体 の な す 空 間 を ゲ ー ジ群 の 作 用 で わ っ た 商 で あ る.rこ こで,ゲ ージ群 とは

SU(2)主 束 の 自己 同 型 の な す群 を さ す.「 無 限 次 元 ベ ク トル 束 の 切 断 」と は,各 接 続 に た い し て そ

の 曲 率 の 自 己双 対 成 分 を対 応 させ る写 像 で あ る.こ の 零 点 集 合 は,有 限 次 元 の(一 般 に は)特 異 点 を

もっ 多 様 体 に な る.4次 元 多 様 体 の 計 量 が 一 般 的 で あ れ ば,ほ とん どの 多 様 体 に対 し て,こ の零 点

集 合 は特 異 点 を もた な い.

さて,以 上 の一 般 性 の 仮 定 の も とで,も し,さ らに零 点 集 合 が コ ンパ ク トで あ る と き に は,そ れ

は ひ とつ の サ イ ク ル を定 め る.Donaldsonが 示 した の は,ほ とん どの 多 様 体 に対 し て,た と え零

点 集 合 が コ ンパ ク トで な く と も,サ イ ク ル を定 義 で き る とい う こ とで あ る.こ こ で,「 ほ とん どの

多 様 体 」 とい って い るの は,「 交 叉 形 式 を制 限 す る と正 定 値 に な る よ う な2次 ホ モ ロ ジ ー群 の 極 大

線 形 部 分 空 間 が2次 元 以 上 で あ る」とい う条 件 で あ る.定 義 か ら,零 点 集 合 は …接

続 のゲ ージ同値 類

全 体 の 集 合 に含 まれ て い た.こ の無 限 次 元 の 集 合 の(有 理)コ ホ モ ロ ジー 群 は,も との4次 元 多 様 体

70
 DonaldSon不 変 量 とSeiberg-Witten理 論   183

を み る と直 ち に計 算 さ れ る.サ イ クル を具 体 的 に 同定 す る に は,コ ホ モロ ジ ー群 の 要 素 た ち を その

上 で 積 分 した 値 をみ れ ば よ い.こ こで コ ホ モ ロ ジ ー群 の 要 素 は,た とえ ば 微 分 形 式 で あ らわ して お

く もの とす る.問 題 は,一 般 に は零 点 集 合 が コ ンパ ク トで な 砂 の で,積 分 が 収 束 す るか ど うか わ か

ら な い こ とで あ る.Donaldsonが 行 っ た の は,零 点 集 合 が コ ン パ ク トで な く と も積 分 を正 則 化 し

て,う ま く積 分 値 を定 義 す る こ とで あ っ た.し か も,こ う し て定 義 され るサ イ ク ル が(ほ とん どの

多 様 体 に 対 し て)微 分 位 相 的 不 変 量 に な っ て い る こ と を証 明 し た.こ れ がDonaldson不 変量 であ

る.形 式 的 に い うな ら,こ の サ イ ク ル1ホ,無 限 次 元 ベ ク トル 束 のEuler類 のPoincar6双 対であ

る。

「(ASD)接 続 」 の 概 念 を 「点 」 の 拡 張 概 念 の ひ とつ と思 い な せ ば, Donaldson不 変 量 は,交 差

形 式 に相 当 す る.
2.1.2  無 限 次 元 の扱 い方 の 正 当 化

場 の 量 子 論 の枠 組 み に もち 込 む際 に 必 要 とな る の は,Euler類 を同 変Euler類 と して 定 義 し直 す
こ とで あ る.も と も と無 限 次 元 ベ ク トル 束 のEuler i類は,そ の ま まで は 数 学 的 に は定 義 され な い.

(だ か ら そ の か わ りに有 限 次 元 の サ イ ク ル上 の 積 分 の正 則 化 を考 えた.)よ っ て,こ の 時 点 にお い て

ひ とま ず 数 学 的 厳 密 さ か ら逸 脱 す る.た だ し,こ の 時 点 で は,物 理 的 な 厳 密 さ か ら も逸 脱 して い

る.物 理 的 厳 密 さ に お い て は,無 限 次 元 を あ つ か う た め に は(ひ とつ の 方 法 と し て)rく り こみ 」

を必 要 とす る.数 学 と物 理 との2通 りの 非 厳 密 さ は,等 し く 「無 限 次 元 」 に起 因 す る.し か し,そ

れ を乗 り越 え る手 段 が 異 な る.数 学 で は有 限 次 元 の サ イ ク ル を考 え る。 物 理 で は 「く り こみ 」 を考

え る.そ して,両 者 の 乗 り越 え手 段 が,い ま の場 合 同 等 で あ る こ とは,結 果 と して 正 しい こ とが わ

か って い る.(何 を もっ て 「正 しい 」 とみ な す か に は議 論 の 余 地 が あ る が,説 明 を簡 明 にす るた め

こ うい わ せ て い た だ く.)し か し,乗 り越 え手 段 の定 義 か ら出 発 して この 同 等 性 を証 明 す る こ と は,

な され て い な い.

2.1.3  場 の 空 間 の 有 限 次 元 モ デ ル

で は,toy  rn0delと し て,有 限 次 元 の 多 様 体 上 で 有 限 次 元 の ベ ク トル 束 の切 断 が 与 え られ,そ の

零 点 集 合 が 特 異 点 を もた ず コ ンパ ク トで あ る とい う状 況 を考 え る と ど うか.こ うす れ ば厳 密 さ に お
い て い か な る 問 題 も生 じな い.Mathai一Quillenが 与 えた の は ま ず は この よ う な状 況 に お け る定 式

化 で あ っ た([21J).こ の よ う な 状 況 でEuler類 を同 変Euler類:と し て 定 式 化 し直 す こ とを 考 え よ

う.す な わ ち,そ の有 限 次 元 の 多 様 体 は,さ き に述 べ た 「商 空 間 」 に対 応 し,そ の ベ ク トル束 と同

伴 す る主 束 の 全 空 間 が 「接 続 全 体 の空 間 」 に な ぞ ら え られ る。 ベ ク トル 束 の構 造 群 が,ゲ ー ジ群 に

あ た る.最 終 的 に求 め た い の は,こ の 主 束 の 任 意 の 特 性 類 を零 点 集 合 の つ くる サ イ クル 上 で積 分 し

た値 で あ る.い いか え れ ば,任 意 の特 性 類 とEuler類 との積 を,(商 空 間 に相 当 す る)最 初 に あ た え

られ た 有 限 次 元 の 多 様 体 の上 で積 分 した値 で あ る.こ れ がDonaldson不 変 量 に相 当 す る.

Mathai-Quillenは,こ の値 を(接 続 全 体 の空 間 に相 当 す る)主 束 の 全 空 間 の 上 の積 分 と して あ ら

わ した.実 際 に は,ま ず そ の値 を主 束 を さ ら に膨 ら ませ た 大 きな 空 間 の上 の 積 分 と し て あ らわ し,

そ の積 分 の一 部 を実 行 す る こ と に よ り,主 束 の 上 の積 分 の形 に か く とい う のが 筋 道 で あ っ た.

「主 束 を さ ら に膨 ら ませ た 大 きな 空 間 」 とは 何 か.結 論 か ら い え ば,2通 りの膨 ら ませ か た をす

る.第 一 に,(ゲ ー ジ群 に相 当 す る)構 造 群 のLie環 の コ ピ ー を2個,直 積 す る.第 二 に,主 束 の 各

点 ご とに,さ ら に,(i)主 束 の そ の 点 に お け る接 空 間,(ii)構 造 群 のLie環,そ し て,(iii)与

71
 184  論 説

え られ た ベ ク トル 束 の そ の 点 に お け る フ ァ イ バ ー の 分 だ け膨 ら ま す.第 一 に 膨 ら ませ る も の は た だ

の 直 積 で あ る が,第 二 の も の は,物 理 の 言 葉 を 用 い る な ら ば,「fermion」 と し て 膨 ら ま せ る .す

な わ ち,「Grassrnann数 の 意 味 で 奇 」 な 場 と考 え る.正 確 に は 「supermanifold」 として定式 化 さ

れ る.こ れ に つ い て の 詳 し い 説 明 は[15]に ゆ ず る 。 ひ と こ と だ け 述 べ れ ば,supermanifoldの ひ

と つ の 粗 い 定 義 は,「(Schemeの よ う な)環 つ き 空 間 で あ っ て,構 造 層 と し て は通 常 の 可 換 な 多 項

式 環 的 な 部 分 と と も に,反 可 換 なGrassman代 数 的 な 部 分 が 含 ま れ て い る 空 間 」 で あ る .「super-

manifold上 の 点 」 は,や せ た 概 念 で あ る 。 む し ろ 「supermanifold上 の 関 数 」 を 語 る こ と が,

superrnanifoldを 普 通 の 多 様 体 と 平 行 し て 扱 う 方 法 と な る .「 座 標 」 は 「関 数 」 の 特 別 な も の で あ

る か ら,座 標 表 示 に よ っ て 多 様 体 を 扱 う大 方 の 議 論 は,supermanifoldに 対 して 拡 張 され る.

こ こ に あ ら わ れ た,厳 密 に はSupermanifoldと して 定 式 化 さ れ る 無 限 次 元 の 空 間 を 「
場 の空 間 」

と よ ぶ.

2.2  場 の 空 間 上 で の 積 分

2.2.1  Lagrangianと 測度

Donaldson  変 量 を 定 義 す る 際 に 必 要 に な る 形 式 的 な 同 変Euler類:に つ い て も,一 般 的 な設 定

の も とで 定 式 化 さ れ る.Mathai-Quillenの 結 論 だ け の べ る と,(i)与 え られ た切 断 を 用 い て あ る

「関 数 」 を 具 体 的 に 構 成 し,(ii)そ れ に コ バ ウ ン ダ リ ー 作 用 素 を 作 用 さ せ,(iii)さ らに これ を

exponentia1の 肩 に の せ た も の が 同 変Euler類 を 与 え る.無 限 ラ ン ク の ベ ク トル 束 か ら 出 発 す る と

本 来 のEuler類 は 定 義 で き な い が,そ れ に も か か わ ら ず,こ の(i),(ii),(iii)の 手続 きは可能

で あ る.

(i),(ii)の 手 続 き で 得 ら れ る も の(exponentia1の 肩 に の っ て い る も の)は,物 理 の文 脈 で

は 「Lagrangian」 と よ ば れ る も の の 役 割 を 果 た す こ と に な る.

Lagrangianをexponentia1の 肩 にの せ た 「関 数 」 は,物 理(場 の 理 論)に お い て 「測 度 」 の よ う

な 役 割 を 果 た す.む し ろ,こ の よ う な 役 割 を 果 た す も の をLagrangianと よ ぶ.正 確 に は,あ らか

じ め,(LebeSgue測 度 の よ う な)定 数 倍 を 除 い て 一 意 に 定 ま る 標 準 的 な 「
体 積 要 素 」 が あ た え られ

て い る と仮 定 し,(今 考 え て い る 接 続 の 空 間 の 場 合 は,affine空 間 な の で,形 式 的 には平行 移 動 で

不変 な 「体 積 要 素 」 が 定 数 倍 を 除 い て 一
一意 に 定 ま る.)そ の 測 度 に,Lagrangianの 指 数 を 掛 けた

も の が,考 え た い 測 度 で あ る.測 度 が あ る と,任 意 の 「関 数 」 に 対 し て,'そ の平 均 値 を定 義 す 為 こ

と が で き る.こ れ を,そ の 「関 数 」 の 「期 待 値 」 と よ ぶ.平 均 値 を定 義 す るた め に は積 分 が必 要 で

あ り,よ っ て 無 限 次 元 に 起 因 す る 困 難 を は ら む.し か し,本 当 に 欲 し い の は,期 待 値 だ け で あ る.

な ん ら か の 正 則 化 の 手 続 ぎ に よ っ て 期 待 値 を う ま く定 義 す る こ と が,数 学 で も物 理 で も や り た い こ

と で あ る.

今 の 場 合,上 の よ う に 形 式 的 に 定i義 さ れ るLagrangianの う ちfermionを 含 ま な い部 分 を具 体 的

に か く と,

(1)

で あ る.た だ し,AはSU(2)接 続, FAは そ の 曲 率 で あ る.φ 、,φ2は,い ず れ も構造 群 で あ る

ゲ ー ジ 群 のLie環 の 要 素 で あ る.ゲ ー ジ 群 は4次 元 多 様 体 上 局 所 的 に は, Sσ(2)値 関 数 と して か

け る か ら,φ1,φ2はsu(2)値 関 数 と し て か け る.

72
 Donaldson不 変 量 とSeiberg-Witten理 論   185

9と θ は パ ラ メ ー タ で あ る.gは 結 合 定 数 と よ ば れ,摂 動 計 算 に は9'に 関 す る展 開 を用 い る.

Donaldson不 変 量 は どの9を 使 つ て も計 算 で き る.(も っ と も,上 の 表 示 自体 が 形 式 的 な もの で あ

る か ら,こ れ は不 正 確 な い い 方 で あ る.)θ を係 数 とす る項 の 積 分 はAが 定 義 さ れ て い るSU(2)

束 の位 相(す な わ ち第2Chern類)に の み依 存 す る。 種 々 の 期 待 値 に対 し て,第2Chern類 に関 す る

母 関 数 を 考 え る こ とが 自 然 で あ る.(「cluster分 解 」と呼 ばれ る考 え 方 に対 応 して い る.)こ の 母 関

数 を作 るた め の 形 式 的 変 数 と して使 わ れ る の が θで あ る.

Lagrangianは 指 数 関 数 の 指 数 と し て の み あ ら わ れ る こ と を 考 え る と,θ はR/2πZの 要素 と

思 っ た 方 が よ い.
2.2.2   
0bservable

Donaldson不 変 量 を定 義 す る際 に も うJつ 必 要 な の は,同 変 コ ホ モ ロ ジ ー 群 の 個 々 の コ ホ モ ロ

ジ ー要 素 で あ る.こ れ を具 体 的 に表 示 す るた め に はMathai一Quillenの 一 般 論 よ りさ ら に踏 み 込 む
必 要 が あ る.

も と も とDonaldSon理 論 の状 況 に お い て,こ の コ ホ モ ロ ジ ー要 素 達 は,考 え て い る4次 元 多 様

体 の ホ モ ロ ジ ー 群 を 「μ 写 像 」 と呼 ば れ る 写 像 に よ っ て 写 し た 像 に よ っ て,す べ て 生 成 さ れ る.

「接 続 」 の概 念 を 「点 」 の ひ とつ の拡 張 概 念 と思 い な せ ば,こ れ は,Poincare双 対 に 相 当 す る命 題

で あ る.Poincare双 対 性 の ひ とつ の定 式 化 は,「 直 積 の な か の 対 角 集 合 の基 本 類 」 を 分 解 表 示 す る

こ と に よ っ て な さ れ た.「 対 角 集 合 の 基 本 類 」 に相 当 す る の が,今 の場 合 「普 遍 束 の 特 性 類 」 で あ

る.

Chern-Weil理 論 に よ り,特 性 類 は 曲 率 で 表 示 す る こ と が で き た.こ れ を 用 い る と,同 変 コホモ

ロ ジ ー の 要 素(正 確 に は 代 表 元 の コ サ イ ク ル)が,場 の 空 間 上 の 「関 数 」 と し て 定 式 化 さ れ る.(こ

れ は 数 学 的 に 厳 密 な 命 題 で あ る.)

こ れ ら の コ ホ モ ロ ジ ー 要 素 は,物 理 の 文 脈 で は,observableと よばれ る ものの役 割 を果 たす ご

`と
に な る.そ れ ら のobservableの 「期 待 値 」 を 求 め る 際 に,上 の 同 変Euler類 が 「測 度 」 と し て

用 い ら れ,(無 限 次 元 め 困 難 の 処 理 を 無 視 し て 述 べ る な ら ば,)得 ら れ る 期 待 値 がDonaldson不 変

量 と___.致す る と い う の が 筋 道 で あ る.

コ サ イ ク ル の 具 体 的 表 示 の 結 論 は 次 の よ う な も の で あ る([37]).(i)ま ず,4次 元多 様体 上 の

微 分 形 式 で あ っ て 場 の 空 間 上 の 「関 数 」 に 値 を と る も の を う ま く 作 る.(ii)4次 元 多様 体 内 の

個 々 の サ イ ク ル 上 で そ れ を 積 分 す る と,こ れ ら は 同 変 コ ホ モ ロ ジ ー 群 の コ サ イ ク ル に な る.(iii)

こ れ ら の コ サ イ ク ル た ち の 多 項 式 全 体 に よ っ て,同 変 コ ホ モ ロ ジ ー 群 が 生 成 さ れ る.こ の手 続 き

は,Donaldson不 変 量 の も と も と の 定 義 に お い て μ 写 像 を 考 え る こ と に ち ょ う ど相 当 す る.

こ こ で は,4次 元 多 様 体 内 の1点 か ら な る0次 元 サ イ ク ル に対 応 す る 同 変 コ ホ モ ロ ジ ー群 の コ サ

イ ク ルuの み を か い て お く.

i4=trace(φ1+》==丁 φ2)2. 
                    ' 
   (2)

こ のuの 期 待 値 は,「 真 空 」 の 構 造 の 考 察 に お い て,特 にSeiberg-Witten理 論 に お い て,重 要 な

役 割 を は た す.

2.3  超 対 称 性

2.3.14次 元Euclid空 間の場合

以 上 は,任 意 の4次 元 多 様 体 に 対 し て(形 式 的 に)定 式 化 さ れ る 話 で あ る.Wittenの 定 式 化 を上

73
 186  論 説

の よ う にMathai-Quillen型 式 を 用 い て 説 明 し た の はAtiyah-Jeffrey([1])で あ る .も と も との
Wittenの 説 明 で は,「N=2超 対 称 性 を も つYang-Mills理 論 」を 「twiSt」 し た も の で あ る と い う

こ と が 強 調 さ れ て い た([37]) .こ れ に つ い て 説 明 す る.

以 上 の 話 で1ま,Lagrangianとobservableた ち は,コ バ ウ ン ダ リ ー 作 用 素 の 作 用 に よ っ て0に

な る よ う な も の で あ っ た.こ れ は,「 奇 の ベ ク トル 場 」1次 元 分 の 「対 称 性 」 を も つ 「理 論 」 を 考

え て い る こ と に 当 た っ て い る.observableた ち に 対 し て 期 待 値 を 対 応 さ せ る や'り か た を 指 定 す る

こ とを ひ とつ の 「理 論 」 と よ ぶ.ひ とつ の 「理 論 」 を 与 え る と は,Lagrangianを 与 え
,無 限次元
の 積 分 ρ 正 則 化 の 仕 方 を 決 め る こ と と い っ て も よ い .な お,Lagrangianの 与 え 方 と正 則 化 の 仕 方

と は連 動 し て い る の で,本 当 は 別 々 に 決 め る も の で は な い .当 面 は,正 則 化 に つ い て は 無 視 し て 話L

を 進 め る.

4次 元 多 様 体 が,特 に,4次 元 のEuclid空 間 で あ る 場 合 を 考 え る .す る と,「 理 論 」 の も つ 対 称

性 が 増 え る と い う の が,こ れ か ら説 明 し た い こ と で あ る.実 際,4次 元Euclid空 間 は,平 行 移 動

と 回 転 の 対 称 性 を も っ て い る.こ れ だ け で 既 に 対 称 性 は 増 え て い る .だ が 大 切 な の は,奇 のベ ク ト
ル 場 の 対 称 性 が1次 元 か ら8次 元 に ま で 増 え る こ とで あ る .こ こ で は,8次 元 の 奇 の ベ ク トル 場 で

生 成 ざ れ るSuper  Lie代 数 が ど の よ う な も の で あ る か を 述 べ る に と ど め よ う .し か し,大 切 な の

は,super  Lie代 数 の 抽 象 的 構 造 で は な く,そ れ が(偶 お よ び 奇 の)ベ ク トル 場 と し て 実 現 さ れ
,
Lagrangianが そ れ に よ っ て 不 変 に な る こ とで あ る.

2.3.2  N=2超 対 称性

も と め るsuper  Lie代 数 の 偶 の 部 分 は,平 行 移 動 と 回 転 の 無 限 小 作 用 全 体 か ら な るLie代 数 であ

る.奇 の 部 分 は,4次 元Eulcid空 間 の 平 行 な ス ピ ノ ル 全 体 か ら な る .偶 と奇 の ブ ラ ケ ッ トは 奇 に

な る が,こ れ は ス ピ ノ ル へ の 平 行 移 動 と 回 転 の 自 然 な 作 用 か ら 定 義 さ れ る .奇 と奇 の ブ ラ ケ ッ トは

偶 に な る が,こ れ は 本 質 的 にCliff0rd積 か ら定 義 さ れ る.

こ の 対 称 性 は4次 元MinkowSki空 間 にお い て 「N=2超 対 称 性 」 と よ ば れ る も の のEuclid版 で

あ る.4次 乖MinkOWSki空 間 に お い て は,8次 元 の ス ピ ノ ル の 空 間 は,あ る 実 ベ ク トル 空 間 の 複

素 化 の 形 に な っ て い る.(こ の 実 ベ ク トル 空 間 の 要 素 はMajoranaス ピ ノ ル と よ ば れ る.)よ っ て,

実 の 部 分 に 限 る と,奇 の 部 分 が4次 元 のSuper  Lie代 数 が 得 ら れ る.こ のsuperLie代 数 に関す る

対称性 が 「N=1超 対 称 性 」 と よ ば れ る.ス ピ ノ ル 全 体 を 考 え た も と のsuper  Lie代 数 の対 称 性 は,

奇 の 部 分 がN=1の 場 合 の2つ 分 の コ ピ ー と な っ て い る の で,「N=2超 対 称 性 」 と よ ば れ る.4次

元Euclid空 間 の ス ピ ノ ル に は 実 構 造 が な い.(Majoranaス ピ ノ ル が な い .)よ っ てN=1超 対称

性 の,Euclid版 は 存 在 し な い.(注:別 の い い 方 を す る な ら,4次 元Mink0wskiの 場 合 に は,奇

の 部 分 を 右 か 左 の ど ち ら か のWey1ス ピ ノ ル に 制 限 し て も, super  Lie代 数 の 構 造 はnontrivia1で

あ り,こ れ に 関 す る 対 称 性 がN=1超 対 称 性 で あ る.し か し,4次 元Euclidの 場 合 に は,奇 の部

分 を 正 か 負 の ど ち ら か の 部 分 に 制 限 す る と,Super  Lie代 数 の 構 造 が 偶 と奇 の 直 積 に 分 解 し たtriv-

ialな も の に な っ てLま う .)

2.3.3  twisting

次 に 「twisting」 に つ い て 説 明 す る. Donaldson不 変量 の定式 化 のた め導入 された 「関 数 空 間 」

に は,ス ピ ノ ル は 影 も形 も あ ら わ れ て い な い.実 は,こ れ ま で ス ピ ノ ル と よ ん で き た も の を ,本 当

の ス ピ ノ ル で は な く,そ れ を 少 し 「ひ ね っ た も の 」 に 置 き 換 え る 必 要 が あ る 。 本 当 の ス ピ ノ ル は

  74
 DonaldSon不 変 量 とSeiberg-Witten理 論  187

Shin(4)の 実8次 元 の 表 現 で あ っ てClifford積 を 許 す も の で あ る が,「 ひ ね っ た も の 」も 同 様 の 性 質

1を も
つ.具 体 的 に は,4次 元Euclid空 間 上 の 平 行 な(i)1次 微 分 形 式,(ii)0次 微 分 形 式,

(iii)自 己 双 対2次 微 分 形 式 た ち の な す 表 現 で あ り, Clifford積 は,外 積 と内 部 積 を利 用 し て 定 義

さ れ る.す る と,こ れ ら は,2.1.3の 最後 で 「関 数 空 間 」 を 定 義 す る 際 にfermi0nと し て導 入 さ れ

た(i),(ii),(iii)の 部 分 と よ く対 応 す る 形 を し て い る.

2.3.4  Euclid空 間への議論 の帰着

4次 元Euclid  間 の ト ポ ロ ジ ー は 自 明 な も の で あ る. Donaldson不 変 量 を 求 め る べ き4次 元多

様 体 は,一 般 に は 複 雑 な トポ ロ ジ ー を も っ て い る.に も か か わ ら ず 。 物 理 か ら の ア プ ロ ー チ で は,

Euclid空 間 上 の 考 察 が 基 本 的 で あ る.そ の 理 由 は,(i)位 相 不 変 量 を求 め るた め に は どん な

Riemann計 量 を 用 い て も よ く,(ii)特 に,ひ と つ のRiemann計 量 を どん ど ん拡 大 して 行 く と各

点 の ま わ り で はEuclid空 間 に 近 く み え て く る か ら で あ る.'実 際 に はRiemann計 量 を拡 大 し て も

残 る 大 域 的 な ト ポ ロ ジ ー の 効 果 が あ る.し か も,各 点 の ま わ り でEuclid空 間 に 近 け れ ば 各 点 の ま.

わ り ご と に 考 え て も よ い の か と い う と,こ れ は 決 し て 明 ら か で は な い.そ れ ど こ ろ か,一 般 には こ

れ は 正 し く な い.し か し,と り あ え ず,今 はEuclid空 間 上 の 考 察 が,・一 般 の4次 元 多様体 上 の考

察 の 本 質 的 な 部 分 の 半 分 を代 用 し て い る こ と を 認 め て,先 に 進 も う.

先 走 っ て 一 言 だ け 述 べ る と,行 い た い の は 「低 エ ネ ル ギ ー 有 効 理 論 」 の 構 成 で あ り,そ れ は無 限

次 元 に 起 因 す る 困 難 の う ち,「 大 域 的 な トポ ロ ジ ー の 効 果 」 と 無 関 係 な 部 分 を う ま く捨 て 去 る こ と

と い っ て も よ い.(た だ し,そ の 分Lagrangianに 情 報 を し わ 寄 せ す る 必 要 が あ る 。)こ の 捨 て 去 り

か た(あ る い は し わ 寄 せ の 仕 方)の 説 明 に 限 れ ば,Euclid空 間 上 で 行 え ば,本 質 的 な 部 分 を語 った

こ と に な る の で あ る.

す る と,上 のN=2超 対 称 性 を用 い て 「低 エ ネ ル ギ ー 有 効 理 論 」 を 調 べ る こ とが で き る.

3真 空 のmoduli空 間 と低 エ ネ ル ギ ー 有 効 作 用

3.1真 空 のmoduli空 間 、

3.1.'1  古 典 的 真 空 のmoduli空 間

Lagrangianをexponentialの 肩 にのせた 「関 数 」 を 用 い て 測 度 が 与 え ら れ て い た.そ れ とは ま

た 別 に 「関 数 」(observable)が 与 え ら れ た と き,こ の測 度 に 関 して 平 均 値 を 求 め る こ とが 問 題 で

あ っ た.も し,測 度 が デ ル タ 関 数 的 に1点 の み に 集 中 し て い れ ば,そ の 点 で の 値 が平 均 値 そ の もの

で あ る.そ う で な く と も,直 観 的 に い う な ら,平 均 値 は測 度 が 集 中 し て い る付 近 の 「関 数 」 の 値 に

よ っ て ほ ぼ 決 ま る 。4次 元 多 様 体 の 計 量 を ど ん ど ん 拡 大 し て ゆ く と き,測 度 は あ る 部 分 に 鋭 く集 中

し て ゆ く と考 え ら れ て い る 。

fermionの 部 分 に つ い て は,そ の上 の 「関 数 」 は 意 味 を も つ が,そ の部 分 の 「点 」 と い う 概 念 は

な い.し た が っ て,測 度 の 集 中 を 考 え る と き に は,ferrnionの 部 分 に関 して は あ らか じ め積 分 して

お き,残 り の 部 分 に つ い て,測 度 の 集 中 し て ゆ く箇 所 が ど こ で あ る か を 考 察 す る こ と に な る.本 来

は,積 分 の 正 則 化 と と も に 考 察 す べ き で あ る が と り あ え ず 形 式 的 に の み 考 え る こ と に す る.  (注:

実 は,む し ろfermion部 分 の 積 分 を 考 え る ほ う が,「 局 所 化 」 が 精 密 に み え る.実 数 の な す群 を

「奇 」 な 群 と み な し た も の をHRと お く と,も しHR作 用 が あ れ ば,11Rの 「

体 積 」 が0な の で,

そ れ が 自 由 に 作 用 す る部 分 か ら の 積 分 の 寄 与 は0に な る.す な わ ち,積 分 は,HR作 用の固定点 に

75
 188  論 説

「局 所 化 」 し て い る とわ か る.ASD方 程 式 は この 固 定 点 を与 え る 方 程 式 と し て 理 解 で き る.し か
し,今 考 えた い の は,よ り粗 い,よ り基 本 的 な 「局 所 化 」 で あ る.)

4次 元 多 様 体 は4次 元Euclid空 間 で あ る と仮 定 す る.考 え て い る 無 限 次 元 の 空 間 は, fermi0n

の 部 分 を 除 く と,接 続 全 体 にゲ ー ジ群 のLie代 数2個 を直 積 した もの で あ った .後 者 はSu(2)に 値

を と る`4次 元Euclid空 間 上 の2つ の 関 数 の 組 で あ る。 測 度 が 集 中 す る箇 所 と は, Lagrangianの

停 留 点 で あ る.式(1)を み る と,す ぐわ か る停 留 点 は,(i)接 続 が 自明 な平 坦 接 続 で あ り,(ii)2

つ のsu(2)値 関 数 φ・,φ2が と もに 定 数 関 数 で あ り,(iii)そ の 定 数 関 数 の 値 が 可 換 な2つ のsu(2)

の要 素 で あ る もの で あ る.測 度 が もっ と も集 中 す る の は こ の よ うな 部 分 で あ る こ と も わ か る.(正

確 に は 「定 数 関 数 」 と は,そ の平 坦 接 続 に つ い て 平 行 で あ る こ と を さ す .)

ゲ ー ジ変 換 で 写 りあ う もの を 同値 類:として括 れ ば,結 局,測 度 が もっ と も集 中 す る停 留 点 は,実

2次 元 の族 をな す こ とが わ か る.こ の 族 を パ ラ メ ー タ表 示 す る に は式(2)に よっ て 定 義 さ れ るuを

使 う のが よい.φ 、,φ2が 定 数 関 数 で あれ ばuも 定 数 で あ り,そ の値 の 複 素 数 を 同 じ記 号uで 表わ

そ う.

uの 定 義 で は,ま ず2つ のsu(2)の 要 素 を ま と めて1つ のs1(2, C)の 要 素 を作 って い る.次 にそ

の 自乗 の トレ ー ス を 取 っ て い る が,自 乗 を と るの はSU(2)のWey1群 の 作 用 で 割 る こ と に相 当 す

る.さ ら に トレー ス を 取 る とゲ ー ジ同 値 類 を丁 度 パ ラ メ ー タ 表 示 す る.今 の場 合Wey1群 は位 数2

の 巡 回 群 で あ り,uの 住 む複 素 平 面 は,原 点 に位 数2の 巡 回 群 で 割 っ た 商 の 特 異 点 を も つ と見 な

され る.こ の,原 点 に特 異 点 を もつ複 素 平 面 を,「 古 典 的 な真 空 のmoduli空 間」 とよぶ .

こ の名 称 に つ い て 説 明 して お く.         .               '

第 一 に,古 典 的,と よ ぶ の は積 分 の 正則 化 を まだ 考 え て い な い か らで あ る.

第 二 に,「 真 空 」 と よ ん で い る も の は,Lagrangianの 停 留 点 と ほ ぼ 同 等 で あ る.こ の,「 ほ ぼ 」

に っ い て は 少 々 説 明 を 要 す る.す べ て の停 留 点 を,「 局 所 的 」 な デ ー タ だ け に よう て 分 類 で き るだ

1才分 類 して み よ う.具 体 的 に4次 元Euclid空 間 の上 で この 分 類 を行 う に は,平 行 移 動 と回 転 に よ

る作 用 で 不 変 で あ る よ うな(つ ま りscalarの)observableを い ろ い ろ取 っ て き てう そ の 値 を用 い て

分 類:する ご と に な る.そ の値 と は,Euclid空 間 上 の 関 数 で あ るが,そ れ が, Euclid空 間の無 限遠

に お い て定 数 に 収 束 す る よ う な 停 留 点 が,基 本 的 で あ る.(む し ろ こ れ は,Lagrangianの 積分が
we11一de丘nedに な るた め の 自然 な必 要 条 件 で あ る.)い い か え れ ば,無 限 遠 に お い て課 す こ とが で
き る 自然 な 境 界 条 件(漸 近 的 条 件)を 分 類 し て い る とも考 え られ る.

この と き,分 類 され た 各 々 の 類 を,「 真 空 」 とよぶ .(こ れ は,ひ とつ の 説 明 で あ り,物 理 で 「真

空 」と よ ばれ て い る概 念 を包 括 す る に は程 遠 い.こ の論 説 にお け る仮 の定 義 と思 っ て も らい た い.)

  こ の性 質 を も つ 停 留 点 が ひ とつ の類 に 丁 度 ひ とつ 存 在 す る 場 合 事 態 は簡 明 で あ る.こ の と き,
Scalar obServableの 値 は,定 数 関 数 に な る.こ の意 味 で,こ の 停 留 点 は平 行 移 動,回 転 に関 して

不 変 で あ る.

す な わ ち,こ の 簡 明 な場 合 に は,「 真 空 」 と は,平 行 移 動 と 回転 に よっ て 不 変 で あ る停 留 点 の こ

とで あ る.

今 考 え て い る の は こ の よ うな 場 合 で あ る.

3.1.2  量 子 的 真 空 のmoduli空 間

古 典 的 な状 況 を考 え て い る限 り'は,停 留 点 が 離 散 的 で は な く,べ っ た りmoduli空 間 として あ ら

76
 DonaldSon不 変 量 とSeiberg-Witten理 論   189

わ れ る こ とは,た また まそ うで あ っ た とい う以 上 の 印 象 は別 に な に も与 えな い.し か し,積 分 の 正

則 化(regularization)を 行 っ た あ と も, moduli空 間 が べ っ た りあ らわ れ る と した ら,こ れ は偶 然 と

は思 わ れ な い.と い う の は,一 般 に は 正 則 化 の 過 程 で,Lagrangianの 形 が 変 っ て し ま うか らで あ

る.ど ん な風 に変 わ る か は 計 算 し な くて はわ か ら な いが,aprioriに な ん らか の対 称 性 を み た す と
い う特 別 な状 況 で な い か ぎ り,き わ め て一 般 的 な 変 り方 を す る と想 定 され る.し た が っ て,停 留 点

が べ っ た り連 続 的 に あ ら わ れ る状 況 はLagrangianのgenericな 変 形 で は 崩 れ て し ま う もの で あ

る、

今 の 場 合,N=2の 超 対 称 性 が 与 え られ て い た.こ の対 称 性 を保 つ よ うな 正 則 化 が あ った と し よ

う.厳 密 に い う と?そ の よ うな正 則 化 の存 在 は,想 定 に 過 ぎ な い.し か し,N=2超 対 称 性 を もつ

理 論 こそ が 考 え た い 対 象 で あ る.
こ の と き,超 対 象 性 を保 つ 正 則 化 を行 っ て も,停 留 点 はや は りべ った りあ らわ れ る こ とを主 張 す

る議 論 が 存 在 す る.(「 非 く りこ み定 理 」 と よば れ る_.の 議 論 の ひ とつ で あ る。)

正 則 化 した 後 の,本 当 に考 え る べ き理 論 の 停 留 点 をパ ラ メ ー タ 表 示 す る の が 「量 子 的 真 空 の
moduli空 間 」 で あ り,,そ の構 造 を決 定 す るの がSeiberg-Witten理 論 で あ る.・

3.2低 エ ネ ル ギ 「 に お け るU(1)理 論 への帰着

3.2.1  対 称 性 の 自発 的破 れ

古 典 的 な 考 察 を も う少 し詳 し く行 う.古 典 的 真 空 のmoduli空 間 の 点 π∈Cを ひ とつ と り,「 場

の 空 間 」 の 中 で そ の 近 くの 点 を 考 え る.(fermionは,前 に 引 き 続 き,無 視 し て い る.)こ こ で,

「古典 的 真 空 のm0duli空 間 」 上 の 点 は,式(2)を 利 用 し て複 素 数 に よ って パ ラ メ ー タ 表 示 し て お い

た.uは,ひ とつ の 停 留 点 に対 応 して い た 。 あ るい は,ひ とつ の 境 界 条 件 と も対 応 し て い た .(そ

の 停 留 点 の 漸 近 的挙 動 が 境 界 条 件 を与 え て い る.)

場 の 空 間 上 の 「点 」 と は 接 続 とsu(2)に 値 を と る2つ の 関 数 の 組 の こ と で あ った.後 者 を,

s1(2, 
C)に 値 を と る一 つ の 関 数 と して あ らわ して お く.す る とゴ 仮 定 した の は,そ の 実 部 と虚 部 と

が ほ ぼ 可 換 な 忌 ま揺 れ 動 き,し か も そ の ト レー ス の 自乗 が,uの 近 く を揺 れ 動 く こ とだ とい っ て

も よい.こ の とき,期 待 値 を も とめ る積 分 操 作 に対 して もっ と も寄 与 す る接 続 は,自 明 な平 坦 接 続

で あ っ た.(正 確 に は,そ のs1(2, C)値 関 数 が そ れ に 関 し て ほ ぼ 平 行 に な る よ う な 平 坦 接 続 で あ

る.)

しか し,ま ずs1(2, C)値 関 数 の 方 を 固 定 した と し て み よ う.そ して,接 続 に 関 し て は も う少 し

条 件 を ゆ る め る と ど うな るだ ろ うか.具 体 的 に は,接 続 が 平 坦 で あ る こ と を要 求 せ ず,固 定 さ れ た

sl(2, 
C)値 関 数 が そ の接 続 に 関 して ほ ぼ 平 行 に な る こ とだ け を 要 求 し て み よ う.必 要 条 件 と し て,

測 度 が そ の よ うな と こ ろ に 集 中 して い る の は 間違 い な い.

ζ の 条 件 はuが0で な い と き に は簡 単 に い い か え る こ とが で き る.ま ず,4次 元Euclid空 間上

今 考 え て い るSσ(2)束 に対 し て,そ の 固定 さ れ たs/(2,C)値 関 数 を用 い る こ とに よ り,σ(1)束
へ の 簡 約 を ほ ぼ一.意につ く る こ とが で き る.も とめ る条 件 は,接 続 が 「この σ(1)束 の σ(1)接 続
へ と(ほ ぼ)簡 約 で き る」 とい う こ とで あ る.

こ こ まで の ま とめ:測 度 が 集 中 す る と こ ろ は 次 の よ う な部 分 の近 傍 に含 まれ て い る.(1)0で

な い 各uご とに σ(1)束 へ の簡 約 が あ り,接 続 と して は そ の σ(1)束 の 接 続,ま たsl(2, C)値 関 数

と して は,本 質 的 に はuに 値 を もつ定 数 関 数 か ら き ま る もの,で あ る.(2)uが0の と き に は,

77
 190  論 説

す べ て のSU(2)接 続 を考 え る.

以 上 の話 で は,「 測 度 が 集 中 す る」 とい う曖 昧 な述 べ 方 か ら説 明 を は じ め,「 も う少 し条 件 を ゆ る
め る と ど うか 」 とい う さ らに 曖 昧 な議 論 の 進 め 方 を した.本 当 は,積 分 の正 則 化 の 議 論 と あわ せ て

オ ー ダ ー だ けで も定 量 的 に議 論 を行 う必 要 が あ っ た.そ れ が 「対 称 性 の 自発 的 な 破 れ 」 と よ ばれ る

議 論 で あ る.し か し,こ の文 章 で は上 の 定 性 的 な説 明 に と ど め て お く.た だ し,「 測 度 が 集 中 す る」

とい'った と き,ど の程 度 集 中 す る もの を念 頭 に お くべ きか だ け,説 明 して お く.

3.2.2  局 所 性

実 は集 中 の 定 量 的 な 程 度 の 問題 で は な く,4次 元 多 様 体 上 で物 事 が 大 域 的 か 局 所 的 か の 質 的 な 程

度 の 違 いが 問題 で あ る.

「測 度 が 集 中 す る」 と こ ろ を停 留 点 とし て完 全 に も とめ て し ま えれ ば,(一 般 の4次 元 多 様 体 で い

え ば)Donaldson不 変 量 を計 算 で き る.し か し,そ の た め に は偏 微 分 方 程 式 を大 域 的 に解 く必 要 が

あ る.___.方,「 測 度 が 集 中 す る」 と こ ろ を,も っ と粗 く指 定 す る と き に は,大 域 的 な 情 報 を な に も

使 う必 要 が な い こ とが あ る.

今 や りた い の は,局 所 的 な考 察 の み か ら 「測 度 が 集 中 し な い 」 と まず わ か っ て し ま う部 分 を まず

捨 て去 る こ とで あ る.そ れ が σ(1)へ の簡 約 を考 え る とい う こ とで あ た っ て い る.す る と,大 域 的

な情 報 はす べ て 「真 空 」 の なか に 未 知 の情 報 どし て残 っ て い る.

た だ し,「 測 度 が 集 中 しな い 」 部 分 の 影 響 は,0で は な い.単 に,「 測 度 が 集 中 す る」 部 分 に制 限

した の で は な く,こ れ に 「直 交 す る」 方 向 の 場 に つ い て は,あ ら か じめ 積 分 して し ま う こ と に し

て,そ の 影 響 をLagrangianの な か に押 し込 ん で し ま う必 要 が あ る.こ れ が,さ き に,「 し わ 寄 せ 」

と呼 ん だ も の で あ る.

す る と,こ の 「しわ 寄 せ 」を厳 密 に定 義 す る た め に は積 分 を正 則 化 が 必 要 で あ る.「 測 度 が 集 中 す

る」 部 分 に考 察 を限 る た め に は,正 則 化,つ ま り量 子 効 果 の考 慮 が 不 可 欠 な の で あ る.

も と も とLagrangianは,式(1)に 見 る よ う に,4次 元 多 様 体 上 で,あ る微 分 多 項 式 を 積 分 し た

形 を し て い た.実 は,4次 元 多 様 体 の 分 割 に 関 して 理 論 が よい 振 る舞 い をす る と仮 定 す る こ と と,
Lagrangianが こ の よ う な 「局 所 的 な」 形 を して い る こ と と は 同 等 で あ る.「 しわ 寄 せ 」 をす る と,
_.__.般
に
,新 しいLagrangianは 「
局 所 的 な」 形 を して い な い.し か し,「 局 所 的 な」 形 を し た も の
で 形 式 的 に近 似 す る こ と は で き る.こ の 近 似 が,よ い 近 似 で あ る こ とが,「 捨 て た 部 分 に測 度 が 集

中 しな い 」 とい っ た こ との本 当 の意 味 で あ る.

で は,ど の よ うな 時 に,よ い 近 似 と な る の で あ ろ うか.そ れ に答 え る の が 次 に述 べ る 「

低 エ ネル

ギ ー 有 効 理 論 」 とい う考 え方 で あ る.

3.2.3低 エネル ギー有効理論

「長 さ」 と 「エ ネ ノ
レギ ー」 と は互 い の 逆 数 とな っ て い る.あ た え られ た 理 論 を,あ る長 さ以 下 の

ス ケ ー ル を見 な い で 記 述 す る近 似 理 論 の こ とを,「 低 エ ネ ル ギ ー 有 効 理 論 」 とい う.

接 続 と φ、,φ2を,い わ ば σ(1)方 向 に そ っ た 成 分 と,直 交 す る 成 分 と に わ け て み る.す ると

「場 の 空 間 」 は 二 つ の 空 間 の直 積 と し て表 わ され る.標 語 的 に い う な らば,(1)直 交 して い る成 分

は,(正 の)「質 量 」を もつ.(2)「 質 量 」を もつ と き,そ の 逆 数 の 長 さ よ り遠 くに は,影 響 を ほ とん

ど及 ぼ さず,ほ とん ど 「局 所 的 な」 効 果 しか な い.(3)よ っ て,「 低 エ ネル ギ ー 有 効 理 論 」 にお い

て は(「質 量 」を も つ)直 交 す る成 分 は,Lagrangianに 「しわ 寄 せ 」 した と き,「 局 所 的 な 」 し わ 寄

   78
 Donaldson不 変量 とSeiberg-Witten理 論   191

せ 以 外 は ほ とん ど無 視 で き る.

要 す る に,「 質 量 」を もつ 場 の 成 分 が あ れ ば,そ れ が恒 等 的 に0で あ る場 に 「測 度 が 集 中」し,そ

の成 分 を積 分 して も,「 低 エ ネ ル ギ ー 有 効 理 論 」を考 え るか ぎ りジ も との 理 論 と同 等 な の で あ る.

  「質 量 」とは,お お ざ っ ぱ に い え ば,Lagrangianの 被 積 分 項 に お い て,微 分 を 含 まな い2次 の 項

の係 数 で あ る.今 の場 合,uで 指 定 さ れ る境 界 条 件(漸 近 的 条 件)の も とで は,量 子 効 果 を 無 視 し

て 式(1)を 用 い る な ら ば,「 質 量 」(の自 乗)は,uの 大 き さ に 比 例 す る.よ っ て, u=0以 外で は

「質 量 」を もつ.

積 分 の 正 則 化(=量 子 効 果)と,あ る長 さ以 下 の ス ケ ー ル を見 な い こ と と は密 接 に関 連 す る の で,

量 子 動 果 をぬ き に して 「質 量 」や 低 エ ネ ル ギ ー有 効 理 論 を考 察 す る こ とは正 し くな い.し か し,古 典

的 な 考 察 だ けか ら,低 エ ネ ル ギ ー 有 効 理 論 の登 場 人 物 が な ん で あ るか を見 積 り,あ とか ら量 子 効 果

を考 え る こ と は可 能 で あ る.特 に,N=2超 対 称 性 が あ る 今 の状 況 で は,真 空 が べ た っ とm0duli

空 間 を な す状 況 は量 子 効 果 を考 え て も変 わ ら な い.よ っ て,こ の 状 況 を と ら え る近 似 を 考 え れ ば,

第1近 似 と して は,妥 当 な見 積 りを与 え る.

積 分 の 正 則 化 お よ び 「しわ 寄 せ 」(=量 子 効 果)を 考 慮 に い れ ず,低 エ ネ ル ギ ー有 効 理 論 が な ん で

あ る か の 第1近 似 を 実 際 に 見 積 る と,以 下 の よ うな 「理 論 」に な る.「 理 論 」と は,「 場 の 空 間 」 と

Lagrangianと を与 え る こ とで あ っ た.

場 と し て は,(fermion.を 声 れ る な ら)お お ざ っ ぱ に い う な ら,複 素 数 に 値 を も つ 関 数uと,

σ(1)接 続 とか ら な る.た だ し,(i)σ(1)接 続 が 定 義 され るべ き σ(1)束 は,関 数uご と に異 な

り,(ii)uの 値 が0の 近 傍 を通 る と き に は この描 像 は破 綻 して お りSσ(2)接 続 が必 要 に な る .

い い換 え る と,uは,4次 元 多 様 体 か ら 「古典 的 真 空 のmoduli空 間 」 へ の 写 像 全 体 を走 る.

Lagrangianと して は,式(1)の σ(1)版 を考 え る.こ れ は, N=2超 対 称 性 を もつ の で あ った.

実 際 に は関 数uと し て は定 数 関 数 に近 い もの し か考 え な い.4次 元Euclid空 間上 で考 えて い る

今 の 場 合 で は,具 体 的 に は,無 限 遠 で の 極 限 が あ る定 数 に収 束 す る よ う な もの だ け を考 えて い る と
い っ て も よい.そ の 定 数 が0で あ る と きが この描 像 が 破 綻 す る時 で あ る.

σ(1)束 が どん な もの で あ る か を述 べ て お く.「 古 典 的真 空 のm0duli空 間 」 か ら特 異 点 のoを 抜

い た もの の上 に は,σ(1)束 が 定 義 さ れ る.(主 束 で は な い 。 フ ァ イバ ー は群 と思 う.)こ の σ(1)

束 の モ ノ ド ロ ミー は,ぐ る っ と一 周 し た と き σ(1)の 向 き が 反 対 に な る よ う な も の で あ る.

(Sσ(2)のWeyl群 の 作 用 か ら決 ま る もの で あ る.)関 数uが,あ る定 数 値u。 を と る定 数 関 数 に 近

い場 にた い して は,uoの フ ァイ バ ー の σ(1)を 構 造 群 とす る σ(1)束 が 求 め る σ(1)束 で ある .

こ こ に述 べ た 「N=2超 対 称 σ(1)理 論 」 は,「 量 子 効 果 」 を き ち ん と考 え る以 前 の第1近 似 にす

ぎ な い し 「量 子 効 果 」 を,と くに,ナ イ ー ヴ な描 像 が 破 綻 す るu=0の 近傍 におい て考察 す る こと

が,次 に必 要 に な る.

3.2.4  N=2超 対 称U(1)理 論 と電 磁 双 対 性

「量 子 効 果 」を考 慮 した とし て も,得 られ る 「理 論 」 はN=2超 対 称 性 を も つ σ(1)理 論 に は変 わ

りな い.こ れ が 基 本 的 な想 定 で あ る.

す べ て のN=2超 対 称 σ(1)理 論 を形 式 的 に分 類 す る こ とは む つ か し く な い.た だ し,Lagran-

gianの 形 とし て は,「 局 所 的 な 」 もの で あ り,し か も低 エ ネ ル ギ ー で も っ と も効 く(最 低 次 の)項 の

み が あ らわ れ る もの を考 え る.

79
 192  論 説

粗 く い う と,こ の よ うな 「理 論 」 は,ひ と つ の 正 則 関 数 に よ っ て 記 述 さ れ る.よ り 正 確 に は,1

次 元(rigid)special  Kahler多 様 体 と対 応 し て い る.

1次 元 の 場 合,Special  Kahler構 造 と は, elliptic丘brationを も つ1次 元 複 素 多 様 体 で あ っ て,

切 断 を も ち,各 フ ァ イ バ ー の 普 遍 被 覆 が,底 空 間 の 接 空 間 と 同 型 で あ る も の で あ る.注 目す べ き こ

と は,こ の 複 素 解 析 的 デ ー タ か ら,底 空 間 に 自 然 にKahler計 量 を定 義 す る こ とが で き る こ とで あ

る([10]).

こ の トー ラ ス 束 が σ(1)束 に 簡 約 で き た と し,そ れ を 固 定 す る.す る と,ひ と つ のN=2超 対称

σ(1)理 論 を 構 成 す る こ とが で き る.こ れ が 求 め る 分 類 を 与 え て い る.

σ(1)束 へ の 簡 約 の 仕 方 を と り か え て も,「 理 論 」 と し て は(observableの 対 応 を う ま くつ け る

と 同 じ 「期 待 値 」 を 与 え る と い う 意 味 に お い て)同 等 で あ る こ と を 示 せ る。 この 「と り か え 」 が

「電 磁 双 対 性 」 で あ る.

トー ラ ス 束 が 特 異 フ ァ イ バ ー を も っ た り,モ ノ ド ロ ミ ー が 自 明 で な い と き に は,大 域 的 に は

σ(1)束 へ の 簡 約 を も た な い.し か し,電 磁 双 対 性 に よ る は り あ わ せ に よ っ て,こ の1次 元

(rigid)special  Kahler多 様 体 は,あ る 「

理 論 」 を 定i義 し て い る と考 え る.

厳 密 に い え ば,こ の 「理 論 」 は 場 の 量 子 論 の 枠 組 み を わ ず か に 超 え て い る.

問 題 は,「 無 数 に あ る1次 元(rigid)special  Kahler多 様 体 の う ち,ど れ が, Donaldson不 変 量

を 与 え るSU(2)理 論 の 低 エ ネ ル ギ ー 有 効 理 論 を,量 子 効 果 ま で こ め て,記 述 す る も の な の か 」,で

あ る.

4Seiberg-Witten理 論

4.1anomalyとu・ 平 面の構造

4.1.1N=2超 対 称SU(2)理 論 の 低 エ ネ ル ギ 一有 効 理 論

状 況 を 思 い 出 そ う.問 題 と し て き た の は,式(1)でLagrangiahが 与 え ら れ る よ う な,特 定 の

N=2超 対 称SU(2)理 論 で あ る.た だ し,「 理 論 」 の 構 成 の た め に は,積 分 の 正 則 化=量 子効 果 を

考 え る 必 要 が あ っ た.こ の 正 則 化 は 「く り こ み 」 と よ ば れ る 操 作 に よ っ て な さ れ る.(「 く り こ み」

は 今 の 場 合 厳 密 に は 摂 動 論 的 に し か 定 義 さ れ て い な い が,非 摂動 論的 に 「く り こ み 」 が 可 能 で あ る

と想 定 し て い る.)場 と し て は,接 続(ゲ ー ジ 場)を 含 み,超 対 称 性 を もつ よ うな 最 小 の 登 場 人 物 だ

け を 考 え て い る.す な わ ち,(fermionを 無 視 す る な ら)接 続Aとadjoint束 の 切 断2個 φ1,φ2と

で あ る.                                                 

Seiberg-Wittenが 行 っ た こ と は,「 く り こ み 」 に よ っ て 構 成 さ れ る 理 論 の 低 エ ネ ル ギ ー 有 効 理 論

と し て 得 られ る 特 定 のN=2超 対 称 σ(1)理 論 の 決 定 で あ る.

「く り こ み 」 以 前 のLagrangianの 形(1)を 振 り返 っ て お く 。2つ の パ ラ メ ー タ9,θ を伴 って い

た こ と を 思 い 出 そ う.「 く り こ み 」 と は,こ の 族 に 対 す る 操 作 で あ り,パ ラ メ ー タ を 固 定 し て 行 う

ヤも
の で は な い.パ ラ メ ー タ つ き で 理 論 の 族 を あ た え た と き,初 め て そ の 族 に 対 し て 「く り こ み 可 能

性 」 を 論 じ る こ とが で き る.

被 積 分 項 の う ち9を 係 数 と す る 項 は,6次 元Euclid空 間 上 の 接 続 を4次 元 に 次 元 簡 約(dimen-

sional  reducti0n)し た も の と し て 理 解 で き る.こ の 解 釈 で は,次 元 簡 約 さ れ る方 向 の 接 続 の 成 分 が

φ1と φ2で あ る.し た が っ て こ のLagrangianは,φ1と φ2と を 回 転 さ せ る 対 称 性 を も つ.こ の対

80
 Donaldson不 変 量 とSeiberg-Witten理 論   193

称 性 は,量 子 効 果 の た め,破 れ る.し か し,そ の 破 れ か た(「an0maly」 と よ ぶ)を 考 察 す る こ と が,

Seiberg-Wittenの 議 論 の ひ と つ の ポ イ ン トで あ る.こ の 対 称 性 を σ(1)R対 称 性 と よ ぶ.

4.1.2  U(1)R対 称 性 のanomaly

「く り こ み 」 前 の 古 典 的 なN=2超 対 称SU(2)理 論 は σ(1)R対 称 性 を も つ.ま たJこ の古典 的

理 論 は,4次 元Euclid空 間 の 定 数 倍 写 像 か ら誘 導 さ れ る 対 称 性 を も も つ.こ の2つ の対 称 性 は あ

わ せ てC*の 作 用 と見 る と わ か り や す い.C*は 場 の 空 間 の 上 に 作 用 す る.そ し て,固 定 さ れ た9'

と θ に 対 し てLagrangianを 不 変 に す る.し か し,「 く り こ み 」 後 に 得 ら れ る 量 子 論 的 な 理 論 に つ

い て は そ う で は な い.

量 子 論 的 な 効 果 を 簡 単 の た め,ふ た つ に 分 け て 考 え よ う.ひ と つ は,位 相 的 な配 位 とし て 自 明 な

場 し か 考 え な い 時 に す で に あ る 効 果 で あ る.実 際 的 に は 摂 動 論 的 に 計 算 が 可 能 な 効 果 と い っ て も よ

い.も う ひ とつ は,自 明 で な い 位 相 的 配 位 す べ て を 考 え る こ と に よ る 非 摂 動 論 的 な 効 果 で あ る.

  摂 動 論 的 な 効 果 だ け を 考 え て も,す で にC*よ る 対 称 性 は も は や 存 在 し な い.摂 動論 的 な効果

は,N=2超 対称 理 論 の 「非 く り こ み 定 理 」 の お か げ で 完 全 に 計 算 で き る.す ぐ後 に 説 明 す る が,

「く り こ み 」 の 一 般 論 に よ り,量 子 効 果 を 考 慮 に い れ て も,「 理 論 」 の 族 は,ふ た た び9と θ に相

当 す る2つ の パ ラ メ ー タ で パ ラ メ ー タ 表 示 さ れ る.し か し,こ の と きC*の 作 用 は 個 々 のLagran-

gianを 保 た ず,ひ と つ のLagrangianを 別 の パ ラ メ ー タ を も っLagrangianに う つ す.た と え ば,

σ(1)Rの 作 用 は θ を ず ら す.こ の σ(1)R対 称 性 のanomalyは,  Atiyah-Singerの 指 数 定 理 に

よ っ て(あ る い は 「1ル ー プ 」 レ ベ ル の 摂 動 計 算 に よ っ て)完 全 に わ か る.

で は 非 摂 動 論 的 な 効 果 も考 え る と ど う で あ ろ う か.今 度 はLagrangianの 形 を直 接 計 算 す る こ と

は で き な い 。 し か し,摂 動 論 的 効 果 で あ ろ う と非 摂 動 論 的 効 果 で あ ろ う とaprioiに わ か る こ とが

あ る.
一般 に
,「 く り こ み 」 に よ っ て 得 ら れ る 理 論 は,「 く り こ み 」 前 の 古 典 的 なLagrangianに 入 って

い る 「質 量 次 元 」 が0以 上 の パ ラ メ ー タ と 同 じ 個 数 の パ ラ メ ー タ に よ っ て パ ラ メ ー タ 表 示 さ れ る.

今 の 場 合,9'と θ の2個 が 質 量 次 元0の パ ラ メ ー タ で あ り,「 質 量 次 元 」 が0以 上 のパ ラメータ は

こ れ ら し か な い.く り こ ま れ た 理 論 の 低 エ ネ ル ギ ー 有 効 理 論 は,無 数 に あ るN=2超 対称 σ(1)

理 論 の い ず れ か に な る.

3.2.4に 述 べ た よ う に,N=2超 対 称 σ(1)理 論 は,(低 エ ネ ル ギ ー で は)「1次 元複 素多様体 上の

正 則 トー ラ ス 束 」を 用 い て 記 述 さ れ た.よ っ て,2個 の パ ラ メ ー タ に よ っ て パ ラ メー タ 表 示 さ れ る

トー ラ ス 束 の 族 が 得 ら れ る.量 子 効 果 の た め に(摂 動 論 だ け を 考 え た と き と 引 き 続 き 同 様 に)こ の 族

に は,こ の4次 元Euclid空 間 の 定 数 倍 写 像 に 対 応 す る 変 換 と σ(1)Rに よ る 変 換 が,ち ょ う ど2次

元 分 推 移 的 に 作 用 し て い る.し た が っ て,ど の ひ と つ の トー ラ ス 束 を 考 え て も___.般性 を 失 わ な い.

  結 論 と し て,同 型 を 除 い て 唯 一 の トニ ラ ス 束 が 得 ら れ る こ と が わ か っ た.こ れ が 求 め た い もの で

あ る.

4.1。3  量 子 的 真 空 のmoduli空 間(u-plane)の 構造

こ の トー ラ ス 束 の 底 空 間 が 量 子 的 な 真 空 のm0duli空 間 で あ る.も と も と のSU(2)理 論 におい

て は,真 空 のmoduli空 間 は 複 素 数uに よ っ て パ ラ メ ー タ 表 示 さ れ た.  uはsu(2)の 要 素 φ、,φ2

を 用 い て 式(2)の よ う に か け た.思 い 出 す と,こ れ は(1)測 度 の 集 中 す るsu(2)値 の定数 関数 た

81
 194  論 説

ち,(2)無 限 遠 で の 極 限 の値 の可 能 性,(3)場 の空 間 を無 限 遠 で の挙 動 を 固定 した 理 論 に お け る

期 待 値,と い う3通 りの 同 値 な解 釈 が で きた.す な わ ち(2)の 無 限 遠 で の 値 を期 待 値 を使 っ て 表 示

す る の が(3)で あ り,そ の 期 待 値 を 実 現 す る典 型 的 な場 が(1)の 定 数 関 数 で あ る.こ の 「量 子 的

なmoduli空 間 」の こ とをu平 面 とよ ぶ こ とが あ る.

古 典 論 で は,「(古 典 的)真 空 のmoduli空 間 」 はC/{±1}で あ り,そ の 上 に あ る トー ラ ス 束 は

(C×T'2)/{±1}で あ る 。 特 異 点 は 原 点 の み で あ り,そ の ま わ り の モ ノ ド ロ ミー は 一Iで あ る.

トー ラ ス ρ複 素 構 造 は特 異 点 以 外 で み な 同 じで あ る.こ の トー ラ ス 族 に はC*が 自然 に正 則 に作 用

して い る.

量 子 論 で は,C*作 用 は も は や ひ とつ の トー ラ ス 族 の上 に は 存 在 し な い.し か し, C*対 称性 が

どれ だ け破 れ る か はanornalyの 計 算 か らわ か る.正 確 に は σ(1)R対 称 性 のanomalyカ §

指 数 定理

か ら計 算 さ れ る.一 方,R+の 対 称 性 の破 れ は,ス ケ ー ル 変 換 と関 係 して 「く り こ み」 の 処 方 か ら

計 算 さ れ るべ き もの で あ る.後 者 を記 述 す る の は 「β 関 数 」と よ ば れ る も の で あ る。N=2超 対称

性 は,様 々 な場 面 で正 則 性 と して あ らわ れ ,る.今 の場 合 も,対 称 性 の二 つ の 破 れ 方 は,ひ とつ の 正

則 関 数 の 実 軸 方 向 の微 分 と虚 軸 方 向 の微 分 の 関 係 に あ る.よ っ て 両 者 は比 例 す る.yL..れが,二 つの

対 称 性 を ま とめ てC*作 用 に 関 す る対 称 性 とみ な す の が 便 利 な理 由 で あ る.
anomalyあ る い は 「β 関 数 」 の 計 算 に よ り,摂 動 論 的 な 量 子 効 果 を考 慮 した と き に,モ ノ ドロ

ミー が ど う変 化 す る か が 直 ち に わ か る.「 β 関 数 」 の挙 動 を み る と,量 子 効 果 はu-平 面 の無 限 遠 で

は小 さ くな る とわ か る.実 際,こ れ は考 え て い るsU(2)理 論 が 「漸 近 的 自 由性 」を もつ こ との 反 映

で あ る.よ6て,u一 平 面 の原 点 か ら遠 くの 領 域 に お い て は,(原 点 か らの 距 離 を 固 定 す る と)ト ー

ラ ス の複 素 構 造 は ほ と ん ど同 じで あ る.し か し,anomalyの 影 響 は な お も残 り,モ ノ ドロ ミー は

古 典 論 の場 合 と変 わ っ て し ま う の で あ る.

u平 面 の 有 限 の 領 域 に お い て は非 摂 動 論 的 な量 子 効 果 が 大 きい た め,トLラ ス束 の挙 動 を直接

求 め る こ と はで きな い.し か し,無 限遠 の ま わ りで の モ ノ ドロ ミー が わ か っ て し ま う と,物 理 的 に

「ま と も」 な仮 定 の もの で,可 能 な トー ラ ス 束 が ほ ぼ二 意 的 に決 ま って し ま う こ とが わ か る.こ れ

に はN=2超 対 称 性 の直 接 の 帰 結 で あ る正 則 性 が 本 質 的 な 役 割 を はた す.

結 論 を述 べ れ ば,u一 平 面 は無 限 遠 点 以 外 に2個 の特 異 点 を もつ.

4.1.4  u平 面 理 論

u一平 面 は無 限 遠 点 以 外 に2個 の 特 異 点 を もっ て い る.そ の 特 異 点 に お い て 「質 量 ゼ ロ」 の 「

荷

電 粒 子 」 が あ らわ れ る とい う の が 「電 磁 双 対 性 」 の一 般 論 か らの 帰結 で あ る.実 は議 論 の 順 序 と し

て は,逆 に,こ の 一 般 論 を利 用 す る こ とに よ って,特 異 点 の 個 数 とタ イ プ を決 定 す るの で あ る.

そ の粒 子 の 「電 荷 」 と 「磁 荷 」 の 比 は,特 異 点 の まわ りで の モ ノ ドロ ミー の 固 有 ベ ク トル か ら定

ま る.「 電 荷 」 と 「
磁 荷 」 は トー ラ ス に と も な う2次 元 の 格 子 の 格 子 点 を座 標 表 示 した と きの 座 標

と理 解 され る.座 標(す な わ ち何 を 「電 荷 」 「磁 荷 」 と思 う か)と し て は,量 子 論 的 な効 果 が 小 さ い

u一平 面 の無 限 遠 点 の 近 くの トー ラ ス を み て,古 典 的 なSσ(2)理 論 の 意 味 か ら 自然 に定 ま る も の を

使 う こ と にす る.

古 典 的 に は真 空 のmoduli空 間 の 無 限 遠 点 の まわ りの モ ノ ドロ ミー は 一1で あ った か らう 「電 荷 」

と 「磁 荷 」 の 大 き さ は各 々we11-de丘nedで あ っ た.し か し,量 子 論 で は,モ ノ ドロ ミー が 自 明 で な

くな るた め,「 磁 荷 」 の 大 き さ はwell-de丘nedで あ る が,「 電 荷 」 の 大 き さ はwell-de丘nedで な い.

82
 DonaldSon不 変量 とSeiberg一Witten理論 195

無 限 遠 点 の まわ りで,「 磁 荷 が0」 の格 子 点 はwell一definedで あ り,こ れ が 低 エ ネ ル ギ ー 有 効 理 論

に あ らわ れ る本 来 の σ(1)に 対 応 す る格 子 で あ る.

無 限 遠 点 以 外 の特 異 点 に お い て,ど ん な粒 子 が 「質 量 ゼ ロ 」 に な るか は モ ノ ドロ ミー をみ る とわ
か る と考 え られ る.実 は論 理 は逆 で あ り,仮 に あ る粒 子 が そ こで 「質 量 ゼ ロ 」 にな る と仮 定 して モ

ノ ドロ ミー を計 算 し,う ま くあ う よ うな もの を見 つ け て くる の で あ る。 モ ノ ドロ ミー の計 算 に は,

あ る σ(1)対 称 性 に か ん す るanomalyを 用 い る.「 β 関 数 」 を用 い る とい っ て も 同 じ こ とで あ る.

無 限 遠 点 の場 合 とほ ぼ 平 行 した 議 論 で あ るが,次 の2点 が 異 な る.

第 一 に,N=2超 対 称SU(2)理 論 の か わ り に,「 荷 電 粒 子 」 を と も な うN=2超 対 称 σ(1)理 論

を 考 え,そ れ の低 エ ネ ル ギ ー 有 効 理 論 を 求 め る こ と.し た が って,anomalyを 考 え る べ きU(1)

対 称 性 は も と も とのSσ(2)理 論 に は な い もの で あ る.

第 二 に,N=2超 対 称SU(2)理 論 の 場 合 に は 無 限 遠 に近 づ く ほ ど量 子 効 果 が 小 さ くな る こ とが

知 られ て い る(漸 近 的 自 由性).だ が,f荷 電 粒 子 」 を と もな うN=2超 対 称 σ(1)理 論vyお い て は,

逆 に,特 異 点 に 近 づ くほ ど量 子 効 果 が 小 さ くな る(漸 近 的 自由 で は な い)こ とで あ る1

す な わ ち,無 限 遠 点 も含 め て3個 の 特 異 点 の まわ りに は,そ の 特 異 点 に 近 づ くほ ど量 子 効 果 が 小

さ くな る(し か し量 子 効 果 の う ち 自 明 で な い モ ノ ドロ ミー は の こ る)よ うな 理 論 が 各 々 存 在 す る.も

と め る低 エ ネ ル ギ ー 有 効 理 論 で あ る 「  ¥/u一
面 理 論 」 は,い わ ば これ ら を は り あ わ せ た 理 論 で あ

る.

実 際 に計 算 を 行 う と,モ ノ ドロ ミー が 大 域 的 に両 立 す る た め に は,「2つ の 特 異 点 に お い て 磁 荷

の 大 き さが1で あ る粒 子 が 質 量 ゼ ロ に な る」 こ とが 結 論 され る.一 方 の粒 子 の 電 荷 が0で あ る とす'

る格 子 の 座 標 を と る と,も う一 方 は 電 荷 を もつ.前 者 を 「モ ノ ポ ー ル 」,後 者 を 「ダ イ オ ン」 と よ

ぶ.

4.1.5  モ ノポ ー ル の 方 程 式

4次 元 多 様 体 のDonaldson不 変 量 を も とめ る た め に は,こ の,低 エ ネ ル ギ ー有 効 理 論 を考 察 す

れ ば十 分 の はず で あ っ た.ほ とん どの 多 様 体 に お い て は,Riemann計 量 を一 般 に とる と,(計 量 を

定 数 倍 し て 拡 大 し て ゆ く極 限 を 考 え る と き)u一 平 面 の2つ の特 異 点 以 外 か ら の寄 与 は な い と考 え

ら れ る.す る と,モ ノ ポ ー ル とダ イ オ ン を考 え る こ とに よ っ てDonaldson不 変 量が計 算 で き る こ

とに な る([22],[20]).ふ た つ の 特 異 点 は,σ(1)R対 称 性 の う ち,量 子 効 果 に よ っ て も破 れ ず 生 き

残 る部 分 に よ っ て 互 い に うつ りあ うの で,・モ ノ ポ ー ル だ け を考 え れ ば 十 分 で あ る.

本 来 量 子 論 的 に は(局 所 的 な)場 の理 論 と して は記 述 で きな か っ た モ ノ ポ ー ル を電 磁 双 対 性 を利 用

し て 場 の 理 論 と し て 記 述 す る と,N=2超 対 称 性 を も ち ひ とつ の 荷 電 粒 子 を と も な う(正 確 に は

「hypermultiplet」 を と も な う)σ(1)理 論 に ほ か な らな か っ た.こ の 理 論 をN=2超 対称 量 子電 磁

力 学(QED)と よ ぶ こ と に す る.こ の 記 述 に お い て は特 異 点 に近 づ くほ ど量 子 効 果 が 小 さ くな って
い た.す る と,4次 元 多 様 体 の計 量 を拡 大 して い っ た極 限 に お い て は,古 典 論 的 な 記 述 が 正 確 で あ

る.す な わ ち,.N=2超 対 称 量 子 電 磁 力 学(QED)の 古典 解 は あ る変 分 問 題 に と もな う偏 微 分 方 程 式

の 解 に ほ か な ら な い が,こ の 解 集 合 がDonaldSon不 変 量 の情 報 を す べ て 担 っ て い る こ とに な る.

も と も とDonaldson不 変 量 は, N=2超 対 称SU(2)理 論 の 古 典 論 的 な記 述 に と もな う偏 微 分 方 程

式 の 解 を用 い て 定 義 され て い た.そ れ が,別 の偏 微 分 方 程 式 の 解 の考 察 に帰 着 され た こ とに な る.

  Euclid空 間以 外 の4次 元 多 様 体 で は, N=2超 対 称 理 論 をtwistし て 拡 張 し て お く こ とが 必 要 で

.83
 196  論 説

あ っ た.N=2超 対 称QEDの も つ 場 と し て は(fermionを 無 視 す る と)こ れ ま で 考 え て き た よ う な

,
σ(1)ゲ ー ジ 場(σ(1)接 続)を 含 むN=2超 対 称 性 を ゆ るす 最 小 の 場 の組 み 合 せ の他 に
,複 素 数値 関
数 が2個 あ る.こ れ をtwistす る と,σ(1)ゲ ー ジ 場 等 の 他 に(複 素 直 線 束 を テ ン ソ ル し た)正 の ス

ピ ノ ル 束 の 切 断 を1個 も っ た 理 論 と な る.σ(1)接 続 をA,正 の ス ピ ノ ル をMと か くと

,問 題 と
な っ て い る偏 微 分 方 程 式 は

DAM=O,  F+=MM

とか け る([40]).た だ し,1)AはDirac作 用 素, F+は 曲 率(ゲ ー ジ 場)の 自 己 双 対 成 分 で あ り

,第2
式 の 右 辺 は 躍 の あ る2次 式 で あ る.

言 葉 を 乱 用 し て,Mの こ と を モ ノ ポ ー ル,上 の方程 式 をモ ノポール 方程式 とよんで い る

。 あ る
い は こ の 方 程 式 の 解 の こ と を モ ノ ポ ー ル と よ ぶ こ と もあ る
.Donaldson不 変 量 の 定 義 の た め に,
も と も と 用 い ら れ た 方 程 式 と く ら べ る と,SU(2)接 続 の か わ り に σ(1)接 続 が 使 わ れ て い る こ と

と,Mが あ ら わ れ て い る こ とが 異 な る.

4.1.6  Donalds0n不 変 量 の構 造 定 理

DonaldSon不 変 量 が イ ン ス タ ン ト ン の 個 数 を 数 え て 定 義 さ れ る の と平 行 し て
,モ ノ ポー ル の 個
数 を 数 え て 定 義 さ れ る 不 変 量 を 「Seiberg-Witten不 変 量 」 と よ ぶ .解 空 間の次元 が正 の ときには

基 本 類 の 上 で ゲ ー ジ 群 の 分 類 空 間 の コ ホ モ ロ ジ ー 類 を積 分 し た 値 を 考 え る .解 空 間の次元 を指定す
る と き,モ ノ:ポー ル の 解 空 間 は コ ン パ ク ト で あ る こ と が 知 ら れ て い る .b2が1よ り大 き い と き に

は,知 ら れ て い る す べ て の 例 に お い て,解 空 間 の 次 元 が ち ょ う ど0の と き に 限 っ てSeiberg

-Witten不 変 量 は0で な い 値 を と る
.こ の よ う な4次 元 多 様 体 を 「単 純 型 」 で あ る と い う.

Seiberg一Witten不 変 量 が0で な い 値 を と る と き,対 応 す る 直 線 束 の 第 一℃hern類 の こ と を

seiberg-Witten  i類 と よ ぶ.

MooreとWittenはu一 ” 面 理 論 に お い て ど ん なobServableを 用 い れ ばDonaldson不 変量 が 再

現 さ れ る か を 調 べ る こ と に よ り,単 純 型 の 仮 定 の も と でDonaldson不 変 量 をSeiberg-Witten不

変 量 で あ らわ す 公 式 の 物 理 的 な 説 明 を あ た え た([22]).あ る 種 の 単 純 型 の 仮 定 の も と で ,Dona1-

dson不 変 量 が 有 限 個 の あ る2次 元 の コ ホ モ ロ ジ ー 類 を 用 い て こ の よ う な 形 に か け る こ と はKr0n一

heimer一Mrowkaカ1す で に 証 明 し て い た([18]) .そ の2次 元 の コ ホ モ ロ ジ ー 類 がSeiberg一Witten

類:に他 な ら な い と い う の が ポ イ ン トで あ る.

5最 後 に

Donaldson不 変 量 をSeiberg-Witten不 変 量 で 表 示 す る 構 造 定 理 はPidstrigach-Tyurin  lとよ る

プ ロ グ ラ ム がFeehan-Lenessに よ っ て 完 成 さ れ,数 学 的 に証 明 さ れ た
.基 本 的 な ア イ デ ィ ア は,'
SU(2)接 続 ど(階 数2の ベ ク トル 束 を テ ン ソ ル し た)正 の ス ピ ノ ル 束 の 切 断 と の ペ ア に 対 す る 偏 微

分 方 程 式 を 考 察 す る こ と で あ る 。ASD接 続 とモ ノ ポ ー ル が 共 に この 偏 微 分 方 程 式 の解 とな っ て い

る の が ポ イ ン トで あ る.

し か し,こ の 方 法 で は,Seiberg-Witten理 論 の 鍵 で あ っ た 電 磁 双 対 性 やu一 平 面 は 隠 れ て し ま っ

て い る.

Dona1dson不 変 量 の 背 後 に な ん ら か の トー ラ ス 束 が 潜 ん で い る ら し い こ と は, Fintushe1一Stern

やEllingsrud-Gottscheの 仕 事 に よ り, Donaldson不 変 量 の 振 る ま いが と き に楕 円 関 数 や モ ジ ュ ラ

84
 Donaldson不 変 量 とSeiberg-Witten理 論  197

関 数 と 関 わ る こ と か ら 示 唆 さ れ て い た([9],[7]).Moore-Wittenはu一 平 面 理 論 を用 い て物 理 の

立 場 か ら ζ れ らの 楕 円 蘭 数 や モ ジ ュ ラ 関数 の 由来 を説 明 し た.

4次 元 多様 体 に 対 す る不 変 量 が あ れ ば そ れ を用 い て3次 元 多 様 体 の 不 変 量 を 作 れ る.3次 元 多様
体 にslを か け為 ば4次 元 に な るか らで あ る.Donaldson不 変 量 に 関 し て はb2>1で は な い と位 相

不 変 量 と し て 定 義 さ れ な い の で 少 し工 夫 が 必 要 だ が,少 な く と も ホ モ ロ ジ ー3球 面 に 対 し て は

「CassSon不 変 量 」 が 定 義 され て い る.計 量 の 拡 大 を考 え る と,3次 元Euclid空 間 にslを か けた

空 間 が 基 本 的 な対 象 の は ず で あ る。 これ を物 理 の立 場 か ら双 対 性 を用 い て 考 察 す る と,u一 平 面 の

か わ り に 「AtiyahごHitchin計 量 」 を も った4次 元hyperkahler多 様 体 が あ らわ れ る([31]).こ の

こ とか らCasson不 変 量 の ひ とつ の表 示 が 得 られ る([28]).そ の 表 示 自体 は数 学 的 に す で に知 られ

て い た もの の,内 在 的 な説 明 は与 え られ て い な か っ た.

C.Taubesはsymplecticな4次 元 多 様 体 に 対 し て はSeiberg-Witten不 変 量 が 「Gromov

-Witten不 変 量 」'と一
一 致 す る こ と を 示 し た([35⊃
.さ ら に,二 般 の4次 元 多 様 体 を 退 化 した
symplectic多 様 体 と み な す こ とに よ っ て考 察 す る試 み を行 っ て い る.こ の こ と に対 す る物 理 の 側

か らの 解 釈 妹現 在 与 え られ て い な い.Kahler多 様 体 で は4次 元Euclid空 間 の1V=2超 対称 性 が一

般 のRiemann多 様 体 に比 べ て1次 元 多 く生 き残 って い る.し か し,Symplectic多 様 体 が超 対 称 性

に対 して もつ意 味 は 明 らか に さ れ て い な い.

u平 面 お よびAtiyah一Hitchin多 様 体 と,Donaldson不 変 量 お よびCasson不 変 量 と の関 係 を与

え る よ うな 数 学 的 な議 論 は現 在 の と こ ろ存 在 し な い.現 在 の と こ ろ,数 学 の 議 論 と物 理 の 議 論 とは

互 い を補 間 し あ うの み で あ る.各 々 の 方 沫 の有 効 性 が 証 され て い る と もい え る.し か し,こ の 状 況

か ら一・
歩 踏 み 出 そ う とす る時,私 た ち に は い っ た い 何 が 必 要 な の で あ ろ うか .

143(1996)529-546.
文 献
[10]D.Freed,SpecialKahlermanifolds,hep-th/
[1] M. F. Atiyah and L. Jeffrey, Topological 9712042.
Lagrangians and cohomology, J. Geom. Phys. 7 [11]深 谷 賢 治,ゲ ー ジ 理 論 と トポ ロ ジ ー,シ ュプ リン
(1990) 119-136. ガ ー フ ェ ア ラ ー ク 東 京,1995.
[2] R. Dijkgraaf, Les Houches Lectures on fields, [12]深 谷 賢 治,ゲ ー 誠 理 論 と4次 元 の幾 何 学 の新 展
strings and duality, hep-th/9704018. 開,数 学 セ ミ ナ ー1995年7,8,9月 号,日 本 評 論 社.
[3] R. Dijkgraaf, J. -S. Park and B . J . Schroers, [13]深 谷 賢 治,モ ノ ポ ー ル 方 程 式 と トポ ロ ジ ー,数 理
N= 4 supersymmetric Yang-Mills theory on a 科 学1997年2月 号,サ イ エ ン ス 社.
Kahler manifolds, hep-th/9712042. [14]M.Furuta,Stablehomotopyversionof
[4] S. K. Donaldson, An application of gauge Seiberg-Witteninvaritant,preprint.
theory to four dimensional topology, J. Diffe [15]古 田 幹 雄,経 路 積 分 と位 相 不 変 量,幾 何 シ ン ポジ
rential Geom. 18 (1983) 279-315. ウ ム1997年8月(信 州 大 学)報 告 集.
[5] S. K. Donaldson, Polynomial invariants for [16]古 田 幹 雄,Seiberg-Witten理 論 とDonaldson
smooth 4-manifolds, Topology 29 (1990) 257-315. 不 変 量,数 理 科 学1998年2月 号,サ イ エ ン ス 社.
[6]江 口 徹,デ ュ ア リ テ ィ ー と超 双 対 性,数 学 セ ミ [17]伊 藤 克 司,N=2超 対 称 性 とYang-Mills理 論 と
ナ ー1996年4,5月 号,日 本 評 論 社. Seiberg-Witten方 程 式,数 理 科 学1995年10月 号,
[7] G. Ellingsrud and L. Gottsche, Wall-crossing サ イ エ ン ス 社.
formula, Bott residue formula and the Donaldson [18] P. Kronheimer and T. Mrowka, Embedded
invariants of rational surfaces, alg-geom/ surfaces and the structure of Donaldson's
9506019. polynomial invariants, J. Differential Geom. 41
[8] M. N. Feehan and G. Leness, PU (2) monopo (1995) 573-734.
les and relation between four-manifolds, to appear [19] P. Kronheimer and T. Mrowka, The genus
in Topology and its application, dg-ga/9709022. of embedded surfaces in the projective plane,
[9] R. Fintushel and R. Stern, The blow-up for Math. Research Letters 2 (1994) 797-808.
mula for Donaldson invariants, Ann. of Math. [20] A. Lesov, N. Nekrasov and S. Shatashvili,

85
 198  論
Issues in topological gauge theory, hep-th/
9711108..
[21] V.Mathai and D.Quillen, Superconnections,
Thom classes, and equivariant differential forms,
Topology 25 (1986) 85-110.
[22] G. Moore and E. Witten, Integration over the
u-plane in Donaldson theory, hep-th/9709793.
[23] J. Morgan, The Seiberg-Witten equations
and applications to the topology of smooth four
manifolds, Princeton University Press, 1996.
[24]太 田啓 史,ト ポ ロ ジー,位 相 的場 の理 論 そ して表
現 論,数 理 科 学1997年3月 号,サ イエ ンス社.
[25] H . Ohta and K. Ono, Note on symplectic four
manifolds with b2 =I I, Lect. Note Pure Appl.
Math. 179 (1996).
[26]'奥 山 和 美,超 対 称 ゲ ー ジ理 論 の双 対 性,素 粒 子 論
研 究93-1(1996).
[27] V. Pidstrigach and A. Tyurin, Localization
of the Donaldson invariants along the Seiberg
-Witten classes , dg-ga/9507004.
[28] L. Rozansky and E. Witten, Hyper-Kahler
geometry and invariants of three manifolds, hep
-th/9612216 .
[29] N. Seiberg and E. Witten, Electric-magnetic
duality, monopole condensation, and confinement
in N=2 supersymmetric Yang-Mills theory,
Nucl. Phys. B426, (1994) 19-52 hep-th/940787.
[30] N. Seiberg and E. Witten, Monopoles, dual
ity, and chiral symmetry breaking in N=2 super
symmetric QCD, Nucl. Phys. B 431, (1994) 484-
550, hep-th/9408099.
86
説
[31] N. Seiberg and E. Witten, Gauge dynamics
and compactification to three dimensions, hep-th/
9607163.
[32]鈴 木 久 男,サ イバ ー グ ーウ ィ ッテ ン の数 理,数 学
 セ ミナ ー1997年8月 号,日 本 評 論社.
[33]鈴 木 久 男.双 対 性 の衝 撃,数 理 科 学1998年2月
号,サ イエ ンス社.
[34]高 崎 金 久,Seiberg-Witten理 論 と可積 分 系,数
理 科 学1997年3月 号,サ イ エ ンス 社.
[35],C.H.  TaubeS,  SW⇒Gr.  From  the Seiberg
Witten  equations  to pseudoholomorphic  curves,
J.Amer.  Math.  Soc.9(1996)845一918.
[36]梁 成 吉,4次 元N=2超 対 称 ゲ ー ジ 理 論 の 解 法,
  日本 物 理 学 会 誌51(1996).
[37] E. Witten, Topological quantum field theory,
Commun. Math. Phys. 117 (1988) 353-386.
[38] E. Witten Supersymmetric Yang-Mills the
ory on a four-manifold, J. Math. Phys. 35 (1994)
5101-5135, hep-th/9403193.
[39] E.Witten, On S-duality innabelian gauge the
ory, Selecta Mathematica 1 (1995) 383-410, hep
th/9505186.
[40] E. Witten, Monopole and four-manifolds,
Math. Research Letters 1(1994) 769-796, hep-th/
9411102.
[41] Lectures at Princeton 1996,1997,http: //www.
math.ias.edu%drm/QFT/spring/ # dhoker910.
                (1997年12月18日 提 出)
(ふるた  み きお.京 都 大 学数 理 解 析研 究 所)