I am teaching a course in knot theory, and I would like to describe the presentation of the Alexander module of a link obtained via Fox differential calculus. In doing this, I should prove the following fact.


Let $L$ be an $n$-component link in $S^3$ with complement $M$, and let $x\_0\in M$ be a basepoint. Let $\widetilde M$ be the maximal abelian covering of $M$, and let $\widetilde{M}\_0$ be the preimage of $x\_0$ in $\widetilde{M}$. Fox differential calculus shows how to obtain a presentation matrix for $H\_1(\widetilde{M},\widetilde{M}\_0;\mathbb{Z})$
(with coefficients in $\mathbb{Z}[t\_1^{\pm 1},\ldots, t\_n^{\pm 1}]$) from a presentation of $\pi\_1(M)$. 


The usual proof of this fact uses cellular homology, and proceeds more or less as follows:
1. Once a finite presentation of the group $G$ is given, if $X$ is the $2$-dimensional cellular complex associated to the presentation (with only one $0$-cell, one $1$-cell for every generator and one $2$-cell for every relation), then the matrix associated to the presentation of $G$ provides a presentation of $H\_1(\widetilde{X},\widetilde{X}\_0;\mathbb{Z})$; 2. Using Tietze's Theorem, one shows that the module presented by the Fox matrix of a presentation of a group does not depend on the chosen presentation; 3. One shows that the link complement $M$ admits a realization as a cellular complex with only one $0$-cell.


In fact, point (3) allows to provide a presentation of $\pi\_1 (M)$ whose Fox derivatives compute $H\_1(\widetilde{M},\widetilde{M}\_0)$, by point (1). Then (2) allows us to use any other presentation to get the same result.


My question is: is it possible to prove that $H\_1(\widetilde{M},\widetilde{M}\_0)$ is presented by the Fox matrix of any presentation of $\pi\_1 (M)$ without relying on the fact that a link complement admits a cellular structure with only one $0$-cell (and maybe without using cellular homology too much)? I feel that there should be a proof that does not use cellular homology, and only relies on Hurewicz Theorem.



Fox differential calculus and the Alexander invariant of a link
Let $p:(\tilde{X},y)\rightarrow (X,x) $ be the universal cover of a CW-complex $X$. If
$x$ is the only $0$\_cell, then every $1$-cell has a unique lift to the universal cover having
$y$ as its initial point, and these lifts form a basis for the $1$-chains over the group ring
of $\pi\_1(X,x)$. The Fox derivative is an axiomatization of the computation of the boundary
of a two cell lifted to $\tilde{X}$ so that its initial point in a corresponding relator is $y$.


If you have more $0$-cells then the $1$-skeleton gives you information about the fundamental groupoid of $X$ restricted to the points which are the $0$-cells. As you want data about fundamental group, you could choose a maximal tree in the $1$-skeleton of $X$. The generators of $\pi\_1(X)$ correspond to the edges of the $1$-skeleton that aren't in the tree. You can associate a relator to each two cell by keeping track of what order, and in what direction its boundary crosses those edges. The Fox Calculus should now work, because you could alternatively collapse the tree to a point, and not change the homotopy type of the $CW$-complex.


To compute the first homology of any cover as a module over $\mathbb{Z}$[\pi\_1(X)]$ you just need to interpret the answer in the universal cover in the appropriate cover.


To effect your general proof of invariance, you just need to produce change of basis matrices corresponding to changing trees, and doing elementary moves on the two complex.


To avoid the cell complex use group cohomology. If $M$ is a left $R[G]$-module a crossed homomorphism is a map $\phi:G\rightarrow M$ satisfying $\phi(xy)=\phi(x)+x.\phi(y)$ for any $x,y\in G$. The crossed homomorphisms are an $R$-module. A principle crossed homomorphism is one of the form $\phi(g)=v-g.v$ for some $v\in M$. The quotient of the crossed homomorphisms by the principle homomorphsisms is $H^1(G,M)$. You are interested in this when $G=\pi\_1(X)$ and $M=H\_1(X)$.


Given a presentation of your group, with generators $x\_i$ and relators $r\_j$, there is a presentation of the crossed homomorphisms, as those crossed homomorphisms on the free group generated by the $x\_i$ that annihilate the relators. It can be shown that the space of crossed homomorphisms on the free group are generated as an $R[F(x\_i)]$ module by the Fox partial derivatives, and you are off and running, as you are really just interested in calculuating group cohomology.


