Showing 1–22 of 22 results for author: Budney, R

A 2-torsion invariant of 2-knots

Authors: Ryan Budney

Abstract: In this paper we describe what should perhaps be called a `type-2' Vassiliev invariant of knots S^2 -> S^4. We give a formula for an invariant of 2-knots, taking values in Z_2 that can be computed in terms of the double-point diagram of the knot. The double-point diagram is a collection of curves and diffeomorphisms of curves, in the domain S^2, that describe the crossing data with respect to a pr… ▽ More In this paper we describe what should perhaps be called a `type-2' Vassiliev invariant of knots S^2 -> S^4. We give a formula for an invariant of 2-knots, taking values in Z_2 that can be computed in terms of the double-point diagram of the knot. The double-point diagram is a collection of curves and diffeomorphisms of curves, in the domain S^2, that describe the crossing data with respect to a projection, analogous to a chord diagram for a projection of a classical knot S^1 -> S^3. Our formula turns the computation of the invariant into a planar geometry problem. More generally, we describe a numerical invariant of families of knots S^j -> S^n, for all n >= j+2 and j >= 1. In the co-dimension two case n=j+2 the invariant is an isotopy invariant, and either takes values in Z or Z_2 depending on a parity issue. △ Less

Submitted 19 May, 2025; originally announced May 2025.

Comments: 15 pages, 11 figures

Stabilisation, scanning and handle cancellation

Authors: Ryan Budney

Abstract: In this note we describe a family of arguments that link the homotopy-type of a) the diffeomorphism group of the disc $D^n$, b) the space of co-dimension one embedded spheres in a sphere and c) the homotopy-type of the space of co-dimension two trivial knots in a sphere. We also describe some natural extensions to these arguments. We begin with Cerf's `upgraded' proof of Smale's theorem, that th… ▽ More In this note we describe a family of arguments that link the homotopy-type of a) the diffeomorphism group of the disc $D^n$, b) the space of co-dimension one embedded spheres in a sphere and c) the homotopy-type of the space of co-dimension two trivial knots in a sphere. We also describe some natural extensions to these arguments. We begin with Cerf's `upgraded' proof of Smale's theorem, that the diffeomorphism group of the 2-sphere has the homotopy-type of the isometry group. This entails a canceling-handle construction, related to the `scanning' maps of Budney-Gabai. We further give a Bott-style variation on Cerf's construction, and a related Embedding Calculus framework for these constructions. We use these arguments to prove that the monoid of Schoenflies spheres is a group with respect to the connect-sum operation. This last result is perhaps only interesting when in dimension four, as in other dimensions it follows from the resolution of the various generalized Schoenflies problems. △ Less

Submitted 9 October, 2023; v1 submitted 31 March, 2023; originally announced April 2023.

Comments: 17 pages, 3 figures. v3: One additional figure, and reformatted introduction for readability

MSC Class: 57M99

Journal ref: L'Enseignement Math. 8 May, 2024

On the automorphism groups of hyperbolic manifolds

Authors: Ryan Budney, David Gabai

Abstract: Let Diff(N) and Homeo(N) denote the smooth and topological group of automorphisms respectively that fix the boundary of the n-manifold N, pointwise. We show that the (n-4)-th homotopy group of Homeo(S^1 \times D^{n-1}) is not finitely-generated for n >= 4 and in particular the topological mapping-class group of S^1\times D^3 is infinitely generated. We apply this to show that the smooth and topolo… ▽ More Let Diff(N) and Homeo(N) denote the smooth and topological group of automorphisms respectively that fix the boundary of the n-manifold N, pointwise. We show that the (n-4)-th homotopy group of Homeo(S^1 \times D^{n-1}) is not finitely-generated for n >= 4 and in particular the topological mapping-class group of S^1\times D^3 is infinitely generated. We apply this to show that the smooth and topological automorphism groups of finite-volume hyperbolic n-manifolds (when n >= 4) do not have the homotopy-type of finite CW-complexes, results previously known for n >= 11 by Farrell and Jones. In particular, we show that if N is a closed hyperbolic n-manifold, and if Diff_0(N) represents the subgroup of diffeomorphisms that are homotopic to the identity, then the (n-4)-th homotopy group of Diff_0(N) is infinitely generated and hence if n=4, then π_0\Diff_0(N) is infinitely generated with similar results holding topologically. △ Less

Submitted 8 March, 2023; originally announced March 2023.

