arXiv subjects

Tim D. Cochran

Publications and source records attributed to Tim D. Cochran.

At least 19 recordsLinked to original sources

arXiv2017

Grope metrics on the knot concordance set

To a special type of grope embedded in 4-space, that we call an admissible grope, we associate a length function for each real number q at least 1. This gives rise to a family of pseudo-metrics d^q, refining the slice genus metric, on the set of concordance classes of knots, as the infimum of the length function taken over all possible grope concordances between two knots. We investigate the properties of these metrics. The main theorem is that the topology induced by this metric on the knot concordance set is not discrete for all q>1. The analogous statement for links also holds for q=1. In addition we translate much previous work on knot concordance into distance statements. In particular, we show that winding number zero satellite operators are contractions in many cases, and we give lower bounds on our metrics arising from knot signatures and higher order order signatures. This gives further evidence in favor of the conjecture that the knot concordance group has a fractal structure.

math.GT↗

arXiv2015

Shake slice and shake concordant knots

A crucial step in the surgery-theoretic program to classify smooth manifolds is that of representing a middle--dimensional homology class by a smoothly embedded sphere. This step fails even for the simple 4-manifolds obtained from the 4-ball by adding a 2-handle with framing r along some knot K in S^3. An r-shake slice knot is one for which a generator of the second homology of this 4-manifold can be represented by a smoothly embedded 2-sphere. It is not known whether there exist 0-shake slice knots that are not slice. We define a relative notion of shake sliceness of knots, which we call shake concordance, which is easily seen to be a generalization of classical concordance, and we give the first examples of knots that are 0-shake concordant but not concordant; these may be chosen to be topologically slice. Additionally, for each r we completely characterize r-shake slice and r-shake concordant knots in terms of concordance and satellite operators. Our characterization allows us to construct new families of possible r-shake slice knots that are not slice.

math.GT↗

arXiv2014

The geometry of the knot concordance space

Most of the 50-year history of the study of the set of knot concordance classes, C, has focused on its structure as an abelian group. Here we take a different approach, namely we study C as a metric space admitting many natural geometric operators, especially satellite operators. We consider several knot concordance spaces, corresponding to different categories of concordance, and two different metrics. We establish the existence of quasi-n-flats for every n, implying that C admits no quasi-isometric embedding into a finite product of (Gromov) hyperbolic spaces. We show that every satellite operator is a quasi-homomorphism P: C --- C with respect to the metric given by the slice genus. We show that winding number one satellite operators induce quasi-isometries. We prove that strong winding number one satellite operators induce isometric embeddings for certain metrics. By contrast, winding number zero satellite operators are bounded functions and hence quasi-contractions. These results contribute to the conjecture that C is a fractal space. We establish various other results about the large-scale geometry of arbitrary satellite operators.

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↗

arXiv2013

Injectivity of satellite operators in knot concordance

Let P be a knot in a solid torus, K a knot in 3-space and P(K) the satellite knot of K with pattern P. This defines an operator on the set of knot types and induces a satellite operator P:C--> C on the set of smooth concordance classes of knots. There has been considerable interest in whether certain such functions are injective. For example, it is a famous open problem whether the Whitehead double operator is weakly injective (an operator is called weakly injective if P(K)=P(0) implies K=0 where 0 is the class of the trivial knot). We prove that, modulo the smooth 4-dimensional Poincare Conjecture, any strong winding number one satellite operator is injective on C. More precisely, if P has strong winding number one and P(K)=P(J), then K is smoothly concordant to J in S^3 x [0,1] equipped with a possibly exotic smooth structure. We also prove that any strong winding number one operator is injective on the topological knot concordance group. If P(0) is unknotted then strong winding number one is the same as (ordinary) winding number one. More generally we show that any satellite operator with non-zero winding number n induces an injective function on the set of Z[1/n]-concordance classes of knots. We extend some of our results to links.

math.GT↗

arXiv2013

Filtering smooth concordance classes of topologically slice knots

We propose and analyze a structure with which to organize the difference between a knot in the 3-sphere bounding a topologically embedded 2-disk in the 4-ball and it bounding a smoothly embedded disk. The n-solvable filtration of the topological knot concordance group, due to Cochran-Orr-Teichner, may be complete in the sense that any knot in the intersection of its terms may well be topologically slice. However, the natural extension of this filtration to what is called the n-solvable filtration of the smooth knot concordance group, is unsatisfactory because any topologically slice knot lies in every term of the filtration. To ameliorate this we investigate a new filtration, {B_n}, that is simultaneously a refinement of the n-solvable filtration and a generalization of notions of positivity studied by Gompf and Cochran. We show that each B_n/B_{n+1} has infinite rank. But our primary interest is in the induced filtration, {T_n}, on the subgroup, T, of knots that are topologically slice. We prove that T/T_0 is large, detected by gauge-theoretic invariants and the tau, s, and epsilon-invariants; while the non-triviliality of T_0/T_1 can be detected by certain d-invariants. All of these concordance obstructions vanish for knots in T_1. Nonetheless, going beyond this, our main result is that T_1/T_2 has positive rank. Moreover under a "weak homotopy-ribbon" condition, we show that each T_n/T_{n+1} has positive rank. These results suggest that, even among topologically slice knots, the fundamental group is responsible for a wide range of complexity.

math.GT↗

arXiv2013

Positive Links

Given a link L in the 3-sphere, we ask whether the components of L bound disjoint, nullhomologous disks properly embedded in a simply-connected positive-definite smooth 4-manifold; the knot case has been studied extensively in work of Cochran-Harvey-Horn. Such a 4-manifold is necessarily homeomorphic to a (punctured) connected sum of CP(2)'s. We characterize all links that are slice in a (punctured) connected sum of CP(2)'s in terms of ribbon moves and an operation which we call adding a generalized positive crossing. We find obstructions in the form of the Levine-Tristram signature function, the signs of the first author's generalized Sato-Levine invariants, and certain Milnor's invariants. We show that the signs of coefficients of the Conway polynomial obstruct a 2-component link from being slice in a single punctured CP(2) and conjecture these are obstructions in general. These results have applications to the question of when a 3-manifold bounds a 4-manifold whose intersection form is that of some connected sum of CP(2)'s. For example, we show that any homology 3-sphere is cobordant, via a smooth positive definite manifold, to a connected sum of surgeries on knots in the 3-sphere.

math.GT↗

arXiv2012

Structure in the bipolar filtration of topologically slice knots

Let T denote the group of smooth concordance classes of topologically sice knots. We show that the first quotient in the bipolar filtration of T (i.e. 0-bipolar knots modulo 1-bipolar knots) has infinite rank, even modulo Alexander polynomial one knots. Any 0-bipolar knot has vanishing tau-, epsilon-, and s-invariants. We prove the result using d-invariants associated to the 2-fold branched covers of knot complements.

math.GT↗

arXiv2012

Homology cobordism and Seifert fibered 3-manifolds

It is known that every closed oriented 3-manifold is homology cobordant to a hyperbolic 3-manifold. By contrast we show that many homology cobordism classes contain no Seifert fibered 3-manifold. This is accomplished by determining the isomorphism type of the rational cohomology ring of all Seifert fibered 3-manifolds with no 2-torsion in their first homology. Then we exhibit families of examples of 3-manifolds (obtained by surgery on links), with fixed linking form and cohomology ring, that are not homology cobordant to any Seifert fibered space (as shown by their rational cohomology ring). These examples are shown to represent distinct homology cobordism classes using higher Massey products and Milnor's u-invariants for links.

math.GT↗

arXiv2011

Higher-order signature cocycles for subgroups of mapping class groups and homology cylinders

We define families of invariants for elements of the mapping class group of S, a compact orientable surface. Fix any characteristic subgroup H of pi_1(S) and restrict to J(H), any subgroup of mapping classes that induce the identity modulo H. To any unitary representation, r of pi_1(S)/H we associate a higher-order rho_r-invariant and a signature 2-cocycle sigma_r. These signature cocycles are shown to be generalizations of the Meyer cocycle. In particular each rho_r is a quasimorphism and each sigma_r is a bounded 2-cocycle on J(H). In one of the simplest non-trivial cases, by varying r, we exhibit infinite families of linearly independent quasimorphisms and signature cocycles. We show that the rho_r restrict to homomorphisms on certain interesting subgroups. Many of these invariants extend naturally to the full mapping class group and some extend to the monoid of homology cylinders based on S.

math.GT↗

arXiv2011

Knot concordance and homology cobordism

We consider the question: "If the zero-framed surgeries on two oriented knots in the 3-sphere are integral homology cobordant, preserving the homology class of the positive meridians, are the knots themselves concordant?" We show that this question has a negative answer in the smooth category, even for topologically slice knots. To show this we first prove that the zero-framed surgery on K is Z-homology cobordant to the zero-framed surgery on many of its winding number one satellites P(K). Then we prove that in many cases the tau and s-invariants of K and P(K) differ. Consequently neither tau nor s is an invariant of the smooth homology cobordism class of the zero-framed surgery. We also show, that a natural rational version of this question has a negative answer in both the topological and smooth categories, by proving similar results for K and its (p,1)-cables.

math.GT↗

arXiv2010

Rational knot concordance and homology cobordism

The following is a long-standing open question: "If the zero-framed surgeries on two knots in the 3-sphere are integral homology cobordant, are the knots themselves concordant?" We show that an obvious rational version of this question has a negative answer. Namely, we give examples of knots whose zero-framed surgeries are rational homology cobordant 3-manifolds, wherein the knots are not rationally concordant (that is not concordant in any rational homology S^3 x [0,1]). Specifically, we prove that, for any positive integer p and any knot K, the zero framed surgery on K is Z[1/p]-homology cobordant to the zero framed surgery on its (p,1) cable. Then we observe that most knots are not rationally concordant to their (p,1) cables.

