4-manifold

Last updated November 26, 2024

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).

Topological 4-manifolds

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 MichaelFreedman ( 1982 ) implies that the homeomorphism type of the manifold only depends on this intersection form, and on a $\mathbb {Z} /2\mathbb {Z}$ 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:

In the special case when the form is 0, this implies the 4-dimensional topological Poincaré conjecture.
If the form is the E8 lattice, this gives a manifold called the E8 manifold, a manifold not homeomorphic to any simplicial complex.
If the form is $\mathbb {Z}$ , there are two manifolds depending on the Kirby–Siebenmann invariant: one is 2-dimensional complex projective space, and the other is a fake projective space, with the same homotopy type but not homeomorphic (and with no smooth structure).
When the rank of the form is greater than about 28, the number of positive definite unimodular forms starts to increase extremely rapidly with the rank, so there are huge numbers of corresponding simply connected topological 4-manifolds (most of which seem to be of almost no interest).

Freedman's classification can be extended to some cases when the fundamental group is not too complicated; for example, when it is $\mathbb {Z}$ , there is a classification similar to the one above using Hermitian forms over the group ring of $\mathbb {Z}$ . 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.^[1] (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.

Smooth 4-manifolds

For manifolds of dimension at most 6, any piecewise linear (PL) structure can be smoothed in an essentially unique way,^[2] 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:

Which topological manifolds are smoothable?
Classify the different smooth structures on a smoothable manifold.

There is an almost complete answer to the first problem asking which simply connected compact 4-manifolds have smooth structures. First, the Kirby–Siebenmann class must vanish.

If the intersection form is definite Donaldson's theorem ( Donaldson 1983 ) gives a complete answer: there is a smooth structure if and only if the form is diagonalizable.
If the form is indefinite and odd there is a smooth structure.
If the form is indefinite and even we may as well assume that it is of nonpositive signature by changing orientations if necessary, in which case it is isomorphic to a sum of m copies of II_1,1 and 2n copies of E₈(−1) for some m and n. If m ≥ 3n (so that the dimension is at least 11/8 times the |signature|) then there is a smooth structure, given by taking a connected sum of n K3 surfaces and m − 3n copies of S²×S². If m ≤ 2n (so the dimension is at most 10/8 times the |signature|) then Furuta proved that no smooth structure exists ( Furuta 2001 ). This leaves a small gap between 10/8 and 11/8 where the answer is mostly unknown. (The smallest case not covered above has n=2 and m=5, but this has also been ruled out, so the smallest lattice for which the answer is not currently known is the lattice II_7,55 of rank 62 with n=3 and m=7. See ^[3] for recent (as of 2019) progress in this area.) The "11/8 conjecture" states that smooth structures do not exist if the dimension is less than 11/8 times the |signature|.

In contrast, very little is known about the second question of classifying the smooth structures on a smoothable 4-manifold; in fact, there is not a single smoothable 4-manifold where the answer is fully known. Donaldson showed that there are some simply connected compact 4-manifolds, such as Dolgachev surfaces, with a countably infinite number of different smooth structures. There are an uncountable number of different smooth structures on R⁴; see exotic R⁴. Fintushel and Stern showed how to use surgery to construct large numbers of different smooth structures (indexed by arbitrary integral polynomials) on many different manifolds, using Seiberg–Witten invariants to show that the smooth structures are different. Their results suggest that any classification of simply connected smooth 4-manifolds will be very complicated. There are currently no plausible conjectures about what this classification might look like. (Some early conjectures that all simply connected smooth 4-manifolds might be connected sums of algebraic surfaces, or symplectic manifolds, possibly with orientations reversed, have been disproved.)

Special phenomena in 4 dimensions

There are several fundamental theorems about manifolds that can be proved by low-dimensional methods in dimensions at most 3, and by completely different high-dimensional methods in dimension at least 5, but which are false in dimension 4. Here are some examples:

In dimensions other than 4, the Kirby–Siebenmann invariant provides the obstruction to the existence of a PL structure; in other words a compact topological manifold has a PL structure if and only if its Kirby–Siebenmann invariant in H⁴(M,Z/2Z) vanishes. In dimension 3 and lower, every topological manifold admits an essentially unique PL structure. In dimension 4 there are many examples with vanishing Kirby–Siebenmann invariant but no PL structure.
In any dimension other than 4, a compact topological manifold has only a finite number of essentially distinct PL or smooth structures. In dimension 4, compact manifolds can have a countably-infinite number of non-diffeomorphic smooth structures.
Four is the only dimension n for which Rⁿ can have an exotic smooth structure. R⁴ has an uncountable number of exotic smooth structures; see exotic R⁴.
The solution to the smooth Poincaré conjecture is known in all dimensions other than 4 (it is usually false in dimensions at least 7; see exotic sphere). The Poincaré conjecture for PL manifolds has been proved for all dimensions other than 4. In 4 dimensions, the PL Poincaré conjecture is equivalent to the smooth Poincaré conjecture, and its truth is unknown.
The smooth h-cobordism theorem holds for cobordisms provided that neither the cobordism nor its boundary has dimension 4. It can fail if the boundary of the cobordism has dimension 4 (as shown by Donaldson).^[4] If the cobordism has dimension 4, then it is unknown whether the h-cobordism theorem holds.
A topological manifold of dimension not equal to 4 has a handlebody decomposition. Manifolds of dimension 4 have a handlebody decomposition if and only if they are smoothable.
There are compact 4-dimensional topological manifolds that are not homeomorphic to any simplicial complex. Ciprian Manolescu showed that there are topological manifolds in each dimension greater than or equal to 5, that are not homeomorphic to a simplicial complex.^[5]

