微分几何简单回顾

• $\boxed{Exercise1}$

  证明：$i :S^n\longrightarrow \mathbb{R}^{n+1}$ 在 $S^n$ 上诱导的度量为$g_1=i^\ast g_0=\frac{4}{[1+\sum_{i=1}^{n}(u^i)^2]^2}\sum_{i=1}^{n}du^i\otimes du^i$
  诱导度量的计算 induced metric 11页

• $\boxed{Def 2}$

  $f:(M,g)\longrightarrow (N,h)$ 是Riemann 流形之间的微分同胚，如果$g=f^\ast h$,则称$f$ 为等距同构。

• $\boxed{Def 3}$

（Killing field）如果向量场$X$生成的如穷小变换为等距同构，则称$X$为$(M,g)$的 $Killing \ field \Longleftrightarrow L_x g=0 \Longleftrightarrow X<Y,Z>=<[X,Y],Z>+<y,[X,Z]>$
KIlling Vector and symmetry 物理上的
{Example} The vector field on a circle that points clockwise and has the same length at each point is a Killing vector field, since moving each point on the circle along this vector field simply rotates the circle.

• $[\textbf{$L_X g=0$?}]$

  $Lie \ derivative\ L_X g=\underset{t\rightarrow 0}{lim} \frac{\phi^\ast_t g-g}{t}$,$X$生成的无穷小变换$\phi_t(x)$是等距同构$\Longleftrightarrow \phi^\ast_t g =g \Longleftrightarrow \underset{t\rightarrow 0}{lim} \frac{\phi^\ast_t g-g}{t}=0$\

• $[\textbf{$L_X g(Y,Z)=?$}]$

  $$L_Xg(Y,Z)=X(Y,Z)-(L_X ,Y)-(Y,L_X,Z)$$ $\Longleftrightarrow X<Y,Z>=<[X,Y],Z>+<y,[X,Z]>$\
  $[\textbf{$L_X \omega=?$}]$ $L_X \omega(Y_1,Y_2,..Y_s)=\frac{d}{dt}\omega_{\sigma(t)}(\phi_{\ast t} Y_1,\phi_{\ast t} Y_2,..\phi_{\ast t} Y_s)$

• Def 4

  $f:M\longrightarrow N$ 为覆叠，则$g= f^\ast h$为$M$上的Riemann 度量，称$f$为局部等距。local isomeric and Killling vector

• Exercise 5

  设$G$为 $I(M,g)$的离散子群，则$M/G=\{G\cdot x|x \in M\}$具有微分结构，$\pi :M \longrightarrow M/G$是商投影。

• EX 6(双曲模型的等价性)

  $\mathbb{D}=\{z \in \mathbb{C}| |z|<1\},g=\frac{1}{(1-|z|^2)^2}(dx\otimes dx+dy\otimes dy)$,$\mathbb{H}=\{ z\in C | im(z)>0\}$,$h_{-1}=\frac{1}{im(z)^2} (dx \otimes dx+dy\otimes dy)$.证： $\phi : H \longrightarrow D,z \longrightarrow \frac{z-i}{z+i}$为等距。

• Ex7

证明双曲模型的距离是$d(z_1,z_2)=ln \frac{|1-\bar{z_1}z_2|+|z_1-z_2|}{|1-\bar{z_1}z_2|-|z_1-z_2|}$

• Ex 8

证明$\nabla^2 f(X,Y)=Y(Xf)-\nabla_Y Xf$是双线性的。

• Ex 9

proof $T(X,Y)=\nabla_X Y-\nabla_Y X-[X,Y]$ is a tensor.

• Ex 10

  在$R^n$上，$\nabla_X Y=(Xb_1,Xb_2,...Xb_n)$,证明$\nabla_{\dot{\sigma}} Y=(b'_1,...b'_n)$

• Ex 11

证明$\nabla ,g$相容则平行移动保持内积。

• Ex 12

证明在Riemann 流形上面的相容无挠的联络是唯一的。

• Ex 13

证明$(S^n,g_1)$上的联络是$\nabla_XY =\bar{\nabla}_XY -<\bar{\nabla}_XY ,\vec{x}>\vec{x}$,$S^n$上的测地线是$\ddot{\sigma}=-\sigma$,$\sigma(t)=\sigma(0)cos(t)+\dot{\sigma}(0)sin(t)$

• Ex 14

$\nabla_XY=(\bar{\nabla}_XY)^\perp ,where\ \perp :TM \longrightarrow TN$是正交投影，$\nabla$ 是$(N,i^\ast g)$的Levi——Civita联络。

• Ex 15

  $\nabla_X \omega(Y)=X(\omega(Y))-\omega(\nabla_X Y)$,证明： $\nabla_{e_i} \omega^j=-\Gamma_{ik}^j\omega^k$