math.GT↗

arXiv2010

Primary decomposition and the fractal nature of knot concordance

For each sequence of polynomials, P=(p_1(t),p_2(t),...), we define a characteristic series of groups, called the derived series localized at P. Given a knot K in S^3, such a sequence of polynomials arises naturally as the orders of certain submodules of the sequence of higher-order Alexander modules of K. These group series yield new filtrations of the knot concordance group that refine the (n)-solvable filtration of Cochran-Orr-Teichner. We show that the quotients of successive terms of these refined filtrations have infinite rank. These results also suggest higher-order analogues of the p(t)-primary decomposition of the algebraic concordance group. We use these techniques to give evidence that the set of smooth concordance classes of knots is a fractal set. We also show that no Cochran-Orr-Teichner knot is concordant to any Cochran-Harvey-Leidy knot.

math.GT↗

arXiv2010

2-torsion in the n-solvable filtration of the knot concordance group

In 1997 Cochran-Orr-Teichner introduced a natural filtration, called the n-solvable filtration, of the smooth knot concordance group, C. Its terms {F_n} are indexed by half integers. We show that each associated graded abelian group G_n=F_n/F_{n.5}, n>1, contains infinite linearly independent sets of elements of order 2 (this was known previously for n=0,1). Each of the representative knots is negative amphichiral, with vanishing s-invariant, tau-invariant, delta-invariants and Casson-Gordon invariants. Moreover each is smoothly slice in a rational homology 4-ball. In fact we show that there are many distinct such classes in G_n, distinguished by their classical Alexander polynomials and by the orders of elements in their higher-order Alexander modules.

math.GT↗

arXiv2009

Homological stability of series of groups

``What aspects of a group are unchanged, or stable, under homology equivalences''? The model theorem in this regard is the 1963 result of J. Stallings that the lower central series is preserved under any integral homological equivalence of groups. Various other theorems of this nature have since appeared. Stallings himself proved similar theorems for homology with rational or mod p coefficients. These involved different series of groups- variations of the lower central series. W. Dwyer generalized Stallings' integral results to larger classes of maps, work that was completed in the other cases by the authors. More recently the authors proved analogues of the theorems of Stallings and Dwyer for variations of the derived series. The above theorems are all different but clearly have much in common. Here we present a new concept, that of the stability of a subgroup, or a series of subgroups under a class of maps, that offers a framework in which all of these theorems can be viewed. We contrast it with homological localization of groups, which is a previously well-studied framework that might also be applied to these questions.

math.GT↗

arXiv2008

Knot Concordance and Higher-Order Blanchfield Duality

In 1997, T. Cochran, K. Orr, and P. Teichner defined a filtration {F_n} of the classical knot concordance group C. The filtration is important because of its strong connection to the classification of topological 4-manifolds. Here we introduce new techniques for studying C and use them to prove that, for each natural number n, the abelian group F_n/F_{n.5} has infinite rank. We establish the same result for the corresponding filtration of the smooth concordance group. We also resolve a long-standing question as to whether certain natural families of knots, first considered by Casson-Gordon and Gilmer, contain slice knots.

math.GT↗

arXiv2008

Link concordance and generalized doubling operators

We introduce a technique for showing classical knots and links are not slice. As one application we show that the iterated Bing doubles of many algebraically slice knots are not topologically slice. Some of the proofs do not use the existence of the Cheeger-Gromov bound, a deep analytical tool used by Cochran-Teichner. We define generalized doubling operators, of which Bing doubling is an instance, and prove our nontriviality results in this more general context. Our main examples are boundary links that cannot be detected in the algebraic boundary link concordance group.

math.GT↗

arXiv2007

Homology and Derived Series of Groups II: Dwyer's Theorem

We give new information about the relationship between the low-dimensional homology of a group and its derived series. This yields information about how the low-dimensional homology of a topological space constrains its fundamental group. Applications are given to detecting when a set of elements of a group generates a subgroup ``large enough'' to map onto a non-abelian free solvable group, and to concordance and grope cobordism of links. We also greatly generalize several key homological results employed in recent work of Cochran-Orr-Teichner, in the context of classical knot concordance. In 1963 J. Stallings established a strong relationship between the low-dimensional homology of a group and its lower central series quotients. In 1975 W. Dwyer extended Stallings' theorem by weakening the hypothesis on the second homology groups. The naive analogues of these theorems for the derived series are false. In 2003 the second author introduced a new characteristic series, associated to the derived series, called the torsion-free derived series. The authors previously established a precise analogue, for the torsion-free derived series, of Stallings' theorem. Here our main result is the analogue of Dwyer's theorem for the torsion-free derived series. We also prove a version of Dwyer's theorem for the rational lower central series. We apply these to give new results on the Cochran-Orr-Teichner filtration of the classical link concordance group.

math.GT↗