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 stability 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 ...
, asserts that if one leaf of a
codimension In mathematics, codimension is a basic geometric idea that applies to subspaces in vector spaces, to submanifolds in manifolds, and suitable subsets of algebraic varieties. For affine and projective algebraic varieties, the codimension equals the ...
-one
foliation 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 ...
is
closed Closed may refer to: Mathematics * Closure (mathematics), a set, along with operations, for which applying those operations on members always results in a member of the set * Closed set, a set which contains all its limit points * Closed interval, ...
and has finite
fundamental group In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...
, then all the leaves are closed and have finite fundamental group.


Reeb local stability theorem

Theorem: ''Let F be a C^1, codimension k
foliation 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 ...
of a
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 n ...
M and L a
compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact * Blood compact, an ancient ritual of the Philippines * Compact government, a type of colonial rule utilized in British ...
leaf with finite
holonomy group In differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geomet ...
. There exists a
neighborhood A neighbourhood (British English, Irish English, Australian English and Canadian English) or neighborhood (American English; see spelling differences) is a geographically localised community within a larger city, town, suburb or rural area, ...
U of L, saturated in F (also called invariant), in which all the leaves are compact with finite holonomy groups. Further, we can define a retraction \pi: U\to L such that, for every leaf L'\subset U, \pi, _:L'\to L is a
covering map A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete sp ...
with a finite number of sheets and, for each y\in L, \pi^(y) 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 a
disk Disk or disc may refer to: * Disk (mathematics), a geometric shape * Disk storage Music * Disc (band), an American experimental music band * ''Disk'' (album), a 1995 EP by Moby Other uses * Disk (functional analysis), a subset of a vector sp ...
of
dimension In physics and mathematics, the dimension of a Space (mathematics), mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any Point (geometry), point within it. Thus, a Line (geometry), lin ...
k and is
transverse Transverse may refer to: *Transverse engine, an engine in which the crankshaft is oriented side-to-side relative to the wheels of the vehicle *Transverse flute, a flute that is held horizontally * Transverse force (or ''Euler force''), the tangen ...
to F. The neighborhood U can be taken to be arbitrarily small.'' The last statement means in particular that, in a neighborhood of the point corresponding to a compact leaf with finite holonomy, the space of leaves is Hausdorff. Under certain conditions the Reeb local stability theorem may replace the
Poincaré–Bendixson theorem In mathematics, the Poincaré–Bendixson theorem is a statement about the long-term behaviour of orbits of continuous dynamical systems on the plane, cylinder, or two-sphere. Theorem Given a differentiable real dynamical system defined on an ope ...
in higher dimensions. This is the case of codimension one, singular foliations (M^n,F), with n\ge 3, and some center-type singularity in Sing(F). The Reeb local stability theorem also has a version for a noncompact codimension-1 leaf.


Reeb global stability theorem

An important problem in foliation theory is the study of the influence exerted by a compact leaf upon the global structure of a
foliation 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 ...
. For certain classes of foliations, this influence is considerable. Theorem: ''Let F be a C^1, codimension one foliation of a closed manifold M. If F contains a
compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact * Blood compact, an ancient ritual of the Philippines * Compact government, a type of colonial rule utilized in British ...
leaf L with finite
fundamental group In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...
, then all the leaves of F are compact, with finite fundamental group. If F is transversely
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 is ...
, then every leaf of F is
diffeomorphic In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an Inverse function, invertible Function (mathematics), function that maps one differentiable manifold to another such that both the function and its inverse function ...
to L; M is the
total space In mathematics, and particularly topology, a fiber bundle (or, in Commonwealth English: fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a ...
of a
fibration The notion of a fibration generalizes the notion of a fiber bundle and plays an important role in algebraic topology, a branch of mathematics. Fibrations are used, for example, in postnikov-systems or obstruction theory. In this article, all map ...
f:M\to S^1 over S^1, with
fibre Fiber or fibre (from la, fibra, links=no) is a natural or artificial substance that is significantly longer than it is wide. Fibers are often used in the manufacture of other materials. The strongest engineering materials often incorporate ...
L, and F is the fibre foliation, \{f^{-1}(\theta), \theta\in S^1\}.'' This theorem holds true even when F is a foliation of a
manifold with boundary 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 ne ...
, which is, a priori,
tangent In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. More ...
on certain components of the
boundary Boundary or Boundaries may refer to: * Border, in political geography Entertainment *Boundaries (2016 film), ''Boundaries'' (2016 film), a 2016 Canadian film *Boundaries (2018 film), ''Boundaries'' (2018 film), a 2018 American-Canadian road trip ...
and
transverse Transverse may refer to: *Transverse engine, an engine in which the crankshaft is oriented side-to-side relative to the wheels of the vehicle *Transverse flute, a flute that is held horizontally * Transverse force (or ''Euler force''), the tangen ...
on other components. In this case it implies
Reeb sphere theorem In mathematics, Reeb sphere theorem, named after Georges Reeb, states that : A closed oriented connected manifold ''M'' ''n'' that admits a singular foliation having only centers is homeomorphic to the sphere ''S'n'' and the foliation has ...
. Reeb Global Stability Theorem is false for foliations of codimension greater than one. However, for some special kinds of foliations one has the following global stability results: * In the presence of a certain transverse geometric structure: Theorem: ''Let F be a
complete Complete may refer to: Logic * Completeness (logic) * Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable Mathematics * The completeness of the real numbers, which implies t ...
conformal foliation of codimension k\ge 3 of a
connected Connected may refer to: Film and television * ''Connected'' (2008 film), a Hong Kong remake of the American movie ''Cellular'' * '' Connected: An Autoblogography About Love, Death & Technology'', a 2011 documentary film * ''Connected'' (2015 TV ...
manifold M. If F has a compact leaf with finite
holonomy group In differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geomet ...
, then all the leaves of F are compact with finite holonomy group.'' * For
holomorphic In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex derivativ ...
foliations in complex
Kähler manifold In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnold ...
: Theorem:J.V. Pereira, ''Global stability for holomorphic foliations on Kaehler manifolds'', — Qual. Theory Dyn. Syst. 2 (2001), 381–384. ''Let F be a holomorphic foliation of codimension k in a compact complex
Kähler manifold In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnold ...
. If F has a
compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact * Blood compact, an ancient ritual of the Philippines * Compact government, a type of colonial rule utilized in British ...
leaf with finite
holonomy group In differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geomet ...
then every leaf of F is compact with finite holonomy group.''


References

* C. Camacho, A. Lins Neto: Geometric theory of foliations, Boston, Birkhauser, 1985 * I. Tamura, Topology of foliations: an introduction, Transl. of Math. Monographs, AMS, v.97, 2006, 193 p.


Notes

{{reflist Foliations