[论文解读] Quaternionic contact normal coordinates

Christopher S. Kunkel|ArXiv.org|Jul 2, 2008

Geometric Analysis and Curvature Flows参考文献 3被引用 7

一句话总结

本文在四元数接触流形上引入了四元数接触伪Hermitian正规坐标系，利用抛物型缩放结构简化了某一点处Biquard联络的扭量与曲率。证明了在适当的共形变换下，曲率-扭量张量的所有对称协变导数（至N阶）均可在中心点处消失，为解决四元数接触Yamabe问题提供了关键步骤。

ABSTRACT

This paper constructs a family of coordinate systems about a point on a quaternionic contact manifold, called quaternionic contact pseudohermitian normal coordinates. Once defined, conformal variations of the quaternionic contact structure induce changes on the coordinates which are studied in an effort to simplify the torsion and curvature at the center point.

研究动机与目标

• 在四元数接触流形上构造一种坐标系，以简化某一点附近的几何不变量——扭量与曲率。
• 通过引入切空间的自然抛物型膨胀结构，将黎曼正规坐标系推广至抛物型、四元数情形。
• 通过共形变换规范化结构，为解决四元数接触Yamabe问题提供基础工具。
• 证明共形变分可用于消除某一点处曲率与扭量张量的高阶对称协变导数。
• 利用Sp(n)Sp(1)不变性，在原点处建立度量、接触形式与联络1-形式的唯一正规形式。

提出的方法

• 通过满足具有水平与竖直分布初始条件的二阶协变测地线方程的曲线，定义广义指数映射。
• 该方法依赖于线性联络及切丛在互补分布H与V上的分解，从而实现抛物型缩放律：Ψ(tX, t²Y) = γ(X,Y)(t)。
• 抛物型正规坐标系的定义满足：在中心点q处，度量为欧氏度量，接触形式与四元数Heisenberg群一致，联络1-形式消失。
• 通过在q点处使用特殊标架，定义在Sp(n)Sp(1)变换下不变的坐标。
• 分析伪Hermitian结构的共形变换，通过张量Q的对称协变导数控制曲率与扭量张量的行为。
• 应用代数与微分Bianchi恒等式，将曲率张量与几乎复结构及Levi-Civita符号收缩，证明某些组合在q点处消失。

实验结果

研究问题

• RQ1 能否在四元数接触流形上构造一种坐标系，使得在某一点处几何不变量（度量、接触形式、联络）被简化？
• RQ2 伪Hermitian结构的共形变分如何影响某一点邻域内Biquard联络的曲率与扭量？
• RQ3 是否可选取一个共形因子，使得曲率-扭量张量Q的所有至N阶对称协变导数在中心点处消失？
• RQ4 抛物型缩放结构在定义四元数接触流形正规坐标系中起何种作用？
• RQ5 所得正规坐标在多大程度上是唯一的？它们在Sp(n)Sp(1)作用下的变换规律如何？

主要发现

• 在QC流形上任意点q的邻域内，四元数接触伪Hermitian正规坐标系存在，且在q点处度量、接触形式与联络1-形式均取标准形式。
• 这些坐标满足抛物型缩放律：Ψ(tX, t²Y) = γ(X,Y)(t)，反映了切空间内在的抛物几何结构。
• 任意两个以q为中心的此类坐标系之间，由Sp(n)Sp(1)中的唯一线性变换关联，确保在对称性下唯一。
• 对任意N ≥ 2，存在一种伪Hermitian结构的选择，使得张量Q的所有总阶数≤N的对称协变导数在q点处消失。
• 在q点处共形因子的1阶喷射可自由选取，而共形因子的完整泰勒级数随后由消失条件唯一确定。
• 项A、B、C与D——曲率的二阶协变导数与几乎复结构及ε-指标收缩所得的组合——由于Bianchi恒等式及低阶项的预先消失，于q点处恒为零。