Wu Manifold
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, a 5-manifold is a 5-dimensional
topological manifold In topology, a topological manifold is a topological space that locally resembles real ''n''- dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds ...
, possibly with a piecewise linear or
smooth structure In mathematics, a smooth structure on a manifold allows for an unambiguous notion of smooth function. In particular, a smooth structure allows mathematical analysis to be performed on the manifold. Definition A smooth structure on a manifold M ...
. Non-
simply connected In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every Path (topology), path between two points can be continuously transformed into any other such path while preserving ...
5-manifolds are impossible to classify, as this is harder than solving the
word problem for groups A word is a basic element of language that carries meaning, can be used on its own, and is uninterruptible. Despite the fact that language speakers often have an intuitive grasp of what a word is, there is no consensus among linguists on its ...
.. Simply connected
compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact, a type of agreement used by U.S. states * Blood compact, an ancient ritual of the Philippines * Compact government, a t ...
5-manifolds were first classified by
Stephen Smale Stephen Smale (born July 15, 1930) is an American mathematician, known for his research in topology, dynamical systems and mathematical economics. He was awarded the Fields Medal in 1966 and spent more than three decades on the mathematics faculty ...
and then in full generality by Dennis Barden, while another proof was later given by Aleksey V. Zhubr. This turns out to be easier than the 3- or 4-dimensional case: the 3-dimensional case is the Thurston geometrisation conjecture, and the 4-dimensional case was solved by
Michael Freedman Michael Hartley Freedman (born April 21, 1951) is an American mathematician at Microsoft Station Q, a research group at the University of California, Santa Barbara. In 1986, he was awarded a Fields Medal for his work on the 4-dimensional gen ...
(1982) in the topological case, but is a very hard unsolved problem in the smooth case. In dimension 5, the smooth classification of simply connected manifolds is governed by classical
algebraic topology Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up t ...
. Namely, two simply connected, smooth 5-manifolds are diffeomorphic if and only if there exists an isomorphism of their second
homology group In mathematics, the term homology, originally introduced in algebraic topology, has three primary, closely-related usages. The most direct usage of the term is to take the ''homology of a chain complex'', resulting in a sequence of abelian grou ...
s with integer coefficients, preserving the linking form and the second
Stiefel–Whitney class In mathematics, in particular in algebraic topology and differential geometry, the Stiefel–Whitney classes are a set of topological invariants of a real vector bundle that describe the obstructions to constructing everywhere independent sets of ...
. Moreover, any such isomorphism in second homology is induced by some diffeomorphism. It is undecidable if a given 5-manifold is homeomorphic to S^5, the 5-sphere.


Examples

Here are some examples of smooth, closed, simply connected 5-manifolds: * S^5, the 5-sphere. * S^2\times S^3, the product of a 2-sphere with a 3-sphere. * S^2\widetilde S^3, the total space of the non-trivial S^3- bundle over S^2. * \operatorname(3)/\operatorname(3), the Wu manifold, the
homogeneous space In mathematics, a homogeneous space is, very informally, a space that looks the same everywhere, as you move through it, with movement given by the action of a group. Homogeneous spaces occur in the theories of Lie groups, algebraic groups and ...
obtained as the quotient of the
special unitary group In mathematics, the special unitary group of degree , denoted , is the Lie group of unitary matrices with determinant 1. The matrices of the more general unitary group may have complex determinants with absolute value 1, rather than real 1 ...
SU(3) by the rotation subgroup SO(3).


References


External links

* * Geometric topology Manifolds {{topology-stub