Differential structure

Differential structure

In mathematics, an n-dimensional differential structure (or differentiable structure) on a set M makes M into an n-dimensional differential manifold, which is a topological manifold with some additional structure that allows us to do differential calculus on the manifold. If M is already a topological manifold, we require that the new topology be identical to the existing one.



For a natural number n and some k which may be a non-negative integer or infinity, an n-dimensional Ck differential structure [1] is defined using a Ck-atlas, which is a set of bijections called charts between a collection of subsets of M (whose union is the whole of M), and a set of open subsets of \mathbb{R}^{n}:

\varphi_{i}: M\supset W_{i}\rightarrow U_{i}\subset\mathbb{R}^{n}

which are Ck-compatible (in the sense defined below):

Each such map provides a way in which certain subsets of the manifold may be viewed as being like open subsets of \mathbb{R}^{n} but the usefulness of this notion depends on to what extent these notions agree when the domains of two such maps overlap.

Consider two charts:

\varphi_{i}:W_{i}\rightarrow U_{i},\,
\varphi_{j}:W_{j}\rightarrow U_{j}.\,

The intersection of the domains of these two functions is:

W_{ij}=W_{i}\cap W_{j}\;

and is mapped to two images


by the two chart maps.

The transition map between the two charts is the map between the two images of this intersection under the two chart maps.

\varphi_{ij}:U_{ij}\rightarrow U_{ji}

Two charts \varphi_{i},\,\varphi_{j} are Ck-compatible if

U_{ij},\, U_{ji}

are open, and the transition maps


have continuous derivatives of order k. If k = 0, we only require that the transition maps are continuous, consequently a C0-atlas is simply another way to define a topological manifold. If k = ∞, derivatives of all orders must be continuous. A family of Ck-compatible charts covering the whole manifold is a Ck-atlas defining a Ck differential manifold. Two atlases are Ck-equivalent if the union of their sets of charts forms a Ck-atlas. In particular, a Ck-atlas that is C0-compatible with a C0-atlas that defines a topological manifold is said to determine a Ck differential structure on the topological manifold. The Ck equivalence classes of such atlases are the distinct Ck differential structures of the manifold. Each distinct differential structure is determined by a unique maximal atlas, which is simply the union of all atlases in the equivalence class.

For simplification of language, without any loss of precision, one might just call a maximal Ck−atlas on a given set a Ck−manifold. This maximal atlas then uniquely determines both the topology and the underlying set, the latter being the union of the domains of all charts, and the former having the set of all these domains as a basis.

Existence and uniqueness theorems

For 0 < k < ∞ and any n−dimensional Ck−manifold, the maximal atlas contains a C−atlas on the same underlying set by a theorem due to Whitney. However, a given maximal Ck−atlas contains distinct maximal C−atlases whenever n > 0. Anyway, there is a C−diffeomorphism between any two of these distinct C−atlases. Thus there is only one class of pairwise smoothly diffeomorphic smooth, i.e. C−structures in a Ck−manifold. A bit loosely, one might express this by saying that the smooth structure is (essentially) unique. The case for k = 0 is different. Namely, there exist topological manifolds which admit no C1−structure, a result proved by Kervaire (1960),[2] and later explained in the context of Donaldson's theorem (compare Hilbert's fifth problem).

Smooth structures on a orientable manifold are usually counted modulo orientation-preserving smooth homeomorphisms. There then arises the question whether orientation-reversing diffeomorphisms exist. There is an "essentially unique" smooth structure for any topological manifold of dimension smaller than 4. For compact manifolds of dimension greater than 4, there is a finite number of "smooth types", i.e. equivalence classes of pairwise smoothly diffeomorphic smooth structures. In the case of Rn with n ≠ 4, the number of these types in one, whereas for n = 4, there are uncountably many such types. One refers to these by exotic R4.

Differential structures on spheres of dimension from 1 to 20

The following table lists the number of smooth types of the topological m−sphere Sm for the values of the dimension m from 1 up to 20. Spheres with a smooth, i.e. C−differential structure not smoothly diffeomorphic to the usual one are known as exotic spheres.

Dimension 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
Smooth types 1 1 1  ? 1 1 28 2 8 6 992 1 3 2 16256 2 16 16 523264 24

It is not currently known how many smooth types the topological 4-sphere S4 has, except that there is at least one. There may be one, a finite number, or an infinite number. The claim that there is just one is known as the smooth Poincaré conjecture (see generalized Poincaré conjecture). Most mathematicians believe that this conjecture is false, i.e. that S4 has more than one smooth type. The problem is connected with the existence of more than one smooth type of the topological 4-disk (or 4-ball).

