Fact-checked by Grok 2 weeks ago

Low-dimensional topology

Low-dimensional topology is a branch of mathematics that studies the topological properties of manifolds, with a primary focus on dimensions 2, 3, and 4, emphasizing invariants under continuous deformations such as homeomorphisms.^[1] This field examines spaces whose qualitative features remain unchanged despite stretching or bending, without tearing or gluing, and it distinguishes itself from higher-dimensional topology by the unique challenges and richness of low-dimensional phenomena, where algebraic and geometric tools intersect profoundly.^[2] At its core, low-dimensional topology addresses the classification of fundamental objects like knots and links in the 3-sphere, surfaces and their mapping class groups, 3-manifolds via decompositions such as Heegaard splittings and hyperbolic structures, and 4-manifolds including their smooth, topological, and exotic structures.^[3] Key problems include determining whether two manifolds are homeomorphic or diffeomorphic, computing invariants like the Jones polynomial for knots, and resolving conjectures on manifold geometries, such as the Seifert fibered space conjecture and properties of fundamental groups in orientable 3-manifolds.^[3] In 3-manifold theory, efforts center on Thurston's geometrization conjecture, which posits that every 3-manifold can be decomposed into pieces with one of eight geometric structures, a result later proved by Perelman's work on Ricci flow.^[3] The field has seen transformative advances since the 1980s, driven by gauge theory and Floer homology, which provide powerful invariants for distinguishing manifold structures.^[1] Simon Donaldson's introduction of Donaldson invariants via Yang-Mills theory revolutionized 4-manifold classification, revealing obstructions to smooth structures and linking them to symplectic forms, while Edward Witten's Seiberg-Witten theory simplified these tools and yielded integer-valued invariants for spin^c structures.^[1] In parallel, Vaughan Jones' discovery of the Jones polynomial offered a new invariant for knots, impacting concordance and quantum topology, and Andreas Floer's homology theories, extended by Ozsváth and Szabó's Heegaard Floer homology, detect properties like knot genus and classify contact structures on 3-manifolds.^[1] Michael Freedman's topological classification of simply connected 4-manifolds further highlighted the gap between topological and smooth categories, leading to the study of exotic \mathbb{R}^4.^[3] Low-dimensional topology intersects deeply with symplectic and contact geometry, where contact structures—defined by nowhere-zero 1-forms \alpha satisfying \alpha \wedge (d\alpha)^n \neq 0 on (2n+1)-manifolds—serve as tools for proving results on knot surgeries and manifold invariants, as in Kronheimer-Mrowka's gauge-theoretic approaches and Eliashberg's theorems on overtwisted contacts.^[4] These connections extend to physics through Chern-Simons theory and quantum field theories, influencing areas like string theory and non-commutative geometry.^[5] Low-dimensional techniques, such as framed surgery and linking numbers, compute homotopy groups of spheres, bridging to algebraic topology.^[6] Ongoing research as of 2023 explores symplectic fillings, Lagrangian embeddings, and the geography problem for 4-manifolds, mapping Euler characteristics and signatures to identify possible structures.^[7]^[1]

History

Early foundations

The foundations of low-dimensional topology emerged in the mid-19th century through Bernhard Riemann's groundbreaking work on complex analysis and geometry. In his 1851 doctoral dissertation, Riemann introduced the concept of Riemann surfaces as a means to resolve the multi-valued nature of certain complex functions, defining them as abstract surfaces that serve as natural domains for holomorphic functions.^[8] He characterized these surfaces by their genus, a topological invariant representing the number of "handles" or holes, which quantifies their complexity and connectivity.^[9] Riemann also described Riemann surfaces as branched coverings of the complex plane or sphere, where branch points account for the ramification of functions, laying the groundwork for understanding surfaces beyond the plane.^[9] Building on this, Henri Poincaré advanced the field in the 1880s and 1890s by integrating algebraic and geometric tools to study surfaces. In works such as his 1892 paper on Fuchsian groups, Poincaré developed the notion of the fundamental group, which captures the homotopy classes of loops on a surface and serves as a key invariant for distinguishing non-homeomorphic surfaces.^[10] He used this group to classify orientable surfaces up to homeomorphism, showing that they are determined by their genus and connectivity, thus providing an early algebraic framework for surface topology.^[10] These contributions shifted focus from analytic properties to purely topological ones, emphasizing invariants like the fundamental group over geometric embeddings.^[11] Poincaré's seminal 1904 paper, the fifth supplement to his "Analysis Situs," marked a pivotal expansion into higher dimensions by introducing homology groups as cycle invariants derived from chain complexes.^[11] He applied these to three-manifolds, proposing an initial classification scheme based on Betti numbers and torsion coefficients, which quantified holes in different dimensions and distinguished manifolds like the real projective space from the three-sphere.^[11] This work highlighted the challenges of three-dimensional classification, foreshadowing issues like the Poincaré conjecture on simply connected three-manifolds.^[11] Around 1900, figures like Felix Klein and Oswald Veblen further bridged classical geometry with emerging topological ideas. Klein, through his studies of automorphism groups on Riemann surfaces, such as the icosahedral group yielding genus-zero surfaces with specific branch points, emphasized the role of symmetry groups in classifying surfaces topologically.^[12] Veblen, in his 1905 proof of the Jordan curve theorem using axiomatic foundations, provided rigorous tools for separating plane regions, influencing early topological analysis of surfaces and embeddings.^[13] A concrete example of Poincaré's approach is his polyhedral decomposition of surfaces, where a surface is triangulated into vertices, edges, and faces to compute invariants like the Euler characteristic \chi = V - E + F, which remains unchanged under homeomorphisms and aids classification.^[11] For a surface of genus g, this yields \chi = 2 - 2g, directly linking the decomposition to topological type and enabling proofs of equivalence via cutting and regluing polygons.^[11]

Modern developments

