[논문 리뷰] Geometry of Third-Order Ordinary Differential Equations and Its Applications in General Relativity

Michał Godliński|ArXiv.org|2008. 10. 13.

Algebraic and Geometric Analysis참고 문헌 33인용 수 12

한 줄 요약

이 학위논문은 접촉, 점, 그리고 섬유를 유지하는 변환 하에서 삼차 미분방정식(ODE)에 대한 기하적 프레임워크를 수립하며, 이러한 ODE가 그 해의 공간 위에 자연스럽게 유도하는 등각, 아이ン슈타인-바이어의 기하학 및 로렌츠 기하학을 규명한다. 주요 기여는 대칭군이 큰 ODE의 분류와 ODE의 불변량과 일반 상대성 이론 및 미분기하학의 기하적 구조를 연결하는 카르탕 접속과 곡률 불변량의 명시적 구성이다.

ABSTRACT

A PhD thesis written under supervision of Pawel Nurowski and defended at the Faculty of Physics of the University of Warsaw. We adress the problems of local equivalence and geometry of third order ODEs modulo contact, point and fibre-preserving transformations of variables. Several new and already known geometries are described in a uniform manner by the Cartan method of equivalence. This includes conformal, Weyl and metric geometries in three and six dimensions and contact projective geometry in dimension three. Respective connections for these geometries are given and their curvatures are expressed by contact, point or fibre-preserving relative invariants of the ODEs. We construct Cartan coframes which yield the full set of local invariants and solve the local problem of contact and point equivalence of the ODEs. We explicitly describe ODEs admitting at least four-dimensional Lie group of contact or point symmetries and real ODEs fibre-preserving equivalent to II, IV, V, VI, VII and XI Chazy classes.

연구 동기 및 목표

• 접촉, 점, 섬유를 유지하는 변환 하에서 삼차 ODE의 동치 문제를 해결하기 위해.
• ODE의 해 공간 위에 유도되는 기하학적 구조—등각, 아이ン슈타인-바이어, 로렌츠 기하학 등—를 규명하기 위해.
• ODE의 불변량과 유도된 기하학적 구조의 곡률 불변량 사이의 명시적 관계를 수립하기 위해.
• 큰 접촉, 점, 또는 섬유를 유지하는 대칭군을 갖는 삼차 ODE를 분류하고, 해당 Lie 대수학과 기하학적 실현을 식별하기 위해.
• 제트 다발과 해 공간 위에 카르탕 정규 접속 및 곡률 텐서를 구성하여, ODE 기하학과 상대론적, 등각 기하학 간의 연결 고리를 만들기 위해.

제안 방법

• 10차원 및 7차원의 제트 공간 위의 삼차 ODE 제트 다발에 대해 카르탕의 접속 이론과 탄카의 연장 방법을 활용하여 카르탕 정규 접속을 구성한다.
• S.-S. 첸의 카르탕 접속 구성법을 적용하여, 접촉 변환에 대해 모odulo된 ODE 기하학을 특징짓는 곡률 불변량을 유도한다.
• ODE의 해 공간 위에 정규 등각 접속을 유도하며, ODE의 곡률이 분할 기호를 가진 등각 기하학을 유도함을 보여준다.
• 점 및 섬유를 유지하는 경우의 카르탕 접속의 곡률과 토크를 분석하여 해 공간 위에 아이ン슈타인-바이어 구조를 구성한다.
• 접촉, 점, 섬유를 유지하는 변환 하에서의 변환 도함수를 계산하기 위해 총 도함수 연산자 $\mathfrak{D} = \partial_x + y'\partial_y + y''\partial_{y'} + y'''\partial_{y''}$ 를 사용한다.
• 예를 들어 $\mathbf{I}^c_7$, $\mathbf{I}^p_1$, $W$, $F_{qqqq}$ 등의 불변량을 사용하여 ODE를 분류하고, $\mathfrak{u}(2)$, $\mathfrak{gl}(2,\mathbb{R})$, $\mathfrak{o}(4)$, $\mathfrak{co}(2,1)\oplus_{.}\mathbb{R}^3$ 등을 포함한 대칭 대수학을 규명한다.

실험 결과

연구 질문

• RQ1 접촉, 점, 또는 섬유를 유지하는 변환 하에서 동치가 되는 삼차 ODE는 무엇이며, 이러한 동치를 결정하는 불변량은 무엇인가?
• RQ2 삼차 ODE의 해 공간 위에 자연스럽게 유도되는 기하학적 구조—등각, 아이ン슈타인-바이어, 또는 로렌츠 기하학 등—는 무엇인가?
• RQ3 제트 다발 위의 카르탕 접속의 곡률 불변량은 ODE의 불변량—예를 들어 $W$, $F_{qqqq}$, $\mathbf{I}^c_7$—과 어떻게 관련이 있는가?
• RQ4 큰 대칭군을 갖는 삼차 ODE의 완전한 분류는 무엇이며, 각 분류에 대응하는 Lie 대수학은 무엇인가?
• RQ5 삼차 ODE의 기하학은 그 해 공간 위에 유도된 기하학적 구조로부터 완전히 재구성될 수 있으며, 그 반대도 가능한가?

주요 결과

• W = 0 이고 $F_{qqqq} \neq 0$ 인 삼차 ODE는 분할 기호를 가진 6차원 등각 기하학을 갖으며, 이는 ODE의 카르탕 접속에서 기인하는 곡률에 의해 유도된다.
• W ≠ 0 이고 $F_{qqqq} = 0$ 인 ODE는 5차원 해 공간 위에 아이ン슈타인-바이어 구조를 갖는다. 이 경우 웨일 접속은 ODE의 곡률에서 유도된다.
• F = \mu \frac{(2qy - p^2)^{3/2}}{y^2} 인 ODE의 경우, 0 < \mu < 1 이면 대칭 대수학은 $\mathfrak{u}(2)$, \mu > 1 이면 $\mathfrak{gl}(2,\mathbb{R})$ 이며, \mu = 1 일 때는 $\mathbf{I}^c_7 = 0$ 이다.
• F = q^{3/2} 인 ODE는 $\mathbf{I}^c_7 = \frac{\sqrt[3]{6}}{3}$ 이고 $\mathbf{I}^c_8 = 0$ 이며, 대칭 대수학은 $[V_2,V_4] = -V_3$, $[V_2,V_3] = V_1$, $[V_3,V_4] = V_2$ 를 만족하여 $\mathfrak{so}(3)$ 유사한 기하학적 구조를 나타낸다.
• F = 4\mu(q - p^2)^{3/2} + 6qp - 4p^3 이고 \mu > 0, $\mathbf{I}^p_8 < -\frac{3}{2}$ 인 ODE의 경우 $\mathbf{I}^p_8 = -\frac{3}{2} - \frac{2}{\mu^2}$ 이며, 대칭 대수학은 $[V_1,V_2] = V_3$, $[V_3,V_1] = V_2$, $[V_3,V_4] = V_3$, $[V_2,V_4] = V_2$ 를 만족하여 $\mathfrak{sl}(2,\mathbb{R}) \oplus \mathbb{R}$ 를 나타낸다.
• F = 0 인 ODE는 7차원 대칭 대수학 $\mathfrak{co}(2,1) \oplus_{.} \mathbb{R}^3$ 를 갖는다. 이는 W = 0, $F_{qqq} = 0$, $F_{qq}^2 + 6F_{qqp} = 0$ 를 만족하며, $\mathbf{I}^c_5 = \mathbf{I}^c_6 = \mathbf{I}^c_7 = \mathbf{I}^c_8 = \text{const}$ 이다.