- #1

dsaun777

- 296

- 39

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- I
- Thread starter dsaun777
- Start date

In summary, the Christoffel symbols of the first kind and those of the second kind are different ways of expressing the same concept, with the first kind being more useful for defining the Riemann curvature and the second kind for torsion and contorsion. This difference may be due to the fact that neither set of symbols are tensors. The first kind is used to describe the covariant derivative on tangent spaces, while the second kind describes the induced covariant derivative on dual tangent spaces. The two sets of symbols are related through a simple calculation. The definition of the induced covariant derivative in the cotangent bundle is also discussed, along with its properties and generalization to arbitrary tensors. Contrary to popular belief, the first and second

- #1

dsaun777

- 296

- 39

Physics news on Phys.org

- #2

- 22,190

- 13,748

- #3

Michael Price

- 344

- 94

- #4

- #5

lavinia

Science Advisor

Gold Member

- 3,330

- 718

Michael Price said:

If I am not wrong, and please correct this if it is not right, one set of Christoffel symbols describes the covariant derivative on the tangent spaces, the other describes the induced covariant derivative on the dual tangent spaces.

In this special case of a metric compatible affine connection, the difference in the Christoffel symbols seems somewhat trivial. But the underlying idea that there are two different connections on two different vector bundles is not.

From this point of view, one starts with the general definition of covariant derivative and then specializes to the case of a metric compatible connection.

For any affine connection, metric compatible or not, the covariant derivative extends to all tensors. The covariant derivative ##∇_{X}ω## of the 1 form ##ω## with respect to the tangent vector field ##X## is defined by the rule

##(∇_{X}ω)(Y)=X⋅ω(Y) -ω(∇_{X}Y)##

for any vector field ##Y##

In this formula ##X⋅ω(Y)## is the ordinary derivative of the function ##ω(Y)## with respect to the vector field ##X##.

If there is a metric ##<,>## then for any vector field ##Z## the inner product of vector fields with Z is a 1 form and the above formula becomes

##(∇_{X}<Z,>)(Y)=X⋅<Z,Y> -<Z,∇_{X}Y>##

and if the covariant derivative is metric compatible the formula simplifies to

##(∇_{X}<Z,>)(Y)=<∇_{X}Z,Y>##

In words this says that the covariant derivative of the inner product with a vector field Z is the inner product with the covariant derivative of Z. Without metric compatibility this would not be true.

Using this, it is a simple calculation to express the Christoffel symbols for the induced covariant derivative on the dual tangent spaces in term of the Christoffel symbols on the tangent spaces.

For a coordinate basis ##e_{i}##

##∇_{e_{i}}e_{j} = ΣΓ_{ij}^{k}e_{k}##

and ##(∇_{ei}<e_{j},>)=<Σ_{k}Γ_{ij}^{k}e_{k},>##

so the coefficients of this 1 form with respect to the dual basis vectors ##e_{l}^{*}## are

##<Σ_{k}kΓ_{ij}^{k}e_{k},e_{l}>## or using index notation this is

##Γ_{ij}^{k}g_{kl}##

Last edited:

- #6

ChinleShale

- 88

- 37

##(∇_{X}ω)(Y)=X⋅ω(Y) -ω(∇_{X}Y)##

Show that

1) ##∇_{X}ω## is an element of the cotangent space at each point of the manifold.

2) Given a tangent vector ##X_{p}## at a point ##p##, ##∇_{X_{p}}ω## is well defined

3) ##∇_{X}ω## defines a covariant derivative: There are several formal properties to verify

##∇_{X}ω## is linear in ##X##

##∇_{X}(ω+σ)= ∇_{X}ω+∇_{X}σ##

##∇_{X}(fω) = (X⋅f)ω + f∇_{X}ω##

4) ##∇_{X}ω## is actually a 1 form . Since in 1) it is shown to be an element of the cotangent space, it remains to show that it is smooth whenever ##X## is a smooth vector field.

5) Generalize this definition to arbitrary tensors.

- #7

guru_4

- 4

- 2

- #8

- 22,190

- 13,748

No. It is Christoffel symbols of the second kind that appear in the coordinate expressions for the covariant derivatives of both tangent and dual vectors.guru_4 said:

Christoffel symbols are mathematical quantities used in differential geometry to describe the curvature of a space. They are represented by the Greek letter Gamma (Γ) and are used to calculate the components of a metric tensor, which describes the distance between points in a space.

Christoffel symbols are specific to differential geometry and are used to describe the curvature of a space, while other mathematical symbols may have different meanings and applications in other fields of mathematics.

Christoffel symbols play a crucial role in understanding the geometry of a space, which has many practical applications in physics, engineering, and other scientific fields. They are also used in the calculation of geodesics, which are the shortest paths between two points in a curved space.

Christoffel symbols are used in general relativity to describe the curvature of spacetime, in differential geometry to study the curvature of surfaces, and in differential equations to solve problems involving curved spaces. They are also used in computer graphics and image processing for shape analysis and image registration.

There are many resources available to learn more about Christoffel symbols, including textbooks on differential geometry, online lectures and tutorials, and academic papers. It is recommended to have a strong background in mathematics, particularly in calculus and linear algebra, before delving into the study of Christoffel symbols.

- Replies
- 18

- Views
- 635

- Replies
- 15

- Views
- 4K

- Replies
- 11

- Views
- 7K

- Replies
- 15

- Views
- 3K

- Replies
- 9

- Views
- 3K

- Replies
- 7

- Views
- 2K

- Replies
- 5

- Views
- 3K

- Replies
- 2

- Views
- 4K

- Replies
- 19

- Views
- 1K

- Replies
- 12

- Views
- 1K

Share: