[논문 리뷰] 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)|2014. 11. 21.

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)$ 작용에 대해 세그레 매bedding을 기반으로 한 기하적 방법을 사용하여 분류한다. 주요 결과는 완전한 수록: 유한체 위에서는 21개의 $H$-궤도와 18개의 $G$-궤도, 대수적으로 닫힌 체 위에서는 18개의 $H$-궤도와 15개의 $G$-궤도, 실수 위에서는 20개의 $H$-궤도와 17개의 $G$-궤도이며, 각 궤도에 대해 명시적인 기준형이 제공된다.

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$ 작용에 대해 분류하는 것.
• 세그레 매bedding과 사영 기하학을 사용하여 각 궤도의 기하적 특성화를 제공하는 것.
• 특히 $2\times2\times2$ 경우의 이전 분류를 $2\times3\times3$ 경우로 확장하여 통합적이고 체에 종속되지 않은 접근법을 제공하는 것.
• $\mathbb{C}$ 및 $\mathbb{R}$ 위에서 알려진 결과를 복원하고 재도출하며, 특히 유한체 위에서의 이전 작업의 모순이나 불일치를 수정하거나 명확히 하는 것.
• $\mathbb{F}^2\otimes\mathbb{F}^3\otimes\mathbb{F}^r$ 와 같은 고차원 공간 내 궤도 분류의 기초를 마련하는 것.

제안 방법

• 저자는 세그레 매bedding $\sigma_{2,3,3}: \mathrm{PG}(1)\times\mathrm{PG}(2)\times\mathrm{PG}(2) \to \mathrm{PG}(17)$ 를 기반으로 한 기하 기법을 사용하여, 프로젝티브 공간의 곱을 텐서 tích의 사영 공간으로 매핑한다.
• 그들은 $G$ 및 $H$ 작용 하에서 텐서의 궤도를 분석하며, 여기서 $G$ 는 기본 텐서의 안정화군이고 $H = \mathrm{GL}(2)\times\mathrm{GL}(3)\times\mathrm{GL}(3)$ 이다.
• 분류는 대표 텐서 $A$ 의 첫 번째 수축 공간의 질량 분포 $r_1(A)$ 와 선형 독립인 랭크-일 텐서 성분의 수와 같은 불변량을 연구함으로써 달성된다.
• 증명은 실수나 복소수 체에서 실패할 수 있는 위상적 또는 대수적 방법을 피하고, 대신 대칭 및 반대칭 이차형식에서 유도된 기준형을 사용하는 체에 종속되지 않은 기하적 추론에 기반한다.
• 유한체의 경우, 특정 이차 및 삼차 다항식의 영이 아닌 성질을 분석함으로써 분류가 완료된다. 예를 들어 $\mathbb{F}$ 에서 모든 $\lambda$ 에 대해 $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{F}$ 위에서 이차 또는 삼차 다항식의 영이 아닌 성질)을 사용하여 도출된다.
• 분류 결과는 $\mathbb{C}$ 및 $\mathbb{R}$ 위에서 알려진 결과를 복원하고 재도출하며, 특히 짝수 특성 유한체에서의 이전 작업의 모순을 수정하거나 명확히 한다.
• 이 결과는 향후 작업 [11] 에서 언급된 바와 같이, 임의의 $r$ 에 대해 $\mathbb{F}^2\otimes\mathbb{F}^3\otimes\mathbb{F}^r$ 내 궤도의 완전한 분류를 가능하게 한다.