1: \begin{abstract}

2: The classical \emph{abelian} invariants of a knot are the Alexander

3: module, which is the first homology group of the the unique infinite

4: cyclic covering space of $S^3-K$, considered as a module over the

5: (commutative) Laurent polynomial ring, and the Blanchfield linking

6: pairing defined on this module. From the perspective of the knot

7: group, $G$, these invariants reflect the structure of

8: $G^{(1)}/G^{(2)}$ as a module over $G/G^{(1)}$ (here $G^{(n)}$ is the

9: $n^\supth$ term of the derived series of G). Hence any phenomenon

10: associated to $G^{(2)}$ is invisible to abelian invariants. This paper

11: begins the systematic study of invariants associated to solvable

12: covering spaces of knot exteriors, in particular the study of what we

13: call the \emph{$n^\supth$ higher-order Alexander module},

14: $G^{(n+1)}/G^{(n+2)}$, considered as a

15: $\mathbb{Z}[G/G^{(n+1)}]$--module.  We show that these modules share

16: almost all of the properties of the classical Alexander module. They

17: are torsion modules with higher-order Alexander polynomials whose

18: degrees give lower bounds for the knot genus.  The modules have

19: presentation matrices derived either from a group presentation or from

20: a Seifert surface. They admit higher-order linking forms exhibiting

21: self-duality. There are applications to estimating knot genus and to

22: detecting fibered, prime and alternating knots. There are also

23: surprising applications to detecting symplectic structures on

24: 4--manifolds. These modules are similar to but different from those

25: considered by the author, Kent Orr and Peter Teichner and are special

26: cases of the modules considered subsequently by Shelly Harvey for

27: arbitrary 3--manifolds.

28: \end{abstract}

29: