Searcharxiv⌕ Search

arXiv subjects

Christopher William Davis

Publications and source records attributed to Christopher William Davis.

15 recordsLinked to original sources
arXiv2026

$C$-complexes, Clasp Number, and Triple Linking Number

A C-complex is a union of Seifert surfaces for the components of a link which intersect each other in clasps. The clasp number of a link is the minimal number of clasps amongst all C-complexes it bounds. It gives a measure of how far a link is form being a boundary link. This paper provides a new lower bound for the number of clasps of all C-complexes bounded by a given 3-component link improving results of Amundsen-Anderson-D.-Guyer. Furthermore, we construct links that achieve these bounds. In order to do so, we express the triple linking numbers as the area bounded by three curves in the plane, called word curves, and then perform the geometry and discrete optimization needed to minimize the length of these curves.

math.GT↗
arXiv2025

How many crossing changes or Delta-moves does it take to get to a homotopy trivial link?

The homotopy trivializing number, \(n_h(L)\), and the Delta homotopy trivializing number, \(n_Δ(L)\), are invariants of the link homotopy class of \(L\) which count how many crossing changes or Delta moves are needed to reduce that link to a homotopy trivial link. In 2022, Davis, Orson, and Park proved that the homotopy trivializing number of \(L\) is bounded above by the sum of the absolute values of the pairwise linking numbers and some quantity \(C_n\) which depends only on \(n\), the number of components. In this paper we improve on this result by using the classification of link homotopy due to Habegger-Lin to give a quadratic upper bound on \(C_n\). We employ ideas from extremal graph theory to demonstrate that this bound is close to sharp, by exhibiting links with vanishing pairwise linking numbers and whose homotopy trivializing numbers grows quadratically. In the process, we determine the homotopy trivializing number of every 4-component link. We also prove a cubic upper bound on the difference between the Delta homotopy trivializing number of \(L\) and the sum of the absolute values of the triple linking numbers of \(L\).

math.GT↗
arXiv2023

Whitney tower concordance and knots in homology spheres

In a groundbreaking work A. Levine proved the surprising result that there exist knots in homology spheres which are not smoothly concordant to any knot in $S^3$, even if one allows for concordances in homology cobordisms. Since then subsequent works due to Hom-Levine-Lidman and Zhou have strengthened this result showing that there are many knots in homology spheres which are not smoothly concordant to knots in $S^3$. In this paper we present evidence that the opposite is true topologically. We study the Whitney tower filtration of concordance due to Cochran-Orr-Teichner and prove that modulo any term in this filtration every knot (or link) in a homology sphere is equivalent to a knot (or link) in $S^3$. As an application we recover the main result of [Davis2019], namely that the solvable filtration similarly fails to distinguish links in homology spheres from links in $S^3$.

math.GT↗
arXiv2021

The relative Whitney trick and its applications

We introduce a geometric operation, which we call the relative Whitney trick, that removes a single double point between properly immersed surfaces in a $4$-manifold with boundary. Using the relative Whitney trick we prove that every link in a homology sphere is homotopic to a link that is topologically slice in a contractible topological $4$-manifold. We further prove that any link in a homology sphere is order $k$ Whitney tower concordant to a link in $S^3$ for all $k$. Finally, we explore the minimum Gordian distance from a link in $S^3$ to a homotopically trivial link. Extending this notion to links in homology spheres, we use the relative Whitney trick to make explicit computations for 3-component links and establish bounds in general.

math.GT↗
arXiv2021

Moves relating C-complexes: A correction to Cimasoni's "A geometric construction of the Conway potential function"

In groundbreaking work from 2004, Cimasoni gave a geometric computation of the multivariable Conway potential function in terms of a generalization of a Seifert surface for a link called a C-complex. Lemma 3 of that paper provides a family of moves which relates any two C-complexes for a fixed link. This allows for an approach to studying links from the point of view of C-complexes and in following papers it has been used to derive invariants. This lemma is false. We present counterexamples, a correction with detailed proof, and an analysis of the consequences of this error on subsequent works that rely on this lemma.

math.GT↗
arXiv2019

Concordance to links with an unknotted component

We construct links of arbitrarily many components each component of which is slice and yet are not concordant to any link with even one unknotted component. The only tool we use comes from the Alexander modules.

math.GT↗
arXiv2019

The C-complex clasp number of links

In the 1980's Daryl Cooper introduced the notion of a C-complex (or clasp-complex) bounded by a link and explained how to compute signatures and polynomial invariants using a C-complex. Since then this was extended by works of Cimasoni, Florens, Mellor, Melvin, Conway, Toffoli, Friedl, and others to compute other link invariants. Informally a C-complex is a union of surfaces which are allowed to intersect each other in clasps. The purpose of the current paper is to study the minimal number of clasps amongst all C-complexes bounded by a fixed link $L$. This measure of complexity is related to the number of crossing changes needed to reduce $L$ to a boundary link. We prove that if $L$ is a 2-component link with nonzero linking number, then the linking number determines the minimal number of clasps amongst all C-complexes. In the case of 3-component links, the triple linking number provides an additional lower bound on the number of clasps in a C-complex.

math.GT↗
arXiv2017

Triple linking numbers and surface systems

We give a refined value group for the collection of triple linking numbers of links in the 3-sphere. Given two links with the same pairwise linking numbers we show that they have the same refined triple linking number collection if and only if the links admit homeomorphic surface systems. Moreover these two conditions hold if and only if the link exteriors are bordant over $B \mathbb{Z}^n$, and if and only if the third lower central series quotients $π/π_3$ of the link groups are isomorphic preserving meridians and longitudes. We also show that these conditions imply that the link groups have isomorphic fourth lower central series quotients $π/π_4$, preserving meridians.

math.GT↗
arXiv2016

When do links admit homeomorphic C-complexes?

Any two knots admit orientation preserving homeomorphic Seifert surfaces, as can be seen by stabilizing. There is a generalization of a Seifert surface to the setting of links called a C-complex. In this paper, we ask when two links will admit orientation preserving homeomorphic C-complexes. In the case of 2-component links, we find that the pairwise linking number provides a complete obstruction. In the case of links with 3 or more components and zero pairwise linking number, Milnor's triple linking number provides a complete obstruction.

math.GT↗
arXiv2016

Cut open null-bordisms and derivatives of slice knots

In the 60's Levine proved that if $R$ is a slice knot, then on any genus $g$ Seifert surface for $R$ there is a $g$ component link $J$, called a derivative of $R$, on which the Seifert form vanishes. Many subsequent obstructions to $R$ being slice are given in terms of slice obstructions of $J$. Many of these obstructions can be derived from a 4-manifold called a null-bordism. Recently the authors proved that that it is possible for $R$ to be slice without $J$ being slice, disproving a conjecture of Kauffmann from the 80's. In this paper we cut open these null-bordisms in order to derive new obstructions to being the derivative of a slice knot. As a proof of the strength of this approach we re-derive a signature condition due to Daryl Cooper. Our results also apply to doubling operators, giving new evidence for their weak injectivity. We close with a new sufficient condition for a genus 1 algebraically slice knot to be $1.5$-solvable.

math.GT↗
arXiv2014

Counterexamples to Kauffman's Conjectures on Slice Knots

In 1982 Louis Kauffman conjectured that if a knot in the 3-sphere is a slice knot then on any Seifert surface for that knot there exists a homologically essential simple closed curve of self-linking zero which is itself a slice knot, or at least has Arf invariant zero. Since that time, considerable evidence has been amassed in support of this conjecture. In particular, many invariants that obstruct a knot from being a slice knot have been explictly expressed in terms of invariants of such curves on the Seifert surface. We give counterexamples to Kauffman's conjecture, that is, we exhibit (smoothly) slice knots that admit (unique minimal genus) Seifert surfaces on which every homologically essential simple closed curve of self-linking zero has non-zero Arf invariant and non-zero signatures.

math.GT↗
arXiv2012

Von Neumann rho invariants and torsion in the topological knot concordance group

We discuss an infinite class of metabelian Von Neumann rho-invariants. Each one is a homomorphism from the monoid of knots to the real line. In general they are not well defined on the concordance group. Nonetheless, we show that they pass to well defined homomorphisms from the subgroup of the concordance group generated by anisotropic knots. Thus, the computation of even one of these invariants can be used to conclude that a knot is of infinite order. We introduce a method to give a computable bound on these invariants. Finally we compute this bound to get a new and explicit infinite set of twist knots which is linearly independent in the concordance group and whose every member is of algebraic order 2 .

math.GT↗
arXiv2011

Linear Independence of Knots Arising from Iterated Infection Without the Use of Tristram Levine Signatures

We give an explicit construction of linearly independent families of knots arbitrarily deep in the (n)-solvable filtration of the knot concordance group using the ρ^1-invariant. A difference between previous constructions of infinite rank subgroups in the concordance group and ours is that the deepest infecting knots in the construction we present are allowed to have vanishing Tristram-Levine signatures.

math.GT↗
arXiv2011

Strong coprimality and strong irreducibility of Alexander polynomials

A polynomial f(t) with rational coefficients is strongly irreducible if f(t^k) is irreducible for all positive integers k. Likewise, two polynomials f and g are strongly coprime if f(t^k) and g(t^l) are relatively prime for all positive integers k and l. We provide some sufficient conditions for strong irreducibility and prove that the Alexander polynomials of twist knots are pairwise strongly coprime and that most of them are strongly irreducible. We apply these results to describe the structure of the subgroup of the rational knot concordance group generated by the twist knots and to provide an explicit set of knots which represent linearly independent elements deep in the solvable filtration of the knot concordance group.

math.GT↗