52ea3b2b49ef8bda.tex
1: \begin{abstract}
2: 
3: 
4: For a oriented genus $g$ surface with one boundary component, $S$, the Torelli group is the group of orientation
5: preserving homeomorphisms of $S$ that induce the identity on
6: homology.  The Magnus representation of the Torelli group represents the action
7: on $F/F''$ where $F=\pi_1(S)$ and $F''$ is the second term of the
8: derived series.   We show that the kernel of the Magnus representation, $Mag(S)$,
9: is highly non-trivial and has a rich structure as a group.
10: Specifically, we define an infinite filtration of $Mag(S)$ by subgroups,
11: called the higher order Magnus subgroups, $M_k(S)$.  We develop methods for generating nontrivial mapping classes in $M_k(S)$ for all $k$ and $g \ge 2$.  We show that for each
12: $k$ the quotient $M_k(S)/M_{k+1}(S)$ contains a subgroup isomorphic to a lower central series quotient of free groups $E(g-1)_k/E(g-1)_{k+1}$.  Finally We show that for $g \ge 3$ the quotient $M_k(S)/M_{k+1}(S)$ surjects onto an infinite rank torsion free abelian group. To do this, we
13: define a Johnson--type homomorphism on each higher order Magnus
14: subgroup quotient and show it has a highly non-trivial image.
15: \end{abstract}
16: