[논문 리뷰] Parallel tractor extension and ambient metrics of holonomy split G_2

C. Robin Graham, Travis Willse|arXiv (Cornell University)|2011. 09. 15.

Geometric Analysis and Curvature Flows참고 문헌 28인용 수 4

한 줄 요약

이 논문은 5차원 다양체 위의 실해석적 일반 2평면장에 대해 환경 계량구조를 적용할 때, (3,4) 부호수를 가진 Ricci-평탄한 계량구조를 얻으며, 그 호로니가 분할 실형 $G_2$에 포함됨을 증명한다. 만약 Weyl-Cotton 사상 $L_x$와 4형식 불변량 $A$에 대한 두 점별 비퇴화 조건이 만족되면, 이는 이전의 명시적 구성들을 광범위한 기하학적 구조 계열로 일반화한다.

ABSTRACT

The holonomy of the ambient metrics of Nurowski's conformal structures associated to generic real-analytic 2-plane fields on 5-manifolds is investigated. It is shown that the holonomy is always contained in the split real form G_2 of the exceptional Lie group, and is equal to G_2 for an open dense set of 2-plane fields given by explicit conditions. In particular, this gives an infinite-dimensional family of metrics of holonomy equal to split G_2. These results generalize work of Leistner-Nurowski. The inclusion of the holonomy in G_2 is established by proving an ambient extension theorem for parallel tractors for conformal structures in general signature and dimension, which is expected to be of independent interest. Parallel extension beyond the critical order in even dimensions is considered in certain cases.

연구 동기 및 목표

• 실해석적 일반 2평면장에 대해, 이전의 명시적 8파rameter 가족에서의 호로니 포함성 $\operatorname{Hol}(\widetilde{g}) \subset G_2$를 모든 실해석적 일반 2평면장으로 확장하는 것.
• 환경 계량구조 $\widetilde{g}$의 전면적 $G_2$ 호로니를 보장하는 충분한 점별 조건을 규명하는 것.
• 특히 Weyl-Cotton 사상 $L_x$의 질량과 Cartan 불변량 $A$의 3-비퇴화성에 의해 결정되는 기하학적 조건을 규명하여 $\operatorname{Hol}(\widetilde{g}) = G_2$를 보장하는 것.
• 이 조건들이 국소 2평면장의 공간에서 일반적임을 확인하여, 실해석적 범주에서 $G_2$ 호로니가 널리 퍼져 있음을 확인하는 것.

제안 방법

• Fefferman-Graham의 환경 계량구조를 이용하여, 일반 2평면장 $\mathcal{D}$에 관련된 실해석적 (2,3) 부호수의 등각 기하구조를 $\mathbb{R}_+ \times M \times \mathbb{R}$ 위의 (3,4) 부호수를 가진 Ricci-평탄한 계량구조 $\widetilde{g}$로 상향 변환한다.
• Cartan의 등가 방법과 정규 Cartan 접속을 적용하여, 등각 기하구조의 Weyl 및 Cotton 텐서를 Cartan의 스칼라 불변량 $A, B, C, D, E$로 표현한다.
• 선형 사상 $L_x: T_xM \times \mathbb{R} \to \otimes^3 T_x^*M$를 $L_x(v,\lambda) = W_{ijkl}v^i + C_{jkl}\lambda$로 정의하며, 이의 질량은 등각 불변이며 비퇴화 조건으로 사용된다.
• 대칭 4형식 $A \in S^4\mathcal{D}^*$에 대한 3-비퇴화 조건을 도입하며, 이는 모든 $Y \in \mathcal{D}_x$에 대해 $A(Y,X,X,X) = 0$를 만족하는 0이 아닌 $X \in \mathcal{D}_x$가 존재하지 않는 것으로 정의된다.
• 정규 Cartan 접속과 곡률 성분 $\Omega_{ijkl}$을 사용하여 Weyl 및 Cotton 텐서를 명시적으로 표현하며, $W_{ijkl} = \Omega_{ijkl} \circ \sigma$ 및 $C_{jkl} = \Omega_{jkl} \circ \sigma$임을 보인다.
• Weyl 텐서 공간의 $SL(2,\mathbb{R})$-표현 분해를 분석하여 일반 2평면장에 해당하는 15차원 부분공간을 식별하고, $S^4$-성분을 불변량 $A$로 분리한다.

실험 결과

연구 질문

• RQ1 5차원 다양체 위의 실해석적 일반 2평면장에 대해, 그 환경 계량구조의 호로니가 $G_2$에 포함되는가?
• RQ2 Weyl 및 Cotton 텐서에 대한 어떤 점별 기하학적 조건이 환경 계량구조의 전면적 $G_2$ 호로니를 보장하는가?
• RQ3 사상 $L_x$가 단사(질량 6)임 조건이 실해석적 2평면장의 집합에서 일반적인가?
• RQ4 일반 2평면장에 대해, 점에서의 Cartan 불변량 $A$의 3-비퇴화성은 일반적인가?
• RQ5 Cartan 불변량 $A, B, C, D, E$는 $SL(2,\mathbb{R})$-작용 하에서 어떻게 분해되며, Weyl 및 Cotton 텐서에 해당하는 성분은 무엇인가?

주요 결과

• 5차원 다양체 위의 실해석적 일반 2평면장 $\mathcal{D}$에 대응하는 환경 계량구조 $\widetilde{g}$는 $\operatorname{Hol}(\widetilde{g}) \subset G_2$를 만족하며, 이는 Leistner-Nurowski의 결과를 명시적 가족을 초월하여 일반화한다.
• 어떤 점 $x \in M$에서 사상 $L_x$의 질량이 6(즉, 단사)이고, 어떤 점 $y \in M$에서 4형식 $A_y$가 3-비퇴화이면, $\operatorname{Hol}(\widetilde{g}) = G_2$이다.
• $L_x$의 질량이 6 미만 또는 $A_x$가 3-퇴화되는 2평면장의 집합은 잔여 기하구조 공간의 적절한 대수적 부분다양체에 포함되며, 이는 $G_2$ 호로니 조건이 일반적임을 의미한다.
• 정규형 $\mathcal{D} = \operatorname{span}\{\partial_q, \partial_x + p\partial_y + q\partial_p + F\partial_z\}$에서 $F_{qq} \neq 0$를 만족할 때, Weyl 및 Cotton 텐서 성분은 각각 $F$와 그 6차 및 7차 도함수에 대한 유리함수로 표현된다.
• Weyl 텐서 성분 $W_{ijkl}$과 Cotton 텐서 성분 $C_{jkl}$은 정규 Cartan 접속의 곡률 성분 $\Omega_{ijkl}$ 및 $\Omega_{jkl}$을 통해 명시적으로 표현되며, $W_{ijkl} = \Omega_{ijkl} \circ \sigma$ 및 $C_{jkl} = \Omega_{jkl} \circ \sigma$로 기술된다.
• Cartan 불변량 $A$는 대칭적이며, $SL(2,\mathbb{R})$-작용 하에서 Weyl 텐서의 $S^4$-성분에 대응하며, 그 3-비퇴화성은 $L_x$의 단사성과 함께 전면적 $G_2$ 호로니를 보장하는 필수 및 충분조건이다.