2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 3 部 ヤン–ミルズ理論（古典）Donaldson とエキゾチック R⁴

寄り道：Donaldson とエキゾチック R⁴ — 古典ヤン–ミルズの解の空間が、四次元の滑らかさを見分ける

位相の意味で同じ（同相）とは、両方向とも連続な一対一の対応があることです。滑らかな多様体（1-05）では、両方向とも滑らかな対応（微分同相）を求めます。

同相だが微分同相でないとき、一方を他方の「エキゾチックな」構造と呼びます。地図帳の書き方が違うだけのもの（1-05 の $x\mapsto x^3$）は微分同相で移り合うので、これに当たりません。最初の例は七次元の球面とされます（Milnor 1956）既知。

例。$\mathbb R^n$ の滑らかな構造は $n\ne4$ ではただ一つです。Gompf（1983）の序は “it is a standard fact that for n ≠ 4, exotic Rⁿ's cannot exist” と書き、高い次元の平滑化の理論を当てはめると $\mathbb R^4$ の構造は一つのはずだ（“there should only be one structure on R4, as it has no cohomology”）と続けます 既知。実際には非可算個あります（§07・四次元の記事）。その理由がこの章の主題です。

閉じた（コンパクトで境界の無い）向きの付いた四次元多様体 $X$ の中の閉曲面は、連続に動かしても変わらない類に分かれ、類どうしは足せます。この集まりが $H_2(X;\mathbb Z)$ で、単連結な $X$ では $\mathbb Z^r$（$r=b_2$。1-06 §08 の Betti 数）です。正確には、$H_2$ の元はホモロジー類で、ここではその直観だけを使います（四次元ではどの類も埋め込まれた曲面で表せるとされます）。二つの曲面は一般の位置で有限個の点で交わり（1-12 §07）、向きで決まる $\pm1$ の和は、曲面を動かしても変わりません。

$\det Q=\pm1$（ユニモジュラー）は Poincaré 双対性によります 既知。形から読む数は、階数 $r$、符号数 $\sigma=b^+-b^-$（正と負の固有値の個数の差）、偶奇（すべての $Q(a,a)$ が偶数なら偶）です。$b^-=0$ なら正定値です。

例。$\mathbb{CP}^2$ は二本の直線 $\mathbb{CP}^1$ が一点で交わるので $(1)$、向きを逆にした $\overline{\mathbb{CP}^2}$ は $(-1)$、$S^2\times S^2$ は $H=\bigl(\begin{smallmatrix}0&1\\1&0\end{smallmatrix}\bigr)$ です。連結和（球を抜いて貼る）は直和になり、$\#r\,\mathbb{CP}^2$ は単位行列 $\langle1\rangle^r$（標準形）です。Kummer 曲面（K3）の形は $E_8\oplus E_8\oplus H^{\oplus3}$ です（$E_8$ は負定値の符号。Gompf はこの $H^{\oplus3}$ を階数 6 の $H$ と書く）既知。

正定値で偶な形の最小の例が $E_8$ です。次の Cartan 行列は行列式 1・偶・正定値です 計算。Gompf は、階数 8 の偶で定値なユニモジュラー形は $E_8$ だけだと述べます（“the unique symmetric form over Z which has rank 8, is even, and is negative definite”）。

位相だけで見ると、四次元は高い次元に似ています。Freedman（1982）は、行列式 $\pm1$ のどの対称形も閉じた単連結な位相多様体の形として実現でき、形と $\mathbb Z/2$ の量（Kirby–Siebenmann の障害。滑らかなら 0）で同相の類が決まることを示しました（Donaldson 1983 §I.1 の紹介による）既知。$E_8$ を形に持つ位相多様体 $|E_8|$ もあります。

滑らかさの制限は前から一つ知られていました。Donaldson の紹介では “Rohlin's theorem asserts that any even form coming from a smooth simply connected 4-manifold has signature divisible by 16” です 既知。

例。$E_8$（$\sigma=8$）は (4) で除かれ、$|E_8|$ は滑らかな構造を持ちません。$E_8\oplus E_8$（$\sigma=16$）は (4) を通り、奇な $E_8\oplus\langle1\rangle$ には (4) は何も言いません。これらを裁いたのが §04 の定理です。

寄り道：五次元以上では、なぜ滑らかさが効かないのか

