Fact-checked by Grok 2 weeks ago

4-manifold

In mathematics, a 4-manifold is a four-dimensional topological manifold, defined as a Hausdorff second-countable topological space that is locally homeomorphic to Euclidean 4-space \mathbb{R}^4.^[1] These manifolds can be equipped with additional structures, such as smooth, symplectic, Kähler, or Riemannian geometries, which enable the study of their differential and geometric properties.^[1] Unlike manifolds in lower dimensions, 4-manifolds exhibit unique topological phenomena, including the existence of exotic smooth structures on \mathbb{R}^4 and the failure of the smooth h-cobordism theorem, making their classification a central open problem in topology.^[2] The topology of closed, simply connected 4-manifolds is largely determined by invariants such as the Euler characteristic \chi, the signature \sigma, and the intersection form on the second homology group H_2(X; \mathbb{Z}), a unimodular symmetric bilinear form that encodes embedding and self-intersection data.^[3] Notable examples include the 4-sphere S^4, complex projective plane \mathbb{CP}^2, and K3 surfaces, which illustrate diverse behaviors like positive curvature metrics or hyperelliptic involutions.^[2] Advances in gauge theory, particularly Donaldson's invariants from Yang-Mills theory and the Seiberg-Witten equations, have revolutionized the field by distinguishing smooth structures and providing obstructions to diffeomorphisms, with applications extending to string theory and quantum field theory in physics.^[1]

Fundamentals

Definition and Basic Properties

A 4-manifold is a Hausdorff, second-countable topological space locally homeomorphic to \mathbb{R}^4.^[4] More precisely, for every point p in the 4-manifold M, there exists an open neighborhood U of p and a homeomorphism \phi: U \to V, where V is an open subset of \mathbb{R}^4.^[4] This local Euclidean structure distinguishes 4-manifolds from more general topological spaces and enables the application of tools from differential topology when a smooth structure is present.^[4] Basic examples of 4-manifolds include the 4-sphere S^4, Euclidean 4-space \mathbb{R}^4, the 4-torus T^4 = S^1 \times S^1 \times S^1 \times S^1, the complex projective plane \mathbb{CP}^2, and the K3 surface.^[2]^[3] Among these, S^4, T^4, \mathbb{CP}^2, and the K3 surface are compact, while \mathbb{R}^4 is noncompact; the latter three examples are also orientable.^[2]^[3] A 4-manifold M is oriented if it admits an orientation, meaning a consistent choice of ordered bases for tangent spaces such that transition functions between overlapping charts have positive determinant.^[3] Compactness refers to the standard topological property that every open cover of M has a finite subcover.^[4] For a closed (compact without boundary) oriented 4-manifold M, the Euler characteristic is given by \chi(M) = \int_M e(TM), where e(TM) is the Euler class of the oriented tangent bundle and the integral is the pairing with the fundamental class [M].^[3] This topological invariant equals the alternating sum of the Betti numbers b_i(M) = \dim H_i(M; \mathbb{Q}), specifically \chi(M) = b_0 - b_1 + b_2 - b_3 + b_4.^[3] The signature \sigma(M) of a closed oriented 4-manifold M is defined as \sigma(M) = b_2^+ - b_2^-, where b_2^\pm are the dimensions of the positive- and negative-definite subspaces in the decomposition of H_2(M; \mathbb{R}) with respect to the intersection form.^[2] These Betti numbers b_2^\pm arise from the action of the Hodge star operator on the space of harmonic 2-forms, splitting it into \pm 1 eigenspaces.^[2] The signature provides a quadratic refinement of the intersection form and is a key additive invariant under connected sum.^[2]

Topological versus Smooth Structures

A topological 4-manifold is a second-countable, Hausdorff topological space that is locally homeomorphic to \mathbb{R}^4. Such manifolds are studied up to homeomorphism, focusing on global topological properties without reference to differentiability. In contrast, a smooth 4-manifold is a topological 4-manifold equipped with a maximal C^\infty atlas, where transition maps between charts are infinitely differentiable; this structure enables the definition of tangent spaces, differential forms, and Riemannian metrics in a coherent manner. The piecewise linear (PL) category lies between these, consisting of topological manifolds with an atlas of PL homeomorphisms to simplicial complexes in \mathbb{R}^4, providing a combinatorial framework intermediate to the continuous topological and analytic smooth categories. In dimensions n \neq 4, the categories TOP (topological), PL, and DIFF (smooth) coincide in a strong sense: for n \geq 5, every topological n-manifold admits a PL structure unique up to PL homeomorphism, and every PL n-manifold admits compatible smooth structures, as established by the Kirby-Siebenmann classification of PL structures on topological manifolds and the classical smoothing theory of Hirsch, Mazur, Haefliger, and Weber. Dimension 4 is anomalous, where the Kirby-Siebenmann invariant in \mathbb{Z}/2\mathbb{Z} obstructs the existence of PL structures on certain topological 4-manifolds, and smooth structures may fail to exist or be highly non-unique on those that do admit them. For instance, the topological \mathbb{R}^4 admits uncountably many pairwise non-diffeomorphic smooth structures, called exotic \mathbb{R}^4s.^[5] Not every topological 4-manifold admits a smooth structure; the E_8 manifold, a simply connected closed topological 4-manifold with intersection form the E_8 lattice (signature 8), provides a counterexample, as its signature violates Rokhlin's theorem requiring the signature of smooth spin 4-manifolds to be divisible by 16. This manifold also lacks a PL structure, exemplifying the failure of triangulability for topological 4-manifolds; Kirby and Siebenmann's 1969 announcement constructed non-triangulable manifolds in dimensions \geq 5, while Freedman's 1982 work explicitly realized such examples in dimension 4 via the E_8 construction. These distinctions highlight the rich interplay and pathologies unique to 4-dimensional topology, influencing subsequent developments in classification and invariants.

Topological 4-Manifolds

Freedman's Classification Theorem

Freedman's classification theorem provides a complete homeomorphism classification of simply connected closed topological 4-manifolds in terms of their intersection forms. Specifically, every such manifold M realizes a unimodular symmetric bilinear form \lambda on H_2(M; \mathbb{Z}). For even forms satisfying the existence conditions, M is unique up to homeomorphism and is given by the connected sum \#_p \mathbb{CP}^2 \#_q (-\mathbb{CP}^2) \#_r (S^2 \times S^2) \#_s E_8, where E_8 denotes the plumbing manifold associated to the E_8 Cartan matrix (a negative definite even unimodular form of rank 8), and the non-negative integers p, q, r, s are determined by the rank b_2(M), signature \sigma(M), and parity of the intersection form on H_2(M; \mathbb{Z}). For odd forms, there are exactly two homeomorphism classes realizing the form: the smoothable one (with Kirby-Siebenmann invariant ks=0) homeomorphic to the corresponding connected sum, and the non-smoothable one (ks=1).^[6]^[3] The intersection form \lambda: H_2(M; \mathbb{Z}) \times H_2(M; \mathbb{Z}) \to \mathbb{Z} is a unimodular symmetric bilinear form, classified up to isomorphism by its rank (equal to b_2(M)), signature \sigma(M) (the difference between the numbers of positive and negative eigenvalues), and parity (whether all self-intersections are even or not). For odd parity, the form is isomorphic to p \langle 1 \rangle \oplus q \langle -1 \rangle \oplus r H, where H is the hyperbolic plane form of rank 2 and signature 0, with p - q = \sigma(M) and p + q + 2r = b_2(M). For even parity, the form is a E_8 \oplus b H (with appropriate signs on E_8), where a = |\sigma(M)|/8 and b = (b_2(M) - 8a)/2, provided b \geq 0 and \sigma(M) \equiv 0 \pmod{16}; otherwise, no such manifold exists. While even forms satisfying the conditions are realized by a unique simply connected closed topological 4-manifold up to homeomorphism, odd forms are realized by exactly two such manifolds, distinguished by the Kirby-Siebenmann invariant (one with ks=0, smoothable; the other with ks=1).^[6]^[3] The proof relies on surgery theory adapted to the topological category in dimension 4, which allows one to perform handle attachments and cancellations to realize any simply connected 4-manifold up to homeomorphism by standard pieces, guided by the intersection form. A key ingredient is the Rochlin theorem, which states that the signature of any smooth closed spin 4-manifold is divisible by 16; this constrains the possible even forms in the topological setting, ensuring that only those with \sigma \equiv 0 \pmod{16} arise, as spin structures lift topologically but smooth realizations respect the invariant.^[6] As an implication, the theorem resolves the topological Poincaré conjecture in dimension 4: any simply connected closed topological 4-manifold homotopy equivalent to S^4 (hence with trivial intersection form, so b_2 = 0) is homeomorphic to S^4. This generalizes Stephen Smale's 1961 proof of the conjecture in dimensions greater than or equal to 5.^[6]^[7]

Kirby-Siebenmann Invariant

The Kirby-Siebenmann invariant of a compact topological 4-manifold M with boundary, denoted ks(M) \in \mathbb{Z}/2\mathbb{Z}, is the primary obstruction to equipping M with a piecewise linear (PL) structure; it takes values in the cohomology group H^4(M, \partial M; \mathbb{Z}/2\mathbb{Z}).^[8] Defined via obstruction theory as the class preventing a lift of the classifying map for the stable topological tangent microbundle M \to BTOP(4) to BPL(4), it arises from the homotopy group \pi_3(TOP(4)/PL(4)) \cong \mathbb{Z}/2\mathbb{Z}. If ks(M) = 0, then M admits a PL structure, and M \times \mathbb{R} admits a smooth structure; the invariant is additive under connected sum and vanishes if M bounds a compact 5-manifold.^[8] Computations of ks(M) rely on surgery-theoretic tools and specific manifold data. For spin 4-manifolds, ks(M) = \sigma(M)/8 \pmod{2}, where \sigma(M) is the signature.^[8] In the simply connected closed case, it can be determined algorithmically from a Kirby diagram representing the manifold, by evaluating fixed-point data or cobordism obstructions in the PL category.^[9] More generally, it involves analyzing the simple homotopy type and normal invariants via Wall's surgery obstruction groups, often using triangulations or handle decompositions to detect the \mathbb{Z}/2-torsion. Prominent examples illustrate its role: the simply connected E_8 manifold, with intersection form given by the E_8 Cartan matrix and signature 8, satisfies ks(E_8) = 1 and thus admits no PL structure.^[8] Similarly, *CP²—the non-smoothable topological 4-manifold homotopy equivalent to \mathbb{CP}^2 but realizing an odd intersection form—has ks = 1, obstructing PL and smooth structures.^[8] For non-simply connected cases, certain graph manifolds, such as twisted S^1-bundles over non-aspherical 3-manifolds like the Poincaré homology sphere, exhibit ks = 1. In the broader classification of topological 4-manifolds, the Kirby-Siebenmann invariant extends the Freedman-Quinn program beyond simply connected examples, incorporating it into surgery obstructions for manifolds with non-trivial fundamental groups. It refines the topological surgery exact sequence, where normal maps and simple homotopy equivalences are classified partly by ks, enabling the construction of Poincaré duality complexes and triads that account for the \mathbb{Z}/2-obstruction in non-aspherical settings.^[8]

Smooth 4-Manifolds

Smoothability Conditions

In dimension four, the smoothability of a topological manifold—meaning the existence of a compatible smooth structure—holds for a broad class of examples, though obstructions arise in specific cases. Noncompact connected topological 4-manifolds always admit a smooth structure. For compact connected topological 4-manifolds M, smoothability is guaranteed if the Kirby-Siebenmann invariant vanishes, in which case M \times \mathbb{R} admits a smooth structure. More generally, for any compact connected topological 4-manifold M, there exists a simply connected topological 4-manifold N such that the connected sum M \# N is smoothable. However, exceptions exist among compact simply connected topological 4-manifolds, such as the E_8 manifold, which admits no smooth structure. Historical developments in smoothing theory trace back to Morris Hirsch's work in the 1950s and 1960s on the equivalence between piecewise linear (PL) and smooth structures. Hirsch established that PL manifolds in dimensions up to 5 admit smoothings, with uniqueness up to diffeomorphism in dimensions up to 4, laying the groundwork for extending these results to topological 4-manifolds via PL approximations. This framework was later adapted to the topological category in dimension 4, where PL structures serve as intermediaries but fail to fully resolve smoothing obstructions due to the intricacies of topological embeddings. Quinn's finiteness theorem provides key insights into the boundedness of smooth structures on smoothable topological 4-manifolds. For a fixed topological type that admits smoothings, there are only finitely many distinct smooth structures up to diffeomorphism in many cases, particularly when the manifold has a handle decomposition with handles of index at most 2 and a simply connected fundamental group at infinity. This finiteness arises from controlled topology techniques that bound the possible refinements of the topological tangent microbundle to smooth tangent bundles. The distinction between the diffeomorphism group \mathrm{Diff}(M) of a smooth 4-manifold M and the homeomorphism group \mathrm{Homeo}(M) of its underlying topological manifold underscores challenges in smoothability. In higher dimensions, the h-cobordism theorem equates these groups up to homotopy, but its failure in smooth dimension 4 implies that \mathrm{Diff}(M) may not densely approximate \mathrm{Homeo}(M), leading to potential discrepancies in isotopy classes that affect smoothing equivalence. This gap manifests in stable smoothing results, where homeomorphic manifolds may require connected sums with S^2 \times S^2 to achieve diffeomorphism after smoothing.

Exotic Smooth Structures

