Vector-valued differential form

.com .net .org .info .mobi
.biz .us .co.uk .in
.eu .ws .bz .cc .tv Etc.
Domain Names

Website Development
Web Hosting
Email Hosting
Digital Certificate Etc.

@ Best Prices From

www.DomainsUAE.com

In mathematics, a vector-valued differential form on a manifold M is a differential form on M with values in a vector space V. More generally, it is a differential form with values in some vector bundle E over M. Ordinary differential forms can be viewed as R-valued differential forms. Vector-valued forms are natural objects in differential geometry and have numerous applications.

1 Formal definition
2 Operations on vector-valued forms
3 Lie algebra-valued forms
4 Basic or tensorial forms on principal bundles

Formal definition

Let M be a smooth manifold and E ? M be a smooth vector bundle over M. We denote the space of smooth sections of a bundle E by G(E). A E-valued differential form of degree p is a smooth section of the tensor product of E with ?^p(T*M), the p-th exterior power of the cotangent bundle of M. The space of such forms is denoted by

$\Omega^p(M,E) = \Gamma(E\otimes\Lambda^pT^*M).$

By convention, an E-valued 0-form is just a section of the bundle E. That is,

$\Omega^0(M,E) = \Gamma(E).\,$

Equivalently, a E-valued differential form can be defined as a bundle morphism

$TM\otimes\cdots\otimes TM \to E$

which is totally skew-symmetric.

Let V be a fixed vector space. A V-valued differential form of degree p is a differential form of degree p with values in the trivial bundle M × V. The space of such forms is denoted O^p(M, V). When V = R one recovers the definition of an ordinary differential form.

Operations on vector-valued forms

[] Pullback

One can define the pullback of vector-valued forms by smooth maps just as for ordinary forms. The pullback of an E-valued form on N by a smooth map f : M ? N is an (f*E)-valued form on M, where f*E is the pullback bundle of E by f.

The formula is given just as in the ordinary case. For any E-valued p-form ? on N the pullback f*? is given by

$(\varphi^*\omega)_x(v_1,\cdots, v_p) = \omega_{\varphi(x)}(\mathrm d\varphi_x(v_1),\cdots,\mathrm d\varphi_x(v_p)).$

Wedge product

Just as for ordinary differential forms, one can define a wedge product of vector-valued forms. The wedge product of a E₁-valued p-form with a E₂-valued q-form is naturally a (E₁?E₂)-valued (p+q)-form:

$\wedge : \Omega^p(M,E_1) \times \Omega^q(M,E_2) \to \Omega^{p+q}(M,E_1\otimes E_2).$

The definition is just as for ordinary forms with the exception that real multiplication is replaced with the tensor product:

$(\omega\wedge\eta)(v_1,\cdots,v_{p+q}) = \frac{1}{p!q!}\sum_{\pi\in S_{p+q}}\sgn(\pi)\omega(v_{\pi(1)},\cdots,v_{\pi(p)})\otimes \eta(v_{\pi(p+1)},\cdots,v_{\pi(p+q)}).$

In particular, the wedge product of an ordinary (R-valued) p-form with an E-valued q-form is naturally an E-valued (p+q)-form (since the tensor product of E with the trivial bundle M × R is naturally isomorphic to E). For ? ? O^p(M) and ? ? O^q(M, E) one has the usual commutativity relation:

$\omega\wedge\eta = (-1)^{pq}\eta\wedge\omega.$

In general, the wedge product of two E-valued forms is not another E-valued form, but rather an (E?E)-valued form. However, if E is an algebra bundle (i.e. a bundle of algebras rather than just vector spaces) one can compose with multiplication in E to obtain an E-valued form. If E is a bundle of commutative, associative algebras then, with this modified wedge product, the set of all E-valued differential forms

$\Omega(M,E) = \bigoplus_{p=0}^{\dim M}\Omega^p(M,E)$

becomes a graded-commutative associative algebra. If the fibers of E are not commutative then O(M,E) will not be graded-commutative.

