11cf9b14eeb128f0.tex
1: \begin{abstract}
2: {\small
3: We provide a framework for studying the interplay between concordance
4: and positive mutation and identify some of the basic structures
5: relating the two.
6: 
7: 
8: The fundamental result in understanding knot concordance is the
9: structure theorem proved by Levine: for $n>1$ there is an isomorphism
10: $\phi$ from the concordance group $\calc_n$ of knotted $(2n-1)$--spheres
11: in
12: $S^{2n+1}$ to an algebraically defined group $\calg_{\pm}$; furthermore,
13: $\calg_{\pm}$ is isomorphic to the infinite direct sum $\zz^\infty
14: \oplus \zz_2^\infty \oplus \zz_4^\infty$.  It was a startling 
15: consequence of the work of Casson and Gordon that in the classical
16: case  the kernel of
17: $\phi$ on $\calc_1$ is infinitely generated. Beyond this, little has been
18: discovered about the pair $(\calc_1,\phi)$.  
19: 
20: In this paper we present a new approach to studying
21: $\calc_1$ by introducing a group,
22: $\calm$, defined as the quotient of the set of knots by the equivalence
23: relation generated by concordance and positive mutation, with group
24: operation induced by connected sum.  We prove there is a factorization
25: of
26: $\phi$, $\calc_1 \mapright{\phi_1} \calm \mapright{\phi_2} \calg_-$.  
27: Our main result is that both maps have infinitely generated kernels.
28: 
29: Among geometric constructions on classical knots, the most subtle is
30: positive mutation.  Positive mutants are indistinguishable using
31: classical abelian knot invariants as well as by such modern invariants
32: as the Jones, Homfly or Kauffman polynomials.  Distinguishing positive
33: mutants up to concordance is a far more difficult problem; only one
34: example has been known until now.  The results in this paper provide,
35: among other results, the first infinite families of knots that are
36: distinct from their positive mutants, even up to concordance.}
37:  \end{abstract}
38: