[論文レビュー] Invariant Prolongation of BGG-Operators in Conformal Geometry

Matthias Hammerl|ArXiv.org|Nov 25, 2008

Black Holes and Theoretical Physics参考文献 19被引用数 12

ひとこと要約

本稿では、共形幾何学におけるBGG作用素の共形不変な延長手続きを、共形キリング形式に焦点を当てて提示する。共形不変性を保つようにトレイクター接続を変形することにより、元の過決定作用素と同値な一階偏微分方程式系の閉じた系を構成する。共形キリング形式の場合の明示的計算も行われる。主な結果は、計量に依存しない共形不変な延長の構成であり、標準的トレイクター計算の手法を一般化するものである。

ABSTRACT

BGG-operators form sequences of invariant differential operators and the first of these is overdetermined. Interesting equations in conformal geometry described by these operators are those for Einstein scales, conformal Killing forms and conformal Killing tensors. We present a deformation procedure of the tractor connection which yields an invariant prolongation of the first operator. The explicit calculation is presented in the case of conformal Killing forms.

研究の動機と目的

• 共形幾何学におけるBGG系列の最初の作用素に対する共形不変な延長手法の開発。
• アインシュタインスケールや共形キリング形式のための過決定系を、共形不変性を保ちつつ閉じた一階偏微分方程式系に延長する課題への対処。
• トレイクター接続の変形を導入することで、標準的トレイクター計算の手法を一般化し、共形不変性を保つこと。
• 共形キリング形式のための延長の明示的計算を提供し、手法の実行可能性と不変性を実証すること。

提案手法

• 著者たちは、共形幾何学を表現するため、標準的トレイクター bundle $\mathcal{S}$ とその自然接続 $\nabla$ を用い、フィルトレーション $\mathcal{S} = \mathcal{S}^{-1} \supset \mathcal{S}^0 \supset \mathcal{S}^1$ を持つ。
• Weyl曲率と1形式 $\Upsilon = df$ に依存する一連の写像 $H_i$ を用いて、トレイクター接続の変形を導入し、共形不変性を保証する。
• 系を一階かつ閉じた形に保つために、トレイクター bundle 内に新たな従属変数を導入し、すべての微分を変数の形で表現する。
• 共形スケーリング $\hat{g} = e^{2f}g$ におけるトレイクター成分の変換則を明示的に導出し、延長が計量クラス内での計量の選択に依存しないことを示す。
• 変換則の一致と同次性を用いて、延長系を満たす一意的かつ共形不変なセクション $\Psi$ の存在に依存する。
• 抽象的インデックス表記とWeyl曲率 $C_{abcd}$ を用いて、共形キリング形式のための詳細な計算が行われる。

実験結果

リサーチクエスチョン

• RQ1 共形幾何学における過決定的で共形不変な微分作用素を、共形不変性を保ちつつ閉じた一階偏微分方程式系に延長する方法は何か？
• RQ2 どのトレイクター接続の変形が、最初のBGG作用素の共形不変な延長をもたらすか？
• RQ3 構築された延長が、共形類内での計量の選択に依存しないのはなぜか？
• RQ4 この延長手続きは、共形キリング形式を超えて $k$-階グレーディングをもつパラボリック幾何学における他のBGG作用素へ一般化可能か？
• RQ5 Weyl曲率と1形式 $\Upsilon = df$ は、計量の共形変換における延長の不変性を保証するために果たす役割は何か？

主な発見

• 共形キリング形式のためのBGG作用素の延長は、変形されたトレイクター接続を用いて共形不変な一階系として構成された。
• すべての成分の明示的変換則により、得られた延長系が共形類内での計量の選択に依存しないことが示された。
• トレイクター接続の変形は、Weyl曲率と $\Upsilon$ を含む一連の写像 $H_i$ で表現され、共形スケーリングにおいて共変的に変化する。
• 変換 $g \mapsto \hat{g} = e^{2f}g$ における $\Psi$ の変換が、元の式の変換と一致することを確認することで、$\Psi$ が計量に依存しないことが示された。
• この手法は、$k$-階グレーディングをもつパラボリック幾何学における他のBGG系列へ一般化可能であり、鍵となる原理はトレイクター接続の自然かつ不変な変形の構成にある。
• 明示的計算により、延長が閉じており共形不変であることが確認され、すべての項が計量の共形変換において一貫して変化することが示された。