Differential structure

Last updated April 24, 2024

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 for differential calculus on the manifold. If M is already a topological manifold, it is required that the new topology be identical to the existing one.

Definition

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

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

which are C^k-compatible (in the sense defined below):

Each chart allows a subset of the manifold to be viewed as an open subset of $\mathbb {R} ^{n}$ , but the usefulness of this depends on how much the charts agree when their domains overlap.

Consider two charts:

\varphi _{i}:W_{i}\rightarrow U_{i},

\varphi _{j}:W_{j}\rightarrow U_{j}.

The intersection of their domains is

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

whose images under the two charts are

U_{ij}=\varphi _{i}\left(W_{ij}\right),

U_{ji}=\varphi _{j}\left(W_{ij}\right).

The transition map between the two charts translates between their images on their shared domain:

\varphi _{ij}:U_{ij}\rightarrow U_{ji}

\varphi _{ij}(x)=\varphi _{j}\left(\varphi _{i}^{-1}\left(x\right)\right).

Two charts $\varphi _{i},\,\varphi _{j}$ are C^k-compatible if

U_{ij},\,U_{ji}

are open, and the transition maps

\varphi _{ij},\,\varphi _{ji}

have continuous partial derivatives of order k. If k = 0, we only require that the transition maps are continuous, consequently a C⁰-atlas is simply another way to define a topological manifold. If k = ∞, derivatives of all orders must be continuous. A family of C^k-compatible charts covering the whole manifold is a C^k-atlas defining a C^k differential manifold. Two atlases are C^k-equivalent if the union of their sets of charts forms a C^k-atlas. In particular, a C^k-atlas that is C⁰-compatible with a C⁰-atlas that defines a topological manifold is said to determine a C^k differential structure on the topological manifold. The C^k equivalence classes of such atlases are the distinct C^k 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 C^k−atlas on a given set a C^k−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 any integer k > 0 and any n−dimensional C^k−manifold, the maximal atlas contains a C^∞−atlas on the same underlying set by a theorem due to Hassler Whitney. It has also been shown that any maximal C^k−atlas contains some number of distinct maximal C^∞−atlases whenever n > 0, although for any pair of these distinctC^∞−atlases there exists a C^∞−diffeomorphism identifying the two. It follows that there is only one class of smooth structures (modulo pairwise smooth diffeomorphism) over any topological manifold which admits a differentiable structure, i.e. The C^∞−, structures in a C^k−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 C¹−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 an 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 Rⁿ with n ≠ 4, the number of these types is one, whereas for n = 4, there are uncountably many such types. One refers to these by exotic R⁴.

Differential structures on spheres of dimension 1 to 20

The following table lists the number of smooth types of the topological m−sphere S^m 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	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 S⁴ 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 S⁴ 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 Tibor Radó for dimension 1 and 2, and by Edwin E. Moise in dimension 3.^[3] By using obstruction theory, Robion Kirby and Laurent C. Siebenmann were able to show that the number of PL structures for compact topological manifolds of dimension greater than 4 is finite.^[4] 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 b₂. For large Betti numbers b₂ > 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 such as $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^{4}\smallsetminus \{*\},...$ having uncountably many differential structures.

Related Research Articles

In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which concerns the geometric properties of smooth manifolds, including notions of size, distance, and rigid shape. By comparison differential topology is concerned with coarser properties, such as the number of holes in a manifold, its homotopy type, or the structure of its diffeomorphism group. Because many of these coarser properties may be captured algebraically, differential topology has strong links to algebraic topology.

In mathematics, the tangent space of a manifold is a generalization of tangent lines to curves in two-dimensional space and tangent planes to surfaces in three-dimensional space in higher dimensions. In the context of physics the tangent space to a manifold at a point can be viewed as the space of possible velocities for a particle moving on the manifold.

In mathematics, particularly topology, an atlas is a concept used to describe a manifold. An atlas consists of individual charts that, roughly speaking, describe individual regions of the manifold. In general, the notion of atlas underlies the formal definition of a manifold and related structures such as vector bundles and other fiber bundles.

In differential geometry, a Riemannian manifold or Riemannian space(M, g), so called after the German mathematician Bernhard Riemann, is a real, smooth manifold M equipped with a positive-definite inner product g_p on the tangent space T_pM at each point p.

<span class="mw-page-title-main">Fiber bundle</span> Continuous surjection satisfying a local triviality condition

In mathematics, and particularly topology, a fiber bundle is a space that is locally a product space, but globally may have a different topological structure. Specifically, the similarity between a space $and a product space is defined using a continuous surjective map, that in small regions of behaves just like a projection from corresponding regions of to The map called the projection or submersion of the bundle, is regarded as part of the structure of the bundle. The space is known as the total space of the fiber bundle, as the base space, and the fiber .$

In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.

In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product $of a space with a group . In the same way as with the Cartesian product, a principal bundle is equipped with$

An action of $on, analogous to for a product space.$
A projection onto $. For a product space, this is just the projection onto the first factor, .$

In mathematics, a submersion is a differentiable map between differentiable manifolds whose differential is everywhere surjective. This is a basic concept in differential topology. The notion of a submersion is dual to the notion of an immersion.