In 1956, John Milnor demonstrated the existence of exotic smooth structures on the 7-sphere by constructing manifolds homeomorphic to S^7 but not diffeomorphic to the standard smooth sphere, revealing that the smooth and topological categories diverge in dimensions greater than 4 and prompting deeper investigations into smooth structures in low dimensions.^[14] This discovery, building on Henri Poincaré's foundational ideas about manifold classification, highlighted the complexity of differentiable topology and influenced subsequent work on the h-cobordism theorem and surgery theory in dimensions 3 and 4.^[14] During the 1970s and 1980s, William Thurston advanced the geometrization program for 3-manifolds, conjecturing that every closed orientable 3-manifold decomposes uniquely into geometric pieces modeled on one of eight Thurston geometries, providing a comprehensive framework for understanding their structure.^[15] Central to this program was the orbifold theorem, announced by Thurston in 1980, which asserts that every irreducible 3-orbifold with nontrivial fundamental group admits a geometric structure, extending the conjecture to orbifolds and enabling the classification of many 3-manifolds via hyperbolic geometry.^[15] In 2002–2003, Grigori Perelman proved both the Poincaré conjecture—that every simply connected closed 3-manifold is homeomorphic to the 3-sphere—and the full geometrization conjecture using Ricci flow with surgery, a dynamical process that evolves the metric on a manifold to reveal its geometric decomposition while controlling singularities.^[16]^[17]^[18] In 1988, Andreas Floer developed instanton Floer homology, a gauge-theoretic invariant for closed oriented 3-manifolds with vanishing first homology, assigning a \mathbb{Z}/8\mathbb{Z}-graded abelian group whose Euler characteristic relates to Casson's invariant and providing tools to distinguish homology spheres and study their cobordism properties.^[19] This infinite-dimensional homology theory, inspired by Donaldson's work on 4-manifolds, laid the groundwork for symplectic and contact invariants in low-dimensional topology. In the 1980s, Vaughan Jones discovered the Jones polynomial, a new invariant for knots with connections to quantum physics, while Simon Donaldson introduced gauge-theoretic invariants that revolutionized the classification of smooth 4-manifolds.^[20]^[1] From 2009 onward, with its initial release, computational tools like SnapPy, developed by Marc Culler, Nathan Dunfield, and others, have revolutionized the study of hyperbolic 3-manifolds by enabling efficient computation of volumes, cusp shapes, symmetry groups, and Dirichlet domains for ideal triangulations, facilitating census generation and verification of geometric properties.^[21] These software advancements, building on earlier kernels like SnapPea, support experimental topology by allowing researchers to explore large families of manifolds and test conjectures numerically, with SnapPy reaching version 3.0 in 2021 and continuing development as of 2025.^[21]^[22] Post-2010, extensions of Floer homology, such as bordered and triangle Floer theories developed by Ozsváth and Szabó, have provided powerful tools for studying manifold decompositions and knot invariants.^[1]

Two-dimensional topology

Classification of surfaces

In low-dimensional topology, surfaces are classified based on their orientability and genus, which determine their topological type up to homeomorphism. A surface is orientable if it admits a consistent choice of orientation, meaning that a loop traversing the surface does not reverse the "handedness" of a local coordinate system, as formalized by the existence of an orientation double cover that is a disjoint union of two copies of the surface.^[23] Non-orientable surfaces, in contrast, lack such a consistent orientation; traversing a loop can flip the handedness, as seen in the Möbius strip, where a path around the strip reverses direction.^[24] Classic examples include the sphere, which is orientable with genus 0 (no handles), and the torus, orientable with genus 1 (one handle). The real projective plane serves as a fundamental non-orientable example, equivalent to a sphere with a cross-cap, exhibiting genus 1 in the non-orientable sense.^[23] Key topological invariants distinguish these surfaces. The Euler characteristic \chi(S) of a compact surface S, defined as \chi(S) = V - E + F where V, E, and F are the numbers of vertices, edges, and faces in a cell decomposition, provides a complete invariant when combined with orientability.^[24] For orientable surfaces of genus g, \chi(S) = 2 - 2g; thus, the sphere has \chi = 2, the torus \chi = 0, and higher genera yield negative even values.^[23] For non-orientable surfaces, formed as connected sums of k projective planes, \chi(S) = 2 - k, decreasing by 1 for each cross-cap. The fundamental group \pi_1(S) further refines this: the sphere has trivial \pi_1, the torus has \mathbb{Z} \times \mathbb{Z}, and the projective plane has \mathbb{Z}/2\mathbb{Z}, with more complex free products for higher genera.^[24] These invariants ensure that surfaces with the same \chi and orientability share isomorphic fundamental groups.^[23] Compact surfaces can be constructed explicitly via polygonal identifications, where a polygon with identified edges forms the surface's fundamental domain. For the torus, a square with opposite sides glued with matching orientations yields the standard identification, resulting in \pi_1 generated by two commuting loops.^[24] The projective plane arises from a disk with antipodal boundary points identified, or equivalently, a square with opposite sides glued in opposite directions. Higher-genus surfaces are built by connected sums, attaching handles or cross-caps through such gluings, preserving the Euler characteristic additively via \chi(S \# T) = \chi(S) + \chi(T) - 2.^[23] The classification theorem states that every compact connected surface is homeomorphic to either the sphere, a connected sum of g tori (for orientable cases, g \geq 1), or a connected sum of k projective planes (for non-orientable cases, k \geq 1).^[24] This theorem, proved using triangulation and normal surface theory, implies that orientability and the Euler characteristic fully classify such surfaces up to homeomorphism. A related result, the Dehn-Lickorish theorem, establishes that the mapping class group of a surface—which consists of orientation-preserving homeomorphisms up to isotopy—is generated by Dehn twists along a finite set of simple closed curves, providing a handlebody decomposition that captures all diffeomorphisms.^[25] This topological framework underpins the geometric structures explored in Teichmüller theory.^[24]

Teichmüller space and moduli

