Arithmetic exceptionality of generalized Chebyshev polynomials of the second kind

技術要約：一般化チェビシェフ第2種多項式の算術的例外性

問題設定
本論文は、半単純リー代数 $\mathfrak{g}$ に付随する、一般化チェビシェフ第2種多項式 $Q^k_{\mathfrak{g}}$ の算術的例外性を調査している。$\mathbb{Z}[x]$ 内の $n$ 変数多項式 $f$ は、誘導された写像 $f: \mathbb{F}_p^n \to \mathbb{F}_p^n$ が無限個の素数 $p$ に対して置換であるとき、「算術的に例外的な（arithmetically exceptional）」と定義される。

第1種一般化チェビシェフ多項式 $P^k_{\mathfrak{g}}$ の算術的例外性はよく理解されており（例えば、$P^k_{A_1}$ はディクソン多項式の第1種に対応し、特定の $k$ に対して例外的である）、第2種 $Q^k_{\mathfrak{g}}$ の挙動については不明な点が多い。具体的には、古典的なケース $\mathfrak{g} = A_1$ において、$Q^k_{A_1}$（ディクソン多項式の第2種 $E_k(x,1)$ に相当）は $k \ge 2$ に対して算術的に例外的ではないことが知られている。著者らは、この非例外性が高ランクのリー代数にも及ぶかという未解決問題に対し、特にランク2のケースである $\mathfrak{g} = A_2$ に焦点を当てて取り組んでいる。多項式 $Q^k_{A_2}$ は、$A_2$ の既約表現の指標を通じて定義される二変量写像である。

手法
著者らは、代数的数論、有限体の理論、およびリー代数の表現論を組み合わせた手法を用いている。彼らのアプローチは、以下の主要なメカニプトに基づいている：

1. 対角制限（Diagonal Restriction）： 二変量写像 $Q^k_{A_2}: \mathbb{F}_q^2 \to \mathbb{F}_q^2$ を解析するために、著者らはその定義域を対角線 $D = \{(a, a) \mid a \in \mathbb{F}_q\}$ に制限する。$Q^k_{A_2} = (h_k(y_1, y_2), h_k(y_2, y_1))$ としたとき、単変数多項式 $f_k(x) = h_k(x, x)$ を定義する。彼らは、もし $Q^k_{A_2}$ が置換であれば、その対角制限である $f_k$ もまた置換でなければならないことを確立する。これにより、問題を単変数ケースへと還元できる。
2. 円分パラメータ化（Cyclotomic Parametrization）： 有限体 $\mathbb{F}_q$ と第1種一般化チェビシェフ写像 $P^q_{A_1}$ の不動点の間の対応関係を利用して、著者らは、1の冪根から導かれる値 $2\cos(2\pi u)$ を用いて $\mathbb{F}_q$ の要素をパラメータ化する。これにより、置換の問題を、三角和および円分要素の挙動に関する問題へと翻訳することができる。
3. ノルム解析（Norm Analysis）： 証明の核心は、特定の円分要素の体ノルムの計算にある。写像 $f_k$ の下での非ゼロ要素の像の積を解析することで、結果として得られる多項式が置換になり得ない条件を導出する。彼らは、円分拡大 $\mathbb{Q}(\zeta_n)$ およびその最大実部分体のにおけるノルム写像の性質を利用する。
4. 合同条件（Congruence Conditions）： 著者らは、$k$ と素数 $p$ に関する最大公約数（gcd）および剰余演算に関する制約を含む必要条件を導出する。彼らは、十分大きな素数 $p$ に対して、これらの条件が成立しないことを示す。

主要な貢献と結果
本論文は、ルート系 $A_2$ に付随する一般化チェビシェフ第2種多項式が、算術的に例外的ではないことを厳密に証明している。

• 主定理（定理24）： 任意の整数 $k > 1$ に対して、二変量多項式写像 $Q^k_{A_2}: \mathbb{F}_q^2 \to \mathbb{F}_q^2$ は、有限個の素数を除いてすべての素数 $p$ に対して置換ではない。具体的には、$Q^k_{A_2}$ が置換であるならば、$p < |\tau(k)| + 1$ である（ここで $\tau(k)$ は $k$ に関する著者らによって定義された関数である）。したがって、$Q^k_{A_2}$ は算術的に例外的ではない。
• 単変数ケース ($A_1$)： 本論文は、$Q^k_{A_1}$（ディクソン多項式の第2種）に関するコーヘンの定理を再検討し、$k \ge 2$ において $Q^k_{A_1}$ が算術的に例外的ではないことを、$k$ に基づく $p$ の境界を確立することによって、自己完結的な証明とともに提示している。
• 漸化式（Recurrence Relations）： 著者らは $Q^k_{A_2}$ の成分に関する漸化式を明示的に定義している。これらは第1種多項式 $P^k_{A_2}$ と同じ漸化式を共有しているが、初期条件が異なることで、根本的に異なる算術的挙動を示す。
• 明示的な公式（Explicit Formulas）： 著者らは、特定の点（例：$0, 1, 2, 3, -1$）における対角制限$f_k$の値の明示的な公式を導出し、1の冪根を用いた$f_k$ の関数方程式を確立している（定理29）。

意義と主張
著者らは、この研究が、古典的な単変数ケース（$A_1$）から、最初の非自明な多変数ケース（$A_2$）へと、算術的例外性の理解を拡張したものであると主張している。彼らは、第1種多項式 $P^k_{A_2}$ は（先行文献で示されている通り）無限個の素数に対して例外的であるが、第2種多項式 $Q^k_{A_2}$ は、$A_1$ の対応物と同様の非例外的な挙動を示すことを強調している。

本論文は、開発された手法（特に、対角への還元と円分ノルムの使用）が、他の半単純リー代数（例えば $B_2$ や $G_2$）にも一般化できる可能性があることを述べて締めくくっている。しかし、著者らは、これらのケースにおいては、対角制限を可能にする対称性（$A_2$ で保持されるもの）が他のルート系では必ずしも保持されないため、即座に困難が生じることを謙虚に認めている。本研究は、これらの一般化された多項式族の算術的性質を分類するための基礎的な一歩として提示されている。