Smooth Quasi--Einstein Lifts of Locally Embeddable Three-Dimensional CR Manifolds

技術要約：局所的に埋め込み可能な3次元CR多様体の滑らかな準アインシュタイン・リフト

問題提起
本論文は、微分幾何学における局所的なリフト問題、すなわち、どのような3次元コーシー・リーマン（CR）構造が、準アインシュタイン方程式を満たす4次元ローレンツ計量を許容するかを決定する問題を扱っている。具体的には、以下の条件を満たす計量 $g$ の構成を目的とする：
$$\text{Ric}(g) = \Lambda g + \Phi \lambda \otimes \lambda$$
ここで、$\Lambda \in \mathbb{R}$ は宇宙定数、$\lambda$ はCR接触形式のプルバック、$\Phi$ は純放射を表す滑らかな実関数である。この計量は、測地線的、剪断フリー（shearfree）、かつ回転（twisting）を持つヌル・コングルーエンス（null congruence）を有し、そのワイル・テンソルはペトロフ型IIまたはDである。

実解析的なCR多様体に対しては、Hill, Lewandowski, および Nu序 [10] によって実解析的なバージョンのこのリフト定理が確立されているが、滑らかな（$C^\infty$）範疇への拡張は未解決の予想として残されていた。主な障害は、CR多様体上の非線形偏微分方程式（PDE）である、簡約されたスカラー曲率方程式に対する正の滑らかな解の局所的な存在証明の欠如であった。先行する滑らかな結果 [7, 6] は、対称性によって2次元の商への楕円的な簡約が可能となるササキ（Sasakian）の設定に限定されていた。本論文は、このササキ対称性の仮定を取り除き、一般的な滑らかな、局所的にCR埋め込み可能な、厳密に擬凸な3次元CR多様体に対してこの結果を証明することを目的としている。

手法
証明は、曲率の簡約戦略と、それに続く新しい解析的な存在論的議論によって進められる：

1. 幾何学的簡約:

   • 著者らは、4次元における回転を持つ剪断フリーなヌル・コングルーエンスと、3次元のCR構造との間の対応関係を利用している。
   • 局所的なCR関数 $\zeta$ に対して $\mu = d\zeta$ となる正規化されたCR余枠 $(\mu, \lambda)$ を固定することで、準アインシュタイン計量の曲率条件は、基底多様体上の方程式系へと簡約される。
   • この系は、補助的な複素関数 $t$ に関する1階方程式と、正の実関数 $p$ に関する2階半線形方程式へとデカップリングされる。
   • 著者は補助関数を $t \equiv 0$、位相を $s=0$ と設定し、系を単純化する。ワイル・スカラー $\Psi_2$ に関する条件は、複素関数 $m$ に関する1階の制約条件を解くことを要求するが、これは埋め込みデータから $m$ を構成することによって満たされる。
   • 核心となる問題は、正の実関数 $p > 0$ に対して式 (2.14) を解くことに帰着する：
     $$\left[ \partial\bar{\partial} + \bar{\partial}\partial + \bar{c}\partial + c\bar{\partial} + \frac{1}{2}|c|^2 + \frac{3}{4}(\partial\bar{c} + \bar{\partial}c) \right] p = \frac{m + \bar{m}}{p^3} + \frac{2}{3}\Lambda p^3$$
     ここで、左辺の作用素は（ブラケット条件を満たすベクトル場の平方和である）接触作用素であり、滑らかなドリフト項を持つ。右辺は、$p$ の3乗および逆3乗に依存する非線形項を含んでいる。

2. 解析的存在論的議論:

   • 本論文は、この簡約された半線形方程式の $C^\infty$ 範疇における局所的な可解性を確立している。
   • 正則性: レマ 3.1 は、接触作用素（[14] に基づく）の劣楕円的正則性理論を利用している。これは、解の範囲がドメイン内のコンパクトな部分区間に留まる限り、いかなる有界な分布解も滑らかであることを示している。
   • 縮小写像による存在証明: 定理 3.2 は、固定点引数を用いて $L^\infty$ における解を構成する。
     • 著者は、[4] から導かれた、線形化された接触作用素の局所的な基本解 $\gamma(x, y)$ を用いる。
     • 主要な評価により、制御球 $B_\epsilon$ 上での基本解に関連する積分作用素の $L^\infty$ ノルムが $O(\epsilon^2)$ のオーダーであることが示される。
     • $\epsilon$ を十分に小さく選択することで、積分方程式によって定義される非線形写像が、指定された正の定数 $p^*$ の周りで $L^\infty$ における縮小写像となる。
     • この縮小性は、解 $p$ がゼロから一様に離れて存在すること（具体的には $p > p^*/2$）を保証し、計量構成における正値性の要求を満たす。
   • ブートストラップ: 有界な分布解が得られた後、劣楕円的正則性（レマ 3.1）を反復的に適用することで、解を $C^\infty$ へとブートストラップアップする。

主要な貢献と結果
主要な結果は定理 1.1 である：
$(M^3, D, J)$ を滑らかな、局所的に埋め込み可能な、厳密に擬凸なCR多様体とする。任意の点 $x_0 \in M$、任意の実宇宙定数 $\Lambda$、および任意の正の定数 $p^*$ に対して、点 $x_0$ の近傍 $U$ と区間 $I$ が存在し、次を満たす滑らかなローレンツ計量 $g$ が $U \times I$ 上に存在する。この計量は：

• 準アインシュタイン方程式 (1.1) を満たす。
• $\partial_r$ によって生成されるヌル・コングルーエンスは、測地線的、剪断フリー、かつ回転を持つ。
• ワイル・テンソルはペトロフ型IIまたはDである（具体的には $\Psi_0 = \Psi_1 = 0$ かつ $\Psi_2 \neq 0$）。
• $|p - p^*| \leq \delta$ を満たす正の滑らかな関数 $p$ から構成される。

この構成は、必要な余枠および関数 $m$ を定義するために局所的なCR埋め込みに依存しているが、大域的な対称性（ササキ条件）は必要としない。

意義
本論文は、[10, Remark 3.25] で提起された、準アインシュタイン・リフト定理を実解析的な範疇から滑らかな範疇へと拡張するという予想を解決したと主張している。

• 一般化: 対称性の仮則（楕円的簡約を可能にするもの）を必要とせず、ササキ設定を超えて局所的なリフトの結果を拡張している。
• 解析的突破口: 滑らかな範疇における簡約されたスカラー曲率方程式の局所的可解性を確立するという、欠落していたステップを提供した。その手法は、$L^\infty$ 縮小評価（基本解の $O(\epsilon^2)$ 境界を利用）と劣楕円的正則性を組み合わせたものであり、対称的なケースで使用される楕円的手法とは異なる。
• 堅牢性: 結果は任意の（符号の制限のない）実宇宙定数 $\Lambda$ に対して成立し、あらゆる滑らかな、局所的に埋め込み可能な、厳密に擬凸なCR構造に適用される。

本論文は新しい物理的応用や将来の実験的提案を提示するものではなく、その貢献は純粋に数学的であり、CR幾何学とローレンツ重力の間の幾何学的構造の存在と正則性に焦点を当てている。