Differential structures on topological manifolds

As mentioned above, in dimensions smaller than 4, there is only one differential structure for each topological manifold. That was proved by Johann Radon for dimension 1 and 2, and by Edwin E. Moise in dimension 3.[citation needed] By using Obstruction theory, Robion Kirby and Laurent Siebenmann [3] were able to show that the number of PL structures for compact topological manifolds of dimension greater than 4 is finite. John Milnor, Michel Kervaire, and Morris Hirsch proved that the number of smooth structures on a compact PL manifold is finite and agrees with the number of differential structures on the sphere for the same dimension (see the book Asselmeyer-Maluga, Brans chapter 7) By combining these results, the number of smooth structures on a compact topological manifold of dimension not equal to 4 is finite.

Dimension 4 is more complicated. For compact manifolds, results depend on the complexity of the manifold as measured by the second Betti number b2. For large Betti numbers b2 > 18 in a simply connected 4-manifold, one can use a surgery along a knot or link to produce a new differential structure. With the help of this procedure one can produce countably infinite many differential structures. But even for simple spaces like S^4, {\mathbb C}P^2,... one doesn't know the construction of other differential structures. For non-compact 4-manifolds there are many examples like {\mathbb R}^4,S^3\times {\mathbb R},M^3\setminus\{*\},... having uncountably many differential structures.

In 2010, Akhmedov and Park constructed infinitely many non-diffeomorphic smooth structures on S^2 \times S^2.[4]

See also


  1. ^ Hirsch, Morris, Differential Topology, Springer (1997), ISBN 0-387-90148-5. for a general mathematical account of differential structures
  2. ^ Kervaire (1960), "A manifold which does not admit any differentiable structure", Coment. Math. Helv. 34: 257–270 
  3. ^ Kirby, Robion C. and Siebenmann, Laurence C., Foundational Essays on Topological Manifolds. Smoothings, and Triangulations. Princeton, New Jersey: Princeton University Press (1977), ISBN 0-691-08190-5.
  4. ^ Amar Akhmedov, B. Doug Park, Exotic Smooth Structures On S^2 x S^2, http://arxiv.org/abs/1005.3346

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Differential execution — refers to a method of executing a computer subroutine (See control flow) in such a way that differences from prior executions can be detected and acted upon. If the subroutine is one that walks through a data structure, differential execution can …   Wikipedia

  • Structure formation — refers to a fundamental problem in physical cosmology. The universe, as is now known from observations of the cosmic microwave background radiation, began in a hot, dense, nearly uniform state approximately 13.7 Gyr ago. [cite journal |author=D.… …   Wikipedia

  • Structure tensor — Structure tensors (or second moment matrices) are matrix representations of partial derivatives. In the field of image processing and computer vision, they are typically used to represent gradients, edges or similar information. Structure tensors …   Wikipedia

  • Differential geometry — A triangle immersed in a saddle shape plane (a hyperbolic paraboloid), as well as two diverging ultraparallel lines. Differential geometry is a mathematical discipline that uses the techniques of differential and integral calculus, as well as… …   Wikipedia

  • Differential geometry of surfaces — Carl Friedrich Gauss in 1828 In mathematics, the differential geometry of surfaces deals with smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives:… …   Wikipedia

  • Differential topology — In mathematics, differential topology is the field dealing with differentiable functions on differentiable manifolds. It is closely related to differential geometry and together they make up the geometric theory of differentiable manifolds.… …   Wikipedia

  • Differential form — In the mathematical fields of differential geometry and tensor calculus, differential forms are an approach to multivariable calculus that is independent of coordinates. Differential forms provide a better[further explanation needed] definition… …   Wikipedia

  • Differential algebra — In mathematics, differential rings, differential fields, and differential algebras are rings, fields, and algebras equipped with a derivation, which is a unary function that is linear and satisfies the Leibniz product law. A natural example of a… …   Wikipedia

  • Differential graded algebra — In mathematics, in particular abstract algebra and topology, a differential graded algebra is a graded algebra with an added chain complex structure that respects the algebra structure. Contents 1 Definition 2 Examples of DGAs 3 Other facts about …   Wikipedia

  • Differential (infinitesimal) — For other uses of differential in calculus, see differential (calculus), and for more general meanings, see differential. In calculus, a differential is traditionally an infinitesimally small change in a variable. For example, if x is a variable …   Wikipedia

Share the article and excerpts

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