Failure of the Whitney trick in dimension 4

According to Frank Quinn, "Two n-dimensional submanifolds of a manifold of dimension 2n will usually intersect themselves and each other in isolated points. The "Whitney trick" uses an isotopy across an embedded 2-disk to simplify these intersections. Roughly speaking this reduces the study of n-dimensional embeddings to embeddings of 2-disks. But this is not a reduction when the dimension is 4: the 2-disks themselves are middle-dimensional, so trying to embed them encounters exactly the same problems they are supposed to solve. This is the phenomenon that separates dimension 4 from others."^[6]

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 the mathematical field of geometric topology, the Poincaré conjecture is a theorem about the characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space.

In algebraic topology, a homology sphere is an n-manifold X having the homology groups of an n-sphere, for some integer $. That is,$

<span class="mw-page-title-main">Geometric topology</span> Branch of mathematics studying (smooth) functions of manifolds

In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another.

In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.

In geometric topology and differential topology, an (n + 1)-dimensional cobordism W between n-dimensional manifolds M and N is an h-cobordism (the h stands for homotopy equivalence) if the inclusion maps

In mathematics, an n-dimensional differential 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.

In mathematics, a 3-manifold is a topological space that locally looks like a three-dimensional Euclidean space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small and close enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

In an area of mathematics called differential topology, an exotic sphere is a differentiable manifold M that is homeomorphic but not diffeomorphic to the standard Euclidean n-sphere. That is, M is a sphere from the point of view of all its topological properties, but carrying a smooth structure that is not the familiar one.

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 mathematics, a piecewise linear manifold is a topological manifold together with a piecewise linear structure on it. Such a structure can be defined by means of an atlas, such that one can pass from chart to chart in it by piecewise linear functions. This is slightly stronger than the topological notion of a triangulation. An isomorphism of PL manifolds is called a PL homeomorphism.

The Hauptvermutung of geometric topology is a now refuted conjecture asking whether any two triangulations of a triangulable space have subdivisions that are combinatorially equivalent, i.e. the subdivided triangulations are built up in the same combinatorial pattern. It was originally formulated as a conjecture in 1908 by Ernst Steinitz and Heinrich Franz Friedrich Tietze, but it is now known to be false.

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 as was shown first by Clifford Taubes.$

In mathematics, and especially differential topology and gauge theory, Donaldson's theorem states that a definite intersection form of a compact, oriented, smooth manifold of dimension 4 is diagonalizable. If the intersection form is positive (negative) definite, it can be diagonalized to the identity matrix over the integers. The original version of the theorem required the manifold to be simply connected, but it was later improved to apply to 4-manifolds with any fundamental group.

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.$

In the mathematical area of topology, the generalized Poincaré conjecture is a statement that a manifold which is a homotopy sphere is a sphere. More precisely, one fixes a category of manifolds: topological (Top), piecewise linear (PL), or differentiable (Diff). Then the statement is

In mathematics, specifically geometry and topology, the classification of manifolds is a basic question, about which much is known, and many open questions remain.

In differential topology, a branch of mathematics, a Mazur manifold is a contractible, compact, smooth four-dimensional manifold-with-boundary which is not diffeomorphic to the standard 4-ball. Usually these manifolds are further required to have a handle decomposition with a single $-handle, and a single -handle; otherwise, they would simply be called contractible manifolds. The boundary of a Mazur manifold is necessarily a homology 3-sphere.$

In mathematics, the intersection form of an oriented compact 4-manifold is a special symmetric bilinear form on the 2nd (co)homology group of the 4-manifold. It reflects much of the topology of the 4-manifolds, including information on the existence of a smooth structure.

In mathematics, the annulus theorem states roughly that the region between two well-behaved spheres is an annulus. It is closely related to the stable homeomorphism conjecture which states that every orientation-preserving homeomorphism of Euclidean space is stable.

References

