A formula for Casson’s invariant
A formula for Casson’s invariant
复制标题
卡森不变量的公式
DOI:
--
复制
发表时间:
1986
期刊:
影响因子:
--
通讯作者:
J. Hoste
中科院分区:
文献类型:
--
作者:
J. Hoste
Suppose H is a homology 3-sphere obtained by Dehn surgery on a link L in a homology 3-sphere M. If every pair of components of L has zero linking number in M, then we give a formula for the Casson invariant, X(H), in terms of A (M), the surgery coefficients of L, and a certain coefficient from each of the Conway polynomials of L and all its sublinks. A few consequences of this formula are given. Introduction. Andrew Casson has discovered an integral invariant of oriented homology 3-spheres which reduces, mod 2, to the Rochlin, or n-invariant [1]. In this paper we give a formula for Casson's invariant in the case where the homology sphere H is obtained by Dehn surgery on a link L in a homology sphere M, and furthermore the linking number between every pair of components of L is zero. (Note that every homology 3-sphere can be obtained in this way with M = S3.) In this case the Casson invariant, X(H), can be expressed in terms of X(M), the surgery coefficients of L, and a certain coefficient from each of the Conway polynomials of L and all its sublinks. To illustrate the utility of this formula, we compute the Casson invariant of homology spheres that arise as cyclic branched covers branched along untwisted double knots. We also describe how the X-invariant changes when a crossing of the framed link L (between two strands of the same component) is changed. This provides, at least in this setting, an effective method for computing the invariant. An interesting question is whether it is possible to show directly that the formula we give is preserved by the Kirby-Rolfsen calculus and thus give an alternative proof of the invariance of X. If L1 and L2 are two (rationally) framed links representing the same manifold, then L1 can be transformed into L2 by a sequence of three types of moves: "homeomorphism," "twisting," and "trivial insertion or deletion" [8]. If the linking number between every pair of components of L1 is zero, then the first two types of moves will preserve this property while the third move may not. However, if L1 can be transformed into L2 through a sequence of links all of whose linking numbers are all zero, then we show that the formula for X is preserved. We do not know if such a transformation is, in general, possible. In order to state Casson's theorem and the formula for X(H) we first establish some notation. Suppose L = { K1,..., Kn } is a framed link in a 3-manifold M with Received by the editors October 22, 1985. 1980 Mathematics Subject Classification (1985 Revision). Primary 57M25. 'Supported in part by the NSF under Grant No. DMS-8502940. X)1986 American Mathematical Society 0002-9947/86 $1.00 + $.25 per page