[论文解读] Metrisability of three-dimensional projective structures

Michael Eastwood|arXiv (Cornell University)|Dec 17, 2017

Algebraic Geometry and Number Theory参考文献 12被引用 27

一句话总结

本文通过推导 torsion-free 连接与非退化度量的 Levi-Civita 连接之间在射影等价性下的必要且充分的局部条件，解决了通用三维射影结构的度量化问题。研究确立了射影不变张量 $ Q_{ab}{}^c $ 的消失是主要障碍，并在通用性假设下，进一步通过满足度量化方程 $ (\nabla_a \sigma^{bc})_\circ = 0 $ 的对称张量 $ \sigma^{ab} $ 的附加条件，完全刻画了度量化性质，从而解决了射影几何中长期存在的问题。

ABSTRACT

We solve the metrisability problem for generic three-dimensional projective structures.

研究动机与目标

• 确定通用三维 torsion-free 连接在何种局部条件下射影等价于非退化度量的 Levi-Civita 连接。
• 解决三维空间中的度量化问题，其结构与二维情况有本质不同。
• 在通用性假设下，识别并分析 $ Q_{ab}{}^c $ 消失条件之外的高阶障碍。
• 确立度量化方程 $ (\nabla_a \sigma^{bc})_\circ = 0 $ 的解空间受线性无关性与常系数约束，从而实现完全刻画。

提出的方法

• 本文使用度量化方程 $ (\nabla_a \sigma^{bc})_\circ = 0 $，其中对称张量 $ \sigma^{bc} $ 的协变导数的无迹部分必须消失。
• 利用射影不变的 Weyl 张量 $ V^{ab}{}_c $，其定义为 $ 2\epsilon^{de(a}\nabla_d\nabla_e X^{b)} = V^{ab}{}_c X^c $，推导出主要障碍 $ Q_{ab}{}^c = \epsilon_{pq(a} V^{pr}{}_{b)} V^{qc}{}_r $。
• 通过在对称矩阵上的线性代数分析度量化方程的解空间，关键引理表明：若解在每一点处线性无关，则其线性组合必须具有常系数。
• 本文引入对称矩阵的线性族 $ \{sN + tH\} $，通过三次多项式 $ \chi(s,t) = \det(sH^{-1}N + t\,{\rm Id}) $ 的判别式分析其正则性，并在正则性下建立此类线性族的规范形式。
• 利用 $ \mathrm{SL}(3,\mathbb{R}) $ 的最高权理论与表示论，对射影结构下对称二阶张量空间的不可约分量进行分类。
• 为正则线性族构造了光滑规范形式 $ (N, \xi, H) $，满足 $ N\xi = 0 $ 且 $ \mathrm{trace}(H^{-1}N) = 0 $，从而实现对解空间的统一处理。

实验结果

研究问题

• RQ1 对于通用三维射影结构，其度量化（即存在一个度量，其测地线与给定连接的无参数化曲线一致）的必要且充分局部条件是什么？
• RQ2 在 $ Q_{ab}{}^c $ 消失条件之外的高阶障碍如何影响度量化问题？在通用性假设下，这些障碍能否被完全刻画？
• RQ3 度量化方程 $ (\nabla_a \sigma^{bc})_\circ = 0 $ 的解空间结构如何？在非退化性约束下，解的线性组合行为如何？
• RQ4 能否对正则对称矩阵线性族 $ \{sN + tH\} $ 进行光滑规范化，使得 $ \mathrm{trace}(H^{-1}N) = 0 $？这对度量化条件意味着什么？

主要发现

• 射影不变张量 $ Q_{ab}{}^c $ 的消失是三维空间中度量化的主要障碍，该条件在一般条件下是必要的但不充分的。
• 在通用性假设下，度量化问题完全可解当且仅当存在一个非退化的对称张量 $ \sigma^{ab} $ 满足 $ (\nabla_a \sigma^{bc})_\circ = 0 $，且解空间受线性无关性与常系数约束。
• 度量化方程的解空间至多为二维，且任意两个线性无关解的线性组合必须具有常系数，如引理 2 所示。
• 对于正则线性族 $ \{sN + tH\} $ 的对称矩阵，存在一个光滑规范形式 $ (N, \xi, H) $ 满足 $ N\xi = 0 $ 且 $ \mathrm{trace}(H^{-1}N) = 0 $，这保证了唯一规范形式的存在性，并且其依赖于线性族的光滑性。
• 三次多项式 $ \chi(s,t) = \det(sH^{-1}N + t\,{\rm Id}) $ 在 $ \mathbb{CP}^1 $ 中有三个相异根，当且仅当线性族是正则的，且该正则性条件与非退化 $ H $ 的选择无关。
• 在不定度量情形下，$ H $ 与 $ N $ 的规范形式被分为四类互斥类型，包括对角型与若尔当代数型，并为每种情形提供了显式表达式。