The Teichmüller space T_g of a closed orientable surface \Sigma_g of genus g \geq 2 is defined as the space of all marked hyperbolic metrics on \Sigma_g up to isotopy, where a marked hyperbolic metric consists of a hyperbolic structure on \Sigma_g together with a homotopy class of diffeomorphisms from a fixed reference surface to \Sigma_g.^[26] This space provides a geometric parametrization of the deformations of hyperbolic structures on the surface, and it carries a natural complex manifold structure of dimension $3g - 3, or equivalently real dimension $6g - 6.^[27] The marking distinguishes isotopic but differently labeled structures, ensuring that T_g is simply connected and serves as a universal cover for the moduli space of such structures. A standard set of coordinates for T_g is given by the Fenchel-Nielsen coordinates, which parametrize points in the space using length and twist parameters associated to a pants decomposition of \Sigma_g.^[28] A pants decomposition consists of $3g - 3 simple closed curves on \Sigma_g that cut the surface into $2g - 2 three-holed spheres (pairs of pants); for each such curve \gamma_i, the coordinates include the hyperbolic length \ell_i > 0 of the geodesic representative of \gamma_i and a twist parameter \tau_i \in \mathbb{R} measuring the relative position of the seams along the glued cuffs of adjacent pants.^[29] These $6g - 6 real parameters provide a global coordinate system for T_g, reflecting the geometric freedom in deforming the hyperbolic metric while preserving the topology.^[30] The moduli space \mathcal{M}_g of hyperbolic structures on \Sigma_g up to diffeomorphism (or biholomorphism for the associated Riemann surfaces) is obtained as the quotient \mathcal{M}_g = T_g / \mathrm{Mod}_g, where \mathrm{Mod}_g denotes the mapping class group of \Sigma_g, consisting of isotopy classes of orientation-preserving homeomorphisms of the surface. The action of \mathrm{Mod}_g on T_g is properly discontinuous and free for g \geq 2, making \mathcal{M}_g an orbifold of complex dimension $3g - 3.^[31] This quotient captures the space of isomorphism classes of hyperbolic metrics, essential for studying global invariants of surfaces. One prominent embedding of T_g realizes it holomorphically as a bounded domain in \mathbb{C}^{3g-3} via the Bers embedding, which maps each point in T_g to the tuple of coefficients of a canonical quadratic differential on a reference surface.^[32] Specifically, for a marked Riemann surface (X, f) \in T_g, the embedding associates the space of holomorphic quadratic differentials on the quasiconformal image of the reference surface under the Beltrami differential defining the marking, yielding coordinates in the projective bundle of quadratic differentials.^[33] This embedding highlights the analytic structure of T_g and bounds it within a Siegel disk-like domain. A key metric property of T_g is given by Royden's theorem, which establishes that the Kobayashi metric on T_g coincides with the classical Teichmüller metric.^[34] The Teichmüller metric measures the infimal quasiconformal dilatation needed to map between marked surfaces, while the Kobayashi metric is the infimum of lengths of holomorphic disks into the unit disk; their equality underscores the hyperbolic geometry of the space and implies completeness and negative curvature bounds.^[35]

Uniformization theorem

The uniformization theorem asserts that every simply connected Riemann surface is conformally equivalent to exactly one of the following three standard Riemann surfaces: the Riemann sphere \hat{\mathbb{C}}, the complex plane \mathbb{C}, or the unit disk \mathbb{D} (equipped with the hyperbolic metric).^[36] This classification provides a complete analytic description of simply connected Riemann surfaces up to biholomorphic equivalence. For a general Riemann surface, the theorem implies that its universal cover falls into one of these three categories, determining the surface's conformal type.^[37] Henri Poincaré provided the first rigorous proof of the theorem in 1907, independently of Paul Koebe, by constructing explicit uniformizing maps using the theory of modular functions and a generalization of Schwarz's alternating procedure (now known as the Schwarz lemma in its modern form).^[36] Poincaré's approach relies on solving a boundary value problem for analytic functions via modular forms to establish the existence of the conformal map from the surface to one of the model spaces, leveraging the Schwarz lemma to control the growth and fixed points of the mappings. This proof not only confirms the existence but also highlights the role of automorphisms in stabilizing the uniformization. Riemann surfaces are thereby classified into three types based on the structure of their fundamental groups and corresponding universal covers: elliptic type, where the universal cover is the sphere \hat{\mathbb{C}} and the fundamental group is finite; parabolic type, where the universal cover is the plane

\mathbb{C}}

and the fundamental group is either trivial or infinite cyclic; and hyperbolic type, where the universal cover is the hyperbolic plane \mathbb{H}^2 (or equivalently \mathbb{D}) and the fundamental group is a non-elementary Fuchsian group. A representative example of a hyperbolic surface is the quotient \mathbb{H}^2 / \Gamma, where \Gamma is a discrete subgroup of \mathrm{PSL}(2,\mathbb{R}) acting freely and properly discontinuously, yielding a complete hyperbolic metric on the surface.^[37] The theorem has significant applications in quasiconformal mapping theory, particularly in solving the Beltrami equation \partial_{\bar{z}} f = \mu \partial_z f with \|\mu\|_\infty < 1, where the uniformization provides a canonical way to construct quasiconformal homeomorphisms between Riemann surfaces by integrating the Beltrami coefficient via the universal cover. This solvability underpins the measurable Riemann mapping theorem and extends uniformization to quasiconformal structures. In the context of Teichmüller space, the theorem establishes hyperbolic metrics as the canonical representatives for deformations of hyperbolic-type surfaces.

Three-dimensional topology

Knot and link theory

In low-dimensional topology, a knot is defined as an embedding of the circle S^1 into the 3-sphere S^3, up to ambient isotopy.^[38] A link generalizes this to a disjoint union of finitely many such embedded circles in S^3, where the components may be linked together without intersecting.^[39] The simplest knot is the unknot, which is isotopic to the standard unknotted circle and bounds an embedded disk in S^3.^[40] Unknotting refers to operations that simplify a knot, such as the unknotting number, the minimal number of crossing changes in a diagram needed to turn a given knot into the unknot.^[41] Slicing extends this to four dimensions: a knot is slice if it bounds an embedded disk in the 4-ball B^4, meaning it becomes the unknot after "surgery" in higher dimensions.^[42] Two knots (or links) are equivalent if one can be continuously deformed into the other via an ambient isotopy of S^3. To study this combinatorially, knots and links are represented by diagrams: regular projections onto the plane where crossings are marked, with over- and under-strands distinguished.^[43] Two diagrams represent equivalent knots if one can be transformed into the other via a finite sequence of Reidemeister moves, three local changes introduced by Kurt Reidemeister in 1926 that preserve topological type: type I adds or removes a twist in a single strand; type II slides one strand over or under another without twisting; and type III rotates a strand around a crossing.^[44] Reidemeister's theorem establishes that these moves suffice to relate any two diagrams of the same knot.^[45] To distinguish non-equivalent knots, various invariants are used, quantities unchanged under ambient isotopy. The Alexander polynomial \Delta_K(t), the first such polynomial invariant, was introduced by J. W. Alexander in 1923 and is computed from the fundamental group of the knot complement using a presentation matrix. It remained the primary polynomial invariant until the 1980s. A breakthrough came in 1984 with the Jones polynomial V_K(t), discovered by Vaughan Jones via von Neumann algebra representations of the knot group, which detects differences missed by the Alexander polynomial, such as distinguishing the left- and right-handed trefoil knots. Simpler invariants include Fox colorings, introduced by Ralph Fox in 1956 as a way to detect non-triviality using modular arithmetic on knot diagrams. A diagram admits a Fox n-coloring if its arcs can be labeled with elements of \mathbb{Z}/n\mathbb{Z} such that at each crossing, twice the label of the over-arc equals the sum of the under-arc labels modulo n, with at least two distinct colors used for non-triviality.^[46] Tricolorability is the special case for n=3, where a knot is tricolorable if such a coloring exists using three colors, providing an elementary test: the trefoil is tricolorable, while the unknot is not.^[47] These colorings yield homomorphisms from the knot group to dihedral groups and generalize to higher n.^[48] A fundamental result in classification is the Gordon-Luecke theorem, proved by C. McA. Gordon and J. Luecke in 1989, stating that if two knots in S^3 have homeomorphic complements, then the knots are equivalent. Knot complements, obtained by removing an open tubular neighborhood of the knot from S^3, are compact 3-manifolds whose study connects to broader 3-dimensional topology.^[49] Despite powerful invariants, complete classification of knots remains open, with challenges in determining equivalence for complex examples.

