[论文解读] The dancing metric, $\mathrm G_2$-symmetry and projective rolling

Gil Bor, Luis Hernández Lamoneda+1 more|arXiv (Cornell University)|May 30, 2015

Geometric Analysis and Curvature Flows参考文献 14被引用 5

一句话总结

本文在平面曲线的射影微分几何与签名 (2,2) 的四维伪黎曼共形几何之间建立了深层的几何对应关系，引入了 ℝℙ² 中非关联点-线对空间上的‘共舞度量’。关键贡献在于通过扭量构造揭示了隐藏的 G₂ 对称性，该对称性仅在引入高阶条件（即沿曲线的密切圆锥）时显现，将经典射影滚动（无滑动无扭转）与嘉当的 (2,3,5)-分布及 G₂ 几何联系起来。

ABSTRACT

The "dancing metric" is a pseudo-riemannian metric $\pmb{g}$ of signature $(2,2)$ on the space $M^4$ of non-incident point-line pairs in the real projective plane $\mathbb{RP}^2$. The null-curves of $(M^4,\pmb{g})$ are given by the "dancing condition": the point is moving towards a point on the line, about which the line is turning. We establish a dictionary between classical projective geometry (incidence, cross ratio, projective duality, projective invariants of plane curves...) and pseudo-riemannian 4-dimensional conformal geometry (null-curves and geodesics, parallel transport, self-dual null 2-planes, the Weyl curvature,...). There is also an unexpected bonus: by applying a twistor construction to $(M^4,\pmb{g})$, a $\mathrm G_2$-symmetry emerges, hidden deep in classical projective geometry. To uncover this symmetry, one needs to refine the "dancing condition" by a higher-order condition, expressed in terms of the osculating conic along a plane curve. The outcome is a correspondence between curves in the projective plane and its dual, a projective geometry analog of the more familiar "rolling without slipping and twisting" for a pair of riemannian surfaces.

研究动机与目标

• 建立经典射影几何与签名 (2,2) 的四维伪黎曼共形几何之间的几何词典。
• 通过用高阶密切圆锥数据精炼‘共舞条件’，在经典射影几何中揭示隐藏的 G₂ 对称性。
• 证明五维流形上的 (2,3,5)-分布的积分曲线与无滑动无扭转的射影滚动运动相对应。
• 证明共舞度量的扭量构造自然产生 G₂ 结构，揭示经典关联几何中隐藏的深层对称性。

提出的方法

• 作者在 ℝ³,³ 中的五维子流形 Q⁵ ⊂ ℝ⁶ 上定义了一个 (2,3,5)-分布 D，其作为 {p·q = 1} 的水平集，其中 p 和 q 为对偶向量。
• 他们证明由 ODE 系统 p·q′ = 0 和 p′ = q × q′ 定义的曲线是 D 的积分曲线，且在共舞度量 g 下为零测地线。
• 共舞度量 g 通过 ℝℙ² 中非关联点-线对空间 M⁴ 上的伪霍普夫纤维丛构造，具有签名 (2,2)。
• 利用分裂八元数与佐恩的向量矩阵，作者在 Q⁵ 的双重覆盖上构造了 G₂ 结构，揭示了隐藏的 G₂ 对称性。
• 通过嘉当的推广理论，形式化了 ℝℙ² 中曲线及其对偶之间的对应关系，利用密切圆锥定义‘共舞伙伴’与‘平行直线’。
• 通过识别 Q⁵ ≃ ℙC，证明射影滚动中的无滑动与无扭转条件等价于嘉当-恩格尔分布 D 的积分曲线。

实验结果

研究问题

• RQ1 Q⁵ 上的 (2,3,5)-分布如何与实射影平面上及其对偶中曲线的几何相关联？
• RQ2 密切圆锥在精炼‘共舞条件’以揭示隐藏的 G₂ 对称性中起什么作用？
• RQ3 签名 (2,2) 的 M⁴ 上的共舞度量如何编码如交比与射影曲率等射影几何不变量？
• RQ4 无滑动无扭转的射影滚动是否能被 (2,3,5)-分布及其关联的 G₂ 结构完全表征？
• RQ5 共舞度量的扭量纤维丛与 G₂ 对称性出现之间的精确关系为何？

主要发现

• M⁴ 上的共舞度量 g 是一个签名 (2,2) 的伪黎曼度量，其零测地线精确对应于‘共舞条件’：一点朝向绕其旋转的直线上的一点移动。
• Q⁵ 上的 (2,3,5)-分布 D 是定义共舞条件的微分形式的核，且在 SL₃(ℝ) 作用下保持不变，通过嘉当的次极大性定理，其对称代数被简化为 G₂。
• 通过对共舞度量应用扭量构造，在 Q⁵ 的双重覆盖上出现 G₂ 结构，揭示了 G₂ 对称性深深嵌入经典射影几何之中。
• 射影滚动中的无滑动与无扭转条件等价于嘉当-恩格尔分布 D 的积分曲线，建立了滚动运动与共舞几何中零测地线之间的精确对应。
• 通过密切圆锥对 ℝℙ² 中曲线 γ 的发展产生一族曲线 x(t) = [P(u(t))], 其中 u(t) 满足 u′ + 1 = 0，且这些发展曲线在 t = c 处与 γ 相切并形成尖点。
• 对于圆锥曲线 γ，其对偶曲线 γ* 的发展为常数，意味着沿圆锥曲线平行移动一条直线将产生一组共点直线，与无扭转条件一致。