[論文レビュー] Differential equations and para-CR structures

C. Denson Hill, Paweł Nurowski|ArXiv.org|Sep 14, 2009

Holomorphic and Operator Theory参考文献 10被引用数 9

ひとこと要約

本稿は、常微分方程式および偏微分方程式の系と、para-CR構造との間の対応関係を確立し、複素構造を実の自己同型作用素に置き換えることで、CR幾何学を一般化する幾何的枠組みを導入する。タイプ (1,1,n−1) のpara-CR構造に対して局所不変量を導出し、解空間上に共形的エインシュタイン計量を構成する。特に、タイプ (3,2,1) のpara-CR構造に対して、スピン符号性を持つリッチ平坦で共形的に非平坦なpp波に類似した計量を同定する。

ABSTRACT

We discuss relations between the para-CR structures and differential equations (both ODEs and PDEs of finite type).

研究の動機と目的

• ODEおよびPDEの一般解を点変換を用いてpara-CR構造と結びつける幾何的枠組みを構築すること。
• 複素構造を実の自己同型作用素に置き換えることで、固有空間の次元が不等である可能性を許容するCR幾何学の一般化を図ること。
• 特に (1,1,2) および (1,1,1) のタイプについて、タイプ (1,1,n−1) のpara-CR構造の分類および局所不変量の計算を行うこと。
• PDE系の解空間上に共形的エインシュタイン計量が存在するかを検討すること、特にタイプ (3,2,1) のpara-CR構造に対して。
• このような計量が共形的に平坦またはリッチ平坦である条件を同定し、一般相対性理論における既知の解と関連付けること。

提案手法

• ジェット空間内のODEおよびPDEの一般解の超曲面から、点変換を法としてpara-CR構造を構成する。
• 接バンドル上に実の自己同型作用素 $ K $ を定義し、$ K^2 = \text{id} $ を満たすことで、水平分布を $ H^+ $ および $ H^- $ の固有空間に分解する。
• カルタンの移動標架法およびカルタンの正規共形接続を用いて、解空間上の共形計量の曲率不変量を計算する。
• 解ジェット空間 $ \tilde{\frak{J}} $ 上に6次形式の双対標架を導出し、関数 $ r(s), t(s) $ および共形因子 $ e^{2h} $ を用いて共形計量 $ g $ を表現する。
• 曲率成分 $ \tilde{\frak{R}} $ を $ r^{(3)}, t^{(3)} $ および $ (r't')' $ の微分の関数として計算し、共形平坦性の条件を導出する。
• 計量 $ g = e^{2h}g_0 $ がリッチ平坦であるための条件を、$ r^{(3)}, t^{(3)} $ および $ r't' $ の微分の明示的表現を用いて、$ h(s) $ に関する2階常微分方程式を解くことで得る。

実験結果

リサーチクエスチョン

• RQ1 タイプ (1,1,2) のpara-CR構造の局所不変量は何か？ また、タイプ (1,1,1) のそれとはどのように異なるか？
• RQ2 タイプ (3,2,1) のPDE系の解空間上の共形計量が共形的に平坦であるための条件は何か？
• RQ3 PDE $ z_{xx} = R $, $ z_{yy} = T $ の解空間上に共形的エインシュタイン計量を構成できるか？ また、それらがリッチ平坦である条件は何か？
• RQ4 タイプ (3,2,1) のpara-CR構造に関連する共形計量のペトロフ型は何か？ また、符号性に依存してどのように変化するか？
• RQ5 タイプ (3,2,1) のpara-CRクラスにおいて、リッチ平坦なpp波例以外の非pp波的で共形的エインシュタイン的で、かつ非平坦な計量は存在するか？

主な発見

• タイプ (3,2,1) のpara-CR構造の解空間上の共形計量は、$ 1 - r't' > 0 $ であればスピン符号性を示し、$ 1 - r't' < 0 $ であればローレンツ符号性を示す。
• 計量が共形的に平坦であるための必要十分条件は、$ Z_1 \triangleq \frac{2(r't' - 1)r^{(3)} - 3r''(r't')'}{4(1 - r't')^2} \triangleq 0 $ および $ Z_2 \triangleq \frac{2(r't' - 1)t^{(3)} - 3t''(r't')'}{4(1 - r't')^2} \triangleq 0 $ が成り立つことであり、これは $ r(s) $ および $ t(s) $ に関する3階常微分方程式系に帰着する。
• 計量 $ g = e^{2h}g_0 $ がリッチ平坦であるための条件は、$ h(s) $ が次の2階常微分方程式を満たすことである： $$ h'' = h'^2 - \frac{(r't')'}{1 - r't'}h' + \frac{2(r^{(3)}t' + t^{(3)}r')(1 - r't') + 2r''t'' + 4r't'r''t'' + 3t'^2r''^2 + 3r'^2t''^2}{8(1 - r't')^2}. $$
• リッチ平坦計量は、スピン符号性ではペトロフ型 $ N \bigoplus N' $、ローレンツ符号性では $ N \bigoplus \bar{N} $ を示し、$ \frac{\text{d}}{\text{d}z} $ に沿った共変的に定数な零方向を有する。
• これらの計量は一般に共形的に非平坦であり、ローレンツ符号性ではpp波解を含み、スピン符号性の一部のpp波解はpara-CR構造から導出可能である。
• このような計量の存在は、自然な共形的エインシュタイン的で非平坦かつpp波に類似した幾何構造のクラスを、para-CR枠組みにおいて提示する。零対称性によりホロノミー群が低次元化される。