Conformal Einstein spaces and conformally covariant operators

技術要約：共形アインシュタイン空間と共形共変作用素

問題提起
本研究で扱われる中心的な問題は、アインシュタイン空間に共形関連付けられている擬リーマン多様体の特徴付けである。具体的には、多様体 $(M, g_{ab})$ が与えられたとき、スケーリングされた計量 $\tilde{g}_{ab} = \Omega^{-2} g_{ab}$ がアインシュタイン条件 $\tilde{R}_{ab} = \lambda \tilde{g}_{ab}$ を満たすような共形因子 $\Omega$ が存在するかどうかを判定するための必要十分条件を模索している。この問題は、Brinkmann、Schouten、Szekeresによる長い歴史を持ち、特定の文脈（例：非退化なワイルテンソルを持つ4次元ローレンツ多様体におけるKozameh, Newman, Todの研究）においても扱われてきたが、著者らは完全に一般的かつアルゴリズム的な手法を提供することを目指している。彼らの目標は、ワイル端射の可逆性に関する制限を取り除き、任意の次元 $D \geq 3$ へとフレームワークを拡張することである。

方法論
著者らは、計量共伴量（計量、その逆、およびレヴィ＝チヴィタ接続を通じて定義される量）のフレームワークと、C-接続と呼ばれる特殊な微分構造を採用している。

1. 共形共変微分: 本論文では、共形共変な計量共伴量を他の共形共変な共伴量へと写像するように設計された新しい微分作用素 $D_a$ を導入している。この作用素は、ベクトル場 $\Upsilon_a = \nabla_a \ln \Omega$ を含む項を加えることで、標準的なレヴィ＝チヴィタ微分を補正する。
2. C-接続: 共形重み $s=0$ と設定することで、著者らはC-接続 ($C_a$) を定義する。この接続は捩れのない（torsion-free）接続であり、共形不変である。その曲率特性は、基礎となる共形類と直接結びついている。
3. ワイル端射の取り扱い: 端射としてのワイルテンソル $C_{abcd}$ の取り扱いが、手法の重要な構成要素である。
   • 可逆な場合: ワイル端射が可逆である場合、ベクトル $\Upsilon_a$ は物理的および非物理的計量のシュウテンテンソルを用いて一意に孤立させることができる。
   • 非可逆な場合: ワイル端射が特異である場合、著者らはムーア・ペンローズ擬逆行列 ($W^+$) を利用する。これにより、解空間に任意のテンソル $\xi_{abc}$ が導入され、一般化された接続である $C_\xi$-接続が導かれる。
4. アルゴリズム的アプローチ: 導出された条件は、非物理的計量の共伴量（リッチ、シュウテン、ワイルテンソル）とその微分のみを用いて表現されており、共形因子を事前に知ることなく計算によるチェックが可能である。

主要な貢献と結果

• C-接続の一般化: 本論文は、以前は4次元かつ可逆なワイル端射に限定されていたC-接続の構成を、任意の次元 $D \geq 3$ およびワイル端射が特異な場合にまで一般化した。
• 補題 3.1: この基本的な補題は、共形因子の勾配 $\Upsilon_a$ とシュウテンテンソルの間の明示的な関係を与える。これは、可逆な場合（$\Upsilon_a = \Lambda_a - \tilde{\Lambda}_a$）と、擬逆行列と任意のテンソル $\xi$ を含む非可逆な場合（$\Upsilon_a = \Lambda^\xi_a - \tilde{\Lambda}^{\tilde{\xi}}_a$）を区別する。
• 定理 5.1 (可逆なワイルの場合): ワイル端射が可逆であるとき、ある多様体が共形アインシュタインであるための必要十分条件は、C-接続のリッチテンソル $R_{ab}$ が以下の条件を満たすことである：
  1. $R_{[ab]} = 0$ （対称性）
  2. $R_{(ab)} - \frac{1}{D} g_{ab} R = 0$ （トレースレス条件）
     これらの条件は、非物理的計量の共伴量に対する純粋に代数的および微分的な制約である。
• 定理 5.3 (非可逆なワイルの場合): 特異なワイル端射を持つ場合、ある多様体が共形アインシュタインであるための必要十分条件は、対応する $C_\xi$-接続が、定理 5.1 と同様の対称性およびトレースレス条件を満たし、かつ擬逆行列の性質から導かれる追加の適合条件（式 62）に従うようなテンソル $\xi_{abc}$ が存在することである。
• 共形共変作用素: 本論文では、任意のランクのテンソルに作用する、一連の共形共変擬微分作用素 $D^{s,(p,q)}_a$ を構築している。これらの作用素は、共形ラプラシアンやパネッツ作用素を一般化したものであり、共形共変微分に関する統一的なフレームワークを提供する。

応用と例
著者らは、以下の3つの具体的な例を通じて、自身の理論的フレームワークを検証している。

1. 共形平坦空間: 平坦な多様体（ワイルテンソルが消滅する場合）に形式を適用している。結果として、共形平坦空間の既知の性質を回収し、任意のテンソル $\xi$ を用いて作用素を明示的に定義している。
2. ロビンソン–トラウトマン時空: ロビンソン–トラウトマン型の解のクラスに条件を適用している。これらの時空が共形アインシュタインであるために必要な、計量関数 $H(u,r)$ および $P(u)$ に対する具体的な微分制約を導出し、これらの時空におけるアルゴリズム的な有用性を実証している。
3. 平面波（ブリンクマン計量）: 4次元の平面波を分析している。これにより、これらの時空が共形アインシュタインであるための条件が、ワイルテンソルの発散の消滅（$\nabla_a C^{abcd} = 0$）に帰着することを示し、これは波形関数 $H$ の横方向変数に関する調和性と等価である。これは、先行研究（例：[18]）との整合性を確認すると同時に、特異なワイルの場合を扱う新形式の強力さを実証している。

意義と主張
本論文は、時空が共形アインシュタインであるかどうかを判定するための、完全に一般的、系統的、かつ計算可能な手法を提供すると主張している。ワイルの可逆性の制限を取り除き、C-接続（およびその特異な対応物である $C_\xi$）を利用することで、著者らは任意の次元で機能する統一的なアプローチを提示している。その意義は、条件を非物理的計量の共伴量のみで定式化できる点にあり、これによりアルゴリズムによる検証が可能となっている。また、本研究は、曲率指定問題や高次元理論における幾何学的不変の研究に独立した関心を持つ、一連の共形共変作用素を構築することを通じて、共形幾何学の分野全般に貢献している。