2025-11-10T03:14:48.630817

The 3 x 3 x 3 hyperdeterminant as a polynomial in the fundamental invariants for SL(3,C) x SL(3,C) x SL(3,C)

Bremner, Hu, Oeding

We briefly review previous work on the invariant theory of 3 x 3 x 3 arrays. We then recall how to generate arrays of arbitrary size m_1 x ... x m_k with hyperdeterminant 0. Our main result is an explicit formula for the 3 x 3 x 3 hyperdeterminant as a polynomial in the fundamental invariants of degrees 6, 9 and 12 for the action of the Lie group SL(3,C) x SL(3,C) x SL(3,C). We apply our calculations to Nurmiev's classification of normal forms for 3 x 3 x 3 arrays.

academic

SL(3,C) × SL(3,C) × SL(3,C)の基本不変量における3×3×3超行列式の多項式表現

基本情報

論文ID: 1310.3257
タイトル: The 3 x 3 x 3 hyperdeterminant as a polynomial in the fundamental invariants for SL(3,C) x SL(3,C) x SL(3,C)
著者: Murray Bremner, Jiaxiong Hu, Luke Oeding
分類: math.AG（代数幾何）、cs.SC（記号計算）、math.RT（表現論）
発表日: 2014年2月17日（arXiv v2版）
論文リンク: https://arxiv.org/abs/1310.3257

要旨

本論文は、3×3×3配列の不変量理論に関する先行研究を簡潔に概観した後、超行列式がゼロである任意のサイズm₁×...×mₖの配列を生成する方法を述べている。主要な成果は、リー群SL₃(C)×SL₃(C)×SL₃(C)の作用下における6次、9次、12次の基本不変量I₆、I₉、I₁₂の多項式として、3×3×3超行列式の明示的な公式を提供することである。著者らは計算結果をNurmievの3×3×3配列の標準形分類に適用している。

研究背景と動機

核心問題

本論文が解決しようとする核心的な問題は、3×3×3超行列式Δ₃₃₃を基本不変量I₆、I₉、I₁₂の明示的な多項式表現として表したときの係数を決定することである。

研究の重要性

理論的意義: 3×3×3配列の不変量理論は代数幾何学と表現論の古典的問題であり、Aronhold（1850年）とCayley（1845年）の業績に遡ることができる
計算複雑性: 超行列式の計算は極めて複雑であり、多項式の膨大な項数（例えばI₁₂は209,061項）を扱う必要がある
応用価値: 量子計算、ブラックホール物理学、多線形代数において重要な応用がある

既存方法の限界

Schläfli法による3×3×3超行列式の計算には膨大なメモリが必要
古典的な不変量理論の方法は存在するが、計算は極めて繁雑
基本不変量の明示的な係数表現が欠如している

研究動機

Vinberg（1976年）は不変量代数がI₆、I₉、I₁₂により自由に生成されることを証明したが、超行列式の具体的な係数表現は長年未解決のままであった。本論文は計算代数的手法によってこれらの係数を決定することを目指している。

核心的貢献

主定理: 3×3×3超行列式の明示的公式を提供： $\Delta_{333} = I_6^6 I_9^2 - I_2^6 I_{12}^2 + 36 I_6 I_9^2 I_{12} + 108 I_9^4 - 32 I_{12}^3$
計算方法: モジュロ演算と有理数再構成に基づく効率的な計算方法を開発
理論的応用: 結果をNurmievの標準形分類に適用し、各族の標準形上の不変量の値を検証
階数分析: 異なる階数の配列上における各不変量の消失性質を決定