↑ "Showing that every finitely presented group has a $4$-manifold with it as its fundamental group". Mathematics Stack Exchange. 2014-05-09.
↑ Milnor, John (2011), "Differential topology forty-six years later" (PDF), Notices of the American Mathematical Society , 58 (6): 804–809, MR 2839925 .
↑ Hopkins, Michael J.; Lin, Jianfeng; Shi, XiaoLin; Xu, Zhouli (2019), "Intersection Forms of Spin 4-Manifolds and the Pin(2)-Equivariant Mahowald Invariant", arXiv: 1812.04052 [math.AT].
↑ Donaldson, Simon K. (1987). "Irrationality and the h-cobordism conjecture". J. Differential Geom. 26 (1): 141–168. doi: 10.4310/jdg/1214441179 . MR 0892034.
↑ Manolescu, Ciprian (2016). "Pin(2)-equivariant Seiberg–Witten Floer homology and the Triangulation Conjecture". J. Amer. Math. Soc. 29: 147–176. arXiv: 1303.2354 . doi:10.1090/jams829. S2CID 16403004.
↑ Quinn, F. (1996). "Problems in low-dimensional topology". In Ranicki, A.; Yamasaki, M. (eds.). Surgery and Geometric Topology: Proceedings of a conference held at Josai University, Sakado, Sept. 1996 (PDF). pp. 97–104.

Donaldson, Simon K. (1983), "An application of gauge theory to four-dimensional topology", Journal of Differential Geometry , 18 (2): 279–315, doi: 10.4310/jdg/1214437665
Donaldson, Simon K.; Kronheimer, Peter B. (1997), The Geometry of Four-Manifolds, Oxford Mathematical Monographs, Oxford: Clarendon Press, ISBN 0-19-850269-9
Freed, Daniel S.; Uhlenbeck, Karen K. (1984), Instantons and four-manifolds, Mathematical Sciences Research Institute Publications, vol. 1, Springer-Verlag, New York, doi:10.1007/978-1-4684-0258-2, ISBN 0-387-96036-8, MR 0757358
Freedman, Michael Hartley (1982), "The topology of four-dimensional manifolds", Journal of Differential Geometry , 17 (3): 357–453, doi: 10.4310/jdg/1214437136 , MR 0679066
Freedman, Michael H.; Quinn, Frank (1990), Topology of 4-manifolds , Princeton, N.J.: Princeton University Press, ISBN 0-691-08577-3
Furuta, Mikio (2001), "Monopole Equation and the 11/8-Conjecture", Mathematical Research Letters, 8: 279–291, doi: 10.4310/mrl.2001.v8.n3.a5 , MR 1839478
Kirby, Robion C. (1989), The topology of 4-manifolds, Lecture Notes in Mathematics, vol. 1374, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0089031, ISBN 978-3-540-51148-9, MR 1001966
Gompf, Robert E.; Stipsicz, András I. (1999), 4-Manifolds and Kirby Calculus, Grad. Studies in Math., vol. 20, American Mathematical Society, MR 1707327
Kirby, R. C.; Taylor, L. R. (1998). "A survey of 4-manifolds through the eyes of surgery". arXiv: math.GT/9803101 .
Mandelbaum, R. (1980), "Four-dimensional topology: an introduction", Bull. Amer. Math. Soc., 2: 1–159, doi: 10.1090/S0273-0979-1980-14687-X
Matveev, S. V. (2001) [1994], "Four-dimensional manifolds", Encyclopedia of Mathematics , EMS Press
Scorpan, A. (2005), The wild world of 4-manifolds, Providence, R.I.: American Mathematical Society, ISBN 0-8218-3749-4

External links

Media related to 4-manifolds at Wikimedia Commons

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] "Showing that every finitely presented group has a $4$-manifold with it as its fundamental group". Mathematics Stack Exchange. 2014-05-09.

[2] Milnor, John (2011), "Differential topology forty-six years later" (PDF), Notices of the American Mathematical Society , 58 (6): 804–809, MR 2839925 .

[3] Hopkins, Michael J.; Lin, Jianfeng; Shi, XiaoLin; Xu, Zhouli (2019), "Intersection Forms of Spin 4-Manifolds and the Pin(2)-Equivariant Mahowald Invariant", arXiv: 1812.04052 [math.AT].

[4] Donaldson, Simon K. (1987). "Irrationality and the h-cobordism conjecture". J. Differential Geom. 26 (1): 141–168. doi: 10.4310/jdg/1214441179 . MR 0892034.

[5] Manolescu, Ciprian (2016). "Pin(2)-equivariant Seiberg–Witten Floer homology and the Triangulation Conjecture". J. Amer. Math. Soc. 29: 147–176. arXiv: 1303.2354 . doi:10.1090/jams829. S2CID 16403004.

[6] Quinn, F. (1996). "Problems in low-dimensional topology". In Ranicki, A.; Yamasaki, M. (eds.). Surgery and Geometric Topology: Proceedings of a conference held at Josai University, Sakado, Sept. 1996 (PDF). pp. 97–104.

[1]

[2]

[3]

[4]

[5]

[6]