[論文レビュー] Conformally invariant powers of the ambient Dirac operator

Jonathan Holland, George Sparling|ArXiv.org|Dec 4, 2001

Algebraic and Geometric Analysis参考文献 3被引用数 17

ひとこと要約

本稿は、フェッファーマン＝グレアムのアンビエント構成をディラク作用素へ一般化することで、スピンルーラー密度上に作用するコンformally invariantな微分作用素を構成する。奇数次元ではすべてのべきに対して、偶数次元では有限個のべきに対してのみ、アンビエントディラク作用素のべきがコンフォーマル不変作用素をもたらすことが証明されている。これは、所定の境界データを持つディラク方程式の漸近的解への障害として生じる。

ABSTRACT

This paper constructs a family of conformally invariant differential operators acting on spinor densities with leading part a power of the Dirac operator. The construction applies for all powers in odd dimensions, and only for finitely many powers in even dimensions. These operators arise naturally as obstructions to formal solution of the Dirac equation on the Fefferman-Graham ambient space with prescribed boundary conditions.

研究の動機と目的

• フェッファーマン＝グレアムのアンビエント計量を用いて、ラプラシアンからディラク作用素へのコンフォーラル不変作用素の構成を拡張すること。
• アンビエントディラク作用素のべきが境界多様体上でwell-definedかつコンフォーラル不変な作用素を生じるための条件を同定すること。
• このような作用素が、ディラク方程式の形式的漸近展開に対する障害として生じる幾何学的・代数的メカニズムを明確化すること。
• 結果として得られる作用素が、アンビエント空間内での代表元の選択に依存しないように保証する、スピンルーラー密度の優先的拡張手順を確立すること。
• 本構成が奇数次元および偶数次元の両方で非自明な作用素を生じることを示し、偶数次元では有限個のべきに限ることを示すこと。

提案手法

• コンフォーラル境界の形式的近傍におけるフェッファーマン＝グレアムのアンビエントローレンツ計量を用い、コンフォーラル構造をより高次元のローレンツ多様体に拡張する。
• 滑らか関数の線形作用素 $x$ を導入し、これはオイラーベクトル場に関連し、アンビエント構成における同次性作用素として機能する。
• アンビエント空間および境界上のスピンルーラー束を定義し、その切断がオイラー場による固有値方程式に従って変換されることで、コンフォーラル重みを符号化する。
• アンビエントディラク作用素 $\partial\kern-8pt\partial$ を用いて作用素を構成し、そのべきを境界上への制限および $x^2$ 項を modulo として除くことで投影する。
• 作用素の投影が代表元の選択に依存しないことを保証するため、スピンルーラー場に「優先的拡張」条件を課す。
• 作用素 $x$, $y$, $h$（同次性作用素）に関する代数的恒等式を用いて、投影作用素が拡張の選択に依存しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてアンビエント空間形式を用いて、ディラク作用素のコンフォーラル不変べきを体系的に構成できるか？
• RQ2 アンビエントディラク作用素のべきを境界に制限したときに、well-definedかつコンフォーラル不変な作用素が得られるための条件は何か？
• RQ3 なぜ偶数次元では有限個のべきを超えてこのような作用素が得られないのか？
• RQ4 漸近的解への障害として得られる作用素の幾何学的・解析的意味は何か？
• RQ5 境界スピンルーラーのアンビエント空間への優先的拡張が、結果として得られる作用素の不変性をどのように保証するのか？

主な発見

• 奇数次元 $n$ に対して、すべての $p \geq 1$ に対して、コンフォーラル重み $p - \frac{1}{2}n$ のスピンルーラー密度上に作用する、形式 $\Psi \mapsto (x \partial\kern-8pt\partial^{2p} \psi)|_G$ のコンフォーラル不変作用素が存在する。
• 偶数次元 $n$ に対しては、アンビエント計量の有限次元形式的拡張のため、このような作用素は有限個の $p$ のみで存在する。
• $\psi$ が優先的拡張であるとき、作用素 $\Psi \mapsto (\partial\kern-8pt\partial^{2p+1} \psi)|_G$ はコンフォーラル不変であり、別の漸近的解問題への障害として生じる。
• 作用素 $R_{2p+1}$ は $\Psi \mapsto y^{2p+1}\psi \mod O(x^2)$ で定義され、コンフォーラル不変であり、重み $p - \frac{1}{2}n + 1$ のスピンルーラー密度から重み $-p - \frac{1}{2}n$ のものへ写像する。
• $L_{2p+1}$ と $R_{2p+1}$ は比例しており、その比例定数は $p$ と階乗を用いて明示的に計算される。
• 拡張に依存しないことの証明は、$x$, $y$, $h$ に関する代数的恒等式と、$O(x^2)$ を modulo として扱う同次性の議論に依拠し、高次の項が消えることを示す。