[论文解读] Conformal structures with $G_{2(2)}$-ambient metrics

Thomas Leistner, Paweł Nurowski|arXiv (Cornell University)|Apr 1, 2009

Advanced Differential Geometry Research参考文献 18被引用 9

一句话总结

本文为源自 (2,3,5)-分布的 (3,2) 符号型共形结构构造了一个显式的 8 参数族 7 维 Fefferman-Graham 伴随度量。证明了当系数 $ a_3, a_4, a_5, a_6 $ 中至少有一个非零时，伴随度量具有完整的例外仿射 holonomy $ \mathrm{G}_{2(2)} $，并利用基度量的 Schouten 张量与 Bach 张量给出了伴随度量的闭式表达式。

ABSTRACT

We present conformal structures in signature (3,2) for which the holonomy of the Fefferman-Graham ambient metric is equal to the non-compact exceptional Lie group G_{2(2)}. We write down the resulting 8-parameter family of G_{2(2)}-metrics in dimension seven explicitly in an appropriately chosen coordinate system on the ambient space.

研究动机与目标

• 为 (3,2) 符号型共形结构构造具有 $ \mathrm{G}_{2(2)} $ 仿射 holonomy 的显式伴随度量。
• 刻画 (2,3,5)-分布的伴随度量实现完整 $ \mathrm{G}_{2(2)} $ 仿射 holonomy 的条件。
• 利用基度量的 Schouten 与 Bach 张量，提供伴随度量的闭式表达式。
• 在解析范畴中确立所构造伴随度量的唯一性与 Ricci 平坦性。

提出的方法

• 伴随度量构造为 $ \widetilde{g}_F = -2\,dt\,du + t^2 g_F - 2tu\,\mathsf{P} - u^2 B $，其中 $ \mathsf{P} $ 与 $ B $ 分别为基度量 $ g_F $ 的 Schouten 张量与 Bach 张量。
• 基度量 $ g_F $ 由一个函数 $ F $ 导出，其关于 $ y' $ 的多项式次数最高为 6，且关于 $ z $ 为线性，编码了 (2,3,5)-分布。
• 通过 $ \mathsf{P} $ 与 $ B $ 的显式公式验证伴随度量的 Ricci 平坦性，并在奇数维中利用解析延拓确立唯一性。
• 通过证明存在一个非退化的平行旋量并排除对称仿射 holonomy，从而证明仿射 holonomy 降低至 $ \mathrm{G}_{2(2)} $。
• 证明使用 Berger 对不可约伪黎曼仿射 holonomy 群的分类，并表明非对称曲率意味着完整的 $ \mathrm{G}_{2(2)} $ 仿射 holonomy。
• 在特定余标架下推导出 Levi-Civita 连接、Schouten、Weyl、Cotton 与 Bach 张量的显式张量公式，以支持曲率与仿射 holonomy 的计算。

实验结果

研究问题

• RQ1 在函数 $ F $ 满足何种条件时，(3,2) 符号型共形结构的 Fefferman-Graham 伴随度量具有 $ \mathrm{G}_{2(2)} $ 仿射 holonomy？
• RQ2 能否以仅含基度量的 Schouten 与 Bach 张量的形式写出 (2,3,5)-分布的伴随度量的闭式表达式？
• RQ3 当 $ F $ 包含 $ y' $ 的非二次项时，伴随度量的精确结构为何？其对仿射 holonomy 有何影响？
• RQ4 当曲率计算出现退化时，如何验证仿射 holonomy 并非 $ \mathrm{G}_{2(2)} $ 的真子群？

主要发现

• 伴随度量 $ \widetilde{g}_F $ 显式给出为 $ -2\,dt\,du + t^2 g_F - 2tu\,\mathsf{P} - u^2 B $，且对所有参数 $ a_0, \dots, a_6, b $ 的取值均为 Ricci 平坦。
• 当 $ a_3, a_4, a_5, a_6 $ 中至少有一个非零时，伴随度量具有完整的例外仿射 holonomy $ \mathrm{G}_{2(2)} $。
• 由于 $ g_F $ 的实解析性，伴随度量在解析范畴中唯一确定，确认其即为 Fefferman-Graham 伴随度量。
• 存在一个非退化的平行旋量意味着仿射 holonomy 包含于 $ \mathrm{G}_{2(2)} $，且不可约性排除了向对称仿射 holonomy 群的约化。
• 曲率映射 $ \Lambda^2 \mathbb{R}^7 \to \mathrm{G}_{2(2)} $ 的秩为四，表明存在退化性，使得无法通过直接曲率分析验证仿射 holonomy。
• 不存在平行向量场（由定理 3 排除），且存在一个平行的最大全零子空间，证实仿射 holonomy 不可约，因此等于 $ \mathrm{G}_{2(2)} $。