Assembly map explained
In mathematics, assembly maps are an important concept in geometric topology. From the homotopy-theoretical viewpoint, an assembly map is a universal approximation of a homotopy invariant functor by a homology theory from the left. From the geometric viewpoint, assembly maps correspond to 'assemble' local data over a parameter space together to get global data.
Assembly maps for algebraic K-theory and L-theory play a central role in the topology of high-dimensional manifolds, since their homotopy fibers have a direct geometric
Homotopy-theoretical viewpoint
on the
category of topological spaces (assumed to be homotopy equivalent to
CW-complexes), there is a
spectrum
such that
h*(X)\cong\pi*(X+\wedgeE),
where
.
The functor
from spaces to spectra has the following properties:
- It is homotopy-invariant (preserves homotopy equivalences). This reflects the fact that
is homotopy-invariant.
- It preserves homotopy co-cartesian squares. This reflects the fact that
has
Mayer-Vietoris sequences, an equivalent characterization of excision.
- It preserves arbitrary coproducts. This reflects the disjoint-union axiom of
.A functor from spaces to spectra fulfilling these properties is called
excisive.
Now suppose that
is a homotopy-invariant, not necessarily excisive functor. An assembly map is a
natural transformation
from some excisive functor
to
such that
is a homotopy equivalence.
If we denote by
the associated homology theory, it follows that the induced natural transformation of graded
abelian groups
is the universal transformation from a homology theory to
, i.e. any other transformation
from some homology theory
factors uniquely through a transformation of homology theories
.
Assembly maps exist for any homotopy invariant functor, by a simple homotopy-theoretical construction.
Geometric viewpoint
As a consequence of the Mayer-Vietoris sequence, the value of an excisive functor on a space
only depends on its value on 'small' subspaces of
, together with the knowledge how these small subspaces intersect. In a cycle representation of the associated homology theory, this means that all cycles must be representable by small cycles. For instance, for
singular homology, the excision property is proved by subdivision of
simplices, obtaining sums of small simplices representing arbitrary homology classes.
In this spirit, for certain homotopy-invariant functors which are not excisive, the corresponding excisive theory may be constructed by imposing 'control conditions', leading to the field of controlled topology. In this picture, assembly maps are 'forget-control' maps, i.e. they are induced by forgetting the control conditions.
Importance in geometric topology
Assembly maps are studied in geometric topology mainly for the two functors
, algebraic
L-theory of
, and
,
algebraic K-theory of spaces of
. In fact, the homotopy fibers of both assembly maps have a direct geometric interpretation when
is a compact topological manifold. Therefore, knowledge about the geometry of compact topological manifolds may be obtained by studying
- and
-theory and their respective assembly maps.
In the case of
-theory, the homotopy fiber
of the corresponding assembly map
, evaluated at a compact topological manifold
, is homotopy equivalent to the space of block structures of
. Moreover, the fibration sequence
induces a long exact sequence of homotopy groups which may be identified with the
surgery exact sequence of
. This may be called the
fundamental theorem of surgery theory and was developed subsequently by
William Browder,
Sergei Novikov,
Dennis Sullivan,
C. T. C. Wall,
Frank Quinn, and
Andrew Ranicki.
For
-theory, the homotopy fiber
of the corresponding assembly map is homotopy equivalent to the space of stable
h-cobordisms on
. This fact is called the
stable parametrized h-cobordism theorem, proven by Waldhausen-Jahren-Rognes. It may be viewed as a parametrized version of the classical theorem which states that equivalence classes of h-cobordisms on
are in 1-to-1 correspondence with elements in the
Whitehead group of
.