Transversal mapping
transversally-regular mapping
A mapping with certain properties of general position.
Let be a vector bundle over a finite cellular space
, and let the total space of
be imbedded as an open subset in some topological space
. Then a continuous mapping
, where
is a smooth manifold, is called a transversal mapping to
if
is a smooth submanifold of
with normal bundle
and if the restriction of
to a tubular neighbourhood of
in
defines a morphism of bundles
.
For example, let be a smooth mapping of smooth manifolds, and let
be a smooth submanifold of
. If the differential
(where
is the tangent bundle) contains in its image all vectors normal to
in
of the bundle
, then
is a transversal mapping (cf. also Transversality).
The approximation theorem [1]: The transversal mappings form a set of the second category in the set of all continuous mappings . Moreover, any continuous mapping is homotopic to a transversal mapping. This theorem enables one to associate with algebraic invariants (homotopy classes of mappings) descriptive geometric forms (certain equivalence classes of manifolds that are pre-images under transversal mappings). This association also goes in the other direction, namely from geometry to algebra. Along these lines, various bordism groups, for example, have been calculated, smooth manifolds of given homotopy type have been classified, etc.
The notion of a transversal mapping can be carried over to the categories of piecewise-linear and topological manifolds and -bundles. Furthermore, in the piecewise-linear category the approximation theorem holds; see [3]. Also, in the topological category every continuous mapping is homotopic to a transversal one; this was proved for
in [4] and for
in [5], based on a subsequently proved, difficult result of [6]. The notion of a transversal mapping can also be formulated for infinite-dimensional manifolds.
References
[1] | R. Thom, "Un lemma sur les applications différentiables" Bol. Soc. Mat. Mex. , 1 (1956) pp. 59–71 |
[2] | W.B. Browder, "Surgery on simply connected manifolds" , Springer (1972) |
[3] | R. Williamson, "Cobordism of combinatorial manifolds" Ann. of Math. , 83 (1966) pp. 1–33 |
[4] | R.C. Kirby, L.C. Siebenmann, "Foundational essays on topological manifolds, smoothing, and triangulations" , Princeton Univ. Press (1977) |
[5] | M. Sharlemann, "Transversality theories at dimension 4" Invent. Math. , 33 (1976) pp. 1–14 |
[6] | M. Freedman, "The topology of four-dimensional manifolds" J. Diff. Geom. , 17 (1982) pp. 357–453 |
Comments
The notion of transversality is defined for arbitrary smooth mappings between smooth manifolds. If
is a smooth submanifold of
, then
is transverse to
if for every
in the pre-image
of
, the tangent space to
at
is spanned by the tangent space to
at
and the image, under the differential of
, of the tangent space to
at
. When this holds, then
is a smooth submanifold of
, and the normal bundle to
in
is the pull-back under
of the normal bundle to
in
. The approximation theorem is valid for such mappings. For the use of transversality in topology see [a1]–[a3].
References
[a1] | L.S. Pontryagin, "Smooth manifolds and their applications in homotopy theory" , Amer. Math. Soc. (1959) (Translated from Russian) |
[a2] | R. Thom, "Quelques propriétés globales des variétés différentiables" Comment. Math. Helvetica , 28 (1954) pp. 17–86 |
[a3] | M.W. Hirsch, "Differential topology" , Springer (1976) pp. 4, 78 |
Transversal mapping. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Transversal_mapping&oldid=49024