Showing 1–19 of 19 results for author: Melvin, P

Higher order corks

Authors: Paul Melvin, Hannah Schwartz

Abstract: It is shown that any finite list of smooth closed simply-connected 4-manifolds homeomorphic to a given one X can be obtained by removing a single compact contractible submanifold (or cork) from X, and then regluing it by powers of a boundary diffeomorphism. We then use this result to "separate" finite families of corks embedded in a fixed 4-manifold. It is shown that any finite list of smooth closed simply-connected 4-manifolds homeomorphic to a given one X can be obtained by removing a single compact contractible submanifold (or cork) from X, and then regluing it by powers of a boundary diffeomorphism. We then use this result to "separate" finite families of corks embedded in a fixed 4-manifold. △ Less

Submitted 28 November, 2020; v1 submitted 7 February, 2019; originally announced February 2019.

Comments: Final version, to appear in Inventiones Mathematicae. Note that many of our infinite order results have been removed due to errors

Equivariant hyperbolization of $3$-manifolds via homology cobordisms

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman

Abstract: The main result of this paper is that any $3$-dimensional manifold with a finite group action is equivariantly, invertibly homology cobordant to a hyperbolic manifold; this result holds with suitable twisted coefficients as well. The following two consequences motivated this work. First, there are hyperbolic equivariant corks (as defined in previous work of the authors) for a wide class of finite… ▽ More The main result of this paper is that any $3$-dimensional manifold with a finite group action is equivariantly, invertibly homology cobordant to a hyperbolic manifold; this result holds with suitable twisted coefficients as well. The following two consequences motivated this work. First, there are hyperbolic equivariant corks (as defined in previous work of the authors) for a wide class of finite groups. Second, any finite group that acts on a homology $3$-sphere also acts on a hyperbolic homology $3$-sphere. The theorem has other applications, including establishing the existence of an infinite number of hyperbolic homology spheres with a free $Z_p$ action that does not extend to any contractible manifold. A non-equivariant version yields an infinite number of hyperbolic integer homology spheres that bound integer homology balls but do not bound contractible manifolds. In passing, it is shown that the invertible homology cobordism relation on $3$-manifolds is antisymmetric. △ Less

Submitted 22 September, 2020; v1 submitted 10 April, 2018; originally announced April 2018.

Comments: 24 pages, 7 figures. Version 2: many revisions and corrections

MSC Class: 57M50; 57M60

Isotopy of surfaces in 4-manifolds after a single stabilization

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman, Hannah Schwartz

Abstract: Any two homologous surfaces of the same genus embedded in a smooth 4-manifold X with simply-connected complements are shown to be smoothly isotopic in the connected sum of X and the product of a 2-sphere with itself, if the surfaces are ordinary, and in the connected sum of X with the non-trivial sphere bundle over the sphere if they are characteristic. Any two homologous surfaces of the same genus embedded in a smooth 4-manifold X with simply-connected complements are shown to be smoothly isotopic in the connected sum of X and the product of a 2-sphere with itself, if the surfaces are ordinary, and in the connected sum of X with the non-trivial sphere bundle over the sphere if they are characteristic. △ Less

Submitted 10 August, 2017; originally announced August 2017.

Equivariant Corks

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman

Abstract: For suitable finite groups G, we construct contractible 4-manifolds C with an effective G-action on $\partial C$ whose associated pairs (C,g) for all $g \in G$ are distinct smoothings of the pair $(C,\partial C)$. Indeed C embeds in a 4-manifold so that cutting out C and regluing using distinct elements of G yield distinct smooth 4-manifolds. For suitable finite groups G, we construct contractible 4-manifolds C with an effective G-action on $\partial C$ whose associated pairs (C,g) for all $g \in G$ are distinct smoothings of the pair $(C,\partial C)$. Indeed C embeds in a 4-manifold so that cutting out C and regluing using distinct elements of G yield distinct smooth 4-manifolds. △ Less

Submitted 24 February, 2016; originally announced February 2016.

Comments: 9 pages, 3 figures

MSC Class: 57N13

Journal ref: Algebr. Geom. Topol. 17 (2017) 1771-1783

Stable isotopy in four dimensions

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman

Abstract: We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a consequence, analogous families of diffeomorphisms and metrics of positive scalar curvature for such 4-manifolds. We also construct families of smoothly distinct links… ▽ More We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a consequence, analogous families of diffeomorphisms and metrics of positive scalar curvature for such 4-manifolds. We also construct families of smoothly distinct links, all of whose corresponding proper sublinks are smoothly isotopic, that become smoothly isotopic after stabilizing. △ Less

