Suppose is a local chart of . Given a vector field we can express it in the local chart as . Given other vector, say , we can define in the expression
Implicitly, what we are doing is assume a geometry in which the are constant. It could be shown that define a covariant derivative operator restricted to , that applies to any tensor field, not only vectors. It is called the local chart connection or coordinate connection for .
Moreover, this operator is unique: it is the only that satisfies
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 like in the entry contorsion. The Christoffel symbols , defined traditionally as the components of respect to the basis element , multiplied by -1 coincide with the components of expressed in the basis .
So, in local charts, a connection can be expressed:
For vectors
For 1-forms
For general tensors, the expression could be deduced from contorsion.