Exterior derivative

For any vector space V there is a natural exterior derivative on the space of V-valued forms. This is just the ordinary exterior derivative acting component-wise relative to any basis of V. Explicitly, if {e_a} is a basis for V then the differential of a V-valued p-form ? = ?^ae_a is given by

$d\omega = (d\omega^\alpha)e_\alpha.\,$

The exterior derivative on V-valued forms is completely characterized by the usual relations:

$\begin{align} &d(\omega+\eta) = d\omega + d\eta\\ &d(\omega\wedge\eta) = d\omega\wedge\eta + (-1)^p\,\omega\wedge d\eta\qquad(p=\deg\omega)\\ &d(d\omega) = 0. \end{align}$

More generally, the above remarks apply to E-valued forms where E is any flat vector bundle over M (i.e. a vector bundle whose transition functions are constant). The exterior derivative is defined as above is any local trivialization of E.

If E is not flat then there is no natural notion of an exterior derivative acting on E-valued forms. What is needed is a choice of connection on E. A connection on E is a linear differential operator taking sections of E to E-valued one forms:

$\nabla : \Omega^0(M,E) \to \Omega^1(M,E).$

If E is equipped with a connection ? then there is a unique covariant exterior derivative

$d_\nabla: \Omega^p(M,E) \to \Omega^{p+1}(M,E)$

extending ?. The covariant exterior derivative is characterized by linearity and the equation

$d_\nabla(\omega\wedge\eta) = d_\nabla\omega\wedge\eta + (-1)^p\,\omega\wedge d\eta$

where ? is a E-valued p-form and ? is an ordinary q-form. In general, one need not have d_?² = 0. In fact, this happens if and only if the connection ? is flat (i.e. has vanishing curvature).

Lie algebra-valued forms

An important case of vector-valued differential forms are Lie algebra-valued forms. These are $\mathfrak g$ -valued forms where $\mathfrak g$ is a Lie algebra. Such forms have important applications in the theory of connections on a principal bundle as well as in the theory of Cartan connections.

Since every Lie algebra has a bilinear Lie bracket operation, the wedge product of two Lie algebra-valued forms can be composed with the bracket operation to obtain another Lie algebra-valued form. This operation is usually denoted [???] to indicate both operations involved. For example, if ? and ? are Lie algebra-valued one forms, then one has

$[\omega\wedge\eta](v_1,v_2) = [\omega(v_1),\eta(v_2)] - [\omega(v_2),\eta(v_1)].$

With this operation the set of all Lie algebra-valued forms on a manifold M becomes a graded Lie superalgebra.

Basic or tensorial forms on principal bundles

Let E ? M be a smooth vector bundle of rank k over M and let p : F(E) ? M be the (associated) frame bundle of E, which is a principal GL_k(R) bundle over M. The pullback of E by p is isomorphic to the trivial bundle F(E) × R^k. Therefore, the pullback by p of an E-valued form on M determines an R^k-valued form on F(E). It is not hard to check that this pulled back form is right-equivariant with respect to the natural action of GL_k(R) on F(E) × R^k and vanishes on vertical vectors (tangent vectors to F(E) which lie in the kernel of dp). Such vector-valued forms on F(E) are important enough to warrant special terminology: they are called basic or tensorial forms on F(E).

Let p : P ? M be a (smooth) principal G-bundle and let V be a fixed vector space together with a representation ? : G ? GL(V). A basic or tensorial form on P of type ? is a V-valued form ? on P which is equivariant and horizontal in the sense that

$(R_g)^*\omega = \rho(g^{-1})\omega\,$ for all g ? G, and
$\omega(v_1, \ldots, v_p) = 0$ whenever at least one of the v_i are vertical (i.e., dp(v_i) = 0).

Here R_g denotes right-translation by g ? G. Note that for 0-forms the second condition is vacuously true.