Submitted 11 November, 2014; v1 submitted 18 June, 2014; originally announced June 2014.

Comments: 24 pages; many color figures; Updated version: 25 pages; minor expository changes; to appear in Journal London Mathematical Society

MSC Class: 57R55 (Primary); 57N13; 57R52 (Secondary)

Generalized Gauss maps and integrals for three-component links: toward higher helicities for magnetic fields and fluid flows, Part 2

Authors: Dennis DeTurck, Herman Gluck, Rafal Komendarczyk, Paul Melvin, Haggai Nuchi, Clayton Shonkwiler, David Shea Vela-Vick

Abstract: We describe a new approach to triple linking invariants and integrals, aiming for a simpler, wider and more natural applicability to the search for higher order helicities of fluid flows and magnetic fields. To each three-component link in Euclidean 3-space, we associate a geometrically natural generalized Gauss map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and M… ▽ More We describe a new approach to triple linking invariants and integrals, aiming for a simpler, wider and more natural applicability to the search for higher order helicities of fluid flows and magnetic fields. To each three-component link in Euclidean 3-space, we associate a geometrically natural generalized Gauss map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and Milnor triple linking number that classify the link up to link homotopy correspond to the Pontryagin invariants that classify its generalized Gauss map up to homotopy. This can be viewed as a natural extension of the familiar fact that the linking number of a two-component link in 3-space is the degree of its associated Gauss map from the 2-torus to the 2-sphere. When the pairwise linking numbers are all zero, we give an integral formula for the triple linking number analogous to the Gauss integral for the pairwise linking numbers, but patterned after J.H.C. Whitehead's integral formula for the Hopf invariant. The integrand in this formula is geometrically natural in the sense that it is invariant under orientation-preserving rigid motions of 3-space, while the integral itself can be viewed as the helicity of a related vector field on the 3-torus. In the first paper of this series [math.GT 1101.3374] we did this for three-component links in the 3-sphere. Komendarczyk has applied this approach in special cases to derive a higher order helicity for magnetic fields whose ordinary helicity is zero, and to obtain from this nonzero lower bounds for the field energy. △ Less

Submitted 7 July, 2012; originally announced July 2012.

Comments: 22 pages, 8 figures. arXiv admin note: text overlap with arXiv:1101.3374

MSC Class: 57M25; 55S30; 55Q25

Journal ref: Algebraic & Geometric Topology, 13 (2013), no. 5, 2897-2923

Cohomotopy sets of 4-manifolds

Authors: Robion Kirby, Paul Melvin, Peter Teichner

Abstract: Elementary geometric arguments are used to compute the group of homotopy classes of maps from a 4-manifold X to the 3-sphere, and to enumerate the homotopy classes of maps from X to the 2-sphere. The former completes a project initiated by Steenrod in the 1940's, and the latter provides geometric arguments for and extensions of recent homotopy theoretic results of Larry Taylor. These two results c… ▽ More Elementary geometric arguments are used to compute the group of homotopy classes of maps from a 4-manifold X to the 3-sphere, and to enumerate the homotopy classes of maps from X to the 2-sphere. The former completes a project initiated by Steenrod in the 1940's, and the latter provides geometric arguments for and extensions of recent homotopy theoretic results of Larry Taylor. These two results complete the computation of all the cohomotopy sets of closed oriented 4-manifolds and provide a framework for the study of Morse 2-functions on 4-manifolds, a subject that has garnered considerable recent attention. △ Less

Submitted 7 September, 2012; v1 submitted 7 March, 2012; originally announced March 2012.

Comments: 20 pages, 6 figures; this version to appear in the FreedmanFest (G&T Monographs, Volume 18)

MSC Class: 57N13; 55Q55

Journal ref: GTM 18 (2012) 161-190

Pontryagin invariants and integral formulas for Milnor's triple linking number

Authors: Dennis DeTurck, Herman Gluck, Rafal Komendarczyk, Paul Melvin, Clayton Shonkwiler, David Shea Vela-Vick

