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
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
, where
, or
. 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
, 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 ...
. For
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 (
), 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' ...
(
) 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 ...
(
).
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
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
. Suppose
admits a
Morse function of class
with exactly three
singular points. Then
is a Eells–Kuiper manifold.''
Theorem:
[.] ''Let
be a compact connected manifold and
a
Morse foliation on
. Suppose the number of
centers of the foliation
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
. Then there are two possibilities:''
* ''
, and
is homeomorphic to the sphere
'',
* ''
, and
is an Eells–Kuiper manifold,
or
.''
See also
*
Reeb sphere theorem
References
Foliations
Manifolds
{{topology-stub