Donaldson（1983）の Theorem 1 は “Let X be a compact smooth simply connected oriented 4-manifold with the property that the associated form Q is positive definite. Then that form is equivalent, over the integers, to the standard diagonal form” です 既知。整数の基底を取り替えると単位行列になる、ということです。向きを逆にすれば負定値でも同じで、単連結の仮定はのちに外されたとされます（Donaldson 1987）。証明で使う数の性質は一つで、$Q(a,a)=1$ の $a$ を $\pm a$ で一組と数えた組の数 $n(Q)$ についての補題です（論文の Lemma 2）既知。

証明は階数の帰納法です。$Q(a,a)=1$ ならどの $b$ も $b=m\,a+c$（$m=Q(b,a)$、$c\perp a$）と整数係数で分けられ、$Q(b,b)=m^2+Q(c,c)$ です。正定値なので $Q(b,b)=1$ は $b=\pm a$ か「$m=0$ かつ $Q(c,c)=1$」で、$n(Q)=n(Q|_{a^\perp})+1$、階数も 1 減ります。$a$ が尽きたとき残りの階数が 0 なら標準形、でなければ $n(Q)\lt r$ です。

例。表 1 は列挙で数えた $n(Q)$ です 計算。$D_n^+$ は、成分の和が偶数の整数ベクトル全体 $D_n$ と、それを $(\tfrac12,\dots,\tfrac12)$ だけずらした集合を合わせたものです（$n$ が 4 の倍数のとき行列式 1 の整数の形）。(4) を通る形も、$n(Q)\lt r$ なら定理が除きます。

約束。3-05 と同じ幾何の書き方（反エルミートな $A$、$c_2=\frac1{8\pi^2}\int\operatorname{tr}F\wedge F$）を使います。Donaldson（1983）も同じ符号で、正定値な $X$ 上の $c_2(P)=-1$ の SU(2) 束と、自己双対な接続を使います 既知。自己双対とは $F^-=0$ のことで、$F^-$ は $F$ の反自己双対な部分です（1-12 §03。3-03 の $F=*F$ と同じ条件）。多くの教科書は向きを逆にし、負定値と反自己双対（$c_2=k\gt0$）で書きます（3-05 の寄り道・1-12 §07）。向きを替えれば同じ話です。ゲージ変換で移り合う解を同一視した集まりがモジュライ空間で、3-04 の軌道空間の中の解の部分です。

$k$ は 3-05 の $Q$ です。$b_1$ は一次元の穴の数（1-06 §08 の Betti 数。単連結なら 0）です。次元は、方程式を線形化したものの指数から出ます。指数は線形の方程式の解の空間の次元の見積りで、有限次元の連立一次方程式なら「未知数の数 − 式の数」に当たります（正確には核の次元から余核の次元を引いたもの。ここでは名前だけ使います）。Donaldson（1983）§II はこの指数を $8|c_2(P)|-\tfrac32(\chi(X)-\tau(X))$ と書きます 既知。$\tau$ は符号数 $\sigma$、$\chi=b_0-b_1+b_2-b_3+b_4$ はオイラー数（1-06 の $V-E+F$ の仲間）で、閉じた四次元では $b_0=b_4=1$、$b_3=b_1$、$b_2=b^++b^-$ なので $\tfrac32(\chi-\tau)=3(1-b_1+b^-)$、つまり (6) です。反自己双対の流儀では $b^-$ が $b^+$ に替わります。

$S^4$（$b_1=b^-=0$）では $8k-3$ です。3-05 §04 の $8k$ 個のパラメータから、定数のゲージ回転の 3 個（ゲージ変換で移り合うので同一視する）を除くと $8k-3$ で、$k=1$ では中心 4＋大きさ 1 の 5 です。定理の $X$（$b_1=b^-=0$、$k=1$）でも 5 です。

例。$S^4$ の $k=1$ では、Donaldson は $\mathcal M(S^4)=SO(5,1)^+/SO(5)$ を開いた五次元球 $B^5$ と書きます。$SO(5,1)^+$ は $S^4$ の共形変換（角度を保つ変換）の群です。Donaldson は、解は「中心」と「大きさ」で決まると説明し、閉じた球 $\bar B^5=\mathcal M(S^4)\cup S^4$ について “a point x of S4 represents the limit point of a sequence of connections whose curvature becomes concentrated in diminishing balls about x” と述べます 既知。3-05 §05 の「点に縮む」極限が縁です。図 1 は中心 $a$（$x_1$ 軸上）と大きさ $\lambda$ を上半平面の点 $w=a+i\lambda$ と読み、上半平面を単位円板に写す一次分数変換 $z=(w-i)/(w+i)$ で写した切り口です（図のための座標）。

