Direct sum of connections: Difference between revisions

From Diffgeom
(Created page with '==Definition== Suppose <math>M</math> is a differential manifold and <math>E,E'</math> are vector bundles on <math>M</math>. Suppose <math>\nabla,\nabla'</math> are [[de…')
 
No edit summary
 
Line 4: Line 4:


<math>(\nabla \oplus \nabla')(s,s') = \nabla(s) \oplus \nabla'(s')</math>.
<math>(\nabla \oplus \nabla')(s,s') = \nabla(s) \oplus \nabla'(s')</math>.
==Facts==
===Associativity===
{{further|[[Direct sum of connections is associative upto natural isomorphism]]}}
===Commutativity===
{{further|[[Direct sum of connections is commutative upto natural isomorphism]]}}
===Distributivity relation with tensor product===
{{further|[[Distributivity relation between direct sum and tensor product of connections]]}}
Suppose <math>E,E',E''</math> are vector bundles over a differential manifold <math>M</math>, with connections <math>\nabla,\nabla',\nabla''</math> respectively. Then, under the natural isomorphism:
<math>E \otimes (E' \oplus E'') \to (E \otimes E') \oplus (E \otimes E'')</math>
we have an identification between <math>\nabla \otimes (\nabla' \oplus \nabla'')</math> and <math>(\nabla \otimes \nabla') \oplus \nabla \otimes \nabla''</math>. Here, <math>\oplus</math> is the [[direct sum of connections]].
An analogous distributivity law identifies <math>(\nabla \oplus \nabla') \otimes \nabla''</math> and <math>(\nabla \otimes \nabla'') \oplus (\nabla' \otimes \nabla'')</math>.
===Commutes with dual connection operation===
{{further|[[Direct sum of dual connections equals dual connection to direct sum]]}}

Latest revision as of 21:24, 24 July 2009

Definition

Suppose M is a differential manifold and E,E are vector bundles on M. Suppose , are connections on E and E respectively. Then, we define as a connection on EE given by:

()(s,s)=(s)(s).

Facts

Associativity

Further information: Direct sum of connections is associative upto natural isomorphism

Commutativity

Further information: Direct sum of connections is commutative upto natural isomorphism

Distributivity relation with tensor product

Further information: Distributivity relation between direct sum and tensor product of connections

Suppose E,E,E are vector bundles over a differential manifold M, with connections ,, respectively. Then, under the natural isomorphism:

E(EE)(EE)(EE)

we have an identification between () and (). Here, is the direct sum of connections.

An analogous distributivity law identifies () and ()().

Commutes with dual connection operation

Further information: Direct sum of dual connections equals dual connection to direct sum