Comments: 32 pages, 17 figures

MSC Class: 57M99; 57R52; 57R50; 57N50

Journal ref: IMRN, Vol 2025 Issue 7

Bi-filtrations and persistence paths for 2-Morse functions

Authors: Ryan Budney, Tomasz Kaczynski

Abstract: This paper studies the homotopy-type of bi-filtrations of compact manifolds induced as the pre-image of filtrations of the plane for generic smooth functions f : M --> R^2. The primary goal of the paper is to allow for a simple description of the multi-graded persistent homology associated to such filtrations. The main result of the paper is a description of the evolution of the bi-filtration of f… ▽ More This paper studies the homotopy-type of bi-filtrations of compact manifolds induced as the pre-image of filtrations of the plane for generic smooth functions f : M --> R^2. The primary goal of the paper is to allow for a simple description of the multi-graded persistent homology associated to such filtrations. The main result of the paper is a description of the evolution of the bi-filtration of f in terms of cellular attachments. An analogy of Morse-Conley equation and Morse inequalities along so called persistence paths are derived. A scheme for computing path-wise barcodes is proposed. △ Less

Submitted 15 October, 2021; originally announced October 2021.

Comments: 23 pages, 15 figures

MSC Class: 57R35; 55N31; 55M99

Journal ref: Algebr. Geom. Topol. 23 (2023) 2895-2924

Knotted 3-balls in S^4

Authors: Ryan Budney, David Gabai

Abstract: The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating 3-spheres in S^1xS^3 not isotopic to 1xS^3 and non trivial elements of π_0 Diff_0(S^1xS^3). Along the way we introduce barbell diffeomorphisms, implantations and twisti… ▽ More The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating 3-spheres in S^1xS^3 not isotopic to 1xS^3 and non trivial elements of π_0 Diff_0(S^1xS^3). Along the way we introduce barbell diffeomorphisms, implantations and twistings to construct and modify diffeomorphisms homotopic to the identity. We also introduce a 2-parameter calculus of embeddings of the interval into 4-manifolds and introduce a framed cobordism method as well as a direct method for showing that certain 2-parameter families are homotopically non trivial and diffeomorphisms are isotopically nontrivial. Extensions to higher dimensional manifolds are obtained. △ Less

Submitted 27 April, 2021; v1 submitted 19 December, 2019; originally announced December 2019.

Comments: 98 pages, 66 figures. v3: Replaced Theorem 3.1 from v2 whose proof had an error. The new proofs use the scanning construction. There is also the new conclusion that π_0 Diff(S^1 x S^3) is not finitely generated

MSC Class: 57M99 (Primary) 57R52; 57R50; 57N50 (Secondary)

Embedding calculus knot invariants are of finite type

Authors: Ryan Budney, James Conant, Robin Koytcheff, Dev Sinha

Abstract: We show that the map on components from the space of classical long knots to the n-th stage of its Goodwillie-Weiss embedding calculus tower is a map of monoids whose target is an abelian group and which is invariant under clasper surgery. We deduce that this map on components is a finite type-(n-1) knot invariant. We also compute the second page in total degree zero for the spectral sequence conv… ▽ More We show that the map on components from the space of classical long knots to the n-th stage of its Goodwillie-Weiss embedding calculus tower is a map of monoids whose target is an abelian group and which is invariant under clasper surgery. We deduce that this map on components is a finite type-(n-1) knot invariant. We also compute the second page in total degree zero for the spectral sequence converging to the components of this tower as Z-modules of primitive chord diagrams, providing evidence for the conjecture that the tower is a universal finite-type invariant over the integers. Key to these results is the development of a group structure on the tower compatible with connect-sum of knots, which in contrast with the corresponding results for the (weaker) homology tower requires novel techniques involving operad actions, evaluation maps, and cosimplicial and subcubical diagrams. △ Less

Submitted 6 November, 2015; v1 submitted 7 November, 2014; originally announced November 2014.

Comments: Revised maps to the infinitesimal mapping space model in Sections 3 and 4 and analysis of cubical diagrams in Section 5. Minor expository and organizational changes throughout. Now 28 pages, 4 figures

MSC Class: 57M27; 55R80; 55P99; 57R40; 55T99

Journal ref: Algebr. Geom. Topol. 17 (2017) 1701-1742

A small, infinitely-ended 2-knot group

Authors: Ryan Budney, Jonathan Hillman

