Banach bundle

This article is about Banach bundles in differential geometry. For Banach bundles in non-commutative geometry, see Banach bundle (non-commutative geometry).

In mathematics, a Banach bundle is a vector bundle each of whose fibres is a Banach space, i.e. a complete normed vector space, possibly of infinite dimension.

Definition of a Banach bundle

Let M be a Banach manifold of class C^p with p ≥ 0, called the base space; let E be a topological space, called the total space; let πぱい : E → M be a surjective continuous map. Suppose that for each point x ∈ M, the fibre E_x = πぱい⁻¹(x) has been given the structure of a Banach space. Let

$\{U_{i}|i\in I\}$

be an open cover of M. Suppose also that for each i ∈ I, there is a Banach space X_i and a map τたう_i

$\tau _{i}:\pi ^{-1}(U_{i})\to U_{i}\times X_{i}$

such that

• the map τたう_i is a homeomorphism commuting with the projection onto U_i, i.e. the following diagram commutes:

and for each x ∈ U_i the induced map τたう_ix on the fibre E_x

$\tau _{ix}:\pi ^{-1}(x)\to X_{i}$

is an invertible continuous linear map, i.e. an isomorphism in the category of topological vector spaces;

• if U_i and U_j are two members of the open cover, then the map

$U_{i}\cap U_{j}\to \mathrm {Lin} (X_{i};X_{j})$

$x\mapsto (\tau _{j}\circ \tau _{i}^{-1})_{x}$

is a morphism (a differentiable map of class C^p), where Lin(X; Y) denotes the space of all continuous linear maps from a topological vector space X to another topological vector space Y.

The collection {(U_i, τたう_i)|i∈I} is called a trivialising covering for πぱい : E → M, and the maps τたう_i are called trivialising maps. Two trivialising coverings are said to be equivalent if their union again satisfies the two conditions above. An equivalence class of such trivialising coverings is said to determine the structure of a Banach bundle on πぱい : E → M.

If all the spaces X_i are isomorphic as topological vector spaces, then they can be assumed all to be equal to the same space X. In this case, πぱい : E → M is said to be a Banach bundle with fibre X. If M is a connected space then this is necessarily the case, since the set of points x ∈ M for which there is a trivialising map

$\tau _{ix}:\pi ^{-1}(x)\to X$

for a given space X is both open and closed.

In the finite-dimensional case, the second condition above is implied by the first.

Examples of Banach bundles

• If V is any Banach space, the tangent space T_xV to V at any point x ∈ V is isomorphic in an obvious way to V itself. The tangent bundle TV of V is then a Banach bundle with the usual projection

$\pi :\mathrm {T} V\to V;$

$(x,v)\mapsto x.$

This bundle is "trivial" in the sense that TV admits a globally defined trivialising map: the identity function

$\tau =\mathrm {id} :\pi ^{-1}(V)=\mathrm {T} V\to V\times V;$

$(x,v)\mapsto (x,v).$

• If M is any Banach manifold, the tangent bundle TM of M forms a Banach bundle with respect to the usual projection, but it may not be trivial.
• Similarly, the cotangent bundle T*M, whose fibre over a point x ∈ M is the topological dual space to the tangent space at x:

$\pi ^{-1}(x)=\mathrm {T} _{x}^{*}M=(\mathrm {T} _{x}M)^{*};$

also forms a Banach bundle with respect to the usual projection onto M.

• There is a connection between Bochner spaces and Banach bundles. Consider, for example, the Bochner space X = L²([0, T]; H¹(Ωおめが)), which might arise as a useful object when studying the heat equation on a domain Ωおめが. One might seek solutions σしぐま ∈ X to the heat equation; for each time t, σしぐま(t) is a function in the Sobolev space H¹(Ωおめが). One could also think of Y = [0, T] × H¹(Ωおめが), which as a Cartesian product also has the structure of a Banach bundle over the manifold [0, T] with fibre H¹(Ωおめが), in which case elements/solutions σしぐま ∈ X are cross sections of the bundle Y of some specified regularity (L², in fact). If the differential geometry of the problem in question is particularly relevant, the Banach bundle point of view might be advantageous.

Morphisms of Banach bundles

The collection of all Banach bundles can be made into a category by defining appropriate morphisms.

Let πぱい : E → M and πぱい′ : E′ → M′ be two Banach bundles. A Banach bundle morphism from the first bundle to the second consists of a pair of morphisms

$f_{0}:M\to M';$

$f:E\to E'.$

For f to be a morphism means simply that f is a continuous map of topological spaces. If the manifolds M and M′ are both of class C^p, then the requirement that f₀ be a morphism is the requirement that it be a p-times continuously differentiable function. These two morphisms are required to satisfy two conditions (again, the second one is redundant in the finite-dimensional case):

• the diagram

commutes, and, for each x ∈ M, the induced map

$f_{x}:E_{x}\to E'_{f_{0}(x)}$

is a continuous linear map;

• for each x₀ ∈ M there exist trivialising maps

$\tau :\pi ^{-1}(U)\to U\times X$

$\tau ':\pi '^{-1}(U')\to U'\times X'$

such that x₀ ∈ U, f₀(x₀) ∈ U′,

$f_{0}(U)\subseteq U'$

and the map

$U\to \mathrm {Lin} (X;X')$

$x\mapsto \tau '_{f_{0}(x)}\circ f_{x}\circ \tau ^{-1}$

is a morphism (a differentiable map of class C^p).

Pull-back of a Banach bundle

One can take a Banach bundle over one manifold and use the pull-back construction to define a new Banach bundle on a second manifold.

Specifically, let πぱい : E → N be a Banach bundle and f : M → N a differentiable map (as usual, everything is C^p). Then the pull-back of πぱい : E → N is the Banach bundle f*πぱい : f*E → M satisfying the following properties:

• for each x ∈ M, (f*E)_x = E_f(x);
• there is a commutative diagram

with the top horizontal map being the identity on each fibre;

• if E is trivial, i.e. equal to N × X for some Banach space X, then f*E is also trivial and equal to M × X, and

$f^{*}\pi :f^{*}E=M\times X\to M$

is the projection onto the first coordinate;

• if V is an open subset of N and U = f⁻¹(V), then

$f^{*}(E_{V})=(f^{*}E)_{U}$

and there is a commutative diagram

where the maps at the "front" and "back" are the same as those in the previous diagram, and the maps from "back" to "front" are (induced by) the inclusions.

References

• Lang, Serge (1972). Differential manifolds. Reading, Mass.–London–Don Mills, Ont.: Addison-Wesley Publishing Co., Inc.