We propose and analyze a structure with which to organize the difference between a knot in
bounding a topologically
embedded –disk
in
and it bounding a smoothly embedded disk. The
–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
–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,
, that is simultaneously a
refinement of the –solvable
filtration and a generalization of notions of positivity studied by Gompf and Cochran. We show
that each
has infinite rank. But our primary interest is in the induced filtration,
, on the
subgroup, ,
of knots that are topologically slice. We prove that
is large, detected by gauge-theoretic invariants and the
,
,
–invariants, while the
nontriviality of can be
detected by certain –invariants.
All of these concordance obstructions vanish for knots in
.
Nonetheless, going beyond this, our main result is that
has
positive rank. Moreover under a “weak homotopy-ribbon” condition, we show that
each
has positive rank. These results suggest that, even among topologically slice knots,
the fundamental group is responsible for a wide range of complexity.