60 research outputs found
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.Comment: 38 pages. This is final version for publication in IMRN, deleted some
material and many references (sorry-at referee's insistence
Grope metrics on the knot concordance set
To a special type of grope embedded in 4-space, that we call a branchsymmetric grope, we associate a length function for each real number q ≥ 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 signatures. This gives further evidence in favor of the conjecture that the knot concordance group has a fractal structure
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.Comment: 26 pages. In this version, we have included a new proof of part of
the main theorem. The new proof is somewhat simpler and stays entirely in the
world of group homology and homological algebra rather than using
Eilenberg-Mac Lane spaces. Other minor corrections. This is the final version
to appear in Geometry & Topolog
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.Comment: Corrected Figure in Example 8.4, Added Remark 5.11 pointing out an
important strengthening of Theorem 5.9 that is needed in a subsequent pape
Derivatives of Knots and Second-order Signatures
We define a set of "second-order" L^(2)-signature invariants for any
algebraically slice knot. These obstruct a knot's being a slice knot and
generalize Casson-Gordon invariants, which we consider to be "first-order
signatures". As one application we prove: If K is a genus one slice knot then,
on any genus one Seifert surface, there exists a homologically essential simple
closed curve of self-linking zero, which has vanishing zero-th order signature
and a vanishing first-order signature. This extends theorems of Cooper and
Gilmer. We introduce a geometric notion, that of a derivative of a knot with
respect to a metabolizer. We also introduce a new equivalence relation,
generalizing homology cobordism, called null-bordism.Comment: 40 pages, 22 figures, typographical corrections, to appear in Alg.
Geom. Topolog
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.Comment: 41 pages, slightly revised introduction, minor corrections and
up-dated references, this is the final version to appear in Geometry and
Topolog
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.Comment: 45 pages. Final version. Changed figures 1.3 and 4.2. Expanded Remark
5.4. Fixed typos and made other minor changes. Some of the results are
renumbered. Updates references. Note: All results except Cor. 4.8, Ex. 4.4,
Ex. 4.6, Lemmas 6.4, 6.5 appeared previously in 0705.3987 under different
title: Knot concordance and Blanchfield dualit
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.Comment: 60 pages, added 4 pages to introduction, minor corrections otherwise;
Math. Annalen 201
- …