Hubbry Logo
Differential structureDifferential structureMain
Open search
Differential structure
Community hub
Differential structure
logo
7 pages, 0 posts
0 subscribers
Be the first to start a discussion here.
Be the first to start a discussion here.
Differential structure
Differential structure
Differential structure
View on Wikipedia
from Wikipedia

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

[edit]

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 homeomorphisms called charts between open subsets of M (whose union is the whole of M) and open subsets of :

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

Each chart allows an open subset of the manifold to be viewed as an open subset of , but the usefulness of this depends on how much the charts agree when their domains overlap.

Consider two charts:

The intersection of their domains is

whose images under the two charts are

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

Two charts are Ck-compatible if

are open, and the transition maps

have continuous partial 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

[edit]

For any integer k > 0 and any n−dimensional Ck−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 Ck−atlas contains some number of distinct maximal C∞−atlases whenever n > 0, although for any pair of these distinct C∞−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 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 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 Rn 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 R4.

Differential structures on spheres of dimension 1 to 20

[edit]
Main article: Exotic sphere

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

[edit]

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 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 such as one doesn't know the construction of other differential structures. For non-compact 4-manifolds there are many examples like having uncountably many differential structures.

See also

[edit]

References

[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia

Differential structure

View on Grokipedia
from Grokipedia
In differential geometry, a differential structure (also known as a smooth structure) on a topological manifold MM of dimension nn is defined as an equivalence class of atlases, where each atlas is a collection of compatible charts (Uα,ϕα)(U_\alpha, \phi_\alpha) that cover MM, with Uα⊆MU_\alpha \subseteq M open sets and ϕα:Uα→Rn\phi_\alpha: U_\alpha \to \mathbb{R}^n homeomorphisms onto open subsets of Rn\mathbb{R}^n, such that the transition maps ϕβ∘ϕα−1\phi_\beta \circ \phi_\alpha^{-1} are smooth (C∞C^\infty) diffeomorphisms on their domains. Two atlases are compatible if their union forms a smooth atlas, and the equivalence class is represented by a maximal atlas containing all charts compatible with the given ones, ensuring a consistent framework for differentiation across the manifold. This structure equips the topological manifold with the tools necessary for performing calculus in a coordinate-independent manner, enabling the definition of smooth functions f:M→Rf: M \to \mathbb{R}, which are those that are smooth in every chart, and smooth maps between manifolds. It also allows the construction of tangent spaces TpMT_pM at each point p∈Mp \in M, consisting of equivalence classes of smooth curves through pp or derivations on smooth functions, which form the basis for vector fields, differential forms, and tensors. For manifolds with boundary, charts may map to the half-space Hn={(x1,…,xn)∈Rn∣xn≥0}H^n = \{ (x_1, \dots, x_n) \in \mathbb{R}^n \mid x_n \geq 0 \}, with compatibility requiring smooth extensions of transition maps near boundary points. Classic examples include the standard differential structure on Rn\mathbb{R}^n, induced by the identity chart, and on the nn-sphere SnS^n, obtained by stereographic projection charts excluding antipodal points. However, not all topological manifolds admit a differential structure—those that do are called smooth manifolds—and for dimensions 4 and higher, some manifolds support multiple inequivalent (exotic) differential structures, as first demonstrated for S7S^7 by John Milnor in 1956, highlighting the subtlety of smoothness in higher dimensions. Differential structures underpin key theorems in geometry and topology, such as the existence of partitions of unity on paracompact manifolds and the Whitney embedding theorem, which guarantees embedding into Euclidean space while preserving smoothness.

Basic Concepts

Definition

A differential structure, also known as a smooth structure, on a topological manifold MM of dimension nn is defined as a maximal atlas of charts {(Uα,φα)}\{(U_\alpha, \varphi_\alpha)\}, where each UαU_\alpha is an open subset of MM, each φα:Uα→Rn\varphi_\alpha: U_\alpha \to \mathbb{R}^n is a homeomorphism onto an open subset of Rn\mathbb{R}^n, the atlas covers MM (i.e., ⋃αUα=M\bigcup_\alpha U_\alpha = M), and the transition maps φβ∘φα−1:φα(Uα∩Uβ)→φβ(Uα∩Uβ)\varphi_\beta \circ \varphi_\alpha^{-1}: \varphi_\alpha(U_\alpha \cap U_\beta) \to \varphi_\beta(U_\alpha \cap U_\beta) are C∞C^\infty (infinitely differentiable) for all α,β\alpha, \beta. Charts (Uα,φα)(U_\alpha, \varphi_\alpha) provide local coordinate systems that allow the application of calculus tools from Rn\mathbb{R}^n to points on MM, with the open domains UαU_\alpha ensuring a locally Euclidean topology. The C∞C^\infty differentiability of transition maps on overlapping domains guarantees consistent smoothness across the manifold, enabling the definition of differentiable functions, tangent vectors, and other geometric objects independently of chart choices. A basic example is the standard differential structure on Rn\mathbb{R}^n, given by the single global chart (Rn,id)(\mathbb{R}^n, \mathrm{id}), where id:Rn→Rn\mathrm{id}: \mathbb{R}^n \to \mathbb{R}^n is the identity map; the transition map is trivially the identity, which is C∞C^\infty. More generally, one can define CkC^k structures for finite k≥1k \geq 1 by requiring transition maps to be CkC^k (k-times continuously differentiable), but C∞C^\infty structures are the standard case in differential geometry due to their compatibility with infinite-order operations like Taylor expansions.

Maximal Atlases and Equivalence

Given a compatible atlas A\mathcal{A} on a topological manifold MM, the maximal atlas associated to A\mathcal{A}, denoted Amax⁡\mathcal{A}_{\max}, is constructed as the collection of all charts (U,ϕ)(U, \phi) on MM such that the transition maps ϕ∘ψ−1\phi \circ \psi^{-1} are smooth diffeomorphisms for every chart (V,ψ)(V, \psi) in A\mathcal{A} whenever U∩V≠∅U \cap V \neq \emptyset. This extension ensures that Amax⁡\mathcal{A}_{\max} includes every possible chart compatible with the original atlas while preserving the smoothness condition across overlaps. The maximal atlas Amax⁡\mathcal{A}_{\max} is unique for any given compatible atlas A\mathcal{A}, as it represents the complete equivalence class of all atlases that share the same smooth transition properties with A\mathcal{A}. Specifically, if B\mathcal{B} is another compatible atlas with the same maximal extension Bmax⁡=Amax⁡\mathcal{B}_{\max} = \mathcal{A}_{\max}, then A\mathcal{A} and B\mathcal{B} belong to the same equivalence class under compatibility. Two differential structures on MM, defined by compatible atlases A\mathcal{A} and B\mathcal{B}, are equivalent if their union A∪B\mathcal{A} \cup \mathcal{B} forms a compatible atlas, meaning all transition maps between charts from A\mathcal{A} and B\mathcal{B} are smooth diffeomorphisms. Equivalently, A\mathcal{A} and B\mathcal{B} define the same differential structure if they generate the same maximal atlas, ensuring that the smooth functions and differentiable maps induced by each coincide. This equivalence relation partitions compatible atlases into classes, each corresponding to a unique maximal atlas that fully characterizes the differential structure. For example, on the manifold consisting of a single point, any atlas is the trivial chart mapping the point to R0={0}\mathbb{R}^0 = \{0\}, and all such constant atlases are equivalent since their union remains compatible and generates the same unique maximal atlas.

Theoretical Foundations

Existence Theorems

In low dimensions, the existence of differential structures on topological manifolds is guaranteed without obstructions. Specifically, every topological manifold of dimension 1, 2, or 3 admits a unique smooth structure up to diffeomorphism, as established through the equivalence of topological, PL, and smooth categories in these dimensions. For dimension 3, this follows from Moise's theorem on the unique triangulability of topological 3-manifolds and the subsequent smoothing of PL structures. A general method to equip a smoothable topological manifold of dimension nn with a compatible C∞C^\infty atlas relies on partitions of unity and local Euclidean charts. Since second-countable Hausdorff topological manifolds are paracompact, partitions of unity subordinate to any locally finite open cover exist, enabling the construction of a countable atlas where transition maps can be smoothed via approximation techniques, such as convolution with mollifiers, when the underlying topology permits. Hirsch's obstruction theory provides a framework for the existence of smooth structures on PL manifolds, with obstructions lying in cohomology groups Hk(M;Γn−k)H^k(M; \Gamma_{n-k}), where Γj\Gamma_j are the groups classifying homotopy classes of diffeomorphisms of spheres. In low dimensions (up to 3), these obstructions vanish, yielding explicit constructions via triangulations that admit smoothings. Existence is guaranteed in all dimensions for smoothable manifolds, but the nature of the structure varies by dimension; for instance, in dimension 4, PL structures exist on those topological manifolds that are smoothable, though not all topological 4-manifolds admit even PL structures, as seen in examples like the E8 manifold. The paracompactness of topological manifolds ensures that countable atlases suffice for global compatibility, avoiding uncountable collections of charts.

Uniqueness Theorems

In dimensions 1, 2, and 3, every topological manifold admits a unique smooth structure up to diffeomorphism. This uniqueness stems from the complete classification of such manifolds and the equivalence between topological and smooth categories in low dimensions, where any piecewise linear structure can be smoothed uniquely. For surfaces (dimension 2), the classification via genus and orientability ensures a single smooth atlas up to diffeomorphism, while in dimension 3, the geometrization theorem and earlier work confirm that all topological 3-manifolds are smoothable with a unique structure. In dimension 4, uniqueness of smooth structures fails dramatically, with multiple distinct smooth structures—known as exotic smooth structures—existing on certain topological 4-manifolds. Donaldson's application of Yang-Mills gauge theory demonstrated that the Dolgachev surface admits infinitely many pairwise nondiffeomorphic smooth structures, all homeomorphic to the standard one, highlighting the rigidity failure in this dimension. Moreover, while Freedman's classification provides a topological understanding of simply connected 4-manifolds, the smoothability of arbitrary topological 4-manifolds remains an open problem, as exemplified by the unsolved smooth 4-dimensional Poincaré conjecture. In dimensions n≥5n \geq 5, uniqueness of smooth structures for simply connected manifolds is governed by the h-cobordism theorem, established by Smale, which aligns the smooth category closely with the topological one under certain conditions, though exotic structures can still arise. The theorem states: If (W;M0,M1)(W; M_0, M_1) is a compact smooth h-cobordism between two simply connected closed nn-manifolds with n≥5n \geq 5, then there exists a diffeomorphism ϕ:M0×[0,1]→W\phi: M_0 \times [0,1] \to W such that ϕ∣M0×{0}\phi|_{M_0 \times \{0\}} is the identity and ϕ(M0×{1})=M1\phi(M_0 \times \{1\}) = M_1. This implies that simply connected manifolds that are h-cobordant are diffeomorphic, providing a criterion for uniqueness in high dimensions, in contrast to dimension 4 where a topological h-cobordism theorem holds by Freedman but smooth versions fail.

Structures on Spheres

Low-Dimensional Spheres (Dimensions 1-6)

In low dimensions, the spheres SnS^n for n=1n = 1 to 66 exhibit particularly simple differential structures, with uniqueness up to diffeomorphism holding in all cases except possibly for n=4n=4, where the question remains open. These structures are all standard, meaning they admit compatible atlases derived from the embedding in Euclidean space Rn+1\mathbb{R}^{n+1}. The absence of exotic smooth structures in these dimensions contrasts with higher ones and follows from early results in differential topology, including direct constructions and applications of foundational theorems like the h-cobordism theorem. The 1-sphere S1S^1, topologically the circle, possesses a unique smooth structure up to diffeomorphism. This structure is induced by the standard angular coordinate chart (θ)(\theta) with θ∈[0,2π)\theta \in [0, 2\pi), where the transition functions are smooth rotations. Any other smooth atlas on S1S^1 is diffeomorphic to this standard one, as the manifold's low dimensionality allows for explicit normalization via reparametrization. For the 2-sphere S2S^2 and 3-sphere S3S^3, the smooth structures are likewise unique up to diffeomorphism, with the standard constructions relying on stereographic projections from R3\mathbb{R}^3 and R4\mathbb{R}^4, respectively. These projections provide global charts excluding a single point, with smooth transition maps ensuring compatibility. No exotic structures exist, as any homotopy 2-sphere or 3-sphere is diffeomorphic to the standard model, a result established through explicit triangulation and smoothing arguments in low dimensions. The uniqueness for S3S^3 was further solidified by the resolution of the Poincaré conjecture via Ricci flow, confirming the standard smooth structure. The case of S4S^4 is more subtle: only the standard smooth structure is known, derived from the hyperspherical embedding in R5\mathbb{R}^5, but its uniqueness up to diffeomorphism remains unproven. This corresponds to the smooth 4-dimensional Poincaré conjecture, which posits that every simply connected closed 4-manifold homotopy equivalent to S4S^4 is diffeomorphic to it; the conjecture holds topologically by Freedman's work but is open in the smooth category due to the lack of effective invariants distinguishing potential exotics. Current belief leans toward uniqueness, with no counterexamples found despite extensive searches using gauge theory and other tools. Uniqueness for S5S^5 and S6S^6 is rigorously established via Smale's h-cobordism theorem, which implies that any homotopy 5-sphere or 6-sphere bounding an h-cobordism to the standard ball is diffeomorphic to the standard sphere. This theorem, proven for dimensions at least 5, shows that simply connected h-cobordisms are products, allowing the recovery of the standard smooth structure through isotopy. Milnor's exposition further clarifies these applications for low dimensions. Overall, spheres in dimensions ≤6\leq 6 admit no exotic smooth structures; every topological nn-sphere for n≤6n \leq 6 carries a unique smooth structure diffeomorphic to the standard one, reflecting the relative tameness of differential topology in low dimensions.

Higher-Dimensional Spheres (Dimensions 7-20)

In 1956, John Milnor discovered the existence of exotic smooth structures on the 7-sphere, demonstrating that there are multiple distinct differentiable structures on the topological 7-sphere S7S^7, specifically 28 diffeomorphism classes in total. This breakthrough revealed that the smooth Poincaré conjecture fails in dimension 7, contrasting with the uniqueness of smooth structures in lower dimensions. Milnor's construction involved identifying S3S^3-bundles over S4S^4 via clutching functions, yielding manifolds homeomorphic but not diffeomorphic to the standard S7S^7. Subsequent work by Michel Kervaire and Milnor in 1963 provided a complete classification of homotopy spheres, showing that the group Θn\Theta_n of oriented diffeomorphism classes of smooth homotopy nn-spheres (including the standard sphere as the identity element) is finite for each n≥5n \geq 5, with the order ∣Θn∣|\Theta_n| giving the total number of smooth structures on the topological nn-sphere. The Kervaire-Milnor classification relates the structure of Θn\Theta_n for odd dimensions n=4k+3n = 4k+3 to the order of the image of the J-homomorphism J:πn−1(SOn)→πn−1SJ: \pi_{n-1}(SO_n) \to \pi_{n-1}^S, the stable homotopy groups of spheres, via an exact sequence involving the subgroup bPn+1bP_{n+1} of homotopy spheres bounding parallelizable manifolds: Θn≅bPn+1/im⁡J\Theta_n \cong bP_{n+1} / \operatorname{im} J. This framework explains the multiplicity of exotic structures starting from dimension 7, where non-trivial elements in Θn\Theta_n correspond to exotic spheres. Explicit computations of ∣Θn∣|\Theta_n| have been performed up to dimension 20 using algebraic topology techniques, including Adams' spectral sequence for the image of J and cobordism invariants. These yield the following numbers of diffeomorphism classes of smooth structures on SnS^n for n=7n = 7 to 2020: | Dimension nn | Number of smooth structures ∣Θn∣|\Theta_n| | |-----------------|-------------------------------------------| | 7 | 28 | | 8 | 2 | | 9 | 8 | | 10 | 6 | | 11 | 992 | | 12 | 1 | | 13 | 3 | | 14 | 2 | | 15 | 16256 | | 16 | 2 | | 17 | 16 | | 18 | 16 | | 19 | 523264 | | 20 | 24 | Representative examples include one exotic structure on S8S^8, seven exotic on S9S^9, and 991 exotic on S11S^{11}, with all such exotic smooth structures being standard (diffeomorphic to the usual one) in the piecewise-linear category. Exotic structures in these dimensions are constructed using plumbing of disk bundles over spheres and surgery theory. Milnor's original plumbing construction for dimension 7 involves gluing disk bundles along their boundaries with twisting maps to produce non-standard metrics, as exemplified by the Gromoll-Meyer sphere, an exotic 7-sphere obtained by plumbing four disk bundles over S3S^3. In higher dimensions, such as 9 and 10, Brieskorn spheres—complete intersections of complex hypersurfaces in Cm+1\mathbb{C}^{m+1}—provide explicit realizations of the exotic classes, with Σ(2,3,6)\Sigma(2,3,6) yielding an exotic 9-sphere. For dimension 11, J. P. Levine's 1969 classification via polynomial invariants and the action of the diffeomorphism group on framed cobordisms fully enumerates the 992 classes, confirming their structure as a direct sum of cyclic groups. Although explicit counts are available up to dimension 20 due to computational advances in homotopy theory, the image of the J-homomorphism is non-trivial in infinitely many dimensions ≥7\geq 7, implying the existence of exotic spheres (and thus infinitely many smooth structures) in infinitely many such dimensions, though the full Θn\Theta_n has been determined up to dimension 90 (with exceptions in dimensions ≡3(mod4)\equiv 3 \pmod{4} from 59 to 91), as of 2020.

General Manifolds

Topological Manifolds

A topological manifold is a topological space that is Hausdorff, second-countable, and locally homeomorphic to Euclidean space Rn\mathbb{R}^n for some fixed dimension nn. This definition ensures that the space has a well-behaved topology, allowing for local charts that resemble open subsets of Rn\mathbb{R}^n, without imposing any additional structure such as differentiability. Unlike smooth manifolds, topological manifolds lack an a priori differential structure, meaning they are defined purely in terms of homeomorphisms rather than differentiable maps. Every smooth manifold admits a compatible topological structure, as the smooth charts provide homeomorphisms to Rn\mathbb{R}^n, but the converse does not hold: not every topological manifold can be equipped with a smooth structure. To impose a differential structure on a topological manifold, one selects a maximal atlas of charts where the transition maps are smooth (i.e., infinitely differentiable), ensuring compatibility across the entire space. This process, known as smoothing, highlights the distinction between the topological category, which is more general, and the smooth category, which requires additional compatibility conditions on the atlas. The concept of topological manifolds was formalized in the 1930s through axiomatic approaches that emphasized local Euclidean neighborhoods and topological invariants, building on earlier combinatorial ideas from the 1920s. Key contributions came from mathematicians like Oswald Veblen and J.H.C. Whitehead, who in 1931–1932 provided a rigorous axiomatization using structure groupoids to define manifolds in purely topological terms. Smooth structures were incorporated later, as the focus shifted from topological foundations to differentiable geometry in the mid-20th century, revealing cases where smoothing is possible or obstructed. In low dimensions, smoothing is always achievable: every topological manifold of dimension at most 3 admits a unique smooth structure up to diffeomorphism. However, in dimension 4, non-smoothable examples exist, such as the E8 manifold, which is a compact, simply connected topological 4-manifold with intersection form given by the E8 lattice but no compatible smooth atlas. This example, constructed via Freedman's work on 4-manifold classification, underscores the exotic behavior in dimension 4, where topological and smooth categories diverge.

Smoothability and Obstructions

In dimensions 1–3, every topological manifold admits a unique smooth structure up to diffeomorphism. In dimensions ≥5, a topological manifold admits a compatible smooth structure if and only if its Kirby-Siebenmann invariant vanishes; this invariant, an element of Hn(M;Z/2)H^n(M; \mathbb{Z}/2), provides the primary obstruction to the existence of a piecewise linear (PL) structure, which is a prerequisite for smoothing. The first example of a compact non-smoothable topological manifold in high dimensions is the 10-dimensional Kervaire manifold (1963). Dimension 4 is exceptional due to additional gauge-theoretic obstructions beyond the Kirby-Siebenmann invariant, leading to non-smoothable manifolds like the E8 example even when the invariant vanishes. These results stem from the smoothing theory of Kirby and Siebenmann for high dimensions, and Freedman and Quinn for dimension 4. The role of PL structures as an intermediate category between topological (TOP) and smooth (DIFF) manifolds is illuminated by the failure of the Hauptvermutung in general, which conjectured unique triangulations up to combinatorial equivalence; however, in high dimensions, topological manifolds that are smoothable admit essentially unique PL structures, bridging the categories effectively. Even when smoothable, high-dimensional topological manifolds can support exotic smooth structures, meaning multiple non-diffeomorphic smooth atlases on the same underlying topological space, classified by the difference between the smooth and topological tangent bundles via the stable homotopy group Θn/bPn\Theta_n / bP_n. These exotic structures arise because the topological category admits a unique structure theorem in dimensions greater than or equal to 5, while the smooth category allows for multiple (finitely many) distinct diffeomorphism types in many cases, such as on spheres via the Milnor-Kervaire construction, classified by the finite group Θn/bPn\Theta_n / bP_n. In dimension 4, gauge theory provides key obstructions to smoothability, with Donaldson's 1980s theorems demonstrating that certain topological 4-manifolds, including simply connected ones with definite intersection forms like the E8E_8 form, do not admit smooth structures due to the inability to realize their Seiberg-Witten or Donaldson invariants smoothly. Recent advances as of 2024, including the parametrized sum-stable smoothing theorem by Kupers and Kremer for families of topological 4-manifolds (generalizing Freedman-Quinn results to show homology equivalence between spaces of smooth structures and vector bundle refinements after stabilization), and algorithmic computations of related invariants, have offered partial resolutions for specific classes, such as noncompact or sum-stable cases, but the full classification of smoothable 4-manifolds remains open as of November 2025, with gauge-theoretic methods continuing to reveal exotic behaviors.

References

  1. https://julianchaidez.net/materials/reu/lee_smooth_manifolds.pdf
  2. https://www.math.cmu.edu/~xig/Files/Teaching/Differentiable%20Manifolds%20and%20De%20Rham%20Cohomology%20(Hilary%202014)/Notes%20on%20Differentiable%20Manifolds%20and%20De%20Rham%20Cohomology.pdf
  3. https://math.mit.edu/~hrm/palestine/lee-smooth-manifolds.pdf
  4. https://www2.math.ethz.ch/will-merry/files/Merry%20-%20Differential%20Geometry%20%282021%29.pdf
  5. https://people.math.osu.edu/derdzinski.1/courses/6701/DG.pdf
  6. https://www.cmat.edu.uy/~lessa/tesis/fundamentals_of_differential_geometry_gtm_191_.pdf
  7. https://pi.math.cornell.edu/~hatcher/Papers/3Msurvey.pdf
  8. https://projecteuclid.org/journals/journal-of-differential-geometry/volume-17/issue-3/The-topology-of-four-dimensional-manifolds/10.4310/jdg/1214437136.full
  9. https://projecteuclid.org/journals/journal-of-differential-geometry/volume-18/issue-2/An-application-of-gauge-theory-to-four-dimensional-topology/10.4310/jdg/1214437665.full
  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://www.math.uchicago.edu/~may/VIGRE/VIGRE2011/REUPapers/MacKieMason.pdf
  12. https://jomprob.org/index.php/jomp/article/view/Vol-1Issue-1Paper-3
  13. https://oeis.org/A001676
  14. https://www.pnas.org/doi/10.1073/pnas.2012335117
  15. https://www.utsc.utoronto.ca/people/kupers/wp-content/uploads/sites/50/2021/01/toplectures.pdf
  16. https://www.maths.gla.ac.uk/~mpowell/topological-manifolds-lecture-notes.pdf
  17. https://link.springer.com/chapter/10.1007/978-3-030-28433-6_4
  18. https://www.math.univ-toulouse.fr/~asaintcr/resources/exotic_talk.pdf
  19. http://www2.math.uni-wuppertal.de/~scholz/preprints/Concept-of-manifold.pdf
  20. https://projecteuclid.org/journals/annals-of-mathematics-studies/volume-88/Foundational-Essays-on-Topological-Manifolds-Smoothings-and-Triangulations/10.2969/ams-st/088
  21. https://mathworld.wolfram.com/Kirby-SiebenmannInvariant.html
  22. http://staff.ustc.edu.cn/~wangzuoq/Courses/21F-Manifolds/Notes/Lec02.pdf
  23. https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society/volume-72/issue-6/On-the-Hauptvermutung-triangulation-of-manifolds-and-h-cobordism/bams/1183528513.pdf
  24. https://www.math.princeton.edu/events/parametrised-sum-stable-smoothing-theorem-topological-4-manifolds-2024-10-31t203000
  25. https://arxiv.org/abs/2507.16984
Add your contribution
Related Hubs
User Avatar
No comments yet.