I put all my papers and preprints on the arXiv. This links to my arXiv papers. Google Scholar also keeps my papers organized in a nice way, showing how the papers get cited. Below I give a brief description of my publications.

Knotted 3-balls in S^{4}. This paper has several theorems on isotopy in dimension 4. We show that non-separating properly-embedded 3-discs in S^{1}xD^{3} are all fibers of fibre-bundles S^{1}xD^{3}-->S^{1}. We show Diff(S^{1}xD^{3}) acts transitively on such 3-discs. We show that up to isotopy, such 3-discs are a group, and it is not finitely-generated. We convert the Schoenflies problem into a question about the fundamental group of the component of the trivial knot component in the embedding space Emb(S^{2},S^{4}). We show that the fundamental group of the component of the unknot in Emb(S^{2},S^{4}) is not finitely-generated. We provide analogues of all these theorems in higher-dimensions, as well. With David Gabai.

Embeddings of 3-manifolds in S^{4} from the point of view of the 11-tetrahedron census. This paper explores the question of which 3-manifolds smoothly embed in the 4-sphere, where the terrain of exploration is the census of 3-manifolds that admit semi-simplicial triangulations with 11 or less tetrahedra. With Ben Burton.

Combinatorial spin structures on triangulated manifolds. This paper gives a description of spin and spin^{c} structures on triangulated manifolds in a combinatorial language suitable for computer implementation. The primary novelty in the approach is the use of naturality of binary symmetric group constructions to avoid elaborate constructions with explicit smoothings of PL manifolds. To appear Algebraic and Geometric Topology.

Embedding calculus knot invariants are of finite type, gives a reason the knot-invariants coming from Embedding Calculus are finite-type invariants. We show that path-components of the Taylor tower have an abelian group structure, compatible with concatenation of knots, and with respect to this group structure these invariants are finite-type. With Robin Koytcheff, Dev Sinha and Jim Conant. Algebraic and Geometry Topology, September 2016.

A small, infinitely-ended 2-knot group, Jon Hillman and I show that a 2-knot group discovered in the course of a census of 4-manifolds with small triangulations (which itself is ongoing work with Ben Burton) is an HNN extension with finite base and proper associated subgroups, and has the smallest base among such knot groups. J. Knot Thry. Ram. Vol. 26, Issue 1.

Topology of musical data is a paper where Bill Sethares and I apply and interpret persistent homology to data directly taken from music. J. Math & Music. Volume 8, Issue 1, January 2014, pages 73-92.

Triangulating a Cappell-Shaneson knot complement. Mathematical Research Letters 19 (2012), no. 5, 1117-1126. We show that one of the Cappell-Shaneson knot complements admits an extraordinarily small triangulation, containing only two 4-dimensional simplices. With Ben Burton and Jon Hillman.

An operad for splicing describes a new topological operad that encodes splicing of knots in the 3-dimensional case. The space of long knots in R^{3} is shown to be "free" over this operad with free generating subspace the torus and hyperbolic knots. The splicing operad also has a relatively simple homotopy-type in this case, being the free product of a 2-cubes operad together with a free operad on a space (with a certain group action) which via splicing encodes cabling and hyperbolic splicing operations. Journal of Topology 2012; doi: 10.1112/jtopol/jts024

Topology of spaces of knots in dimension 3, Proc. Lond. Math. Soc. Vol 101 (2) Sept 2010. This paper describes the homotopy-type of the space of smooth embeddings of a circle in the 3-sphere. The homotopy-type of each path-component is given by an iterated bundle construction which is determined by the JSJ-decomposition of the knot complement.

An obstruction to a knot being deform-spun via Alexander polynomials (with Alexandra Mozgova) Proc. Amer. Math. Soc. 137 (2009), 3547-3552. This paper points out that Alexander polynomials give obstructions to knots being deform-spun.

On the homology of the space of knots. (with Fred Cohen) Geometry and Topology. Vol 13 (2009) 99--139. The rational homology of the space of long knots in R^{3} is shown to be a free Poisson algebra. We also find torsion of all orders in the integral homology of the space of long knots in R^{3}, and give a homological characterization of the unknot component in both the space of long knots and the space of embeddings of S^{1} in S^{3}.

A family of embedding spaces. Geometry and Topology Monographs 13 (2008), 41-83. This paper studies the space of embeddings of one sphere in another. There is a related long embedding space of Euclidean spaces, and this paper studies what is known about the iterated loop-space structures on those spaces.

The operad of framed discs is cyclic. Journal of Pure and Applied Algebra 212 no. 1, (2008) 193--196. This is a short argument that the operad of framed little n-discs is a cyclic operad.

Little cubes and long knots. Topology. 46 (2007) 1--27. Little cube operads are shown to act on various spaces of long knots. The space of long knots in R^{3} is shown to be a free little 2-cubes object over the subspace of prime knots.

JSJ-decompositions of knot and link complements in the 3-sphere. L'enseignement Mathe'matique (2) 52 (2006), 319--359. This paper gives a bijective correspondence between the isotopy classes of oriented knots and links in S^{3} and a class of labeled, acyclic trees. Roughly, this is a `uniqueness theorem' for Schubert's satellite decomposition of knots. Closely related is Bonahon and Siebenmann's almost-published paper New Geometric Splittings of Classical Knots, and the Classification and Symmetries of Arborescent Knots. Bonahon and Siebenmann have an abbreviated discussion of the splice decomposition. The main point of their paper (from my point of view) is that there is a further and very pleasant description of the JSJ-decomposition of the 2-sheeted branched cover of the 3-sphere branched over the knot which is frequently very useful for computing things like the symmetry groups of knots, allowing one to bypass SnapPea.

New Perspectives on Self-Linking. (with Jim Conant, Kevin Scannell and Dev Sinha) Advances in Mathematics. 191 (2005) 78--113. A direct relation between the geometry of a knot and the z^{2} coefficient of the Alexander-Conway polynomial of the knot is constructed. We hint at further possible connections.

On the image of the Lawrence-Krammer representation. J. Knot. Thry. Ram. Vol 14. No. 6. (2005) 1-17. The Lawrence-Krammer representation is shown to be unitary, and it is shown that the conjugacy problem in the image of the Lawrence-Krammer representation is quite different from the conjugacy problem in braid groups.

Here is a sketch (intended for the paper) of the signature of the Hermitian form vs the (q,t) variables, for the 6-stranded braid group.

The mapping class group of a genus 2 surface is linear. (with Stephen Bigelow) Algebr. Geom. Topol. 1 (2001), no. 34. 699--708. We construct a rank 64 faithful representation of the mapping class group of a genus 2 surface.

Benjamin A. Burton, Ryan Budney, William Pettersson, et al.,Regina: Software for 3-manifold topology and normal surface theory. It is somewhat unfair to say this is unrefereed, as the Regina code is fairly heavily used and picked-over by a wide variety of people.

Subtle Transversality, a celebration of Allen Hatcher's 65th birthday. With Delman, Igusa, Oertel and Wahl.

G.Flowers, Satanic and thelemic circles on knots. JKTR, 22 (2013). The quadrisecant count formula for the type-2 invariant was only elegant in the `long knot' case. Garret gives the natural version of that formula for closed knots, but instead of counting quadrisecants it is the space of satanic circles for the (closed!) knot that one `counts'. A satanic circle means a round circle (constant curvature, zero torsion) that intersects the knot in exactly five points, moreover the relative ordering of the points on the circle vs. on the knot is that of a pentagram.

My cv.