Local chart connection

Suppose (U,φ) is a local chart of M. Given a vector field ξ we can express it in the local chart as ξ=ifiui. Given other vector, say η, we can define in U the expression

ηξ=iη(fi)ui

Implicitly, what we are doing is assume a geometry in which the ui are constant. It could be shown that define a covariant derivative operator restricted to U, that applies to any tensor field, not only vectors. It is called the local chart connection or coordinate connection for (U,φ).
Moreover, this operator is unique: it is the only that satisfies

(ui)=0

When there is no place to confusion, we will denote it by .

How is this related to Christoffel symbols? Think of any connection . In a local chart, we have the trivial connection , and the expression defines a set of tensor fields Cnma like in the entry contorsion. The Christoffel symbols Γijk, defined traditionally as the components of xixj respect to the basis element xk, multiplied by -1 coincide with the components of Cmna expressed in the basis {(dxi)m(dxj)n(xk)a}ijk.

So, in local charts, a connection can be expressed:

lVm=Vmxl+ΓklmVk lωm=ωmxlΓmlkωk