An intrinsic approach to invariants of framed links in 3-manifolds

We perturb {\hat \Phi}, relatively \partial D^2, so that it is in general position in the sense of Proposition 1.1 of [ka]. Then the set

is a graph in D^2 with properties (1)-(5) given in Proposition 1.1 of [ka]. The vertices of S_{{\hat \Phi}} in the interior of D^2 are of valence one or four (see Figure 4).

The invariant f assigns an element of \mathbb A to every edge of S_{{{\hat \Phi}}}. We observe that condition (3) in the statement of Theorem 2.2 implies that X_{{\Phi}} is independent on the order in which the crossing changes around \Phi:={\hat \Phi}| P\times \partial D^2 occur. Thus, without loss of generality, we may assume that the valence one vertices of S_{{{\hat \Phi}}} in the interior of D^2 correspond to inadmissible crossing changes on \partial D^2. With the notation as above, we will assume that the framed singular link {\phi}_{x_i}\in {\mathcal L}^{1} is inadmissible for i=1, \ldots, s and admissible for i=s, \ldots, n. In particular, there are s edges of S_{{{\hat \Phi}}} emanating from x_1,\dots,x_s respectively and ending at an interior vertex of valence one, and these are the only valence one vertices of S_{{{\hat \Phi}}}.

For every interior vertex of S_{{{{\hat \Phi}}}} we draw a small circle C around it so that the number of points in C\cap S_{{ {{\hat \Phi}}}} is equal to the valence of the vertex. See Figure 5. Let C_1,\ldots, C_s denote the circles surrounding the valence one vertices of S_{{{{\hat \Phi}}}} and let {\Gamma} denote the disjoint union of the circles surrounding the vertices of valence four. For a vertex of valence four the four points in C\cap S_{{\hat \Phi}} correspond exactly to these appearing in equation (3). Thus by (3) we have

where {\hat \phi}_x:={{ {\hat \Phi}} (P\times \{x\})}. Now observe that

The last equation and (7) imply that

Since \Phi is framing preserving we have \Delta{\bf f}_{\Phi}={\bf 0}. By Definitions 2.3 and 2.5 and the fact that {\bf f} remains unchanged under admissible crossing changes we have \Delta{\bf f}_{C}={\bf 0}, for every loop C\in \Gamma. This in turn implies that

Since we have

we conclude that \sum_{i=1}^{s}{\epsilon}_i {\bf f}({{\phi}}_{x_i})={\bf 0}. This in turn implies that the inadmissible singular links {{\phi}}_{x_i} can be partitioned into pairs of the forms shown in Figure 3. Relation (2) in Remark 2.1 shows that the right hand side of (8) is identically zero. Thus X_{\Phi}=0, as desired.

By a slight variation of the argument in the proof of Lemma 3.3.2 of [kalin] we have the following: There exists a map {\hat {\Psi}}: D^2 \longrightarrow {{\mathcal M}^L(P, M)} such that if we set \Psi:= {\hat {\Psi}}|{\partial D^2} then \Psi: S^1 \longrightarrow {{\mathcal M}^L(P, M)} is a self-homotopy of L with

