[論文レビュー] Duality Products of Multivectors and Multiforms, and Extensors

V. V. Fernández, A. M. Moya+2 more|ArXiv.org|Mar 18, 2007

Algebraic and Geometric Analysis参考文献 5被引用数 4

ひとこと要約

本稿は、有限次元実ベクトル空間 V 上の multivector と multiform の間の双対性積について包括的な代数的枠組みを構築し、k-multivector および l-multiform 変数 extensor を導入する。空間 $ ext{ext}_k^l(V)$ および $ ext{ext}_k^{l*}(V)$ 上で、外積、随伴および拡張作用素といった主要な演算を確立し、$ ext{ext}_k^l(V)$ と $ ext{ext}_k^{l*}(V)$ 上の一般化作用素 $ abla$ などの性質を詳細に記述することで、任意の接続を持つ多様体上での微分幾何学の簡素化および強化された形式的体系を可能にする。

ABSTRACT

In this paper we study in details the properties of the duality product of multivectors and multiforms (used in the definition of the hyperbolic Clifford algebra of multivefors) and introduce the theory of the k multivector and l multiform variables multivector (or multiform) extensors over V studying their properties with considerable detail.

研究の動機と目的

• multivector 空間 $\bigwedge V$ と multiform 空間 $\bigwedge V^*$ 間の双対性積を形式化し、multivefors の双曲的クラッファーブラケット代数を定義するために不可欠である。
• V 上での k-multivector および l-multiform 変数 extensor の体系的理論を構築し、空間 $\text{ext}_k^l(V)$ および $\text{ext}_k^{l*}(V)$ を定義する。
• 外積、随伴、拡張、および一般化作用素手順を含む extensor 上の基本的演算を導入し、それらを研究する。
• 任意の接続を持つ任意の多様体上での微分幾何学の簡素化および改善された記述を、クラッファーバンドル形式的体系を用いて代数的基盤を整える。

提案手法

• 本稿は、$\bigwedge V$ および $\bigwedge V^*$ の要素間の双対性積 $\langle \cdot, \cdot \rangle$ を定義し、双曲的クラッファーブラケット代数 $\mathcal{C}\ell(V \oplus V^*, \langle \cdot, \cdot \rangle)$ におけるその役割を確立する。
• multivector と multiform 間の左および右の収縮積を導入し、それらの代数的性質を明確にする記法を提供する。
• 空間 $\text{ext}_k^l(V)$ および $\text{ext}_k^{l*}(V)$ は、それぞれ k 個の multivector 変数および l 個の multiform 変数を持つ multivector または multiform extensor の空間として定義される。
• extensor の外積が定義され、graded な代数的構造における extensor 場の合成を可能にする。
• 一般化作用素 $\underset{\smile}{\gamma}$ が導入され、$\underset{\smile}{\gamma}(\tau \wedge \sigma) = (\underset{\smile}{\gamma}\tau) \wedge \sigma + \tau \wedge (\underset{\smile}{\gamma}\sigma)$ といった性質を有し、代数的構造と整合性を保つ。
• 随伴および拡張作用素が明確に定義され、双対性および収縮の下での変換則を詳細に検討する。

実験結果

リサーチクエスチョン

• RQ1 multivector と multiform 間の双対性積を、multivefors の双曲的クラッファーブラケット代数の構成を支援する体系的かつ形式的な方法でどのように定式化できるか。
• RQ2 $\bigwedge V$ および $\bigwedge V^*$ の要素間の左および右の収縮積の代数的性質は何か。それらは一般化作用素を定義するためにどのように利用できるか。
• RQ3 k 個の multivector 変数および l 個の multiform 変数を持つ extensor 場を、外積や随伴といった演算を用いて代数的にどのように構築し、操作できるか。
• RQ4 $\underset{\smile}{\gamma}$ のような一般化作用素が extensor 上に作用する際の変換則は何か。それらは代数的整合性をどのように保っているか。
• RQ5 提案された extensor 計算法は、従来のアプローチに比べ、任意の接続を持つ多様体上での微分幾何学の形式的体系をどのように改善・簡素化するか。

主な発見

• multivector と multiform 間の双対性積 $\langle \cdot, \cdot \rangle$ が厳密に定義され、双曲的クラッファーブラケット代数 $\mathcal{C}\ell(V \oplus V^*, \langle \cdot, \cdot \rangle)$ の構造的基盤をなしており、幾何的対象の統一的取り扱いを可能にする。
• 一般化作用素 $\underset{\smile}{\gamma}$ は外積上でのライブニッツ則を満たす：$\underset{\smile}{\gamma}(\tau \wedge \sigma) = (\underset{\smile}{\gamma}\tau) \wedge \sigma + \tau \wedge (\underset{\smile}{\gamma}\sigma)$ であり、extensor 代数と整合性を保つ。
• 随伴および拡張作用素は $\text{ext}_k^l(V)$ および $\text{ext}_k^{l*}(V)$ 上に定義され、双対性および収縮の下での明確な変換則を有し、extensor 場の一貫した操作を可能にする。
• $\underset{\smile}{\gamma}$ が内積に作用する際には $\underset{\smile}{\gamma}\langle \tau, \sigma \rangle = \langle \underset{\smile}{\gamma}\tau, \sigma \rangle - \langle \tau, \underset{\smile}{\gamma}^{\bigtriangleup}\sigma \rangle$ が成り立ち、双対性構造が保たれる。
• extensor 理論は、一貫した変換則と演算の代数的閉包を備えた、任意の多様体上での微分幾何学の強力で簡素化された枠組みを提供する。
• 提示された形式的体系は、従来の multivector および extensor 計算のみを用いたアプローチを一般化・改善し、幾何的解析のためのより体系的かつ計算的に取り扱いやすいツールを提供する。