Abstract: We show that a 2-knot group discovered in the course of a census of 4-manifolds with small triangulations is an HNN extension with finite base and proper associated subgroups, and has the smallest base among such knot groups. We show that a 2-knot group discovered in the course of a census of 4-manifolds with small triangulations is an HNN extension with finite base and proper associated subgroups, and has the smallest base among such knot groups. △ Less

Submitted 17 March, 2014; originally announced March 2014.

Comments: 10 pages

MSC Class: 57Q45

Journal ref: Journal of Knot Theory and Its Ramifications 26 (2017), 1750008

Topology of Musical Data

Authors: Ryan Budney, William Sethares

Abstract: The musical realm is a promising area in which to expect to find nontrivial topological structures. This paper describes several kinds of metrics on musical data, and explores the implications of these metrics in two ways: via techniques of classical topology where the metric space of all-possible musical data can be described explicitly, and via modern data-driven ideas of persistent homology whi… ▽ More The musical realm is a promising area in which to expect to find nontrivial topological structures. This paper describes several kinds of metrics on musical data, and explores the implications of these metrics in two ways: via techniques of classical topology where the metric space of all-possible musical data can be described explicitly, and via modern data-driven ideas of persistent homology which calculates the Betti-number bar-codes of individual musical works. Both analyses are able to recover three well known topological structures in music: the circle of notes (octave-reduced scalar structures), the circle of fifths, and the rhythmic repetition of timelines. Applications to a variety of musical works (for example, folk music in the form of standard MIDI files) are presented, and the bar codes show many interesting features. Examples show that individual pieces may span the complete space (in which case the classical and the data-driven analyses agree), or they may span only part of the space. △ Less

Submitted 19 October, 2013; v1 submitted 4 July, 2013; originally announced July 2013.

Comments: 32 pages, 42 figures, v1->v2 reference updates, typos and many small touch-ups

MSC Class: 55U10; 65D-18

Combinatorial spin structures on triangulated manifolds

Authors: Ryan Budney

Abstract: This paper gives a combinatorial description of spin and spin^c-structures on triangulated PL-manifolds of arbitrary dimension. These formulations of spin and spin^c-structures are established primarily for the purpose of aiding in computations. The novelty of the approach is we rely heavily on the naturality of binary symmetric groups to avoid lengthy explicit constructions of smoothings of PL-ma… ▽ More This paper gives a combinatorial description of spin and spin^c-structures on triangulated PL-manifolds of arbitrary dimension. These formulations of spin and spin^c-structures are established primarily for the purpose of aiding in computations. The novelty of the approach is we rely heavily on the naturality of binary symmetric groups to avoid lengthy explicit constructions of smoothings of PL-manifolds. △ Less

Submitted 7 November, 2017; v1 submitted 20 June, 2013; originally announced June 2013.

Comments: 17 pages, 4 figures: v3 corrects a multitude of notational inconsistencies and difficult-to-follow language

MSC Class: 57R15

Journal ref: Algebr. Geom. Topol. 18 (2018) 1259-1279

Triangulating a Cappell-Shaneson knot complement

Authors: Ryan Budney, Benjamin A. Burton, Jonathan Hillman

Abstract: We show that one of the Cappell-Shaneson knot complements admits an extraordinarily small triangulation, containing only two 4-dimensional simplices. We show that one of the Cappell-Shaneson knot complements admits an extraordinarily small triangulation, containing only two 4-dimensional simplices. △ Less

Submitted 16 April, 2012; v1 submitted 18 September, 2011; originally announced September 2011.

Comments: 9 pages, 5 figures. V2->V3: Primary figures now display a symmetry of order two. Attaching maps made "order-preserving". A new figure describing the dual 2-cells is included. Previous arguments simplified a little, due to the symmetry

MSC Class: 57R60

Journal ref: Mathematical Research Letters 19 (2012), no. 5, 1117-1126

An operad for splicing

Authors: Ryan Budney