Hyperbolic structures on 3-manifolds

A complete hyperbolic 3-manifold is defined as the quotient space \mathbb{H}^3 / \Gamma, where \mathbb{H}^3 is the hyperbolic 3-space and \Gamma is a torsion-free discrete subgroup of the isometry group \mathrm{Isom}(\mathbb{H}^3) acting freely and properly discontinuously. Such manifolds admit a complete Riemannian metric of constant sectional curvature -1. Finite-volume hyperbolic 3-manifolds may have a nonempty boundary consisting of cusps, which are tori isometric to T^2 \times [0, \infty) with the warped product metric.^[50] The Mostow-Prasad rigidity theorem establishes a profound connection between the geometry and topology of these manifolds. For closed hyperbolic 3-manifolds of finite volume, any homotopy equivalence between two such manifolds is homotopic to an isometry, implying that the fundamental group determines the geometry up to isometry. This result, originally proved by Mostow for closed manifolds in 1968 and extended by Prasad to finite-volume cases in 1973, highlights the rigidity of hyperbolic structures in dimension 3. As a consequence, quantities like volume are topological invariants for these manifolds. Dehn filling provides a method to construct new hyperbolic 3-manifolds from cusped ones. Given a hyperbolic knot complement in S^3, which is a cusped hyperbolic 3-manifold, Dehn surgery along a slope on the boundary torus yields a closed 3-manifold; Thurston's theorem states that all but finitely many such surgeries result in hyperbolic structures. This finiteness result, proved in 1978, underscores the prevalence of hyperbolic geometry among Dehn surgeries on hyperbolic knot complements. The volume of a hyperbolic 3-manifold, defined as the Riemannian volume with respect to the hyperbolic metric, is a key invariant with a positive lower bound. The Weeks manifold, obtained by specific (5,2) and (5,1) Dehn fillings on a two-cusped manifold, achieves the smallest known volume among closed orientable hyperbolic 3-manifolds, approximately 0.9427073607.^[51] This volume was computed using ideal triangulations and confirmed to be minimal through exhaustive enumeration of low-volume candidates.^[50] The figure-eight knot complement serves as a foundational example of a hyperbolic 3-manifold. Discovered by Riley in 1974, it admits a complete hyperbolic structure realized as the quotient of \mathbb{H}^3 by a discrete group generated by two ideal tetrahedra, with volume approximately 2.029883. This structure was the first explicit computation of a hyperbolic knot complement, paving the way for algorithmic volume calculations in knot theory.

Geometrization theorem

