Maps of manifolds

Maps of manifolds
A Morin surface, an immersion used in sphere eversion.

In mathematics, more specifically in differential geometry and topology, various types of functions between manifolds are studied, both as objects in their own right and for the light they shed

Contents

Types of maps

Just as there are various types of manifolds, there are various types of maps of manifolds.

PDIFF serves to relate DIFF and PL, and it is equivalent to PL.

In geometric topology, the basic types of maps correspond to various categories of manifolds: DIFF for smooth functions between differentiable manifolds, PL for piecewise linear functions between piecewise linear manifolds, and TOP for continuous functions between topological manifolds. These are progressively weaker structures, properly connected via PDIFF, the category of piecewise-smooth maps between piecewise-smooth manifolds.

In addition to these general categories of maps, there are maps with special properties; these may or may not form categories, and may or may not be generally discussed categorically.

The right-handed trefoil knot.

In geometric topology a basic type are embeddings, of which knot theory is a central example, and generalizations such as immersions, submersions, covering spaces, and ramified covering spaces. Basic results include the Whitney embedding theorem and Whitney immersion theorem.

Riemann surface for the function ƒ(z) = √z, shown as a ramified covering space of the complex plane.

In complex geometry, ramified covering spaces are used to model Riemann surfaces, and to analyze maps between surfaces, such as by the Riemann–Hurwitz formula.

In Riemannian geometry, one may ask for maps to preserve the Riemannian metric, leading to notions of isometric embeddings, isometric immersions, and Riemannian submersions; a basic result is the Nash embedding theorem.

Scalar-valued functions

3D color plot of the spherical harmonics of degree n = 5

A basic example of maps between manifolds are scalar-valued functions on a manifold, \scriptstyle f\colon M \to \mathbb{R} or \scriptstyle f\colon M \to \mathbb{C}, sometimes called regular functions or functionals, by analogy with algebraic geometry or linear algebra. These are of interest both in their own right, and to study the underlying manifold.

In geometric topology, most commonly studied are Morse functions, which yield handlebody decompositions, which generalize to Morse–Bott functions and can be used for instance to understand classical groups, such as in Bott periodicity.

In mathematical analysis, one often studies solution to partial differential equations, an important example of which is harmonic analysis, where one studies harmonic functions: the kernel of the Laplace operator. This leads to such functions as the spherical harmonics, and to heat kernel methods of studying manifolds, such as hearing the shape of a drum and some proofs of the Atiyah–Singer index theorem.

The monodromy around a singularity or branch point is an important part of analyzing such functions.

Curves and paths

A geodesic on an American football illustrating the proof of Gromov's filling area conjecture in systolic geometry, in the hyperelliptic case (see explanation).

Dual to scalar-valued functions – maps \scriptstyle M \to \mathbb{R} – are maps \scriptstyle \mathbb{R} \to M, which correspond to curves or paths in a manifold. One can also define these where the domain is an interval [a,b], especially the unit interval [0,1], or where the domain is a circle (equivalently, a periodic path) S1, which yields a loop. These are used to define the fundamental group, chains in homology theory, geodesic curves, and systolic geometry.

Embedded paths and loops lead to knot theory, and related structures such as links, braids, and tangles.

Metric spaces

Riemannian manifolds are special cases of metric spaces, and thus one has a notion of Lipschitz continuity, Hölder condition, together with a coarse structure, which leads to notions such as coarse maps and connections with geometric group theory.

See also


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Classification of manifolds — In mathematics, specifically geometry and topology, the classification of manifolds is a basic question, about which much is known, and many open questions remain. Contents 1 Main themes 1.1 Overview 1.2 Different categories and additional… …   Wikipedia

  • Category of manifolds — In mathematics, the category of manifolds, often denoted Man p , is the category whose objects are manifolds of smoothness class C p and whose morphisms are p times continuously differentiable maps. This is a category because the composition of… …   Wikipedia

  • Open and closed maps — In topology, an open map is a function between two topological spaces which maps open sets to open sets.[1] That is, a function f : X → Y is open if for any open set U in X, the image f(U) is open in Y. Likewise, a closed map is a function… …   Wikipedia

  • G-Maps — Carte généralisée Une carte généralisée est un modèle topologique qui permet de représenter et de manipuler des objets subdivisés. Ce modèle a été défini à partir du modèle des cartes combinatoires afin de pouvoir représenter des objets avec ou… …   Wikipédia en Français

  • G Maps — Carte généralisée Une carte généralisée est un modèle topologique qui permet de représenter et de manipuler des objets subdivisés. Ce modèle a été défini à partir du modèle des cartes combinatoires afin de pouvoir représenter des objets avec ou… …   Wikipédia en Français

  • Manifold — For other uses, see Manifold (disambiguation). The sphere (surface of a ball) is a two dimensional manifold since it can be represented by a collection of two dimensional maps. In mathematics (specifically in differential geometry and topology),… …   Wikipedia

  • Differentiable manifold — A nondifferentiable atlas of charts for the globe. The results of calculus may not be compatible between charts if the atlas is not differentiable. In the middle chart the Tropic of Cancer is a smooth curve, whereas in the first it has a sharp… …   Wikipedia

  • Hilbert manifold — In mathematics, a Hilbert manifold is a manifold modeled on Hilbert spaces. Thus it is a separable Hausdorff space in which each point has a neighbourhood homeomorphic to an infinite dimensional Hilbert space. The concept of a Hilbert manifold… …   Wikipedia

  • Inverse function theorem — In mathematics, specifically differential calculus, the inverse function theorem gives sufficient conditions for a function to be invertible in a neighborhood of a point in its domain. The theorem also gives a formula for the derivative of the… …   Wikipedia

  • Harmonic map — A (smooth) map φ: M → N between Riemannian manifolds M and N is called harmonic if it is a critical point of the energy functional E (φ).This functional E will be defined precisely below mdash;one way of understanding it is to imagine that M is… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”