[論文レビュー] 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

ひとこと要約

この論文は、$U_n(q)$ すなわち $\mathbb{F}_q$ 上の上三角 $n\times n$ 行列からなる群における共役類の数が、すべての $n$ に対して $q$ の多項式であるという Higman の予想を検証する。共軛軌道とパターン群に基づく新規な再帰的アプローチを用いて、$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.

研究の動機と目的

• Higman が1960年に提起した予想、すなわちすべての $n$ に対して $k(U_n(q))$ が $q$ の多項式であるかどうかを検証すること。
• 共軌道とパターン群に基づく、計算的および理論的枠組みを新たに構築し、共役類の数を分析すること。
• 近年のパターン群における反例の存在を踏まえ、$k(U_n(q))$ の多項式的性質がより大きな $n$ に対しても保持されるかどうかを明らかにすること。
• poset理論的埋め込みを用いて、$k(U_P(q))$ が多項式でない構造的条件を調査すること。

提案手法

• パターン群の共軌道に関する再帰的関係を用いて、$k(U_n(q))$ を有限体版キリロフの軌道法により計算する。
• 指定されたゼロパターンを持つ $U_n(q)$ の部分群としてパターン群 $U_P(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)$ のすべてのパターン部分群および $n \leq 16$ の $U_n(q)$ における多項式的性質を検証する。
• $U_{13}(q)$ 内に、$k(U_P(q))$ が $q$ の多項式でない明示的な非多項式的パターン群を構成し、パターン群版の Higman の予想に対する反例とする。
• $U_{59}(q)$ にこの非多項式的パターン群を埋め込むことで、$n \geq 59$ において $k(U_n(q))$ が多項式でない可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 Higman の予想が、すべての $n$ に対して $k(U_n(q))$ が $q$ の多項式であるとされるが、真であるか？
• RQ2 直接列挙ではなく、パターン群における軌道再帰を用いることで、$U_n(q)$ の共役類数を効率的に計算できるか？
• RQ3 パターン群のどの構造的性質が、$k(U_P(q))$ を非多項式たらしめるか？
• RQ4 $U_{13}(q)$ に1つの非多項式的パターン群が存在することは、十分に大きな $n$ に対して $k(U_n(q))$ が非多項式であることを示唆するか？
• RQ5 このようなパターン群を $U_{59}(q)$ に埋め込むことで、Higman の予想を反証できるか？

主な発見

• Higman の予想はすべての $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$ の多項式でないことが判明し、Higman の予想のパターン群版に対する反例となった。
• この非多項式的パターン群は $U_{59}(q)$ に埋め込まれており、$n \geq 59$ において $k(U_n(q))$ が多項式でない可能性を示唆している。
• 多項式係数 $F_{P,n}(q) \in \mathbb{Z}[q]$ を持つ再帰的公式 $k(U_n(q)) = \sum_P F_{P,n}(q) \cdot k(U_P(q))$ は、一部の $k(U_P(q))$ が非多項式的である場合に、$k(U_n(q))$ が非多項式的になる可能性を支持している。
• 著者らは、この埋め込みとこのようなパターン群の普遍性を根拠に、Higman の元の予想は $n \geq 59$ で成立しないと予想している。