Flat connection: Difference between revisions

From Diffgeom
No edit summary
 
No edit summary
Line 5: Line 5:
===Symbol-free definition===
===Symbol-free definition===


A [[connection]] on a [[differential manifold]] is said to be '''flat''' or '''integrable''' or '''curvature-free''' or '''locally flat''' if the curvature of the connection is zero everywhere.
A [[connection]] on a [[vector bundle]] over a [[differential manifold]] is said to be '''flat''' or '''integrable''' or '''curvature-free''' or '''locally flat''' if the curvature of the connection is zero everywhere.


===Definition with symbols===
===Definition with symbols===
Line 12: Line 12:


<math>R(X,Y) = \nabla_X\nabla_Y - \nabla_Y\nabla_X - \nabla_{[X,Y]} = 0</math>
<math>R(X,Y) = \nabla_X\nabla_Y - \nabla_Y\nabla_X - \nabla_{[X,Y]} = 0</math>
===Definition in local coordinates===
In local coordinates, we require that the [[curvature matrix of a connection|curvature matrix]] should vanish identically; in other words:
<math>\Omega := d\omega + \omega \wedge \omega = 0</math>
where <math>\omega</math> is the [[matrix of connection forms]].

Revision as of 23:43, 12 April 2008

Template:Connection property

Definition

Symbol-free definition

A connection on a vector bundle over a differential manifold is said to be flat or integrable or curvature-free or locally flat if the curvature of the connection is zero everywhere.

Definition with symbols

A connection on a differential manifold M is said to be flat or integrable or curvature-free or locally flat if the curvature form vanishes identically, viz for any vector fields X and Y:

R(X,Y)=XYYX[X,Y]=0

Definition in local coordinates

In local coordinates, we require that the curvature matrix should vanish identically; in other words:

Ω:=dω+ωω=0

where ω is the matrix of connection forms.