Lemma 2.4 and Remark 2.5 imply {\bar X}_{\Psi}=0; thus {\bar X}_{\Phi}={\bar X}_{\Phi'}.

For the remaining of the claim define \psi : \pi_1({\mathcal M}^L(P, M), \ L) \longrightarrow {\mathbb A} as follows: Given \alpha\in \pi_1({\mathcal M}^L(P, M), \ L), let \Phi is be a self-homotopy of L representing \alpha. Define \psi(\alpha)={\bar X}_{\Phi}. By our earlier arguments \psi(\alpha) is independent on the representative \Phi. The fact that \psi is a group homomorphism follows easily.

Let f: {\mathcal L}^{1} \longrightarrow {\mathbb A} be a framed singular link invariant satisfying (3) of the statement of Theorem 2.2 and let \Phi : P\times S^1 \longrightarrow M be a framing preserving self-homotopy of a framed link L: P \longrightarrow M. We have to show that

where X_{\Phi} is the signed sum of values of f around \Phi defined in (6).

First suppose that \pi_1(M) is finite. Then, by Lemma 2.3, \pi_1({\mathcal M}^L(P, M), \ L) is finite. Since {\mathbb A} is torsion free the homomorphism \psi of Lemma 2.9 must be the trivial one. Thus, in particular, X_{\Phi}=0.

Now suppose that \pi_1(M) is infinite. If the link L to begin with contains no homotopically trivial components, then since M is atoroidal, Lemma 2.8 applies to conclude that X_{\partial\tilde{\Phi}}= a X_{{\Phi}}, for a map {\tilde {\Phi}}: P\times D^2 \longrightarrow M. By Lemma 2.4, X_{\partial\tilde{\Phi}}= a X_{{\Phi}}=0 and thus, since {\mathbb A} is torsion free, X_{{\Phi}}=0.

Next suppose that all the components of L are homotopically trivial; that is a_i=1, for i=1, \ldots, m. Then, by Lemma 2.3,

Since H_1(M) is finite the above equality implies that the abelianization of the group \pi_1({\mathcal M}^L(P, M), L) is a finite group. By Lemma 2.9 we have a homomorphism \psi : \pi_1({\mathcal M}^L(P, M), L) \longrightarrow {\mathbb A} with \psi([\Phi ])=X_{\Phi}. Since {\mathbb A} is abelian \psi factors through the abelianization of \pi_1({\mathcal M}^L(P, M), L); a finite group. But since {\mathbb A} is torsion free \psi is the trivial homomorphism. Thus X_{\Phi}=0.

To handle the general case let h(L) denote the number of components of L that are homotopically trivial. The proof is by induction on h(L). In the light of our discussion above, the conclusion is true if h(L)= 0 or h(L)=m. Thus we may assume that h(L)\neq 0, m. Let L_i\subset L be a component that is homotopically trivial and let L': =L\setminus L_i. Also let \Phi be a self-homotopy of L and let \Phi' denote the restriction of \Phi on P', where P':= P\setminus P_i. Since h(L')<h(L), by induction, X_{\Phi'}=0. Then, by Lemma 2.10, X_{\Phi}=0.

By the Torus Theorem and the discussion at the end of Section 2 of [kalin], either M is Haken or it is a Seifert fibered 3-manifold that fibers over S^2 with three or less exceptional fibers.

First suppose that M is Haken. Then by the Enclosing Theorem there is a Seifert fibered submanifold S\subset M and a homotopy \Phi'_t: T\longrightarrow M such that \Phi'_0=\Phi and \Phi'_1(T)\subset S. If \Phi'_1(T) can be further homotoped in S so that it lies on a component of \partial S then we have conclusion (1). Otherwise, by the classification of essential tori in Haken Seifert fibered spaces (Proposition 2.11 of [ka]) we can homotope \Phi'_1 in S to a map \Psi: T\longrightarrow S which is vertical with respect to the fibration.

Next suppose that M is a Seifert fibered space. By Proposition 2.2.5 of [kalin], \Phi is homotopic to a map \Psi: T\longrightarrow M which is vertical with respect to the fibration of M.

Thus, in both cases, either (1) holds or we have a Seifert fibered manifold S\subseteq M, with orbit space B and fiber projection p, such that \Phi is homotopic to a map \Psi : T \longrightarrow M that is vertical with respect to the fibration of S. This means that \Psi is a composition \Phi_1\circ q, where q is a covering map from the torus T to itself and \Phi_1: T \longrightarrow S is an immersion without triple points. Then, there exists a decomposition T=S^1\times S^1 such that

a) \Phi_1(S^1\times \{*\}) maps onto a regular fiber h of S;

b) we have p({\Phi_1}(\{*\}\times S^1))= p(\Phi_1(T)) on the orbit surface B of S.

Let H (resp. Q) denote the curve S^1\times \{*\} (resp. \{*\}\times S^1) on T. Now \alpha:=p(\Phi_1(T)) is an immersed closed curve on B with singularities finitely many transverse double points. A neighborhood N:=N(\alpha) \subset B of \alpha on B is an oriented planar surface. Choose N small enough so that Y:=p^{-1}(N) contains no exceptional fibers of S. Now p: Y\longrightarrow N is an S^1-bundle and since H^2(N)=0 this bundle is trivial. Choose a trivialization Y\cong S^1 \times N so that N is embedded as a cross-section. Pick a base point b\in N and arcs from b to the components of \partial N whose homotopy classes freely generate \pi_1(N); we pick one arc for each such component. Assume that these arcs intersect \alpha only at its double points; let x_1, \ldots, x_s denote the resulting generators of \pi_1(N, b). Write \alpha as a word in these generators; say

We can extend the restriction \Psi| \{*\}\times S^1 to a map {\hat {\Psi}}: (F, \ \partial F) \longrightarrow ( N, \ \partial N), where F is a planar surface, such that: (i) the induced map {\hat {\Psi}}_{*}: \pi_1(F)\longrightarrow \pi_1(N) is onto; (ii) \pi_1(F) is freely generated by elements a^1_1,\cdots, a^1_{k_1}, a^2_1, \cdots , a^2_{k_2} , a^r_1,\cdots, a^r_{k_r}; (iii) {\hat {\Psi}}_{*}([Q])=x_{i_1}^{k_1}x_{i_2}^{k_2}\cdots x_{i_r}^{k_r} (see proof of Lemma 3.11 of [ka]). We pull back the fiber bundle structure by {\hat {\Psi}} to obtain a fiber bundle {\hat {\Psi}}^{*}(Y)\longrightarrow F, over F. The pull-back of the cross-section \alpha is a cross-section of {\hat {\Psi}}^{*}(Y). Extending this cross-section over F, and conclusion.

