{{위키데이터 속성 추적}}
[[미분기하학]]과 [[일반 상대성 이론]]에서 '''페트로프 분류'''(Петров分類, {{llang|en|Petrov classification}})는 [[로런츠 다양체]]를 그 [[바일 곡률 텐서]]를 기준으로 분류하는 분류이다. [[아인슈타인 방정식]]의 해를 연구하는 데 쓰인다.

== 정의 ==
=== 정사각행렬의 세그레 분류 ===
<math>n\times n</math> 실수 [[정사각행렬]] <math>M</math>이 주어졌다고 하자. 이는 항상 [[조르당 표준형]]으로 놓을 수 있다. <math>M</math>의 '''세그레 분류'''({{llang|en|Segre classification}})는 각 조르당 블록들의 크기를 나열한 것이며, 다음과 같은 꼴이다.
:<math>[n_1,(n_2,n_2',\dots),(n_3,n_3',\dots),\dots|n_4,n_5,\dots]</math>
여기서
* 각 숫자 <math>n</math>은 <math>n\times n</math> 크기의 조르당 블록을 의미한다.
* 고윳값이 0이 아닌 조르당 블록들은 <math>|</math> 앞으로, 고윳값이 0인 조르당 블록들은 <math>|</math> 뒤로 나열한다.
* 같은 고윳값을 갖는 조르당 블록들은 소괄호 <math>(n_1,n_2,\dots)</math>로 묶는다.
예를 들어,
:[(1,2),3|4,5]
는 다음과 같은 조르당 블록들을 갖는다.
* 고윳값이 <math>\lambda_1=\lambda_2\ne0</math>인 1×1 조르당 블록
* 고윳값이 <math>\lambda_1=\lambda_2\ne0</math>인 2×2 조르당 블록
* 고윳값이 <math>\lambda_3\ne\lambda_1</math>, <math>\lambda_3\ne0</math>인 3×3 조르당 블록
* 고윳값이 <math>\lambda_4=0</math>인 4×4 조르당 블록
* 고윳값이 <math>\lambda_5=0</math>인 5×5 조르당 블록

=== 페트로프 분류 ===
4차원 [[로런츠 다양체]] <math>(M,g)</math>가 주어졌다고 하자. 그렇다면 그 [[바일 곡률 텐서]]
:<math>C_{\mu\nu\rho\sigma}[g]</math>
를 정의할 수 있다. 이는 다음과 같은 성질들을 갖는다.
:<math>C_{(\mu\nu)\rho\sigma}=C_{\mu\nu(\rho\sigma)}=0</math>
즉, <math>C</math>는 2차 [[미분형식]](2차 반대칭 텐서)를 2차 미분형식으로 보낸다. 또한, 바일 텐서는 정의에 따라 모든 가능한 [[대각합]]들이 0이다.

4차원에서, 2차 미분형식들의 [[벡터다발]] <math>\Omega^2M</math>의 복소화 <math>\Omega^{2\mathbb C}M</math> 위에 다음과 같은 [[호지 쌍대]]가 존재한다.
:<math>*\colon \Omega^{2\mathbb C}M\to\Omega^{2\mathbb C}M</math>
이는
:<math>*^2|_{\Omega^{2\mathbb C}M}=-1</math>
을 만족시키므로, <math>*</math>는 [[고윳값]] <math>\pm1</math>을 갖는다. 이에 대응하는 고유공간들의 다발을 <math>\Omega^{2+}M</math>, <math>\Omega^{2-}M</math>이라고 하며, 각각 '''자기 쌍대'''({{llang|en|self-dual}}) 및 '''자기 반쌍대'''({{llang|en|anti-self-dual}}) 복소미분형식들의 다발이라고 일컫는다. <math>C\colon\Omega^{2\mathbb C}M\to\Omega^{2\mathbb C}M</math>는 <math>*</math>와 가환하며, 따라서 <math>C</math>를 <math>*</math>의 고윳값에 따라 자기 쌍대·자기 반쌍대 성분으로 분해할 수 있다.
:<math>C=C^++C^-</math>
:<math>C^+\colon\Omega^{2+}M\to\Omega^{2+}M</math>
:<math>C^-\colon\Omega^{2-}M\to\Omega^{2-}M</math>
또한, <math>C</math>는 실수 성분만을 가지므로
:<math>(C^-)^*=C^+</math>
이다. 따라서, 바일 텐서의 분류는 <math>C^+</math>만을 분류하는 것으로 족하다.

<math>\Omega^{2+}M</math>은 복소 3차원 다발이며, 따라서 <math>C^+</math>는 무대각합 3×3 복소행렬로 나타낼 수 있다. 이 경우, <math>M</math>의 '''페트로프 분류'''는 자기 쌍대 바일 텐서 <math>C^+</math>의 세그레 분류에 따라 다음과 같이 정의된다.
{| class="wikitable"
|-
! 페트로프 분류 !! 자기 쌍대 바일 텐서의 세그레 분류
|-
| I || <math>[1,1,1|]</math> 또는 <math>[1,1|1]</math>
|-
| II || <math>[2,1|]</math>
|-
| D || <math>[(1,1),1]</math>
|-
| III || <math>[|3]</math>
|-
| N || <math>[2,1|]</math>
|-
| O || <math>[|1,1,1]</math>
|-
| 불가능 || <math>[(1,1)|1], [(1,1,1)|], [1|1,1], [(1,2)|], [1|2], [2|1], [3|]</math>
|}
총 14개의 가능한 세그레 분류 가운데, 7개는 무대각합 조건에 위배되므로 불가능하다. 나머지 7개는 위와 같이 6개의 페트로프 분류와 대응된다.

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

