キャッソン不変量

数学の一分野である幾何学的トポロジーの3-次元トポロジーでは、キャッソン不変量は、アンドリュー・キャッソンにより導入された向き付け可能な整数ホモロジー3-球面の整数値不変量である。

ケルビン・ウォーカーは、1992年に、キャッソン・ウォーカー不変量と呼ばれる有理ホモロジー3-球面の拡張を発見し、クリスティーヌ・レスコップは、1995年にすべての閉じたな向きつけられた3-次元多様体へ拡張した。

1. 定義
-----

キャッソン不変量は、向き付けられた整数ホモロジー 3-球面から Z への写像で次の性質を満たす全射写像 λ である。

λ = 0.
Σ を整数ホモロジー 3-球面とすると、任意の結び目 K と任意の整数 n に対して、差は、n と独立である。ここに は、K による Σ 上の デーンの手術である。
Σ の中の任意の境界の絡み目 K ∪ L に対して、次の表現は 0 となる。キャッソン不変量はすべての定数による積を除き、一意である。

2. 性質
-----

K が三葉結び目であれば、.
ポアンカレホモロジー球面のキャッソン不変量は 1 である。
M の向き付けを逆にすると、キャッソン不変量は符号を変える。
M のロホリン不変量は、キャッソン不変量 mod 2 に等しい。
キャッソン不変量は、ホモロジー 3-球面の連結和に関して、加法的である。
キャッソン不変量は、フレアーホモロジーのオイラー特性類の一種である。
任意の整数 n に対し、ここに は、アレクサンダー・コンウェイ多項式 の の係数であり、K のArf不変量に合同  である。
キャッソン不変量はLMO不変量の次数 1 の部分である。
ザイフェルト多様体 のキャッソン不変量は、次の公式により与えられる。ここにである。

3. 表現の数としてのキャッソン不変量
-------------------

非公式には、キャッソン不変量は、ホモロジー 3-球面の基本群の群 SU への表現の共役類の数の半分である。このことは次のように詳細に記述することができる。

コンパクトな向き付けられた 3-多様体 M の表現空間は、 として定義される。ここに は の既約 SU 表現の空間を表す。 のヒーガード分解 に対し、キャッソン不変量は と と との代数的交叉の積に等しい。

4. 一般化
------

4.1. 有理ホモロジー 3-球面
-----------------

ケルビン・ウォーカーは、キャッソン不変量の有理ホモロジー3-球面への拡張を発見した。キャッソン・ウォーカー不変量は、向き付けられた有理ホモロジー 3-球面の Q への全射写像 λCW であり、次の性質を満たしている。

1. λ = 0.

2. 向き付けられた有理ホモロジー球面 M の中の向き付けられた有理ホモロジー球面 M' のすべての 1-成分デーンの手術の提示に対し、

である。ここに、

m は結び目 K の向きつけられたメリディアンであり μ は手術の特性曲線である。
ν は自然な写像 H1, Z) → H1 の核の生成子である。
は結び目の管状近傍 N の上の交叉形式である。
Δ はアレクサンダー多項式で、t の作用が M − K の無限巡回被覆の中の の生成子の作用に対応し、対称であり、1 では 1 となるように正規化されている。
ここに x, y は、すべての整数 δ に対し , v = δy であり、s がデデキント和 となるような H1, Z) の生成子である。整数ホモロジー球面に対し、ウォーカーの正規化は、キャッソンの正規化 の 2 倍となっていることに注意する。

4.2. コンパクトな向き付けられた 3-次元多様体
--------------------------

クリスティーヌ・レスコップは、キャッソン・ウォーカー不変量の向き付けられたコンパクト 3-次元多様体への拡張 λCWL を定義した。この定義は、次の性質をもつことで一意に特徴付けられる。

M の第一ベッチ数 は 0 でれば.
M の第一ベッチ数が 1 であれば、ここに Δ は対称で、1 で正の値の値を取るように正規化されたアレクサンダー多項式である。
M の第一ベッチ数が 2 であれば、ここに γ は、 の 2つの生成子 の交叉により与えられた向き付けられた曲線であり、 は、 により決定される γ の管状近傍の自明かにより引き起こされる並行な曲線である。
M の第一ベッチ数が 3 であれば、 の基底 a, b, c に対し、である。
M の第一ベッチ数が 3 よりも大きいと、 である。キャッソン・ウォーカー・レスコップ不変量は次の性質を持つ。

M が向きつけられて、第一ベッチ数が奇数であれば、キャッソン・ウォーカー・レスコップ不変量は変わらなく、そうでない場合は符号を変える。
多様体の連結和に対し、

4.3. SU
----------

1990年、クリフォード・タウベスは、ホモロジー 3-球面 M の SU キャッソン不変量が、 のオイラー特性類として、ゲージ理論的な解釈を持つ。ここに、 は M 上の SU 接続の空間であり、 はゲージ変換の群である。彼はチャーン・サイモンズ不変量を 上の に値を持つモース函数として導き、SU キャッソン不変量が摂動と独立であることにとって重要であることを指摘した。

ボーデンとヘラルド  は SU キャッソン不変量を定義した。

5. 参考文献
-------

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 , 285-299, Proc. Sympos. Pure Math., 48, Amer. Math. Soc., Providence, RI, 1988.
H. Boden and C. Herald, //The SU Casson invariant for integral homology 3-spheres.// J. Differential Geom. 50 , 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
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