Let m be the number of components of L. We distinguish two cases according to whether m=1 or m>1.

0.04in

We have m=1: Since \Phi is framing preserving, relation (2) implies that the total contribution of the inadmissible singular links along \Phi to X_{\Phi} is zero (proof of Lemma 2.4). Thus, without loss of generality, we can assume that no inadmissible crossing changes occur along \Phi. Now let \Psi: P\times S^1\longrightarrow M be a map that is freely homotopic to \Phi in M. By Lemma 2.9, and our earlier assumption on \Phi, we have {\bar X}_{\Psi}=X_{\Phi}.

0.04in

Set T:=P\times S^1, l:=P\times \{*\} and m:=\{*\}\times S^1. By assumption \Phi| P\times S^1\longrightarrow M is an essential map and it cannot be homotoped so that its image lies on an essential embedded torus in M. By Lemma 3.3 we can homotope \Phi to a map \Psi: P\times S^1 \longrightarrow M so that: There is a trivial fiber bundle Y= S^1\times F, over a planar surface F, such that \Psi extends to a map {\hat {\Psi}}: S^1\times F \longrightarrow M and the image {\hat {\Psi}}{(\partial Y\setminus T}) is contained on a collection of embedded tori in M. Let H denote a simple closed curve T representing a fiber of Y and let Q denote the component of \partial F (embedded as a cross-section of the bundle) on T. In \pi_1(T) we have [l]=a [H] +b [Q], for some a,b\in {\mathbb{Z}}.

0.02in

First suppose that a=0. Then Lemma 3.12 of [ka] (or Lemma 3.3.1 of [kalin]) applies to conclude that {\bar X}_{\Psi}=0. By our discussion above, X_{\Phi}={\bar X}_{\Psi}=0 and the conclusion in this case follows. 0.03in

Suppose now that a\neq 0. Let q : {\tilde Y} \longrightarrow Y be the covering of Y corresponding to the subgroup a {{\mathbb{Z}}} \times \pi_1(F) of \pi_1(Y)={\mathbb{Z}}\times \pi_1(F). Lift l, H, and Q to curves {\tilde {l}}, {\tilde {H}}, {\tilde Q}, respectively, on the torus {\tilde T}:=q^{-1}(T). Now \tilde Y is a trivial fiber bundle over a surface {\tilde F} with fiber \tilde l; we will write \tilde Y=\tilde l \times {\tilde F}. Consider the composition {\tilde \Psi}:={\hat \Psi} \circ q and its restriction on \tilde T\cong {\tilde l}\times {\tilde Q}. Since {\tilde \Psi}({\tilde l}\times \{x\})=\Psi(l\times q(\{x\})), for all x\in {\tilde Q}, the restriction {\tilde \Psi}|{\tilde l}\times {\tilde Q} is a self-homotopy of a framed knot; the parameter space is {\tilde Q}. As in Remark 3.5 we will think of {\tilde \Psi} as a family of framed immersions parametrized by a disc D^2. Then we can consider X_{\partial\tilde{\Psi}}. As in the proof of Lemma 3.14 of [ka] we obtain that X_{\partial\tilde{\Psi}}=c X_{\Psi}, for some c\in{{\mathbb{Z}}}. Since, as discussed at the beginning of this proof we have {{\bar X}_{\Psi}}= X_{{\Phi}}, it follows that {\bar X}_{\partial\tilde{\Psi}}=c X_{{\Phi}}. By Remark 2.5, we have {\bar X}_{\partial\tilde{\Psi}}=0. Hence we conclude that we have c X_{{\Phi}}=0 for some c\in {\mathbb{Z}}. Since \mathbb A is torsion free this implies that X_{{\Phi}}=0; finishing thereby the proof of the Lemma in the case m=1.

0.05in

We have m>1. By Lemma 2.3, \pi_1({\mathcal M}^L(P, M), L) is isomorphic to a direct product of the groups \pi_1({\mathcal M}^L(P_i, M), L_i) for i=1,\ldots, m. By Lemma 2.9 it is enough to verify (6) only for homotopies \Phi that are fixed on all but one component of L. To that end, let \Psi be a homotopy in general position that only moves one component; say L_1. Suppose, without loss of generality, that \Psi| P_1\times S^1\longrightarrow M is an essential map that cannot be homotoped so that its image lies on an essential embedded torus in M. By (3), we may decompose \Psi into two homotopies \Psi_1 and \Psi_2 such that during \Psi_1 we only have self-crossing changes on L_1, while during \Psi_2 we only have crossing changes between L_1 and the rest of the components. The argument of Case 1 applies to \Psi_1 to conclude that X_{\Psi_1}=0. Since the restriction of \Psi_2 on P'\times S^1, where P'=P\setminus P_1, is constant; it extends to a map P'\times D^2 \longrightarrow M. Then by Lemma 2.7 we have X_{\Psi_2}=0.

