Hubbry Logo
Exotic R4Exotic R4Main
Open search
Exotic R4
Community hub
Exotic R4
logo
7 pages, 0 posts
0 subscribers
Be the first to start a discussion here.
Be the first to start a discussion here.
Exotic R4
Exotic R4
Exotic R4
View on Wikipedia
from Wikipedia

In mathematics, an exotic is a differentiable manifold that is homeomorphic (i.e. shape preserving) but not diffeomorphic (i.e. non smooth) 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.[1][2] There is a continuum of non-diffeomorphic differentiable structures as was shown first by Clifford Taubes.[3]

Prior to this construction, non-diffeomorphic smooth structures on spheres – exotic spheres – were already known to exist, although the question of the existence of such structures for the particular case of the 4-sphere remained open (and remains open as of 2024). For any positive integer n other than 4, there are no exotic smooth structures in other words, if n ≠ 4 then any smooth manifold homeomorphic to is diffeomorphic to [4]

Small exotic R4s

[edit]

An exotic is called small if it can be smoothly embedded as an open subset of the standard

Small exotic can be constructed by starting with a non-trivial smooth 5-dimensional h-cobordism (which exists by Donaldson's proof that the h-cobordism theorem fails in this dimension) and using Freedman's theorem that the topological h-cobordism theorem holds in this dimension.

Large exotic R4s

[edit]

An exotic is called large if it cannot be smoothly embedded as an open subset of the standard

Examples of large exotic can be constructed using the fact that compact 4-manifolds can often be split as a topological sum (by Freedman's work), but cannot be split as a smooth sum (by Donaldson's work).

Michael Hartley Freedman and Laurence R. Taylor (1986) showed that there is a maximal exotic into which all other can be smoothly embedded as open subsets.

[edit]

Casson handles are homeomorphic to by Freedman's theorem (where is the closed unit disc) but it follows from Donaldson's theorem that they are not all diffeomorphic to In other words, some Casson handles are exotic

It is not known (as of 2024) whether or not there are any exotic 4-spheres; such an exotic 4-sphere would be a counterexample to the smooth generalized Poincaré conjecture in dimension 4. Some plausible candidates are given by Gluck twists.

See also

[edit]
  • Akbulut cork - tool used to construct exotic 's from classes in [5]
  • Atlas (topology)

Notes

[edit]

References

[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia

Exotic R4

View on Grokipedia
from Grokipedia
In , an exotic ℝ⁴ is a smooth manifold homeomorphic to the standard 4-dimensional ℝ⁴ but not to it, meaning the differ despite the underlying being identical. This phenomenon is unique to dimension 4, as ℝⁿ admits a unique smooth structure up to diffeomorphism for all n ≠ 4. The existence of exotic ℝ⁴s was first established around 1982 by using his topological classification of 4-manifolds, later combined with Simon Donaldson's gauge-theoretic theorems (1983–1984) to reveal deep discrepancies between smooth and topological categories in four dimensions. Subsequent work demonstrated that there are infinitely many distinct exotic smooth structures on ℝ⁴. In 1985, Robert Gompf produced a countably infinite family using end-sums of manifolds and embedding obstructions derived from Donaldson's results. extended this in 1987 by showing there are uncountably many, parametrized continuously using on asymptotically periodic 4-manifolds. Exotic ℝ⁴s are classified into small ones, which embed as open subsets of the standard ℝ⁴, and large ones, which do not; the latter include a universal exotic ℝ⁴ constructed by and Laurence Taylor in that contains all small exotics as smoothly embedded subsets. These structures arise from failures in smoothing theorems, such as the h-cobordism theorem, and have implications for understanding exotic spheres and symplectic 4-manifolds, though it remains open whether the product of an exotic ℝ⁴ with ℝ is diffeomorphic to the standard ℝ⁵ (Kirby problem 4.77).

Mathematical Foundations

Smooth vs. Topological Manifolds

A is a Hausdorff, second-countable that is locally homeomorphic to Rn\mathbb{R}^n for some fixed nn. This local resemblance ensures that every point has a neighborhood homeomorphic to an open subset of Rn\mathbb{R}^n, with the on the manifold induced compatibly from the standard on Rn\mathbb{R}^n. Topological manifolds capture the global geometric and analytic properties that can be studied using purely continuous maps, without requiring differentiability. In contrast, a smooth manifold is a topological manifold equipped with a , defined by an atlas of where each chart is a homeomorphism from an open set in the manifold to an open subset of Rn\mathbb{R}^n, and the transition maps between overlapping charts are smooth (i.e., C∞C^\infty) functions. The allows for the definition of tangent spaces, vector fields, and differential forms, enabling the full machinery of calculus on the manifold. Two smooth atlases define the same if their union is also a smooth atlas, ensuring compatibility across the entire manifold. A between two topological manifolds is a continuous with a continuous inverse, preserving the topological type by maintaining local Euclidean properties. However, it does not necessarily preserve differentiability. A , on the other hand, is a smooth whose inverse is also smooth, thereby preserving the between smooth manifolds. This distinction highlights that while topological manifolds focus on continuity, smooth manifolds impose stricter conditions for differentiability, leading to potential incompatibilities in higher dimensions. The Kirby-Siebenmann invariant provides a key obstruction to endowing a topological manifold with a smooth structure, particularly in dimensions greater than or equal to 5, where it lies in H4(M;Z/2)H^4(M; \mathbb{Z}/2) and detects whether the manifold is smoothly triangulable. In dimension 4, this invariant is trivial with respect to stable smoothing, meaning that for any topological 4-manifold MM, the product M×RM \times \mathbb{R} admits a smooth structure, though MM itself may not. This difference arises because the higher-dimensional obstruction theory, developed by Kirby and Siebenmann, simplifies in low dimensions due to the absence of exotic phenomena below dimension 4. In dimensions 1, 2, and 3, every admits a unique up to , ensuring that the topological and smooth categories coincide seamlessly. This uniqueness stems from classical results in , where homeomorphisms can always be approximated by diffeomorphisms without altering the structure.

Dimension 4 Phenomena

In dimension 4, the topological and smooth categories of manifolds exhibit significant divergences, unlike in higher dimensions where they often coincide for open manifolds. This discrepancy arises from fundamental obstructions that prevent straightforward equivalences between smooth and topological structures, as explored in smoothing theory. A key example is the failure of the theorem in dimension 4. proved that for simply connected, closed smooth manifolds of dimension n≥5n \geq 5, an h-cobordism between them implies they are diffeomorphic, relying on techniques like handle decompositions and the Whitney trick. However, this theorem does not hold in dimension 4, where counterexamples exist: there are pairs of simply connected smooth 4-manifolds that are h-cobordant but not diffeomorphic, as demonstrated by Donaldson's gauge-theoretic constructions showing that certain elliptic surfaces provide such examples. Topologically, the theorem succeeds in dimension 4, implying for simply connected h-cobordant 4-manifolds, but the smooth version fails due to these exotic phenomena. Closely related is the adjustment required for the in dimension 4, stemming from the failure of the Whitney trick. The standard guarantees that a smooth nn-manifold embeds in R2n\mathbb{R}^{2n}, but its proof in higher dimensions uses the Whitney trick to resolve double points of immersions by embedding a disk to separate intersecting spheres. In dimension 4, this trick fails because codimension-2 intersections (e.g., two 2-spheres intersecting at a point) cannot always be eliminated without creating new obstructions, leading to immersed rather than embedded structures that require careful handling via higher-order invariants or alternative methods like Casson handles. This self-intersection issue complicates embeddings and contributes to the richness of . The Rokhlin theorem further constrains smooth structures on 4-manifolds. For a closed, oriented, smooth spin 4-manifold MM, the σ(M)\sigma(M) of its intersection form must be divisible by 16. This arises from bordism theory and the index of the on spin manifolds, providing a powerful invariant that rules out certain quadratic forms as realizable by smooth 4-manifolds; for instance, no smooth simply connected 4-manifold can have intersection form E8E_8, whose signature is 8. Freedman constructed a topological , known as the E8 manifold, that realizes the E8E_8 intersection form but cannot admit a , precisely because its signature violates the Rokhlin theorem. This manifold is simply connected, closed, and negative definite, serving as a concrete example of how topological 4-manifolds can support intersection forms forbidden in the smooth category, and it plays a role in generating exotic smooth structures on R4\mathbb{R}^4 via connected sums. Dimension 4 is unique among all dimensions in that the topological and smooth categories differ non-trivially for open manifolds such as R4\mathbb{R}^4, where uncountably many pairwise non- smooth structures exist on the same , while in dimensions n≠4n \neq 4, the standard Rn\mathbb{R}^n admits a unique smooth structure up to diffeomorphism, though certain other open n-manifolds may admit multiple.

Historical Development

Freedman's Classification

In 1982, Michael Freedman provided a groundbreaking topological classification of simply connected closed 4-manifolds, demonstrating that they are determined up to homeomorphism by their intersection forms. Specifically, Freedman's theorem asserts that for any even unimodular quadratic form ω\omega over Z\mathbb{Z} (a nonsingular symmetric bilinear form on a free Z\mathbb{Z}-module of finite rank that takes even values on the diagonal), there exists a unique simply connected closed topological 4-manifold MM realizing ω\omega as its intersection form H2(M;Z)×H2(M;Z)→ZH_2(M; \mathbb{Z}) \times H_2(M; \mathbb{Z}) \to \mathbb{Z}. For odd unimodular forms, existence holds, but uniqueness fails, with exactly two homeomorphism classes distinguished by the Kirby-Siebenmann invariant. The proof of this classification relies on advanced tools from , including the construction of Casson handles—topological analogs of 2-handles that replace smooth embeddings with homeomorphisms relative to the boundary—and the realization of quadratic forms via plumbing constructions capped off with contractible manifolds. employed Thom's theory to ensure that any such form can be topologically realized, bypassing smooth obstructions through a sequence of handle cancellations and isotopies facilitated by Whitney towers. This approach establishes both the existence of the manifolds and their uniqueness in the even case by showing that any two candidates are and thus homeomorphic via the topological h-cobordism theorem in dimension 4. A key consequence is the uniqueness of topological R4\mathbb{R}^4: it is the unique simply connected topological 4-manifold homotopy equivalent to the standard Euclidean space, as its one-point compactification is the standard S4S^4, the sole simply connected closed topological 4-manifold with the trivial (zero) intersection form. Freedman's theorem thus reveals infinitely many distinct simply connected topological 4-manifolds arising from the diversity of even unimodular forms across ranks, though their smooth realizations are often obstructed, highlighting the gap between topological and smooth categories in dimension 4. For this work, was awarded the in 1986.

Donaldson's Gauge Theory

In the 1980s, developed a groundbreaking approach to the of smooth using tools from , particularly the study of anti-self-dual (ASD) connections on . Gauge theory in this context involves the Yang-Mills equations, which minimize the Yang-Mills functional measuring the of connections on a principal bundle over a Riemannian ; solutions to the ASD equation FA+=0F_A^+ = 0, where FAF_A is the curvature 2-form and +^+ denotes the self-dual part, are known as instantons. The of such ASD connections, after quotienting by the gauge group, provides a geometric object whose properties yield invariants sensitive to the of the underlying . Donaldson introduced polynomial invariants, now called Donaldson invariants, derived from the intersection theory on these moduli spaces for principal SO(3)-bundles over simply connected smooth 4-manifolds with positive definite intersection form on the second cohomology. These invariants are universal polynomials in the homology classes, capturing obstructions to diffeomorphisms and distinguishing smooth structures that are topologically equivalent. For instance, on the complex projective plane CP2\mathbb{CP}^2, the invariants detect non-standard smoothings that cannot arise from algebraic geometry. His seminal 1983 theorem asserts that for a compact, simply connected, smooth, oriented 4-manifold with definite intersection form—a symmetric bilinear form on H2(X;Z)H_2(X; \mathbb{Z}) given by Poincaré duality—the form must be standard, i.e., diagonalizable over the integers with entries ±1\pm 1. This result, proven via the dimension and compactness properties of the instanton moduli space, contradicts certain realizations predicted by topological methods alone, such as those from Freedman's classification, thereby revealing discrepancies between smooth and topological categories. Applying this framework to open 4-manifolds, Donaldson's techniques demonstrate the existence of exotic smooth structures on R4\mathbb{R}^4. Specifically, compactifications like the minus a finite number of points admit smooth structures homeomorphic but not diffeomorphic to the standard R4\mathbb{R}^4, as the Donaldson invariants of the compact model obstruct the existence of a standard at infinity. Extensions of this work by in 1987 imply the existence of uncountably many distinct smooth structures on R4\mathbb{R}^4, constructed via end-periodic metrics where the instanton moduli spaces vary continuously, yielding non-diffeomorphic classes. For his contributions, including these invariants and their applications to 4-dimensional , Donaldson received the in 1986.

Definition and Existence

Core Definition

An exotic R4\mathbb{R}^4 is a smooth 4-manifold that is homeomorphic to the standard Euclidean 4-space R4\mathbb{R}^4 but not diffeomorphic to it. The standard R4\mathbb{R}^4 carries the unique induced by its standard atlas of coordinate charts, where transition maps are smooth functions from R4\mathbb{R}^4 to itself. There exist uncountably many pairwise nondiffeomorphic exotic smooth structures on topological R4\mathbb{R}^4, comprising a continuous family parametrized by the real line. This phenomenon is unique to dimension 4; for n≠4n \neq 4, any smooth nn-manifold homeomorphic to Rn\mathbb{R}^n is diffeomorphic to the standard smooth Rn\mathbb{R}^n. All exotic R4\mathbb{R}^4 inherit the topological properties of standard R4\mathbb{R}^4, including being orientable, simply connected, and spin, as their underlying admits a due to vanishing Stiefel-Whitney classes.

Initial Proofs

The existence of exotic R4\mathbb{R}^4 was first rigorously established in 1982 by through the interplay between his topological classification of simply connected 4-manifolds and Simon K. Donaldson's introduction of gauge-theoretic smooth invariants. Freedman's work proved that R4\mathbb{R}^4 is unique up to in the topological category, as part of his classification theorem stating that simply connected topological 4-manifolds are determined up to by their forms. Freedman's construction exploits the failure of the theorem in the smooth category for 4-manifolds, as revealed by Donaldson's gauge-theoretic obstructions. These invariants, derived from Yang-Mills moduli spaces on 4-manifolds, detect differences in smooth structures that are invisible topologically. Freedman's topological uniqueness ensures that all such constructions yield the same type R4\mathbb{R}^4, while Donaldson's smooth obstructions guarantee distinct types. Subsequent constructions by Robert Gompf in 1985, using fiber sums of elliptic surfaces, produced a countably infinite of pairwise non-diffeomorphic exotic R4\mathbb{R}^4. This was later extended by in 1987, who showed the is uncountable.

Types of Exotic R^4

Small Exotic R^4

Small exotic R4\mathbb{R}^4 denotes a smooth manifold homeomorphic to R4\mathbb{R}^4 but not diffeomorphic to the standard smooth R4\mathbb{R}^4, where the exotic smooth structure agrees with the standard one outside a compact K⊂R4K \subset \mathbb{R}^4. These structures embed as open subsets of the standard R4\mathbb{R}^4, with the discrepancy confined to KK, allowing the manifold to be diffeomorphic to standard R4\mathbb{R}^4 via a diffeomorphism with compact support. Constructions of small exotic R4\mathbb{R}^4 often arise from Dehn surgery on knots in S3S^3. Specifically, for a knot K⊂S3K \subset S^3 that is topologically slice but not smoothly slice, the 0-framed knot trace X0(K)X_0(K)—formed by attaching a 0-framed 2-handle to B4B^4 along KK—embeds topologically but not smoothly into the standard R4\mathbb{R}^4. Smoothing this embedding yields an exotic smooth structure on the complement, resulting in a small exotic R4\mathbb{R}^4. The 1134n11^{n}_{34} provides a concrete example, as it is topologically slice (with trivial Alexander polynomial) but smoothly non-slice. Another family emerges from twisted I-bundles over surfaces. Compact contractible 4-manifolds known as corks, constructed as twisted I-bundles over non-orientable surfaces with suitable boundary , generate small exotic R4\mathbb{R}^4 via cork twists—diffeomorphisms supported on the cork's interior that alter the locally when extended to R4\mathbb{R}^4. All known explicit examples of exotic R4\mathbb{R}^4 are small. DeMichelis and established the existence of uncountably many distinct small exotic R4\mathbb{R}^4 through a continuous family of R4\mathbb{R}^4s embedded in standard R4\mathbb{R}^4, parametrized by a and distinguished via Donaldson's Φ\Phi-invariant and Taubes' Yang-Mills analysis. Similarly, families from Dehn surgeries on knots yield uncountably many via variations over topologically slice knots. These structures exhibit infinite order in the group of R4\mathbb{R}^4, as iterated cork twists or end-sums produce distinct exotics not isotopic to the identity.

Large Exotic R^4

Large exotic R4\mathbb{R}^4 denotes a smooth structure on the topological manifold R4\mathbb{R}^4 that is not diffeomorphic to the standard smooth R4\mathbb{R}^4 and, moreover, cannot be smoothly embedded as an open subset of the standard R4\mathbb{R}^4. This distinguishes them from small exotic R4\mathbb{R}^4, which admit such embeddings and agree with the standard structure outside compact sets. In essence, the exoticness in large structures persists globally, affecting unbounded regions and preventing localization of smooth discrepancies. Constructions of large exotic R4\mathbb{R}^4 typically rely on non-standard ends, such as those formed through end-sums of simpler exotic manifolds or infinite towers of handles that encode irregularities at infinity. For instance, Robert Gompf's seminal 1985 construction yields a countable infinite of pairwise non-diffeomorphic large exotic R4\mathbb{R}^4, achieved by iteratively attaching Casson handles in a way that requires infinitely many 3-handles in any smooth handle of the manifold. These handles introduce subtle topological complexities that manifest smoothly only at large scales, ensuring the structure deviates from standard R4\mathbb{R}^4 arbitrarily far from the origin. A key property of large exotic R4\mathbb{R}^4 is that no compactly supported diffeomorphism can rectify their exoticness to match the standard structure; any to standard R4\mathbb{R}^4 must alter the smooth structure on arbitrarily large compact subsets, reflecting the infinite propagation of irregularities. Their existence can be derived from small exotic R4\mathbb{R}^4 via end-sums with homology 3-spheres or other contractible 4-manifolds with non-trivial smooth boundaries, though the vast majority of exotic R4\mathbb{R}^4—forming an uncountable —fall into the large category. This prevalence underscores a profound implication: large exotic R4\mathbb{R}^4 exhibit pathological at infinity, where smooth and topological structures diverge in ways that defy compact control and highlight the unique anomalies of dimension 4.

Constructions

Compactification Methods

One prominent method for constructing exotic R4\mathbb{R}^4 involves building smooth open 4-manifolds via ribbon complements in the 4-ball B4B^4 and relating them to elliptic surfaces through compactification to verify exoticity by removing tubular neighborhoods of specific configurations in the compact case. Elliptic surfaces E(n)E(n), for n≥2n \geq 2, serve as the starting point for analysis; these are compact, simply connected 4-manifolds fibered over the base CP1\mathbb{CP}^1 with generic elliptic fibers. The Euler characteristic of E(n)E(n) is given by χ(E(n))=12n\chi(E(n)) = 12n. The construction proceeds by selecting ribbon links or discs in B4B^4, excising their tubular neighborhoods to form a ribbon complement, and then smoothing the boundary using techniques like attaching Casson handles. The resulting manifold with boundary is completed to an open 4-manifold homeomorphic to R4\mathbb{R}^4. For the structure to be smoothable and exotic, compactifications to s are used, where the Kirby-Siebenmann invariant ks(M)ks(M) of the topological manifold MM must vanish. Exoticity is established by showing the compactified version, such as a modified , is not diffeomorphic to its standard counterpart via and Donaldson invariants. A concrete example related to E(2)E(2), the , arises from removing tubular neighborhoods of 2 ribbon discs in B4B^4 corresponding to a pretzel link, producing a small exotic R4\mathbb{R}^4. This yields a distinguished from the standard one, as confirmed by arguments and Donaldson invariants on the related . All simply connected elliptic surfaces generate infinite families of such exotic R4\mathbb{R}^4 via analogous ribbon constructions and compactifications leveraging fiber configurations.

Gluck Construction Variants

The Gluck construction, introduced by Herman Gluck in the , provides a method to generate potential exotic smooth structures on 4-manifolds by twisting along an embedded 2-sphere in S4S^4. Specifically, one selects a smoothly knotted embedding f:S2↪S4f: S^2 \hookrightarrow S^4, removes a diffeomorphic to S2×D2S^2 \times D^2, and reattaches it via a diffeomorphism of the boundary S2×S1S^2 \times S^1 that induces a Dehn twist along the zero section. Removing two disjoint open balls from the resulting compact 4-manifold yields an open manifold homeomorphic to R4\mathbb{R}^4. If the twisting alters the diffeomorphism type relative to the standard smooth structure while preserving the homeomorphism type, the resulting open manifold is a small exotic R4\mathbb{R}^4, with the exoticity supported in a compact subset. Modern variants of the Gluck construction employ 2-knots in S4S^4 that possess Arf invariant zero—a necessary condition for the twisted manifold to admit an even intersection form compatible with the standard S4S^4—but are not smoothly slice. Non-sliceness of such 2-knots is detected using Casson-Gordon signatures, which provide metabelian obstructions to concordance; these signatures vanish for slice knots but can be nonzero for certain Arf-zero examples, ensuring the twisted structure differs smoothly from the standard one. For instance, specific families of 2-knots derived from 1-knots or satellite constructions have been analyzed, where the Gluck twist yields distinct small exotic R4\mathbb{R}^4s when the underlying knot fails sliceness criteria. These variants produce small exotic R4\mathbb{R}^4s, as the smooth discrepancy is confined to the knotted region. Generalizations of the Gluck construction, incorporating families of such 2-knots with varying Casson-Gordon signatures, extend to uncountable collections of pairwise nondiffeomorphic small exotic R4\mathbb{R}^4s embedded in the standard R4\mathbb{R}^4. This scalability arises from the abundance of 2-knots distinguished by higher-order concordance invariants in dimension 4. The efficacy of these constructions in dimension 4 stems from the failure of the smooth h-cobordism theorem, which prevents the twisted manifold from being diffeomorphic to the standard one despite topological equivalence; in higher dimensions, such twists would be smoothly trivial by results like the topological h-cobordism theorem.

Properties

Smooth Invariants

Donaldson invariants, originally developed for closed 4-manifolds, have been extended to open 4-manifolds such as R4\mathbb{R}^4 through gauge theory on manifolds with asymptotically periodic ends. This extension, introduced by Taubes, involves analyzing the moduli spaces of anti-self-dual connections on end-periodic structures, where the ends are modeled by periodic metrics and diffeomorphisms. Such invariants detect obstructions to smoothing certain topological manifolds, leading to the construction of uncountably many exotic R4\mathbb{R}^4's that are pairwise nondiffeomorphic despite being homeomorphic to the standard R4\mathbb{R}^4. Seiberg-Witten invariants provide another key smooth invariant for distinguishing exotic R4\mathbb{R}^4's, particularly through their extension to families of manifolds and monopole classes associated with spinc^c structures. These invariants count solutions to the Seiberg-Witten monopole equations, which involve a connection and spinor sections satisfying perturbed Dirac and curvature equations. For families of diffeomorphisms on exotic R4\mathbb{R}^4's, the families Seiberg-Witten invariants detect exotic behavior by vanishing on the standard structure but nonzero on exotics, thus distinguishing nondiffeomorphic smooth structures. For small exotic R4\mathbb{R}^4's, which are defined as those smoothly embeddable as open subsets of the standard R4\mathbb{R}^4, the smooth invariants agree with those of the standard R4\mathbb{R}^4 outside a compact set but differ globally due to the altered smooth structure within that set. This local agreement implies that local gauge-theoretic computations match, yet global obstructions, such as those from end-periodic extensions, reveal the exoticity. The Seiberg-Witten invariant for the standard R4\mathbb{R}^4, understood via its one-point compactification to S4S^4, satisfies SW(M)=±1\mathrm{SW}(M) = \pm 1 for the canonical spinc^c structure, reflecting the absence of nontrivial monopoles. In contrast, for exotic R4\mathbb{R}^4's, these invariants vary, often vanishing or taking other values due to the failure of smooth compactification and differences in monopole classes. Exotic R4\mathbb{R}^4's exhibit an infinite diffeomorphism group, generated by Dehn twists along embedded 3-spheres or tori, which produce exotic diffeomorphisms not isotopic to the identity. These twists, combined with gauge-theoretic invariants, generate infinitely many components in the mapping class group, highlighting the richness of the smooth category beyond the topological one.

Homeomorphism vs. Diffeomorphism

All exotic R4\mathbb{R}^4 are piecewise-linear (PL) homeomorphic to the standard R4\mathbb{R}^4. This topological invariance follows from Freedman's classification of simply-connected topological 4-manifolds, which implies that any contractible open topological is homeomorphic to R4\mathbb{R}^4. In contrast, exotic R4\mathbb{R}^4 fail smooth rigidity: there exists no to the standard smooth R4\mathbb{R}^4, by definition of the exotic . However, homeomorphisms to the standard topological R4\mathbb{R}^4 exist that are not smoothable, meaning they cannot be approximated by diffeomorphisms in the smooth category. This distinction has concrete implications for . A between an exotic R4\mathbb{R}^4 and the standard R4\mathbb{R}^4 does not preserve the , so Riemannian metrics and geodesics on one may pull back to wildly different, non-smooth objects on the other. For instance, geodesics—shortest paths defined by a metric—computed in the exotic structure may not correspond to smooth curves or preserve lengths under the , leading to incompatible geometric analyses across . Exotic R4\mathbb{R}^4 still admit complete Riemannian metrics of bounded , but the exoticness restricts certain metric compared to the standard case. Exotic R4\mathbb{R}^4 embed topologically into the standard S4S^4 (as an open dense subset), consistent with their topological equivalence to R4=S4∖{pt}\mathbb{R}^4 = S^4 \setminus \{\text{pt}\}. However, smooth embeddings fail in some cases: large exotic R4\mathbb{R}^4 cannot embed smoothly into the standard smooth S4S^4, whereas small ones can. A representative example of the smoothness failure is that homeomorphisms classifying exotic R4\mathbb{R}^4 to the standard can be chosen bi-Lipschitz (preserving distances up to constants) but are not C1C^1 (continuously differentiable), highlighting how topological equivalence breaks down at the level of derivatives.

Exotic Spheres

Exotic spheres are smooth manifolds homeomorphic, but not diffeomorphic, to the standard n-dimensional sphere S^n. The discovery of such manifolds revolutionized , revealing that smooth structures on topological spaces are not always unique. In 1956, constructed the first examples in dimension 7, demonstrating that there are multiple distinct smooth structures on S^7 by considering S^3-bundles over S^4 classified by elements of π_3(SO(4)) ≅ ℤ ⊕ ℤ, where the clutching function determines the smooth type via an invariant involving the Arf-Kervaire invariant. The full classification of exotic spheres was achieved by Michel Kervaire and in , who showed that the group Θ_n of classes of n-spheres (isomorphism classes of exotic n-spheres under connected sum) is finite for n ≥ 5 and computable from via the J-homomorphism and the image of J. Specifically, Θ_n ≅ (stable stem)/image J for odd n and related for even n, with non-trivial exotic spheres existing in most dimensions n ≥ 7 (both even and odd), computed via up to high dimensions. For n = 7, Θ_7 is cyclic of order 28, corresponding to 28 oriented exotic 7-spheres up to . Whether the 4-sphere admits exotic smooth structures remains an .

Other 4-Manifolds

Exotic smooth structures on the CP2\mathbb{CP}^2 itself are not known to exist, but non-standard smoothings arise on its blow-ups, such as CP2#nCP2‾\mathbb{CP}^2 \# n \overline{\mathbb{CP}^2} for sufficiently large nn. For instance, the first examples of exotic structures on CP2#5CP2‾\mathbb{CP}^2 \# 5 \overline{\mathbb{CP}^2} were constructed using knot surgery on elliptic fibrations followed by rational blow-downs, starting from CP2#9CP2‾\mathbb{CP}^2 \# 9 \overline{\mathbb{CP}^2} and embedding specific configurations of spheres to alter the smooth type while preserving the class. These techniques, motivated by earlier work on symplectic 4-manifolds, yield infinitely many pairwise non-diffeomorphic smooth structures, distinguished by their Seiberg-Witten invariants. Dolgachev surfaces provide another class of exotic closed 4-manifolds, defined as log transforms E(1)p,qE(1)_{p,q} of the rational E(1)E(1), which is diffeomorphic to CP2#9CP2‾\mathbb{CP}^2 \# 9 \overline{\mathbb{CP}^2}. For p,q>1p, q > 1, such as p=2,q=3p=2, q=3, the resulting surface E(1)2,3E(1)_{2,3} is homeomorphic but not diffeomorphic to the standard CP2#9CP2‾\mathbb{CP}^2 \# 9 \overline{\mathbb{CP}^2}, as shown by Donaldson's gauge-theoretic invariants; this was the first explicit example of an exotic simply connected closed with positive . These surfaces also relate to S2×S2S^2 \times S^2 through multiple log transforms and handle decompositions, forming exotic pairs where the smooth structures differ despite topological equivalence to CP2#9CP2‾\mathbb{CP}^2 \# 9 \overline{\mathbb{CP}^2} or ruled surfaces. Infinite families of such exotic Dolgachev surfaces, without 1- or 3-handles, are obtained via knot surgery with knots of distinct Alexander polynomials, ensuring non-diffeomorphism. The connected sum CP2#kCP2‾\mathbb{CP}^2 \# k \overline{\mathbb{CP}^2} for k≥5k \geq 5 admits infinitely many exotic smooth structures, with constructions proliferating for larger kk using rational blow-downs and symplectic sums. For example, CP2#5CP2‾\mathbb{CP}^2 \# 5 \overline{\mathbb{CP}^2} supports infinitely many distinct smoothings, and similar results hold for CP2#kCP2‾\mathbb{CP}^2 \# k \overline{\mathbb{CP}^2} with k≥5k \geq 5, often yielding irreducible exotic manifolds. These exotic closed 4-manifolds relate to exotic [R](/page/R)4\mathbb{[R](/page/R)}^4 through constructions like corks and plugs derived from their compact structures; specifically, boundary connected sums or twisting operations along embedded submanifolds in such exotics produce additional pairwise non-diffeomorphic smooth structures on open 4-manifolds homeomorphic to [R](/page/R)4\mathbb{[R](/page/R)}^4. Exotic smooth structures on K3 surfaces—homeomorphic but not diffeomorphic to the standard K3—are constructed within families parametrized by period maps on the of marked K3 lattices. These exotics arise from deformations preserving the topological type but altering symplectic or gauge-theoretic invariants.

Open Problems

Maximal Structures

In the of exotic smooth structures on R4\mathbb{R}^4, a maximal exotic R4\mathbb{R}^4 is defined as a smooth manifold homeomorphic to R4\mathbb{R}^4 into which every other exotic R4\mathbb{R}^4 admits a smooth embedding. This notion captures the "largest" elements in the of smooth structures, where no further extension by embedding another exotic R4\mathbb{R}^4 is possible without altering the . The concept arises from the observation that exoticness can be "added" via embeddings of compact 4-manifolds, leading to increasingly complex smooth atlases. A concrete example of a maximal exotic R4\mathbb{R}^4 is provided by the universal smoothing constructed by and Taylor, obtained by iteratively gluing countably infinitely many Casson handles—each an exotic neighborhood of a point homeomorphic but not diffeomorphic to a standard open —along their boundaries in a controlled manner. This structure ensures that any smooth homeomorphic to R4\mathbb{R}^4 with a countable handle decomposition embeds into it, albeit not always properly. Gompf extended such ideas by constructing infinite families of exotic R4\mathbb{R}^4s via end-sums and techniques involving corks, compact contractible 4-manifolds whose boundary diffeomorphisms generate exotic structures; successive cork cancellations in these constructions yield maximal elements by eliminating redundant handles while preserving the universal embedding property. At least one such maximal exotic R4\mathbb{R}^4 exists, as demonstrated by the Freedman-Taylor universal smoothing, and it is unique up to compact equivalence—meaning any two maximals differ by a supported in a compact set—suggesting the possibility of a "standard" maximal structure. This uniqueness follows from the fact that the end-sum of all equivalence classes under the relation yields the same maximal element. The presence of maximal structures induces a partial order on the set of compact equivalence classes of exotic R4\mathbb{R}^4s, where one structure precedes another if every compact smooth embeds in the former also embeds in the latter; maximal elements sit at the top of this poset, providing a boundary for the "exoticness" spectrum. This ordering equips the with a natural , which is metrizable and complete, facilitating the study of limits of increasing sequences of smooth structures. A key open question concerns whether every small exotic R4\mathbb{R}^4—those diffeomorphic to the standard R4\mathbb{R}^4 outside some compact set—embeds smoothly into a maximal one, which would clarify the precise interplay between compactly supported exoticness and universal embeddings. Another major is whether R4×R\mathbb{R}^4 \times \mathbb{R} admits exotic smooth structures diffeomorphic to the standard R5\mathbb{R}^5, extending the uniqueness of smooth structures beyond dimension 4.

Recent Advances

In 2024, researchers constructed the first examples of closed aspherical smooth 4-manifolds that are homeomorphic but not diffeomorphic, extending the existence of exotic structures beyond simply connected cases and confirming open exotics in more general settings. These manifolds, built using techniques from earlier work on boundaries, provide counterexamples to smooth analogs of the Borel conjecture in dimension 4. In her March 2025 lecture, explored exotic phenomena in dimension 4, highlighting ongoing challenges in smooth classification.

References

  1. https://projecteuclid.org/journals/journal-of-differential-geometry/volume-21/issue-2/An-infinite-set-of-exotic-mathbfR4s/10.4310/jdg/1214439566.pdf
  2. https://www.dtubbenhauer.com/slides/my-favorite-theorems/106-exotic-r4.pdf
  3. https://www.ams.org/journals/bull/1982-07-02/S0273-0979-1982-15052-6/S0273-0979-1982-15052-6.pdf
  4. https://projecteuclid.org/journals/journal-of-differential-geometry/volume-25/issue-3/Gauge-theory-on-asymptotically-periodic-4-manifolds/10.4310/jdg/1214440981.pdf
  5. https://www.math.univ-toulouse.fr/~asaintcr/resources/exotic_talk.pdf
  6. https://mathworld.wolfram.com/Kirby-SiebenmannInvariant.html
  7. https://math.uchicago.edu/~dannyc/courses/4manifolds_2018/4_manifolds_notes.pdf
  8. https://www.math.ucla.edu/~petersen/manifolds.pdf
  9. https://webhomes.maths.ed.ac.uk/~v1ranick/papers/ks.pdf
  10. https://projecteuclid.org/journals/journal-of-differential-geometry/volume-17/issue-3/The-topology-of-four-dimensional-manifolds/10.4310/jdg/1214437136.pdf
  11. https://web.stanford.edu/~cm5/4D.pdf
  12. https://www.mathunion.org/imu-awards/fields-medal/fields-medals-1986
  13. https://projecteuclid.org/journals/journal-of-differential-geometry/volume-25/issue-3/Gauge-theory-on-asymptotically-periodic-4-manifolds/10.4310/jdg/1214440981.full
  14. https://projecteuclid.org/journals/journal-of-differential-geometry/volume-37/issue-1/An-exotic-menagerie/10.4310/jdg/1214453429.pdf
  15. https://projecteuclid.org/euclid.jdg/1214437667
  16. https://projecteuclid.org/euclid.jdg/1214437668
  17. https://projecteuclid.org/journals/journal-of-differential-geometry/volume-43/issue-3/Elliptic-surfaces-and-some-simple-exotic-bf-Rsp-4s/10.4310/jdg/1214458322.pdf
  18. https://academic.oup.com/book/43693/chapter/367035593
  19. https://www.sciencedirect.com/science/article/pii/S0166864106003543
  20. https://www.sciencedirect.com/science/article/pii/0040938388900419
  21. https://projecteuclid.org/journals/journal-of-differential-geometry/volume-35/issue-1/Uncountably-many-exotic-mathbfR4s-in-standard-4-space/10.4310/jdg/1214447810.pdf
  22. https://etnyre.math.gatech.edu/preprints/papers/exotic.pdf
  23. https://www.jstor.org/stable/10.2307/2118620
  24. https://www.sciencedirect.com/science/article/pii/S0166864199001455
  25. https://webhomes.maths.ed.ac.uk/~v1ranick/papers/kervmiln.pdf
  26. https://arxiv.org/abs/math/0412216
  27. https://www-users.cse.umn.edu/~akhmedov/small_exotic2.pdf
  28. https://nickteng.github.io/notes/exotic_stuff.pdf
  29. https://arxiv.org/abs/0709.1710
  30. https://projecteuclid.org/journals/journal-of-differential-geometry/volume-24/issue-1/A-universal-smoothing-of-four-space/10.4310/jdg/1214440258.full
  31. https://doi.org/10.1017/S0013091500028698
  32. https://arxiv.org/abs/2411.19400
  33. https://www.youtube.com/watch?v=B83yIIaTq_s
Add your contribution
Related Hubs
User Avatar
No comments yet.