gt.geometric topology - Branched covering vs Covering space of 0-surgery manifold ??

Let $K$ be a knot in $S^3$ and $M^3$ be a 3-manifold obtained by 0-surgery from $S^3$ along $K$. By using Mayer-Vietoris sequence, we can see that $H_i(M^3)=H_i(S^1times S^2)$. Therefore, we have a surjection from $pi_1(M^3)to H_1(S^1times S^2)=mathbb{Z}$ and for $n>0$, we have n-fold cyclic covering of $M$, say $M_n$.

On the other hand, by using collar neighborhood of Seifert surface in $S^3$, we can make a n-fold branched cyclic covering of $S^3$ over $K$, say $L_n$.

To extract more information by using local coefficient system, we have given a character $phicolon pi_1(L_n)to mathbb{Z}_m$. (For convenience, $m$ and $n$ are prime-power order.)

These two 3-manifolds, $M_n$ and $L_n$ can be used to study knot $K$. Since $Omega(K(mathbb{Z}_m,1))=mathbb{Z}_m$ is torsion group, $rL_n=partial W_n$ and over $mathbb{Z}_m$ for some $r>0$ and some 4-manifold $W_n$.

I feel that concrete understanding on intersection form of $W_n$ is needed and important.

1. Is it true that can we obtain a $V_n$ from $W_n$ by attaching $r$ 2-handle, where $V_n$ satisfies $partial V_n= rM_n$ over $mathbb{Z}_m$ ?




2. What is the difference of intersection form on $H_2(V_n;mathbb{Q})$ and $H_2(L_n;mathbb{Q})$? ($V_n$ is a 4-manifold satisfying condition in Question 1. i.e.)$partial V_n=rM_n$.




3. How about $H_2(V_n;mathbb{Q}(mathbb{Z}_m))$ and $H_2(L_n;mathbb{Q}(mathbb{Z}_m))$? Here I'm using homology with local coefficients.




4. What is the influence of different choice of $W_n$ on intersection form ?
   (i.e. Both $W_n$ and $W_n'$ satisfies $partial W_n= rL_n$ and $partial W_n' = rL_n$.) How much different that intersection form on $H_2(W_n;mathbb{Q})$ and $H_2(W_n';mathbb{Q})$ ?

Please give me any detailed references, if any.