Abstract: To each three-component link in the 3-sphere, we associate a geometrically natural characteristic map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and Milnor triple linking number that classify the link up to link homotopy correspond to the Pontryagin invariants that classify its characteristic map up to homotopy. This can be viewed as a natural extension of the fam… ▽ More To each three-component link in the 3-sphere, we associate a geometrically natural characteristic map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and Milnor triple linking number that classify the link up to link homotopy correspond to the Pontryagin invariants that classify its characteristic map up to homotopy. This can be viewed as a natural extension of the familiar fact that the linking number of a two-component link in 3-space is the degree of its associated Gauss map from the 2-torus to the 2-sphere. When the pairwise linking numbers are all zero, we give an integral formula for the triple linking number analogous to the Gauss integral for the pairwise linking numbers. The integrand in this formula is geometrically natural in the sense that it is invariant under orientation-preserving rigid motions of the 3-sphere, while the integral itself can be viewed as the helicity of a related vector field on the 3-torus. △ Less

Submitted 17 January, 2011; originally announced January 2011.

Comments: 60 pages, 37 figures

MSC Class: 57M25; 55S30; 55Q25

Journal ref: J. Math. Phys. 54 (2013) no. 1

The Milnor degree of a three-manifold

Authors: Tim Cochran, Paul Melvin

Abstract: The Milnor degree of a 3-manifold is an invariant that records the maximum simplicity, in terms of higher order linking, of any link in the 3-sphere that can be surgered to give the manifold. This invariant is investigated in the context of torsion linking forms, nilpotent quotients of the fundamental group, Massey products and quantum invariants, and the existence of 3-manifolds with any prescr… ▽ More The Milnor degree of a 3-manifold is an invariant that records the maximum simplicity, in terms of higher order linking, of any link in the 3-sphere that can be surgered to give the manifold. This invariant is investigated in the context of torsion linking forms, nilpotent quotients of the fundamental group, Massey products and quantum invariants, and the existence of 3-manifolds with any prescribed Milnor degree and first Betti number is established. Along the way, it is shown that the number M(k,r) of linearly independent Milnor invariants of degree k, distinguishing r-component links in the 3-sphere whose lower degree invariants vanish, is positive except in the classically known cases (when r = 1, and when r = 2 with k = 2, 4 or 6). △ Less

Submitted 23 January, 2010; v1 submitted 10 February, 2009; originally announced February 2009.

Comments: This version, to appear in Journal of Topology, includes only minor revisions, and added proof of Corollary 1.2

MSC Class: 57M27; 57M25

Journal ref: Journal of Topology 3 (2010) 405-423

Triple linking numbers, ambiguous Hopf invariants and integral formulas for three-component links

Authors: Dennis DeTurck, Herman Gluck, Rafal Komendarczyk, Paul Melvin, Clayton Shonkwiler, David Shea Vela-Vick

Abstract: Three-component links in the 3-dimensional sphere were classified up to link homotopy by John Milnor in his senior thesis, published in 1954. A complete set of invariants is given by the pairwise linking numbers p, q and r of the components, and by the residue class of one further integer mu, the "triple linking number" of the title, which is well-defined modulo the greatest common divisor of p,… ▽ More Three-component links in the 3-dimensional sphere were classified up to link homotopy by John Milnor in his senior thesis, published in 1954. A complete set of invariants is given by the pairwise linking numbers p, q and r of the components, and by the residue class of one further integer mu, the "triple linking number" of the title, which is well-defined modulo the greatest common divisor of p, q and r. To each such link L we associate a geometrically natural characteristic map g_L from the 3-torus to the 2-sphere in such a way that link homotopies of L become homotopies of g_L. Maps of the 3-torus to the 2-sphere were classified up to homotopy by Lev Pontryagin in 1941. A complete set of invariants is given by the degrees p, q and r of their restrictions to the 2-dimensional coordinate subtori, and by the residue class of one further integer nu, an "ambiguous Hopf invariant" which is well-defined modulo twice the greatest common divisor of p, q and r. We show that the pairwise linking numbers p, q and r of the components of L are equal to the degrees of its characteristic map g_L restricted to the 2-dimensional subtori, and that twice Milnor's mu-invariant for L is equal to Pontryagin's nu-invariant for g_L. When p, q and r are all zero, the mu- and nu-invariants are ordinary integers. In this case we use J. H. C. Whitehead's integral formula for the Hopf invariant, adapted to maps of the 3-torus to the 2-sphere, together with a formula for the fundamental solution of the scalar Laplacian on the 3-torus as a Fourier series in three variables, to provide an explicit integral formula for nu, and hence for mu. △ Less

Submitted 12 January, 2009; originally announced January 2009.

Comments: 23 pages, 13 figures