Given P and ? as above one can construct the associated vector bundle E = P ×_? V. Tensorial forms on P are in one-to-one correspondence with E-valued forms on M. As in the case of the principal bundle F(E) above, E-valued forms on M pull back to V-valued forms on P. These are precisely the basic or tensorial forms on P of type ?. Conversely given any tensorial form on P of type ? one can construct the associated E-valued form on M in a straightforward manner.

This article does not cite any references or sources.
Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed. (December 2007)

Categories: Differential forms | Vector bundles

Hidden categories: Articles lacking sources from December 2007 | All articles lacking sources

Index Of Related Pages

All pages | Previous page (Vazrazhdane) | Next page (Vedantins)

Vector-valued differential form	Vector-valued form	Vector-valued function
Vector-valued functions	Vector-valued measure	VectorLinux
VectorMan	VectorSpaces	VectorWorks
VectorWorks Architect	Vector (Battle Angel Alita)	Vector (Final Fantasy VI)
Vector (STL)	Vector (Science Fiction journal)	Vector (band)
Vector (biology)	Vector (cars)	Vector (classical mechanics)
Vector (comics)	Vector (computing)	Vector (disambiguation)
Vector (disease)	Vector (food)	Vector (geometric)
Vector (geometry)	Vector (journal)	Vector (malware)
Vector (mathematics)	Vector (molecular biology)	Vector (novel)
Vector (physics)	Vector (spatial)	Vector 13
Vector Aeromotive	Vector Aeromotive Corporation	Vector Analysis (Gibbs/Wilson)
Vector Architect	Vector Arena	Vector Art
Vector Autoregression	Vector Based GUI	Vector Burn
Vector Calculus	Vector DNA	Vector Direct
Vector Directory Number	Vector Field Histogram	Vector Field Reconstruction
Vector Foiltec	Vector Formula	Vector Game
Vector Graphic	Vector Graphics	Vector Graphics Editor
Vector Group	Vector Group Ltd.	Vector Highway
Vector Industries	Vector Institute	Vector Laplacian
Vector Laplacian/Proofs	Vector Limited	Vector Linux
Vector Lovers	Vector M12	Vector Man
Vector Map	Vector Marketing	Vector Markup Language
Vector Mine Aerodrome	Vector Motors	Vector Motors Corporation
Vector NTI	Vector Pipeline	Vector Potential
Vector Prime	Vector Prime (Transformers)	Vector Product
Vector Quadruple Product	Vector Quantization	Vector SRV8
Vector Sigma	Vector Slime	Vector Space
Vector Space Model	Vector State Research Center of Virology and Biotechnology	Vector Sum Excited Linear Prediction
Vector Supercars	Vector The Crocodile	Vector Tobacco
Vector W2	Vector W8	Vector WX-3
Vector WX-3R	Vector WX3	Vector addition
Vector algebra	Vector analysis	Vector and Stan
Vector area	Vector art	Vector atom model
Vector autoregression	Vector based graphical user interface	Vector based gui
Vector basis	Vector boson	Vector bundle
Vector bundle connection	Vector bundle homomorphism	Vector bundle morphism
Vector bundles	Vector bundles on algebraic curves	Vector calculus
Vector calculus identities	Vector clock	Vector clocks
Vector component	Vector computer	Vector control
Vector control (motor)	Vector conversion program comparison	Vector conversion programs
Vector conversion software	Vector conversion software comparison	Vector convert program comparison
Vector convert programs	Vector convert software	Vector convert software comparison
Vector cross product	Vector current	Vector decomposition
Vector differential	Vector differential operator	Vector displacement
Vector display	Vector drawing	Vector drawings
Vector equation	Vector facility	Vector field
Vector field on a manifold	Vector field reconstruction	Vector fields
Vector fields in cylindrical and spherical coordinates	Vector fields on spheres	Vector flow
Vector font	Vector format	Vector function
Vector game	Vector games	Vector graphic
Vector graphic synth	Vector graphics	Vector graphics editor
Vector graphics markup language	Vector graphics programs	Vector graphics software
Vector group	Vector identities	Vector identity
Vector image	Vector images	Vector laplacian
Vector length	Vector magnetograph	Vector measure
Vector meson	Vector mesons	Vector methods (physics)
Vector monitor	Vector network analysis	Vector norm
Vector normalization	Vector notation	Vector operator
Vector particle	Vector path	Vector plot
Vector potential	Vector processing	Vector processor
Vector processors	Vector product	Vector projection
Vector quadruple product	Vector quantization	Vector race
Vector rally	Vector resolute	Vector signal analyser
Vector signal analyzer	Vector slime	Vector software
Vector soliton	Vector space	Vector space basis
Vector space dimension	Vector space model	Vector space orientation
Vector spaces	Vector spaces without fields	Vector species
Vector spherical harmonics	Vector subspace	Vector subtraction
Vector sum	Vector superfield	Vector synthesis
Vector the Crocodile	Vector the crocodile	Vector theory
Vector to raster	Vector triple product	Vector valued differential form
Vector valued form	Vector valued function	Vector verb
Vector version	Vector w8	Vectorbeam
Vectordemo	Vectored-thrust	Vectored Exception Handler
Vectored Exception Handling	Vectored I/O	Vectored thrust
Vectorgraphic	Vectorial	Vectorial Mechanics
Vectorial Space	Vectorial product	Vectorial semantics
Vectorial space	Vectoring in forward flight	Vectoring nozzles
Vectorisation	Vectorise	Vectoriser
Vectorising	Vectorization	Vectorization (mathematics)
Vectorize	Vectorized	Vectorizer
Vectorizing	Vectorlinux	Vectorman
Vectorman 2	Vectorman II	Vectorman ll
Vectors	Vectors Journal of Culture and Technology in a Dynamic Vernacular	Vectors and Scalars
Vectors in particle physics	Vectors in three-dimensional space	Vectorscope
Vectorsed	Vectorspace	Vectorworks
Vectra	Vectra (plastic)	Vectran
Vectren	Vectren Corp	Vectren Corporation
Vectress	Vectrex	Vectrix
Vectropy	Vecumnieki	Vecuronium
Vecuronium bromide	Ved	Ved-Ava
Ved-Azer-Avan	Ved-ava	Ved Buens Ende
Ved Marwah	Ved Mehta	Ved Prakash Goyal
Ved Rahi	Ved Vyasa	Veda
Veda (band)	Veda (disambiguation)	Veda Advantage
Veda Advantage Limited	Veda Ann Borg	Veda Beaux Reves
Veda Hille	Veda Kaplinsky	Veda Mata
Veda Runestone	Veda Slovena	Veda Slovenah
Veda Vyasa	Veda bread	Vedaanta
Vedacharya	Vedad Ibisevic	Vedad Ibiševic
Vedado	Vedah Bertram	Vedalen
Vedalken	Vedam	Vedam Jaishankar
Vedana	Vedanand Jha	Vedanayagam Sastriar
Vedanga	Vedanga Jyothish	Vedanga Jyotisha
Vedangas	Vedano Olona	Vedano al Lambro
Vedant	Vedant university	Vedant varisty
Vedanta	Vedanta (disambiguation)	Vedanta Desika
Vedanta Desikan	Vedanta Kesari	Vedanta Resources
Vedanta Societies	Vedanta Society	Vedanta Society of Southern California
Vedanta Sutra	Vedanta Sutras	Vedanta University
Vedanta philosophy	Vedanta societies	Vedanta sutra
Vedanta sutras	Vedanta varsity	Vedantadesika
Vedantauniversity	Vedantavarsity	Vedantha
Vedantha Desika	Vedantic	Vedantin

Previous page (Vazrazhdane) | Next page (Vedantins)


BUILD YOUR WEB SITE WITH www.DomainsUAE.com

managed by www.butterflyportal.com

Contents