Define v_n^m(CL)={\mathcal V}_n^m(\mathfrak o(CL)) for all CL\in {\mathcal C \mathcal L} and m\in {\mathbb N}. Now we can form the power series R_n(CL). Guided by (12)-(13) we define

Now guided by these we can define the values of R_n on all framed links whose underlying unframed isotopy class is CL. To explain this suppose that CL has s components. Let CL({\bf f}) be a framed link in the same (unframed) isotopy class with CL with framing unordered sequence {\bf f} (see Definition 2.2 and preceding discussion). Then define

where {\tau}:={\tau}(CL({\bf f})) is the total framing of CL({\bf f}). Using (14)-(15), and inducting on k, we can check that

where u_n(t) is given by (10). Now R_n has been defined on all framed links in the unframed isotopy classes of the links in \mathcal C \mathcal L.

To continue for every L({\bf f})\in {\mathcal L} with framing sequence {\bf f} we define

where CL is the initial link homotopic to L. Inductively, suppose that the invariants v_n^0, v_n^1, \dots, v_{n}^{m-1} have been defined such that if we let

then we have

and

Furthermore, suppose that these invariants do not depend on the orientation of the links. The last equation leads us to define

We want to define the invariant v_m^n: Recall that it is already defined on the initial links. Next we examine the right hand side of (20). It is a polynomial of degree m such that the coefficient of x^m comes from

The expression above has no constant term and thus the coefficient of x^m depends on the inductively well defined invariants v_n^i, i=1, 2, \ldots,m-1. Thus the coefficient of x^m in (20) is a “new" framed singular link invariant. We are going to prove that it is derived from a framed link invariant by using Theorem 2.2. For that we need to check that condition (3) in the statement 2.2 is satisfied. It is enough to check it modulo x^{m+1}. In what follows the symbol “\equiv" will denote calculation modulo x^{m+1}.

Let L_{\times +} and L_{ \times- } \in {\mathcal L}^{(1)} be two singular framed links as in the left hand side of (3) in the statement 2.2. From (20) we have

Since the result is symmetric with respect to the two double points we deduce that

Thus the framed singular link invariant defined above is induced by a framed link invariant. Recall that we have already defined the values of v_n^m on all framed links with unframed underlying isotopy classes in \mathcal C \mathcal L. Using this values we can define a link invariant v_n^m for all links in \mathcal L such that if we let

we have

for every L_{\times} \in {\mathcal L}^{(1)}. Now it is a straightforward calculation to check that the inductive hypotheses hold mod x^{m+1}. For example let us check (18); the others are similar. Consider a framed link L_r. Keeping the kink intact in a small 3-ball, make a sequence of crossing changes to transform L_l to an initial link say CL_l. Over all such sequences of crossing changes, and initial links CL_l, choose one that minimizes the number of the required crossing changes. Suppose, without loss of generality, that the first crossing to be changed in that sequence is a positive crossing. By (20) and (21) we have

By (15) and induction on the number of crossing changes needed to go from L_{l+} to CL_l we can assume that

By (18) we have

and

Combining the last four equations we have

as desired. To finish the proof we need to show that v_n^m is independent of the link orientation. Inductively, we assume that v_n^0, v_n^1, \dots, v_{n}^{m-1} are uniquely determined by their values on {\mathcal CL} and independent of the (singular) link orientation. We have that

where L_1, \dots, L_s\in {\mathcal L}^{(1)} are singular links appearing in a homotopy from L to CL, where CL is the representative of L in {\mathcal CL} (compare relation (5)). Recall that we defined v_n^m(CL) to be independent of the orientation for CL. The proof of Theorem 2.2 establishes that v_n^m(L) doesn’t depend on the homotopy from L to CL chosen. By induction v_n^0, v_n^1, \dots, v_{n}^{m-1} do not depend on orientations. It follows that v_n^m(L) is unique once v_n^m(CL) is chosen and independent on link orientation.

Given a diagram L first perform all type I Reidemeister moves that reduce the number of crossings of L. If there are no such moves and L is non-trivial then there is a crossing change such that three of the terms s(L_-), s(L_o), s(L_{\infty}), s(L_+) are strictly less that the remaining fourth one. Thus the skein relations

allow us to write the invariant R(L) of every link L as a finite sum of the invariants of links of strictly less complexity than s(L) and with coefficients in \Lambda. The result follows by induction on s(L) and the observation that R(U({\bf f}))\in \Lambda. The last claim in the statement of the proposition follows by the uniqueness properties of R.