기하화 추측

위상수학에서 기하화 추측(幾何化推測, )은 모든 콤팩트한 3차원 다양체의 부분 다양체가 각각 기초적인 기하학적 구조들 중 하나로 해석된다는 정리이다. 이는 2차원 다양체에 대한 앙리 푸앵카레의 균일화 정리에 대응하며, 또한 푸앵카레 추측을 포함하는 서스턴의 타원화 추측의 모든 3차원 다양체에 대한 일반화이다.

정의 
이 (경계가 없는) 콤팩트 연결 다양체라고 하자. (3차원 이하에서는 매끄러운 다양체와 위상다양체의 개념이 일치한다.) 연결합으로 분해될 수 없는 3차원 콤팩트 연결 다양체를 소 3차원 다양체()라고 한다. 모든 콤팩트 연결 3차원 다양체는 소 다양체로 유일하게 분해될 수 있다.

기하화 추측에 따르면, 모든 콤팩트 연결 소 3차원 유향 다양체 은 다음과 같은 성질을 만족시키는, 유한한 수의 조각들로 분해될 수 있다.
 각 조각은 8가지의 서스턴 기하 가운데 하나를 기하 구조로 가지며, 서스턴 기하로서 유한한 부피를 가진다.
 각 조각들 사이의 경계는 2차원 원환면이다.
비가향 콤팩트 3차원 다양체의 경우, 그 유향 2중 피복 공간을 취하여 마찬가지로 분류할 수 있다.

서스턴 기하 
모형 기하(模型幾何, ) 는 다음과 같은 데이터로 구성되는 튜플이다.
 은 연결 단일 연결 매끄러운 다양체이다.
 는 리 군이다.
 는 의  위의 매끄러운 추이적 작용이며, 그 안정자군은 콤팩트 리 군이다.
주어진 다양체  위의 모형 기하 들은 의 포함 관계에 따라 부분 순서를 가지며, 이 포함 관계에 대하여 항상 극대 원소가 존재한다. 이러한 모형 기하를 극대 모형 기하()라고 한다.

다양체  위의 기하 구조(幾何構造, ) 는 다음과 같은 데이터로 구성되는 튜플이다.
 은 다양체이다.
 는 극대 모형 기하이다.
 는 의 이산 부분군이며, 는  위에 자유 작용을 이룬다.
 는 미분동형사상이다.

서스턴 기하(Thurston幾何, )는 그 대칭군  및 작용의 안정자군이 다음과 같은 8개 목록 가운데 하나인 극대 모형 기하이다.

역사 
이 추측은 윌리엄 서스턴의 1982년 논문에서 제기되었다. 서스턴은 자신의 추측을 쌍곡 기하학을 갖는 하켄 다양체(H3)에 한정해 증명한 공로로 필즈상을 받았다. 흔히 푸앵카레 추측의 증명으로 알려진 그리고리 페렐만의 2003년 논문과 보충 논문은 실제로 기하화 추측 전반을 증명하는데, 페렐만은 2차원의 리만 계량 텐서로 얻는 리치 흐름 텐서를 변형하였다. 이 방법은 리처드 S. 해밀턴이 1981년 논문에서 제기하고 1988년에 2차원에 적용하여 균일화 정리를 증명한 방식과 같았다.

참고 문헌

외부 링크 
 
 

기하학적 위상수학
리만 기하학
추측
3-다양체