Hasse-Witt invariants for trace forms of Jacobi polynomials

技術的要約：ヤコビ多項式のトレース形式におけるハッセ・ヴィット不変量

問題の所在
本論文は、ガロア理論における群拡大問題、具体的には、ガロア拡大 $L/\mathbb{Q}$ の群が $B$ であるとき、それが $B$ による非分裂中心拡大 $C_2$ を持つより大きな拡大 $M/\mathbb{Q}$（群 $G$）へと埋め込み可能であるための条件を扱っている。Feit [1] および Hajir [2] の研究に続き、特定の群（$\tilde{A}_n$ など）に対するこの埋め込み問題の可解性は、定義多項式の根の場のトレース形式に関連するハッセ・ヴィット不変量に依存している。

核心となる計算上の障害は、トレース形式の対角化係数（$D_t$）の算出を必要とする、ハッセ・ヴィット不変量の明示的な決定である。これらの係数は、多項式の根の冪和行列の主小行列式（$\Delta_t$）から導かれる。Feit は、一般化ラゲール多項式（GLP）に対して、その族に特有の性質（漸化式や合同式）を用いて $\Delta_t$ の計算に成功したが、これらの手法はより広範な直交多項式の族には一般化できない。したがって、GLP の特定のケースを超えて $\tilde{A}_n$ 拡大の存在結果を拡張するためには、$\Delta_t$ を計算するためのより一般的な手法が必要であった。

手法
著者らは、多項式固有の性質から、ハンケル行列に基づく組合せ論的なアプローチへの手法の転換を提案している。戦略は以下の通りである：

1. ハンケル行列への再定式化： 著者らは、$\Delta_t$ を、根の冪和によって形成されるハンケル行列の $t \times t$ 主小行列式として特定した。
2. 母関数と連分数展開： 著者らは、根の冪和の母関数 $G(z)$ を利用する。$G(z)$ を連分数（具体的にはスティルツ・タイプ（Stieltjes-type）の連分数）として表現することにより、連分数の係数がハンケル行列式と直接関連しているという既知の定理（[3, Thm. 30] を参照）を活用する。
3. 再帰的な係数計算： ヤコビ多項式 $J^{(\alpha, \beta)}_n(x)$ に対して、著者らは $G(z)$ の連分数展開の係数（$a_i$）を導出する。これには、補助関数 $f_i(m)$ の列を定義し、これらの係数の計算を簡略化するための再帰的関係（Proposition 30）を確立することが含まれる。
4. 明示的な公式の導出： 計算された係数を用いて、$\Delta_t$ の明示的な積の公式を導出する。この公式は、対角化係数 $D_t = \Delta_{t+1}/\Delta_t$ を計算するために用いられ、次いでハッセ・ヴィット不変量 $\epsilon_p(E)$ が求められる。

主な貢献と結果
本論文は、以下の具体的な結果を提供している：

• $\Delta_t$ の明示的な公式： 定理 13 は、単項ヤコビ多項式 $J^{(\alpha, \beta)}_n(x)$ の冪和行列の主小行列式 $\Delta_t$ の閉じた形式の表現を提示している。公式は $\Delta_t = A_t B_t / C_t$ で与えられ、$A_t, B_t, C_t$ はパラメータ $\alpha, \beta$ および次数 $n$ を含む特定の積によって定義される（式 10–12）。
• ヤコビ多項式のハッセ・ヴィット不変量： 明示的な $\Delta_t$ の公式とセールの定理およびヒルベルト記号の性質を組み合わせることで、著者らはヤコビ多項式の根の場のハッセ・ヴィット不変量 $\epsilon_p(E)$ の明示的な表現を導出している（セクション 4）。
• Feit の結果の一般化： 論文は、一般化ラゲール多項式がヤコビ多項式の極限ケースであることを示している。彼らの一般的な手法を GLP に対応する特定のパラメータに適用することで、$\Delta_t$ に関する Feit の元の公式を回収しており（セクション 4.1）、これにより Feit の定理に対する代替的な組合せ論的導出を提供している。
• 具体的な例： 著者らは、特定のパラメータ $(\alpha, \beta)$ を持つ $n=5$ の具体的な数値例を提示している。彼らは、ハッセ・ヴィット不変量が非自明となり（$\tilde{A}_5$ への埋め込みを妨げる）、また自明となる（埋め込みを許容する）ケースを示し、彼らの公式の実用的な応用を説明している。

意義と主張
著者らは、主要な貢献は $\Delta_t$ の計算をハンケル行列式と連分数展開の文脈の中に位置づけたことにあると主張している。彼らは以下のように断言している：

• 用いられた手法はヤコビ多項式に特化したものではなく、次数によってインデックス付けされた任意の多項式列に広く適用可能である。
• この手法は直交性に依存しないため、従来の、特定の重み関数や直交関係に依存するアプローチとは区別される。
• 追加のパラメータの導入（一パラメータの GLP から二パラメータのヤコビ多項式への移行）は、各 $n \geq 2$ に対して、群拡大問題に対する無限個の解が存在する可能性があることを示唆しており、これにより従来の構成における有限性の制約を一般化している。

結論として、[1] および [2] における $\Delta_t$ の明示的な公式は一般化できない性質に依存していた一方で、ここで提示された組合せ論的なアプローチは、より広範なヤコビ多項式の族へとこれらの結果を拡張することに成功したと述べている。