
We give characterizations of the skein polynomial for links (as well as Jones
and AlexanderConway polynomials derivable from it), avoiding the usual
"smoothing of a crossing" move. As byproducts we have characterizations of
these polynomials for knots, and for links with any given number of components.

The Conway potential function (CPF) for colored links is a convenient version
of the multivariable AlexanderConway polynomial. We give a skein
characterization of CPF, much simpler than the one by Murakami. In particular,
Conway's `smoothing of crossings' is not in the axioms. The proof uses a
reduction scheme in a twisted groupalgebra $\mathbb P_nB_n$, where $B_n$ is a
braid group and $\mathbb P_n$ is a domain of multivariable rational fractions.
The proof does not use computer algebra tools. An interesting byproduct is a
characterization of the AlexanderConway polynomial of knots.

The forcing relation of braids has been introduced for a 2dimensional
analogue of the Sharkovskii order on periods for maps of the interval. In this
paper, by making use of the Nielsen fixed point theory and a representation of
braid groups, we deduce a trace formula for the computation of the forcing
order.

Solenoids are ``inverse limits'' of the circle, and the classical knot theory
is the theory of tame embeddings of the circle into the 3space. We give some
general study, including certain classification results, of tame embeddings of
solenoids into the 3space as the ``inverse limits'' of the tame embeddings of
the circle.
Some applications are discussed. In particular, there are ``tamely'' embedded
solenoids $\Sigma\subset \R^3$ which are strictly achiral. Since solenoids are
nonplanar, this contrasts sharply with the known fact that if there is a
strictly achiral embedding $Y\subset \R^3$ of a compact polyhedron $Y$, then
$Y$ must be planar.

A quick proof of Bing's theorem indicated by the title is given. The proof
also concludes Gumerov's result on covering degrees of solenoids.

We say a knot $k$ in the 3sphere $\mathbb S^3$ has {\it Property $IE$} if
the infinite cyclic cover of the knot exterior embeds into $\mathbb S^3$.
Clearly all fibred knots have Property $IE$.
There are infinitely many nonfibred knots with Property $IE$ and infinitely
many nonfibred knots without property $IE$. Both kinds of examples are
established here for the first time. Indeed we show that if a genus 1
nonfibred knot has Property $IE$, then its Alexander polynomial $\Delta_k(t)$
must be either 1 or $2t^25t+2$, and we give two infinite families of
nonfibred genus 1 knots with Property $IE$ and having $\Delta_k(t)=1$ and
$2t^25t+2$ respectively.
Hence among genus one nonfibred knots, no alternating knot has Property
$IE$, and there is only one knot with Property $IE$ up to ten crossings.
We also give an obstruction to embedding infinite cyclic covers of a compact
3manifold into any compact 3manifold.

Motivated by the study in Morse theory and Smale's work in dynamics, the
following questions are studied and answered: (1) When does a 3manifold admit
an automorphism having a knotted Smale solenoid as an attractor? (2) When does
a 3manifold admit an automorphism whose nonwandering set consists of Smale
solenoids? The result presents some intrinsic symmetries for a class of
3manifolds.

We will develop various methods, some are of geometric nature and some are of
algebraic nature, to detect the various achiralities of knots and links in
$S^3$. For example, we show that the twisted Whitehead double of a knot is
achiral if and only if the double is the unknot or the figure eight knot, and
we show that all nontrivial links with $\leq9$ crossings are not achiral
except the Borromean rings. A simple procedure for calculating the
$\eta$function is given in terms of a crossing change formula and its initial
values.

The Nielsen Conjecture for Homeomorphisms asserts that any homeomorphism $f$
of a closed manifold is isotopic to a map realizing the Nielsen number of $f$,
which is a lower bound for the number of fixed points among all maps homotopic
to $f$. The main theorem of this paper proves this conjecture for all
orientation preserving maps on geometric or Haken 3manifolds. It will also be
shown that on many manifolds all maps are isotopic to fixed point free maps.
The proof is based on the understanding of homeomorphisms on 2orbifolds and
3manifolds. Thurston's classification of surface homeomorphisms will be
generalized to 2dimensional orbifolds, which is used to study fiber preserving
maps of Seifert fiber spaces. Maps on most Seifert fiber spaces are indeed
isotopic to fiber preserving maps, with the exception of four manifolds and
orientation reversing maps on lens spaces or $S^3$. It will also be determined
exactly which manifolds have a unique Seifert fibration up to isotopy. These
informations will be used to deform a map to certain standard map on each piece
of the JSJ decomposition, as well as on the neighborhood of the decomposition
tori, which will make it possible to shrink each fixed point class to a single
point, and remove inessential fixed point classes.