キャッソン不変量

数学の一分野である幾何学的トポロジーの3-次元トポロジー（英語版）(3-dimensional topology)では、キャッソン不変量(Casson invariant)は、アンドリュー・キャッソン（英語版）(Andrew Casson)により導入された向き付け可能な整数ホモロジー3-球面（英語版）(homology 3-sphere)の整数値不変量である。 ケルビン・ウォーカー(Kevin Walker)は、1992年に、キャッソン・ウォーカー不変量(Casson-Walker invariant)と呼ばれる有理ホモロジー3-球面（英語版）(rational homology 3-sphere)の拡張を発見し、クリスティーヌ・レスコップは、1995年にすべての閉じたな向きつけられた3-次元多様体（英語版）(3-manifold)へ拡張した。 キャッソン不変量は、向き付けられた整数ホモロジー 3-球面から Z への写像で次の性質を満たす全射写像 λ である。 λ(S3) = 0. Σ を整数ホモロジー 3-球面とすると、任意の結び目 K と任意の整数 n に対して、差 λ ( Σ + 1 n + 1 ⋅ K ) − λ ( Σ + 1 n ⋅ K ) {\displaystyle \lambda \left(\Sigma +{\frac {1}{n+1}}\cdot K\right)-\lambda \left(\Sigma +{\frac {1}{n}}\cdot K\right)} は、n と独立である。ここに Σ + 1 m ⋅ K {\displaystyle \Sigma +{\frac {1}{m}}\cdot K} は、K による Σ 上の 1 m {\displaystyle {\frac {1}{m}}} デーンの手術（英語版）(Dehn surgery)である。 Σ の中の任意の境界の絡み目 K ∪ L に対して、次の表現は 0 となる。 λ ( Σ + 1 m + 1 ⋅ K + 1 n + 1 ⋅ L ) − λ ( Σ + 1 m ⋅ K + 1 n + 1 ⋅ L ) − λ ( Σ + 1 m + 1 ⋅ K + 1 n ⋅ L ) + λ ( Σ + 1 m ⋅ K + 1 n ⋅ L ) {\displaystyle \lambda \left(\Sigma +{\frac {1}{m+1}}\cdot K+{\frac {1}{n+1}}\cdot L\right)-\lambda \left(\Sigma +{\frac {1}{m}}\cdot K+{\frac {1}{n+1}}\cdot L\right)-\lambda \left(\Sigma +{\frac {1}{m+1}}\cdot K+{\frac {1}{n}}\cdot L\right)+\lambda \left(\Sigma +{\frac {1}{m}}\cdot K+{\frac {1}{n}}\cdot L\right)} キャッソン不変量は（上記の性質に関して）すべての定数による積を除き、一意である。 K が三葉結び目(trefoil)であれば、 λ ( Σ + 1 n + 1 ⋅ K ) − λ ( Σ + 1 n ⋅ K ) = ± 1 {\displaystyle \lambda \left(\Sigma +{\frac {1}{n+1}}\cdot K\right)-\lambda \left(\Sigma +{\frac {1}{n}}\cdot K\right)=\pm 1} . ポアンカレホモロジー球面（英語版）(Poincaré homology sphere)のキャッソン不変量は 1 (あるいは、−1)である。 M の向き付けを逆にすると、キャッソン不変量は符号を変える。 M のロホリン不変量は、キャッソン不変量 mod 2 に等しい。 キャッソン不変量は、ホモロジー 3-球面の連結和に関して、加法的である。 キャッソン不変量は、フレアーホモロジーのオイラー特性類の一種である。 任意の整数 n に対し、 λ ( M + 1 n + 1 ⋅ K ) − λ ( M + 1 n ⋅ K ) = ϕ 1 ( K ) , {\displaystyle \lambda \left(M+{\frac {1}{n+1}}\cdot K\right)-\lambda \left(M+{\frac {1}{n}}\cdot K\right)=\phi _{1}(K),} ここに ϕ 1 ( K ) {\displaystyle \phi _{1}(K)} は、アレクサンダー・コンウェイ多項式 ∇ K ( z ) {\displaystyle \nabla _{K}(z)} の z 2 {\displaystyle z^{2}} の係数であり、K のArf不変量（英語版）(Arf invariant)に合同 (mod 2) である。 キャッソン不変量はLMO不変量（英語版）(LMO invariant)の次数 1 の部分である。 ザイフェルト多様体（英語版）(Seifert manifold) Σ ( p , q , r ) {\displaystyle \Sigma (p,q,r)} のキャッソン不変量は、次の公式により与えられる。 λ ( Σ ( p , q , r ) ) = − 1 8 [ 1 − 1 3 p q r ( 1 − p 2 q 2 r 2 + p 2 q 2 + q 2 r 2 + p 2 r 2 ) − d ( p , q r ) − d ( q , p r ) − d ( r , p q ) ] {\displaystyle \lambda (\Sigma (p,q,r))=-{\frac {1}{8}}\left[1-{\frac {1}{3pqr}}\left(1-p^{2}q^{2}r^{2}+p^{2}q^{2}+q^{2}r^{2}+p^{2}r^{2}\right)-d(p,qr)-d(q,pr)-d(r,pq)\right]} ここに d ( a , b ) = − 1 a ∑ k = 1 a − 1 cot ⁡ ( π k a ) cot ⁡ ( π b k a ) {\displaystyle d(a,b)=-{\frac {1}{a}}\sum _{k=1}^{a-1}\cot \left({\frac {\pi k}{a}}\right)\cot \left({\frac {\pi bk}{a}}\right)} である。 非公式には、キャッソン不変量は、ホモロジー 3-球面の基本群の群 SU(2) への表現の共役類の数の半分である。このことは次のように詳細に記述することができる。 コンパクトな向き付けられた 3-多様体 M の表現空間は、 R ( M ) = R i r r ( M ) / S O ( 3 ) {\displaystyle {\mathcal {R}}(M)=R^{\mathrm {irr} }(M)/SO(3)} として定義される。ここに R i r r ( M ) {\displaystyle R^{\mathrm {irr} }(M)} は π 1 ( M ) {\displaystyle \pi _{1}(M)} の既約 SU(2) 表現の空間を表す。 M {\displaystyle M} のヒーガード分解（英語版）(Heegaard splitting) Σ = M 1 ∪ F M 2 {\displaystyle \Sigma =M_{1}\cup _{F}M_{2}} に対し、キャッソン不変量は ( − 1 ) g 2 {\displaystyle {\frac {(-1)^{g}}{2}}} と R ( M 1 ) {\displaystyle {\mathcal {R}}(M_{1})} と R ( M 2 ) {\displaystyle {\mathcal {R}}(M_{2})} との代数的交叉の積に等しい。 ケルビン・ウォーカー(Kevin Walker)は、キャッソン不変量の有理ホモロジー3-球面（英語版）(rational homology 3-sphere)への拡張を発見した。キャッソン・ウォーカー不変量は、向き付けられた有理ホモロジー 3-球面の Q への全射写像 λCW であり、次の性質を満たしている。 1. λ(S3) = 0. 2. 向き付けられた有理ホモロジー球面 M の中の向き付けられた有理ホモロジー球面 M' のすべての 1-成分デーンの手術（英語版）(Dehn surgery)の提示に対し、 λ C W ( M ′ ) = λ C W ( M ) + ⟨ m , μ ⟩ ⟨ m , ν ⟩ ⟨ μ , ν ⟩ Δ W ′ ′ ( M − K ) ( 1 ) + τ W ( m , μ ; ν ) {\displaystyle \lambda _{CW}(M^{\prime })=\lambda _{CW}(M)+{\frac {\langle m,\mu \rangle }{\langle m,\nu \rangle \langle \mu ,\nu \rangle }}\Delta _{W}^{\prime \prime }(M-K)(1)+\tau _{W}(m,\mu ;\nu )} である。ここに、 m は結び目 K の向きつけられたメリディアンであり μ は手術の特性曲線である。 ν は自然な写像 H1(∂N(K), Z) → H1(M − K, Z) の核の生成子である。 ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } は結び目の管状近傍 N(K) の上の交叉形式である。 Δ はアレクサンダー多項式で、t の作用が M − K の無限巡回被覆（英語版）(cyclic cover)の中の H 1 ( M − K ) / Torsion {\displaystyle H_{1}(M-K)/{\text{Torsion}}} の生成子の作用に対応し、対称であり、1 では 1 となるように正規化されている。 τ W ( m , μ ; ν ) = − s g n ⟨ y , m ⟩ s ( ⟨ x , m ⟩ , ⟨ y , m ⟩ ) + s g n ⟨ y , μ ⟩ s ( ⟨ x , μ ⟩ , ⟨ y , μ ⟩ ) + ( δ 2 − 1 ) ⟨ m , μ ⟩ 12 ⟨ m , ν ⟩ ⟨ μ , ν ⟩ {\displaystyle \tau _{W}(m,\mu ;\nu )=-\mathrm {sgn} \langle y,m\rangle s(\langle x,m\rangle ,\langle y,m\rangle )+\mathrm {sgn} \langle y,\mu \rangle s(\langle x,\mu \rangle ,\langle y,\mu \rangle )+{\frac {(\delta ^{2}-1)\langle m,\mu \rangle }{12\langle m,\nu \rangle \langle \mu ,\nu \rangle }}} ここに x, y は、すべての整数 δ に対し ⟨ x , y ⟩ = 1 {\displaystyle \langle x,y\rangle =1} , v = δy であり、s(p, q) がデデキント和（英語版）(Dedekind sum) となるような H1(∂N(K), Z) の生成子である。 整数ホモロジー球面に対し、ウォーカーの正規化は、キャッソンの正規化 λ C W ( M ) = 2 λ ( M ) {\displaystyle \lambda _{CW}(M)=2\lambda (M)} の 2 倍となっていることに注意する。 クリスティーヌ・レスコップ(Christine Lescop)は、キャッソン・ウォーカー不変量の向き付けられたコンパクト 3-次元多様体への拡張 λCWL を定義した。この定義は、次の性質をもつことで一意に特徴付けられる。 M の第一ベッチ数 は 0 でれば λ C W L ( M ) = 1 2 | H 1 ( M ) | λ C W ( M ) {\displaystyle \lambda _{CWL}(M)={\tfrac {1}{2}}\left\vert H_{1}(M)\right\vert \lambda _{CW}(M)} . M の第一ベッチ数が 1 であれば、 λ C W L ( M ) = Δ M ′ ′ ( 1 ) 2 − t o r s i o n ( H 1 ( M , Z ) ) 12 {\displaystyle \lambda _{CWL}(M)={\frac {\Delta _{M}^{\prime \prime }(1)}{2}}-{\frac {\mathrm {torsion} (H_{1}(M,\mathbb {Z} ))}{12}}} ここに Δ は対称で、1 で正の値の値を取るように正規化されたアレクサンダー多項式である。 M の第一ベッチ数が 2 であれば、 λ C W L ( M ) = | t o r s i o n ( H 1 ( M ) ) | L i n k M ( γ , γ ′ ) {\displaystyle \lambda _{CWL}(M)=\left\vert \mathrm {torsion} (H_{1}(M))\right\vert \mathrm {Link} _{M}(\gamma ,\gamma ^{\prime })} ここに γ は、 H 2 ( M ; Z ) {\displaystyle H_{2}(M;\mathbb {Z} )} の 2つの生成子 S 1 , S 2 {\displaystyle S_{1},S_{2}} の交叉により与えられた向き付けられた曲線であり、 γ ′ {\displaystyle \gamma ^{\prime }} は、 S 1 , S 2 {\displaystyle S_{1},S_{2}} により決定される γ の管状近傍の自明かにより引き起こされる並行な曲線である。 M の第一ベッチ数が 3 であれば、 H 1 ( M ; Z ) {\displaystyle H_{1}(M;\mathbb {Z} )} の基底 a, b, c に対し、 λ C W L ( M ) = | t o r s i o n ( H 1 ( M ; Z ) ) | ( ( a ∪ b ∪ c ) ( [ M ] ) ) 2 {\displaystyle \lambda _{CWL}(M)=\left\vert \mathrm {torsion} (H_{1}(M;\mathbb {Z} ))\right\vert \left((a\cup b\cup c)([M])\right)^{2}} である。 M の第一ベッチ数が 3 よりも大きいと、 λ C W L ( M ) = 0 {\displaystyle \lambda _{CWL}(M)=0} である。 キャッソン・ウォーカー・レスコップ不変量は次の性質を持つ。 M が向きつけられて、第一ベッチ数が奇数であれば、キャッソン・ウォーカー・レスコップ不変量は変わらなく、そうでない場合は符号を変える。 多様体の連結和に対し、 λ C W L ( M 1 # M 2 ) = | H 1 ( M 2 ) | λ C W L ( M 1 ) + | H 1 ( M 1 ) | λ C W L ( M 2 )   . {\displaystyle \lambda _{CWL}(M_{1}\#M_{2})=\left\vert H_{1}(M_{2})\right\vert \lambda _{CWL}(M_{1})+\left\vert H_{1}(M_{1})\right\vert \lambda _{CWL}(M_{2})\ .} 1990年、クリフォード・タウベス（英語版）(Clifford Taubes)は、ホモロジー 3-球面 M の SU(2) キャッソン不変量が、 A / G {\displaystyle {\mathcal {A}}/{\mathcal {G}}} のオイラー特性類として、ゲージ理論的な解釈を持つ。ここに、 A {\displaystyle {\mathcal {A}}} は M 上の SU(2) 接続の空間であり、 G {\displaystyle {\mathcal {G}}} はゲージ変換の群である。彼はチャーン・サイモンズ不変量を A / G {\displaystyle {\mathcal {A}}/{\mathcal {G}}} 上の S 1 {\displaystyle S^{1}} に値を持つモース函数として導き、SU(3) キャッソン不変量が摂動と独立であることにとって重要であることを指摘した。(Taubes (1990)) ボーデン(Boden)とヘラルド(Herald) (1998) は SU(3) キャッソン不変量を定義した。 S. Akbulut and J. McCarthy, Casson's invariant for oriented homology 3-spheres— an exposition. Mathematical Notes, 36. Princeton University Press, Princeton, NJ, 1990. ISBN 0-691-08563-3 M. Atiyah, New invariants of 3- and 4-dimensional manifolds. The mathematical heritage of Hermann Weyl (Durham, NC, 1987), 285-299, Proc. Sympos. Pure Math., 48, Amer. Math. Soc., Providence, RI, 1988. H. Boden and C. Herald, The SU(3) Casson invariant for integral homology 3-spheres. J. Differential Geom. 50 (1998), 147–206. C. Lescop, Global Surgery Formula for the Casson-Walker Invariant. 1995, ISBN 0-691-02132-5 N. Saveliev, Lectures on the topology of 3-manifolds: An introduction to the Casson Invariant. de Gruyter, Berlin, 1999. ISBN 3-11-016271-7 ISBN 3-11-016272-5 Taubes, Clifford Henry (1990), “Casson’s invariant and gauge theory.”, J. Differential Geom. 31: 547–599  K. Walker, An extension of Casson's invariant. Annals of Mathematics Studies, 126. Princeton University Press, Princeton, NJ, 1992. ISBN 0-691-08766-0 ISBN 0-691-02532-0