Abstract: A new topological operad is introduced, called the splicing operad. This operad acts on a broad class of spaces of self-embeddings N --> N where N is a manifold. The action of this operad on EC(j,M) (self embeddings R^j x M --> R^j x M with support in I^j x M) is an extension of the action of the operad of (j+1)-cubes on this space. Moreover the action of the splicing operad encodes Larry Siebenma… ▽ More A new topological operad is introduced, called the splicing operad. This operad acts on a broad class of spaces of self-embeddings N --> N where N is a manifold. The action of this operad on EC(j,M) (self embeddings R^j x M --> R^j x M with support in I^j x M) is an extension of the action of the operad of (j+1)-cubes on this space. Moreover the action of the splicing operad encodes Larry Siebenmann's splicing construction for knots in S^3 in the j=1, M=D^2 case. The space of long knots in R^3 (denoted K_{3,1}) was shown to be a free 2-cubes object with free generating subspace P, the subspace of long knots that are prime with respect to the connect-sum operation. One of the main results of this paper is that K_{3,1} is free with respect to the splicing operad action, but the free generating space is the much `smaller' space of torus and hyperbolic knots TH \subset K_{3,1}. Moreover, the splicing operad for K_{3,1} has a `simple' homotopy-type as an operad. △ Less

Submitted 31 March, 2012; v1 submitted 22 April, 2010; originally announced April 2010.

Comments: 34 pages, 16 diagrams. V3->V4: Explicit definition of sigma^* \wr G-operads given, and proof included splicing operad is such. Re-wrote proof of Theorem 5.13 to make the equivariance of the maps more explicit. Cut down on extraneous notation. Fixed references, some small typos

MSC Class: 57R40; 57M25; 57M50; 57Q45; 57R50; 18D50; 55P48

Journal ref: J Topology (2012) 5 (4): 945-976

Embeddings of 3-manifolds in S^4 from the point of view of the 11-tetrahedron census

Authors: Ryan Budney, Benjamin A. Burton

Abstract: This is a collection of notes on embedding problems for 3-manifolds. The main question explored is `which 3-manifolds embed smoothly in the 4-sphere?' The terrain of exploration is the Burton/Martelli/Matveev/Petronio census of triangulated prime closed 3-manifolds built from 11 or less tetrahedra. There are 13766 manifolds in the census, of which 13400 are orientable. Of the 13400 orientable mani… ▽ More This is a collection of notes on embedding problems for 3-manifolds. The main question explored is `which 3-manifolds embed smoothly in the 4-sphere?' The terrain of exploration is the Burton/Martelli/Matveev/Petronio census of triangulated prime closed 3-manifolds built from 11 or less tetrahedra. There are 13766 manifolds in the census, of which 13400 are orientable. Of the 13400 orientable manifolds, only 149 of them have hyperbolic torsion linking forms and are thus candidates for embedability in the 4-sphere. The majority of this paper is devoted to the embedding problem for these 149 manifolds. At present 41 are known to embed. Among the remaining manifolds, embeddings into homotopy 4-spheres are constructed for 4. 67 manifolds are known to not embed in the 4-sphere. This leaves 37 unresolved cases, of which only 3 are geometric manifolds i.e. having a trivial JSJ-decomposition. △ Less

Submitted 14 March, 2020; v1 submitted 13 October, 2008; originally announced October 2008.

Comments: 58 pages, 80+ figures. V6: Included references to libraries valid in Regina 5.0+. Incorporated changes suggested by Ahmed Issa, following from his techniques developed with McCoy. Included a few recent references. To appear in Experimental Mathematics

MSC Class: 57R40; 57R50

Journal ref: Experimental Math. Vol 31. Issue 3. April 16, 2020

An obstruction to a knot being deform-spun via Alexander polynomials

Authors: Ryan Budney, Alexandra Mozgova

Abstract: We show that if a co-dimension two knot is deform-spun from a lower-dimensional co-dimension 2 knot, there are constraints on the Alexander polynomials. In particular this shows, for all n, that not all co-dimension 2 knots in S^n are deform-spun from knots in S^{n-1}. We show that if a co-dimension two knot is deform-spun from a lower-dimensional co-dimension 2 knot, there are constraints on the Alexander polynomials. In particular this shows, for all n, that not all co-dimension 2 knots in S^n are deform-spun from knots in S^{n-1}. △ Less

Submitted 16 February, 2009; v1 submitted 30 April, 2007; originally announced April 2007.

Comments: 6 Pages, 1 Figure. to appear in Proceedings of the AMS

MSC Class: 57R40

Journal ref: Proc. Amer. Math. Soc. 137 (2009), 3547-3552.

The framed discs operad is cyclic

Authors: Ryan Budney