The geometrization theorem states that every compact orientable 3-manifold admits a canonical decomposition along incompressible tori into pieces, each of whose interior admits a complete Riemannian metric of constant sectional curvature or one of seven other specific homogeneous geometries, known collectively as the eight Thurston geometries: the sphere S^3, Euclidean space \mathbb{E}^3, hyperbolic space H^3, S^2 \times \mathbb{R}, H^2 \times \mathbb{R}, the universal cover of SL(2,\mathbb{R}) (denoted \widetilde{SL(2,\mathbb{R})}, Nil, and Sol. This decomposition, conjectured by William Thurston in 1982, provides a complete geometric classification of 3-manifolds by breaking them down into these geometric components after performing the connected sum decomposition along 2-spheres and the JSJ torus decomposition. A special case of the geometrization theorem is the Poincaré conjecture, which asserts that every compact simply connected 3-manifold is homeomorphic to the 3-sphere S^3; under geometrization, such a manifold has no essential tori or spheres and thus admits only the spherical geometry S^3.^[16] The proof of the full theorem was established by Grigory Perelman in 2002–2003 through a program initiated by Richard Hamilton in 1982, who introduced the Ricci flow equation \frac{\partial g}{\partial t} = -2 \mathrm{Ric}(g) as a means to evolve the metric on a Riemannian manifold toward uniform curvature.^[52] Perelman extended this by developing Ricci flow with surgery, demonstrating that the flow on a compact 3-manifold reaches an extinction time in finite duration, after which the manifold decomposes into a finite collection of spherical space forms, thereby yielding the canonical geometric decomposition. The geometrization theorem refines the JSJ decomposition, discovered independently by William Jaco and Peter Shalen in 1979 and Friedrich Johannson in 1979, which cuts a compact irreducible 3-manifold along essential tori into Seifert fibered pieces and atoroidal pieces; under geometrization, the Seifert fibered components further decompose into the six non-hyperbolic Thurston geometries, while the atoroidal components admit hyperbolic geometry H^3.^[53] Perelman's Ricci flow approach not only proves this refinement but also provides a dynamical process for obtaining the decomposition, confirming Thurston's vision of 3-manifolds as built from these geometric building blocks.^[16]

Four-dimensional topology

Exotic smooth structures

Exotic smooth structures on 4-manifolds are smooth atlases defined on topological 4-manifolds that are not diffeomorphic to the standard smooth structure compatible with the given topology. These structures highlight the profound differences between smooth and topological categories in dimension 4, where the smooth category exhibits much greater flexibility. A canonical example is an exotic \mathbb{R}^4, defined as a smooth 4-manifold that is homeomorphic to the standard Euclidean space \mathbb{R}^4 but not diffeomorphic to the standard smooth \mathbb{R}^4.^[54] The foundation for exotic smooth structures on \mathbb{R}^4 stems from the disparity between topological and smooth h-cobordism theorems in dimension 4. In 1982, Michael H. Freedman established the topological h-cobordism theorem, proving that simply connected h-cobordisms between compact 4-manifolds are products in the topological category, which implies that there is a unique topological structure on \mathbb{R}^4 up to homeomorphism.^[55] This uniqueness contrasts sharply with the smooth category, where the h-cobordism theorem fails, allowing for non-standard smoothings. In the 1980s, Simon Donaldson applied gauge theory to reveal this failure, demonstrating that certain simply connected smooth 4-manifolds with the same topology admit distinct smooth structures. His diagonal argument, used in proving the diagonalizability of intersection forms on definite 4-manifolds, showed infinite obstructions in the smooth category, extending ideas from higher-dimensional exotic spheres—such as Milnor's infinitely many exotic 7-spheres—to 4-dimensional topology and enabling the construction of exotic \mathbb{R}^4. Explicit constructions of exotic \mathbb{R}^4 often involve contractible 4-manifolds like the Mazur manifold, a compact contractible smooth 4-manifold with nontrivial fundamental group at infinity. Selman Akbulut constructed the first exotic smooth structure on the Mazur manifold in 1991 by attaching handles in a way that alters the smooth type relative to the boundary while preserving the topological type; removing an open ball from this exotic Mazur manifold yields an exotic \mathbb{R}^4.^[56] There exist uncountably many pairwise nondiffeomorphic exotic \mathbb{R}^4, arising from techniques like end-sums of standard \mathbb{R}^4 with exotic factors or infinite handle cancellations via Casson handles. Robert E. Gompf demonstrated an infinite discrete family of such structures in 1985 using topologically slice links.^[54] Akbulut's cork theorem provides a key mechanism for generating and distinguishing these exotic structures. A cork is a compact contractible smooth 4-manifold with simply connected boundary whose proper homotopy type changes under certain involutions; the theorem asserts that the diffeomorphism class of a smooth 4-manifold is determined by the diffeomorphism classes of the corks it contains, and performing a cork twist—replacing a neighborhood of the cork via an involution—yields an exotic smooth structure homeomorphic to the original. This tool has been instrumental in constructing families of exotic 4-manifolds, including exotic spheres and \mathbb{R}^4.

Donaldson invariants and gauge theory

In the study of smooth 4-manifolds, Donaldson invariants arise from the analysis of Yang-Mills instantons, providing powerful polynomial invariants that distinguish distinct smooth structures. Introduced by Simon Donaldson in 1983, these invariants are constructed using the moduli space of anti-self-dual (ASD) connections on a principal SU(2)-bundle over a compact, oriented, Riemannian 4-manifold X. The ASD equation, \Phi^+ = 0 where \Phi is the curvature 2-form and \Phi^+ its self-dual part, defines solutions known as instantons, and the invariants count signed contributions from these moduli spaces after accounting for reducibles and bubbling phenomena via Uhlenbeck compactness.^[57] These polynomials, denoted D_X(\alpha_1, \dots, \alpha_k) for classes \alpha_i \in H^2(X; \mathbb{Z}), encode topological information about the intersection form and have been instrumental in revealing discrepancies between smooth and topological categories. A key evaluation of the Donaldson invariant is the basic count \langle \alpha \rangle_X, which, for a class \alpha \in H_2(X; \mathbb{Z}) with \alpha \cdot \alpha \geq -1, formally represents a signed enumeration of embedded surfaces in X homologous to \alpha, derived from the dimension and orientation of the relevant moduli space. More precisely, under suitable metric perturbations to achieve transversality, \langle \alpha \rangle_X is the Euler characteristic of the moduli space of ASD connections with boundary conditions linking to \alpha, modulo torsion and higher-order corrections.^[57] For manifolds of simple type—those where the invariants decompose into basic classes—the polynomials simplify, allowing computations that constrain the possible intersection forms; for instance, they vanish for certain indefinite even forms, obstructing smooth realizations. In 1994, Edward Witten introduced Seiberg-Witten invariants as a computationally simpler alternative, relying on the nonlinear elliptic Seiberg-Witten monopole equations rather than full Yang-Mills theory. These equations, for a spin^c structure on X, involve a connection A and spinor \phi satisfying D_A \phi = 0 and the curvature equation F_A^+ = \sigma(\phi), where \sigma is the self-dual part of \phi \otimes \phi^*; the invariants count points in the moduli space of solutions, yielding integers that detect properties of the intersection form, such as whether it admits a metric of positive scalar curvature.^[58] Unlike Donaldson invariants, which require b_2^+ > 1 for well-definedness and involve infinite-dimensional spaces, Seiberg-Witten theory works for b_2^+ = 1 via blow-up formulas and provides direct obstructions: non-vanishing implies no positive scalar curvature metric.^[59] Applications of these gauge-theoretic invariants abound in distinguishing 4-manifolds. For the K3 surface, a minimal simply connected 4-manifold with intersection form of signature -16, Donaldson invariants confirm its uniqueness among smooth realizations of that even unimodular form by showing non-vanishing evaluations \langle \alpha \rangle \neq 0 for basic classes \alpha with \alpha \cdot \alpha = -2, obstructing blow-downs or diffeomorphisms that would alter the form.^[57] Similarly, Seiberg-Witten invariants prove the non-existence of certain metrics on K3, such as those with positive sectional curvature in specific directions, by detecting the canonical class as basic. These tools have also been pivotal in identifying exotic smooth structures on \mathbb{R}^4, where invariants vanish for the standard structure but not for diffeomorphic yet smoothly distinct counterparts.^[60] A profound connection emerges through Clifford Taubes' work in the 1990s, linking gauge theory to symplectic geometry: for a symplectic 4-manifold (X, \omega), the Seiberg-Witten invariants coincide with Gromov-Taubes invariants counting pseudo-holomorphic curves in the homology class of the symplectic form, via the relation SW(\mathfrak{s}) = \pm Gr(A). This equivalence, established through vortex equations and gluing analysis, implies that symplectic forms minimize energy among compatible metrics and provides symplectic obstructions to smoothness, such as non-vanishing for minimal classes.

Distinguishing theorems

Invariance principles

The invariance of dimension theorem asserts that if two Euclidean spaces \mathbb{R}^n and \mathbb{R}^m admit homeomorphic nonempty open subsets, then n = m.^[61] This result, established by L. E. J. Brouwer in 1911, implies that the topological dimension of a manifold is well-defined and invariant under homeomorphisms, particularly in low dimensions where n \leq 3.^[61] Brouwer's proof relies on combinatorial arguments and separation properties, providing a foundational tool for distinguishing manifolds of different dimensions.^[61] In two dimensions, the theorem can be approached via the Jordan curve theorem, which states that a simple closed curve in \mathbb{R}^2 separates the plane into a bounded interior and an unbounded exterior.^[62] To sketch the proof for invariance of domain in \mathbb{R}^2—a key lemma implying dimension invariance—consider an open set U \subset \mathbb{R}^2 and a continuous injective map f: U \to \mathbb{R}^2. For a closed disk B \subset U, the boundary \partial B maps to a Jordan curve f(\partial B), separating \mathbb{R}^2 into two components by the Jordan theorem.^[62] The image f(\operatorname{int} B) lies entirely in one component (the "interior" relative to f(\partial B)), as injectivity and continuity prevent intersection with the boundary or the other component; thus, small neighborhoods around points in f(\operatorname{int} B) remain within this component, showing f(U) is open and f a homeomorphism onto its image.^[62] This separation argument extends to general open U by compact exhaustion, confirming dimension invariance for n=2.^[62] A primary application is distinguishing spheres: the n-sphere S^n cannot be homeomorphic to S^m for m < n, as removing a point yields \mathbb{R}^n and \mathbb{R}^m, which are not homeomorphic by dimension invariance.^[61] For instance, S^3 is topologically distinct from S^2 or lower-dimensional spheres, underpinning classifications in low-dimensional topology.^[61] Related to dimension invariance, homology groups provide further invariants in low dimensions through simplicial approximations. The simplicial approximation theorem ensures that continuous maps between simplicial complexes can be approximated by simplicial maps, inducing isomorphisms on homology groups for homeomorphic or homotopy equivalent spaces. In dimensions \leq 3, this yields computable homology invariants, such as H_2(S^2) \cong \mathbb{Z} distinguishing it from contractible spaces or lower spheres where higher homology vanishes.

Surgery and cobordism results

Surgery theory provides a powerful framework for modifying and classifying manifolds by excising and reattaching handles, playing a central role in low-dimensional topology. In dimensions 3 and 4, it intersects with cobordism theory to yield precise classification results, particularly through h-cobordisms, which are cobordisms where the inclusions of the boundary components induce homotopy equivalences.^[63] The h-cobordism theorem, established by Stephen Smale in 1962, asserts that for simply connected smooth n-manifolds with boundary that bound a simply connected h-cobordism, where n ≥ 5, the two boundary components are diffeomorphic via a diffeomorphism that extends over the cobordism.^[63] This result revolutionized high-dimensional topology by enabling the decomposition of manifolds into handles and implying the smooth Poincaré conjecture in dimensions at least 5, where homotopy spheres are diffeomorphic to standard spheres. However, the theorem does not hold in dimension 4, where simply connected h-cobordant 4-manifolds need not be diffeomorphic, highlighting the peculiarities of 4-dimensional smooth structures. In the topological category, Robion Kirby and Laurence Siebenmann extended surgery theory during the 1970s, developing a complete obstruction theory for realizing homotopy types by topological manifolds.^[64] Their Kirby-Siebenmann theorem identifies a primary obstruction in dimension 4: the Kirby-Siebenmann invariant, an element in \mathbb{Z}/2\mathbb{Z}, which measures whether a topological 4-manifold admits a piecewise linear (PL) triangulation after stabilization by connected sum with sufficiently many copies of S^4. This invariant vanishes if and only if the manifold is stably PL, and it plays a crucial role in distinguishing topological from smooth and PL structures in 4 dimensions, as higher-dimensional surgery obstructions vanish above dimension 5. For 3-manifolds, surgery theory achieves a full classification via the Lickorish-Wallace theorem, independently proved in 1962.^[65] This theorem states that every closed, orientable, piecewise linear 3-manifold is diffeomorphic to a 3-sphere S^3 with surgery performed along a link, where each component receives a framing of \pm 1. Lickorish and Wallace independently showed that every such 3-manifold arises from \pm 1-surgeries on links in S^3. This presentation underscores the generative power of Dehn surgery in dimension 3, allowing any orientable 3-manifold to be constructed explicitly from S^3. A key application in 4 dimensions involves spin structures and the Rochlin invariant. For a closed, smooth, spin 4-manifold M, the Rochlin invariant \mu(M) is defined as one-eighth of the signature of M modulo 2, and Rokhlin's theorem from 1952 proves that the signature \sigma(M) is divisible by 16, implying \mu(M) \equiv 0 \pmod{2} for such manifolds.^[66] This divisibility constraint, derived from the index of the Dirac operator on spinors or homotopy-theoretic arguments involving the J-homomorphism, obstructs certain smooth structures and links 4-manifold topology to gauge theory invariants, though it holds only in the smooth category and fails topologically.

Annulus and sphere theorems

Dehn's lemma, proved by Christos Papakyriakopoulos in 1957, asserts that in any 3-manifold, a simple closed curve that is null-homotopic in the manifold bounds an embedded disk.^[67] This result resolves a conjecture originally posed by Max Dehn in 1910 and provides a foundational tool for understanding embedded surfaces in 3-dimensional spaces by linking homotopy and embedding properties of curves.^[67] Building on Dehn's lemma, Papakyriakopoulos also established the sphere theorem in the same 1957 paper, which states that if the second homotopy group \pi_2(M) of an aspherical 3-manifold M is nontrivial, then there exists an embedded 2-sphere in M representing a nontrivial element of \pi_2(M).^[67] The theorem applies particularly to 3-manifolds with infinite fundamental group, ensuring that nontrivial spherical elements can be realized geometrically without self-intersections.^[67] Papakyriakopoulos' proof relies on a combinatorial construction involving a tower of covering spaces and iterative thinning of immersed spheres to eliminate singularities, establishing a direct correspondence between homotopy classes and embedded representatives.^[67] The annulus theorem states that in a compact irreducible 3-manifold with incompressible boundary, every essential properly embedded annulus is boundary-parallel.^[68] This theorem guarantees that essential annuli behave in a controlled manner, preventing exotic twisting or compression that could obscure the manifold's structure. Modern proofs, such as those using normal surface theory developed by Wolfgang Haken in 1961, enumerate possible embedded surfaces via coordinate systems adapted to a triangulation of the manifold, ensuring the annulus can be isotoped to a standard form without introducing fundamental domains that violate irreducibility.^[68] Compression bodies, which decompose the manifold into handlebody-like regions bounded by essential surfaces, further facilitate this by allowing the annulus to be pushed into regions where its embedding is uniquely determined up to isotopy. These local recognition theorems have key applications in establishing the incompressibility of essential surfaces within hyperbolic 3-manifolds, where null-homotopic curves or spheres cannot bound embedded disks or annuli without contradicting the manifold's negative curvature properties.^[67]

References

[1]
[PDF] Floer Homology, Gauge Theory, and Low-Dimensional Topology
1. Low-dimensional topology—Congresses. 2. Symplectic geometry—Congresses. 3. Homol- ogy theory—Congresses. 4. Gauge fields ( ...
[2]
Instantons, Representations and Low Dimensional Topology - ADS
Low dimensional topology is an area of mathematics that studies qualities of three- and four-dimensional spaces which are insensitive to continuous ...
[3]
[PDF] Problems in Low-Dimensional Topology - Brandeis
There are indices of conjectures, and an index of mathematical terms including symbols, knots and manifolds. Finally, there is a list of old problem lists. The ...
[4]
[PDF] Lectures on Contact Geometry in Low Dimensional Topology
Contact geometry is a key tool in low-dimensional topology, used in results like Kronheimer and Mrowka's proof and Ozsváth and Szabó's proofs.
[5]
[PDF] Homotopy groups of spheres and low-dimensional topology
This document gives a modern account of calculating πn+1(Sn) and πn+2(Sn) using low-dimensional topology, with geometric derivations of Pontryagin's work.<|control11|><|separator|>
[6]
[PDF] Riemann and Complex algebraic geometry
Sep 20, 2024 · Works. Riemann's thesis (1851) introduced Riemann surfaces and extended complex anal- ysis to them. His 1857 paper on abelian functions studied ...
[7]
[PDF] History of Riemann surfaces
Oct 11, 2005 · The point of the introduction of Riemann surfaces made by Riemann, Klein and. Weyl (1851-1913), was that a Riemann surface can be considered as ...
[8]
Henri Poincaré - Biography - MacTutor - University of St Andrews
Poincaré introduced the fundamental group (or first homotopy group) in his paper of 1894 to distinguish different categories of 2-dimensional surfaces.
[9]
[PDF] Papers on Topology - School of Mathematics
Page 1. Papers on Topology. Analysis Situs and Its Five Supplements. Henri Poincaré. Translated by John Stillwell. July 31, 2009. Page 2. 2 ...
[10]
Felix Klein (1849 - 1925) - Biography - MacTutor
They discovered the fundamental properties of the asymptotic lines on the Kummer surface. Further collaboration with Lie followed and they worked on an ...Missing: topology | Show results with:topology
[11]
Oswald Veblen - Biography - MacTutor - University of St Andrews
He went on to establish Princeton as one of the leading centres in the world for topology research. Analysis Situs (1922) provided the first systematic coverage ...
[12]
https://mathshistory.st-andrews.ac.uk/Biographies/Klein/
[13]
[PDF] William P. Thurston The Geometry and Topology of Three-Manifolds
This is an electronic edition of the 1980 notes distributed by Princeton University. The text was typed in TEX by Sheila Newbery, who also scanned the ...Missing: geometrization URL
[14]
The entropy formula for the Ricci flow and its geometric applications
Abstract: We present a monotonic expression for the Ricci flow, valid in all dimensions and without curvature assumptions.
[15]
[math/0303109] Ricci flow with surgery on three-manifolds - arXiv
Mar 10, 2003 · This is a technical paper, which is a continuation of math.DG/0211159. Here we construct Ricci flow with surgeries and verify most of the assertions.Missing: 2002 | Show results with:2002
[16]
Finite extinction time for the solutions to the Ricci flow on certain ...
Jul 17, 2003 · View a PDF of the paper titled Finite extinction time for the solutions to the Ricci flow on certain three-manifolds, by Grisha Perelman.Missing: 2002 | Show results with:2002
[17]
An instanton-invariant for $3$-manifolds - Project Euclid
An instanton-invariant for 3 3 -manifolds. Andreas Floer. DOWNLOAD PDF + SAVE TO MY LIBRARY. Comm. Math. Phys. 118(2): 215-240 (1988).
[18]
[PDF] The evolution of geometric structures on 3-manifolds
Nov 28, 2010 · Every elliptic curve E defined over Q is dominated by a modular curve of the form X0(N) = H2/Γ0(N). Like the geometrization conjecture, the ...
[19]
SnapPy: Computing with hyperbolic 3-manifolds for fun and profit
Aug 24, 2009 · This post is so Marc Culler and I can announce SnapPy, a computer program for studying hyperbolic structures on 3-manifolds.
[20]
[PDF] classification of surfaces - UChicago Math
We will classify compact, connected surfaces into three classes: the sphere, the connected sum of tori, and the connected sum of projective planes. Contents. 1.
[21]
[PDF] A Guide to the Classification Theorem for Compact Surfaces
Jan 8, 2025 · The topic of this book is the classification theorem for compact surfaces. We present the technical tools needed for proving rigorously the ...
[22]
A finite set of generators for the homeotopy group of a 2-manifold
A finite set of generators for the homeotopy group of a 2-manifold. Published online by Cambridge University Press: 24 October 2008. W. B. R. Lickorish.
[23]
[PDF] Metrics and Coördinates on Teichmüller Space - Purdue Math
Jul 28, 2017 · The genus-g Teichmüller space, denoted Tg = T (Σg), is the set of marked hyperbolic1 metrics on Σg up to isotopy. By uniformization, this is ...
[24]
[PDF] The Fundamental Groups at Infinity of the Moduli Spaces of Curves
for introducing marked surfaces) that Tg,n is a contractible space of real dimension 6g − 6+2n. It can actually also be given a complex analytic structure ...<|separator|>
[25]
[PDF] On Fenchel-Nielsen coordinates on Teichmüller spaces of ... - HAL
Mar 4, 2010 · We shall call a decomposition of a hyperbolic surface into generalized hyperbolic pair of pants glued along their boundary components a ...
[26]
COMPUTING FENCHEL-NIELSEN COORDINATES IN TEICHM ...
A set of rigorous and practical algorithms for computing Fenchel-Nielsen co- ordinates for high genus surfaces, including hyperbolic pants decomposition,.
[27]
Fenchel–Nielsen coordinates on upper bounded pants ...
Jan 16, 2015 · Fenchel–Nielsen coordinates on upper bounded pants decompositions | Mathematical Proceedings of the Cambridge Philosophical Society | Cambridge ...<|separator|>
[28]
[PDF] New Trends in Teichmüller Theory and Mapping Class Groups
Then. Modg acts on Tg holomorphically and properly, and the quotient Modg\Tg is the moduli space Mg of compact Riemann surfaces of genus g. Let G be a ...Missing: M_g | Show results with:M_g
[29]
[PDF] the grafting map of teichm¨uller space - Rice University
May 16, 2002 · As the name suggests, it is an embedding [Be66] of the (3g−3)-dimensional Teichmüller space Tg into the (3g−3)-dimensional complex vector space ...
[30]
[PDF] Geometry of Teichmüller space with the Teichmüller metric
Jan 20, 2010 · The purpose of this chapter is to describe recent progress in the study of Teichmüller ge- ometry. We focus entirely on the Teichmüller ...
[31]
Metrics on teichmuller space - SpringerLink
Aug 26, 2006 · About this paper. Cite this paper. Royden, H.L. (1974). Metrics on teichmuller space. In: Bers, L., Kra, I. (eds) A Crash Course on Kleinian ...Missing: original | Show results with:original
[32]
Report on the Teichmüller Metric - PNAS
The Teichmüller metric is then shown to be the Kobayashi metric for Tg and hence invariant under biholomorphic maps. Continue Reading. VIEW PDF ...Missing: original paper
[33]
https://math.uchicago.edu/~masur/chapter3.pdf
[34]
The Geometry of Discrete Groups | SpringerLink
The Geometry of Discrete Groups ; eBook USD 54.99. Price excludes VAT (USA) ; Softcover Book USD 69.99 ; Hardcover Book USD 99.99 ; PDF accessibility summary. This ...
[35]
Knot -- from Wolfram MathWorld
In mathematics, a knot is defined as a closed, non-self-intersecting curve that is embedded in three dimensions and cannot be untangled to produce a simple ...
[36]
link in nLab
Mar 20, 2025 · A link is a generalisation of a knot where one is allowed more than one component. Many knot invariants extend to link invariants.
[37]
[PDF] Topology of knots. - UCSB Mathematics Department
DEFINITION 3. K is unknotted (or the unknot) if it is isotopic to S¹ C §3. (equivalently, to the round circle in the plane in ...
[38]
[PDF] ON SLICING INVARIANTS OF KNOTS 1. Introduction The unknotting ...
The slicing number of a knot, us(K), is the minimum number of crossing changes required to convert K to a slice knot. This invariant is bounded above by the ...
[39]
[PDF] Slice knots and knot concordance - Numdam
Definition 1.10. A knot K ⊆ S3 = ∂B4 is topologically slice if it bounds a locally flat embed- ded disc, called a topological slice disc, ...
[40]
Knots and Links
The Reidemeister moves let us translate the topological relation- ship of ambient isotopy into a combinatorial equivalence relation. That is, we started ...<|separator|>
[41]
[PDF] Reidemeister's Theorem
Reidemeister's Theorem Two knots are topologically equivalent if and only if their projections may be ... 1926 by Kurt Reidemeister in Königsberg and by J.W..
[42]
[PDF] Knots, Links, and Invariants - A Basic - Overview of Knot Theory
Now, the important idea is that in 1926 Kurt Reidemeister proved that these moves are all you need! In other words, if you have two projections of the same ...
[43]
[PDF] A Colorful Approach to Knot Theory (or
Knot colorings were the idea of the Princeton topologist Ralph Fox, who introduced them in 1956. To apply them we need only elementary ideas of linear algebra.Missing: tricolorability | Show results with:tricolorability
[44]
[PDF] arXiv:1910.08044v1 [math.GT] 17 Oct 2019
Oct 17, 2019 · One of the simplest ways of telling knots apart is tricolorability ... Ralph Fox generalized this notion to n-colorability, and popularized this ...
[45]
[1301.5378] Three dimensions of knot coloring - arXiv
Jan 23, 2013 · This survey article discusses three aspects of knot colorings. Fox colorings are assignments of labels to arcs, Dehn colorings are assignments ...
[46]
In knot theory: Benefits of working in $S^3$ instead of $\mathbb{R}^3
Apr 27, 2011 · Knot theory is in fact knot-complement theory, and a knot complement in S3 is a compact 3-manifold, while a knot complement in R3 is an open 3- ...
[47]
[0809.0346] Minimum-volume hyperbolic 3-manifolds - arXiv
Sep 2, 2008 · We enumerate the small-volume manifolds that can be obtained by Dehn filling on Mom-2 and Mom-3 manifolds as defined by Gabai, Meyerhoff, and the author.<|separator|>
[48]
[0705.4325] Minimum volume cusped hyperbolic three-manifolds
May 30, 2007 · In particular, the Weeks manifold is the unique smallest volume closed orientable hyperbolic 3-manifold.
[49]
Three-manifolds with positive Ricci curvature - Project Euclid
1982 Three-manifolds with positive Ricci curvature. Richard S. Hamilton · DOWNLOAD PDF + SAVE TO MY LIBRARY. J. Differential Geom. 17(2): 255-306 (1982).
[50]
Seifert fibered spaces in 3-manifolds - American Mathematical Society
Much of the topology of Seifert fibered 3-manifolds is dealt with in the papers ... Jaco and P. B. Shalen, Peripheral structure of 3-manifolds, Invent. Math ...
[51]
AN INFINITE SET OF EXOTIC R4 'S - Project Euclid
An exotic R4 is a smooth manifold homeomorphic to R4, but not diffeomorphic to it. An uncountable family of distinct R4's exists.
[52]
THE TOPOLOGY OF FOUR-DIMENSIONAL MANIFOLDS
A compact \-connected smooth 5-dimensional h-cobordism (W\. M, M') (which is a product over the possibly empty boundary dM) is topologi- cally a product, i.e., ...
[53]
A FAKE COMPACT CONTRACTIBLE 4-MANIFOLD - Project Euclid
A fake compact contractible 4-manifold is a smooth structure on a Mazur manifold, homeomorphic but not diffeomorphic to it relative to the boundary.
[54]
An application of gauge theory to four-dimensional topology
Project Euclid Open Access 1983 An application of gauge theory to four-dimensional topology SK Donaldson DOWNLOAD PDF + SAVE TO MY LIBRARYMissing: Yang- Mills
[55]
[hep-th/9411102] Monopoles and Four-Manifolds - arXiv
Nov 15, 1994 · Monopoles and Four-Manifolds. Authors:Edward Witten. View a PDF of the paper titled Monopoles and Four-Manifolds, by Edward Witten. View PDF.Missing: Seiberg- original
[56]
[PDF] monopoles and four-manifolds
The monopole equations, definition of four-manifold invariants, and rela-.
[57]
[PDF] THE SEIBERG-WITTEN INVARIANTS AND SYMPLECTIC FORMS ...
Recently, Seiberg and Witten (see [SW1], [SW2], [W]) introduced a re- markable new equation which gives differential-topological invariants for.
[58]
Beweis der Invarianz der Dimensionenzahl | Mathematische Annalen
Cite this article. Brouwer, L.E.J. Beweis der Invarianz der Dimensionenzahl. Math. Ann. 70, 161–165 (1911). https://doi.org/10.1007/BF01461154. Download ...
[59]
[PDF] invariance of domain and the jordan curve theorem in r2
Before going into details of the proof of Invariance of Domain and the Jordan. Curve Theorem, we want to recall the definition of homotopy and establish the.
[60]
On Dehn's Lemma and the Asphericity of Knots - jstor
The present paper contains a 'roof of Dehn's lemma and an analogous result that we call the sphere theorem, from which other theorems follow.' DEHN'S LEMMA.Missing: original | Show results with:original
[61]
Stable Homeomorphisms and the Annulus Conjecture - jstor
HSIANG and J. L. SHANESON, Fake tori, the annulus conjecture, and the conjectures of Kirby, to appear. [18] J. L. SHANESON, Embeddings with codimension two ...