[論文レビュー] The Ambient Obstruction Tensor and Q-Curvature

C. Robin Graham, Kengo Hirachi|ArXiv.org|May 5, 2004

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

ひとこと要約

本稿は、偶数次元のリーマン多様体において、ブラソンのQ曲率の変分的特徴づけを確立する。これは、その第一変分がアーモニック障害テンソルに比例することを示すことで達成される。アーモニック障害テンソルは、共形不変でトレースフリーな対称2階テンソルであり、共形的にアインシュタインな計量上では正確に消失する。主な結果は、障害テンソルがQ曲率積分の変分導関数として特定されることを示し、4次元におけるバッハテンソルの役割を一般化し、2次曲率項までのすべての共形不変自然テンソルを分類する。

ABSTRACT

It is shown that the variational derivative of the integral of Branson's Q-curvature is the ambient obstruction tensor of Fefferman-Graham. A classification of irreducible conformally invariant tensors modulo quadratic and higher degree terms in curvature is established.

研究の動機と目的

• 偶数次元多様体におけるブラソンのQ曲率の変分的特徴づけを提供すること。
• Q曲率積分の変分導関数としてのアーモニック障害テンソルの導出および性質の確立すること。
• 2次曲率項およびそれ以上の項までを含めた、すべての共形不変で非可約な自然テンソルの分類すること。
• 障害テンソルが4次元におけるバッハテンソルの高次元版として果たす役割を明確にすること。

提案手法

• 1つの次元高い空間におけるポincare計量の滑らかな形式的べき級数解の存在障害を通じてアーモニック障害テンソルを導出すること。
• 特に対数項係数に注目したポincare計量の体積展開を用い、グレゴリー＝ツワイルツィンスキーの結果を介してQ曲率と結びつけること。
• アンドリューズの境界積分法の簡略化版を用いて、体積展開における対数項係数の変動を計算すること。
• 変分恒等式を確立する：∫Q dv の第一変分は (−1)ⁿ/²(n−2)/2 ∫𝒪ᵢⱼġⁱʲ dv に等しい。ここで 𝒪ᵢⱼ は障害テンソルである。
• 球面上の共形不変線形微分作用素のボエ＝コリンウッド分類を用いて、非可約な共形不変自然テンソルを分類すること。
• 標準球面上での自然テンソルの線形化により、分類問題を不変微分作用素に還元し、偶数次元 ≥6 における対応する作用素の線形化として障害テンソルを特定すること。

実験結果

リサーチクエスチョン

• RQ1 アーモニック障害テンソルは、偶数次元におけるQ曲率積分の変動とどのように関係しているか？
• RQ2 Q曲率と障害テンソルの間の正確な変分的関係は何か？
• RQ3 偶数次元において、ウェイルテンソルと障害テンソル以外に共形不変自然テンソルは存在するか？
• RQ4 障害テンソルは4次元におけるバッハテンソルをどのように一般化するか？
• RQ5 2次曲率項までを含めた、共形不変で非可約な自然テンソルの完全な分類は何か？

主な発見

• コンパクトな偶数次元多様体上でのQ曲率積分∫Q dv の第一変分は、(−1)ⁿ/²(n−2)/2 ∫𝒪ᵢⱼġⁱʲ dv に等しい。ここで 𝒪ᵢⱼ はアーモニック障害テンソルである。
• 障害テンソル 𝒪ᵢⱼ は共形不変でトレースフリーな対称2階テンソルであり、計量が局所的に共形的にアインシュタイン的である場合にかつその場合に限り消失する。
• 次元 n ≥ 6 で偶数の場合、ウェイルテンソルに加えて、2次およびそれ以上の曲率項までを含めた同値類において、障害テンソルは唯一の追加の共形不変自然テンソルである。
• 次元4では、障害テンソルはバッハテンソルと一致し、これは∫|W|² dv の変分導関数である。
• 2次曲率項までを含めた共形不変で非可約な自然テンソルの分類は完全である：2次曲率項までを含めると、ウェイルテンソル（次元3ではコットンテンソル）と障害テンソル（偶数次元 ≥6）の2つだけが現れる。
• 標準球面上での任意の共形不変自然テンソルの線形化は、G-不変な微分作用素としての同型をもつが、ボエ＝コリンウッド分類により、このようなテンソルの可能性が完全に決定される。