Normal bundle

Normal bundle

In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding (or immersion).

Contents

Definition

Riemannian manifold

Let (M,g) be a Riemannian manifold, and S \subset M a Riemannian submanifold. Define, for a given p \in S, a vector n \in \mathrm{T}_p M to be normal to S whenever g(n,v) = 0 for all v\in \mathrm{T}_p S (so that n is orthogonal to TpS). The set NpS of all such n is then called the normal space to S at p.

Just as the total space of the tangent bundle to a manifold is constructed from all tangent spaces to the manifold, the total space of the normal bundle NS to S is defined as

\mathrm{N}S := \coprod_{p \in S} \mathrm{N}_p S.

The conormal bundle is defined as the dual bundle to the normal bundle. It can be realised naturally as a sub-bundle of the cotangent bundle.

General definition

More abstractly, given an immersion i\colon N \to M (for instance an embedding), one can define a normal bundle of N in M, by at each point of N, taking the quotient space of the tangent space on M by the tangent space on N. For a Riemannian manifold one can identify this quotient with the orthogonal complement, but in general one cannot (such a choice is equivalent to a section of the projection V \to V/W).

Thus the normal bundle is in general a quotient of the tangent bundle of the ambient space restricted to the subspace.

Formally, the normal bundle to N in M is a quotient bundle of the tangent bundle on M: one has the short exact sequence of vector bundles on N:

0 \to TN \to TM\vert_{i(N)} \to T_{M/N} := TM\vert_{i(N)} / TN \to 0

where TM\vert_{i(N)} is the restriction of the tangent bundle on M to N (properly, the pullback i * TM of the tangent bundle on M to a vector bundle on N via the map i).

Stable normal bundle

Abstract manifolds have a canonical tangent bundle, but do not have a normal bundle: only an embedding (or immersion) of a manifold in another yields a normal bundle. However, since every compact manifold can be embedded in \mathbf{R}^N, by the Whitney embedding theorem, every manifold admits a normal bundle, given such an embedding.

There is in general no natural choice of embedding, but for a given M, any two embeddings in \mathbf{R}^N for sufficiently large N are regular homotopic, and hence induce the same normal bundle. The resulting class of normal bundles (it is a class of bundles and not a specific bundle because N could vary) is called the stable normal bundle.

Dual to tangent bundle

The normal bundle is dual to the tangent bundle in the sense of K-theory: by the above short exact sequence,

[TN] + [TM / N] = [TM]

in the Grothendieck group. In case of an immersion in \mathbf{R}^N, the tangent bundle of the ambient space is trivial (since \mathbf{R}^N is contractible, hence parallelizable), so [TN] + [TM / N] = 0, and thus [TM / N] = − [TN].

This is useful in the computation of characteristic classes, and allows one to prove lower bounds on immersibility and embeddability of manifolds in Euclidean space.

For symplectic manifolds

Suppose a manifold X is embedded in to a symplectic manifold (M,ω), such that the pullback of the symplectic form has constant rank on X. Then one can define the symplectic normal bundle to X as the vector bundle over X with fibres

 (T_{i(x)}X)^\omega/(T_{i(x)}X\cap (T_{i(x)}X)^\omega), \quad x\in X,

where i:X\rightarrow M denotes the embedding. Notice that the constant rank condition ensures that these normal spaces fit together to form a bundle. Furthermore, any fibre inherits the structure of a symplectic vector space.

By Darboux's theorem, the constant rank embedding is locally determined by i * (TM). The isomorphism

 i^*(TM)\cong TX/\nu \oplus (TX)^\omega/\nu \oplus(\nu\oplus \nu^*), \quad \nu=TX\cap (TX)^\omega,

of symplectic vector bundles over X implies that the symplectic normal bundle already determines the constant rank embedding locally. This feature is similar to the Riemannian case.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Stable normal bundle — In surgery theory, a branch of mathematics, the stable normal bundle of a differentiable manifold is an invariant which encodes the stable normal (dually, tangential) data. It is also called the Spivak normal bundle, after Michael Spivak… …   Wikipedia

  • Normal invariant — In mathematics, a normal map is a concept in geometric topology due to William Browder which is of fundamental importance in surgery theory. Given a Poincaré complex X, a normal map on X endows the space, roughly speaking, with some of the… …   Wikipedia

  • Normal plane — A normal plane may refer to The plane perpendicular to the tangent vector of a space curve; see Frenet–Serret formulas. A term involving gears; see list of gear nomenclature. See also Normal bundle This disambiguation page lists articles… …   Wikipedia

  • bundle of His — his n a slender bundle of modified cardiac muscle that passes from the atrioventricular node in the right atrium to the right and left ventricles by way of the septum and that maintains the normal sequence of the heartbeat by conducting the wave… …   Medical dictionary

  • Bundle adjustment — right|thumb|A sparse matrix obtained when solving a modestlysized bundle adjustment problem. This is the sparsity pattern of a 992x992 normal equations(i.e. approximate Hessian) matrix. Black regions correspond to nonzero blocks.Given a set of… …   Wikipedia

  • Bundle of His — Infobox Anatomy Name = Bundle of His Latin = fasciculus atrioventricularis GraySubject = GrayPage = Caption = Bundle of His is near ventricular septum. Caption2 = Heart cut away showing Bundle of HisSchematic representation of the… …   Wikipedia

  • Bundle branch block — ICDO = OMIM = MedlinePlus = eMedicineSubj = ped eMedicineTopic = 2501 eMedicine mult = eMedicine2|ped|2500 MeshName = Bundle Branch+Block MeshNumber = C14.280.067.558.323 A bundle branch block refers to a defect of the heart s electrical… …   Wikipedia

  • bundle branch block — a defect in the specialized conducting tissue of the heart (see arrhythmia) that is identified on an electrocardiogram. Right bundle branch block is a normal variant in children and young adults, but may reflect chronic lung disease or ischaemic… …   The new mediacal dictionary

  • bundle theory of the mind or self — The view, particularly associated with Hume but anticipated in Buddhism, that we have no reason to think in terms of a single unified self that owns a variety of experiences or states; we only have access to the succession of states themselves.… …   Philosophy dictionary

  • Fibre normal — Fibré normal En géométrie différentielle, un fibré normal est un genre particulier de fibré vectoriel. Définition Soit (M,g) une variété riemannienne, et une sous variété riemannienne. On définit, pour fixé, un vecteur orthogonal à TpS, c est à… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”