Reeb Sphere Theorem
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, Reeb sphere theorem, named after
Georges Reeb Georges Henri Reeb (12 November 1920 – 6 November 1993) was a French mathematician. He worked in differential topology, differential geometry, differential equations, topological dynamical systems theory and non-standard analysis. Biography ...
, states that : A closed oriented connected manifold ''M'' ''n'' that admits a
singular foliation Singular may refer to: * Singular, the grammatical number that denotes a unit quantity, as opposed to the plural and other forms * Singular homology * SINGULAR, an open source Computer Algebra System (CAS) * Singular or sounder, a group of boar, s ...
having only centers is
homeomorphic In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphi ...
to the
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 ...
''S''''n'' and the foliation has exactly two singularities.


Morse foliation

A singularity of a foliation ''F'' is of Morse type if in its small neighborhood all leaves of the foliation are
level set In mathematics, a level set of a real-valued function of real variables is a set where the function takes on a given constant value , that is: : L_c(f) = \left\~, When the number of independent variables is two, a level set is calle ...
s of a
Morse function 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 differentiabl ...
, being the singularity a critical point of the function. The singularity is a center if it is a
local extremum Local may refer to: Geography and transportation * Local (train), a train serving local traffic demand * Local, Missouri, a community in the United States * Local government, a form of public administration, usually the lowest tier of administrat ...
of the function; otherwise, the singularity is a
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 ...
. The number of centers ''c'' and the number of saddles s, specifically c-s, is tightly connected with the manifold topology. We denote \operatorname p = \min(k,n-k), the index of a singularity p, where ''k'' is the index of the corresponding critical point of a Morse function. In particular, a center has index 0, index of a saddle is at least 1. A Morse foliation ''F'' on a manifold ''M'' is a
singular Singular may refer to: * Singular, the grammatical number that denotes a unit quantity, as opposed to the plural and other forms * Singular homology * SINGULAR, an open source Computer Algebra System (CAS) * Singular or sounder, a group of boar, ...
transversely oriented codimension one foliation of class C^2 with isolated singularities such that: * each singularity of ''F'' is of Morse type, * each singular leaf ''L'' contains a unique singularity ''p''; in addition, if \operatorname p = 1 then L\setminus p is not connected.


Reeb sphere theorem

This is the case c>s=0, the case without saddles. Theorem: ''Let M^n be a closed oriented connected manifold of dimension n\ge 2. Assume that M^n admits a C^1-transversely oriented codimension one foliation F with a non empty set of singularities all of them centers. Then the singular set of F consists of two points and M^n is homeomorphic to the sphere S^n''. It is a consequence of the Reeb stability theorem.


Generalization

More general case is c>s\ge 0. In 1978, Edward Wagneur generalized the Reeb sphere theorem to Morse foliations with saddles. He showed that the number of centers cannot be too much as compared with the number of saddles, notably, c\le s+2. So there are exactly two cases when c>s: :(1) c=s+2, :(2) c=s+1. He obtained a description of the manifold admitting a foliation with singularities that satisfy (1). Theorem: ''Let M^n be a compact connected manifold admitting a Morse foliation F with c centers and s saddles. Then c\le s+2.'' ''In case c=s+2,'' * ''M is homeomorphic to S^n,'' * ''all saddles have index'' 1, * ''each regular leaf is diffeomorphic to S^.'' Finally, in 2008, César Camacho and Bruno Scardua considered the case (2), c=s+1. This is possible in a small number of low dimensions. Theorem:. ''Let M^n be a compact connected manifold and F a Morse foliation on M. If s = c + 1, then'' * ''n=2,4,8 or 16,'' * ''M^n is an
Eells–Kuiper manifold In mathematics, an Eells–Kuiper manifold is a compactification of \R^n by a sphere of dimension n/2, where n=2,4,8, or 16. It is named after James Eells and Nicolaas Kuiper. If n=2, the Eells–Kuiper manifold is diffeomorphic to the real project ...
.''


References

{{DEFAULTSORT:Reeb Sphere Theorem Foliations Theorems in topology