[论文解读] On Higman's $k(U_n(\mathbb{F}_q))$ conjecture

Igor Pak, Andrew Soffer|arXiv (Cornell University)|Jul 2, 2015

Finite Group Theory Research参考文献 22被引用 11

一句话总结

本文研究了希格曼的猜想，即在有限域 $\mathbb{F}_q$ 上，上三角 $n\times n$ 矩阵群 $U_n(q)$ 的共轭类数量对所有 $n$ 关于 $q$ 是多项式。通过基于余伴随轨道和模式群的新型递归方法，作者验证了该猜想在 $n \leq 16$ 时成立，但通过嵌入一个非多项式模式群，提供了强有力的证据表明该猜想在 $n \geq 59$ 时可能不成立，从而挑战了长期存在的这一猜想。

ABSTRACT

A classical conjecture by Graham Higman states that the number of conjugacy classes of $U_n(q)$, the group of upper triangular $n imes n$ matrices over $\mathbb{F}_q$, is polynomial in $q$, for all $n$. In this paper we present both positive and negative evidence, verifying the conjecture for $n\le 16$, and suggesting that it probably fails for $n\ge 59$. The tools are both theoretical and computational. We introduce a new framework for testing Higman's conjecture, which involves recurrence relations for the number of conjugacy classed of \emph{pattern groups}. These relations are proved by the \emph{orbit method} for finite nilpotent groups. Other applications are also discussed.

研究动机与目标

• 验证希格曼1960年提出的猜想是否成立，即对所有 $n$，$k(U_n(q))$ 关于 $q$ 是多项式。
• 基于余伴随轨道和模式群，开发一种新的计算与理论框架，以分析共轭类计数。
• 确定 $k(U_n(q))$ 的多项式行为是否在更大的 $n$ 下依然持续，特别是在近期模式群中出现反例的背景下。
• 通过偏序集理论嵌入，研究 $k(U_P(q))$ 失去多项式性质的结构性条件。

提出的方法

• 采用基里洛夫轨道方法在有限域上的类比，通过模式群的余伴随轨道上的递推关系计算 $k(U_n(q))$。
• 将模式群 $U_P(q)$ 定义为 $U_n(q)$ 的子群，其零元模式已指定，从而实现共轭类计数的递归分解。
• 推导出一般公式：$k(U_n(q)) = \sum_P F_{P,n}(q) \cdot k(U_P(q))$，其中 $F_{P,n}(q) \in \mathbb{Z}[q]$ 是在不可约模式子群上的多项式。
• 通过计算枚举，验证了 $U_9(q)$ 的所有模式子群以及 $U_n(q)$ 在 $n \leq 16$ 时的多项式行为。
• 在 $U_{13}(q)$ 中构造了一个显式的非多项式模式群，作为多项式行为的反例。
• 将此非多项式模式群嵌入 $U_{59}(q)$，以表明 $k(U_n(q))$ 在 $n \geq 59$ 时可能不是多项式。

实验结果

研究问题

• RQ1 对于所有 $n$，$k(U_n(q))$ 是否如希格曼所猜想的那样关于 $q$ 是多项式？
• RQ2 是否可以通过模式群上的轨道递归而非直接枚举，高效计算 $U_n(q)$ 的共轭类计数？
• RQ3 导致 $k(U_P(q))$ 非多项式的模式群的结构性质是什么？
• RQ4 在 $U_{13}(q)$ 中存在一个非多项式模式群，是否意味着对于足够大的 $n$，$k(U_n(q))$ 也是非多项式？
• RQ5 能否通过将此类模式群嵌入 $U_{59}(q)$ 来推翻希格曼的猜想？

主要发现

• 希格曼的猜想在所有 $n \leq 16$ 时成立，且 $k(U_n(q)) \in \mathbb{N}[q-1]$。
• $U_9(q)$ 的所有模式子群均表现出多项式共轭类计数，即 $k(U_P(q)) \in \mathbb{N}[q-1]$。
• 在 $U_{13}(q)$ 中发现了一个特定模式子群 $U_P(q) \leq U_{13}(q)$，其 $k(U_P(q))$ 不是关于 $q$ 的多项式，从而为希格曼猜想的模式群类比提供了反例。
• 该非多项式模式群可嵌入 $U_{59}(q)$，提示 $k(U_n(q))$ 在 $n \geq 59$ 时可能不是多项式。
• 递推公式 $k(U_n(q)) = \sum_P F_{P,n}(q) \cdot k(U_P(q))$ 中 $F_{P,n}(q) \in \mathbb{Z}[q]$ 支持当某些 $k(U_P(q))$ 非多项式时，$k(U_n(q))$ 可能出现非多项式行为。
• 作者推测，基于该嵌入及此类模式群的普遍性，希格曼原始猜想在 $n \geq 59$ 时可能不成立。