Showing 1–21 of 21 results for author: Miller, A N

A partial resolution of Hedden's conjecture on satellite homomorphisms

Authors: Randall Johanningsmeier, Hillary Kim, Allison N. Miller

Abstract: A pattern knot in a solid torus defines a self-map of the smooth knot concordance group. We prove that if the winding number of a pattern is even but not divisible by 8, then the corresponding map is not a homomorphism, thus partially establishing a conjecture of Hedden. A pattern knot in a solid torus defines a self-map of the smooth knot concordance group. We prove that if the winding number of a pattern is even but not divisible by 8, then the corresponding map is not a homomorphism, thus partially establishing a conjecture of Hedden. △ Less

Submitted 13 August, 2023; originally announced August 2023.

Comments: 11 pages, 7 figures

MSC Class: 57K10; 57M10

A note on surfaces in $\mathbb{CP}^2$ and $\mathbb{CP}^2\# \mathbb{CP}^2$

Authors: Marco Marengon, Allison N. Miller, Arunima Ray, András I. Stipsicz

Abstract: In this brief note, we investigate the $\mathbb{CP}^2$-genus of knots, i.e. the least genus of a smooth, compact, orientable surface in $\mathbb{CP}^2\setminus \mathring{B^4}$ bounded by a knot in $S^3$. We show that this quantity is unbounded, unlike its topological counterpart. We also investigate the $\mathbb{CP}^2$-genus of torus knots. We apply these results to improve the minimal genus bound… ▽ More In this brief note, we investigate the $\mathbb{CP}^2$-genus of knots, i.e. the least genus of a smooth, compact, orientable surface in $\mathbb{CP}^2\setminus \mathring{B^4}$ bounded by a knot in $S^3$. We show that this quantity is unbounded, unlike its topological counterpart. We also investigate the $\mathbb{CP}^2$-genus of torus knots. We apply these results to improve the minimal genus bound for some homology classes in $\mathbb{CP}^2\# \mathbb{CP}^2$. △ Less

Submitted 19 March, 2024; v1 submitted 22 October, 2022; originally announced October 2022.

Comments: 7 pages, 3 figures; v2: minor modifications following a referee report, this is the version accepted to appear in Proc. AMS

Report number: MPIM-Bonn-2022 MSC Class: 57R40; 57K10; 57N70

Strongly invertible knots, equivariant slice genera, and an equivariant algebraic concordance group

Authors: Allison N. Miller, Mark Powell

Abstract: We use the Blanchfield form to obtain a lower bound on the equivariant slice genus of a strongly invertible knot. For our main application, let $K$ be a genus one strongly invertible slice knot with nontrivial Alexander polynomial. We show that the equivariant slice genus of an equivariant connected sum $\#^n K$ is at least $n/4$. We also formulate an equivariant algebraic concordance group, and s… ▽ More We use the Blanchfield form to obtain a lower bound on the equivariant slice genus of a strongly invertible knot. For our main application, let $K$ be a genus one strongly invertible slice knot with nontrivial Alexander polynomial. We show that the equivariant slice genus of an equivariant connected sum $\#^n K$ is at least $n/4$. We also formulate an equivariant algebraic concordance group, and show that the kernel of the forgetful map to the classical algebraic concordance group is infinite rank. △ Less

Submitted 24 August, 2022; originally announced August 2022.

Comments: 20 pages, 4 figures

MSC Class: 57K10; 57N35; 57N70

Linking number obstructions to satellite homomorphisms

Authors: Tye Lidman, Allison N. Miller, Juanita Pinzón-Caicedo

Abstract: We prove that satellite operations that satisfy a certain positivity condition and have winding number other than one are not homomorphisms. The argument uses the $d$-invariants of branched covers. In the process, we prove a technical result relating $d$-invariants and the Torelli group which may be of independent interest. We prove that satellite operations that satisfy a certain positivity condition and have winding number other than one are not homomorphisms. The argument uses the $d$-invariants of branched covers. In the process, we prove a technical result relating $d$-invariants and the Torelli group which may be of independent interest. △ Less

Submitted 28 July, 2022; originally announced July 2022.

Slicing knots in definite 4-manifolds

Authors: Alexandra Kjuchukova, Allison N. Miller, Arunima Ray, Sümeyra Sakallı

