[論文レビュー] 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)の共形構造に対して、Fefferman-Grahamのアンビエント計量の明示的8パラメータ族を構成する。非ゼロ係数 $ a_3, a_4, a_5, a_6 $ の少なくとも一つが存在する場合、アンビエント計量は完全な例外的ホロノミー $ \mathrm{G}_{2(2)} $ を持つことを証明し、基本計量のシュアウトエンおよびバッハテンソルを用いたアンビエント計量の閉形式表現を提供する。

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)} $ ホロノミーを有する明示的アンビエント計量を構成すること。
• (2,3,5)-分布のアンビエント計量が完全な $ \mathrm{G}_{2(2)} $ ホロノミーを達成するための条件を特定すること。
• 基本計量のシュアウトエンおよびバッハテンソルを用いたアンビエント計量の閉形式表現を提供すること。
• 解析的カテゴリーにおける構成されたアンビエント計量の一意性とリッチ平坦性を確立すること。

提案手法

• アンビエント計量は $ \widetilde{g}_F = -2\,dt\,du + t^2 g_F - 2tu\,\mathsf{P} - u^2 B $ として構成され、ここで $ \mathsf{P} $ および $ B $ は基本計量 $ g_F $ のシュアウトエンおよびバッハテンソルである。
• 基本計量 $ g_F $ は、$ y' $ について6次以下の多項式的依存性と $ z $ について線形な関数 $ F $ から得られ、(2,3,5)-分布を符号化する。
• $ \mathsf{P} $ および $ B $ の明示的公式を用いて、アンビエント計量のリッチ平坦性を検証し、奇数次元における解析的関数の延長を用いて一意性を確立する。
• 非退化な平行スピン形式の存在を示し、曲率の微分解析によって対称的ホロノミーを除外することで、ホロノミーが $ \mathrm{G}_{2(2)} $ に還元されることを証明する。
• ベルジャーの非リーマン的ホロノミー群の分類を用い、非対称的曲率が完全な $ \mathrm{G}_{2(2)} $ ホロノミーを示すことを示す。
• 特定のコフレームにおいて、リーマン接続、シュアウトエン、ウェイリ、コットン、バッハテンソルの明示的テンソル公式を導出し、曲率およびホロノミー計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 関数 $ F $ がどのような条件下で、符号型(3,2)の共形構造のフェッファーマン＝グラハムアンビエント計量が $ \mathrm{G}_{2(2)} $ ホロノミーを有するか？
• RQ2 (2,3,5)-分布のアンビエント計量は、基本計量のシュアウトエンおよびバッハテンソルのみを含む閉形式で表現可能か？
• RQ3 $ F $ が $ y' $ について二次形式でない項を含む場合、アンビエント計量の正確な構造は何か？ そして、これはホロノミーにどのように影響するか？
• RQ4 曲率計算が退化している場合でも、ホロノミーが $ \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 $ のすべての値に対してリッチ平坦である。
• $ a_3, a_4, a_5, a_6 $ の少なくとも一つが非ゼロである場合、アンビエント計量は完全な例外的ホロノミー $ \mathrm{G}_{2(2)} $ を持つ。
• $ g_F $ の実解析性により、解析的カテゴリーにおいてアンビエント計量は一意に定まり、フェッファーマン＝グラハムのアンビエント計量としての同定が確認される。
• 非退化な平行スピン形式の存在により、ホロノミーは $ \mathrm{G}_{2(2)} $ に含まれるが、非可約性により対称的ホロノミー群への還元は不可能である。
• $ \Lambda^2 \mathbb{R}^7 $ から $ \mathrm{G}_{2(2)} $ への写像における $ \widetilde{g}_F $ の曲率のランクは4であり、これは直接的な曲率に基づくホロノミーの検証を妨げる退化を示している。
• 定理3により平行ベクトル場の不在と、最大の完全にヌルな部分空間の存在が確認され、ホロノミーが可約でないことが示され、したがって $ \mathrm{G}_{2(2)} $ に等しいことが確認される。