== 각 유형의 해석 ==
각 페트로프 분류는 특정한 물리적인 해석이 주어진다.
{| class="wikitable"
|-
! 페트로프 분류 !! 해석 !! 예
|-
| O || 등각 평탄 다양체, 중력파 없음 || [[민코프스키 공간]], [[더 시터르 공간]], [[반 더 시터르 공간]], [[프리드만-르메트르-로버트슨-워커 계량]]
|-
| D || 질량과 각운동량으로 결정되는, [[블랙홀]]과 유사한 공간 || [[슈바르츠실트 계량]], [[커 계량]]
|-
| N || 중력적 [[횡파]] || 평면 [[중력파]], pp-파({{llang|en|pp-wave}})
|-
|  III || 중력적 [[종파]] || 로빈슨-트라우트먼 계량({{llang|en|Robinson–Trautman metric}})
|-
| II || D형·N형·III형 효과가 공존
|-
| I || 불규칙한, 일반적인 공간
|}

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

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

5차원 이상에서는 페트로프 분류는 더 복잡해진다. 5차원의 경우<ref>{{저널 인용| 성=de Smet|이름= P. | title=Black holes on cylinders are not algebraically special | 날짜=2002 | doi=10.1088/0264-9381/19/19/307 | journal=Classical and Quantum Gravity | volume=19 | issue=19 | pages=4877–4896 |arxiv=hep-th/0206106|bibcode = 2002CQGra..19.4877D | 언어=en}}</ref>와 일반적 차원의 경우<ref>{{저널 인용| 성=Coley|이름=A.|공저자= R. Milson, V. Pravda, A. Pravdová | title=Classification of the Weyl tensor in higher dimensions | year=2004 | doi=10.1088/0264-9381/21/7/L01 | journal=Classical and Quantum Gravity | volume=21 | issue=7 | pages=L35–L42 | arxiv=gr-qc/0401008|bibcode = 2004CQGra..21L..35C  | 언어=en}}</ref> 가 문헌에 존재한다.

== 역사 ==
1954년에 알렉세이 지노비예비치 페트로프({{llang|ru|Алексе́й Зино́вьевич Петро́в}})가 발표하였다.<ref>{{저널 인용| 성=Петров|이름=А.З. | title=Классификация пространств, определяющих поля тяготения  | url=http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=uzku&paperid=344| mr=76401| journal=Учёные записки Казанского государственного университета | 날짜=1954|권=114|호=8|쪽=55–69|언어=ru}} 영역 {{저널 인용 | 성=Petrov|이름=A.Z. | title=Classification of spaces defined by gravitational fields | journal=General Relativity and Gravitation | 날짜=2000 | volume=32 | pages=1665–1685 | doi=10.1023/A:1001910908054 | issue=8|bibcode = 2000GReGr..32.1665P|언어=en }}</ref> 페트로프의 원래 분류는 II형과 D형, III형과 N형을 구별하지 않았는데, 이후 [[로저 펜로즈]]가 II형에서 D형을, III형에서 N형을 분리하였다.<ref>{{저널 인용| 성=Penrose|이름= Roger|저자링크=로저 펜로즈 | title=A spinor approach to general relativity | journal=Annals of Physics | 날짜=1960 | volume=10 | pages=171–201|bibcode = 1960AnPhy..10..171P |doi = 10.1016/0003-4916(60)90021-X |언어=en}}</ref>

== 같이 보기 ==
* [[일반 상대성 이론의 엄밀 해]]
== 참고 문헌 ==
{{각주}}
* {{서적 인용| 성 = Hall | 이름= Graham S. | title=Symmetries and curvature structure in general relativity |총서=World Scientific Lecture Notes in Physics|권=46| location= Singapore | publisher=World Scientific | 날짜=2004-04 | isbn=978-981-02-1051-9|doi=10.1142/1729|언어=en}}
*{{서적 인용| 성=Stephani|이름=H.|공저자=D. Kramer, M. MacCallum, C. Hoenselaers, E. Herlt | title=Exact Solutions of Einstein’s Field Equations |판=2판 | location=Cambridge | publisher=Cambridge University Press | 날짜=2003 | isbn=0-521-46136-7|언어=en}}
*{{서적 인용| 성=d’Inverno |이름= Ray | title=Introducing Einstein's relativity | location=Oxford | publisher=Oxford University Press | 날짜=1992 | isbn=0-19-859686-3 | 언어=en}}
*{{저널 인용| 성=MacCallum|이름= M.A.H. | title=Editor’s note: Classification of spaces defining gravitational fields | journal=General Relativity and Gravitation | 날짜=2000-08 | volume=32 | issue=8 | pages=1661–1664|bibcode = 2000GReGr..32.1661P |doi=10.1023/A:1001958823984|issn=0001-7701|언어=en}}
* {{서적 인용|제목=On the pursuit of generalizations for the Petrov classification and the Goldberg–Sachs theorem|이름=Carlos A.|성=Batista da S. Filho|기타=페르남부쿠 연방 대학교({{llang|pt-BR|Universidade Federal de Pernambuco}}) 박사 학위 논문|출판사=Lambert Academic Publishing |날짜=2014|isbn=978-3-659-52065-5|arxiv=1311.7110|bibcode=2013arXiv1311.7110B|언어=en}}

== 외부 링크 ==
* {{eom|title=Petrov classification}}
* {{웹 인용|url=http://petrov2010.ksu.ru/classific.doc|제목=The Petrov classification of gravitational fields|이름=Graham|성=Hall|날짜=2010|언어=en|확인날짜=2014-09-06|보존url=https://web.archive.org/web/20140906085946/http://petrov2010.ksu.ru/classific.doc|보존날짜=2014-09-06|url-status=dead}}

[[분류:일반 상대성이론]]
[[분류:미분기하학]]