<span class="mw-page-title-main">Foliation</span> In mathematics, a type of equivalence relation on an n-manifold

In mathematics, a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rⁿ into the cosets x + R^p of the standardly embedded subspace R^p. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable, or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class C^r it is usually understood that r ≥ 1. The number p is called the dimension of the foliation and q = n − p is called its codimension.

In mathematics, a submanifold of a manifold $is a subset which itself has the structure of a manifold, and for which the inclusion map satisfies certain properties. There are different types of submanifolds depending on exactly which properties are required. Different authors often have different definitions.$

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an $-dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.$

In topology, a branch of mathematics, a topological manifold is a topological space that locally resembles real n-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds are topological manifolds by definition. Other types of manifolds are formed by adding structure to a topological manifold. Every manifold has an "underlying" topological manifold, obtained by simply "forgetting" the added structure. However, not every topological manifold can be endowed with a particular additional structure. For example, the E8 manifold is a topological manifold which cannot be endowed with a differentiable structure.

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

In mathematics, an exotic $is a differentiable manifold that is homeomorphic but not diffeomorphic to the Euclidean space The first examples were found in 1982 by Michael Freedman and others, by using the contrast between Freedman's theorems about topological 4-manifolds, and Simon Donaldson's theorems about smooth 4-manifolds. There is a continuum of non-diffeomorphic differentiable structures of as was shown first by Clifford Taubes.$

In mathematics, a Banach manifold is a manifold modeled on Banach spaces. Thus it is a topological space in which each point has a neighbourhood homeomorphic to an open set in a Banach space. Banach manifolds are one possibility of extending manifolds to infinite dimensions.

In differential geometry, in the category of differentiable manifolds, a fibered manifold is a surjective submersion

In 4-dimensional topology, a branch of mathematics, Rokhlin's theorem states that if a smooth, orientable, closed 4-manifold M has a spin structure, then the signature of its intersection form, a quadratic form on the second cohomology group $, is divisible by 16. The theorem is named for Vladimir Rokhlin, who proved it in 1952.$

The Yamabe problem refers to a conjecture in the mathematical field of differential geometry, which was resolved in the 1980s. It is a statement about the scalar curvature of Riemannian manifolds:

Let $(M, g)$ be a closed smooth Riemannian manifold. Then there exists a positive and smooth function $f$ on $M$ such that the Riemannian metric $fg$ has constant scalar curvature.

In geometry, if X is a manifold with an action of a topological group G by analytical diffeomorphisms, the notion of a (G, X)-structure on a topological space is a way to formalise it being locally isomorphic to X with its G-invariant structure; spaces with a (G, X)-structure are always manifolds and are called (G, X)-manifolds. This notion is often used with G being a Lie group and X a homogeneous space for G. Foundational examples are hyperbolic manifolds and affine manifolds.

In mathematics, calculus on Euclidean space is a generalization of calculus of functions in one or several variables to calculus of functions on Euclidean space $as well as a finite-dimensional real vector space. This calculus is also known as advanced calculus, especially in the United States. It is similar to multivariable calculus but is somewhat more sophisticated in that it uses linear algebra more extensively and covers some concepts from differential geometry such as differential forms and Stokes' formula in terms of differential forms. This extensive use of linear algebra also allows a natural generalization of multivariable calculus to calculus on Banach spaces or topological vector spaces.$

References

↑ Hirsch, Morris, Differential Topology, Springer (1997), ISBN 0-387-90148-5. for a general mathematical account of differential structures
↑ Kervaire, Michel (1960). "A manifold which does not admit any differentiable structure". Commentarii Mathematici Helvetici . 34: 257–270. doi:10.1007/BF02565940.
↑ Moise, Edwin E. (1952). "Affine structures in 3-manifolds. V. The triangulation theorem and Hauptvermutung". Annals of Mathematics . Second Series. 56 (1): 96–114. doi:10.2307/1969769. JSTOR 1969769. MR 0048805.
↑ Kirby, Robion C.; Siebenmann, Laurence C. (1977). Foundational Essays on Topological Manifolds. Smoothings, and Triangulations . Princeton, New Jersey: Princeton University Press. ISBN 0-691-08190-5.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Hirsch, Morris, Differential Topology, Springer (1997), ISBN 0-387-90148-5. for a general mathematical account of differential structures

[2] Kervaire, Michel (1960). "A manifold which does not admit any differentiable structure". Commentarii Mathematici Helvetici . 34: 257–270. doi:10.1007/BF02565940.

[3] Moise, Edwin E. (1952). "Affine structures in 3-manifolds. V. The triangulation theorem and Hauptvermutung". Annals of Mathematics . Second Series. 56 (1): 96–114. doi:10.2307/1969769. JSTOR 1969769. MR 0048805.

[4] Kirby, Robion C.; Siebenmann, Laurence C. (1977). Foundational Essays on Topological Manifolds. Smoothings, and Triangulations . Princeton, New Jersey: Princeton University Press. ISBN 0-691-08190-5.

[1]

[2]

[3]

[4]