단면곡률이 같으면 리만곡률도 같다
정리1
$V$를 $2$차원 이상의 벡터공간, $\left\langle \cdot, \cdot \right\rangle$을 $V$에서 정의된 내적이라고 하자. $R : V \times V \times V \times V \to V$와 $R^{\prime} : V \times V \times V \times V \to V$을 아래의 조건을 만족하는 다중선형함수라고 하자.
$$ R(x,y,z,w) = \left\langle R(x,y)z, w \right\rangle,\quad R^{\prime}(x,y,z,w) = \left\langle R^{\prime}(x,y)z, w \right\rangle $$
$$ \begin{align*} R(x, y, z, w) + R(y, z, x, w) + R(z, x, y, w) &= 0 \tag{a}\\ R(x, y, z, w) &= - R(y, x, z, w) \tag{b}\\ R(x, y, z, w) &= - R(x, y, w, z) \tag{c}\\ R(x, y, z, w) &= R(z, w, x, y) \tag{d} \end{align*} $$
선형독립인 두 벡터 $x, y$에 대해서 $K, K^{\prime}$을 다음과 같다고 하자.
$$ K(\sigma) = \dfrac{R(x,y,x,y)}{\left\| x \times y \right\|^{2}},\quad K^{\prime}(\sigma) = \dfrac{R^{\prime}(x,y,x,y)}{\left\| x \times y \right\|^{2}} $$
여기서 $\sigma$는 기저가 $\left\{ x, y \right\}$인 $2$차원 부분공간이다. 만약 모든 $\sigma \subset V$에 대해서 $K(\sigma) = K^{\prime}(\sigma)$이면, $R = R^{\prime}$이다.
설명
정리에서 말하는 $R$은 리만곡률텐서를 의미하는 것이고, $K$는 단면곡률을 의미한다.
위 정리는 우리가 $2$차원 부분공간에 대한 정보만 있어도, 리만곡률텐서 $R$을 알 수 있다는 것을 말해준다.
증명
증명은 어렵진않고, 계산 노가다를 하면 된다.
Claim: $R(x,y,z,w) = R^{\prime}(x,y,z,w)\quad \forall x,y,z,w \in V$
우선 $K, K^{\prime}$의 정의에 의해 다음이 성립하는 것은 확실하다.
$$ \begin{equation} K(\sigma) = K^{\prime}(\sigma) \implies R(x,y,x,y) = R^{\prime}(x,y,x,y) \end{equation} $$
따라서 다음을 얻는다.
$$ R(x+z, y, x+z, y) = R^{\prime}(x+z, y, x+z, y) $$
이는 $R, R^{\prime}$의 선형성에 의해 아래와 같다.
$$ \begin{align*} R(x,y,x,y) + R(z,y,x,y)\quad &= R^{\prime}(x,y,x,y) + R^{\prime}(z,y,x,y) \\ \quad + R(x,y,z,y) + R(z,y,z,y) &\quad + R^{\prime}(x,y,z,y) + R^{\prime}(z,y,z,y) \end{align*} $$
좌우변의 첫번째, 네번째항은 $(1)$에 의해 소거할 수 있다.
$$ R(z,y,x,y) + R(x,y,z,y) = R^{\prime}(z,y,x,y) + R^{\prime}(x,y,z,y) $$
그러면 $(d)$에 의해 각변의 첫째항을 바꿔주면 다음과 같다.
$$ \begin{align*} && R(x,y,z,y) + R(x,y,z,y) &= R^{\prime}(x,y,z,y) + R^{\prime}(x,y,z,y) \\ \implies && R(x,y,z,y) &= R^{\prime}(x,y,z,y) \tag{2} \end{align*} $$
$(2)$로부터 아래의 식을 얻는다.
$$ R(x, y+w, z, y+w) = R^{\prime}(x, y+w, z, y+w) $$
이도 마찬가지로 선형성에 의해 다음과 같이 쪼개진다.
$$ \begin{align*} R(x,y,z,y) + R(x,w,z,y)\quad &= R^{\prime}(x,y,z,y) + R^{\prime}(x,w,z,y) \\ \quad + R(x,y,z,w) + R(x,w,z,w) &\quad + R^{\prime}(x,y,z,w) + R^{\prime}(x,w,z,w) \end{align*} $$
좌우변의 첫뻔째, 네번째항은 $(2)$에 의해 서로 소거된다.
$$ \begin{align*} && R(x,w,z,y) + R(x,y,z,w) &= R^{\prime}(x,w,z,y) + R^{\prime}(x,y,z,w) \\ \implies && R(x,y,z,w) -R^{\prime}(x,y,z,w) &= R^{\prime}(x,w,z,y) - R(x,w,z,y) \end{align*} $$
우변의 두 항에 $(b), (d)$를 사용하면,
$$ R(x,y,z,w) -R^{\prime}(x,y,z,w) = R(y,z,x,w) - R^{\prime}(y,z,x,w) $$
위 식으로부터 다시 다음을 얻는다.
$$ \begin{equation} \begin{aligned} R(x,y,z,w) -R^{\prime}(x,y,z,w) &= R(y,z,x,w) - R^{\prime}(y,z,x,w) \\ &= R(z,x,y,w) - R^{\prime}(z,x,y,w) \end{aligned} \end{equation} $$
이제 $(a)$로부터 다음을 얻는다.
$$ R(x,y,z,w) + R(y,z,x,w) + R(z,x,y,w) = 0 \\ R^{\prime}(x,y,z,w) + R^{\prime}(y,z,x,w) + R^{\prime}(z,x,y,w) = 0 $$
위 식에서 아래의 식을 빼면 다음과 같다.
$$ \left( R(x,y,z,w) - R^{\prime}(x,y,z,w) \right) + \left( R(y,z,x,w) - R^{\prime}(y,z,x,w) \right) \\ \ + \left( R(z,x,y,w) - R^{\prime}(z,x,y,w) \right) = 0 $$
이때 괄호로 묶인 세 항은 $(3)$에 의해서 모두 같다. 따라서,
$$ 3\left( R(x,y,z,w) - R^{\prime}(x,y,z,w) \right) = 0 \\[1em] \implies R(x,y,z,w) = R^{\prime}(x,y,z,w) $$
■
Manfredo P. Do Carmo, Riemannian Geometry (Eng Edition, 1992), p94-95 ↩︎