MSC Class: 57M25 (Primary); 57M27; 53C20 (Secondary)

Journal ref: Matematica Contemporanea (DoCarmo Festshrift) 34 (2009) 251-283

Non-smoothable four-manifolds with cyclic fundamental group

Authors: Stefan Friedl, Ian Hambleton, Paul Melvin, Peter Teichner

Abstract: In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth structures. Moreover, we find an infinite family of 4-manifolds with exactly the same properties (and same intersection form on $H_2$). As a corollary, we obt… ▽ More In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth structures. Moreover, we find an infinite family of 4-manifolds with exactly the same properties (and same intersection form on $H_2$). As a corollary, we obtain topologically slice knots that are not smoothly slice in any rational homology ball. △ Less

Submitted 10 March, 2007; v1 submitted 3 November, 2006; originally announced November 2006.

Comments: We strengthened the statement of Corollary 1.4 and deleted the remark right after Corollary 1.4

MSC Class: 57R10 (smoothing)

A topological menagerie

Authors: Paul Melvin

Abstract: This is a recreational paper showing that certain linked graphs cannot be separated. The proofs employ elementary covering space theory, an appeal to a theorem of Scharlemann (concerning the band sums of two unknots), and a Jones polynomial calculation. This is a recreational paper showing that certain linked graphs cannot be separated. The proofs employ elementary covering space theory, an appeal to a theorem of Scharlemann (concerning the band sums of two unknots), and a Jones polynomial calculation. △ Less

Submitted 24 December, 2004; originally announced December 2004.

Comments: 4 pages, 6 figures. To appear in the AMS Monthly (Notes)

MSC Class: 57M25

Journal ref: Amer. Math. Monthly 113 (2006) 348-351

The nonuniqueness of Chekanov polynomials of Legendrian knots

Authors: Paul Melvin, Sumana Shrestha

Abstract: Examples are given of prime Legendrian knots in the standard contact 3-space that have arbitrarily many distinct Chekanov polynomials, refuting a conjecture of Lenny Ng. These are constructed using a new `Legendrian tangle replacement' technique. This technique is then used to show that the phenomenon of multiple Chekanov polynomials is in fact quite common. Finally, building on unpublished work… ▽ More Examples are given of prime Legendrian knots in the standard contact 3-space that have arbitrarily many distinct Chekanov polynomials, refuting a conjecture of Lenny Ng. These are constructed using a new `Legendrian tangle replacement' technique. This technique is then used to show that the phenomenon of multiple Chekanov polynomials is in fact quite common. Finally, building on unpublished work of Yufa and Branson, a tabulation is given of Legendrian fronts, along with their Chekanov polynomials, representing maximal Thurston-Bennequin Legendrian knots for each knot type of nine or fewer crossings. These knots are paired so that the front for the mirror of any knot is obtained in a standard way by rotating the front for the knot. △ Less

Submitted 18 August, 2005; v1 submitted 9 November, 2004; originally announced November 2004.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper28.abs.html

MSC Class: 57R17; 57M25; 53D12

Journal ref: Geom. Topol. 9 (2005) 1221-1252

Local surgery formulas for quantum invariants and the Arf invariant

Authors: Robion Kirby, Paul Melvin

Abstract: A formula for the Arf invariant of a link is given in terms of the singularities of an immersed surface bounded by the link. This is applied to study the computational complexity of quantum invariants of 3--manifolds. A formula for the Arf invariant of a link is given in terms of the singularities of an immersed surface bounded by the link. This is applied to study the computational complexity of quantum invariants of 3--manifolds. △ Less

Submitted 15 October, 2004; originally announced October 2004.

Comments: Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon7/paper9.abs.html

MSC Class: 57M27; 68Q15

Journal ref: Geom. Topol. Monogr. 7 (2004) 213-233

A geometric interpretation of Milnor's triple linking numbers

Authors: Blake Mellor, Paul Melvin

Abstract: Milnor's triple linking numbers of a link in the 3-sphere are interpreted geometrically in terms of the pattern of intersections of the Seifert surfaces of the components of the link. This generalizes the well known formula as an algebraic count of triple points when the pairwise linking numbers vanish. Milnor's triple linking numbers of a link in the 3-sphere are interpreted geometrically in terms of the pattern of intersections of the Seifert surfaces of the components of the link. This generalizes the well known formula as an algebraic count of triple points when the pairwise linking numbers vanish. △ Less

Submitted 24 June, 2003; v1 submitted 28 September, 2001; originally announced October 2001.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-18.abs.html

