[論文レビュー] 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)$ を用いて3次元射影幾何学の厳密な幾何代数フレームワークを構築し、3次元射影変換および双対性を完全にカバーするための群 $\mathrm{Pin}^{\mathrm{sp}}(3,3)$ を導入する。$\mathfrak{sl}(4)$ のスーパースクリュー表現を用いてねじ理論を剛体運動から一般射影変換へ拡張し、3次元射影幾何学における仮想仕事と外積の統一的代数的モデルを可能にする。

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.

研究の動機と目的

• SL(4) から SO_0(3,3) へのPlücker対応の限界を解消すること。特に、標準的リフトが全射でなく、負行列式変換が直交作用を誘導しない点を解決する。
• 幾何代数を用いて、直線幾何学、ねじ理論、射影変換を統合する一貫性のある3次元射影幾何学の代数的モデルを確立すること。
• 従来 $SE(3)$ に限定されていた古典的ねじ代数を、全Lie代数 $\mathfrak{sl}(4)$ へ拡張し、一般3次元射影幾何学における仮想仕事と外積の研究を可能にすること。
• 3次元射影変換および双対性の群を4重被覆する新しい群 $\mathrm{Pin}^{\mathrm{sp}}(3,3)$ を構成し、標準的 $Spin(3,3)$ リフトの全射性の問題を克服すること。
• $\mathbb{R}^3$ ベクトルの5重組として定義される $\mathfrak{sl}(4)$ のスーパースクリュー表現を定義し、新しい外積演算を用いた対称Lie括弧を定義すること。

提案手法

• 3次元射影変換および双対性を完全にカバーするように設計された、$\mathrm{Pin}(3,3)$ の拡張としての群 $\mathrm{Pin}^{\mathrm{sp}}(3,3)$ を導入し、全射性を保証する。
• $\mathfrak{sl}(4)$ の要素を $\Lambda^2(\mathbb{R}^{3,3})$ 内の双ベクトルとして表現し、Lie代数を3次元部分空間に5重に分解することでスーパースクリュー表現を定義する。
• $\mathbb{R}^3$ 上に対称外積 $\star$ を定義し、双対積 $\odot$ を用いて、複雑なベクトル演算系を通じてスーパースクリュー表現のLie括弧を構成する。
• スーパースクリュー表現の全Lie括弧式 (6.64) を導出し、$\star$、$\times$、$\odot$、および単位ベクトル ${\bf e}^{\odot 0}$ を含むスカラー積を組み合わせ、$\mathfrak{sl}(4)$ 構造と整合性を保つ。
• $\mathcal{C}\ell(3,3)$ 代数内でのローター作用により、3次元反射および剛体運動を生成する因数分解形のスピンルを構成する。
• $\mathbb{R}^{3,3}$ 内のトルクとねじの仮想仕事の概念を、全 $\mathfrak{sl}(4)$ 代数にわたる一貫性のある内積および外積構造を定義することで、一般射影運動へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 Plücker対応をどのように改善すれば、負行列式を含むすべての3次元射影変換を幾何代数フレームワーク内で完全にカバーできるか？
• RQ2 従来 $SE(3)$ に制限されていたねじ理論を、統一的代数的構造を用いて、すべての3次元射影変換へ一般化できるか？
• RQ3 $\mathfrak{sl}(4)$ の正しい幾何代数的表現は何か？これはねじ運動の構造を保存し、一貫性のある外積を可能にする。
• RQ4 3次元射影変換の群を4重被覆するが、$\mathbb{R}^{3,3}$ 線空間の直交構造を保つ群をどのように構成できるか？
• RQ5 $\mathbb{R}^3$ ベクトルの5重組およびその代数的演算で表される、$\mathfrak{sl}(4)$ のスーパースクリュー表現のLie括弧の明示的形は何か？

主な発見

• 本稿は、3次元射影変換および双対性の群を4重被覆する新しい群 $\mathrm{Pin}^{\mathrm{sp}}(3,3)$ を構築し、標準的 $Spin(3,3)$ リフトの非全射性問題を解決した。
• スーパースクリュー表現としての $\mathfrak{sl}(4)$ は、$\mathbb{R}^3$ ベクトルの5重組として定義され、15次元Lie代数の幾何代数的実現を提供する。
• Lie括弧は、対称外積 $\star$、ベクトル外積 $\times$、双対積 $\odot$ を組み合わせ、式 (6.64) として閉形式で明示的に計算された。
• 得られたスーパースクリュー表現は、全 $\mathfrak{sl}(4)$ 代数に拡張された古典的トルク-ねじ内積を用いた一貫性のある仮想仕事形式をサポートする。
• 本手法により、ねじ代数を剛体運動から一般射影変換へ拡張でき、外積演算が全 $SO_0(3,3)$ 群に関して共変的であることが保証された。
• 因数分解形のスピンルを構成し、3次元反射および剛体運動を生成する。これにより、$\mathcal{C}\ell(3,3)$ 代数内での幾何変換の実用的計算ツールが提供された。