Problem of the Week #80 - December 9th, 2013

  • Thread starter Thread starter Chris L T521
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the compatibility of an affine connection $\nabla$ with a Riemannian metric $\langle\cdot,\cdot\rangle$. It establishes that this compatibility holds if and only if the derivative of the inner product of two vector fields $V$ and $W$ along a curve $c$ satisfies the equation $$\frac{\,d}{\,dt} \left\langle V,W\right\rangle= \left\langle\frac{\,DV}{\,dt},W\right\rangle + \left\langle V,\frac{\,DW}{\,dt}\right\rangle$$. The proof is divided into two parts: first, assuming the equation holds leads to the conclusion that $\langle V,W \rangle$ is constant for parallel vector fields; second, assuming compatibility leads to the verification of the equation using an orthonormal basis and parallel transport.

PREREQUISITES
  • Understanding of affine connections in differential geometry
  • Familiarity with Riemannian metrics and inner products
  • Knowledge of covariant derivatives and parallel transport
  • Basic concepts of vector fields and curves in manifolds
NEXT STEPS
  • Study the properties of affine connections in differential geometry
  • Explore the concept of parallel transport and its implications in Riemannian geometry
  • Learn about the role of covariant derivatives in the context of vector fields
  • Investigate the relationship between Riemannian metrics and geodesics
USEFUL FOR

Mathematicians, physicists, and students specializing in differential geometry, particularly those interested in the interplay between affine connections and Riemannian metrics.

Chris L T521
Gold Member
MHB
Messages
913
Reaction score
0
Here's this week's problem.

-----

Problem: Show that an affine connection $\nabla$ is compatible to the Riemannian metric $\langle\cdot,\cdot\rangle$ if and only if, for any curve $c:I\rightarrow M$, and for any pair of vector fields $V$, $W$ along $c$, we have
$$\frac{\,d}{\,dt} \left\langle V,W\right\rangle= \left\langle\frac{\,DV}{\,dt},W\right\rangle + \left\langle V,\frac{\,DW}{\,dt}\right\rangle$$
where $\dfrac{D}{dt}$ denotes the covariant derivative.

-----

 
Physics news on Phys.org
No one answered this week's question. You can find my solution below.

[sp]Proof: ($\Leftarrow$): Assume that $\dfrac{\,d}{\,dt}\left<V,W\right> =\left<\dfrac{\,DV}{\,dt},W\right>+\left<V,\dfrac{\,DW}{\,dt}\right>$ is true. Now suppose that $V$ and $W$ are parallel vector fields along the curve $c$. By definition of parallelism, $\dfrac{\,DV}{\,dt}=\dfrac{\,DW}{\,dt}=0$. Therefore,$$\frac{\,d}{\,dt}\left<V,W\right>=\left<0,W\right>+\left<V,0\right>=0.$$
This implies that $\left<V,W\right>$ is constant.

($\Rightarrow$): Suppose that $\nabla$ is compatible with $\left<\cdot,\cdot\right>$. For some point $t_0$ on the curve $c\left(t\right)$, let us define an orthonomal basis $\{E_1\!\left(c\left(t_0\right)\right),E_2\!\left(c\left(t_0\right)\right),\ldots,E_m\!\left(c\left(t_0\right)\right)\}$ of the tangent space $T_{c\!\left(t_0\right)}M$. By parallel transport (proposition 4.2.5), we can extend these vectors to the parallel vector fields $\{E_1\!\left(c\left(t\right)\right), E_2\!\left(c\left(t\right)\right), \ldots,E_m\!\left(c\left(t\right)\right)\}$. Since parallel transport preserves the lengths of these basis vectors, $\{E_1\!\left(c\left(t\right)\right), E_2\!\left(c\left(t\right)\right), \ldots,E_m\!\left(c\left(t\right)\right)\}$ is now an orthonormal basis for $T_{c\!\left(t\right)}M$ for any $t\in I$. Take $V=\displaystyle\sum_{i=1}^m v_iE_i$ and $W=\displaystyle\sum_{j=1}^m w_jE_j$. By definition of the Riemannian metric and noting that $\left<E_i,E_j\right>=1$, we see that
$$\begin{aligned}\left<V,W\right>&=\left<\sum_{i=1}^m v_iE_i,\sum_{i=1}^m w_jE_j\right>\\ &= \sum_{i=1}^m v_iw_i.\end{aligned}$$
Therefore, $\dfrac{\,d}{\,dt}\left<V,W\right>= \displaystyle\sum_{i=1}^m\left(\frac{\,dv_i}{\,dt}w_i +v_i\frac{\,dw_i}{\,dt}\right)$
We now verify the RHS of the equation is true.
$$\begin{aligned}\left<\frac{\,D_cV}{\,dt},W\right>&=\left<\sum_{i=1}^m\frac{D\!\left(v_iE_i\right)}{\,dt},W\right>\\ &= \left<\sum_{i=1}^m\frac{\,dv_i}{\,dt}E_i+v_i\frac{DE_i}{\,dt},\sum_{j=1}^mw_jE_j\right>\\ &= \left<\sum_{i=1}^m\frac{\,dv_i}{\,dt}E_i,\sum_{i=1}^m w_iE_i\right>\\&=\sum_{i=1}^m\frac{\,dv_i}{\,dt}w_i.\end{aligned}$$
Similarly,
$$\begin{aligned}\left<V,\frac{\,D_cW}{\,dt}\right>&=\left<V,\sum_{j=1}^m\frac{D\!\left(w_jE_j\right)}{\,dt}\right>\\ &= \left<\sum_{i=1}^mv_iE_i,\sum_{j=1}^m\frac{\,dw_j}{\,dt}E_j+w_j\frac{DE_j}{\,dt}\right>\\ &= \left<\sum_{i=1}^mv_iE_i,\sum_{i=1}^m\frac{\,dw_i}{\,dt}E_i\right>\\&=\sum_{i=1}^m\frac{\,dw_i}{\,dt}v_i.\end{aligned}$$
We now see that
$$\begin{aligned}\frac{\,d}{\,dt}\left<V,W\right>&=\sum_{i=1}^m\frac{\,dv_i}{\,dt}w_i+v_i\frac{\,dw_i}{\,dt}\\ &= \sum_{i=1}^m\frac{\,dv_i}{\,dt}w_i+\sum_{i=1}^mv_i\frac{\,dw_i}{\,dt}\\ &= \left<\frac{D_cV}{\,dt},W\right>+\left<V,\frac{\,D_cW}{\,dt}\right>.\end{aligned}$$
This completes the proof.$\hspace{.25in}\blacksquare$[/sp]
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
6
Views
1K