MSC Class: 57M25; 57M27

Journal ref: Algebr. Geom. Topol. 3 (2003) 557-568

The E_8-manifold, singular fibers and handlebody decompositions

Authors: Robion Kirby, Paul Melvin

Abstract: The E_8-manifold has several natural framed link descriptions, and we give an efficient method (via `grapes') for showing that they are indeed the same 4-manifold. This leads to explicit handle pictures for the perturbation of singular fibers in an elliptic surface to a collection of fishtails. In the same vein, we show how the degeneration of a regular fiber to a singular fiber in an elliptic s… ▽ More The E_8-manifold has several natural framed link descriptions, and we give an efficient method (via `grapes') for showing that they are indeed the same 4-manifold. This leads to explicit handle pictures for the perturbation of singular fibers in an elliptic surface to a collection of fishtails. In the same vein, we show how the degeneration of a regular fiber to a singular fiber in an elliptic surface provides rich examples of Gromov's compactness theorem. △ Less

Submitted 18 November, 1999; originally announced November 1999.

Comments: 26 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTMon2/paper13.abs.html

Report number: G&T migration mon2-13 MSC Class: 57N13; 57R65; 14J27

Journal ref: Geom. Topol. Monogr. 2 (1999), 233-258

Canonical framings for 3-manifolds

Authors: Rob Kirby, Paul Melvin

Abstract: Canonical framings and stable framings for the tangent bundle of a spin 3-manifold are introduced, and illustrated by a number of familiar examples. Methods for constructing canonical framings, and for comparing them with other naturally defined framings, are discussed. Canonical framings and stable framings for the tangent bundle of a spin 3-manifold are introduced, and illustrated by a number of familiar examples. Methods for constructing canonical framings, and for comparing them with other naturally defined framings, are discussed. △ Less

Submitted 9 March, 1999; originally announced March 1999.

Comments: 29 pages. To appear in Turkish J. Math, 1999, Proc. Gokova 1998

MSC Class: 57M99; 57R22

Quantum cyclotomic orders of 3-manifolds

Authors: Tim D. Cochran, Paul Melvin

Abstract: This paper provides a topological interpretation for number theoretic properties of quantum invariants of 3-manifolds. In particular, it is shown that the p-adic valuation of the quantum SO(3)-invariant of a 3-manifold M, for odd primes p, is bounded below by a linear function of the mod p first betti number of M. Sharper bounds using more delicate topological invariants related to Massey produc… ▽ More This paper provides a topological interpretation for number theoretic properties of quantum invariants of 3-manifolds. In particular, it is shown that the p-adic valuation of the quantum SO(3)-invariant of a 3-manifold M, for odd primes p, is bounded below by a linear function of the mod p first betti number of M. Sharper bounds using more delicate topological invariants related to Massey products are given as well. △ Less

Submitted 26 August, 1999; v1 submitted 22 September, 1998; originally announced September 1998.

Comments: Final version for publication (to appear in Topology). Only minor changes from the first posted version

Journal ref: Topology 40 (2001) 95-125

Finite type invariants of 3-manifolds

Authors: Tim D. Cochran, Paul Melvin

Abstract: A theory of finite type invariants for arbitrary compact oriented 3-manifolds is proposed, and illustrated through many examples arising from both classical and quantum topology. The theory is seen to be highly non-trivial even for manifolds with large first betti number, encompassing much of the complexity of Ohtsuki's theory for homology spheres. (For example, it is seen that the quantum SO(3)… ▽ More A theory of finite type invariants for arbitrary compact oriented 3-manifolds is proposed, and illustrated through many examples arising from both classical and quantum topology. The theory is seen to be highly non-trivial even for manifolds with large first betti number, encompassing much of the complexity of Ohtsuki's theory for homology spheres. (For example, it is seen that the quantum SO(3) invariants, though not of finite type, are determined by finite type invariants.) The algebraic structure of the set of all finite type invariants is investigated, along with a combinatorial model for the theory in terms of trivalent "Feynman diagrams". △ Less

Submitted 25 August, 1999; v1 submitted 6 May, 1998; originally announced May 1998.

Comments: Final version for publication, with figures. The most significant changes from the original posted version are in the exposition of section 3 (on the Conway polynomial) and section 4 (on quantum invariants)

MSC Class: 57M99 (Primary) 57N10; 57M25; 57N65 (Secondary)

Journal ref: Inventiones Math. 140 (2000), 45-100