1
$\begingroup$

Let $f:U \to \mathbb{R}^3$ be a surface where $U \subset \mathbb{R}^2$ is open.Let $\Gamma(Tf)$ denote the space of smooth tangent vector fields on $f$

A connection on $f$ is a map $D:\Gamma(Tf) \times \Gamma(Tf) \to \Gamma(Tf)$ with the following properties: $D_{\alpha X+Y}Z=\alpha D_XY+D_YZ, D_{X}(\beta Y+Z)=\beta D_XY+D_XZ, D_X(kY)=kD_XY+(X^i\frac{\partial k}{\partial u_i})Y$ for all $\alpha,\beta \in \mathbb{R}$ and smooth maps $k:U \to \mathbb{R}$

The Lie bracket on $\Gamma(Tf)$ (the space of smooth tangent vector fields on $f$ is: $[X,Y]=(X^iY^j_{,i}-Y^iX^j_{,i})f_i$,

here the Eienstein summation convention is used, thus $i,j$ are sumed over $1,2$. Note $X^j_{,i}=\frac{\partial X^j}{\partial u^i}$ and $f_i=\frac{\partial f}{\partial u^i}$,.

Define $T(X,Y):=D_XY-D_YX-[X,Y]$, given that $T$ is a $(1,2)$-tensor field. Prove that if $T=0$ and $D$ preserves the first fundamental form $g$ then $D$ is the same as the covariant differential $\nabla$.

My query:I read from a book (about differential manifolds instead of surfaces) that this means $d(g(X,Y))(Z)=g(D_ZX,Y)+g(X,D_ZY)$, but what is $dg(X,Y)(Z)$? Does one need the uniquess of Levi-Civita connection to prove $\nabla =D$?

1 Answers 1

1
  • Given fields $X$ and $Y$, $g(X,Y)$ denotes a function on your surface, ...

  • ... to which one can apply the operator $d$ of exterior differentiation, which gives as a $1$-form $d(g(X,Y))$ ...

  • which we can apply to vector fields $Z$, to get, again, a scalar function $d(g(X,Y))(Z)$.

  • 0
    Of course: the Levi-Civita connection is the unique connection whose torsion is zero and for which $g$ is parallel.2012-09-25