Exotic smooth structures on 4-manifolds arise when a given topological 4-manifold admits multiple pairwise non-diffeomorphic smooth structures that are all homeomorphic to one another. These structures highlight the rigidity failure of smooth category in dimension 4 compared to higher dimensions, where the smooth and topological categories often coincide by theorems like the h-cobordism theorem. The existence of exotic structures is intimately tied to gauge-theoretic invariants that detect smooth obstructions absent in the topological setting.^[10] The existence of exotic smooth structures on \mathbb{R}^4 was first suggested by constructions due to Freedman in 1982. Gompf demonstrated in 1985 that there are countably infinitely many distinct exotic smooth structures on \mathbb{R}^4 by end-summing constructions that preserve the topological type while altering the smooth one. Donaldson in 1987, leveraging Yang-Mills gauge theory, showed that certain contractible smooth 4-manifolds, topologically equivalent to \mathbb{R}^4 via Freedman's work, fail to be diffeomorphic to the standard smooth \mathbb{R}^4.^[10] Taubes established in 1987, using Yang-Mills theory on asymptotically periodic ends, that there are uncountably many such structures. Another prominent class of examples consists of the Dolgachev surfaces, which provide exotic smooth structures on the topological manifold \mathbb{CP}^2 \# 9\overline{\mathbb{CP}^2}, the rational elliptic surface E(1). These are obtained via logarithmic transforms on the minimal elliptic fibration of E(1), replacing fibers with multiple covers along specific multiplicities (such as the (2,3)-transform yielding the classical Dolgachev surface E(1)_{2,3}). Gauge theory, initially via Donaldson's invariants and later refined by Seiberg-Witten theory, confirms their exotic nature by showing non-vanishing invariants incompatible with the standard smooth structure.^[10]^[11] Key methods for constructing exotic structures include logarithmic transforms on elliptic fibrations, which modify the smooth type while preserving topology by altering multiple fibers, and knot surgery along embedded tori, developed by Fintushel and Stern in 1997. In knot surgery, one removes a toroidal neighborhood from a smooth 4-manifold and reglue it via a diffeomorphism induced by a knot in S^3, yielding a new smooth structure homeomorphic to the original; the resulting manifold's invariants depend on the knot's properties, allowing infinite families of exotics from a single starting point.^[12] These techniques imply that many simply connected topological 4-manifolds, such as rational elliptic surfaces, support infinitely many smooth structures, as pioneered by Gompf's constructions in the 1980s. Notably, whether the 4-sphere S^4 admits any exotic smooth structures remains an open problem, known as the smooth 4-dimensional Poincaré conjecture.

Distinctive Phenomena in Dimension 4

Failure of the h-Cobordism Theorem

The h-cobordism theorem, established by Stephen Smale in 1962, asserts that for simply-connected smooth manifolds of dimension at least 5, a homotopy equivalence between two such manifolds extends to a homeomorphism if and only if they are h-cobordant, meaning there exists a compact smooth cobordism between them with the inclusions being homotopy equivalences. This result equates h-cobordism with diffeomorphism in these dimensions, providing a powerful tool for classifying smooth manifolds via algebraic topology. In higher dimensions, the theorem relies on handlebody decompositions and surgery techniques that simplify the cobordism to a product. In dimension 4, however, the h-cobordism theorem fails dramatically in the smooth category. C. T. C. Wall proved in 1964 that two closed, simply-connected smooth 4-manifolds are h-cobordant if and only if their intersection forms on the second homology are isometric. This establishes a necessary and sufficient algebraic condition for h-cobordism but does not guarantee diffeomorphism. Subsequent work by Simon Donaldson in 1987, using gauge theory, demonstrated the existence of pairs of simply-connected closed smooth 4-manifolds with isometric intersection forms that are not diffeomorphic—for instance, certain elliptic surfaces or connected sums involving the Enriques surface. By Wall's theorem, such pairs are h-cobordant, yet the cobordism cannot be diffeomorphic to a product, directly contradicting the higher-dimensional case. The failure arises from distinctive middle-dimensional phenomena in dimension 4. The standard proof of the h-cobordism theorem in higher dimensions employs the Whitney trick to cancel intersecting handles during surgery, but this trick requires the vanishing of certain homotopy groups, specifically that embeddings of 2-spheres into 4-manifolds can be made disjoint from generic immersions. In dimension 4, the group \pi_3(\mathrm{SO}(4)) \cong \mathbb{Z} \oplus \mathbb{Z} is nontrivial, obstructing this cancellation and allowing nontrivial h-cobordisms to persist. These obstructions reflect the instability of the orthogonal group in low dimensions, where metastable range assumptions break down. A key consequence is the absence of a smooth analogue to the Kirby-Siebenmann theorem, which classifies topological 4-manifolds up to homeomorphism via an obstruction in H^4(M; \mathbb{Z}/2). In the smooth category, h-cobordism provides only a partial classification tool, leaving diffeomorphism types distinguished by more subtle invariants and underscoring the richness of smooth structures on 4-manifolds.

Failure of the Whitney Trick

The Whitney trick provides a method in dimensions n \geq 5 to make two transversely intersecting embedded submanifolds of complementary dimensions p + q = n (such as two k-spheres with $2k = n) disjoint by an isotopy, while preserving homology classes. This is achieved by constructing an embedded Whitney disk whose boundary lies on the "double curve" (the preimage of the intersection points in the product of the normal bundles), enabling the resolution of intersections.^[13] In dimension 4, for p = q = 2, the Whitney disk is 2-dimensional and cannot always be embedded disjoint from the original submanifolds without creating new intersections, due to codimension-2 embedding obstructions.^[14] This failure manifests specifically in the inability to always embed 2-spheres representing certain homology classes or to separate transversely intersecting embedded 2-spheres via isotopy, leading to obstructions in realizing algebraic intersections geometrically.^[15] Codimension-2 phenomena, such as those involving knotted spheres in 4-manifolds, exacerbate the issue, as explored by Jerome Levine in the 1960s, who provided homotopy-theoretic criteria for unknotting spheres in codimension two but highlighted persistent embedding obstructions beyond high dimensions.^[16] Subsequent work by Michael Freedman and Frank Quinn in the topological category demonstrated that these obstructions often arise from Arf invariants associated to quadratic forms on the second homology, preventing the cancellation of 2-handles in handle decompositions even when algebraic conditions are satisfied.^[6] As a consequence, handlebody decompositions of 4-manifolds cannot always be simplified by direct surgery along embedded spheres bounding disks, complicating the theory of handle cancellations and necessitating adjustments in techniques like Kirby calculus, which incorporates blow-ups and specific handle slidings to account for the non-embeddability.^[14] This phenomenon shares middle-dimensional challenges with the failure of the h-cobordism theorem but specifically impacts embedding and intersection resolution in codimension 2.^[13]

Invariants and Classification Tools

Intersection Forms and Donaldson Invariants

