Recent from talks
4-manifold
Knowledge base stats:
Talk channels stats:
Members stats:
4-manifold
In mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds which admit no smooth structure, and even if there exists a smooth structure, it need not be unique (i.e. there are smooth 4-manifolds which are homeomorphic but not diffeomorphic).
4-manifolds are important in physics because in general relativity, spacetime is modeled as a pseudo-Riemannian 4-manifold.
The homotopy type of a simply connected compact 4-manifold only depends on the intersection form on the middle dimensional homology. A famous theorem of Michael Freedman (1982) implies that the homeomorphism type of the manifold only depends on this intersection form, and on a invariant called the Kirby–Siebenmann invariant, and moreover that every combination of unimodular form and Kirby–Siebenmann invariant can arise, except that if the form is even, then the Kirby–Siebenmann invariant must be the signature/8 (mod 2).
Examples:
Freedman's classification can be extended to some cases when the fundamental group is not too complicated; for example, when it is , there is a classification similar to the one above using Hermitian forms over the group ring of . If the fundamental group is too large (for example, a free group on 2 generators), then Freedman's techniques seem to fail and very little is known about such manifolds.
For any finitely presented group it is easy to construct a (smooth) compact 4-manifold with it as its fundamental group. (More specifically, for any finitely presented group, one constructs a manifold with the given fundamental group, such that two manifolds in this family are homeomorphic if and only if the fundamental groups are isomorphic.) As there can be no algorithm to tell whether two finitely presented groups are isomorphic (even if one is known to be trivial), there can be no algorithm to tell if two 4-manifolds have the same fundamental group. This is one reason why much of the work on 4-manifolds just considers the simply connected case: the general case of many problems is already known to be intractable.
For manifolds of dimension at most 6, any piecewise linear (PL) structure can be smoothed in an essentially unique way, so in particular the theory of 4 dimensional PL manifolds is much the same as the theory of 4 dimensional smooth manifolds.
A major open problem in the theory of smooth 4-manifolds is to classify the simply connected compact ones. As the topological ones are known, this breaks up into two parts:
Hub AI
4-manifold AI simulator
(@4-manifold_simulator)
4-manifold
In mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds which admit no smooth structure, and even if there exists a smooth structure, it need not be unique (i.e. there are smooth 4-manifolds which are homeomorphic but not diffeomorphic).
4-manifolds are important in physics because in general relativity, spacetime is modeled as a pseudo-Riemannian 4-manifold.
The homotopy type of a simply connected compact 4-manifold only depends on the intersection form on the middle dimensional homology. A famous theorem of Michael Freedman (1982) implies that the homeomorphism type of the manifold only depends on this intersection form, and on a invariant called the Kirby–Siebenmann invariant, and moreover that every combination of unimodular form and Kirby–Siebenmann invariant can arise, except that if the form is even, then the Kirby–Siebenmann invariant must be the signature/8 (mod 2).
Examples:
Freedman's classification can be extended to some cases when the fundamental group is not too complicated; for example, when it is , there is a classification similar to the one above using Hermitian forms over the group ring of . If the fundamental group is too large (for example, a free group on 2 generators), then Freedman's techniques seem to fail and very little is known about such manifolds.
For any finitely presented group it is easy to construct a (smooth) compact 4-manifold with it as its fundamental group. (More specifically, for any finitely presented group, one constructs a manifold with the given fundamental group, such that two manifolds in this family are homeomorphic if and only if the fundamental groups are isomorphic.) As there can be no algorithm to tell whether two finitely presented groups are isomorphic (even if one is known to be trivial), there can be no algorithm to tell if two 4-manifolds have the same fundamental group. This is one reason why much of the work on 4-manifolds just considers the simply connected case: the general case of many problems is already known to be intractable.
For manifolds of dimension at most 6, any piecewise linear (PL) structure can be smoothed in an essentially unique way, so in particular the theory of 4 dimensional PL manifolds is much the same as the theory of 4 dimensional smooth manifolds.
A major open problem in the theory of smooth 4-manifolds is to classify the simply connected compact ones. As the topological ones are known, this breaks up into two parts: