|
4-manifold
In mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure In mathematics, a smooth structure on a manifold allows for an unambiguous notion of smooth function. In particular, a smooth structure allows one to perform mathematical analysis on the manifold. Definition A smooth structure on a manifold M is .... In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds which admit no smooth structure, and even if there exists a smooth structure, it need not be unique (i.e. there are smooth 4-manifolds which are homeomorphic but not diffeomorphic). 4-manifolds are important in physics because in General Relativity, spacetime is modeled as a pseudo-Riemannian 4-manifold. Topological 4-manifolds The homotopy type of a simply connected compact 4-manifold only depends on the intersection form (4-manifold), intersection ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intersection Form (4-manifold)
In mathematics, the intersection form of an oriented compact 4-manifold is a special symmetric bilinear form on the 2nd (co)homology group of the 4-manifold. It reflects much of the topology of the 4-manifolds, including information on the existence of a smooth structure. Definition using intersection Let ''M'' be a closed 4-manifold (PL or smooth). Take a triangulation ''T'' of ''M''. Denote by T^* the dual cell subdivision. Represent classes a,b\in H_2(M;\Z/2\Z) by 2-cycles ''A'' and ''B'' modulo 2 viewed as unions of 2-simplices of ''T'' and of T^*, respectively. Define the intersection form modulo 2 :\cap_: H_2(M;\Z/2\Z) \times H_2(M;\Z/2\Z) \to \Z/2\Z by the formula :a\cap_ b = , A\cap B, \bmod2. This is well-defined because the intersection of a cycle and a boundary consists of an even number of points (by definition of a cycle and a boundary). If ''M'' is oriented, analogously (i.e. counting intersections with signs) one defines the intersection form on the 2nd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exotic R4
In mathematics, an exotic \R^4 is a differentiable manifold that is homeomorphic (i.e. shape preserving) but not diffeomorphic (i.e. non smooth) to the Euclidean space \R^4. The first examples were found in 1982 by Michael Freedman and others, by using the contrast between Freedman's theorems about topological 4-manifolds, and Simon Donaldson's theorems about smooth 4-manifolds. There is a continuum of non-diffeomorphic differentiable structures of \R^4, as was shown first by Clifford Taubes. Prior to this construction, non-diffeomorphic smooth structures on spheresexotic sphereswere already known to exist, although the question of the existence of such structures for the particular case of the 4-sphere remained open (and still remains open as of 2022). For any positive integer ''n'' other than 4, there are no exotic smooth structures on \R^n; in other words, if ''n'' ≠ 4 then any smooth manifold homeomorphic to \R^n is diffeomorphic to \R^n. Small exotic R4s An exotic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simon Donaldson
Sir Simon Kirwan Donaldson (born 20 August 1957) is an English mathematician known for his work on the topology of smooth (differentiable) four-dimensional manifolds, Donaldson–Thomas theory, and his contributions to Kähler geometry. He is currently a permanent member of the Simons Center for Geometry and Physics at Stony Brook University in New York, and a Professor in Pure Mathematics at Imperial College London. Biography Donaldson's father was an electrical engineer in the physiology department at the University of Cambridge, and his mother earned a science degree there. Donaldson gained a BA degree in mathematics from Pembroke College, Cambridge, in 1979, and in 1980 began postgraduate work at Worcester College, Oxford, at first under Nigel Hitchin and later under Michael Atiyah's supervision. Still a postgraduate student, Donaldson proved in 1982 a result that would establish his fame. He published the result in a paper "Self-dual connections and the topology o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
K3 Surface
In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface :x^4+y^4+z^4+w^4=0 in complex projective 3-space. Together with two-dimensional compact complex tori, K3 surfaces are the Calabi–Yau manifolds (and also the hyperkähler manifolds) of dimension two. As such, they are at the center of the classification of algebraic surfaces, between the positively curved del Pezzo surfaces (which are easy to classify) and the negatively curved surfaces of general type (which are essentially unclassifiable). K3 surfaces can be considered the simplest algebraic va ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Donaldson's Theorem
In mathematics, and especially differential topology and gauge theory, Donaldson's theorem states that a definite intersection form of a compact, oriented, smooth manifold of dimension 4 is diagonalisable. If the intersection form is positive (negative) definite, it can be diagonalized to the identity matrix (negative identity matrix) over the . The original version of the theorem required the manifold to be simply connected, but it was later improved to apply to 4-manifolds with any fundamental group. History The theorem was proved by Simon Donaldson. This was a contribution cited for his Fields medal in 1986. Idea of proof Donaldson's proof utilizes the moduli space \mathcal_P of solutions to the anti-self-duality equations on a principal \operatorname(2)-bundle P over the four-manifold X. By the Atiyah–Singer index theorem, the dimension of the moduli space is given by :\dim \mathcal = 8k - 3(1-b_1(X) + b_+(X)), where c_2(P)=k, b_1(X) is the first Betti number of X and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
E8 Manifold
In mathematics, the ''E''8 manifold is the unique compact, simply connected topological 4-manifold with intersection form the ''E''8 lattice. History The E_8 manifold was discovered by Michael Freedman in 1982. Rokhlin's theorem shows that it has no smooth structure (as does Donaldson's theorem), and in fact, combined with the work of Andrew Casson on the Casson invariant, this shows that the E_8 manifold is not even triangulable as a simplicial complex. Construction The manifold can be constructed by first plumbing together disc bundles of Euler number 2 over the sphere, according to the Dynkin diagram for E_8. This results in P_, a 4-manifold with boundary equal to the Poincaré homology sphere. Freedman's theorem on fake 4-balls then says we can cap off this homology sphere with a fake 4-ball to obtain the E_8 manifold. See also * * * References * * {{DEFAULTSORT:E8 Manifold 4-manifolds Geometric topology Manifold In mathematics, a manifold is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
H-cobordism Theorem
In geometric topology and differential topology, an (''n'' + 1)-dimensional cobordism ''W'' between ''n''-dimensional manifolds ''M'' and ''N'' is an ''h''-cobordism (the ''h'' stands for homotopy equivalence) if the inclusion maps : M \hookrightarrow W \quad\mbox\quad N \hookrightarrow W are homotopy equivalences. The ''h''-cobordism theorem gives sufficient conditions for an ''h''-cobordism to be trivial, i.e., to be C-isomorphic to the cylinder ''M'' × , 1 Here C refers to any of the categories of smooth, piecewise linear, or topological manifolds. The theorem was first proved by Stephen Smale for which he received the Fields Medal and is a fundamental result in the theory of high-dimensional manifolds. For a start, it almost immediately proves the generalized Poincaré conjecture. Background Before Smale proved this theorem, mathematicians became stuck while trying to understand manifolds of dimension 3 or 4, and assumed that the higher-dimensional cases were ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
E8 Lattice
In mathematics, the E lattice is a special lattice in R. It can be characterized as the unique positive-definite, even, unimodular lattice of rank 8. The name derives from the fact that it is the root lattice of the E root system. The normIn this article, the ''norm'' of a vector refers to its length squared (the square of the ordinary norm). of the E lattice (divided by 2) is a positive definite even unimodular quadratic form in 8 variables, and conversely such a quadratic form can be used to construct a positive-definite, even, unimodular lattice of rank 8. The existence of such a form was first shown by H. J. S. Smith in 1867, and the first explicit construction of this quadratic form was given by Korkin and Zolotarev in 1873. The E lattice is also called the Gosset lattice after Thorold Gosset who was one of the first to study the geometry of the lattice itself around 1900. Lattice points The E lattice is a discrete subgroup of R of full rank (i.e. it spans all of R). ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dolgachev Surface
In mathematics, Dolgachev surfaces are certain simply connected elliptic surfaces, introduced by . They can be used to give examples of an infinite family of homeomorphic simply connected compact 4-manifolds, no two of which are diffeomorphic. Properties The blowup X_0 of the projective plane in 9 points can be realized as an elliptic fibration all of whose fibers are irreducible. A Dolgachev surface X_q is given by applying logarithmic transformations of orders 2 and ''q'' to two smooth fibers for some q\ge 3. The Dolgachev surfaces are simply connected, and the bilinear form on the second cohomology group is odd of signature (1,9) (so it is the unimodular lattice I_). The geometric genus p_g is 0 and the Kodaira dimension is 1. found the first examples of homeomorphic but not diffeomorphic 4-manifolds X_0 and X_3. More generally the surfaces X_q and X_r are always homeomorphic, but are not diffeomorphic unless q=r. showed that the Dolgachev surface X_3 has ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exotic Sphere
In an area of mathematics called differential topology, an exotic sphere is a differentiable manifold ''M'' that is homeomorphic but not diffeomorphic to the standard Euclidean ''n''-sphere. That is, ''M'' is a sphere from the point of view of all its topological properties, but carrying a smooth structure that is not the familiar one (hence the name "exotic"). The first exotic spheres were constructed by in dimension n = 7 as S^3- bundles over S^4. He showed that there are at least 7 differentiable structures on the 7-sphere. In any dimension showed that the diffeomorphism classes of oriented exotic spheres form the non-trivial elements of an abelian monoid under connected sum, which is a finite abelian group if the dimension is not 4. The classification of exotic spheres by showed that the oriented exotic 7-spheres are the non-trivial elements of a cyclic group of order 28 under the operation of connected sum. Introduction The unit ''n''-sphere, S^n, is the set of all ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unimodular Lattice
In geometry and mathematical group theory, a unimodular lattice is an integral lattice of determinant 1 or −1. For a lattice in ''n''-dimensional Euclidean space, this is equivalent to requiring that the volume of any fundamental domain for the lattice be 1. The ''E''8 lattice and the Leech lattice are two famous examples. Definitions * A lattice is a free abelian group of finite rank with a symmetric bilinear form (·, ·). * The lattice is integral if (·,·) takes integer values. * The dimension of a lattice is the same as its rank (as a Z-module). * The norm of a lattice element ''a'' is (''a'', ''a''). * A lattice is positive definite if the norm of all nonzero elements is positive. * The determinant of a lattice is the determinant of the Gram matrix, a matrix with entries (''ai'', ''aj''), where the elements ''ai'' form a basis for the lattice. * An integral lattice is unimodular if its determinant is 1 or −1. * A unimodular lattice is ev ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diffeomorphic
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable. Definition Given two manifolds M and N, a differentiable map f \colon M \rightarrow N is called a diffeomorphism if it is a bijection and its inverse f^ \colon N \rightarrow M is differentiable as well. If these functions are r times continuously differentiable, f is called a C^r-diffeomorphism. Two manifolds M and N are diffeomorphic (usually denoted M \simeq N) if there is a diffeomorphism f from M to N. They are C^r-diffeomorphic if there is an r times continuously differentiable bijective map between them whose inverse is also r times continuously differentiable. Diffeomorphisms of subsets of manifolds Given a subset X of a manifold M and a subset Y of a manifold N, a function f:X\to Y is said to be smooth if for all p in X there is a neighborhood U ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
