[论文解读] 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,n−1)型para-CR结构进行分类并计算其局部不变量，特别是(1,1,2)和(1,1,1)型。
• 探索PDE解空间上共形爱因斯坦度量的存在性，尤其针对(3,2,1)型para-CR结构。
• 识别此类度量共形平坦或里奇平坦的条件，并将其与广义相对论中的已知解联系起来。

提出的方法

• 在喷从空间中，通过点变换模去，从ODE和PDE的一般解超曲面构造para-CR结构。
• 通过切丛上的实对合算子$ K $定义para-CR结构，满足$ K^2 = ext{id} $，将水平分布分裂为$ H^+ $和$ H^- $特征子空间。
• 使用移动标架法和Cartan正规共形联络，计算解空间上共形度量的曲率不变量。
• 在解喷从空间$ ilde{rak{J}} $上构造一个6-形式标架，用函数$ r(s), t(s) $和共因子$ e^{2h} $表达共形度量$ g $。
• 以$ r^{(3)}, t^{(3)} $和$ (r't')' $的导数表示曲率分量$ ilde{rak{R}} $，从而导出共形平坦的条件。
• 求解关于$ h(s) $的二阶ODE，以确定度量$ g = e^{2h}g_0 $为里奇平坦的条件，使用涉及$ r^{(3)}, t^{(3)} $及$ r't' $导数的显式表达式。

实验结果

研究问题

• RQ1 对于(1,1,2)型para-CR结构，其局部不变量是什么？与(1,1,1)型有何不同？
• RQ2 当PDE系统为(3,2,1)型时，其解空间上的共形度量在何种条件下是共形平坦的？
• RQ3 能否在PDE$ z_{xx} = R $, $ z_{yy} = T $的解空间上构造共形爱因斯坦度量？在何种条件下它们是里奇平坦的？
• RQ4 与(3,2,1)型para-CR结构相关的共形度量的Petrov类型是什么？其依赖于度量符号的何种关系？
• RQ5 在(3,2,1)型para-CR类中，是否存在非pp-波的共形爱因斯坦度量，超出里奇平坦pp-波例子之外？

主要发现

• 当$ 1 - r't' > 0 $时，(3,2,1)型para-CR结构解空间上的共形度量具有分裂符号；当$ 1 - r't' < 0 $时，其为洛伦兹符号。
• 当且仅当$ Z_1 riangleq rac{2(r't' - 1)r^{(3)} - 3r''(r't')'}{4(1 - r't')^2} riangleq 0 $且$ Z_2 riangleq rac{2(r't' - 1)t^{(3)} - 3t''(r't')'}{4(1 - r't')^2} riangleq 0 $时，该度量为共形平坦，这等价于$ r(s) $和$ t(s) $的三阶ODE系统。
• 当$ h(s) $满足如下二阶ODE时，度量$ g = e^{2h}g_0 $为里奇平坦：$$ h'' = h'^2 - rac{(r't')'}{1 - r't'}h' + rac{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} $$
• 里奇平坦度量在分裂符号下为Petrov类型$ N igoplus N' $，在洛伦兹符号下为$ N igoplus ar{N} $，且具有一个协变常数的零方向，与$ rac{ ext{d}}{ ext{d}z} $对齐。
• 这些度量在一般情况下为共形非平坦，并包括洛伦兹情形下的$ pp $-波解，且存在一类来自para-CR结构的分裂符号$ pp $-波。
• 此类度量的存在表明，在para-CR框架下存在一类自然的共形爱因斯坦、非平坦、$ pp $-波类几何，其全息性因零对称性而降低。