[논문 리뷰] Differential equations and para-CR structures

C. Denson Hill, Paweł Nurowski|ArXiv.org|2009. 09. 14.

Holomorphic and Operator Theory참고 문헌 10인용 수 9

한 줄 요약

이 논문은 상미분방정식과 편미분방정식의 시스템과 para-CR 구조 사이의 대응을 수립하며, 복소 구조를 실수의, 비가역적인 연산자로 대체함으로써 CR 기하학을 일반화하는 기하학적 프레임워크를 도입한다. (1,1,n−1) 유형의 para-CR 구조에 대해 국소 불변량을 유도하고, 해 공간 위에 conformally Einstein 계량을 구성하며, (3,2,1) 유형의 para-CR 구조에 대해 분할 계량을 가진 Ricci-평탄한, pp-파동 유사 계량을 규명한다.

ABSTRACT

We discuss relations between the para-CR structures and differential equations (both ODEs and PDEs of finite type).

연구 동기 및 목표

• 일반적인 ODE 및 PDE의 해를 점 변환을 통해 para-CR 구조와 연결하는 기하학적 프레임워크를 개발한다.
• 복소 구조를 실수의, 비가역적인 연산자로 대체함으로써 CR 기하학을 일반화하여 고유공간 차원이 다를 수 있도록 한다.
• 특히 (1,1,2) 및 (1,1,1) 유형을 포함하여, (1,1,n−1) 유형의 para-CR 구조에 대해 분류하고 국소 불변량을 계산한다.
• 특히 (3,2,1) 유형의 para-CR 구조에 대해, PDE의 해 공간 위에 conformally Einstein 계량이 존재하는지 탐색한다.
• 이러한 계량이 conformally flat 또는 Ricci-평탄한 조건을 규명하고, 일반 상대성 이론에서 알려진 해들과의 관련성을 규명한다.

제안 방법

• 점 변환을 제외한 제트 공간에서 일반 해 초면을 통해 para-CR 구조를 구성한다.
• 탄젠트 벡터 필드 위에 실수의 비가역 연산자 $ K $ 를 정의하여 $ K^2 = \text{id} $ 를 만족시키며, 수평 분해를 $ H^+ $ 와 $ H^- $ 고유공간으로 나눈다.
• 카르탕의 이동 기준법과 카르탕 정규 conformal 접속을 사용하여 해 공간 위의 conformal 계량에 대한 곡률 불변량을 계산한다.
• 해 제트 공간 $ \tilde{\frak{J}} $ 에서 6형식 코프레임을 유도하여 conformal 계량 $ g $ 를 함수 $ r(s), t(s) $ 와 conformal 인자 $ e^{2h} $ 로 표현한다.
• 곡률 성분 $ \tilde{\frak{R}} $ 를 $ r^{(3)}, t^{(3)} $, 그리고 $ (r't')' $ 의 도함수로 표현하여 conformal flatness 조건을 도출한다.
• 계량 $ g = e^{2h}g_0 $ 가 Ricci-평탄한 조건을 만족시키기 위해 $ h(s) $ 를 구하는 두 번째 차수 ODE 를 풀며, $ r^{(3)}, t^{(3)} $ 와 $ r't' $ 의 도함수를 포함한 명시적 표현을 사용한다.

실험 결과

연구 질문

• RQ1 유형 (1,1,2) para-CR 구조의 국소 불변량은 무엇이며, 유형 (1,1,1)과는 어떻게 다를까?
• RQ2 PDE 시스템의 해 공간 위에 존재하는 (3,2,1) 유형의 conformal 계량이 conformally flat가 되는 조건은 무엇인가?
• RQ3 PDE $ z_{xx} = R $, $ z_{yy} = T $ 의 해 공간 위에 conformally Einstein 계량을 구성할 수 있는가? 그리고 언제 Ricci-평탄한가?
• RQ4 해당 (3,2,1) para-CR 구조와 관련된 conformal 계량의 페트로프 유형은 무엇이며, 서명에 따라 어떻게 달라지는가?
• RQ5 (3,2,1) para-CR 클래스에서 Ricci-평탄한 pp-파동 예외 외에 비-pp-파동, conformally Einstein 계량이 존재하는가?

주요 결과

• 해 공간 위의 (3,2,1) para-CR 구조에 대한 conformal 계량은 $ 1 - r't' > 0 $ 이면 분할 계량을 가지며, $ 1 - r't' < 0 $ 이면 루체르티언 계량을 가진다.
• 계량이 conformally flat이기 위한 필요충분조건은 $ Z_1 \triangleq \frac{2(r't' - 1)r^{(3)} - 3r''(r't')'}{4(1 - r't')^2} \triangleq 0 $ 과 $ Z_2 \triangleq \frac{2(r't' - 1)t^{(3)} - 3t''(r't')'}{4(1 - r't')^2} \triangleq 0 $ 이며, 이는 $ r(s) $ 와 $ t(s) $ 에 대한 삼차 ODE 시스템으로 축소된다.
• 계량 $ g = e^{2h}g_0 $ 가 Ricci-평탄한 것은 $ h(s) $ 가 다음 두 번째 차수 ODE 를 만족할 때이다: $$ h'' = h'^2 - \frac{(r't')'}{1 - r't'}h' + \frac{2(r^{(3)}t' + t^{(3)}r')(1 - r't') + 2r''t'' + 4r't'r''t'' + 3t'^2r''^2 + 3r'^2t''^2}{8(1 - r't')^2} $$
• Ricci-평탄한 계량은 분할 계량에서 페트로프 유형 $ N \bigoplus N' $ 이며, 루체르티언 계량에서는 $ N \bigoplus \bar{N} $ 이다. 또한 $ \frac{\text{d}}{\text{d}z} $ 와 일치하는 공변적으로 일정한 영향 방향을 가진다.
• 이 계량들은 일반적으로 conformally non-flat이며, 루체르티언 경우에선 pp-파동 해를 포함하고, 일부 분할 계량의 pp-파동은 para-CR 구조에서 유도된다.
• 이러한 계량의 존재는 para-CR 프레임워크 내에서 자연스러운 conformally Einstein, 비평탄한, pp-파동 유사 기하학적 구조의 클래스를 시사하며, 영향 방향에 의한 힐로노미가 감소한다.