Abstract: The operad of framed little discs is shown to be equivalent to a cyclic operad. This answers a conjecture of Salvatore in the affirmative, posed at the workshop `Knots and Operads in Roma,' at Universita di Roma ``La Sapienza'' in July of 2006. The operad of framed little discs is shown to be equivalent to a cyclic operad. This answers a conjecture of Salvatore in the affirmative, posed at the workshop `Knots and Operads in Roma,' at Universita di Roma ``La Sapienza'' in July of 2006. △ Less

Submitted 31 March, 2007; v1 submitted 20 July, 2006; originally announced July 2006.

Comments: 5 pages, 1 figure. v2: typos corrected, references added.

MSC Class: 55P48; 18D50; 57R40; 58D10

Journal ref: Journal of Pure and Applied Algebra. Vol 212, Issue 1. Jan 2008. 193--196.

A family of embedding spaces

Authors: Ryan Budney

Abstract: Let Emb(S^j,S^n) denote the space of C^infty-smooth embeddings of the j-sphere in the n-sphere. This paper considers homotopy-theoretic properties of the family of spaces Emb(S^j,S^n) for n >= j > 0. There is a homotopy-equivalence of Emb(S^j,S^n) with SO_{n+1} times_{SO_{n-j}} K_{n,j} where K_{n,j} is the space of embeddings of R^j in R^n which are standard outside of a ball. The main results o… ▽ More Let Emb(S^j,S^n) denote the space of C^infty-smooth embeddings of the j-sphere in the n-sphere. This paper considers homotopy-theoretic properties of the family of spaces Emb(S^j,S^n) for n >= j > 0. There is a homotopy-equivalence of Emb(S^j,S^n) with SO_{n+1} times_{SO_{n-j}} K_{n,j} where K_{n,j} is the space of embeddings of R^j in R^n which are standard outside of a ball. The main results of this paper are that K_{n,j} is (2n-3j-4)-connected, the computation of pi_{2n-3j-3} (K_{n,j}) together with a geometric interpretation of the generators. A graphing construction Omega K_{n-1,j-1} --> K_{n,j} is shown to induce an epimorphism on homotopy groups up to dimension 2n-2j-5. This gives a new proof of Haefliger's theorem that pi_0 (Emb(S^j,S^n)) is a group for n-j>2. The proof given is analogous to the proof that the braid group has inverses. Relationship between the graphing construction and actions of operads of cubes on embedding spaces are developed. The paper ends with a brief survey of what is known about the spaces K_{n,j}, focusing on issues related to iterated loop-space structures. △ Less

Submitted 2 April, 2009; v1 submitted 2 May, 2006; originally announced May 2006.

Comments: This is the version published by Geometry & Topology Monographs on 22 February 2008

MSC Class: 57R40; 55Q45; 57M25; 57R50

Journal ref: Geom. Topol. Monogr. 13 (2008) 41-83

Topology of spaces of knots in dimension 3

Authors: Ryan Budney

Abstract: This paper is a computation of the homotopy type of K, the space of long knots in R^3, the same space of knots studied by Vassiliev via singularity theory. Each component of K corresponds to an isotopy class of long knot, and we `enumerate' the components via the companionship trees associated to the knot. The knots with the simplest companionship trees are: the unknot, torus knots, and hyperbol… ▽ More This paper is a computation of the homotopy type of K, the space of long knots in R^3, the same space of knots studied by Vassiliev via singularity theory. Each component of K corresponds to an isotopy class of long knot, and we `enumerate' the components via the companionship trees associated to the knot. The knots with the simplest companionship trees are: the unknot, torus knots, and hyperbolic knots. The homotopy-type of these components of K were computed by Hatcher. In the case the companionship tree has height, we give a fibre-bundle description of those components of K, recursively, in terms of the homotopy types of `simpler' components of K, in the sense that they correspond to knots with shorter companionship trees. The primary case studied in this paper is the case of a knot which has a hyperbolic manifold contained in the JSJ-decomposition of its complement. △ Less

Submitted 11 August, 2009; v1 submitted 25 June, 2005; originally announced June 2005.

Comments: 22 pages, 16 figures

MSC Class: 57R40; 57M25; 57M50; 57P48; 57R50

Journal ref: Proceedings of the London Mathematical Society Vol 101 pt. 2 (Sept. 2010)

JSJ-decompositions of knot and link complements in the 3-sphere

Authors: Ryan Budney

