[論文レビュー] Orders of Finite Groups of Matrices

Robert M. Guralnick, Martin Lorenz|ArXiv.org|Nov 8, 2005

semigroups and automata theory被引用数 5

ひとこと要約

本稿は、有理数トレースを持つ有限次正方行列群の最小公倍数に関するシュール1905年の定理の新しい証明を提示する。Minkowskiの数体上の還元法を用い、$p$-進付値による階乗の評価から導かれるMinkowskiの境界 $M(n)$ が、トレースが有理数である場合にも成立することを示し、代数的数論および表現論を用いてベルヌーイ数や整数列と関連付ける。

ABSTRACT

We present a new proof of a theorem of Schur's determining the least common multiple of the orders of all finite groups of complex $n imes n$-matrices whose elements have traces in the field of rational numbers. The basic method of proof goes back to Minkowski and proceeds by reduction to the case of finite fields. For the most part, we work over an arbitrary number field rather than the rationals. The first half of the article is expository and is intended to be accessible to graduate students and advanced undergraduates. It gives a self-contained treatment, following Schur, over the field of rational numbers.

研究の動機と目的

• シュールの定理（有理トレースを持つ有限線型群）の自己完結的かつ理解しやすい証明を提供し、大学院生および上級学部生向けとする。
• Minkowskiの元来の方法（素数を法として還元し、有限体上の線型群を考察する）を、代数的数論を用いて再考し、シュールの結果を再証明する。
• Minkowskiの境界 $M(n)$ と他の数学的対象（整数値多項式の先行係数、母関数の係数など）との関係を調査する。
• コリンズによるジョルダンの定理のモジュラー版を用いて、正の特性におけるジョルダン境界の構造的意味を検討する。
• OEISの数列A053657およびA075264に現れる $M(n)$ の奇妙な数値的一致、およびベルヌーイ数との関係を検討する。

提案手法

• Minkowskiの還元技法を採用：素数を法として有限行列群を還元し、$\mathrm{GL}_n(\mathbb{F}_q)$ における像を調べ、有限体上の古典的線型群の位数に関する既知の境界を活用する。
• ガロア理論および代数的数論を用いて、数体における群元のトレースを分析し、有理トレースが固有値の整性条件を意味することを保証する。
• von Staudt–Clausenの定理を適用し、ベルヌーイ数 $B_{2n}$ の分母を $\prod_{p: p-1 \mid 2n} p$ に結びつける。これは $M(n)$ の再帰的公式に現れる。
• $M(n)$ の $p$-部を $p^{\lfloor n/(p-1) \rfloor} \cdot \left(\lfloor n/(p-1) \rfloor!\right)_p$ として表現し、階乗の $p$-進付値と関連付ける。
• 母関数 $\left(\frac{-\ln(1-x)}{x}\right)^z$ における $x^n$ の係数として $P(n,z)$ を定義し、経験的証拠に基づいて $P(n,z)$ の分母が $M(n)$ に一致することを示す。
• $\mathbb{Q}$ や数体上の特性理論および表現論を用いて、特に既約表現やシュール指数に注目し、有限線型群の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 Minkowskiの素数を法とする還元法を、すべての成分が有理数である必要がない有理トレースを持つ行列群のシュールの定理の証明に適応できるか？
• RQ2 元来 $\mathrm{GL}_n(\mathbb{Q})$ に対して定義されたMinkowskiの境界 $M(n)$ が、トレースが $\mathbb{Q}$ に属する有限行列群の位数に対しても成立するのはなぜか？
• RQ3 母関数 $\left(\frac{-\ln(1-x)}{x}\right)^z$ を用いて定義される多項式 $P(n,z)$ の分母が $M(n)$ に一致するという経験的一致は、何によって説明できるか？
• RQ4 Minkowskiの境界 $M(n)$ はベルヌーイ数 $B_{2n}$ の分母とどのように関係しており、この関係にどのような算術的意味があるか？
• RQ5 コリンズによるジョルダンの定理のモジュラー版によって、正の特性におけるジョルダン境界が、複素数体上の古典的ジョルダン＝シュール定理をどの程度一般化するか？

主な発見

• Minkowskiの境界 $M(n) = \prod_p p^{\lfloor n/(p-1) \rfloor + \lfloor n/(p(p-1)) \rfloor + \cdots}$ は、すべての要素のトレースが有理数である $\mathrm{GL}_n(\mathbb{C})$ の有限部分群の位数の最小公倍数に一致する。
• $M(n)$ の $p$-部は $M(n)_p = p^{\lfloor n/(p-1) \rfloor} \cdot \left(\lfloor n/(p-1) \rfloor!\right)_p$ として与えられ、階乗の $p$-進付値と関連付く。
• $M(n)$ の再帰的公式に現れる積 $\prod_{p: p-1 \mid 2n} p n_p$ は、$\frac{B_{2n}}{n}$ の分母に一致し、von Staudt–Clausenの定理を介して $M(n)$ とベルヌーイ数を結びつける。
• 経験的証拠により、母関数 $\left(\frac{-\ln(1-x)}{x}\right)^z$ における $x^n$ の係数として定義される多項式 $P(n,z)$ の分母が正確に $M(n)$ に一致することが示唆されるが、直接の証明はまだ得られていない。
• $n \geq 71$ のとき、コリンズのモジュラージョルダン定理により、正の特性 $p$ の体 $F$ 上の任意の有限部分群 $\mathcal{G} \leq \mathrm{GL}_n(F)$ に対して、商群 $G = \mathcal{G}/O_p(\mathcal{G})$ が $[G:N] \leq (n+1)!$ または $(n+2)!$ となることが示される（$p$ に依存）。
• $M(n)$ の漸近的成長は、$\lim_{n \to \infty} \left(M(n)/n!\right)^{1/n} = \prod_p p^{1/(p-1)^2} \approx 3.4109$ を満たし、これはカッツネルソンによって確立された。