[論文レビュー] Canonical forms of $2 imes 3 imes 3$ tensors over the real field, algebraically closed fields, and finite fields

Michel Lavrauw, John Sheekey|arXiv (Cornell University)|Nov 21, 2014

Finite Group Theory Research参考文献 5被引用数 3

ひとこと要約

この論文は、有限体、実数、代数閉体の上での $2\times3\times3$ テンソルの軌道を、$G = \mathrm{GL}(2)\times\mathrm{GL}(3)\times\mathrm{GL}(3)$ および $H = \mathrm{GL}(2)\times\mathrm{GL}(3)\times\mathrm{GL}(3)$ の作用に関して、セグレ埋め込みに基づく幾何的手法を用いて分類する。主な結果は完全な列挙である：有限体上では $H$-軌道が21個、$G$-軌道が18個、代数閉体上では $H$-軌道が18個、$G$-軌道が15個、実数上では $H$-軌道が20個、$G$-軌道が17個であり、それぞれの軌道に対して明示的な標準形が与えられている。

ABSTRACT

We classify the orbits of elements of the tensor product spaces ${\mathbb{F}}^2\otimes {\mathbb{F}}^3 \otimes {\mathbb{F}}^3$ for all finite; real; and algebraically closed fields under the action of two natural groups. The result can also be interpreted as the classification of the orbits in the $17$-dimensional projective space of the Segre variety product of a projective line and two projective planes. This extends the classification of the orbits in the $7$-dimensional projective space of the Segre variety product of three projective lines [M. Lavrauw and J. Sheekey: Orbits of the stabiliser group of the Segre variety product of three projective lines, Finite Fields Appl. (2014)]. The proof is geometric in nature, relies on properties of the Segre embedding, and uses the terminology of projective spaces.

研究の動機と目的

• 有限体、実数、代数閉体の上での $\mathbb{F}^2\otimes\mathbb{F}^3\otimes\mathbb{F}^3$ 内の $2\times3\times3$ テンソルの軌道を $G$ および $H$ の作用に関して分類すること。
• セグレ埋め込みと射影幾何学を用いて、各軌道の幾何的特徴付けを行うこと。
• 特に $2\times2\times2$ の場合の既存の分類を $2\times3\times3$ の場合に拡張し、体に依存しない一貫したアプローチを提供すること。
• 既知の結果（特に $\mathbb{C}$ および $\mathbb{R}$ 上）を回復・再導出し、特に有限体上での先行研究における矛盾や不一致を是正・明確化すること。
• $\mathbb{F}^2\otimes\mathbb{F}^3\otimes\mathbb{F}^r$ のような高次元空間における軌道分類の基盤を築くこと。

提案手法

• 著者たちは、セグレ埋め込み $\sigma_{2,3,3}: \mathrm{PG}(1)\times\mathrm{PG}(2)\times\mathrm{PG}(2) \to \mathrm{PG}(17)$ を用いた幾何的手法を用い、射影空間の積をテンソル積の射影空間へ写像する。
• $G$ は基本的テンソルの安定化部分群であり、$H = \mathrm{GL}(2)\times\mathrm{GL}(3)\times\mathrm{GL}(3)$ である。$G$ および $H$ の作用におけるテンソルの軌道を分析する。
• 分類は、代表的テンソル $A$ の最初の縮約空間のランク分布 $r_1(A)$ および線形独立なランク1成分の数といった不変量を用いて達成される。
• 証明は、有限体上ではトポロジカルまたは代数的技法に依存しない、体に依存しない幾何的推論に立脚しており、対称的および反対称的双一次形式から導かれる標準形が用いられる。
• 有限体の場合、特定の二次および三次多項式が $\mathbb{F}$ 上で恒等的に非零であることを分析することで分類が完了する。たとえば、$v\lambda^2 + uv\lambda - 1 \neq 0$ がすべての $\lambda \in \mathbb{F}$ に対して成り立つこと。
• 各軌道に対して、固定された基底 $e_1,e_2,e_3$ の $\mathbb{F}^3$ およびテンソル $e = e_1\otimes e_1 + e_2\otimes e_2 + e_3\otimes e_3$ を用いて、明示的な標準形が導出されている。

実験結果

リサーチクエスチョン

• RQ1 有限体 $\mathbb{F}$ 上で $\mathbb{F}^2\otimes\mathbb{F}^3\otimes\mathbb{F}^3$ 内の $H$-軌道はいくつ存在し、それらの標準形は何か？
• RQ2 代数閉体上での $\mathbb{F}^2\otimes\mathbb{F}^3\otimes\mathbb{F}^3$ 内の $G$-軌道の数は何か？また、$H$-軌道とはどのように異なるか？
• RQ3 実数上での $2\times3\times3$ テンソルの軌道分類は、有限体および代数閉体上での分類とどのように比較できるか？
• RQ4 複素数的または位相的技法に依存せずに、有限体上での $2\times3\times3$ テンソルの標準形を導出できるか？
• RQ5 $\mathbb{F}^2\otimes\mathbb{F}^3\otimes\mathbb{F}^3$ 内の $G$-軌道と、$2\times2\times3$ の部分ケースにおける $G$-軌道との関係は何か？

主な発見

• 有限体上では、$\mathbb{F}^2\otimes\mathbb{F}^3\otimes\mathbb{F}^3$ 内に正確に21個の $H$-軌道と18個の $G$-軌道が存在し、それぞれの標準形が明示的に列挙されている。
• 代数閉体上では、正確に18個の $H$-軌道と15個の $G$-軌道が存在し、すべての代数閉体に拡張可能な分類が確認された。
• 実数上では、正確に20個の $H$-軌道と17個の $G$-軌道が存在し、実数上の双一次形式の豊かな構造と符号数不変量が反映されている。
• 標準形はランク分布 $r_1(A)$ および体固有の条件（たとえば、$\mathbb{F}$ 上で恒等的に非零である二次または三次多項式）を用いて導出されている。
• 分類は、$\mathbb{C}$ および $\mathbb{R}$ 上で既知の結果を回復・再導出し、特に偶数標数の有限体上での先行研究の不一致を是正している。
• 本結果により、任意の $r$ に対して $\mathbb{F}^2\otimes\mathbb{F}^3\otimes\mathbb{F}^r$ 内の軌道の完全な分類が可能となり、今後発表される研究[11]で示唆されている。