Abstract: This paper is a survey of some of the most elementary consequences of the JSJ-decomposition and geometrization for knot and link complements in the 3-sphere. Formulated in the language of graphs, the result is the construction of a bijective correspondence between the isotopy classes of links in $S^3$ and a class of vertex-labelled, finite acyclic graphs, called companionship graphs. This constr… ▽ More This paper is a survey of some of the most elementary consequences of the JSJ-decomposition and geometrization for knot and link complements in the 3-sphere. Formulated in the language of graphs, the result is the construction of a bijective correspondence between the isotopy classes of links in $S^3$ and a class of vertex-labelled, finite acyclic graphs, called companionship graphs. This construction can be thought of as a uniqueness theorem for Schubert's `satellite operations.' We identify precisely which graphs are companionship graphs of knots and links respectively. We also describe how a large family of operations on knots and links affects companionship graphs. This family of operations is called `splicing' and includes, among others, the operations of: cabling, connect-sum, Whitehead doubling and the deletion of a component. △ Less

Submitted 29 October, 2007; v1 submitted 25 June, 2005; originally announced June 2005.

Comments: 30 pages, 15 figures. V5: minor revision. Notes for V5: Fixed a typo in the statement of the Brunnian properties, and clarified a counter-intuitive convention that knots are considered `split' for the purposes of a theorem of Kanenobu

MSC Class: 57M25; 57M50; 57M15

Journal ref: L'enseignement Mathe'matique (2) 52 (2006), 319--359

On the homology of the space of knots

Authors: Ryan Budney, Frederick Cohen

