[논문 리뷰] On Higman's $k(U_n(\mathbb{F}_q))$ conjecture

Igor Pak, Andrew Soffer|arXiv (Cornell University)|2015. 07. 02.

Finite Group Theory Research참고 문헌 22인용 수 11

한 줄 요약

이 논문은 $ℚ_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.

연구 동기 및 목표

• 모든 $n$에 대해 $k(U_n(q))$가 $q$에 대한 다항식임을 주장한 히그먼의 1960년 추측의 타당성을 검토하는 것.
• 공액군의 궤도와 패턴 군을 기반으로 한 새로운 계산적이고 이론적인 프레임워크를 개발하여 공轭류 수를 분석하는 것.
• 최근 패턴 군에서의 반례가 제기된 바와 같이, 더 큰 $n$에 대해서도 $k(U_n(q))$의 다항식 성질이 유지되는지 확인하는 것.
• 패턴 군의 순서 집합 이론적 임베딩을 활용하여 $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=16$까지의 $U_n(q)$에서의 다항식 성질을 검증하는 것.
• $U_{13}(q)$ 내에서 비다항식 패턴 군을 명시적으로 구성하여 다항식 성질에 대한 반례로 삼는 것.
• 이 비다항식 패턴 군을 $U_{59}(q)$에 임베딩하여 $n \geq 59$일 경우 $k(U_n(q))$가 다항식이 아닐 것임을 시사하는 것.

실험 결과

연구 질문

• 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)$에 임베딩되어 $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))$의 비다항식 성질이 가능함을 뒷받침한다.
• 저자들은 이러한 패턴 군의 임베딩과 일반성에 기반하여 히그먼의 원래 추측이 $n \geq 59$에서 실패할 것이라고 추측한다.