Consideramos que el Tensor de Riemann primero. Una observación crucial es que si transportamos en paralelo transportamos en paralelo un vector $u$ en $p$ a $q$ a lo largo de dos caminos diferentes $vw$ y $wv$ los vectores resultantes vectores en $q$ son diferentes en general (figura siguiente). Sin embargo, si transportamos en paralelo un vector en un espacio euclidiano, donde el transporte paralelo se define en nuestro sentido habitual, el vector resultante no depende de la trayectoria por la que ha sido transportado en paralelo. Esperamos que esta no integrabilidad del transporte paralelo caracteriza la noción intrínseca de curvatura, que no depende de las coordenadas especiales elegidas.
Es útil decir que en este sentido la visualización del primera identidad de Bianchi es muy fácil:
Podemos dar una interpretación geométrica cuantitativa a la curvatura seccional tensor en cualquier dimensión. Sea M una n-manifoldes de Riemann y p ∈ M. Si $\Pi$ es cualquier $2$ -subespacio dimensional de $T_pM$ y $V \subset T_pM$ es cualquier vecindad de cero en la que $\exp_p$ es un difeomorfismo, entonces $S_\Pi := \exp_p(\Pi \cap V)$ es un $2$ -submanifold de dimensiones de $M$ que contiene $p$ (figura siguiente), llamado el plano sección determinada por $\Pi$ . Tenga en cuenta que $S_\Pi$ es sólo el conjunto barrido por las geodésicas cuyos vectores tangentes iniciales se encuentran en $\Pi$ . Definimos la curvatura seccional de $M$ asociado a $\Pi$ , denotado como $K(\Pi)$ , para ser la curvatura gaussiana de la superficie $S_\Pi$ en $p$ con la métrica inducida. Si $(X, Y)$ es cualquier base para $\Pi$ también utilizamos la notación $K(X, Y)$ para $K(\Pi)$ .
Proposición: Si $(X, Y)$ es cualquier base para un $2$ -avión $\Pi \subset T_pM$ entonces $$K(X,Y)=\frac{Rm(X,Y,Y,X)}{|X|^2 |Y|^2 -\langle X,Y \rangle ^2}$$
También podemos dar una interpretación geométrica de las curvaturas Ricci y escalar de Ricci y escalares. Dado cualquier vector unitario $V \in T_pM$ , elija una base ortonormal $\{E_i\}$ para $T_pM$ tal que $E_1 = V$ . Entonces $Rc(V, V )$ viene dada por
$$Rc(V,V)=R_{11}=R_{k11}^k=\sum_{k=1}^{n} Rm(E_k,E_1,E_1,E_k)=\sum_{k=2}^{n}K(E_1,E_k)$$
Por lo tanto, el tensor de Ricci tiene la siguiente interpretación: Para cualquier vector unitario vector $V \in T_pM$ , $Rc(V, V )$ es la suma de las curvaturas seccionales de los planos atravesados por $V$ y otros elementos de una base ortonormal. Desde $Rc$ es simétrica y bilineal, está completamente determinada por sus valores de la forma $Rc(V, V )$ para vectores unitarios $V$ .
Del mismo modo, la curvatura escalar es
$$S=R_j^j=\sum_{j=1}^n Rc(E_j,E_j)=\sum_{j,k=1}^{n}Rm(E_k,E_j,E_j,E_k)=\sum_{j\ne k}K(E_j,E_k)$$
Por lo tanto, la curvatura escalar es la suma de todas las curvaturas seccionales de planos abarcados por pares de elementos de base ortonormal.
16 votos
Terry Tao escribió un excelente artículo sobre cómo ver la curvatura de Ricci. Puede que le resulte útil. El pdf es aquí .