図 1 の双曲距離

図の読み出しの双曲距離は、上半平面 $\lambda\gt0$ で曲線の長さを $\int\sqrt{da^2+d\lambda^2}/\lambda$ と測ったときの、点 $(a,\lambda)$ と $(0,1)$ を結ぶ最短の長さです。この計量 $(da^2+d\lambda^2)/\lambda^2$（上半空間の計量の切り口）は共形変換の群 $SO(5,1)^+$ で不変ですが、解の空間に自然に入る $L^2$ の計量（接続の変化 $\delta A$ の大きさを $\int|\delta A|^2$ で測るもの）ではありません。$a=0$ の双曲距離は $|\ln\lambda|$（$\lambda\le1$ なら $\ln(1/\lambda)$）です 計算。この計量では縁は無限に遠くにあります。大きさ $\lambda$ をいくら小さくしても解であり続け、族が縁まで途切れないのは、四次元で作用が尺度によらないためです（1-12 §04）。

計算この図の数値はこの端末で計算した。密度 $48\lambda^4/(|x-a|^2+\lambda^2)^4$（1-12 の (9)）と $z$ をその場で計算。静的な値：$a=0$ で $\lambda=1,\ 0.1,\ 0.01$ と縮めると $1-|z|=1,\ 0.182,\ 0.0198$、双曲距離 $0,\ 2.30259,\ 4.60517$、半径 0.1 の内側の作用の割合 $0.0003,\ 0.5000,\ 0.9997$（閉じた式と数値積分が一致）。

(6) の $\mathcal M$ は三つの部分からなります（Donaldson 1983 §I.2・§II・§III）既知。

(i) 既約な点。ホロノミー（1-07）が共通の不変部分空間を持たない接続で、方程式を小さく摂動すると向きの付いた滑らかな五次元多様体になります。

(ii) 可約な点。束が $E=L\oplus L^{-1}$ と分かれ、接続もそれを保つ場合で、$c_2(E)=-c_1(L)^2$ から $Q(\alpha,\alpha)=1$（$\alpha=c_1(L)$）です。$b^-=0$ なので各 $\pm\alpha$ に自己双対な接続が在り、$b_1=0$ なのでそれはゲージ同値を除いて一つで、数は $n(Q)$ です。その接続を動かさないゲージ変換の群（止める群）が U(1) と大きいので、3-04 §04 の「角」になります。正確には、止める群が大きい点で軌道空間が滑らかな多様体でなくなり、近傍が錐の形になる、という意味です。近傍は $\mathbb C^3/S^1$ で、$\mathbb C^3$ の単位球 $S^5$ を円 $S^1$ で割ると $\mathbb{CP}^2$、それに半径の方向を足したものなので、$\mathbb{CP}^2$ の上の錐です。

(iii) 端。大きさの小さな解は $X$ の一点に集中した BPST の解に見えます。Taubes（1982）がそれを $b^-=0$ の下で作りました。Donaldson §III は Uhlenbeck（1982）の収束の結果を使い、逃げる列は集中するものに限られることを示します。Theorem 11 は端の近傍が $X\times(0,\lambda_0)$ と微分同相だと述べます。図 1 の縁が、ここでは $X$ の写しです。

錐の頂点のまわりを切り取り、端に $X$ を貼ると、境界が $X$ と $n(Q)$ 個の $\pm\mathbb{CP}^2$ の、向きの付いたコンパクトな五次元多様体 $W$ ができます（境界を分け合う関係を同境と呼ぶ）。符号数は “an invariant of oriented cobordism” です。向きの付いたコンパクトな五次元多様体の境界全体（ここでは $X$ と、向きを込めた $n(Q)$ 個の $\pm\mathbb{CP}^2$ の和）の符号数は 0 になる、というのが同境不変の意味で、ここから $\sigma(X)=\sum\varepsilon_i\,\sigma(\mathbb{CP}^2)$（$\varepsilon_i=\pm1$ は向きの入り方）が出て、次が言えます。

四つの関係の理由は次のとおりです。一つ目の等号：正定値なので $b^-=0$ で、$\sigma=b^+=r$。二つ目の等号：同境不変（上の段落）。一つ目の不等号：各 $\varepsilon_i\le1$ なので、和は項の数 $n(Q)$ 以下。二つ目の不等号：(5)。両端が $r$ なので途中はすべて等号で $n(Q)=r$、(5) の等号の場合から標準形です。例。$E_8\oplus E_8$ では錐が無く、境界は $X$ だけなので $\sigma=16$ が 0 になれず矛盾します。図 2 は形ごとの帳尻です。論文の大半は (i)〜(iii) の解析です。