Abstract: We study the $\mathbb{CP}^2$-slicing number of knots, i.e. the smallest $m\geq 0$ such that a knot $K\subseteq S^3$ bounds a properly embedded, null-homologous disk in a punctured connected sum $(\#^m\mathbb{CP}^2)^{\times}$. We give a lower bound on the smooth $\mathbb{CP}^2$-slicing number of a knot in terms of its double branched cover, and we find knots with arbitrarily large but finite smooth… ▽ More We study the $\mathbb{CP}^2$-slicing number of knots, i.e. the smallest $m\geq 0$ such that a knot $K\subseteq S^3$ bounds a properly embedded, null-homologous disk in a punctured connected sum $(\#^m\mathbb{CP}^2)^{\times}$. We give a lower bound on the smooth $\mathbb{CP}^2$-slicing number of a knot in terms of its double branched cover, and we find knots with arbitrarily large but finite smooth $\mathbb{CP}^2$-slicing number. We also give an upper bound on the topological $\mathbb{CP}^2$-slicing number in terms of the Seifert form and find knots for which the smooth and topological $\mathbb{CP}^2$-slicing numbers are both finite, nonzero, and distinct. △ Less

Submitted 29 December, 2021; originally announced December 2021.

Comments: 33 pages, 3 footnotes

Report number: MPIM-Bonn-2021 MSC Class: 57K10; 57N35; 57N70; 57R40

A note on the concordance $\mathbb{Z}$-genus

Authors: Allison N. Miller, JungHwan Park

Abstract: We show that the difference between the topological 4-genus of a knot and the minimal genus of a surface bounded by that knot that can be decomposed into a smooth concordance followed by an algebraically simple locally flat surface can be arbitrarily large. This extends work of Hedden-Livingston-Ruberman showing that there are topologically slice knots which are not smoothly concordant to any knot… ▽ More We show that the difference between the topological 4-genus of a knot and the minimal genus of a surface bounded by that knot that can be decomposed into a smooth concordance followed by an algebraically simple locally flat surface can be arbitrarily large. This extends work of Hedden-Livingston-Ruberman showing that there are topologically slice knots which are not smoothly concordant to any knot with trivial Alexander polynomial. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Comments: 7 pages

MSC Class: 57K10

Amphichiral knots with large 4-genus

Authors: Allison N. Miller

Abstract: For each $g>0$ we give infinitely many knots that are strongly negative amphichiral, hence rationally slice and representing 2-torsion in the smooth concordance group, yet which do not bound any locally flatly embedded surface in the 4-ball with genus less than or equal to $g$. Our examples also allow us to answer a question about the 4-dimensional clasp number of knots. For each $g>0$ we give infinitely many knots that are strongly negative amphichiral, hence rationally slice and representing 2-torsion in the smooth concordance group, yet which do not bound any locally flatly embedded surface in the 4-ball with genus less than or equal to $g$. Our examples also allow us to answer a question about the 4-dimensional clasp number of knots. △ Less

Submitted 18 November, 2020; originally announced November 2020.

Comments: 8 pages, 4 figures

MSC Class: 57K10

Embedding spheres in knot traces

Authors: Peter Feller, Allison N. Miller, Matthias Nagel, Patrick Orson, Mark Powell, Arunima Ray

Abstract: The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere whose complement has abelian fundamental group. Our characterisation is in terms of classical and computable 3-dimensional knot invariants. For each $n$, this prov… ▽ More The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere whose complement has abelian fundamental group. Our characterisation is in terms of classical and computable 3-dimensional knot invariants. For each $n$, this provides conditions that imply a knot is topologically $n$-shake slice, directly analogous to the result of Freedman and Quinn that a knot with trivial Alexander polynomial is topologically slice. △ Less

Submitted 20 April, 2020; v1 submitted 8 April, 2020; originally announced April 2020.

Comments: 37 pages, 2 figures. v2 some typos fixed

Report number: MPIM-Bonn-2020 MSC Class: 57K40; 57K10; 57N35; 57N70; 57R67

Journal ref: Compositio Mathematica, 157(10), 2242-2279, 2021

Branched covers bounding rational homology balls

Authors: Paolo Aceto, Jeffrey Meier, Allison N. Miller, Maggie Miller, JungHwan Park, András I. Stipsicz

Abstract: Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation. Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation. △ Less

Submitted 17 April, 2020; v1 submitted 24 February, 2020; originally announced February 2020.

Comments: 19 pages, 5 figures, Version 2: Minor changes to abstract and introduction. Added references on knots that are not concordant to their reverses

Journal ref: Algebr. Geom. Topol. 21 (2021) 3569-3599

Homomorphism obstructions for satellite maps

Authors: Allison N. Miller

Abstract: A knot in a solid torus defines a map on the set of (smooth or topological) concordance classes of knots in $S^3$. This set admits a group structure, but a conjecture of Hedden suggests that satellite maps never induce interesting homomorphisms: we give new evidence for this conjecture in both categories. First, we use Casson-Gordon signatures to give the first obstruction to a slice pattern induc… ▽ More A knot in a solid torus defines a map on the set of (smooth or topological) concordance classes of knots in $S^3$. This set admits a group structure, but a conjecture of Hedden suggests that satellite maps never induce interesting homomorphisms: we give new evidence for this conjecture in both categories. First, we use Casson-Gordon signatures to give the first obstruction to a slice pattern inducing a homomorphism on the topological concordance group, constructing examples with every winding number besides $\pm 1$. We then provide subtle examples of satellite maps which map arbitrarily deep into the $n$-solvable filtration of [COT03], act like homomorphisms on arbitrary finite sets of knots, and yet which still do not induce homomorphisms. Finally, we verify Hedden's conjecture in the smooth category for all but one small crossing number satellite operator. △ Less

Submitted 8 October, 2019; originally announced October 2019.

Comments: 17 pages, 12 figures

MSC Class: 57M25; 57N70

Stabilization distance between surfaces

Authors: Allison N. Miller, Mark Powell

Abstract: Define the 1-handle stabilization distance between two surfaces properly embedded in a fixed 4-dimensional manifold to be the minimal number of 1-handle stabilizations necessary for the surfaces to become ambiently isotopic. For every nonnegative integer $m$ we find a pair of 2-knots in the 4-sphere whose stabilization distance equals $m$. Next, using a generalized stabilization distance that coun… ▽ More Define the 1-handle stabilization distance between two surfaces properly embedded in a fixed 4-dimensional manifold to be the minimal number of 1-handle stabilizations necessary for the surfaces to become ambiently isotopic. For every nonnegative integer $m$ we find a pair of 2-knots in the 4-sphere whose stabilization distance equals $m$. Next, using a generalized stabilization distance that counts connected sum with arbitrary 2-knots as distance zero, for every nonnegative integer $m$ we exhibit a knot $J_m$ in the 3-sphere with two slice discs in the 4-ball whose generalized stabilization distance equals $m$. We show this using homology of cyclic covers. Finally, we use metabelian twisted homology to show that for each $m$ there exists a knot and pair of slice discs with generalized stabilization distance at least $m$, with the additional property that abelian invariants associated to cyclic covering spaces coincide. This detects different choices of slicing discs corresponding to a fixed metabolising link on a Seifert surface. △ Less

Submitted 27 July, 2020; v1 submitted 19 August, 2019; originally announced August 2019.

Comments: 33 pages, 8 figures. For version 2, referee's comments incorporated, to appear in L'Enseignement Mathématiques. Reference to Miyazaki added, to whom Theorem A belongs

MSC Class: 57N13; 57N65

A note on the topological slice genus of satellite knots

Authors: Peter Feller, Allison N. Miller, Juanita Pinzon-Caicedo

Abstract: This paper presents evidence supporting the surprising conjecture that in the topological category the slice genus of a satellite knot $P(K)$ is bounded above by the sum of the slice genera of $K$ and $P(U)$. Our main result establishes this conjecture for a variant of the topological slice genus, the $\mathbb{Z}$-slice genus. As an application, we show that the $(n,1)$-cable of any 3-genus 1 knot… ▽ More This paper presents evidence supporting the surprising conjecture that in the topological category the slice genus of a satellite knot $P(K)$ is bounded above by the sum of the slice genera of $K$ and $P(U)$. Our main result establishes this conjecture for a variant of the topological slice genus, the $\mathbb{Z}$-slice genus. As an application, we show that the $(n,1)$-cable of any 3-genus 1 knot (e.g. the figure 8 or trefoil knot) has topological slice genus at most 1. Further, we show that the lower bounds on the slice genus coming from the Tristram-Levine and Casson-Gordon signatures cannot be used to disprove the conjecture. Notably, the conjectured upper bound does not involve the algebraic winding number of the pattern $P$. This stands in stark contrast with the smooth category, where for example there are many genus 1 knots whose $(n,1)$-cables have arbitrarily large smooth 4-genera. △ Less

Submitted 10 August, 2019; originally announced August 2019.

Comments: 17 pages, 5 figures, comments welcome

MSC Class: 57M25

Journal ref: Algebr. Geom. Topol. 22 (2022) 709-738

Two-solvable and two-bipolar knots with large four-genera

Authors: Jae Choon Cha, Allison N. Miller, Mark Powell

Abstract: For every integer g, we construct a 2-solvable and 2-bipolar knot whose topological 4-genus is greater than g. Note that 2-solvable knots are in particular algebraically slice and have vanishing Casson-Gordon obstructions. Similarly all known smooth 4-genus bounds from gauge theory and Floer homology vanish for 2-bipolar knots. Moreover, our knots bound smoothly embedded height four gropes in… ▽ More For every integer g, we construct a 2-solvable and 2-bipolar knot whose topological 4-genus is greater than g. Note that 2-solvable knots are in particular algebraically slice and have vanishing Casson-Gordon obstructions. Similarly all known smooth 4-genus bounds from gauge theory and Floer homology vanish for 2-bipolar knots. Moreover, our knots bound smoothly embedded height four gropes in $D^4$, an a priori stronger condition than being 2-solvable. We use new lower bounds for the 4-genus arising from $L^{(2)}$-signature defects associated to meta-metabelian representations of the fundamental group. △ Less

Submitted 17 July, 2020; v1 submitted 7 January, 2019; originally announced January 2019.

Comments: 33 pages, 7 figures. Version 2: referee's comments incorporated, to appear in Mathematical Research Letters

MSC Class: 57M25; 57M27; 57N70

Winding number $m$ and $-m$ patterns acting on concordance

Authors: Allison N. Miller

Abstract: We prove that for any winding number $m>0$ pattern $P$ and winding number $-m$ pattern $Q$, there exist knots $K$ such that the minimal genus of a cobordism between $P(K)$ and $Q(K)$ is arbitrarily large. This answers a question posed by Cochran-Harvey [CH17] and generalizes a result of Kim-Livingston [KL05]. We prove that for any winding number $m>0$ pattern $P$ and winding number $-m$ pattern $Q$, there exist knots $K$ such that the minimal genus of a cobordism between $P(K)$ and $Q(K)$ is arbitrarily large. This answers a question posed by Cochran-Harvey [CH17] and generalizes a result of Kim-Livingston [KL05]. △ Less

Submitted 18 December, 2017; v1 submitted 15 December, 2017; originally announced December 2017.

Comments: 9 pages, 1 figure. v2 has correct version of Figure 1

MSC Class: 57M25; 57M27

Symmetric chain complexes, twisted Blanchfield pairings, and knot concordance

Authors: Allison N. Miller, Mark Powell

Abstract: We give a formula for the duality structure of the 3-manifold obtained by doing zero-framed surgery along a knot in the 3-sphere, starting from a diagram of the knot. We then use this to give a combinatorial algorithm for computing the twisted Blanchfield pairing of such 3-manifolds. With the twisting defined by Casson-Gordon style representations, we use our computation of the twisted Blanchfield… ▽ More We give a formula for the duality structure of the 3-manifold obtained by doing zero-framed surgery along a knot in the 3-sphere, starting from a diagram of the knot. We then use this to give a combinatorial algorithm for computing the twisted Blanchfield pairing of such 3-manifolds. With the twisting defined by Casson-Gordon style representations, we use our computation of the twisted Blanchfield pairing to show that some subtle satellites of genus two ribbon knots yield non-slice knots. The construction is subtle in the sense that, once based, the infection curve lies in the second derived subgroup of the knot group, and that we identify these infection curves explicitly. △ Less

Submitted 20 September, 2018; v1 submitted 25 September, 2017; originally announced September 2017.

Comments: 38 pages, 7 figures. Version 2: revised discussion of examples of non-slice knots from the literature. Version 3: referee's comments incorporated, to be published in Algebraic and Geometric Topology

MSC Class: 57M25; 57M27; 57N70

Journal ref: Algebr. Geom. Topol. 18 (2018) 3425-3476

Linking forms of amphichiral knots

Authors: Stefan Friedl, Allison N. Miller, Mark Powell

Abstract: We give a simple obstruction for a knot to be amphichiral, in terms of the homology of the 2-fold branched cover. We work with unoriented knots, and so obstruct both positive and negative amphichirality. We give a simple obstruction for a knot to be amphichiral, in terms of the homology of the 2-fold branched cover. We work with unoriented knots, and so obstruct both positive and negative amphichirality. △ Less

Submitted 6 July, 2017; v1 submitted 24 June, 2017; originally announced June 2017.

Comments: Version 2 has a new title to better reflect what is new in the paper, and historical references have been updated. 7 pages

MSC Class: 57M25; 57M27

Knot traces and concordance

Authors: Allison N. Miller, Lisa Piccirillo

Abstract: We give a method for constructing many pairs of distinct knots $K_0$ and $K_1$ such that the two 4-manifolds obtained by attaching a 2-handle to $B^4$ along $K_i$ with framing zero are diffeomorphic. We use the d-invariants of Heegaard Floer homology to obstruct the smooth concordance of some of these $K_0$ and $K_1$, thereby disproving a conjecture of Abe in [Abe16]. As a consequence, we obtain a… ▽ More We give a method for constructing many pairs of distinct knots $K_0$ and $K_1$ such that the two 4-manifolds obtained by attaching a 2-handle to $B^4$ along $K_i$ with framing zero are diffeomorphic. We use the d-invariants of Heegaard Floer homology to obstruct the smooth concordance of some of these $K_0$ and $K_1$, thereby disproving a conjecture of Abe in [Abe16]. As a consequence, we obtain a proof that there exist patterns $P$ in solid tori such that $P(K)$ is not always concordant to $P(U) \# K$ and yet whose action on the smooth concordance group is invertible. △ Less

Submitted 17 January, 2018; v1 submitted 13 February, 2017; originally announced February 2017.

Comments: 17 pages, 15 figures. This version of the paper has been accepted by the Journal of Topology for publication

MSC Class: 57M25

The topological sliceness of 3-strand pretzel knots

Authors: Allison N. Miller

Abstract: We give a complete characterization of the topological slice status of odd 3-strand pretzel knots, proving that an odd 3-strand pretzel knot is topologically slice if and only if either it is ribbon or has trivial Alexander polynomial. (By work of [FS85], a nontrivial odd 3-strand pretzel knot $K$ cannot both be ribbon and have $Δ_K(t)=1$.) We also show that topologically slice even 3-strand pretz… ▽ More We give a complete characterization of the topological slice status of odd 3-strand pretzel knots, proving that an odd 3-strand pretzel knot is topologically slice if and only if either it is ribbon or has trivial Alexander polynomial. (By work of [FS85], a nontrivial odd 3-strand pretzel knot $K$ cannot both be ribbon and have $Δ_K(t)=1$.) We also show that topologically slice even 3-strand pretzel knots (except perhaps for members of Lecuona's exceptional family of [Lec13]) must be ribbon. These results follow from computations of the Casson-Gordon 3-manifold signature invariants associated to the double branched covers of these knots. △ Less

Submitted 7 April, 2016; originally announced April 2016.

Comments: 17 pages, 3 figures

MSC Class: 57M25

Journal ref: Algebr. Geom. Topol. 17 (2017) 3057-3079

Ravels arising from Montesinos Tangles

Authors: Erica Flapan, Allison N. Miller

Abstract: A ravel is a spatial graph which is non-planar but contains no non-trivial knots or links. We characterize when a Montesinos tangle can become a ravel as the result of vertex closure with and without replacing some number of crossings by vertices. A ravel is a spatial graph which is non-planar but contains no non-trivial knots or links. We characterize when a Montesinos tangle can become a ravel as the result of vertex closure with and without replacing some number of crossings by vertices. △ Less

Submitted 28 October, 2016; v1 submitted 14 November, 2015; originally announced November 2015.

MSC Class: 57M25; 57M15; 05C10

A note on the topological sliceness of some 2-bridge knots

Authors: Allison N. Miller

Abstract: We use twisted Alexander polynomials to show that certain algebraically slice 2-bridge knots are not topologically slice, even though all prime power Casson-Gordon signatures vanish. We also provide some computations indicating the efficacy of Casson-Gordon signatures in obstructing the smooth sliceness of 2-bridge knots. We use twisted Alexander polynomials to show that certain algebraically slice 2-bridge knots are not topologically slice, even though all prime power Casson-Gordon signatures vanish. We also provide some computations indicating the efficacy of Casson-Gordon signatures in obstructing the smooth sliceness of 2-bridge knots. △ Less

Submitted 6 July, 2015; originally announced July 2015.

Comments: 7 pages

MSC Class: 57M25

Distinguishing mutant pretzel knots in concordance

Authors: Allison N. Miller

Abstract: We prove that many pretzel knots of the form $P(2n,m,-2n\pm1,-m)$ are not topologically slice, even though their positive mutants $P(2n, -2n\pm1, m, -m)$ are ribbon. We use the sliceness obstruction of Kirk and Livingston related to the twisted Alexander polynomials associated to prime power cyclic covers of knots. We prove that many pretzel knots of the form $P(2n,m,-2n\pm1,-m)$ are not topologically slice, even though their positive mutants $P(2n, -2n\pm1, m, -m)$ are ribbon. We use the sliceness obstruction of Kirk and Livingston related to the twisted Alexander polynomials associated to prime power cyclic covers of knots. △ Less

Submitted 17 February, 2015; originally announced February 2015.

Comments: 20 pages, 2 very large matrices

MSC Class: 57M25