페트로프 분류

미분기하학과 일반 상대성 이론에서 페트로프 분류(Петров分類, 영어: Petrov classification)는 로런츠 다양체를 그 바일 곡률 텐서를 기준으로 분류하는 분류이다. 아인슈타인 방정식의 해를 연구하는 데 쓰인다. n × n {\displaystyle n\times n} 실수 정사각행렬 M {\displaystyle M} 이 주어졌다고 하자. 이는 항상 조르당 표준형으로 놓을 수 있다. M {\displaystyle M} 의 세그레 분류(영어: Segre classification)는 각 조르당 블록들의 크기를 나열한 것이며, 다음과 같은 꼴이다. [ n 1 , ( n 2 , n 2 ′ , … ) , ( n 3 , n 3 ′ , … ) , … | n 4 , n 5 , … ] {\displaystyle [n_{1},(n_{2},n_{2}',\dots ),(n_{3},n_{3}',\dots ),\dots |n_{4},n_{5},\dots ]} 여기서 각 숫자 n {\displaystyle n} 은 n × n {\displaystyle n\times n} 크기의 조르당 블록을 의미한다. 고윳값이 0이 아닌 조르당 블록들은 | {\displaystyle |} 앞으로, 고윳값이 0인 조르당 블록들은 | {\displaystyle |} 뒤로 나열한다. 같은 고윳값을 갖는 조르당 블록들은 소괄호 ( n 1 , n 2 , … ) {\displaystyle (n_{1},n_{2},\dots )} 로 묶는다. 예를 들어, [(1,2),3|4,5] 는 다음과 같은 조르당 블록들을 갖는다. 고윳값이 λ 1 = λ 2 ≠ 0 {\displaystyle \lambda _{1}=\lambda _{2}\neq 0} 인 1×1 조르당 블록 고윳값이 λ 1 = λ 2 ≠ 0 {\displaystyle \lambda _{1}=\lambda _{2}\neq 0} 인 2×2 조르당 블록 고윳값이 λ 3 ≠ λ 1 {\displaystyle \lambda _{3}\neq \lambda _{1}} , λ 3 ≠ 0 {\displaystyle \lambda _{3}\neq 0} 인 3×3 조르당 블록 고윳값이 λ 4 = 0 {\displaystyle \lambda _{4}=0} 인 4×4 조르당 블록 고윳값이 λ 5 = 0 {\displaystyle \lambda _{5}=0} 인 5×5 조르당 블록 4차원 로런츠 다양체 ( M , g ) {\displaystyle (M,g)} 가 주어졌다고 하자. 그렇다면 그 바일 곡률 텐서 C μ ν ρ σ [ g ] {\displaystyle C_{\mu \nu \rho \sigma }[g]} 를 정의할 수 있다. 이는 다음과 같은 성질들을 갖는다. C ( μ ν ) ρ σ = C μ ν ( ρ σ ) = 0 {\displaystyle C_{(\mu \nu )\rho \sigma }=C_{\mu \nu (\rho \sigma )}=0} 즉, C {\displaystyle C} 는 2차 미분형식(2차 반대칭 텐서)를 2차 미분형식으로 보낸다. 또한, 바일 텐서는 정의에 따라 모든 가능한 대각합들이 0이다. 4차원에서, 2차 미분형식들의 벡터다발 Ω 2 M {\displaystyle \Omega ^{2}M} 의 복소화 Ω 2 C M {\displaystyle \Omega ^{2\mathbb {C} }M} 위에 다음과 같은 호지 쌍대가 존재한다. ∗ : Ω 2 C M → Ω 2 C M {\displaystyle *\colon \Omega ^{2\mathbb {C} }M\to \Omega ^{2\mathbb {C} }M} 이는 ∗ 2 | Ω 2 C M = − 1 {\displaystyle *^{2}|_{\Omega ^{2\mathbb {C} }M}=-1} 을 만족시키므로, ∗ {\displaystyle *} 는 고윳값 ± 1 {\displaystyle \pm 1} 을 갖는다. 이에 대응하는 고유공간들의 다발을 Ω 2 + M {\displaystyle \Omega ^{2+}M} , Ω 2 − M {\displaystyle \Omega ^{2-}M} 이라고 하며, 각각 자기 쌍대(영어: self-dual) 및 자기 반쌍대(영어: anti-self-dual) 복소미분형식들의 다발이라고 일컫는다. C : Ω 2 C M → Ω 2 C M {\displaystyle C\colon \Omega ^{2\mathbb {C} }M\to \Omega ^{2\mathbb {C} }M} 는 ∗ {\displaystyle *} 와 가환하며, 따라서 C {\displaystyle C} 를 ∗ {\displaystyle *} 의 고윳값에 따라 자기 쌍대·자기 반쌍대 성분으로 분해할 수 있다. C = C + + C − {\displaystyle C=C^{+}+C^{-}} C + : Ω 2 + M → Ω 2 + M {\displaystyle C^{+}\colon \Omega ^{2+}M\to \Omega ^{2+}M} C − : Ω 2 − M → Ω 2 − M {\displaystyle C^{-}\colon \Omega ^{2-}M\to \Omega ^{2-}M} 또한, C {\displaystyle C} 는 실수 성분만을 가지므로 ( C − ) ∗ = C + {\displaystyle (C^{-})^{*}=C^{+}} 이다. 따라서, 바일 텐서의 분류는 C + {\displaystyle C^{+}} 만을 분류하는 것으로 족하다. Ω 2 + M {\displaystyle \Omega ^{2+}M} 은 복소 3차원 다발이며, 따라서 C + {\displaystyle C^{+}} 는 무대각합 3×3 복소행렬로 나타낼 수 있다. 이 경우, M {\displaystyle M} 의 페트로프 분류는 자기 쌍대 바일 텐서 C + {\displaystyle C^{+}} 의 세그레 분류에 따라 다음과 같이 정의된다. 총 14개의 가능한 세그레 분류 가운데, 7개는 무대각합 조건에 위배되므로 불가능하다. 나머지 7개는 위와 같이 6개의 페트로프 분류와 대응된다. 페트로프 분류들 가운데 I형이 가장 비대칭적이고, O형이 가장 대칭적이다. 이들 가운데, 모듈러스를 변화시켜 페트로프 분류가 퇴화되는 경우는 다음과 같다. 각 페트로프 분류는 특정한 물리적인 해석이 주어진다. 모든 구형 대칭 시공간은 D형 또는 O형이다. 3차원 이하에서는 바일 곡률 텐서가 항상 0이므로, 페트로프 분류는 자명하다. 5차원 이상에서는 페트로프 분류는 더 복잡해진다. 5차원의 경우와 일반적 차원의 경우 가 문헌에 존재한다. 1954년에 알렉세이 지노비예비치 페트로프(러시아어: Алексе́й Зино́вьевич Петро́в)가 발표하였다. 페트로프의 원래 분류는 II형과 D형, III형과 N형을 구별하지 않았는데, 이후 로저 펜로즈가 II형에서 D형을, III형에서 N형을 분리하였다. 일반 상대성 이론의 엄밀 해 de Smet, P. (2002). “Black holes on cylinders are not algebraically special”. 《Classical and Quantum Gravity》 (영어) 19 (19): 4877–4896. arXiv:hep-th/0206106. Bibcode:2002CQGra..19.4877D. doi:10.1088/0264-9381/19/19/307.  Coley, A.; R. Milson, V. Pravda, A. Pravdová (2004). “Classification of the Weyl tensor in higher dimensions”. 《Classical and Quantum Gravity》 (영어) 21 (7): L35–L42. arXiv:gr-qc/0401008. Bibcode:2004CQGra..21L..35C. doi:10.1088/0264-9381/21/7/L01.  더 이상 지원되지 않는 변수를 사용함 (도움말) Петров, А.З. (1954). “Классификация пространств, определяющих поля тяготения”. 《Учёные записки Казанского государственного университета》 (러시아어) 114 (8): 55–69. MR 76401.  영역 Petrov, A.Z. (2000). “Classification of spaces defined by gravitational fields”. 《General Relativity and Gravitation》 (영어) 32 (8): 1665–1685. Bibcode:2000GReGr..32.1665P. doi:10.1023/A:1001910908054.  Penrose, Roger (1960). “A spinor approach to general relativity”. 《Annals of Physics》 (영어) 10: 171–201. Bibcode:1960AnPhy..10..171P. doi:10.1016/0003-4916(60)90021-X.  Hall, Graham S. (2004년 4월). 《Symmetries and curvature structure in general relativity》. World Scientific Lecture Notes in Physics (영어) 46. Singapore: World Scientific. doi:10.1142/1729. ISBN 978-981-02-1051-9.  Stephani, H.; D. Kramer, M. MacCallum, C. Hoenselaers, E. Herlt (2003). 《Exact Solutions of Einstein’s Field Equations》 (영어) 2판. Cambridge: Cambridge University Press. ISBN 0-521-46136-7.  더 이상 지원되지 않는 변수를 사용함 (도움말) CS1 관리 - 추가 문구 (링크) d’Inverno, Ray (1992). 《Introducing Einstein's relativity》 (영어). Oxford: Oxford University Press. ISBN 0-19-859686-3.  MacCallum, M.A.H. (2000년 8월). “Editor’s note: Classification of spaces defining gravitational fields”. 《General Relativity and Gravitation》 (영어) 32 (8): 1661–1664. Bibcode:2000GReGr..32.1661P. doi:10.1023/A:1001958823984. ISSN 0001-7701.  Batista da S. Filho, Carlos A. (2014). 《On the pursuit of generalizations for the Petrov classification and the Goldberg–Sachs theorem》 (영어). 페르남부쿠 연방 대학교(브라질 포르투갈어: Universidade Federal de Pernambuco) 박사 학위 논문. Lambert Academic Publishing. arXiv:1311.7110. Bibcode:2013arXiv1311.7110B. ISBN 978-3-659-52065-5.  “Petrov classification”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  Hall, Graham (2010). “The Petrov classification of gravitational fields” (영어). 2014년 9월 6일에 원본 문서에서 보존된 문서. 2014년 9월 6일에 확인함.