[论文解读] Three-Dimensional Projective Geometry with Geometric Algebra

Hongbo Li, Lei Huang+2 more|arXiv (Cornell University)|Jul 11, 2015

Algebraic and Geometric Analysis参考文献 22被引用 7

一句话总结

本文提出了一套基于 Clifford 代数 $\mathcal{C}\ell(3,3)$ 的严格几何代数框架，用于三维射影几何，引入了群 $\mathrm{Pin}^{\mathrm{sp}}(3,3)$，以完整覆盖三维射影变换与对偶性。通过 $\mathfrak{sl}(4)$ 的超螺旋表示，将螺旋理论从刚体运动扩展至一般射影变换，实现了三维射影几何中虚功与叉积的统一代数模型。

ABSTRACT

The line geometric model of 3-D projective geometry has the nice property that the Lie algebra sl(4) of 3-D projective transformations is isomorphic to the bivector algebra of CL(3,3), and line geometry is closely related to the classical screw theory for 3-D rigid-body motions. The canonical homomorphism from SL(4) to Spin(3,3) is not satisfying because it is not surjective, and the projective transformations of negative determinant do induce orthogonal transformations in the Plücker coordinate space of lines. This paper presents our contributions in developing a rigorous and convenient algebraic framework for the study of 3-D projective geometry with Clifford algebra. To overcome the unsatisfying defects of the Plücker correspondence, we propose a group Pin^{sp}(3,3) with Pin(3,3) as its normal subgroup, to quadruple-cover the group of 3-D projective transformations and polarities. We construct spinors in factored form that generate 3-D reflections and rigid-body motions, and extend screw algebra from the Lie algebra of rigid-body motions to other 6-D Lie subalgebras of sl(4), and construct the corresponding cross products and virtual works.

研究动机与目标

• 解决 Plücker 对应在将 $SL(4)$ 映射到 $SO_0(3,3)$ 时的局限性，其中标准提升并非满射，且负行列式变换无法诱导正交作用。
• 建立一个一致的代数模型，统一三维射影几何中的线几何、螺旋理论与射影变换，使用几何代数。
• 将此前仅限于 $SE(3)$ 的经典螺旋代数扩展至完整的李代数 $\mathfrak{sl}(4)$，以支持在一般三维射影几何中研究虚功与叉积。
• 构建一个新的群 $\mathrm{Pin}^{\mathrm{sp}}(3,3)$，其对三维射影变换与对偶性的群实现四重覆盖，克服标准 $Spin(3,3)$ 提升的满射性问题。
• 定义 $\mathfrak{sl}(4)$ 的超螺旋表示为五个 $\mathbb{R}^3$ 向量的五元组，通过新颖的叉积运算定义对称李括号。

提出的方法

• 引入群 $\mathrm{Pin}^{\mathrm{sp}}(3,3)$ 作为 $\mathrm{Pin}(3,3)$ 的扩展，旨在完全覆盖三维射影变换与对偶性的群，确保满射性。
• 将 $\mathfrak{sl}(4)$ 的元素表示为 $\Lambda^2(\mathbb{R}^{3,3})$ 中的双矢量，通过将李代数分解为五个三维子空间，定义超螺旋表示。
• 在 $\mathbb{R}^3$ 上定义对称叉积 $\star$ 与对偶乘积 $\odot$，通过复杂的向量运算系统构造超螺旋表示的李括号。
• 推导出超螺旋表示的完整李括号公式 (6.64)，结合 $\star$、$\times$、$\odot$ 以及涉及单位向量 ${\bf e}^{\odot 0}$ 的数量积，确保与 $\mathfrak{sl}(4)$ 结构的相容性。
• 构造可因式分解形式的旋量，用于生成三维反射与刚体运动，通过 $\mathcal{C}\ell(3,3)$ 代数中的旋量作用实现几何变换。
• 将虚功的概念从 $\mathbb{R}^{3,3}$ 中的力偶与速度的内积关系，扩展至一般射影运动，通过在完整 $\mathfrak{sl}(4)$ 代数上定义一致的内积与叉积结构。

实验结果

研究问题

• RQ1 如何改进 Plücker 对应，使其在几何代数框架下完整覆盖所有三维射影变换，包括负行列式变换？
• RQ2 螺旋理论是否可被推广至包含所有三维射影变换，使用统一的代数结构，而不仅限于 $SE(3)$？
• RQ3 在几何代数中，$\mathfrak{sl}(4)$ 的正确李代数表示为何？该表示需保持螺旋运动结构并支持一致的叉积运算？
• RQ4 如何构造一个群，使其对三维射影变换群实现四重覆盖，同时保持 $\mathbb{R}^{3,3}$ 线空间的正交结构？
• RQ5 超螺旋表示的 $\mathfrak{sl}(4)$ 李括号的显式形式为何？其以五个 $\mathbb{R}^3$ 向量的五元组及其代数运算表示？

主要发现

• 本文构造了一个新群 $\mathrm{Pin}^{\mathrm{sp}}(3,3)$，其对三维射影变换与对偶性的群实现四重覆盖，解决了标准 $Spin(3,3)$ 提升的非满射问题。
• 定义了 $\mathfrak{sl}(4)$ 的超螺旋表示为五个 $\mathbb{R}^3$ 向量的五元组，实现了完整 15 维李代数的几何代数实现。
• 通过结合对称叉积 $\star$、向量叉积 $\times$ 与对偶乘积 $\odot$，显式计算出超螺旋表示的李括号，得到闭式表达式 (6.64)。
• 所得超螺旋表示支持一致的虚功形式化，通过将经典力偶-速度内积扩展至完整的 $\mathfrak{sl}(4)$ 代数。
• 该方法使螺旋代数得以超越刚体运动，扩展至包含一般射影变换，叉积运算现在在完整的 $SO_0(3,3)$ 群下保持协变性。
• 构造了可因式分解形式的旋量，用于生成三维反射与刚体运动，为 $\mathcal{C}\ell(3,3)$ 代数中的几何变换提供了实用的计算工具。