Fibered manifold

Last updated

In differential geometry, in the category of differentiable manifolds, a fibered manifold is a surjective submersion

Contents

that is, a surjective differentiable mapping such that at each point the tangent mapping

is surjective, or, equivalently, its rank equals [1]

History

In topology, the words fiber (Faser in German) and fiber space (gefaserter Raum) appeared for the first time in a paper by Herbert Seifert in 1932, but his definitions are limited to a very special case. [2] The main difference from the present day conception of a fiber space, however, was that for Seifert what is now called the base space (topological space) of a fiber (topological) space was not part of the structure, but derived from it as a quotient space of The first definition of fiber space is given by Hassler Whitney in 1935 under the name sphere space, but in 1940 Whitney changed the name to sphere bundle. [3] [4]

The theory of fibered spaces, of which vector bundles, principal bundles, topological fibrations and fibered manifolds are a special case, is attributed to Seifert, Hopf, Feldbau, Whitney, Steenrod, Ehresmann, Serre, and others. [5] [6] [7] [8] [9]

Formal definition

A triple where and are differentiable manifolds and is a surjective submersion, is called a fibered manifold. [10] is called the total space, is called the base.

Examples

Properties

Fibered coordinates

Let (resp. ) be an -dimensional (resp. -dimensional) manifold. A fibered manifold admits fiber charts. We say that a chart on is a fiber chart, or is adapted to the surjective submersion if there exists a chart on such that and

where

The above fiber chart condition may be equivalently expressed by

where

is the projection onto the first coordinates. The chart is then obviously unique. In view of the above property, the fibered coordinates of a fiber chart are usually denoted by where the coordinates of the corresponding chart on are then denoted, with the obvious convention, by where

Conversely, if a surjection admits a fibered atlas , then is a fibered manifold.

Local trivialization and fiber bundles

Let be a fibered manifold and any manifold. Then an open covering of together with maps

called trivialization maps, such that

is a local trivialization with respect to [13]

A fibered manifold together with a manifold is a fiber bundle with typical fiber (or just fiber) if it admits a local trivialization with respect to The atlas is then called a bundle atlas.

See also

