HOME

TheInfoList



OR:

In mathematics, an Eells–Kuiper manifold is a
compactification Compactification may refer to: * Compactification (mathematics), making a topological space compact * Compactification (physics), the "curling up" of extra dimensions in string theory See also * Compaction (disambiguation) {{disambiguation ...
of \R^n by a
sphere A sphere () is a Geometry, geometrical object that is a solid geometry, three-dimensional analogue to a two-dimensional circle. A sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...
of dimension n/2, where n=2,4,8, or 16. It is named after James Eells and
Nicolaas Kuiper Nicolaas Hendrik Kuiper (; 28 June 1920 – 12 December 1994) was a Dutch mathematician, known for Kuiper's test and proving Kuiper's theorem. He also contributed to the Nash embedding theorem. Kuiper studied at University of Leiden in 1937-4 ...
. If n=2, the Eells–Kuiper manifold is
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 ...
to the
real projective plane In mathematics, the real projective plane is an example of a compact non- orientable two-dimensional manifold; in other words, a one-sided surface. It cannot be embedded in standard three-dimensional space without intersecting itself. It has ...
\mathbb^2. For n\ge 4 it is
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 between two points can be continuously transformed (intuitively for embedded spaces, staying within the space ...
and has the integral cohomology structure of the complex projective plane \mathbb^2 (n = 4), of the
quaternionic projective plane In mathematics, quaternionic projective space is an extension of the ideas of real projective space and complex projective space, to the case where coordinates lie in the ring of quaternions \mathbb. Quaternionic projective space of dimension ''n' ...
\mathbb^2 (n = 8) or of the
Cayley projective plane In mathematics, the Cayley plane (or octonionic projective plane) P2(O) is a projective plane over the octonions.Baez (2002). The Cayley plane was discovered in 1933 by Ruth Moufang, and is named after Arthur Cayley for his 1845 paper describin ...
(n = 16).


Properties

These manifolds are important in both
Morse theory In mathematics, specifically in differential topology, Morse theory enables one to analyze the topology of a manifold by studying differentiable functions on that manifold. According to the basic insights of Marston Morse, a typical differenti ...
and
foliation theory In mathematics (differential geometry), a foliation is an equivalence relation on an ''n''-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension ''p'', modeled on the decomposition of ...
: Theorem: ''Let M be a connected closed
manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a ...
(not necessarily
orientable In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space ...
) of dimension n. Suppose M admits a Morse function f\colon M\to \R of class C^3 with exactly three singular points. Then M is a Eells–Kuiper manifold.'' Theorem:. ''Let M^n be a compact connected manifold and F a Morse foliation on M. Suppose the number of centers c of the foliation F is more than the number of
saddle The saddle is a supportive structure for a rider of an animal, fastened to an animal's back by a girth. The most common type is equestrian. However, specialized saddles have been created for oxen, camels and other animals. It is not kno ...
s s. Then there are two possibilities:'' * ''c=s+2, and M^n is homeomorphic to the sphere S^n'', * ''c=s+1, and M^n is an Eells–Kuiper manifold, n=2,4,8 or 16.''


See also

* Reeb sphere theorem


References

Foliations Manifolds {{topology-stub