Abstract: Consider the space of `long knots' in R^n, K_{n,1}. This is the space of knots as studied by V. Vassiliev. Based on previous work of the authors, it follows that the rational homology of K_{3,1} is free Gerstenhaber-Poisson algebra. A partial description of a basis is given here. In addition, the mod-p homology of this space is a `free, restricted Gerstenhaber-Poisson algebra'. Recursive applica… ▽ More Consider the space of `long knots' in R^n, K_{n,1}. This is the space of knots as studied by V. Vassiliev. Based on previous work of the authors, it follows that the rational homology of K_{3,1} is free Gerstenhaber-Poisson algebra. A partial description of a basis is given here. In addition, the mod-p homology of this space is a `free, restricted Gerstenhaber-Poisson algebra'. Recursive application of this theorem allows us to deduce that there is p-torsion of all orders in the integral homology of K_{3,1}. This leads to some natural questions about the homotopy type of the space of long knots in R^n for n>3, as well as consequences for the space of smooth embeddings of S^1 in S^3. △ Less

Submitted 14 November, 2008; v1 submitted 10 April, 2005; originally announced April 2005.

Comments: 36 pages, 6 figures. v3: small revisions before publication

MSC Class: 58D10; 57T25; 57M25; 57Q45

Journal ref: Geometry & Topology 13 (2009) 99--139

Little cubes and long knots

Authors: Ryan Budney

Abstract: This paper gives a partial description of the homotopy type of K, the space of long knots in 3-dimensional Euclidean space. The primary result is the construction of a homotopy equivalence between K and the free little 2-cubes object over the space of prime knots. In proving the freeness result, a close correspondence is discovered between the Jaco-Shalen-Johannson decomposition of knot compleme… ▽ More This paper gives a partial description of the homotopy type of K, the space of long knots in 3-dimensional Euclidean space. The primary result is the construction of a homotopy equivalence between K and the free little 2-cubes object over the space of prime knots. In proving the freeness result, a close correspondence is discovered between the Jaco-Shalen-Johannson decomposition of knot complements and the little cubes action on K. Beyond studying long knots in 3-space, we show that for any compact manifold M the space of embeddings of R^n x M in R^n x M with support in I^n x M admits an action of the operad of little (n+1)-cubes. If M=D^k this embedding space is the space of framed long n-knots in R^{n+k}, and the action of the little cubes operad is an enrichment of the monoid structure given by the connected-sum operation. △ Less

Submitted 17 December, 2006; v1 submitted 26 September, 2003; originally announced September 2003.

Comments: 35 pages, 17 figues. Revision history: V2 corrected mis-statement of a theorem of Hatcher's. V3 corrected statement and proof of the satellite decomposition of knots. V4 notational changes, extra figures, added some detail to proof of the freeness result. V5 formatting changes, references updated. v6 fixed the statement on when the space EC(j,D^n) is a j+1-fold loop space to take into account Haefliger's work

MSC Class: 57R40 (primary) 57R50; 57M25; 57Q45; 55P35 (secondary)

Journal ref: Topology 46 (2007) 1--27.

New perspectives on self-linking

Authors: Ryan Budney, James Conant, Kevin P. Scannell, Dev Sinha

Abstract: We initiate the study of classical knots through the homotopy class of the n-th evaluation map of the knot, which is the induced map on the compactified n-point configuration space. Sending a knot to its n-th evaluation map realizes the space of knots as a subspace of what we call the n-th mapping space model for knots. We compute the homotopy types of the first three mapping space models, showi… ▽ More We initiate the study of classical knots through the homotopy class of the n-th evaluation map of the knot, which is the induced map on the compactified n-point configuration space. Sending a knot to its n-th evaluation map realizes the space of knots as a subspace of what we call the n-th mapping space model for knots. We compute the homotopy types of the first three mapping space models, showing that the third model gives rise to an integer-valued invariant. We realize this invariant in two ways, in terms of collinearities of three or four points on the knot, and give some explicit computations. We show this invariant coincides with the second coefficient of the Conway polynomial, thus giving a new geometric definition of the simplest finite-type invariant. Finally, using this geometric definition, we give some new applications of this invariant relating to quadrisecants in the knot and to complexity of polygonal and polynomial realizations of a knot. △ Less

Submitted 16 February, 2004; v1 submitted 3 March, 2003; originally announced March 2003.

Comments: 26 pages, 17 figures

MSC Class: 57M27; 55R80; 57R40; 57M25; 55P99

Journal ref: Advances in Mathematics 191 (2005) 78--113

On the image of the Lawrence-Krammer representation

Authors: Ryan Budney

Abstract: A non-singular sesquilinear form is constructed that is preserved by the Lawrence-Krammer representation. It is shown that if the polynomial variables q and t of the Lawrence-Krammer representation are chosen to be appropriate algebraically independant unit complex numbers, then the form is negative-definite Hermitian. Since unitary matrices diagonalize, the conjugacy class of a matrix in the un… ▽ More A non-singular sesquilinear form is constructed that is preserved by the Lawrence-Krammer representation. It is shown that if the polynomial variables q and t of the Lawrence-Krammer representation are chosen to be appropriate algebraically independant unit complex numbers, then the form is negative-definite Hermitian. Since unitary matrices diagonalize, the conjugacy class of a matrix in the unitary group is determined by its eigenvalues. It is shown that the eigenvalues of a Lawrence-Krammer matrix satisfy some symmetry relations. Using the fact that non-invertible knots exist, the symmetry relations imply that there are matrices in the image of the Lawrence-Krammer representation that are conjugate in the unitary group, yet the braids that they correspond to are not conjugate. The two primary tools involved in constructing the form are Bigelow's interpretation of the Lawrence-Krammer representation, together with Morse theory on manifolds with corners. △ Less

Submitted 14 November, 2005; v1 submitted 23 February, 2002; originally announced February 2002.

Comments: 17 pages, 11 figures

MSC Class: 20F36;57M60;20C15

Journal ref: Journal of knot theory and its ramifications, vol 14, no. 6. (2005) 773--789

The mapping class group of a genus two surface is linear

Authors: Stephen J. Bigelow, Ryan D. Budney

Abstract: In this paper we construct a faithful representation of the mapping class group of the genus two surface into a group of matrices over the complex numbers. Our starting point is the Lawrence-Krammer representation of the braid group B_n, which was shown to be faithful by Bigelow and Krammer. We obtain a faithful representation of the mapping class group of the n-punctured sphere by using the clo… ▽ More In this paper we construct a faithful representation of the mapping class group of the genus two surface into a group of matrices over the complex numbers. Our starting point is the Lawrence-Krammer representation of the braid group B_n, which was shown to be faithful by Bigelow and Krammer. We obtain a faithful representation of the mapping class group of the n-punctured sphere by using the close relationship between this group and B_{n-1}. We then extend this to a faithful representation of the mapping class group of the genus two surface, using Birman and Hilden's result that this group is a Z_2 central extension of the mapping class group of the 6-punctured sphere. The resulting representation has dimension sixty-four and will be described explicitly. In closing we will remark on subgroups of mapping class groups which can be shown to be linear using similar techniques. △ Less

Submitted 23 November, 2001; v1 submitted 30 October, 2000; originally announced October 2000.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-34.abs.html

MSC Class: 20F36; 57M07; 20C15

Journal ref: Algebr. Geom. Topol. 1 (2001) 699-708