# h 同境定理・エキゾチック球面・低次元トポロジーの入口 > h 同境定理から高次元の Poincaré 予想と円板の特徴づけを導き、証明の筋をハンドルの消去で追う。Milnor の 7 次元球面が球面に同相であることを Morse 関数で示し、微分同相でないことを符号数定理に帰着する。Seifert 膜、三葉結び目の非自明性、4 次元多様体の交叉形式と Freedman・Donaldson の定理を述べる。 > https://rikai.mugen-giken.com/mathematics/differential-topology/h-cobordism-and-exotic-spheres ## 0. この記事の要点 球面とそっくりに見える図形は、本当に球面と同じ形なのでしょうか。「同じ形」を、伸び縮みだけで移り合うことと取るか、なめらかさまで込めて移り合うことと取るかで、答えが変わることがあります。この記事では、次元が大きいときには簡単な条件を確かめるだけで形が決まること、7 次元には球面と同じ形でありながらなめらかさの意味では別物の「球面」があること、3 次元の結び目と 4 次元の多様体では事情が違うことを、順に見ていきます。読み終えると、次元ごとに何が分かっていて何が分かっていないかと、それぞれの結果の証明の筋を説明できるようになります。 - **h 同境定理**（Smale）：次元 6 以上の単連結な h 同境（両端の多様体から全体への包含が、どちらもホモトピー同値になる同境）は積 $M_0\times[0,1]$ に微分同相です（。主張のみ）。これから、次元 6 以上のホモトピー球面は球面に同相であること（）と、[可縮](/mathematics/algebraic-topology/fundamental-group-coverings#def-contractible)な多様体が円板であること（）が従います。 - 証明の筋は「[ハンドル](/mathematics/differential-topology/handle-decompositions#def-handle)をすべて消去する」ことです。並べ替え・0-ハンドルの消去・代数的な条件までは[ハンドル分解](/mathematics/differential-topology/handle-decompositions)の定理（ハンドルの消去定理は同章で主張のみ）から導け（）、残る核心は、符号つきの交点数 $\pm1$ を幾何的な 1 点にする Whitney の技巧（逆符号の 2 つの交点の間に円板を張って、2 点を同時に消す操作）です。これは次元が足りない 4 次元で破れます。 - $S^4$ 上の $S^3$ 束 $M_{h,j}$（$h+j=1$）は、[臨界点](/mathematics/manifolds/submanifolds-regular-values#def-critical)が 2 つの Morse 関数をもつので $S^7$ に同相です。一方 $(h-j)^2\not\equiv1\pmod7$ なら $S^7$ に微分同相ではありません（。後半は Hirzebruch の符号数定理（符号数を Pontryagin 数で表す公式）と Pontryagin 数の整数性に依存）。 - 結び目は必ず向き付けられた曲面（Seifert 膜。結び目を縁にもつ曲面）の境界になります（）。結び目の補空間のホモロジーは結び目によらず（）、区別には基本群が要ります。三葉結び目の群は対称群 $S_3$ の上への全射をもち、自明な結び目と区別できます（）。 - 単連結な閉 4 次元多様体では $H_2$ が自由で、交叉形式がユニモジュラー（基底についての行列式が $\pm1$）です（）。位相的な分類は交叉形式でほぼ尽くされ（Freedman。）、滑らかな構造をもつための強い制約があります（Donaldson。）。この 2 つは主張のみです。 ## 1. 動機 [滑らかな多様体](/mathematics/manifolds/smooth-manifolds)の章の で、同相だが微分同相でない多様体があるかという問題と、Milnor の 7 次元球面に触れました。この章では、これまでに準備した横断性・ハンドル分解・同境不変量を使って、この問題がどこまで分かっているかを次元ごとに見渡します。 多様体の分類には、次元による著しい違いがあります。次元 2 以下では、分類は のとおり完全で、位相的な分類と滑らかな分類は一致します。次元 5 以上では、「一般の位置に動かせば交わらない」という数え方（$2+2\lt5$）が円板に対して使えるので、ハンドルの消去が代数的な条件だけで実行でき、分類はホモトピー論と代数の問題に帰着します。その境目にある次元 3 と 4 では、この数え方がちょうど足りず、結び目理論やゲージ理論といった別の道具が必要になります。 この章には証明しない定理が 4 つあります。どれも証明が本 1 冊分になるか、研究水準の結果です。このほか、[ハンドル分解](/mathematics/differential-topology/handle-decompositions)の章で主張のみとしたハンドルの消去定理（）を、§2.3 の 1 か所（ の 3 の最後の主張）で仮定として使います。指数 $0$ と $1$ の対の消去は同章の で証明済みで、仮定ではありません。何を証明し、何を主張だけにするかを先に表にしておきます。 | 証明するもの | 主張のみのもの（理由と出典は各定理の直後の注意） | |---|---| | Alexander の技巧、ねじれ球面が球面に同相であること | h 同境定理（） | | h 同境定理からの 3 つの帰結 | Whitney の技巧（。h 同境定理の証明の一部） | | h 同境定理の証明のうち、0-ハンドルと $n$-ハンドルの消去と、交点数が $\pm1$ になること | Freedman の定理（） | | $M_{h,j}$（$h+j=1$）が $S^7$ に同相であること、特性数の計算 | Donaldson の定理（） | | Seifert 膜の存在、絡み数の公式、結び目の補空間のホモロジー、三葉結び目の非自明性 | | | 単連結な閉 4 次元多様体の $H_2$ が自由で、交叉の対がユニモジュラーであること、3 つの例の交叉形式 | | このほか、$M_{h,j}$ が $S^7$ に微分同相でないことの証明は、既出の Hirzebruch の符号数定理（。主張のみ）と、Pontryagin 数の整数性（Rikai ではまだ証明していない事実）に依存します。この依存は定理の仮定として明示します。 多様体は滑らか・Hausdorff・第二可算、閉多様体はコンパクトで境界のないものとします。同境、Morse 関数、ハンドルの用語は[ハンドル分解](/mathematics/differential-topology/handle-decompositions)の章のとおりです。 ## 2. h 同境定理 ### 2.1. 定理の主張 1. 同境 $W\colon M_0\rightsquigarrow M_1$（）が **h 同境**であるとは、包含 $M_0\hookrightarrow W$ と $M_1\hookrightarrow W$ がどちらもホモトピー同値であることをいう。 2. 球面 $S^n$ にホモトピー同値な閉 $n$ 次元多様体を**ホモトピー球面**という。 3. $h\colon S^{n-1}\to S^{n-1}$ を微分同相とする。2 つの円板 $D^n$ を境界で $h$ により貼り合わせた閉多様体 $\Sigma_h=D^n\cup_hD^n$（）を**ねじれ球面**という。 $n\ge6$ とし、$W\colon M_0\rightsquigarrow M_1$ を $n$ 次元の同境で、$W$、$M_0$、$M_1$ がいずれも単連結、かつ $H_k(W,M_0)=0$（すべての $k$）であるものとする。このとき、$M_0$ の上で $(z,0)\mapsto z$ となる微分同相 $M_0\times[0,1]\to W$ が存在する。とくに $M_0$ と $M_1$ は微分同相である。 は**主張のみ**で、この記事では証明しません。証明は、$W$ のハンドル分解からハンドルをすべて消去するもので、§2.3 でその筋を追い、[ハンドル分解](/mathematics/differential-topology/handle-decompositions)の章の定理から証明できる段は証明します。証明できない段は、1-ハンドルを 3-ハンドルに取り替える操作、ハンドルの滑らせによる基底の取り替え、そして Whitney の技巧（）です。これらを省略なしに書くと J. Milnor『Lectures on the h-Cobordism Theorem』（Princeton University Press, 1965）の §6–§9、約 50 ページになり、1 つの記事には収まりません。原論文は S. Smale, "On the structure of manifolds", *Amer. J. Math.* 84 (1962), 387–399 です。仮定のうち「単連結かつ $H_*(W,M_0)=0$」は、単連結な $W$、$M_0$、$M_1$ については h 同境であることと同値です（一方は自明、他方は Hurewicz の定理と Whitehead の定理による）。単連結でない場合は Whitehead ねじれという代数的な障害が現れます（s 同境定理）。 $V$ を単連結な $m$ 次元の境界のない多様体、$P$、$Q$ をその連結でコンパクトな境界のない部分多様体で、$\dim P+\dim Q=m$、$\dim P\ge2$、$\dim Q\ge3$（したがって $m\ge5$）、$P$ と $Q$ が横断的に交わるとする。$\dim P=2$ のときは、さらに $V\setminus Q$ も単連結であるとする。$P$ と、$Q$ の法束が向き付けられているとし（交点 $x$ の符号は、同型 $T_xP\to T_xV/T_xQ$ が向きを保つかどうかで決める）、交点 $x,y\in P\cap Q$ の符号が逆であるとする。このとき $V$ のアンビエントイソトピー $h_t$ で、ほかの交点の近くでは恒等写像であり、$h_1(P)$ が $Q$ と横断的に交わって $h_1(P)\cap Q=P\cap Q\setminus\{x,y\}$ となるものが存在する。したがって、交点の符号の和が $\pm1$ なら、$P$ をイソトピーで動かして $Q$ とちょうど 1 点で横断的に交わるようにできる。 も**主張のみ**です（h 同境定理の証明の一部として、同じ扱いにします）。証明は、$x$ と $y$ を $P$ の中の弧と $Q$ の中の弧で結んでできる閉曲線に 2 次元円板（Whitney 円板）を張り、その円板に沿って $P$ を押し出して 2 つの交点を同時に消す、というものです。円板を埋め込みに取り、内部が $P$、$Q$ と交わらないようにし、さらに円板の法枠を $P$ と $Q$ に沿う形に延ばす必要があり、そこに単連結性と次元の仮定が使われます。上の主張は Milnor の本の §6 にある定理を、$V$ が単連結で $P$、$Q$ が連結な場合に述べたものです（原文は、$x$ と $y$ を結ぶ 2 本の弧からなる閉曲線が $V$ の中で可縮であることと、$\dim P\le2$ のとき $\pi_1(V\setminus Q)\to\pi_1(V)$ が単射であることを仮定します。$\dim P\ge3$ なら後者は自動的に成り立ちます）。出典は H. Whitney, "The self-intersections of a smooth $n$-manifold in $2n$-space", *Ann. of Math.* 45 (1944), 220–246 と、上記 Milnor の本の §6 です。 ### 2.2. h 同境定理からの帰結 任意の同相写像 $h\colon S^{n-1}\to S^{n-1}$ は、同相写像 $\bar h\colon D^n\to D^n$、$\bar h(tx)=t\,h(x)$（$x\in S^{n-1}$、$0\le t\le1$）に延びる。したがって、ねじれ球面 $\Sigma_h$ は $S^n$ に同相である。 $\bar h$ は $t\gt0$ で連続で、$|\bar h(tx)|=t$ なので原点でも連続です。$h^{-1}$ から同じ式で作った写像が逆を与えるので、$\bar h$ は同相写像です。$\Sigma_h$ は、非交和 $D_1\sqcup D_2$（どちらも $D^n$）で $x\in\partial D_2$ と $h(x)\in\partial D_1$ を同一視したものです。$S^n$ を 2 つの半球 $D_1\cup_{\mathrm{id}}D_2$ と見て、$D_1$ の上で恒等写像、$D_2$ の上で $\bar h$ とおくと、$x\in\partial D_2$ は $h(x)\in\partial D_2$ に写り、これは $S^n$ の中で $h(x)\in\partial D_1$ と同じ点なので、同一視と両立します。コンパクト空間から Hausdorff 空間への連続な全単射なので同相写像です。 $\bar h$ は $h$ が微分同相でも原点で滑らかとは限りません。これが、ねじれ球面が球面に微分同相とは限らない理由です。 $M$ を閉 $n$ 次元多様体（$n\ge1$）とし、臨界点がちょうど 2 つで、どちらも非退化な滑らかな関数 $f\colon M\to\mathbb{R}$ があるとする。このとき $M$ はあるねじれ球面 $\Sigma_h$ に微分同相である。とくに $M$ は $S^n$ に同相である。 の証明のとおり、2 つの臨界点は最小点 $p$（指数 $0$）と最大点 $q$（指数 $n$）で、$f(p)=0$、$f(q)=1$ としてよく、小さい $\varepsilon\gt0$ について、Morse チャート（）$u$ により $M^\varepsilon=\{f\le\varepsilon\}=\{|u|^2\le\varepsilon\}$ は $v\mapsto u^{-1}(\sqrt\varepsilon\,v)$ で $D^n$ に微分同相、同様に $D_2=\{f\ge1-\varepsilon\}$ も $D^n$ に微分同相です。区間 $[\varepsilon,1-\varepsilon]$ は臨界値を含まないので、 の 1 により $M$ の微分同相 $\Phi$ で $\Phi(M^\varepsilon)=M^{1-\varepsilon}$ となるものがあります。よって $D_1=M^{1-\varepsilon}$ も $D^n$ に微分同相で、$M=D_1\cup D_2$、$D_1\cap D_2=f^{-1}(1-\varepsilon)$ は両方の境界です。$g_i\colon D_i\to D^n$ を微分同相とすると、$h=g_1\circ g_2^{-1}|_{S^{n-1}}$ は $S^{n-1}$ の微分同相で、$g_1$、$g_2$ は $M$ から $D^n\cup_hD^n$ への全単射を定めます。等位面 $f^{-1}(1-\varepsilon)$ の両側のカラーとして勾配状ベクトル場の流れによるもの（）を取れば、これは貼り合わせの構造についての微分同相です（）。後半は です。 これは Reeb の球面定理を「ねじれ球面に微分同相」の形に精密にしたものです。§3 で、この命題を使って Milnor の多様体が $S^7$ に同相であることを示します。 $n\ge6$ とし、$W$ をコンパクトで単連結な $n$ 次元の境界付き多様体で、境界 $\partial W$ が空でなく単連結、かつ $\tilde H_k(W)=0$（すべての $k$。$W$ が可縮ならこれは成り立つ）であるものとする。 を仮定すると、$W$ は $D^n$ に微分同相である。 証明の方針は次のとおりです。$W$ から小さい円板を 1 つ抜いた $W_0$ は、その円板の境界と $\partial W$ をつなぐ同境になり、仮定からそれは h 同境です。 でこれが積と分かるので、抜いた円板を戻すと、$W$ は円板 $D_0$ の外側に [カラー](/mathematics/differential-topology/tubular-neighborhoods-isotopy#def-collar)（境界に沿った積の形の帯）を継ぎ足したものにすぎない、という流れです。 $W$ の内部のチャートの中に閉円板 $D_0$ を取り、$W_0=W\setminus\operatorname{int}D_0$ とします。$W_0$ は同境 $\partial D_0\rightsquigarrow\partial W$ です。 *単連結性。*　$W$ を、$W_0$ と $D_0$ を少し太らせた 2 つの開集合の和と見ます。共通部分は $S^{n-1}$ にホモトピー同値で、$n\ge3$ なので単連結です（）。 の 2 により $\pi_1(W)\cong\pi_1(W_0)/N$ で、$N$ は自明な群の像の正規閉包なので自明、$\pi_1(W_0)\cong\pi_1(W)=1$ です。$\partial D_0=S^{n-1}$ も単連結です。 *相対ホモロジー。*　$D_0$ と同心の小さい開円板 $D_0'$ を取ると、切除定理（）により $H_k(W\setminus D_0',D_0\setminus D_0')\cong H_k(W,D_0)$ です。$D_0\setminus D_0'$ は動径方向に $\partial D_0$ へ変位レトラクトするので、対 $(W_0,\partial D_0)\subset(W\setminus D_0',D_0\setminus D_0')$ はホモロジーの同型を誘導します（対の長完全列と五項補題。、）。$D_0$ と $W$ はどちらも連結で被約ホモロジーが $0$ なので、対 $(W,D_0)$ の長完全列から $H_k(W,D_0)=0$ です。よって $H_k(W_0,\partial D_0)=0$ です。 により、$\partial D_0$ の上で恒等写像となる微分同相 $S^{n-1}\times[0,1]\to W_0$ があります。$W$ は $D_0$ と $W_0$ を $\partial D_0$ に沿って貼り合わせたもので、$W$ の構造は、$W$ の中の $\partial D_0$ の両側のカラーによる貼り合わせの構造です。上の微分同相により、$W$ は、$D_0$ と $S^{n-1}\times[0,1]$ を $\partial D_0=S^{n-1}\times0$ に沿って貼り合わせたもの $W'$ に微分同相です（カラーを取り替えても構造は微分同相を除いて変わりません。 の 2）。$W'$ のカラーとして、$D_0$ のカラー $c$ と $S^{n-1}\times[0,1]$ の積のカラーを取ると、$W'$ は、$D_0$ を境界の外へ延長した $\hat D_0$（）の中の $D_0\cup\{(z,t):-\tfrac12\le t\le0\}$ に微分同相です（$D_0$ の上では恒等写像、$S^{n-1}\times[0,1]$ の上では $(z,s)\mapsto(z,-\sigma(s))$。$\sigma\colon[0,1]\to[0,\tfrac12]$ は $0$ の近くで $\sigma(s)=s$ となる微分同相で、継ぎ目のチャートで見るとこの写像は継ぎ目の近くで恒等写像です）。これは （$\beta=\tfrac12$）により $D_0\cong D^n$ に微分同相です。 $n\ge6$ とし、$M$ を単連結な閉 $n$ 次元多様体で $H_k(M)\cong H_k(S^n)$（すべての $k$）を満たすもの（とくにホモトピー球面）とする。 を仮定すると、$M$ はねじれ球面に微分同相で、したがって $S^n$ に同相である。 指数 $0$ と指数 $n$ の臨界点が 1 つずつの自己指数的な Morse 関数 $f$ を取り（）、$M'=f^{-1}((-\infty,n-\tfrac12])$、$D=f^{-1}([n-\tfrac12,\infty))$ とします。$D$ は指数 $n$ のハンドル 1 つで、$D^n$ に微分同相です（）。$M'$ が の仮定を満たすことを示します。 *単連結性。*　$M=M'\cup D$ に、上の証明と同じく van Kampen の定理を使うと $\pi_1(M')\cong\pi_1(M)=1$ です。$\partial M'=\partial D\cong S^{n-1}$ も単連結です。 *ホモロジー。*　 の記号で $M'=M_{n-1}$ です。その証明の (ii) により $1\le k\le n-2$ で $H_k(M_{n-1})\cong H_k(M)=0$、(i) により $H_n(M_{n-1})=0$ です。対 $(M,M_{n-1})$ の長完全列 $$ 0=H_n(M_{n-1})\to H_n(M)\to H_n(M,M_{n-1})\to H_{n-1}(M_{n-1})\to H_{n-1}(M)=0 $$ で、$H_n(M)\cong\mathbb{Z}$、$H_n(M,M_{n-1})=C_n\cong\mathbb{Z}$（指数 $n$ の臨界点は 1 つ）なので、中央の射は $0$ でない整数 $m$ を掛ける写像で、$H_{n-1}(M_{n-1})\cong\mathbb{Z}/|m|$ は有限群です。一方、同じ証明の (iii) により $H_{n-1}(M_{n-1})$ は自由アーベル群 $C_{n-1}$ の部分群に同型で、ねじれをもちません。よって $H_{n-1}(M_{n-1})=0$ です。 により $M'\cong D^n$ で、$M=M'\cup D$ は 2 つの円板を境界で貼ったもの、すなわちねじれ球面です。 により $S^n$ に同相です。 $n=5$ でも、ホモトピー球面は $S^5$ に同相（実は微分同相）です。5 次元のホモトピー球面が可縮な 6 次元多様体の境界になること（Kervaire–Milnor）を示し、 を $n=6$ で使います。$n=4$ の位相的な場合は Freedman（）、$n=3$ は Perelman（2002–2003 年。Hamilton の Ricci 流による）の結果です。滑らかな 4 次元のホモトピー球面が $S^4$ に微分同相かどうかは、いまも未解決です。これらはこの記事では証明しません。 $M_0$、$M_1$ を単連結な閉多様体で次元が $5$ 以上のものとする。単連結な同境 $W\colon M_0\rightsquigarrow M_1$ で $H_*(W,M_0)=0$ となるものが存在すれば、 を仮定すると、$M_0$ と $M_1$ は微分同相である。 $\dim W\ge6$ なので により $W\cong M_0\times[0,1]$ で、もう一方の境界成分 $M_1$ は $M_0\times\{1\}$ に写ります。 この系は、同境という粗い関係（[前章](/mathematics/differential-topology/cobordism-and-pontryagin-thom)）から、ホモトピーの条件を足すだけで微分同相という最も細かい関係が得られることを述べています。高次元の多様体の分類（手術理論）は、この系を出口として組み立てられています。 ### 2.3. 証明の筋：ハンドルをすべて消去する $W\colon M_0\rightsquigarrow M_1$ が積であることは、臨界点の無い Morse 関数をもつことと同値です（）。そこで、Morse 関数から出発して臨界点を対にして消していきます。次の命題は、そのうち[ハンドル分解](/mathematics/differential-topology/handle-decompositions)の章の定理だけで証明できる部分です。 $n\ge2$ とし、$W\colon M_0\rightsquigarrow M_1$ を連結な $n$ 次元の同境で、$M_0$、$M_1$ が空でなく、$H_k(W,M_0)=0$（すべての $k$）であるものとする。3 の最後の主張だけは、一般の指数のハンドルの消去定理（。同章で主張のみ）を仮定したうえでの主張である（$\lambda=0$ と $\lambda=n-1$ の場合は仮定なしに成り立つ）。 1. $W$ の上に、指数 $0$ と指数 $n$ の臨界点をもたない自己指数的な Morse 関数が存在する。 2. $W$ の上の任意の Morse 関数について、指数 $\lambda$ の臨界点の個数を $c_\lambda$ とすると $\sum_\lambda(-1)^\lambda c_\lambda=0$。とくに、臨界点の指数が $\lambda$ と $\lambda+1$ だけなら $c_\lambda=c_{\lambda+1}$。 3. Morse 関数 $f$ の臨界点が、指数 $\lambda$ の $p$ と指数 $\lambda+1$ の $q$ のちょうど 2 つで、$f(p)\lt f(q)$、間の等位面 $V$ の中で $q$ の下降球面 $A$ と $p$ の上昇球面 $B$ が横断的に交わるとする。このとき、符号つきの交点数（ の $n(q,p)$）は $\pm1$ である。さらに $A\cap B$ がちょうど 1 点なら、$W$ は $M_0\times[0,1]$ に微分同相である。 **1。**　自己指数的な Morse 関数 $f$ と勾配状ベクトル場を取ります（ の 3）。$W_{(0)}=f^{-1}([-\tfrac12,\tfrac12])$ は $M_0\times[0,1]$ と、指数 $0$ の臨界点ごとの円板の非交和で、$W_{(1)}=f^{-1}([-\tfrac12,\tfrac32])$ はそれに 1-ハンドルを貼ったものです（）。指数 $2$ 以上の臨界値を通過しても $H_0$ は変わらないので（ の証明のとおり、各段の相対ホモロジーは臨界点の指数の次数にだけ現れます）、$W_{(1)}$ は連結です。指数 $0$ の臨界点 $p$ があれば、その円板 $D$ は $W_{(0)}$ の成分の 1 つで、$M_0\ne\varnothing$ なので成分はほかにもあります。$W_{(1)}$ が連結なので、一方の足が $\partial D$ に、他方の足が別の成分にある 1-ハンドルがあります（どの 1-ハンドルも両足を同じ成分にもつなら、成分は増えも減りもしません）。 の証明と同じく、この 1-ハンドルの臨界点 $q$ と $p$ を隣り合う臨界値に並べ替えると（勾配状ベクトル場は変えません）、$p$ と $q$ だけを含む帯の中で、$q$ に収束する 2 本の軌道のうち $p$ から来るのは、$\partial D$ に足をもつ側のちょうど 1 本です。 の 1 により、帯の上に臨界点をもたず帯の境界の近傍でもとの関数に一致する関数があり、それに取り替えて対を消去できます。これを繰り返して指数 $0$ の臨界点をなくします。$M_1\ne\varnothing$ なので、$-f$ に同じ議論を使って指数 $n$ の臨界点をなくし（同補題の後半）、最後に自己指数的に並べ替えます（ の 3 の証明の操作は臨界点の個数を指数ごとに変えません）。 **2。**　 により $\chi(W)-\chi(M_0)=\sum_\lambda(-1)^\lambda c_\lambda$ です。対 $(W,M_0)$ の長完全列の階数の交代和から $\chi(W)-\chi(M_0)=\sum_k(-1)^k\operatorname{rank}H_k(W,M_0)=0$ です。 **3。**　$f(p)\lt m\lt f(q)$ となる正則値 $m$ を取り、$W'=f^{-1}((-\infty,m])$ とします。 の 1 の証明と同じく、$H_k(W',M_0)$ は $k=\lambda$ で下降円板の類 $[D(p)]$ の生成する $\mathbb{Z}$、ほかで $0$、$H_k(W,W')$ は $k=\lambda+1$ で $[D(q)]$ の生成する $\mathbb{Z}$、ほかで $0$ です。鎖複体の短完全列 $0\to C_*(W',M_0)\to C_*(W,M_0)\to C_*(W,W')\to0$ の長完全列（） $$ 0=H_{\lambda+1}(W,M_0)\to H_{\lambda+1}(W,W')\xrightarrow{\ \partial\ }H_\lambda(W',M_0)\to H_\lambda(W,M_0)=0 $$ から $\partial$ は同型 $\mathbb{Z}\to\mathbb{Z}$ で、$\partial[D(q)]=\pm[D(p)]$ です。一方、 の 3 の証明の計算（$\partial[D(q)]$ は球面 $A$ の類で、その $[D(p)]$ の係数は $B$ の管状近傍への射影の局所写像度の和）はこの状況でもそのまま成り立ち、$\partial[D(q)]=n(q,p)[D(p)]$ です。よって $n(q,p)=\pm1$ です。$A\cap B$ が 1 点のとき、$\lambda=0$ なら の 2 により（$A$ は 2 点で、$B$ との交点が 1 点であることは、$q$ に収束する 2 本の軌道のうちちょうど 1 本が $p$ から来ることを意味します）、$\lambda=n-1$ なら同補題の後半により、$W\cong M_0\times[0,1]$ です。そのほかの $\lambda$ では、主張のみの を仮定すると $W\cong M_0\times[0,1]$ です。この最後の場合だけが仮定つきの主張です。 h 同境定理の証明は、この命題の 3 の状況を、次の順で作り出します。番号 (c)(d)(e) が、この記事で証明していない段です。 ねらいを先に言うと、交点数は符号つきで数えるので、$+1$ の交点と $-1$ の交点は打ち消し合います。したがって交点数が $\pm1$ でも、実際の交点は 3 個以上あるかもしれません。(e) で逆符号の対を消して、交点を 1 個にするのが目標です。また (c) で指数 $1$ を指数 $3$ に取り替えるのは、1 次元の球面では (e) の Whitney の技巧が使えないからです（後の を参照）。 - (a) 自己指数的な Morse 関数を取る（）。 - (b) 指数 $0$ と $n$ の臨界点を消す（ の 1）。 - (c) 指数 $1$ の臨界点を指数 $3$ の臨界点に取り替える。$W$ と $M_0$ が単連結なので、1-ハンドルを 1 周する閉曲線は可縮で、$n\ge5$ なら一般の位置から埋め込まれた円周として実現できる。 で指数 $2$ と $3$ の対を生み、その 2-ハンドルの接着円周をこの閉曲線にイソトピーで動かして 1-ハンドルと消去する。$-f$ に同じことをして指数 $n-1$ の臨界点も消す。 - (d) 残る指数は $2,\dots,n-2$ である。$H_*(W,M_0)=0$ なのでハンドル鎖複体は完全で、境界作用素は基底を取り替えれば対角成分 $\pm1$ の形になる。基底の取り替え（ある生成元に別の生成元を足す）は、ハンドルの滑らせ（）で実現する。 - (e) こうして交点数が $n(q,p)=\pm1$ の対（指数 $\lambda$ と $\lambda+1$、$2\le\lambda\le n-3$）が得られるが、幾何的な交点は 3 個以上あるかもしれない。等位面 $V$（次元 $n-1\ge5$）の中で、$q$ の下降球面（$\lambda$ 次元）と $p$ の上昇球面（$n-\lambda-1$ 次元）に Whitney の技巧（）を使い、逆符号の交点の対を消して交点を 1 個にする。2 つの球面の次元はどちらも $2$ 以上で和が $n-1\ge5$ なので、一方は $3$ 以上で、それを $Q$ に取る。$V$ が単連結であることと、他方が 2 次元のときに要る「$V\setminus Q$ が単連結」という条件は、$W$、$M_0$、$M_1$ の単連結性と、指数 $1$、$n-1$ の臨界点が無いことから示す（Milnor の本の §6）。 - (f) で対を消去する。これを繰り返すと臨界点がなくなり、 により $W\cong M_0\times[0,1]$ である。 (e) で次元の条件が効く理由を、数え上げで説明します。Whitney 円板は 2 次元で、それを $m=n-1$ 次元の等位面 $V$ の中に、自分自身と交わらないように置くには $2+2\lt m$、すなわち $m\ge5$ が必要です（ の数え方）。円板の内部を一般の位置で $P$（次元 $r$）から外すには $2+r\lt m$、すなわち $\dim Q=m-r\ge3$ が、$Q$ から外すには $\dim P\ge3$ が要ります。$\dim P=2$ のときは円板と $Q$ が一般に有限個の点で交わるので、一般の位置の代わりに $V\setminus Q$ の単連結性を使って、円板を $Q$ と交わらないように取り直します。$\dim P=1$ ではこの議論が使えません。指数 $1$（と $n-1$）の臨界点を含む対では一方の球面が 1 次元になるので、(c) の取り替えを先に行います。$m=4$（$W$ が 5 次元、境界が 4 次元）では $2+2=4$ で、円板は一般に有限個の点で自分自身と交わり、消せません。この自己交差を、無限回の構成の極限として位相的に（滑らかにではなく）消したのが Freedman の仕事で、消せないことをゲージ理論の不変量で示したのが Donaldson の仕事です。 次元ごとの状況をまとめます（$n=\dim W$。主張と出典だけで、証明はしません）。 | $\dim W$ | 単連結な h 同境は積か | 根拠 | |---|---|---| | $n\ge6$ | 微分同相の意味で積 | Smale（） | | $n=5$ | 同相の意味では積。微分同相の意味では反例がある | Freedman（1982 年）、Donaldson（1987 年） | | $n=4$ | 滑らかな場合は未解決 | 滑らかな 4 次元 Poincaré 予想と関係する | | $n=3$ | 積 | 3 次元 Poincaré 予想（Perelman）から従う | | $n\le2$ | 積 | 1 次元多様体と曲面の分類 | ## 3. Milnor のエキゾチック球面 ### 3.1. S⁴ 上の S³ 束 $\mathbb{H}$ を四元数体とし、$S^3\subset\mathbb{H}$ を単位四元数の群、$D^4\subset\mathbb{H}$ を閉単位球とします。$\operatorname{Re}$ は実部、$\bar u$ は共役で、$|u|^2=u\bar u$、$\operatorname{Re}(ab)=\operatorname{Re}(ba)$ です。$S^4=\mathbb{H}\cup\{\infty\}$ を、座標 $u$ と $u'=u/|u|^2=\bar u^{-1}$ の 2 つのチャートで覆います（Milnor の原論文と同じ取り方です）。 ここでの発想は、$S^4$ を 2 つの円板に分け、それぞれの上の自明な束（円板と $S^3$ の積）を、赤道の $S^3$ に沿って貼り合わせることです。貼り合わせのときに $S^3$ をどうねじるかが、次の式の $u^h v u^j$ で、整数の組 $(h,j)$ がねじり方を決めます。 整数 $h,j$ に対し、$\mathbb{H}\times S^3$ のコピー 2 つを、$(\mathbb{H}\setminus0)\times S^3$ の微分同相 $$ (u,v)\mapsto(u',v')=\Bigl(\frac{u}{|u|^2},\ \frac{u^h\,v\,u^j}{|u|^{h+j}}\Bigr) $$ で貼り合わせた 7 次元多様体を $M_{h,j}$ と書く。同じ式で $v,v'\in D^4$ としたもの（$\mathbb{H}\times D^4$ のコピー 2 つを貼り合わせた 8 次元の境界付き多様体）を $B_{h,j}$ と書く。$\partial B_{h,j}=M_{h,j}$ で、$v,v'\in\mathbb{H}$ としたものは $S^4$ 上の階数 $4$ の実ベクトル束 $\xi_{h,j}$ である。 $|u|=1$ のとき $v\mapsto u^hvu^j$ は $\mathbb{H}=\mathbb{R}^4$ の回転（$SO(4)$ の元）で、$\xi_{h,j}$ は赤道 $S^3$ の上の貼り合わせ関数 $g_{h,j}(u)=L_u^{\,h}R_u^{\,j}$（$L_u$、$R_u$ は $u$ の左乗法と右乗法）で決まるベクトル束です。$M_{h,j}$ はその単位球面束、$B_{h,j}$ は単位円板束で、どちらもコンパクトです（$S^4$ 上のファイバー束。）。Hausdorff 性は、貼り合わせで同一視されない 2 点が、$u=0$ の近くと $u'=0$ の近くに分かれることから従います。 $S^7=\{(a,b)\in\mathbb{H}^2:|a|^2+|b|^2=1\}$ から $S^4=\mathbb{H}\cup\{\infty\}$ への写像 $(a,b)\mapsto ab^{-1}$ は、ファイバーが $S^3$ の束（四元数の Hopf 束）です。$b\ne0$ の部分を $(u,v)=(ab^{-1},b/|b|)$ で、$a\ne0$ の部分を $(u',v')=(\overline{ba^{-1}},a/|a|)$ で $\mathbb{H}\times S^3$ と同一視すると、$u'=\bar u^{-1}=u/|u|^2$、$v'=a/|a|=ub/|ub|=uv/|u|$ なので、これは $(h,j)=(1,0)$ の貼り合わせです。よって $M_{1,0}\cong S^7$ で、$B_{1,0}$ に 8 次元円板を貼ったものは四元数射影平面 $\mathbb{H}P^2$ です。$h+j=1$ となるほかの $(h,j)$ でも位相的には同じことが起きる、というのが次の定理の前半です。 ### 3.2. 同相であること、微分同相でないこと $h+j=1$ とする。 1. $M_{h,j}$ の上に、臨界点がちょうど 2 つで、どちらも非退化な滑らかな関数が存在する。したがって $M_{h,j}$ はねじれ球面に微分同相で、$S^7$ に同相である。 2. $\xi_{h,j}$ の零切断 $Z\cong S^4$ の $B_{h,j}$ の中での自己交点数は $\pm1$ で、$p_1(\xi_{h,j})[S^4]=\pm2(h-j)$ である。 3. Hirzebruch の符号数定理（。主張のみ）と、「向き付けられた閉 8 次元多様体 $C$ の Pontryagin 数 $p_2[C]$ は整数である」という事実を仮定する。このとき、$(h-j)^2\not\equiv1\pmod7$ ならば $M_{h,j}$ は $S^7$ に微分同相でない。 証明の見取り図です。1 は、$M_{h,j}$ の上に臨界点が 2 つの関数を具体的に書き、 から球面に同相と結論します。2 は、$M_{h,j}$ を境界とする 8 次元の多様体 $B_{h,j}$ について、零切断の自己交点数と $p_1$ を計算します。$p_1$ の計算は、接続の曲率を使って赤道 $S^3$ 上の積分に帰着させる計算で、読み飛ばして結果の $\pm2(h-j)$ だけを受け取っても、3 の筋は追えます。3 は、$S^7$ に微分同相だと仮定して $B_{h,j}$ に 8 次元円板を貼り、符号数定理から出る式が 7 を法とする条件に反することを示します。 **1。**　第 2 のチャートで $u''=u'(v')^{-1}$ とおくと、$(u',v')\mapsto(u'',v')$ は $\mathbb{H}\times S^3$ の微分同相なので、$(u'',v')$ も座標に使えます。 $$ f(u,v)=\frac{\operatorname{Re}v}{\sqrt{1+|u|^2}}\quad(\text{第 1 のチャート}),\qquad f=\frac{\operatorname{Re}u''}{\sqrt{1+|u''|^2}}\quad(\text{第 2 のチャート}) $$ が重なりで一致することを確かめます。$u'=u/|u|^2=\bar u^{-1}$、$v'=u^hvu^j/|u|$（$h+j=1$）なので、$\bar u^{-1}=u/|u|^2$ と $1-j=h$ を使って $$ u''=\bar u^{-1}\cdot|u|\,u^{-j}v^{-1}u^{-h}=\frac{u^{1-j}\,v^{-1}u^{-h}}{|u|}=\frac{u^{h}v^{-1}u^{-h}}{|u|},\qquad|u''|=\frac1{|u|} $$ です。$\operatorname{Re}(u^hv^{-1}u^{-h})=\operatorname{Re}(v^{-1})=\operatorname{Re}(\bar v)=\operatorname{Re}v$（$|v|=1$）なので $$ \frac{\operatorname{Re}u''}{\sqrt{1+|u''|^2}}=\frac{\operatorname{Re}v/|u|}{\sqrt{1+|u|^{-2}}}=\frac{\operatorname{Re}v}{\sqrt{|u|^2+1}} $$ で、$f$ は $M_{h,j}$ 上の滑らかな関数です。 臨界点を求めます。第 1 のチャートで、$u$ についての微分は $-\operatorname{Re}v\cdot u\,(1+|u|^2)^{-3/2}$、$v$ についての微分は $S^3$ 上の関数 $\operatorname{Re}v$ の微分の $(1+|u|^2)^{-1/2}$ 倍です。$\operatorname{Re}v$ の $S^3$ 上の臨界点は $v=\pm1$ だけで、そこでは $\operatorname{Re}v\ne0$ なので $u=0$ でなければなりません。よって第 1 のチャートの臨界点は $(u,v)=(0,\pm1)$ です。$v=\pm(\sqrt{1-|w|^2},w)$（$w\in\mathbb{R}^3$）と書くと、$(0,\pm1)$ の近くで $f=\pm(1-\tfrac12|w|^2-\tfrac12|u|^2+\cdots)$ で、Hessian は $\mp I$、非退化です。第 1 のチャートに入らない点は $u'=0$、すなわち $u''=0$ の点で、そこでは $f=\operatorname{Re}u''/\sqrt{1+|u''|^2}$ の $u''$ についての微分は $d(\operatorname{Re}u'')\ne0$ です。よって臨界点は 2 つだけで、 により主張を得ます。 **2 の前半。**　$\xi_{h,j}$ の切断で零点が 1 つだけのものを作ります。滑らかな関数 $c\colon[0,\infty)\to(0,\infty)$ を、$[0,\tfrac12]$ で $c=1$、$t\ge1$ で $c(t)=1/t$ となるように取ります。第 2 のチャートで $v'=c(|u'|)\,u'$、第 1 のチャートで $v=a(|u|)\cdot1$、$a(r)=c(1/r)/r$ と定めます。貼り合わせの逆は $v=|u|\,u^{-h}v'u^{-j}$ で、$v'=c(|u'|)u'$、$u'=u/|u|^2$ を代入すると $v=c(1/|u|)\,u^{1-h-j}/|u|=a(|u|)$ となり、2 つは一致します。$r\le1$ で $a(r)=c(1/r)/r=1$ なので、$a$ は $u=0$ まで滑らかで正です。よってこの切断は $u'=0$ でだけ $0$ になり、そこでは $v'=u'$、すなわち $\mathbb{H}$ の恒等写像で、零点は非退化、局所的な指数は $\pm1$ です。零切断 $Z$ の自己交点数は $\int\eta_Z\wedge\eta_Z=\int_Z\eta_Z$ で（ を $B_{h,j}$ の内部に使う。$Z$ はコンパクト）、$\eta_Z$ の $Z$ への制限は法束 $\xi_{h,j}$ の Euler 類なので、これは $\xi_{h,j}$ の Euler 数、すなわち零切断に横断的な切断の零点の符号の和に等しく（ の後半）、$\pm1$ です。 **2 の後半。**　$S^4$ を 2 つの円板 $D_\pm$ の和と見て、$\xi_{h,j}$ を $D_\pm$ 上の自明束を赤道 $S^3$ の近くで $g=g_{h,j}\colon S^3\to SO(4)$ により貼ったものと見ます。$D_-$ の上では自明な接続、$D_+$ の上では、境界の近くで $1$、中心の近くで $0$ の動径方向の関数 $\rho$ を使った接続形式 $A=\rho\,g^{-1}dg$（$g$ を動径方向に定数として延ばす）を取ると、貼り合わせと両立する $SO(4)$ 接続になります。曲率 $\Omega=dA+A\wedge A$ は $D_-$ で $0$ です。 の 3 と、$\operatorname{tr}(\Omega\wedge\Omega)=d\,\mathrm{CS}(A)$（ の 1）、Stokes の定理から、$\theta=g^{-1}dg$ として $$ p_1(\xi_{h,j})[S^4]=-\frac1{8\pi^2}\int_{D_+}\operatorname{tr}(\Omega\wedge\Omega)=-\frac1{8\pi^2}\int_{S^3}\mathrm{CS}(\theta)=\frac1{24\pi^2}\int_{S^3}\operatorname{tr}(\theta\wedge\theta\wedge\theta)=:w(g) $$ です（$d\theta=-\theta\wedge\theta$ なので $\mathrm{CS}(\theta)=\operatorname{tr}(-\theta^3+\tfrac23\theta^3)=-\tfrac13\operatorname{tr}(\theta^3)$）。 $w$ は積について加法的です。$g=g_1g_2$ のとき $\theta=\alpha+\beta$、$\alpha=g_2^{-1}\theta_1g_2$、$\beta=\theta_2$ で、1 形式の積のトレースは巡回的に入れ替えられるので $\operatorname{tr}(\theta^3)=\operatorname{tr}(\theta_1^3)+\operatorname{tr}(\theta_2^3)+3\operatorname{tr}(\alpha^2\beta)+3\operatorname{tr}(\alpha\beta^2)$ です。$d\alpha=-\beta\alpha-\alpha^2-\alpha\beta$、$d\beta=-\beta^2$ から $$ d\operatorname{tr}(\alpha\beta)=\operatorname{tr}(d\alpha\,\beta)-\operatorname{tr}(\alpha\,d\beta)=-\operatorname{tr}(\beta\alpha\beta)-\operatorname{tr}(\alpha^2\beta)-\operatorname{tr}(\alpha\beta^2)+\operatorname{tr}(\alpha\beta^2)=-\operatorname{tr}(\alpha\beta^2)-\operatorname{tr}(\alpha^2\beta) $$ なので、交差項は完全形式で $S^3$ 上の積分は $0$、$w(g_1g_2)=w(g_1)+w(g_2)$ です。$L_u$ と $R_u$ は可換なので $w(g_{h,j})=h\,w(L)+j\,w(R)$（$L,R\colon S^3\to SO(4)$ は $u\mapsto L_u,R_u$）です。共役 $\kappa(v)=\bar v$ は直交変換で $\kappa L_u\kappa^{-1}=R_{\bar u}=R_u^{-1}$ を満たし、$w$ は定数行列による共役で変わらないので $w(R^{-1})=w(L)$、加法性から $w(R)=-w(L)$ です。よって $w(g_{h,j})=(h-j)\,w(L)$ です。 $w(L)$ を計算します。$L_u^{-1}dL_u=L_{u^{-1}du}$ で、$u^{-1}du=\theta^1i+\theta^2j+\theta^3k$（$\theta^a$ は $S^3$ 上の左不変 1 形式で、$|u^{-1}du|=|du|$ なので丸い計量の正規直交余枠）と書けます。純虚四元数 $a,b,c$ について $\operatorname{tr}_{\mathbb{R}}(L_aL_bL_c)=4\operatorname{Re}(abc)$ で、$(u^{-1}du)^3=6\,\theta^1\wedge\theta^2\wedge\theta^3\cdot ijk=-6\,\theta^1\wedge\theta^2\wedge\theta^3$ なので、$\operatorname{tr}(\theta^3)=-24\,\theta^1\wedge\theta^2\wedge\theta^3$ です。$\theta^1\wedge\theta^2\wedge\theta^3$ は単位球面 $S^3$ の体積形式（向きにより符号が付く）で、積分は $\pm2\pi^2$ です。よって $w(L)=\frac{1}{24\pi^2}\cdot(-24)\cdot(\pm2\pi^2)=\mp2$、$p_1(\xi_{h,j})[S^4]=\pm2(h-j)$ です。 **3。**　$M_{h,j}$ から $S^7$ への微分同相があるとして矛盾を導きます。$B=B_{h,j}$ と $D^8$ を境界で貼り合わせると、向き付けられた閉 8 次元多様体 $C=B\cup D^8$ が得られます（。$D^8$ の向きは貼り合わせに合うように選びます）。 *コホモロジー。*　$B$ は零切断 $Z\cong S^4$ に変位レトラクトし、$B$ と $D^8$ を少し太らせた開集合の共通部分は $S^7$ にホモトピー同値です。Mayer–Vietoris 完全系列（）と $H^3_{\mathrm{dR}}(S^7)=H^4_{\mathrm{dR}}(S^7)=0$（）から $H^4_{\mathrm{dR}}(C)\cong H^4_{\mathrm{dR}}(S^4)\oplus H^4_{\mathrm{dR}}(D^8)\cong\mathbb{R}$ です。$Z$ の Poincaré 双対 $\eta_Z\in H^4_{\mathrm{dR}}(C)$ について $\int_C\eta_Z\wedge\eta_Z=I(Z,Z)=:e=\pm1$（2 と ）なので $\eta_Z\ne0$ で、$\eta_Z$ が $H^4_{\mathrm{dR}}(C)$ を張ります。交叉形式は $1$ 次元の空間の上の $(e)$ で、$\sigma(C)=e$ です。 *$p_1^2[C]$。*　$p_1(TC)=a\,\eta_Z$ と書くと、$\int_Zp_1(TC)=\int_Cp_1(TC)\wedge\eta_Z=a\,e$ です。$TC|_Z=TZ\oplus\xi_{h,j}$ で、直和の接続では $\det(1+\Omega/2\pi)$ が 2 つのブロックの積になるので $p_1(TC|_Z)=p_1(TS^4)+p_1(\xi_{h,j})$、また $TS^4\oplus\varepsilon^1$ は自明束（$\mathbb{R}^5$ の中の $S^4$ の接束と法束の直和）なので $p_1(TS^4)=p_1(TS^4\oplus\varepsilon^1)=0$ です（ の証明と同じ計算）。よって $a\,e=p_1(\xi_{h,j})[S^4]=\pm2(h-j)$ で、 $$ p_1^2[C]=a^2\int_C\eta_Z\wedge\eta_Z=a^2e=\frac{4(h-j)^2}{e}=4e\,(h-j)^2 $$ です（$e=\pm1$）。 *符号数定理。*　 の $L_2=(7p_2-p_1^2)/45$ から $45\,\sigma(C)=7p_2[C]-p_1^2[C]$、すなわち $$ 7\,p_2[C]=45e+4e(h-j)^2=e\bigl(45+4(h-j)^2\bigr) $$ です。$p_2[C]$ が整数なら右辺は $7$ の倍数で、$45\equiv3$、$4\cdot2\equiv1\pmod7$ から $4(h-j)^2\equiv-3\equiv4$、$(h-j)^2\equiv1\pmod7$ です。これは仮定に反します。 3 が依存する 2 つの事実のうち、符号数定理は[指数定理](/mathematics/differential-geometry/index-theorems)の章で主張のみとして述べたものです。Pontryagin 数の整数性は、Pontryagin 類が整数係数コホモロジーの類の像であること（Milnor–Stasheff『Characteristic Classes』§15）から従いますが、Rikai では Pontryagin 類を曲率で定義しているだけで、整数性はまだ証明していません。1 と 2 はこれらに依存しません。原論文は J. Milnor, "On manifolds homeomorphic to the 7-sphere", *Ann. of Math.* 64 (1956), 399–405 です。 $M$ を向き付けられた閉 7 次元多様体で $H^3_{\mathrm{dR}}(M)=H^4_{\mathrm{dR}}(M)=0$ を満たし、向き付けられたコンパクトな 8 次元多様体 $B$ の境界であるものとする。このとき $H^4_c(B\setminus M)\to H^4_{\mathrm{dR}}(B)$ は同型で、$H^4_c(B\setminus M)$ 上の対称形式 $\int_B\alpha\wedge\beta$ の符号数 $\sigma(B)$ と、$p_1(TB)$ をこの同型で引き戻して 2 乗した数 $q(B)=\int_Bp_1\wedge p_1$ が定まる。 $$ \lambda(M)\equiv2q(B)-\sigma(B)\pmod7 $$ を $M$ の **Milnor の不変量**という。 $\lambda(M)$ が $B$ の取り方によらないことは、 の 3 と同じ 2 つの事実から従います。2 つの $B_1$、$B_2$ を貼り合わせた閉多様体 $C=B_1\cup(-B_2)$ で $\sigma$ と $q$ は加法的（$\sigma(C)=\sigma(B_1)-\sigma(B_2)$、$q(C)=q(B_1)-q(B_2)$）で、符号数定理から $45\sigma(C)+q(C)=7p_2[C]\equiv0$、両辺を 2 倍して $2q(C)-\sigma(C)\equiv0\pmod7$ となるからです。$\sigma$ の加法性は[前章](/mathematics/differential-topology/cobordism-and-pontryagin-thom)の の同境不変性の精密化です（$\sigma$ と $q$ の加法性はこの記事では証明しません。Milnor の原論文にあります）。これを認めると、$\lambda$ は向きを保つ微分同相の不変量です。$S^7=\partial D^8$ では $\lambda=0$ です。 $B=B_{h,j}$（$h+j=1$）では、$\sigma(B)=e$、$q(B)=4e(h-j)^2$（ の証明）なので、$e=1$ となる向きで $$ \lambda(M_{h,j})\equiv8(h-j)^2-1\equiv(h-j)^2-1\pmod7 $$ です。$(h,j)=(1,0)$ では $\lambda=0$ で、$M_{1,0}=S^7$ と整合します。$(h,j)=(2,-1)$ では $(h-j)^2=9$、$\lambda\equiv8\equiv1\pmod7$ で、$M_{2,-1}$ は $S^7$ に同相ですが微分同相ではありません。$h-j=2k-1$ は奇数全体を動くので、$\lambda$ は $k(k-1)\cdot4\bmod7$、すなわち $0,1,3,6$ の 4 通りの値を取り、少なくとも 4 つの互いに微分同相でない（向きを込めて）微分構造が $S^7$ の上にあることが分かります。 $n$ 次元のホモトピー球面の、向きを保つ微分同相類（$n\ge5$ では h 同境類と同じ。）は、連結和を演算として有限アーベル群 $\Theta_n$ をなします。Kervaire と Milnor は手術理論を使って $\Theta_n$ を安定ホモトピー群と Bernoulli 数で記述し、$\Theta_7\cong\mathbb{Z}/28$ を得ました（M. Kervaire, J. Milnor, "Groups of homotopy spheres: I", *Ann. of Math.* 77 (1963), 504–537）。$S^7$ の上の微分構造は、向きを込めて 28 個、向きを忘れると 15 個で、そのすべてが $S^4$ 上の $S^3$ 束として実現できるわけではありません。$\Theta_5$ と $\Theta_6$ は自明で、$n=4$ の場合は未解決です。これらはこの記事では証明しません。 ## 4. 結び目：3 次元の入口 次元 3 では、余次元 2 の部分多様体である結び目が、多様体そのものと同じくらい豊かな対象になります（ の Lickorish–Wallace の定理が、両者を結びます）。ここでは、これまでの道具で届く初等的な事実を証明します。 ### 4.1. 定義と Seifert 膜 1. $\mathbb{R}^3$（または $S^3=\mathbb{R}^3\cup\{\infty\}$）の、円周に微分同相な部分多様体を**結び目**、コンパクトな境界のない 1 次元部分多様体（有限個の結び目の非交和）を**絡み目**という。向きを決めたものを向き付けられた絡み目という。2 つの絡み目は、全空間のアンビエントイソトピーで移り合うとき**同値**であるという。平面の円周に同値な結び目を**自明な結び目**という。 2. 向き付けられた絡み目 $L$ の **Seifert 膜**とは、コンパクトな向き付けられた 2 次元の境界付き部分多様体 $F$ で、$\partial F=L$（境界の向きを込めて）であり、閉曲面の成分をもたないものをいう。結び目 $K$ の連結な Seifert 膜の種数（境界を円板でふさいだ閉曲面 $\Sigma_g$ の $g$）の最小値を $K$ の**種数**という。 3. 連結な Seifert 膜 $F$ の $H_1(F)\cong\mathbb{Z}^{2g}$ の基底を閉曲線 $a_1,\dots,a_{2g}$ で表し、$a_j^+$ を $a_j$ を $F$ の正の法方向に少し押し出した曲線とするとき、絡み数の行列 $V_{ij}=\operatorname{lk}(a_i,a_j^+)$ を **Seifert 行列**という（この記事では定義だけを述べます。$\det(V-tV^{\mathsf T})$ が Alexander 多項式です）。 結び目の種数が $0$ であることは、円板の境界になること、すなわち自明であることと同値です（円板に沿って結び目を小さい円周まで縮められます）。 $L\subset\mathbb{R}^3$ を絡み目、$\pi\colon\mathbb{R}^3\to\mathbb{R}^2$ を第 3 座標を忘れる射影とする。$L$ をいくらでも小さいイソトピーで動かして、$\pi|_L$ がはめ込みで、多重点が有限個の横断的な 2 重点だけであるようにできる。 包含 $e\colon L\to\mathbb{R}^3$ に対し $j=(1,e,e\otimes e)\colon L\to\mathbb{R}^{13}$（$e\otimes e$ は座標の積 $e_ae_b$ を並べたもの）とおきます。$L$ の相異なる 3 点 $x,y,z$ について $j(x),j(y),j(z)$ は 1 次独立です。実際、$c_1j(x)+c_2j(y)+c_3j(z)=0$ なら、$\mathbb{R}^3$ 上の任意の 2 次以下の多項式 $P$ について $c_1P(x)+c_2P(y)+c_3P(z)=0$ で、$y,z$ で $0$、$x$ で $0$ でない $P$（2 つの 1 次式の積）を取れば $c_1=0$、同様に $c_2=c_3=0$ です。また $j$ ははめ込みです。$s\in S=\operatorname{Hom}(\mathbb{R}^{13},\mathbb{R}^3)$ に対し $e_s=e+s\circ j$ とします。$s$ が $0$ のある近傍にあれば $e_s$ は埋め込みで（多径数の族についての安定性。）、$t\mapsto e_{ts}$ が $e$ から $e_s$ へのイソトピーです。$L$ の単位接ベクトル場を $\tau$ とし、次の 3 つの写像を考えます。 $$ \begin{aligned} F_1&\colon L\times S\to\mathbb{R}^2,&F_1(x,s)&=\pi\bigl(de_s(\tau_x)\bigr),\\ F_2&\colon(L^2\setminus\Delta)\times S\to\mathbb{R}^2\times\mathbb{R}^2,&F_2(x,y,s)&=\bigl(\pi e_s(x),\pi e_s(y)\bigr),\\ F_3&\colon L^{(3)}\times S\to(\mathbb{R}^2)^3,&F_3(x,y,z,s)&=\bigl(\pi e_s(x),\pi e_s(y),\pi e_s(z)\bigr) \end{aligned} $$ （$L^{(3)}$ は相異なる 3 点の組の全体）。$s$ についての微分は、それぞれ $\dot s\mapsto\pi\dot s(dj(\tau_x))$、$(\pi\dot sj(x),\pi\dot sj(y))$、$(\pi\dot sj(x),\pi\dot sj(y),\pi\dot sj(z))$ で、$dj(\tau_x)\ne0$ と上の 1 次独立性から全射です。よって 3 つとも沈め込みで、$\{0\}\subset\mathbb{R}^2$（余次元 $2$）、対角線 $\{(w,w)\}$（余次元 $2$）、小対角線 $\{(w,w,w)\}$（余次元 $4$）に横断的です。パラメータ付き横断性定理（）により、ほとんどすべての $s$ で、$s$ を固定した写像もこれらに横断的です。定義域の次元は $1$、$2$、$3$ なので、1 つ目と 3 つ目では横断的であることは像が交わらないこと、すなわち $\pi\circ e_s$ がはめ込みで 3 重点をもたないことを意味し、2 つ目では 2 重点 $(x,y)$ で $\pi(de_s(\tau_x))$ と $\pi(de_s(\tau_y))$ が $\mathbb{R}^2$ を張ること、すなわち 2 重点が横断的であることを意味します。はめ込みは局所的に単射なので 2 重点の対は $L^2$ の対角線の近くに無く、横断的な 2 重点は孤立しているので、コンパクト性から有限個です。 2 重点ごとに、どちらの枝が上（第 3 座標が大きい）かを記録した平面曲線を、絡み目の**射影図**といいます。同じ射影図をもつ 2 つの絡み目は、第 3 座標だけを動かす直線的なイソトピーで移り合うので同値です。
交差 平滑化 帯
$C\subset\mathbb{R}^2$ を円周に微分同相な部分多様体とする。$\mathbb{R}^2\setminus C$ の有界な成分の閉包 $A$ は $D^2$ に微分同相である。 により、$A$ は $C$ を境界とするコンパクトな曲面です。$S^2=\mathbb{R}^2\cup\{\infty\}$ の中で、もう一方の成分の閉包 $B$ も、$A$ の内部の点を無限遠点に写す座標で見れば有界な成分の閉包なので、$C$ を境界とするコンパクトな曲面で、$A\cup B=S^2$、$A\cap B=C$ です。$A$、$B$ は連結で、$S^2$ の部分多様体なので向き付け可能です。境界の円周を円板でふさいだ閉曲面を $\hat A$、$\hat B$ とすると、分類定理（）により $\hat A\cong\Sigma_g$、$\hat B\cong\Sigma_{g'}$ です。 閉曲面 $N$ が、共通の境界 $C$（円周の非交和）をもつ 2 つのコンパクトな曲面 $P$、$P'$ の和であるとき $\chi(N)=\chi(P)+\chi(P')$ です。実際、$P$ を同境 $\varnothing\rightsquigarrow C$、$P'$ を同境 $C\rightsquigarrow\varnothing$ と見て、$C$ の近くでカラーの座標に一致する Morse 関数をそれぞれに取ってつなぐと $N$ 上の Morse 関数になり、 を $N$、$P$、$P'$ に使うと、臨界点の指数の交代和について $\chi(N)=\chi(P)+(\chi(P')-\chi(C))$ で、$\chi(C)=0$ です。これを $\hat A=A\cup D^2$ に使うと $\chi(A)=\chi(\hat A)-1=1-2g$、同様に $\chi(B)=1-2g'$ で、$S^2=A\cup B$ に使うと $2=\chi(A)+\chi(B)=2-2g-2g'$、よって $g=g'=0$ です。$\hat A\cong S^2$ で、$A$ は $S^2$ から埋め込まれた開円板を除いたものです。円板定理（）により、その円板は半球に写せるので、$A$ は残りの半球、すなわち $D^2$ に微分同相です。 $\mathbb{R}^3$（または $S^3$）の任意の向き付けられた絡み目は Seifert 膜をもつ。結び目は連結な Seifert 膜をもつ。 証明の全体像です。結び目の補空間の上の「角度を測る関数」を作り、その一つの値の逆像を膜にします。そのために、第 1 段で補空間の $H_1$ を調べ、第 2 段で周期が整数の閉 1 形式を作り、第 3 段でそれを円周への写像に積分し直して正則値の逆像を取り、第 4 段で向きが結び目の向きと合うことを確かめます。 $S^3$ の絡み目 $L$ について示し、最後に $\mathbb{R}^3$ の場合を導きます。$S^3$ に向きを決め、$L$ の成分を $K_1,\dots,K_r$ とします。膜は、補空間から円周への写像の正則値の逆像として作ります。 **第 1 段：管状近傍と補空間の $H_1$。**　各 $K_i$ の法束は、向き付けられた 3 次元多様体の中の向き付けられた円周の法束なので、向き付けられた階数 $2$ の束です。円周を区間の両端を貼ったものと見ると、区間の上では自明で（）、貼り合わせは $GL^+(2,\mathbb{R})$ の元、$GL^+(2,\mathbb{R})$ は弧状連結（）なので、法束は自明です。よって管状近傍（）から、像が互いに交わらない埋め込み $\tau_i\colon S^1\times B\to S^3$（$B\subset\mathbb{C}$ は半径 $2$ の開円板）で、$\tau_i(S^1\times0)=K_i$（向きを込めて）、かつ積の向きについて向きを保つものが取れます。$N_i=\tau_i(S^1\times D^2)$、$N=\bigcup_iN_i$、$X=S^3\setminus\operatorname{int}N$ とし、$\tau_i(S^1\times(B\setminus0))$ の点を $\tau_i(e^{2\pi it},re^{2\pi i\theta})$（$t,\theta\in\mathbb{R}/\mathbb{Z}$、$0\lt r\lt2$）と書きます。$\partial N_i\cong T^2$ の上の閉曲線 $\mu_i$（$t$ が一定、$r=1$ で、$\theta$ が 1 周する。メリディアン）と $\ell_i$（$\theta$ が一定、$r=1$ で、$t$ が 1 周する）は $H_1(\partial N_i)\cong\mathbb{Z}^2$ の基底です（、）。$N$ と $X$ を少し太らせた開集合の Mayer–Vietoris 完全列（） $$ 0=H_2(S^3)\to\bigoplus_iH_1(\partial N_i)\to H_1(N)\oplus H_1(X)\to H_1(S^3)=0 $$ から、中央の射は同型です。$H_1(N)=\bigoplus_i\mathbb{Z}$ への成分は $\mu_i\mapsto0$、$\ell_i\mapsto(K_i\text{ の類})$ なので、その核 $\bigoplus_i\mathbb{Z}\mu_i$ が $H_1(X)$ に同型に写ります。$X$ は $S^3\setminus L$ の変位レトラクト（$N_i\setminus K_i$ を動径方向に $\partial N_i$ へ縮める）なので、$H_1(S^3\setminus L)$ は $\mu_1,\dots,\mu_r$ の類を基底とする自由アーベル群です。 **第 2 段：周期が整数の閉 1 形式。**　de Rham の定理（）と普遍係数定理（。$H_0$ は自由なので $\operatorname{Ext}$ の項は消えます）により、閉 1 形式の類に周期 $[\gamma]\mapsto\int_\gamma\alpha$ を対応させる写像は、同型 $H^1_{\mathrm{dR}}(U)\to\operatorname{Hom}(H_1(U),\mathbb{R})$ です（$U$ は多様体）。$U=S^3\setminus L$ に使うと、閉 1 形式 $\alpha_0$ で、すべての $i$ について $\int_{\mu_i}\alpha_0=1$ となるものがあります。$H_1(S^3\setminus L)$ は $\mu_i$ の類で生成されるので、$S^3\setminus L$ の中のどの閉曲線の上でも $\alpha_0$ の積分は整数です。とくに $m_i=\int_{\ell_i}\alpha_0$ は整数です。$U_i=\tau_i(S^1\times(B\setminus0))$ は $T^2\times(0,2)$ に微分同相で、$H_1(U_i)$ は $\mu_i$、$\ell_i$ の類で生成されます。$U_i$ 上の閉 1 形式 $\alpha_0-d\theta-m_i\,dt$ は $\mu_i$ と $\ell_i$ の上の積分がどちらも $0$ なので、上の同型（$U=U_i$）により完全形式で、$U_i$ 上の滑らかな関数 $g_i$ により $dg_i$ と書けます。$S^3$ 上の滑らかな関数 $\chi_i$ を、$N_i$ の近傍で $1$、台が $\tau_i(S^1\times B)$ に含まれるように取り（）、 $$ \alpha=\alpha_0-\sum_id(\chi_ig_i) $$ とおきます（$\chi_ig_i$ は $U_i$ の外では $0$ として $S^3\setminus L$ 上の滑らかな関数とみなします）。$\alpha$ は $S^3\setminus L$ 上の閉 1 形式で、$\alpha_0$ との差が完全形式なので閉曲線の上の積分はすべて整数、$N_i\setminus K_i$ の上では $\alpha=d\theta+m_i\,dt$ です。 **第 3 段：正則値の逆像。**　$S^3\setminus L$ の各連結成分に基点 $x_0$ を選び、その成分の点 $x$ に対し、$x_0$ から $x$ への滑らかな道 $\gamma$ を取って $\phi(x)=\int_\gamma\alpha\bmod\mathbb{Z}$ とおきます。2 本の道の上の積分の差は閉曲線の上の積分で整数なので、$\phi\colon S^3\setminus L\to\mathbb{R}/\mathbb{Z}$ は道の取り方によりません。各点のまわりの球状のチャートの中では $\alpha=dh$ と書けて（）$\phi=h+\text{定数}$ なので、$\phi$ は滑らかで $d\phi=\alpha$ です。連結な $N_i\setminus K_i$ の上では $\phi=\theta+m_it+c_i$（$c_i$ は定数）です。Sard の定理（）により $\phi$ の正則値 $c$ があり、$F'=\phi^{-1}(c)$ は $S^3\setminus L$ の閉集合である 2 次元部分多様体です（）。$N_i\setminus K_i$ の中では $$ F'\cap(N_i\setminus K_i)=\bigl\{\tau_i\bigl(e^{2\pi it},\,re^{2\pi i(c-c_i-m_it)}\bigr):\ t\in\mathbb{R}/\mathbb{Z},\ 0\lt r\le1\bigr\} $$ です。$F=F'\cup L$ とおきます。$F'$ は $S^3\setminus L$ の閉集合なので $F$ は $S^3$ の閉集合で、コンパクトです。$K_i$ の近くでは、$F$ は埋め込み $S^1\times[0,1]\to S^3$、$(t,r)\mapsto\tau_i(e^{2\pi it},re^{2\pi i(c-c_i-m_it)})$ の像です（$r=0$ での $r$ 方向の微分は $e^{2\pi i(c-c_i-m_it)}\ne0$ なのではめ込みで、単射です）。よって $F$ は $L$ を境界とするコンパクトな 2 次元の境界付き部分多様体です。 **第 4 段：向き。**　$F'$ の各点 $x$ で、$\alpha(n)\gt0$ となる接ベクトル $n\in T_xS^3$ を取り、$T_xF'=\ker\alpha_x$ の基底 $(a_1,a_2)$ を、$(a_1,a_2,n)$ が $S^3$ の正の向きの基底であるとき正と定めます。これは $n$ の取り方によらず、$F'$ の向きを定めます。$K_i$ の近くで調べます。$\tau_i$ は向きを保つので、$r\gt0$ では $(\partial_t,\partial_r,\partial_\theta)$ が正の向きの枠です。$T_xF'$ は $\partial_t-m_i\partial_\theta$ と $\partial_r$ で張られ、$n=\partial_\theta$（$\alpha(\partial_\theta)=1$）と取れて、$(\partial_t-m_i\partial_\theta,\ \partial_r,\ \partial_\theta)$ は $(\partial_t,\partial_r,\partial_\theta)$ と同じ向きです。これは上の埋め込みの座標 $(t,r)$ についての $(\partial/\partial t,\partial/\partial r)$ が $F$ の正の基底であることを意味し、この向きは $r=0$ まで延びます。境界 $K_i$ での外向きベクトルは $-\partial/\partial r$ で、$(-\partial/\partial r,\ \partial/\partial t)$ は $(\partial/\partial t,\partial/\partial r)$ と同じ向きなので、境界の向き（）は $t$ の増える向き、すなわち $K_i$ の向きです。これがすべての $i$ で成り立つので、$\partial F=L$（向きを込めて）です。 $F$ の連結成分は有限個で、そのうち $L$ と交わらないもの（閉曲面）を取り除いた残りが Seifert 膜です。$L$ が結び目なら、残った各成分は空でない境界をもち、境界の全体 $L$ は連結なので、成分は 1 つです。 **$\mathbb{R}^3$ の場合。**　$\mathbb{R}^3$ の絡み目 $L$ を $S^3=\mathbb{R}^3\cup\{\infty\}$ の絡み目と見て、上の $F$ を取ります。$\infty\in F$ のときは、$\infty$ のまわりの、$L$ と交わらないチャートの開球 $O$ の中に $F$ に入らない点 $x_1$ を取ります（$F\cap O$ は 2 次元の部分多様体で、$O$ 全体ではありません）。台が $O$ のコンパクト集合に入る $S^3$ の微分同相で $x_1$ を $\infty$ に写すものがあり（ の 1 を $O$ に使い、外へ恒等写像で延ばす。恒等写像にイソトピックなので向きを保つ）、それによる $F$ の像は $\infty$ を含まない Seifert 膜です。 上の証明は膜の存在を示すだけで、形は教えてくれません。射影図から膜を具体的に作る方法が、以下に述べる **Seifert のアルゴリズム**（H. Seifert、1934 年）です。交差が $c$ 個の射影図を平滑化して得られる円周が $s$ 個のとき、Euler 標数 $s-c$ の Seifert 膜が得られ、結び目で膜が連結なら種数は $\tfrac12(c-s+1)$ です。ここでは構成を説明するにとどめます。円板と帯を貼り合わせた図形の角をならして滑らかな部分多様体にする段と、帯のひねりと向きの確認は絵による説明で、省略のない証明にはなっていません（D. Rolfsen『Knots and Links』第 5 章）。この節の例と演習でこの膜の Euler 標数を使うところは、アルゴリズムの結果を認めたうえでの計算です。 **Seifert のアルゴリズム。**　$S^3$ の絡み目は、絡み目の上にない点を無限遠点とすれば $\mathbb{R}^3$ の絡み目です。 により、絡み目 $L$ は正則な射影図をもつとし、第 3 座標を付け替えて、交差の近く以外では平面 $x_3=0$ の上に、交差の近くでは上を通る枝だけが少し持ち上がっているとします。 **第 1 段：平滑化。**　各交差の近くで、2 つの枝を、向きを保つように「入ってきた枝を、もう一方の出ていく枝へ」つなぎ替えます（図）。得られるのは平面 $x_3=0$ の中の向き付けられたコンパクトな 1 次元部分多様体で、有限個の円周 $C_1,\dots,C_s$（**Seifert 円周**）の非交和です（）。 **第 2 段：交差で隣り合う 2 つの弧は別の円周に属する。**　平滑化した場所では、2 つの弧が同じ向き（図では上向き）に並んでいて、間の細い領域 $R$ はどの円周とも交わりません。2 つの弧が同じ円周 $C$ に属するとすると、$R$ は $\mathbb{R}^2\setminus C$ の 1 つの成分に含まれます。$C$ の内側（ の円板）は、$C$ の向きについてつねに左側にあるか、つねに右側にあるかのどちらかですが、$R$ は左の弧から見て右側、右の弧から見て左側にあるので、これは矛盾です。 **第 3 段：円板を張る。**　各 $C_i$ は平面の中で円板 $A_i$ を囲みます（）。$C_i$ を囲むほかの Seifert 円周の個数を $d_i$ とし、高さ $h_i=1/(1+d_i)$ を取って、 $$ F_i=C_i\times[0,h_i]\ \cup\ A_i\times\{h_i\} $$ （壁とふた）の角を丸めたものを作ります。$F_i$ は $C_i$ を境界とする円板です。2 つの円周が互いの外側にあれば $F_i$ と $F_j$ は交わりません。$C_j$ が $C_i$ の内側にあれば $d_j\gt d_i$、$h_j\lt h_i$ で、$F_j$ は $A_i$ の上の高さ $h_j$ 以下の部分にあり、$F_i$ のふた（高さ $h_i$）と壁（$C_i$ の上）のどちらとも交わりません。$F_i$ には $C_i$ の向きが境界の向きになる向きを入れます。 **第 4 段：帯でつなぐ。**　交差があった各場所で、平滑化した 2 つの弧を、もとの交差を復元する半ひねりの帯でつなぎます（帯は交差の近くの小さい球の中に取り、2 つの枝のうち上を通る方が上になる向きにひねります）。第 2 段により帯は異なる円板 $F_i$、$F_j$ をつなぎます。こうして得られるコンパクトな曲面 $F$ の境界は、もとの射影図をもつ絡み目で、$L$ に同値です。 **向き。**　帯でつながる 2 つの円周は、互いの外側にあるか、一方が他方のすぐ内側にあるかのどちらかです。前者では、隣り合う弧が同じ向きなので 2 つの円周の回る向きは逆で、円板の表（境界の向きから決まる法方向）は一方が上、他方が下を向き、半ひねりの帯は表を表につなぎます。後者では 2 つの円周は同じ向きに回り、円板は同じ側を表にして上下に重なっていて、半ひねりの帯は下の階から上の階への斜面として表を表につなぎます。よって $F$ は向き付けられ、境界の向きは $L$ の向きです。 **Euler 標数と連結性。**　$F$ は $s$ 個の円板（0-ハンドル）に $c$ 本の帯（1-ハンドル）を貼ったものなので $\chi(F)=s-c$ です（）。$F$ が連結で境界が 1 つの円周なら、ふさいだ閉曲面の Euler 標数は $s-c+1=2-2g$ です。$F$ が連結でないときは、2 つの成分を、$F$ のほかの部分と交わらない細い管（$F$ から小さい円板を 2 つ除き、それらを結ぶ弧の近傍の円筒を付ける。弧は一般の位置から $F$ と交わらないように取れる）でつなげば、向きを保ったまま連結にできます。 三葉結び目の標準的な射影図は交差が $c=3$ 個で、平滑化すると大小 2 つの入れ子の円周（$s=2$）になります。Seifert のアルゴリズム（）の膜は 2 枚の円板を 3 本の半ひねりの帯でつないだもので、連結、$\chi=-1$、種数 $\tfrac12(3-2+1)=1$ の、穴の 1 つあいたトーラスです。8 の字結び目は $c=4$、$s=3$ で、やはり種数 $1$ の膜が得られます。どちらも自明な結び目ではないので（三葉結び目については ）、種数はちょうど $1$ です。Hopf 絡み目（2 つの円周が 1 回絡んだもの）は $c=2$、$s=2$ で、膜は円環です。円環の 2 つの境界成分は、帯のひねりのために互いに 1 回絡みます。 ### 4.2. 絡み数の公式 射影図の交差 $x$ の**符号** $\epsilon(x)=\pm1$ を、上を通る枝の接ベクトル $t_{\mathrm{over}}$ と下を通る枝の接ベクトル $t_{\mathrm{under}}$ の射影について $\epsilon(x)=\operatorname{sign}\det(t_{\mathrm{over}},t_{\mathrm{under}})$ と定めます（図の左の交差は $t_{\mathrm{over}}=(1,1)$、$t_{\mathrm{under}}=(-1,1)$ で $+1$）。 $K$、$L$ を互いに交わらない向き付けられた結び目とし、$K\cup L$ が正則な射影図をもつとする。 1. $\operatorname{lk}(K,L)$ は、$K$ の Seifert 膜 $F$ と $L$ の交点の符号の和に等しい（$L$ が $F$ に横断的なとき）。 2. $\displaystyle\operatorname{lk}(K,L)=\sum_{x:\ L\text{ が }K\text{ の上を通る交差}}\epsilon(x)=\sum_{x:\ K\text{ が }L\text{ の上を通る交差}}\epsilon(x)=\frac12\sum_{x:\ K\text{ と }L\text{ の交差}}\epsilon(x)$。 **1。**　 により $F$ が存在し、 の 2 です。 **2。**　絡み数は $\lambda(x,y)=(y-x)/|y-x|$（$x\in K$、$y\in L$）の写像度です（）。北極 $e_3$ の逆像は、$y$ が $x$ の真上にある対、すなわち $L$ が $K$ の上を通る交差です。そこで $K$、$L$ の正の接ベクトルを $t_K$、$t_L$、水平成分を $t_K^h$、$t_L^h$ とすると、$d\lambda(t_K,0)=-t_K^h/|y-x|$、$d\lambda(0,t_L)=t_L^h/|y-x|$ です。交差が横断的なのでこの 2 つは 1 次独立で、$e_3$ は正則値です。$T_{e_3}S^2$ の正の基底は $(e_1,e_2)$ なので、$d\lambda$ の符号は $\operatorname{sign}\det(-t_K^h,t_L^h)=\operatorname{sign}\det(t_L^h,t_K^h)=\epsilon(x)$（上を通るのは $L$）です。写像度は正則値の逆像の符号の和なので（）、第 1 の等式を得ます。南極 $-e_3$ の逆像は $K$ が $L$ の上を通る交差で、$T_{-e_3}S^2$ の正の基底は $(e_2,e_1)$ なので、符号は $-\operatorname{sign}\det(-t_K^h,t_L^h)=\operatorname{sign}\det(t_K^h,t_L^h)=\epsilon(x)$（上を通るのは $K$）です。写像度は正則値の取り方によらないので第 2 の等式が、2 つを平均して第 3 の等式が得られます。 Hopf 絡み目では 2 つの交差の符号が同じで、絡み数は $\pm1$ です。1 では、Seifert のアルゴリズム（）の膜を $K$ だけの射影図から作ると、$L$ は $K$ の Seifert 円周の円板を上から下へ（または下から上へ）貫き、その回数の符号つきの和が同じ数を与えます。 ### 4.3. 補空間のホモロジーと基本群 $K\subset S^3$ を結び目とする。$\tilde H_k(S^3\setminus K)$ は $k=1$ で $\mathbb{Z}$、ほかで $0$ である。$H_1(S^3\setminus K)$ は、$K$ の管状近傍の境界の上で $K$ を 1 回まわる閉曲線（**メリディアン**）の類で生成される。 前半は の (b)（$n=3$、$k=1$）です。生成元を調べます。$K$ の法束は、向き付けられた 3 次元多様体の中の向き付けられた円周の法束なので、向き付けられた階数 $2$ の束です。円周を区間の両端を貼ったものと見ると、区間の上では自明で（）、貼り合わせは $GL^+(2,\mathbb{R})$ の元、$GL^+(2,\mathbb{R})$ は弧状連結（）なので、法束は自明です。よって管状近傍（）の閉円板束の部分 $N$ は $S^1\times D^2$ に微分同相で、$X=S^3\setminus\operatorname{int}N$ は $S^3\setminus K$ にホモトピー同値、$N\cap X=\partial N\cong T^2$ です。$N$ と $X$ を少し太らせた開集合の Mayer–Vietoris 完全列（） $$ 0=H_2(S^3)\to H_1(T^2)\to H_1(N)\oplus H_1(X)\to H_1(S^3)=0 $$ から、$H_1(T^2)\cong\mathbb{Z}^2\to H_1(N)\oplus H_1(X)$ は同型です。$H_1(T^2)$ の基底としてメリディアン $\mu=\{\mathrm{pt}\}\times\partial D^2$ と $\ell=S^1\times\{\mathrm{pt}\}$ を取ると、$H_1(N)\cong\mathbb{Z}$ への像は $\mu\mapsto0$、$\ell\mapsto1$ です。同型であることから、$H_1(N)$ への射の核 $\mathbb{Z}\mu$ は $H_1(X)$ に同型に写ります。よって $H_1(X)=\mathbb{Z}[\mu]$ です。 ホモロジーではすべての結び目が同じに見える、というのがこの命題の内容です。閉曲線 $\gamma\subset S^3\setminus K$ の $H_1(S^3\setminus K)\cong\mathbb{Z}$ での値は絡み数 $\operatorname{lk}(\gamma,K)$ です。結び目を区別するには、可換化する前の基本群を見ます。 $S^3=\{(z_1,z_2)\in\mathbb{C}^2:|z_1|^2+|z_2|^2=2\}$ の中の結び目 $K=\{(e^{3it},e^{2it}):t\in\mathbb{R}\}$（**三葉結び目**）について $$ \pi_1(S^3\setminus K)\cong\langle a,b\mid a^2=b^3\rangle $$ で、この群は 3 次対称群 $S_3$ の上への全射準同型をもつ。とくに可換でない。自明な結び目 $U$ では $\pi_1(S^3\setminus U)\cong\mathbb{Z}$ なので、$K$ は自明な結び目に同値でない。 の証明のとおり、$V_1=\{|z_1|\le1\}$、$V_2=\{|z_2|\le1\}$ はソリッドトーラスで、$V_1$ の $S^1$ 方向は $z_2$ の偏角、$V_2$ の $S^1$ 方向は $z_1$ の偏角、共通の境界は $T=\{|z_1|=|z_2|=1\}$ です。$K\subset T$ で、$K$ は $z_1$ の偏角の方向に 3 回、$z_2$ の偏角の方向に 2 回まわります。 $V_i\setminus K$ は、$D^2$ 方向に半径を $\tfrac12$ 倍に縮める変位レトラクションで $V_i$ の中のソリッドトーラスに、したがって芯の円周にホモトピー同値で、$\pi_1(V_1\setminus K)\cong\mathbb{Z}$（生成元 $a$：$z_2$ の偏角を 1 周）、$\pi_1(V_2\setminus K)\cong\mathbb{Z}$（生成元 $b$：$z_1$ の偏角を 1 周）です（）。$T\setminus K$ は、トーラスを $K$ に沿って切り開いた開いた円環で、$K$ に平行な閉曲線 $K'$ にホモトピー同値、$\pi_1(T\setminus K)\cong\mathbb{Z}$ です。$K'$ は $V_1\setminus K$ の中で $z_2$ の偏角を 2 周するので $a^2$ に、$V_2\setminus K$ の中で $z_1$ の偏角を 3 周するので $b^3$ に写ります。$S^3\setminus K$ を、$V_1\setminus K$ と $V_2\setminus K$ を $T\setminus K$ の近くで少し太らせた 2 つの開集合の和と見て van Kampen の定理（）を使うと、$\pi_1(S^3\setminus K)$ は $\mathbb{Z}\langle a\rangle$ と $\mathbb{Z}\langle b\rangle$ の、$a^2=b^3$ による融合積、すなわち $\langle a,b\mid a^2=b^3\rangle$ です。 $a\mapsto(1\,2)$、$b\mapsto(1\,2\,3)$ は、$(1\,2)^2=1=(1\,2\,3)^3$ なので関係式を保ち、準同型 $\pi_1(S^3\setminus K)\to S_3$ を定めます。$(1\,2)$ と $(1\,2\,3)$ は $S_3$ を生成するので全射で、$S_3$ は可換でないので $\pi_1(S^3\setminus K)$ も可換ではありません。 自明な結び目として $U=\{z_2=0\}\cap S^3$ を取ると、$S^3\setminus U=\{z_2\ne0\}$ は $(z_1,z_2)\mapsto(sz_1,\sqrt{2-s^2|z_1|^2}\,z_2/|z_2|)$（$s\in[0,1]$）で円周 $\{z_1=0\}$ に変位レトラクトし、$\pi_1\cong\mathbb{Z}$ です。結び目が同値なら補空間は同相で基本群は同型なので、$K$ は $U$ に同値ではありません。 $K$ は標準的なトーラスの上を $(2,3)$ の傾きで走る結び目（トーラス結び目）で、立体射影すると交差が 3 つのよく知られた形になります。この証明は、 の可換化 $a\mapsto3$、$b\mapsto2$（$\mathbb{Z}$ への全射）では見えなかった情報を、非可換な像で取り出しています。 ## 5. 4 次元多様体の交叉形式 ### 5.1. 定義と基本性質 4 次元では、中間の次元 2 のホモロジーの上の交点数が、多様体の最も基本的な不変量になります。[Thom 類と Poincaré 双対](/mathematics/differential-topology/thom-class-and-poincare-dual)の章では実係数の交叉形式 $\int_M\alpha\wedge\beta$ を扱いました。4 次元多様体の分類では、その中の整数の格子が本質的です。 $M$ を向き付けられた閉 4 次元多様体とする。 1. $H^2_{\mathrm{dR}}(M)$ の類 $[\alpha]$ で、向き付けられた閉曲面からの任意の滑らかな写像 $g\colon\Sigma\to M$ について $\int_\Sigma g^*\alpha\in\mathbb{Z}$ となるものの全体を $\Lambda_M$ と書く。$\Lambda_M$ は部分群である。 2. $\Lambda_M$ の上の対称双線形形式 $Q_M(\alpha,\beta)=\int_M\alpha\wedge\beta$ を、$M$ の（整数係数の）**交叉形式**という。 3. 対称双線形形式 $Q\colon\Lambda\times\Lambda\to\mathbb{Z}$（$\Lambda\cong\mathbb{Z}^r$）が**ユニモジュラー**であるとは、基底についての行列の行列式が $\pm1$ であること（同値：$x\mapsto Q(x,\cdot)$ が同型 $\Lambda\to\operatorname{Hom}(\Lambda,\mathbb{Z})$）をいう。すべての $x$ で $Q(x,x)$ が偶数のとき**偶**、そうでないとき**奇**という。すべての $x\ne0$ で $Q(x,x)\gt0$（または $\lt0$）のとき**定値**、そうでないとき**不定値**という。$r$ を階数、実係数に延ばした形式の符号数を $Q$ の符号数という。 次の補題が、この節で必要な整数係数の Poincaré 双対です。[ハンドル分解](/mathematics/differential-topology/handle-decompositions)を上下逆さに見ることで得られます。 $M$ を向き付けられた閉 $n$ 次元多様体とする。すべての $k$ について $$ H_{n-k}(M)\cong\operatorname{Hom}(H_k(M),\mathbb{Z})\oplus\operatorname{Ext}(H_{k-1}(M),\mathbb{Z}) $$ である。より詳しく、自己指数的な Morse 関数 $f$ と、すべての指数で下降球面と上昇球面が横断的に交わる勾配状ベクトル場を取り、下降円板 $D(p)$ の向きを選んで、上昇円板 $A(p)$ の向きを「$D(p)$ の向き、$A(p)$ の向きの順に並べると $p$ で $M$ の向きになる」ように決めると、$n-f$ のハンドル鎖複体 $C'_*$ は、$f$ のハンドル鎖複体 $C_*$ の双対複体 $\operatorname{Hom}(C_{n-*},\mathbb{Z})$ に、$[A(p)]$ を $[D(p)]$ の双対基底の $\pm1$ 倍（符号は次数だけで決まる）に写す同型で同型である。 このような $f$ と勾配状ベクトル場は存在します（ の 3 と、その 2 の証明の方法：等位面 $V$ の中で、上昇球面の包含写像を の族の中で少し動かして下降球面に横断的にし、 によりそれがイソトピーであるようにして、 で $V$ のアンビエントイソトピーに延ばす。指数の低い等位面から順に行えば、ベクトル場を変える帯が互いに交わらないので、すでに横断的にした等位面は影響を受けない）。 $p$ を指数 $\lambda$、$q$ を指数 $\lambda+1$ の臨界点、$V=f^{-1}(\lambda+\tfrac12)$ とし、$s\in A_q\cap B_p$（$A_q$ は $q$ の下降球面、$B_p$ は $p$ の上昇球面）とします。 の 3 により、$f$ の境界作用素の係数 $n(q,p)$ への $s$ の寄与 $\epsilon_s$ は、$T_sA_q$ の向き $\mathfrak{a}$ と、$B_p$ の法方向の向き $\nu_B$（$D(p)$ の向きから決まる）を、同型 $T_sA_q\to T_sV/T_sB_p$ で比べた符号です。同じ命題を $n-f$ に使うと、下降と上昇が入れ替わり、$n-f$ の係数 $n'(p,q)$ への $s$ の寄与 $\epsilon_s'$ は、$T_sB_p$ の向き $\mathfrak{b}$ と、$A_q$ の法方向の向き $\nu_A$（$A(q)$ の向きから決まる）を比べた符号です。$T_sV$ の向き $\mathfrak{o}$ を 1 つ固定すると、$\nu_B\oplus\mathfrak{b}=\kappa_B\,\mathfrak{o}$、$\nu_A\oplus\mathfrak{a}=\kappa_A\,\mathfrak{o}$ となる符号 $\kappa_B,\kappa_A$ があります。$D(p)$ の向きを逆にすると、取り決めにより $A(p)$ の向きも逆になり、$\nu_B$ と $\mathfrak{b}$（$A(p)$ の境界としての向き）がともに逆になるので、$\kappa_B$ は変わりません。$\kappa_A$ も同様で、どちらも $n$ と $\lambda$ だけで決まります。定義から $\mathfrak{a}\oplus\mathfrak{b}=\epsilon_s\kappa_B\,\mathfrak{o}$、$\mathfrak{b}\oplus\mathfrak{a}=\epsilon_s'\kappa_A\,\mathfrak{o}$ で、$\mathfrak{a}\oplus\mathfrak{b}=(-1)^{\lambda(n-\lambda-1)}\mathfrak{b}\oplus\mathfrak{a}$ なので、$\epsilon_s'=\varepsilon_\lambda\epsilon_s$、$\varepsilon_\lambda=(-1)^{\lambda(n-\lambda-1)}\kappa_A\kappa_B$ です。交点について足すと $n'(p,q)=\varepsilon_\lambda\,n(q,p)$ で、$\varepsilon_\lambda$ は $\lambda$ と $n$ だけで決まります。 $C'_{n-\lambda}$ は $[A(p)]$（$p$ は $f$ の指数 $\lambda$ の臨界点）を基底とし、境界作用素 $d'\colon C'_{n-\lambda}\to C'_{n-\lambda-1}$ の行列は $\varepsilon_\lambda$ 倍の $d_{\lambda+1}$ の転置です。$[A(p)]$ を $[D(p)]$ の双対基底に対応させると、$C'_{n-\lambda}\cong\operatorname{Hom}(C_\lambda,\mathbb{Z})$ で、$d'$ は $\varepsilon_\lambda$ 倍の $d_{\lambda+1}$ の双対写像です。次数ごとに基底全体に符号 $\pm1$ を掛け直せば（$\lambda$ について順に決めます）$\varepsilon_\lambda$ を吸収でき、$C'_*\cong\operatorname{Hom}(C_{n-*},\mathbb{Z})$ が複体の同型になります。$C'_*$ のホモロジーは $H_*(M)$ なので（ の 2 を $n-f$ に使う）、$H_{n-k}(M)\cong H^k(\operatorname{Hom}(C_*,\mathbb{Z}))$ で、自由アーベル群の鎖複体 $C_*$ についての普遍係数定理（）と $H_*(C_*)\cong H_*(M)$ から主張を得ます。 $M$ を単連結な閉 4 次元多様体とし、向きを 1 つ決める（単連結なので向き付け可能である）。 1. $H_1(M)=H_3(M)=0$、$H_0(M)\cong H_4(M)\cong\mathbb{Z}$ で、$H_2(M)$ は有限階数の自由アーベル群である。 2. の $f$ について、$C'_2$ の元 $\sum_ia_i[A(p_i)]$ と $C_2$ の元 $\sum_jb_j[D(p_j)]$ に $\sum_ia_ib_i$（芯と余芯の交点数）を対応させる対は、双線形形式 $\lambda_M\colon H_2(M)\times H_2(M)\to\mathbb{Z}$ を誘導し、$\lambda_M$ はユニモジュラーである。 3. $\Lambda_M=\{[\alpha]:\int_z\alpha\in\mathbb{Z}\ (\forall z\in H_2(M))\}\cong\operatorname{Hom}(H_2(M),\mathbb{Z})$ で、$\Lambda_M$ は $H^2_{\mathrm{dR}}(M)$ を張る階数 $b_2(M)$ の格子である。 4. $\varphi\colon M\to M'$ が向き付けられた閉 4 次元多様体の間のホモトピー同値なら、$\varphi$ にホモトピックな滑らかな写像による引き戻しは同型 $\Lambda_{M'}\to\Lambda_M$ を与え、$Q_M(\varphi^*x,\varphi^*y)=\pm Q_{M'}(x,y)$（符号は $x,y$ によらない）である。とくに、$Q(x,x)$ が奇数となる $x\in\Lambda$ が存在するかどうかは、ホモトピー同値で不変である。 向き付け可能性：向きの 2 重被覆（各点に局所的な向きを対応させる被覆）は、単連結な底空間の上では自明なので（）、大域的な向きがあります。 **1。**　単連結なので $H_1(M)=0$ です（ の $n=2$ の場合の前半）。$H_0(M)\cong\mathbb{Z}$、$\operatorname{Ext}(\mathbb{Z},\mathbb{Z})=0$、$\operatorname{Hom}(0,\mathbb{Z})=\operatorname{Ext}(0,\mathbb{Z})=0$ なので、 から $H_4\cong\operatorname{Hom}(H_0,\mathbb{Z})\cong\mathbb{Z}$、$H_3\cong\operatorname{Hom}(H_1,\mathbb{Z})\oplus\operatorname{Ext}(H_0,\mathbb{Z})=0$、$H_2\cong\operatorname{Hom}(H_2,\mathbb{Z})\oplus\operatorname{Ext}(H_1,\mathbb{Z})=\operatorname{Hom}(H_2,\mathbb{Z})$ です。$H_2(M)$ は有限生成（）で、有限生成アーベル群 $G$ について $\operatorname{Hom}(G,\mathbb{Z})$ はねじれのない有限生成アーベル群、すなわち自由アーベル群なので、$H_2(M)$ は自由です。 **2。**　 の複体の同型で、$C'_2$ の元 $\sum_ia_i[A(p_i)]$ は、$C_2$ 上の線形形式 $[D(p_j)]\mapsto\pm a_j$ に対応し、与えられた対はこの線形形式の値（の $\pm1$ 倍）です。サイクルとコサイクルの対はホモロジー類とコホモロジー類だけで決まるので、$H_2(C')\times H_2(C)=H_2(M)\times H_2(M)$ の上の対 $\lambda_M$ が定まります。$x\mapsto\lambda_M(x,\cdot)$ は、同型 $H_2(M)=H_2(C')\cong H^2(\operatorname{Hom}(C_*,\mathbb{Z}))$ と、普遍係数定理の写像 $h\colon H^2(\operatorname{Hom}(C_*,\mathbb{Z}))\to\operatorname{Hom}(H_2(C),\mathbb{Z})$ の合成（の $\pm1$ 倍）です。$\operatorname{Ext}(H_1(M),\mathbb{Z})=0$ なので $h$ は同型で（）、$\lambda_M$ はユニモジュラーです。 **3。**　de Rham の定理（）と実係数の普遍係数定理（）により、閉 2 形式の類 $[\alpha]$ に周期 $z\mapsto\int_z\alpha$ を対応させる写像は同型 $H^2_{\mathrm{dR}}(M)\to\operatorname{Hom}(H_2(M),\mathbb{R})$ です。向き付けられた閉曲面からの写像 $g\colon\Sigma\to M$ は類 $g_*[\Sigma]\in H_2(M)$ を定め、$\int_\Sigma g^*\alpha$ はその周期です。逆に、$M$ は単連結なので Hurewicz 準同型 $\pi_2(M)\to H_2(M)$ は同型で（ の $n=2$）、$H_2(M)$ の任意の類は滑らかな写像 $S^2\to M$（）の像です。よって $\Lambda_M$ は周期がすべて整数である類の全体で、上の同型により $\operatorname{Hom}(H_2(M),\mathbb{Z})\subset\operatorname{Hom}(H_2(M),\mathbb{R})$ に対応します。1 により $H_2(M)\cong\mathbb{Z}^{b_2}$ なので、これは実ベクトル空間を張る階数 $b_2$ の格子です。 **4。**　$\varphi$ とそのホモトピー逆 $\psi$ を滑らかな写像に取り替えます（）。$g\colon\Sigma\to M$ について $\int_\Sigma g^*\varphi^*\alpha=\int_\Sigma(\varphi\circ g)^*\alpha$ なので $\varphi^*\Lambda_{M'}\subset\Lambda_M$、同様に $\psi^*\Lambda_M\subset\Lambda_{M'}$ で、$\varphi^*\psi^*=(\psi\circ\varphi)^*=\mathrm{id}$、$\psi^*\varphi^*=\mathrm{id}$（）から $\varphi^*\colon\Lambda_{M'}\to\Lambda_M$ は同型です。引き戻しは外積と可換なので $Q_M(\varphi^*x,\varphi^*y)=\int_M\varphi^*(x\wedge y)=\deg\varphi\cdot\int_{M'}x\wedge y$（）で、$\deg\varphi$ と $\deg\psi$ は整数、$\deg\varphi\cdot\deg\psi=\deg(\psi\circ\varphi)=1$ なので $\deg\varphi=\pm1$ です。 2 の $\lambda_M$ と、 の $Q_M$ は同じものの 2 つの表し方です。$H_2(M)$ の類 $z$ の Poincaré 双対 $\eta_z\in H^2_{\mathrm{dR}}(M)$（$\int_M\alpha\wedge\eta_z=\int_z\alpha$ で決まる類）を取ると、$z\mapsto\eta_z$ は $H_2(M)$ から $\Lambda_M$ の上への同型で、$Q_M(\eta_z,\eta_w)=\lambda_M(z,w)$ が成り立ちます。したがって $Q_M$ は整数値で対称なユニモジュラー形式で、横断的に交わる 2 つの埋め込まれた曲面については交点数に一致します。この一致の証明には、特異サイクルの Poincaré 双対を台の近くに局所化する議論（部分多様体については ）を鎖の水準で行う必要があり、この記事では行いません（R. E. Gompf, A. I. Stipsicz『4-Manifolds and Kirby Calculus』§1.2）。以下の例では、$\Lambda_M$ と $Q_M$ を定義から直接計算します。 ### 5.2. 例 1. $\mathbb{C}P^2$ では $\Lambda=\mathbb{Z}x$（$x$ は直線 $L$ の Poincaré 双対）、$Q=(1)$。向きを逆にした $-\mathbb{C}P^2$ では $Q=(-1)$。 2. $S^2\times S^2$ では $\Lambda=\mathbb{Z}a\oplus\mathbb{Z}b$（$a,b$ は各因子の面積形式の引き戻し）、$Q=H:=\begin{pmatrix}0&1\\1&0\end{pmatrix}$。これは偶で不定値、符号数 $0$ である。 3. $\mathbb{C}P^2\#(-\mathbb{C}P^2)$ では $\Lambda=\mathbb{Z}x\oplus\mathbb{Z}y$、$Q=\begin{pmatrix}1&0\\0&-1\end{pmatrix}$。これは奇で不定値、符号数 $0$ である。 4. $S^2\times S^2$ と $\mathbb{C}P^2\#(-\mathbb{C}P^2)$ はホモトピー同値でない。とくに同相でない。 部分多様体 $Z$ の Poincaré 双対 $\eta_Z$ について、次の 2 つを使います。(i) $\int_M\alpha\wedge\eta_Z=\int_Z\alpha$（Poincaré 双対の定義。）。(ii) 向き付けられた閉曲面からの滑らかな写像 $g\colon\Sigma\to M$ について $\int_\Sigma g^*\eta_Z$ は整数である。実際、$g$ をホモトピーで $Z$ に横断的にすると（。積分は変わらない）、$g^*\eta_Z$ は有限個の符号つきの点 $g^{-1}(Z)$ の Poincaré 双対で（）、積分は符号の和です。 **1。**　$H^2_{\mathrm{dR}}(\mathbb{C}P^2)=\mathbb{R}x$、$x=\eta_L$、$\int x^2=1$ です（）。(ii) により $x\in\Lambda$ です。$sx\in\Lambda$ なら、$g$ を別の直線 $L'$ の包含として（$L'$ は $L$ にイソトピックなので $\eta_{L'}=x$）、(i) から $\int_{L'}sx=s\int_{\mathbb{C}P^2}x\wedge\eta_{L'}=s\int x^2=s$ が整数です。よって $\Lambda=\mathbb{Z}x$、$Q(x,x)=1$ です。向きを逆にすると積分の符号が変わります。 **2。**　$\omega$ を $\int_{S^2}\omega=1$ の 2 形式、$a=\mathrm{pr}_1^*\omega$、$b=\mathrm{pr}_2^*\omega$ とすると、Künneth の公式（）により $H^2_{\mathrm{dR}}(S^2\times S^2)=\mathbb{R}a\oplus\mathbb{R}b$ です。$g\colon\Sigma\to S^2\times S^2$ について $\int_\Sigma g^*a=\deg(\mathrm{pr}_1\circ g)\in\mathbb{Z}$（）なので $a,b\in\Lambda$ です。$sa+tb\in\Lambda$ なら、$S^2\times\{\mathrm{pt}\}$ と $\{\mathrm{pt}\}\times S^2$ の上の積分から $s,t\in\mathbb{Z}$ です。$a\wedge a=\mathrm{pr}_1^*(\omega\wedge\omega)=0$、同様に $b\wedge b=0$、$\int a\wedge b=\int_{S^2}\omega\cdot\int_{S^2}\omega=1$ なので $Q=H$ で、$Q(sa+tb,sa+tb)=2st$ は偶数です。$H$ の固有値は $\pm1$ です。 **3。**　$\mathbb{C}P^2$ の直線 $L$ と $-\mathbb{C}P^2$ の直線 $L'$ を、連結和を作るときに除く円板と交わらないように取ります。$M=\mathbb{C}P^2\#(-\mathbb{C}P^2)$ を、2 つの穴あきの多様体を少し太らせた開集合 $U_1,U_2$（共通部分は $S^3\times(-1,1)$）の和と見ると、Mayer–Vietoris 完全系列と $H^1_{\mathrm{dR}}(S^3)=H^2_{\mathrm{dR}}(S^3)=0$ から $H^2_{\mathrm{dR}}(M)\cong H^2_{\mathrm{dR}}(U_1)\oplus H^2_{\mathrm{dR}}(U_2)$ で、同じ議論を $\mathbb{C}P^2=U_1\cup D^4$ に使うと $H^2_{\mathrm{dR}}(U_1)\cong H^2_{\mathrm{dR}}(\mathbb{C}P^2)$ です。$L$、$L'$ の小さい管状近傍に台をもつ $x=\eta_L$、$y=\eta_{L'}$ が基底を与えます。(ii) により $x,y\in\Lambda$ で、$sx+ty\in\Lambda$ なら、$L$ と $L'$ に平行な直線の上の積分から 1 と同じく $s,t\in\mathbb{Z}$ です。$\int x^2=1$、$\int y^2=-1$（$-\mathbb{C}P^2$ の向き）、$x\wedge y=0$（台が交わらない）なので $Q=\operatorname{diag}(1,-1)$ で、$Q(x,x)=1$ は奇数です。 **4。**　 の 4 により、「$Q(z,z)$ が奇数となる $z\in\Lambda$ が存在する」という性質はホモトピー同値で不変です。3 の多様体はこれを満たし、2 の多様体は満たしません。 この 2 つの多様体は、単連結で、Betti 数も Euler 標数（$4$）も符号数（$0$）も実係数の交叉形式も同じです。違いは格子の上の偶奇だけで、整数係数で考えることの意味がここにあります。 $E_8$ 形式は、次の対称行列で与えられる $\mathbb{Z}^8$ 上の形式です（対角成分が $2$、鎖状に並んだ 7 個の基底の隣どうしと、8 番目と 5 番目の間が $-1$、ほかは $0$）。 $$ E_8=\begin{pmatrix} 2&-1&&&&&&\\ -1&2&-1&&&&&\\ &-1&2&-1&&&&\\ &&-1&2&-1&&&\\ &&&-1&2&-1&&-1\\ &&&&-1&2&-1&\\ &&&&&-1&2&\\ &&&&-1&&&2 \end{pmatrix} $$ 対角成分が偶数なので偶で、正定値、行列式は $1$ です（）。階数 $8$、符号数 $8$ の、偶で定値なユニモジュラー形式のうち階数が最小のものです。4 次曲面 $\{z_0^4+z_1^4+z_2^4+z_3^4=0\}\subset\mathbb{C}P^3$（K3 曲面）は単連結な閉 4 次元多様体で、交叉形式は $2(-E_8)\oplus3H$（階数 $22$、符号数 $-16$）であることが知られています（Gompf–Stipsicz『4-Manifolds and Kirby Calculus』§1.3）。 ### 5.3. Freedman の定理と Donaldson の定理 1. 任意の整数係数のユニモジュラーな対称双線形形式 $Q$ に対し、単連結な閉じた位相 4 次元多様体で交叉形式が $Q$ に同型なものが存在する。 2. $Q$ が偶なら、そのような多様体は同相を除いてただ 1 つである。$Q$ が奇なら、同相を除いてちょうど 2 つあり、Kirby–Siebenmann 不変量（$\mathbb{Z}/2$ に値を取る）で区別される。2 つのうち少なくとも一方は滑らかな構造をもたない。 3. したがって、単連結な閉じた滑らかな 4 次元多様体は、交叉形式が同型なら同相である。とくに、$S^4$ にホモトピー同値な位相 4 次元多様体は $S^4$ に同相である。 は**主張のみ**です。証明は、 で述べた 4 次元での Whitney 円板の自己交差を、Casson ハンドルと呼ばれる無限回の構成で置き換え、それが位相的には通常の 2-ハンドルと同相であることを Bing 流の分解空間の理論で示す、というもので、原論文は 100 ページ近くあります（M. H. Freedman, "The topology of four-dimensional manifolds", *J. Differential Geom.* 17 (1982), 357–453）。位相多様体のハンドル理論・横断性（Kirby–Siebenmann、Quinn）も前提になり、Rikai の範囲を大きく超えます。 単連結な閉じた滑らかな 4 次元多様体の交叉形式が定値ならば、その形式は $\mathbb{Z}$ 上で対角化できる。すなわち $\pm\operatorname{diag}(1,\dots,1)$ に同型である。 も**主張のみ**です。証明は、$M$ の上の $SU(2)$ 束の反自己双対接続（インスタントン）のモジュライ空間が、$M$ を一方の境界とし、$\mathbb{C}P^2$ の錐を特異点にもつ 5 次元の「同境」になることを示し、同境不変量を比べるもので、非線形偏微分方程式の解析（Uhlenbeck のコンパクト性定理、Taubes による解の存在）と指数定理（[指数定理](/mathematics/differential-geometry/index-theorems)の章）を使います。原論文は S. K. Donaldson, "An application of gauge theory to four-dimensional topology", *J. Differential Geom.* 18 (1983), 279–315、教科書は S. K. Donaldson, P. B. Kronheimer『The Geometry of Four-Manifolds』（Oxford University Press, 1990）です。[主束と接続](/mathematics/differential-geometry/principal-bundles-connections)の章の言葉で述べられる、ゲージ理論の位相幾何への最初の応用です。 $E_8$ 形式は偶で定値、階数 $8$ で、対角化できません（対角化できる形式は $Q(x,x)=\pm1$ となる元をもち、奇です）。 により、交叉形式が $E_8$ の単連結な閉じた位相 4 次元多様体（$E_8$ 多様体）がただ 1 つありますが、 により、それは滑らかな構造をもちません。$E_8\oplus E_8$ についても同じです。位相多様体と滑らかな多様体の違いが 4 次元で初めて、しかも単連結な閉多様体で現れることになります。 さらに、2 つの定理から、$\mathbb{R}^4$ に同相だが微分同相でない滑らかな多様体（エキゾチック $\mathbb{R}^4$）の存在が導かれます（ で触れたもの）。$n\ne4$ では $\mathbb{R}^n$ の滑らかな構造はただ 1 つなので、これは 4 次元だけの現象です。偶な形式については、Rokhlin の定理「滑らかで偶な交叉形式をもつ単連結な閉 4 次元多様体の符号数は $16$ の倍数である」（1952 年）が先に知られていて、符号数 $8$ の $E_8$ 多様体が滑らかでないことはこれからも従います。これらはこの記事では証明しません。 滑らかな 4 次元多様体を具体的に扱う言葉が **Kirby 図式**です。連結な閉 4 次元多様体のハンドル分解（0-ハンドル 1 個から始める）で、1-ハンドルと 2-ハンドルの接着写像を $\partial D^4=S^3$ の中の絵として描きます。2-ハンドルの接着写像 $S^1\times D^2\to S^3$ は、結び目（接着円周）とその管状近傍の自明化、すなわち整数（**枠**）で決まるので、1-ハンドルが無い場合の図式は、各成分に整数の付いた $S^3$ の中の絡み目です。交叉形式は、対角成分が枠、非対角成分が成分どうしの絡み数（）の行列になります。たとえば枠 $+1$ の自明な結び目は $\mathbb{C}P^2$、枠 $0$ を付けた Hopf 絡み目は $S^2\times S^2$ の図式です。図式の変形（ハンドルの滑らせと、消去できる対の生成・消去。、）で同じ多様体の図式どうしが移り合う、というのが Kirby 計算です。4 次元多様体論が結び目理論と切り離せないのはこのためです。 ## 6. 演習 $c$ 個の交差をもつ結び目の射影図から Seifert のアルゴリズムで作った膜が連結で、Seifert 円周が $s$ 個のとき、種数が $\tfrac12(c-s+1)$ であることを確かめ、交差が $c$ 個の射影図をもつ結び目の種数は $\tfrac12(c-1)$ 以下であることを示せ。交差が 2 個以下の射影図をもつ結び目は自明であることを導け。 まず、結び目の射影図から作った膜 $F$ は連結です。$F$ の各連結成分は円板に帯を貼った曲面で、2-ハンドルをもたないので閉曲面ではなく、空でない境界をもちます。境界の和 $\partial F$ は結び目で連結なので、成分は 1 つです。 $F$ は $s$ 個の 0-ハンドルと $c$ 個の 1-ハンドルからなるので $\chi(F)=s-c$ です。境界の円周を円板でふさいだ閉曲面 $\hat F$ は連結で向き付け可能、$\chi(\hat F)=s-c+1=2-2g$ なので $g=\tfrac12(c-s+1)$ です。$s=1$ のとき、Seifert のアルゴリズムの第 2 段（ の後の説明）により帯は異なる円周をつなぐので $c=0$ で、$g=0$ です。$s\ge2$ なら $g\le\tfrac12(c-1)$ です。どちらの場合も、結び目の種数（連結な Seifert 膜の種数の最小値）は $\max(0,\tfrac12(c-1))$ 以下です。$c\le2$ のとき $\tfrac12(c-1)\lt1$ なので種数は $0$ で、結び目は円板の境界、すなわち自明です。 の行列について、$\det E_8=1$ を示せ。また、左上の $k\times k$ 小行列式（$k\le7$）が $k+1$ であることを示し、$E_8$ が正定値であることを確かめよ。Donaldson の定理から、交叉形式が $E_8\oplus E_8$ に同型な単連結の閉じた滑らかな 4 次元多様体は存在しないことを導け。 対角成分が $2$、隣どうしが $-1$ の $k\times k$ 三重対角行列の行列式を $a_k$ とすると、最後の行で展開して $a_k=2a_{k-1}-a_{k-2}$、$a_1=2$、$a_2=3$ なので $a_k=k+1$ です。これが左上の $k\times k$ 小行列式（$k\le7$）です。$E_8$ の行列式を第 8 行で展開します。第 8 行の $0$ でない成分は $(8,5)$ の $-1$ と $(8,8)$ の $2$ です。$(8,8)$ の寄与は $2a_7=16$ です。$(8,5)$ と $(5,8)$ の $-1$ の対の寄与は、第 5・第 8 の行と列を除いた行列の行列式の $-1$ 倍で、残るのは基底 $1,\dots,4$ の鎖と $6,7$ の鎖に分かれた行列なので $-a_4a_2=-15$ です（第 8 列の $0$ でない成分は $(5,8)$ と $(8,8)$ だけなので、ほかの項はありません）。よって $\det E_8=16-15=1$ です。左上の小行列式が $2,3,\dots,8,1$ とすべて正なので、Sylvester の判定法により正定値です。 $E_8\oplus E_8$ は正定値で、対角成分がすべて偶数なので偶です。$\mathbb{Z}$ 上で対角化できる定値形式は $\pm\operatorname{diag}(1,\dots,1)$ で、$Q(x,x)=\pm1$ となる元をもつので奇です。偶であることは基底の取り方によらないので、$E_8\oplus E_8$ は対角化できず、 により、これを交叉形式とする単連結な閉じた滑らかな 4 次元多様体はありません。 $h+j=1$ を満たす $(h,j)$ のうち、 の 3 で $S^7$ に微分同相でないことが分かるものを、$h=0,1,\dots,6$ について列挙せよ。また、$M_{h,j}$ と $M_{j,h}$ の関係を述べよ。 $h-j=2h-1$ で、$(2h-1)^2\bmod7$ は $h=0,\dots,6$ について順に $1,1,2,4,0,4,2$ です（$1,1,9,25,49,81,121$）。$1$ と合同でないのは $h=2,3,4,5,6$ で、$M_{2,-1},M_{3,-2},M_{4,-3},M_{5,-4},M_{6,-5}$ は $S^7$ に同相ですが微分同相ではありません。$h=0,1$（$M_{0,1}$、$M_{1,0}$）ではこの判定は何も言わず、実際 $M_{1,0}$ は により $S^7$ です。$(h,j)$ を $(j,h)$ に替えると $h+j$ は変わらず $(h-j)^2$ も変わりません。ファイバーの共役 $v\mapsto\bar v$ は、$\overline{u^hvu^j}=\bar u^{\,j}\bar v\,\bar u^{\,h}$ なので、底空間の座標も $u\mapsto\bar u$ と替えれば $M_{h,j}$ を $M_{j,h}$ に写す微分同相を与えます（$\bar u/|\bar u|^2=\overline{u/|u|^2}$ なので貼り合わせと両立します）。したがって $M_{0,1}\cong M_{1,0}\cong S^7$ です。 ## 参考文献 - J. Milnor, *Lectures on the h-Cobordism Theorem*, Princeton University Press, 1965 — §6（Whitney の技巧）、§7–§9（h 同境定理の証明と帰結）。 - J. Milnor, "On manifolds homeomorphic to the 7-sphere", *Annals of Mathematics* 64 (1956), 399–405。 - S. Smale, "On the structure of manifolds", *American Journal of Mathematics* 84 (1962), 387–399。 - M. Kervaire, J. Milnor, "Groups of homotopy spheres: I", *Annals of Mathematics* 77 (1963), 504–537。 - D. Rolfsen, *Knots and Links*, Publish or Perish, 1976 — 第 3 章（結び目群）、第 5 章（Seifert 膜）。 - R. E. Gompf, A. I. Stipsicz, *4-Manifolds and Kirby Calculus*, Graduate Studies in Mathematics 20, American Mathematical Society, 1999 — 第 1 章（交叉形式、Freedman と Donaldson の定理）、第 4 章・第 5 章（Kirby 図式）。