리만 기하학에서, '''단면 곡률'''(斷面曲率, )은 특정한 접평면에 대한 방향으로 리만 다양체가 굽는 양을 나타내는 실수이다. 단면 곡률에 상한 또는 하한을 가하면, 리만 다양체의 다양한 미분기하학·미분위상수학적 정보를 유추할 있다. == 정의 == 리만 다양체 위의 접공간 2차원 부분 벡터 공간 주어졌다고 하자. 그렇다면, 임의로 기저 고르자. 접벡터 대하여, 방향의 '''단면 곡률''' 다음과 같다. 여기서 리만 곡률 텐서이다. 기저 방향에 의존하지 않음을 보일 있다. 리만 다양체 위에, 2-그라스만 다발 정의할 있다. 즉, 2-그라스만 다발의 에서의 올은 그라스만 다양체 이다. 경우, 단면 곡률 2-그라스만 다발의 전체 공간 위의 실수 매끄러운 함수를 이룬다. == 성질 == 리만 다양체 양의 실수 주어졌다고 하자. 그렇다면, 리만 계량 대하여, 에서의 단면 곡률 다음과 같다. 즉, 단면 곡률의 단위는 리만 곡률과 마찬가지로 길이−2이다. === 공간 형식 === 모든 단면 곡률이 일정한 완비 리만 다양체는 '''공간 형식'''(空間形式, )이라고 한다. 모든 연결 단일 연결 공간 형식은 다음 가지 가운데 하나이다. 쌍곡 공간 () 초구 () 유클리드 공간 () 다시 말해, 모든 공간 형식은 쌍곡 공간 초구 유클리드 공간의 몫공간들의 분리합집합이다. '''슈어 보조정리'''()에 따르면, 2차원이 아닌 리만 다양체에 대하여 다음 조건이 서로 동치이다. 공간 형식이다. 임의의 임의의 대하여 되는 함수 존재한다. 그러나 이는 2차원에서 성립하지 않는다. 2차원 이하에서 번째 조건은 자명하게 성립하지만, 공간 형식이 아닌 2차원 완비 리만 다양체가 존재한다. (1차원에서 정리는 자명하게 성립한다.) 슈어 보조정리의 증명은 다음과 같다. 편의상 지표 표기법을 사용하자. 번째 조건이 성립한다고 하면, 된다. 그런데 경우 제2 비안키 항등식은 다음과 같이 된다. 괄호 속한 성분은 리만 계량 으로 구성되며, 경우 항상 0이 아니다. 따라서 이다. === 단면 곡률이 하한을 갖는 다양체 === 완비 리만 다양체 위의, 측지선으로 구성된, 꼭짓점이 삼각형 생각하자. 또한, 다음 조건들이 성립한다고 하자. 모든 단면 곡률이 하한 만족시킨다. 사이의 최단 측지선이다. 만약 경우, 길이 미만이다. 단면 곡률이 부피 형식이라고 하고, 속의 측지선으로 구성된 삼각형이라고 하자. 또한, 다음 조건들이 성립한다고 하자. (이는 삼각형의 SAS 합동 조건이다.) 그렇다면, '''토포고노프 정리'''()에 따르면 다음이 성립한다. '''그로우에-피터슨 유한성 정리'''()에 따르면, 임의의 차원 실수 대하여, 다음 조건을 만족시키는 리만 다양체들의 호모토피 유형들의 수는 유한하다. 단면 곡률이 이다. 지름이 이하이다. 부피가 이상이다. 이는 카르스텐 그로우에()와 피터 피터슨()이 증명하였다. === 단면 곡률이 유계인 다양체 === '''치거 유한성 정리'''()에 따르면, 임의의 자연수 상수 대하여, 콤팩트 차원 리만 다양체 가운데 단면 곡률이 어디서나 지름이 이하 부피가 이상 것들의 미분 동형류의 수는 유한하다. 매끄러운 다양체 임의의 양의 실수 대하여 다음 조건을 만족시키는 리만 계량 갖는다면, '''거의 평탄 다양체'''()라고 한다. 모든 단면 곡률이 이다. 지름이 이하이다. '''그로모프 거의 평탄 다양체 정리'''()에 따르면, 임의의 차원 대하여 다음 조건을 만족시키는 양의 실수 존재한다. 임의의 차원 리만 다양체 대하여, 만약 모든 단면 곡률이 이라면, 거의 평탄 다양체이다. '''그로모프-루 정리'''()에 따르면, 임의의 리만 다양체에 대하여 다음 조건이 서로 동치이다. 거의 평탄 다양체이다. 이산군 존재하며, 이는 다음 조건들을 만족시킨다. ** 단일 연결 멱영 군이다. ** 유한군이다. ** 이산군이며, 위에 자유롭게 작용한다. 특히, 어떤 영다양체() 의한 유한 피복 공간 존재한다. 연결 단일 연결 완비 리만 다양체 다음 조건을 만족시킨다고 하자. 모든 단면 곡률은 만족시킨다. 그렇다면, '''초구 정리'''(超球定理, )에 따르면 같은 차원의 초구와 미분 동형이다. (미분 동형인 것을 증명하는 것은 위상 동형인 것을 증명하는 것보다 어렵다.) 초구 정리는 구간을 에서 약화시키면 성립하지 않는다. 예를 들어, 푸비니-슈투디 계량을 복소수 사영 공간의 단면 곡률은 이지만, 초구와 미분 동형을 갖지 않는다. === 단면 곡률이 이하인 다양체 === '''카르탕-아다마르 정리'''()에 따르면, 다음이 성립한다. 연결 단일 연결 완비 리만 다양체 모든 단면 곡률이 이라면, 유클리드 공간과 미분 동형이다. 따라서, 단면 곡률이 이하인 완비 리만 다양체의 구조는 기본군에 의하여 완전히 결정되며, 이러한 다양체의 기본군에 대해서는 '''프라이스만 정리'''()라는 정리가 존재한다. 콤팩트 리만 다양체 모든 단면 곡률이 이라면, 위의 측지선 흐름은 에르고딕하다. (물론, 원환면의 경우 이지만 이는 성립하지 않는다.) 모든 단면 곡률이 되는 완비 리만 다양체 CAT(''κ'') 공간을 이룬다. 특히, 만약 이라면, 기본군 그로모프 쌍곡군()을 이룬다. === 단면 곡률이 초과인 비콤팩트 다양체 === 연결 비콤팩트 완비 리만 다양체 단면 곡률이 모든 곳에서 이상이라고 하자. '''영혼 정리'''(靈魂定理, )에 따르면, 다음 조건을 만족시키는 부분 다양체 존재한다. 콤팩트 공간이다. (완전 측지성 속의 모든 측지선은 속의 측지선을 이룬다. (완전 볼록성 임의의 대하여, 잇는 모든 측지선은 속한다. 법다발의 전체 공간과 미분 동형이다. 이러한 '''영혼'''(靈魂, )이라고 한다. 따라서, 양의 단면 곡률의 완비 리만 다양체의 분류는 콤팩트한 경우의 분류로 귀결된다. 또한, '''영혼 추측'''()에 따르면, 연결 비콤팩트 완비 리만 다양체 단면 곡률이 모든 곳에서 이상이며, 또한 모든 방향으로의 단면 곡률이 양수인 존재한다면, 영혼은 한원소 공간이다. 즉, 유클리드 공간과 미분 동형이다. (이름과 달리, 이는 현재 증명된 정리이다.) === 단면 곡률이 초과인 콤팩트 다양체 === 단면 곡률이 어디서나 초과인 차원 연결 콤팩트 리만 다양체 대하여, 다음이 성립한다. (싱 정리 홀수 차원 가향 다양체이거나, 짝수 차원 단일 연결 가향 다양체이거나, 기본군이 2차 순환군 짝수 차원 비가향 다양체이다. (마이어스 정리 만약 단면 곡률의 최솟값이 라면, 이다. '''그로모프 베티 정리'''()에 따르면, 임의의 차원 대하여, 다음 조건을 만족시키는 양의 정수 존재한다. 단면 곡률이 어디서나 초과인 임의의 연결 콤팩트 차원 다양체 대하여, 베티 수들의 합은 C(n) 이하이다. *: 이러한 다양체의 알려진 예는 드물다. == 역사 == === 19세기 === 슈어 보조정리는 독일의 수학자 프리드리히 하인리히 슈어(, 1856~1932)가 증명하였다. 카르탕-아다마르 정리는 한스 카를 프리드리히 망골트(, 1854~1925)가 곡면에 대하여 1881년에 증명하였고, 1898년에 자크 아다마르가 같은 정리를 독자적으로 증명하였다. 이후 엘리 카르탕이 1928년에 이를 임의의 차원의 리만 다양체에 대하여 일반화하였다. === 20세기 === 정리는 아일랜드의 수학자 라이턴 싱(, 1897~1995)이 1936년에 증명하였다. 마이어스 정리는 미국의 수학자 섬너 바이런 마이어스(, 1910~1955)가 1941년에 증명하였다. === 20세기 후반 21세기 === 토포고노프 정리는 러시아의 수학자 빅토르 안드레예비치 토포노고프(, 1930~2004)가 증명하였다. 영혼 정리는 1972년에 제프 치거와 데틀레프 그로몰()이 증명하였으며, 같은 논문에서 영혼 추측을 추측하였다. 그리고리 페렐만은 1994년에 영혼 추측을 13쪽 밖에 되지 않는 짧은 논문으로 간단히 증명하였다. 미분 동형에 대한 초구 정리는 2007년에 지몬 브렌들레()와 리처드 숀()이 증명하였다. == 같이 보기 == 리만 곡률 텐서 리치 곡률 텐서 스칼라 곡률 == 참고 문헌 == == 외부 링크 == 분류:리만 기하학