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

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)

基本信息

论文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ₖ且超行列式为0的数组。主要结果是给出了3×3×3超行列式作为李群SL₃(C)×SL₃(C)×SL₃(C)作用下6次、9次和12次基本不变量的多项式的显式公式。作者将计算结果应用于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_3^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的标准形分类，验证了各族标准形上不变量的取值
秩分析: 确定了不同秩数组上各不变量的消失性质