페트로프 분류

미분기하학과 일반 상대성 이론에서 페트로프 분류(Петров分類, )는 로런츠 다양체를 그 바일 곡률 텐서를 기준으로 분류하는 분류이다. 아인슈타인 방정식의 해를 연구하는 데 쓰인다.

정의

정사각행렬의 세그레 분류 
 실수 정사각행렬 이 주어졌다고 하자. 이는 항상 조르당 표준형으로 놓을 수 있다. 의 세그레 분류()는 각 조르당 블록들의 크기를 나열한 것이며, 다음과 같은 꼴이다.

여기서
 각 숫자 은  크기의 조르당 블록을 의미한다.
 고윳값이 0이 아닌 조르당 블록들은  앞으로, 고윳값이 0인 조르당 블록들은  뒤로 나열한다.
 같은 고윳값을 갖는 조르당 블록들은 소괄호 로 묶는다.
예를 들어,
[(1,2),3|4,5]
는 다음과 같은 조르당 블록들을 갖는다.
 고윳값이 인 1×1 조르당 블록
 고윳값이 인 2×2 조르당 블록
 고윳값이 , 인 3×3 조르당 블록
 고윳값이 인 4×4 조르당 블록
 고윳값이 인 5×5 조르당 블록

페트로프 분류 
4차원 로런츠 다양체 가 주어졌다고 하자. 그렇다면 그 바일 곡률 텐서

를 정의할 수 있다. 이는 다음과 같은 성질들을 갖는다.

즉, 는 2차 미분형식(2차 반대칭 텐서)를 2차 미분형식으로 보낸다. 또한, 바일 텐서는 정의에 따라 모든 가능한 대각합들이 0이다.

4차원에서, 2차 미분형식들의 벡터다발 의 복소화  위에 다음과 같은 호지 쌍대가 존재한다.

이는

을 만족시키므로, 는 고윳값 을 갖는다. 이에 대응하는 고유공간들의 다발을 , 이라고 하며, 각각 자기 쌍대() 및 자기 반쌍대() 복소미분형식들의 다발이라고 일컫는다. 는 와 가환하며, 따라서 를 의 고윳값에 따라 자기 쌍대·자기 반쌍대 성분으로 분해할 수 있다.

또한, 는 실수 성분만을 가지므로

이다. 따라서, 바일 텐서의 분류는 만을 분류하는 것으로 족하다.

은 복소 3차원 다발이며, 따라서 는 무대각합 3×3 복소행렬로 나타낼 수 있다. 이 경우, 의 페트로프 분류는 자기 쌍대 바일 텐서 의 세그레 분류에 따라 다음과 같이 정의된다.

총 14개의 가능한 세그레 분류 가운데, 7개는 무대각합 조건에 위배되므로 불가능하다. 나머지 7개는 위와 같이 6개의 페트로프 분류와 대응된다.

페트로프 분류들 가운데 I형이 가장 비대칭적이고, O형이 가장 대칭적이다. 이들 가운데, 모듈러스를 변화시켜 페트로프 분류가 퇴화되는 경우는 다음과 같다.

각 유형의 해석 
각 페트로프 분류는 특정한 물리적인 해석이 주어진다.

모든 구형 대칭 시공간은 D형 또는 O형이다.

고차원 페트로프 분류 
3차원 이하에서는 바일 곡률 텐서가 항상 0이므로, 페트로프 분류는 자명하다.

5차원 이상에서는 페트로프 분류는 더 복잡해진다. 5차원의 경우와 일반적 차원의 경우 가 문헌에 존재한다.

역사 
1954년에 알렉세이 지노비예비치 페트로프()가 발표하였다. 페트로프의 원래 분류는 II형과 D형, III형과 N형을 구별하지 않았는데, 이후 로저 펜로즈가 II형에서 D형을, III형에서 N형을 분리하였다.

참고 문헌

외부 링크 
 
 

일반 상대성이론
미분기하학