[论文解读] 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$ 作用下的轨道，其中 $G$ 是基本张量的稳定化子，而 $H = \mathrm{GL}(2)\times\mathrm{GL}(3)\times\mathrm{GL}(3)$。
• 通过研究代表性张量 $A$ 的第一收缩空间的秩分布 $r_1(A)$，以及线性无关的秩一分量数量等不变量，实现分类。
• 证明依赖于与域无关的几何推理，避免了在有限域上失效的拓扑或代数方法，并使用由对称和反对称双线性型导出的规范形式。
• 对于有限域，通过分析某些多项式在 $\mathbb{F}$ 上的非零性完成分类，例如对所有 $\lambda \in \mathbb{F}$ 满足 $v\lambda^2 + uv\lambda - 1 \neq 0$。
• 作者为每个轨道推导出显式的规范形式，使用 $\mathbb{F}^3$ 的固定基 $e_1,e_2,e_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{C}$ 和实数域 $\mathbb{R}$ 上的已知结果，并修正了先前工作中在偶特征有限域上的不一致之处。
• 该结果使得对任意 $r$ 的 $\mathbb{F}^2\otimes\mathbb{F}^3\otimes\mathbb{F}^r$ 中轨道的完整分类成为可能，如即将发表的工作 [11] 所述。