計算この図の数値はこの端末で計算した。階数と $n(Q)$ は表 1 の列挙の値（$\langle1\rangle^4$ は $n(Q)=4$）。JavaScript が無いときは表 1 の $r$ と $n(Q)$ を (7) に入れれば同じ判定です。

Taubes（1987）の序は “Donaldson's theorem ... has the surprising corollary that there exists an exotic smooth structure on R4. This corollary was deduced by M. Freedman” と書きます 既知。筋は三段です（Taubes の紹介による）。(a) $|E_8\oplus E_8|$ は滑らかにできない（§04）。(b) 一点を抜くと滑らかにでき（Freedman）、抜いた点のまわりは、$\mathbb R^4$ と同相なある滑らかな $R$ の無限遠と、コンパクト集合の外で微分同相になる。(c) $R$ が標準なら、大きな滑らかな $S^3$ で切って球体で蓋ができ、$|E_8\oplus E_8|$ が滑らかになってしまう。よって次が言えます。

Gompf（1983）は K3 と $\#3\,S^2\times S^2$ から同種の $R^4_{DF}$ を作り、“there is a compact set in R4DF ... which cannot be enclosed by any smooth S3. This behavior is impossible in the standard R4.” と書きます 既知。

例。Gompf §2 は Kummer 曲面の代わりに $\mathbb{CP}^2\#9\overline{\mathbb{CP}^2}$（形 $\langle1\rangle\oplus9\langle-1\rangle$、基底 $e_0,\dots,e_9$）を使って別のエキゾチック $\mathbb R^4$ を作ります。鍵は $x=3e_0+e_1+\dots+e_8$ です。$x\cdot x=9-8=1$ で、直交補空間 $E_8\oplus\langle-1\rangle$（負定値で対角化できない）が定理に反するので、$x$ が張る形 $\langle1\rangle$ の部分を手術（多様体を切り取って貼り直す操作）で切り離すことは、位相では可能でも滑らかには行えません。表 2 はその検査です 計算。

いくつあるか。Taubes は (b) の同相で半径 $r$ の球を写した $R_r$ が、ある $r_0$ より大きな相異なる $r$ で互いに微分同相でないことを、端が周期的な多様体の上のゲージ理論で示しました。Theorem 1.1 は “There exists an uncountable family of diffeomorphism classes of oriented 4-manifolds which are homeomorphic to R4.” です 既知。$r$ は区間 $r\gt r_0$ を動き、相異なる $r$ は相異なる類を与えるので、少なくとも実数と同じだけあります（多様体の類は高々実数の濃度しかないので、ちょうど連続体濃度とされる）。一方、$S^4$ にエキゾチックな構造があるかは知られていないとされます。

方程式は 3-05 と同じでも、Donaldson は解の集まりの形を道具にし、確率も時間発展も使いません。問題文（0-03）が問うのは、同じ作用を重みにした確率測度（4-02）と、そのハミルトニアンのスペクトルです。

量子の測度の上では、滑らかな古典解は典型的な配位でないと期待されます（1-09 の Cameron–Martin 空間からの類推）物理。問題で効く「四」は、結合定数の次元が消える四です（0-04）。例。問題文 §2 は “Classical properties of gauge theory are within the reach of established mathematical methods” とし、四次元多様体の研究での役割を述べたあと、“one does not yet have a mathematically complete example of a quantum gauge theory in four-dimensional space-time” と続けます 既知。

物理の水準の橋が二つあります。Witten（1994）の要旨は Donaldson の不変量について “instead of defining four-manifold invariants by counting SU(2) instantons, one can define equivalent four-manifold invariants by counting solutions of a non-linear equation with an abelian gauge group” と書きます（背景は 7-11）物理。問題文 §5 は、質量ギャップから出るクラスター性が “may make it possible to apply mathematical results established on R4 to any 4-manifold” とし、ギャップは “may also be important in mathematical applications of four-dimensional quantum gauge theories to geometry” と結びます 物理。

この章が言えている範囲

出典と再現

次に読む章：3-07 標準模型の中のヤン–ミルズ。Seiberg–Witten の物理は 7-11、問題で効く「四」は 0-04。

← 3-05 インスタントンと位相目次3-07 標準模型の中のヤン–ミルズ →