Notes

    1. Kolář, Michor & Slovák 1993 , p. 11
    2. Seifert 1932
    3. Whitney 1935
    4. Whitney 1940
    5. Feldbau 1939
    6. Ehresmann 1947a
    7. Ehresmann 1947b
    8. Ehresmann 1955
    9. Serre 1951
    10. Krupka & Janyška 1990 , p. 47
    11. Giachetta, Mangiarotti & Sardanashvily 1997 , p. 11
    12. Giachetta, Mangiarotti & Sardanashvily 1997 , p. 15
    13. Giachetta, Mangiarotti & Sardanashvily 1997 , p. 13

    Related Research Articles

    <span class="mw-page-title-main">Vector bundle</span> Mathematical parametrization of vector spaces by another space

    In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space : to every point of the space we associate a vector space in such a way that these vector spaces fit together to form another space of the same kind as , which is then called a vector bundle over .

    <span class="mw-page-title-main">Fiber bundle</span> Continuous surjection satisfying a local triviality condition

    In mathematics, and particularly topology, a fiber bundle is a space that is locally a product space, but globally may have a different topological structure. Specifically, the similarity between a space and a product space is defined using a continuous surjective map, that in small regions of behaves just like a projection from corresponding regions of to The map called the projection or submersion of the bundle, is regarded as part of the structure of the bundle. The space is known as the total space of the fiber bundle, as the base space, and the fiber.

    In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product of a space with a group . In the same way as with the Cartesian product, a principal bundle is equipped with

    1. An action of on , analogous to for a product space.
    2. A projection onto . For a product space, this is just the projection onto the first factor, .

    In mathematics, a submersion is a differentiable map between differentiable manifolds whose differential is everywhere surjective. This is a basic concept in differential topology. The notion of a submersion is dual to the notion of an immersion.

    In the mathematical fields of topology and K-theory, the Serre–Swan theorem, also called Swan's theorem, relates the geometric notion of vector bundles to the algebraic concept of projective modules and gives rise to a common intuition throughout mathematics: "projective modules over commutative rings are like vector bundles on compact spaces".

    <span class="mw-page-title-main">Section (fiber bundle)</span>

    In the mathematical field of topology, a section of a fiber bundle is a continuous right inverse of the projection function . In other words, if is a fiber bundle over a base space, :

    <span class="mw-page-title-main">Foliation</span> In mathematics, a type of equivalence relation on an n-manifold

    In mathematics, 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 the real coordinate space Rn into the cosets x + Rp of the standardly embedded subspace Rp. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable, or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class Cr it is usually understood that r ≥ 1. The number p is called the dimension of the foliation and q = np is called its codimension.

    In mathematics, the theory of fiber bundles with a structure group allows an operation of creating an associated bundle, in which the typical fiber of a bundle changes from to , which are both topological spaces with a group action of . For a fiber bundle F with structure group G, the transition functions of the fiber in an overlap of two coordinate systems Uα and Uβ are given as a G-valued function gαβ on UαUβ. One may then construct a fiber bundle F′ as a new fiber bundle having the same transition functions, but possibly a different fiber.

    In mathematics, and especially differential geometry and gauge theory, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. A principal G-connection on a principal G-bundle P over a smooth manifold M is a particular type of connection which is compatible with the action of the group G.

    In differential topology, the jet bundle is a certain construction that makes a new smooth fiber bundle out of a given smooth fiber bundle. It makes it possible to write differential equations on sections of a fiber bundle in an invariant form. Jets may also be seen as the coordinate free versions of Taylor expansions.

    In mathematics, the jet is an operation that takes a differentiable function f and produces a polynomial, the truncated Taylor polynomial of f, at each point of its domain. Although this is the definition of a jet, the theory of jets regards these polynomials as being abstract polynomials rather than polynomial functions.

    In mathematics, a pullback bundle or induced bundle is the fiber bundle that is induced by a map of its base-space. Given a fiber bundle π : E → B and a continuous map f : B′ → B one can define a "pullback" of E by f as a bundle f*E over B. The fiber of f*E over a point b in B is just the fiber of E over f(b′). Thus f*E is the disjoint union of all these fibers equipped with a suitable topology.

    In differential geometry, an Ehresmann connection is a version of the notion of a connection, which makes sense on any smooth fiber bundle. In particular, it does not rely on the possible vector bundle structure of the underlying fiber bundle, but nevertheless, linear connections may be viewed as a special case. Another important special case of Ehresmann connections are principal connections on principal bundles, which are required to be equivariant in the principal Lie group action.

    In mathematics, a bundle map is a morphism in the category of fiber bundles. There are two distinct, but closely related, notions of bundle map, depending on whether the fiber bundles in question have a common base space. There are also several variations on the basic theme, depending on precisely which category of fiber bundles is under consideration. In the first three sections, we will consider general fiber bundles in the category of topological spaces. Then in the fourth section, some other examples will be given.

    In differential geometry, Hilbert's theorem (1901) states that there exists no complete regular surface of constant negative gaussian curvature immersed in . This theorem answers the question for the negative case of which surfaces in can be obtained by isometrically immersing complete manifolds with constant curvature.

    In mathematics, particularly differential topology, the secondary vector bundle structure refers to the natural vector bundle structure (TE, p, TM) on the total space TE of the tangent bundle of a smooth vector bundle (E, p, M), induced by the push-forward p : TETM of the original projection map p : EM. This gives rise to a double vector bundle structure (TE,E,TM,M).

    In geometry, if X is a manifold with an action of a topological group G by analytical diffeomorphisms, the notion of a (G, X)-structure on a topological space is a way to formalise it being locally isomorphic to X with its G-invariant structure; spaces with a -structure are always manifolds and are called (G, X)-manifolds. This notion is often used with G being a Lie group and X a homogeneous space for G. Foundational examples are hyperbolic manifolds and affine manifolds.

    In differential geometry, a fibered manifold is surjective submersion of smooth manifolds YX. Locally trivial fibered manifolds are fiber bundles. Therefore, a notion of connection on fibered manifolds provides a general framework of a connection on fiber bundles.

    Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.

    In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a mathematical model of some natural phenomenon.

    References

    Historical