In a closed oriented 4-manifold M, the intersection form Q_M: H_2(M; \mathbb{Z}) \times H_2(M; \mathbb{Z}) \to \mathbb{Z} is the symmetric bilinear form induced by Poincaré duality, where for homology classes [S], [S'] \in H_2(M; \mathbb{Z}) represented by embedded oriented surfaces S, S' \subset M, Q_M([S], [S']) equals the algebraic intersection number of S and S' after perturbing to transverse position.^[17] This form is unimodular, meaning its matrix with respect to a basis of H_2(M; \mathbb{Z}) has determinant \pm 1, and it serves as a key topological invariant distinguishing 4-manifolds up to homeomorphism.^[18] The intersection form is classified as definite if it is either positive definite or negative definite, and indefinite otherwise; this distinction arises from the signature \sigma(M), the difference between the numbers of positive and negative eigenvalues, with |\sigma(M)| \leq b_2(M), where b_2(M) = \mathrm{rank}(H_2(M; \mathbb{Z})).^[19] Even forms, where Q_M(x,x) is even for all x \in H_2(M; \mathbb{Z}), contrast with odd forms, and Rokhlin's theorem further constrains even definite forms on smooth spin 4-manifolds by requiring \sigma(M) \equiv 0 \pmod{16}.^[18] Donaldson's theorem from 1983 imposes strong constraints on smooth structures via gauge theory: for a compact smooth simply-connected oriented 4-manifold X with definite intersection form Q_X, the form must be diagonalizable over \mathbb{Z}, meaning there exists a basis of H_2(X; \mathbb{Z}) in which the matrix of Q_X is diagonal with entries \pm 1.^[19] This rules out smooth structures on topological 4-manifolds whose intersection forms are definite but not diagonalizable, such as those with odd unimodular forms of rank greater than 1 or certain even forms like E_8.^[19] The theorem arises from Donaldson invariants, defined using moduli spaces of anti-self-dual (ASD) connections on principal SU(2)-bundles over X. These moduli spaces are constructed as zero loci of the Yang-Mills equations, \nabla^* F_\nabla = 0 and F_\nabla^+ = 0, where \nabla is a connection, F_\nabla its curvature 2-form, and F_\nabla^+ its self-dual part; the ASD condition F_\nabla^+ = 0 yields finite-dimensional moduli spaces whose virtual fundamental classes generate polynomial invariants in cohomology classes of H_2(X; \mathbb{Z}).^[19] For definite Q_X, the invariants vanish unless the formal dimension of the moduli space aligns with diagonalizability, leading to the theorem's conclusion.^[19] A prominent example is the E_8 manifold, the unique simply-connected closed topological 4-manifold with intersection form the even unimodular negative definite lattice E_8 of rank 8 and signature -8.^[20] Freedman's classification guarantees its existence topologically, but Donaldson's theorem shows it admits no smooth structure, as E_8 is not diagonalizable over \mathbb{Z}.^[20] Similarly, the connected sum E_8 \# \mathbb{CP}^2 has an odd definite form that is unimodular but not standard (isometric to \pm I_n), again prohibiting smoothness.^[19]

Seiberg-Witten Invariants and Gauge Theory

The Seiberg-Witten equations arise in the context of supersymmetric quantum field theory on a compact, oriented, smooth 4-manifold M equipped with a spin^c structure s. These equations pair a U(1) connection A on the determinant line bundle L_s = \det S^+ associated to s with a positive spinor \phi \in \Gamma(S^+) satisfying the coupled system:

D_A \phi = 0,

F_A^+ = \frac{i}{2} \phi \sigma(\phi),

where D_A is the Dirac operator twisted by A, F_A^+ is the self-dual part of the curvature 2-form, and \sigma denotes the Clifford multiplication map from self-dual 2-forms to endomorphisms of S^+.^[21] This formulation originates from the dimensional reduction of N=2 supersymmetric Yang-Mills theory, where the number of solutions, interpreted via the Atiyah-Singer index theorem as the Witten index of the theory, provides a topological invariant.^[21] The Seiberg-Witten invariant \mathrm{[SW](/page/SW)}(M, s) \in \mathbb{Z} is defined as the signed count of gauge equivalence classes of solutions to these equations, made rigorous by perturbing the equations to achieve transversality and using orientation data on the moduli space. For manifolds with b^+ > 1, the invariant is independent of perturbations and satisfies dimension constraints tied to the expected dimension of the moduli space, given by d(s) = (c_1(L_s)^2 - 2\chi(M) - 3\sigma(M))/4. Notably, \mathrm{[SW](/page/SW)}(M, s) = 0 if the intersection form of M is definite, recovering and simplifying earlier results from gauge theory.^[22] These invariants confirm non-vanishing constraints on intersection forms originally obtained via Donaldson theory, providing a more accessible proof for simply connected 4-manifolds with definite forms.^[22] They also detect exotic smooth structures by distinguishing homeomorphic but smoothly inequivalent manifolds; for instance, in constructions involving Gompf's exotic \mathbb{R}^4, compactifications or related fillings yield vanishing Seiberg-Witten invariants for the standard smooth structure while non-vanishing for exotic ones.^[23] Compared to earlier gauge-theoretic invariants, the Seiberg-Witten approach yields finite-dimensional moduli spaces, enabling explicit computations. For the K3 surface, \mathrm{SW}(M, s_0) = \pm 1 for the canonical spin^c structure, reflecting its minimal model in the classification of simply connected 4-manifolds with b_2^+ = 3. Similarly, elliptic surfaces like E(n) admit computable invariants that vary with the smooth structure, facilitating the construction of infinitely many exotic pairs.^[24]^[25]

Symplectic Structures and Invariants

A symplectic 4-manifold is a smooth, oriented 4-manifold (X, \omega) equipped with a symplectic form \omega, which is a closed (d\omega = 0) and nondegenerate 2-form such that \omega \wedge \omega induces a volume form on X.^[26] The nondegeneracy ensures that \omega defines a compatible almost complex structure J on X, where J is tamed by \omega in the sense that \omega(X, JX) > 0 for all nonzero tangent vectors X, and the associated metric g(X, Y) = \omega(X, JY) is positive definite.^[27] This compatibility allows the use of pseudoholomorphic curve techniques in the study of symplectic 4-manifolds. Prominent examples of compact symplectic 4-manifolds include K3 surfaces, which admit a natural Kähler symplectic structure; the 4-torus T^4, endowed with a flat symplectic form; and rational ruled surfaces such as S^2 \times S^2 and \mathbb{CP}^2 \# \overline{\mathbb{CP}^2}, which support compatible symplectic forms on their rulings.^[26] These examples illustrate the diversity of symplectic structures, ranging from those with positive canonical class (like rational surfaces) to those with trivial or negative canonical class (like K3). Taubes' seminal work links the symplectic geometry to gauge-theoretic invariants by proving that the Seiberg-Witten invariant SW(-K_\omega), where K_\omega = -c_1(TX, J) is the canonical class of the compatible almost complex structure J, equals the Gromov-Taubes invariant Gr([\omega]) counting J-holomorphic curves in the class of the symplectic form [\omega]. This equivalence implies SW(-K_\omega) \neq 0 for any symplectic 4-manifold, confirming the existence of Seiberg-Witten monopoles aligned with the symplectic structure, and establishes that the compatible Chern class satisfies c_1^2 = 2\chi(X) + 3\sigma(X), where \chi(X) is the Euler characteristic and \sigma(X) is the signature.^[28] In the classification of symplectic 4-manifolds, minimal models play a central role, where a symplectic 4-manifold is minimal if it contains no symplectically embedded (-1)-spheres. Liu's results provide key insights into these models, showing that for minimal symplectic 4-manifolds with b^+ = 1, the symplectic canonical class is unique up to sign, and the surface cone is determined by the adjunction inequality. Furthermore, minimal symplectic 4-manifolds often correspond to minimal complex surfaces in their diffeomorphism type, with blow-ups controlled by exceptional classes, enabling a partial classification via intersection forms and canonical class constraints. Symplectic Calabi-Yau 4-manifolds, defined as those with trivial canonical class K = 0, form a special subclass; examples include K3 surfaces and all orientable [T^2](/page/T+2)-bundles over T^2, which admit symplectic structures with K = 0 and exhibit rich topological properties such as residually finite fundamental groups when b_1 > 0.^[29] Key invariants in symplectic 4-manifolds include the canonical class K = -c_1(TX, J), which governs the geometry via intersection properties. For an embedded symplectic surface C \subset X (or more generally, a J-holomorphic curve), Taubes' theorems imply the adjunction inequality g(C) \geq \frac{1}{2}(K \cdot C + C \cdot C) + 1, where g(C) is the genus of C; this bound arises from the nonvanishing of the Gromov-Taubes invariant and provides obstructions to embedding surfaces of low genus.^[30] These invariants, tied directly to the symplectic form, distinguish symplectic structures from general smooth ones and facilitate progress toward classification by constraining possible intersection forms and diffeomorphism types.

Heegaard Floer Homology

Heegaard Floer homology, developed by András Ozsváth and Zoltán Szabó in the early 2000s, is a Floer-theoretic invariant constructed from Heegaard diagrams of 3-manifolds, producing bigraded chain complexes whose homology groups (in hat, plus, and infinity flavors) yield topological invariants for 3-manifolds and, via cobordism maps, for 4-manifolds.^[31] For closed oriented 4-manifolds, it provides invariants such as the full Heegaard Floer homology groups and numerical correction terms (d-invariants) associated to spin^c structures, which are concordance invariants obstructing the existence of smooth fillings for 3-manifolds and detecting differences between homeomorphic smooth 4-manifolds. These invariants are particularly powerful for manifolds with b_2^+ = 1, where d-invariants provide lower bounds on the signature and Euler characteristic, and for symplectic 4-manifolds, where they relate to Taubes' contact invariants and confirm minimal models. Heegaard Floer homology has revolutionized the study of exotic smooth structures, enabling the construction and distinction of infinitely many exotic pairs of simply connected 4-manifolds with the same intersection form, such as deformations of elliptic surfaces and rational manifolds. As of 2023, it has been used to produce new closed exotic 4-manifolds via Dehn surgery and cobordism techniques, advancing the classification problem.^[32]

Geometric Structures

Overview of Geometrization in Four Dimensions

In three dimensions, Thurston's geometrization conjecture posits that every closed orientable 3-manifold admits a canonical decomposition along incompressible tori into finitely many pieces, each of which carries a complete Riemannian metric of constant sectional curvature modeled on one of eight homogeneous geometries: the sphere, Euclidean space, hyperbolic space, S^2 \times \mathbb{R}, \mathbb{H}^2 \times \mathbb{R}, the universal cover of SL(2,\mathbb{R}), Nil, or Sol.^[33] This conjecture was proven by Perelman in 2003 using Ricci flow with surgery, providing a dynamical method to realize the geometric decomposition.^[34] In four dimensions, an analogue of Thurston's program was developed by Filipkiewicz in the 1980s, classifying the possible maximal model geometries for geometric 4-manifolds as quotients of simply connected Lie group actions on spaces with invariant metrics. Filipkiewicz identified 18 compact geometries arising from finite-volume quotients and an infinite family of aspherical geometries for non-compact models.^[35] Unlike the 3D case, this classification does not extend to a full geometrization theorem for all 4-manifolds, as only a restricted class admits such decompositions. The 4D geometrization approach begins with an irreducible decomposition: every closed oriented 4-manifold decomposes uniquely (up to homeomorphism) into a connected sum of prime factors, where prime 4-manifolds are those without non-trivial connected sum decompositions other than with S^4. Each prime factor is then analyzed for admission of one of Filipkiewicz's geometries.^[36] However, significant challenges persist, including the failure of tools like the Whitney trick and h-cobordism theorem, which complicate embedding and handlebody decompositions.^[37] No Ricci flow-based resolution exists for 4D geometrization, unlike Perelman's 3D proof, due to singularities and collapsing phenomena that are harder to control in higher dimensions. Instead, progress relies on extensions of the 3D orbifold theorem to 4D orbifolds, enabling partial decompositions for certain classes like Seifert fibered or atoroidal 4-orbifolds, but a complete program remains open.^[36] A comprehensive survey of these structures and their algebraic characterizations is provided by Hillman (2002).

Spherical and Euclidean Geometries

Spherical geometry on 4-manifolds is defined by a Riemannian metric of constant positive sectional curvature. The universal model space for this geometry is the standard 4-sphere S^4, endowed with the round metric normalized to have sectional curvature 1. Compact complete simply connected 4-manifolds admitting such a metric are precisely S^4 itself. More generally, compact 4-manifolds of spherical geometry are the spherical space forms S^4 / \Gamma, where \Gamma is a finite subgroup of the isometry group O(5) acting freely and orthogonally on S^4. The classification of such actions, due to the work of Wolf, shows that in dimension 4 the only possibilities are the trivial group, yielding S^4, and the cyclic group \mathbb{Z}/2\mathbb{Z} acting via the antipodal map, yielding the real projective space \mathbb{RP}^4. No other finite groups admit free orthogonal actions on S^4, as confirmed by the periodic nature of the spherical space form problem and Smith theory restrictions on fixed-point sets for even-dimensional spheres. In the broader context of 4-manifold geometrization, spherical components often appear as connected sums of these space forms, though such sums do not necessarily preserve the constant curvature metric globally. Euclidean geometry on 4-manifolds corresponds to flat Riemannian metrics with zero sectional curvature everywhere. The universal model space is Euclidean 4-space \mathbb{E}^4 = \mathbb{R}^4 with the standard flat metric. Compact complete 4-manifolds admitting a flat metric are the compact flat 4-manifolds, which by Bieberbach's theorem are quotients \mathbb{R}^4 / \Gamma, where \Gamma is a Bieberbach group—a discrete, torsion-free subgroup of the isometry group \mathrm{Euc}(4) acting properly discontinuously and cocompactly. Bieberbach's theorem further guarantees that the translational part of \Gamma forms a lattice \mathbb{Z}^4, and the holonomy representation \Gamma \to O(4) has finite image. The full classification of such groups in dimension 4, completed in the 1970s, yields 74 distinct isomorphism classes of Bieberbach groups, corresponding to 27 orientable and 47 non-orientable compact flat 4-manifolds up to homeomorphism (or affine diffeomorphism). These are distinguished by their fundamental groups, which are the Bieberbach groups, classified via the possible finite holonomy representations into O(4). Representative examples include the 4-torus T^4 = \mathbb{R}^4 / \mathbb{Z}^4, which has trivial holonomy and abelian fundamental group \mathbb{Z}^4. Other examples feature non-trivial holonomy, such as the product of a 2-torus and a Klein bottle, with holonomy \mathbb{Z}/2\mathbb{Z}, or more complex structures like the "Hantzsche-Wendt manifold," which has holonomy (\mathbb{Z}/2\mathbb{Z})^3 and is orientable. Infranilmanifolds arise in this context as those flat 4-manifolds whose holonomy preserves an almost nilpotent structure, but all compact flat 4-manifolds fit within the Euclidean model geometry via the Bieberbach framework.

Nilpotent and Solvable Geometries

In four dimensions, Nil geometry arises from the 2-step nilpotent Heisenberg group N^4, which is a simply connected nilpotent Lie group with Lie algebra \mathfrak{n} = \mathfrak{v} \oplus \mathfrak{z}, where \dim \mathfrak{v} = 2, \dim \mathfrak{z} = 2, and the bracket satisfies [\mathfrak{v}, \mathfrak{v}] \subseteq \mathfrak{z}. This structure extends the 3-dimensional Heisenberg group H^3 by an \mathbb{R}-factor, yielding N^4 \cong H(1,1) \times \mathbb{R}, with basis \{X, Y, \xi, \partial_t\} and non-trivial bracket [X, Y] = -\xi. Left-invariant metrics on N^4 are induced by inner products on \mathfrak{n}, typically of the form g = h + dt^2, where h is the metric on the 3-dimensional Heisenberg subalgebra making \{X, Y, \xi\} orthonormal. Compact quotients, known as nilmanifolds, are formed by discrete cocompact lattices \Gamma \subset N^4, such as \Lambda(1,1) \times \mathbb{Z}, yielding Heisenberg nilmanifolds that admit Vaisman structures (locally conformal Kähler metrics with parallel Lee form). These manifolds are aspherical with non-trivial Massey products and serve as models for studying geodesic flows and spectral properties in nilpotent settings. Sol geometry in four dimensions is modeled on the solvable Lie group \mathrm{Sol}^4 = \mathbb{R}^2 \rtimes \mathbb{R}^2, where the semidirect product involves affine actions defined by a matrix in \mathrm{GL}(2,\mathbb{R}) with eigenvalues \lambda, 1/\lambda (for \lambda > 0, \lambda \neq 1).^[36] This extends the 3-dimensional Bianchi Sol geometry (type VII_0) to four dimensions, incorporating variants like \mathrm{Sol}^4_{m,n}, \mathrm{Sol}^4_0, and \mathrm{Sol}^4_1 within the six solvable Lie type geometries: E^4, \mathrm{Nil}^4, \mathrm{Nil}^3 \times E^1, and the three Sol forms.^[36] Metrics on \mathrm{Sol}^4_{m,n} take the form ds^2 = e^{-2at} dx^2 + e^{-2bt} dy^2 + e^{-2ct} dz^2 + dt^2, where a, b, c derive from monodromy eigenvalues, enabling left-invariant structures on the group.^[36] Sol manifolds are typically torus bundles over S^1 with Anosov monodromy in \mathrm{SL}(2,\mathbb{Z}), or more generally \mathbb{Z}^3 \rtimes_\theta \mathbb{Z} for \theta \in \mathrm{GL}(3,\mathbb{Z}), and include mapping tori of flat or Nil_3 3-manifolds; they have polycyclic fundamental groups of Hirsch length 4 and Betti number \beta_2 \leq 6.^[36] Isomorphisms among Sol variants are governed by automorphism groups, with \mathrm{SL}(2,\mathbb{Z}) acting to relate structures via eigenvalue relations of the monodromy \theta, where distinct real eigenvalues not equal to \pm 1 determine the type (e.g., torsion-free groups with derived subgroup \mathbb{Z}^3 yield \mathrm{Sol}^4_{m,n} or \mathrm{Sol}^4_0).^[36] For instance, \mathrm{Aut}(B) = \mathrm{Aut}([\pi, \Pi, \kappa]) influences homotopy types in \mathrm{Sol}^4_1-lattices, classifying them up to finite index subgroups.^[36] Nil geometry relates to the Euclidean case as its abelian limit, where the nilpotent structure collapses to flat tori.^[36]

Hyperbolic Geometry

A hyperbolic 4-manifold is a complete Riemannian 4-manifold of constant sectional curvature -1, locally isometric to hyperbolic 4-space H^4. The space H^4 can be realized as the hyperboloid model in \mathbb{R}^{1,4}, consisting of points (x_0, x_1, x_2, x_3, x_4) satisfying x_0^2 - x_1^2 - x_2^2 - x_3^2 - x_4^2 = -1 with x_0 > 0, equipped with the induced metric from the Lorentzian form. The group of orientation-preserving isometries is \mathrm{Isom}^+(H^4) = \mathrm{PO}(4,1), the projective orthogonal group preserving the quadratic form. Compact hyperbolic 4-manifolds arise as quotients H^4 / \Gamma, where \Gamma \subset \mathrm{PO}(4,1) is a torsion-free discrete subgroup acting freely and properly discontinuously, yielding a manifold diffeomorphic to the orbit space with the induced hyperbolic metric.^[38] The Mostow--Prasad rigidity theorem asserts that for any complete hyperbolic n-manifold of finite volume with n \geq 3, any homotopy equivalence between such manifolds induces an isometry, implying that the hyperbolic structure is uniquely determined by the fundamental group and hence by the topology. In dimension 4, this rigidity extends to both closed and cusped hyperbolic 4-manifolds, ensuring that homeomorphic examples are isometric. A direct consequence is that the hyperbolic volume serves as a topological invariant: for a closed orientable hyperbolic 4-manifold M, the Gauss--Bonnet theorem yields \mathrm{Vol}(M) = \frac{4\pi^2}{3} \chi(M), linking the volume directly to the Euler characteristic \chi(M). This formula underscores the interplay between geometry and topology, with minimal volumes corresponding to manifolds of small \chi(M).^[39] Explicit constructions of hyperbolic 4-manifolds often rely on quotients of ideal polytopes or Coxeter groups. A seminal example is the Davis manifold M_4, obtained by identifying opposite faces of a regular 120-cell in H^4 via reflections in the Coxeter group G_4 \subset \mathrm{O}(4,1), yielding a closed orientable manifold with \chi(M_4) = 26 and a torsion-free subgroup of index 14400. Analogues to the Weeks manifold, the smallest-volume hyperbolic 3-manifold, appear in 4 dimensions through low-volume constructions; for instance, the smallest known cusped orientable hyperbolic 4-manifold has Euler characteristic \chi = 2 and is built by gluing five copies of a Kerckhoff--Storm polytope, achieving volume \frac{8\pi^2}{3}. Arithmetic hyperbolic 4-manifolds, constructed from arithmetic subgroups of \mathrm{PO}(4,1; \mathbb{Z}), include examples commensurable with Coxeter polytopes like the ideal 24-cell, which tessellates minimal-volume cusped manifolds with \chi = 1. These arithmetic cases, such as those in the Ratcliffe--Tschantz census of 1171 manifolds, highlight the tractability of volumes and symmetries in higher dimensions.^[40]^[38]^[39]

Product and Other Geometries

In four-dimensional manifolds, product geometries arise from direct products of lower-dimensional homogeneous spaces, providing structured Riemannian metrics that are neither irreducible nor homogeneous themselves. The spherical-hyperbolic product geometry, modeled on S^2 \times H^2, features a natural Seifert fibration with S^2-fibers over a hyperbolic base and supports closed manifolds that are total spaces of S^2- or \mathbb{RP}^2-orbifold bundles over closed hyperbolic 2-orbifolds. These manifolds have Euler characteristic \chi(M) = 0 and are finitely covered by N \times S^1, where N is a hyperbolic 3-manifold; their fundamental groups satisfy \sqrt{\pi} \approx \mathbb{Z}^2, [\pi : \sqrt{\pi}] = \infty, and quadratic Euler characteristic e_Q(\pi) = 0.^[36] For instance, over the torus T^2, there are four distinct orientable S^2-bundles, while over the Klein bottle K_b, there are six, distinguished by Stiefel-Whitney classes and pullbacks via degree-1 maps that preserve nontrivial classes.^[36] The double hyperbolic plane geometry, modeled on H^2 \times H^2, admits proper geometric decompositions into components that are themselves H^2 \times H^2-manifolds and has ends that are Sol³-manifolds; closed examples satisfy \chi(M) > 0 and signature \sigma(M) = 0, often being reducible and finitely covered by Cartesian products of closed surfaces.^[36] Aspherical such manifolds have torsion-free fundamental groups with \sqrt{\pi} = 1 and a finite-index subgroup isomorphic to a product of Poincaré duality groups of dimension 2; orientable cases, including complex surfaces, have signature zero on their orientable double covers.^[36] An example includes bundle spaces over hyperbolic surfaces where the structure group image is finite, yielding isomorphisms to certain product variants like twisted S^2 \times E^2-manifolds via discrete subgroup actions.^[36] The SL(2,ℝ) geometry, modeled on the unit tangent bundle of H^2 or equivalently \mathbb{R}^2 \times H^2, is orientable with isometry group \mathbb{R}^2 \rtimes \text{SL}^\pm(2,\mathbb{R}) and appears in proper decompositions but admits no closed manifolds, as its quotients have infinite volume.^[36] Manifolds with this geometry are finitely covered by N \times S^1, where N is an SL(2,ℝ)-manifold, and their fundamental groups satisfy \sqrt{\pi} \approx \mathbb{Z}^2, [\pi : \sqrt{\pi}] = \infty, and e_Q(\pi) \neq 0.^[36] It relates to Seifert fibered 4-manifolds over hyperbolic bases, such as those with base orbifolds admitting SL(2,ℝ) actions, and connects to solvable extensions like \mathbb{R}^3 \rtimes \mathbb{R} via non-trivial foliations with H^2- and E^2-leaves.^[36]^[41] Beyond these, Filipkiewicz classified the maximal model geometries for 4-manifolds, identifying 18 distinct types in addition to the eight Thurston-like homogeneous ones, along with one infinite family arising from certain solvmanifolds.^[41] The additional geometries include twisted products, such as those modeled on \mathbb{R}^2 \rtimes \text{SL}(2,\mathbb{R}) with finite-volume but non-compact quotients, and solvable variants like G_6(\lambda) = \mathbb{R}^3 \rtimes \mathbb{R} for parameters \lambda = \log p_1 / \log p_2 from integral polynomials, yielding countably infinite non-isomorphic structures determined by torsion-free fundamental groups with abelian normal subgroups.^[41] Examples encompass infrasolvmanifolds like Nil³ × E¹ and Sol³ × E¹, which have \chi(M) = 0 and support Seifert fibrations over hyperbolic bases with infinite stabilizers, illustrating isomorphisms to product variants through G-invariant distributions.^[36]^[41]

References

[1]
4-Manifold - an overview | ScienceDirect Topics
A 4-manifold is defined as a four-dimensional topological space that can possess various structures such as symplectic, Kähler, and Riemannian geometries, which ...<|control11|><|separator|>
[2]
[PDF] Four Manifold Topology
Feb 13, 2019 · Definition 1.1. If X and Y are oriented n manifolds, then the connected sum X#Y is the space obtained by gluing X and Y along the boundary ...
[3]
[PDF] Notes on 4-manifolds - UChicago Math
Jan 30, 2019 · Topological 4-manifolds. We say that a manifold is closed if it is compact without boundary. We usually assume our manifolds are connected ...
[4]
[PDF] Introduction to Differential Geometry - People
Topological manifolds are a special kind of topological space. Definition. A topological space X is a topological manifold of dimension n ⩾ 0 ... There are ...
[5]
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.
[6]
THE TOPOLOGY OF FOUR-DIMENSIONAL MANIFOLDS
Definition 1.1. A manifold is almost-smooth if it has been given a smooth structure in the complement of a single point. Theorem 1.5. (Existence) Given any ...
[7]
Generalized Poincaré's Conjecture in Dimensions Greater Than Four
Poincare has posed the problem as to whether every simply connected closed 3-manifold (triangulated) is homeomorphic to the 3-sphere, see [18] for example.
[8]
[PDF] The foundations of four-manifold theory in the topological category
This monograph aims to provide a guide to the literature on topo- logical 4-manifolds. Foundational theorems on 4-manifolds are stated, espe- cially in the ...
[9]
[2411.08775] Algorithms in 4-manifold topology - arXiv
Nov 13, 2024 · Along the way, we develop an algorithm to compute the Kirby-Siebenmann invariant of a closed, simply connected, topological 4-manifold from ...Missing: definition seminal
[10]
The orientation of Yang-Mills moduli spaces and 4-manifold topology
1987 The orientation of Yang-Mills moduli spaces and 4-manifold topology. S. K. Donaldson · DOWNLOAD PDF + SAVE TO MY LIBRARY. J. Differential Geom.
[11]
[0912.4727] Twisting 4-manifolds along RP^2 - arXiv
Dec 23, 2009 · We prove that the Dolgachev surface E(1)_{2,3} (which is an exotic copy of the elliptic surface E(1)=CP^2 # 9(-CP^2)) can be obtained from E(1) ...
[12]
[dg-ga/9612014] Knots, Links, and 4-Manifolds - arXiv
Dec 18, 1996 · In this paper we investigate the relationship between isotopy classes of knots and links in S^3 and the diffeomorphism types of homeomorphic smooth 4-manifolds.Missing: surgery exotic
[13]
Higher-order intersections in low-dimensional topology | PNAS
The failure of the Whitney move in dimension 4 is the main reason that, even today, there is no classification of 4-dimensional manifolds in sight. To be more ...
[14]
None
Below is a merged summary of the failure of the Whitney trick in 4-manifolds, consolidating all information from the provided segments into a single, comprehensive response. To maximize detail and clarity, I will use a table in CSV format to organize the key aspects (explanation, historical references, obstructions, and mathematical details) while retaining narrative text for an overview and additional context. The table will be embedded within the response for easy reference.
[15]
Submanifolds of 4-manifolds and their intersections - MathOverflow
Nov 17, 2021 · This stems from the failure of the Whitney trick -- this is the tool used in high dimensions to ensure you can realize algebraic intersection ...
[16]
https://doi.org/10.1016/0040-9383(65)90045-5
[17]
Calculating the homology and intersection form of a 4-manifold from ...
The intersection form of a 4-manifold is a symmetric, bilinear product on H 2 ( X ) which, given a pair of surfaces Σ 1 and Σ 2 as input, outputs the “algebraic ...
[18]
CONNECTIONS, COHOMOLOGY AND THE INTERSECTION ...
In [12] a 4-manifold with definite intersection form was manifested explicitly ... we can form the sum of the connections. Page 25. 4-MANIFOLDS. 299. A0#p. Al9.
[19]
AN APPLICATION OF GAUGE THEORY TO FOUR DIMENSIONAL ...
The theorem which we prove here bears instead on the definite forms which we can take without loss of generality to be positive. Received December 31, 1982.Missing: 1987 | Show results with:1987
[20]
[PDF] A Very Long Lecture on the Physical Approach to Donaldson and ...
1.1 Fundamental group. First, if G is any finitely presented group then there is a compact 4-fold X with π1(X) ∼= G. (Four is the first dimension in which ...
[21]
[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.
[22]
[PDF] monopoles and four-manifolds
E. Witten, Supersymmetric Yang-Mills theory on a four-manifold, J. Math. Phys. 35 (1994), 5101–5135.
[23]
[PDF] exotic smooth structures on small 4-manifolds
Jan 11, 2008 · Infinitely many irreducible smooth structures on CP2#9CP2 were first constructed by Friedman and Morgan in [FM1], and many more infinite ...
[24]
[PDF] An introduction to the Seiberg-Witten equations on symplectic ...
The Seiberg-Witten equations are defined on any smooth 4-manifold. By appropriately counting the solutions to the equations, one obtains smooth. 4-manifold ...
[25]
Construction of exotic smooth structures - ScienceDirect.com
In this article, we construct infinitely many simply connected, nonsymplectic and pairwise nondiffeomorphic 4-manifolds starting from the elliptic surfaces ...
[26]
[PDF] Some open questions about symplectic 4-manifolds, singular plane ...
Recall that a symplectic manifold is a smooth manifold equipped with a 2-form ω such that dω = 0 and ω ∧···∧ ω is a volume form. The first examples of compact ...
[27]
[PDF] SYMPLECTIC CONSTRUCTIONS ON 4-MANIFOLDS by JOHN ...
If X is a symplectic 4-manifold, the spheres men- tioned above are symplectically embedded (or Lagrangian) and have a neighborhood with an ω-convex boundary, ...
[28]
G R = SW : COUNTING CURVES AND CONNECTIONS CLIFFORD ...
The purpose of this article is to present a proof of the assertion that a compact, symplectic 4-manifold has its Seiberg-Witten invariants.
[29]
[PDF] On the topology of Symplectic Calabi-Yau 4-manifolds
A closed 4–manifold M is a Symplectic Calabi–Yau (SCY for short) man- ifold if it admits a symplectic structure with K = 0 ∈ H2(M;Z). A finitely presented group ...
[30]
[PDF] Mathematical Research Letters 2, 453–471 (1995) SYMPLECTIC ...
In this section, we prove Theorems E and F. Theorem E (Generalized adjunction inequality). Suppose M is a symplectic four-manifold with b+. 2 = 1 and ...
[31]
Thurston's Geometrization Conjecture -- from Wolfram MathWorld
Thurston's conjecture proposed a complete characterization of geometric structures on three-dimensional manifolds.
[32]
Ricci Flow and the Poincaré Conjecture - Clay Mathematics Institute
This book provides full details of a complete proof of the Poincaré Conjecture following Perelman's three preprints.
[33]
Four dimensional geometries - WRAP: Warwick
Filipkiewicz, Richard (1983) Four dimensional geometries. PhD thesis, University of Warwick. [thumbnail of WRAP_THESIS_Filipkiewicz_1983.pdf]Missing: 1980s | Show results with:1980s
[34]
4-dimensional Geometries - MSP
In the final chapter of the book we shall consider knot manifolds which admit geometries. Geometry & Topology Monographs, Volume 5 (2002). Page 4. 132.
[35]
[PDF] Four-dimensional topology - Stanford University
For example, given a finite presentation of a group G, we can produce a smooth closed 4-manifold X with π1(X) = G as follows: We take a connected sum of S1 ×S3 ...
[36]
[PDF] arXiv:2305.04285v3 [math.GT] 17 Aug 2023
Aug 17, 2023 · Each of these classes is represented by a hyperbolic Coxeter 4-polytope, for instance (1) by the nine non-compact simplices, H4/PO(4, 1; Z) and ...
[37]
New hyperbolic 4–manifolds of low volume - MSP
Oct 20, 2019 · Our main objective is constructing a (nonorientable) hyperbolic. 4–manifold N of volume 2 Vmin , commensurable with a Coxeter polytope P first.
[38]
[PDF] A Hyperbolic 4-Manifold Michael W. Davis Proceedings ... - OSU Math
Oct 4, 2007 · The group G4 can be represented as a discrete cocompact subgroup of. O(4, I), the group of isometries ... For 0 g i g 3 let H~be the Coxeter group ...
[39]
[PDF] University of Warwick institutional repository: http://go ... - CORE
to classify four dimensional geometries we will need to know the compact connected subgroups of S0(4) . These will be determined in Section 2. Finally, in ...