ねじれた回文式(b-逆相関)多項式のガロア群はほとんど完全な組合せ群に近い:高さで数えた漸近公式
この論文は、特別な対称性を持つ偶数次数の多項式をランダムに選んだとき、そのガロア群が典型的にどのようになるかを調べたものです。対象は「b-逆相関(b-reciprocal)」と呼ばれる多項式で、係数に簡単な線形関係があり、根がペア α と b/α の形で現れます。研究者は、この族を係数の「高さ」を用いて数え上げ、例外的にガロア群が最大の対称性を欠く多項式がどれだけあるかを精密に求めました。主結論は、高さ H 以下の多項式でガロア群が完全なハイパーオクタヘドラル群(S_2 を S_n に半直積した群)でないものの数は、明示的な定数×H^n log H に従い、誤差は大きさ H^n で抑えられる、というものです(ただし b≠0、次数 2n で n≥4 を仮定)。この定数は b に依存し、主要な寄与は指標 2 の特定の部分群 G_1 から来ます。
対象の多項式は、係数が互いに結びついているため根が対で現れます。ガロア群とは、与えられた多項式の根の置換で、根の間の代数的関係を保つ「対称性」の全体を指します。通常のランダム多項式では対称群 S_{2n} が典型ですが、根がペアになるのでこの場合はペアの構造を保つハイパーオクタヘドラル群が自然な「最大の対称性」です。論文は、どの程度の頻度でこの最大群ではない別の群が現れるかを、高さという測度で asymptotically(大きな高さの極限で)評価しています。ここで使う高さは、b に合わせて係数に重みをつけたユークリッドノルムで、係数空間では楕円体に当たります。
結果の具体的な意味は次の通りです。高さ H までにある b-逆相関多項式全体のうち、ガロア群が最大群でない割合はおよそ (constant × H^n log H)/(total ≍ const' × H^{n+1}) で、したがって確率は大雑把に言って (log H)/H の速度で 0 に近づきます。つまり高さを大きくするほど「例外」は稀になりますが、消える速さには余分な対数因子が入ります。単項式(先頭係数が 1)に限定した場合も類似の漸近式が得られます。主要定数は実数部分(ユークリッド体での体積やレジェンドルの完全楕円積分で表される)と素数ごとの積で書き下せます。論文は、ほかのガロア群はすべてこの主要寄与よりも小さい次数でしか現れないことも示しています。
手法面では、著者は近年の主要な流れを踏襲しつつ応用しています。歴史的には van der Waerden の問題とそれを解決した Bhargava の仕事が出発点です。今回の論文は、先行して扱われた逆順(b=1)多項式の解析を拡張し、b による「ねじれ」を入れた場合でも同様の技法が通用することを示しました。具体的には、係数に合わせた高さで楕円体を考え、判別式や群論による分類を組み合わせることで、どの群が主要寄与を与えるかを突き止めています。論文中には、主要項を与える群 G_1 を特徴づける代数的条件と、それを満たす多項式の個数を数えるパラメトリ化の手法が示されています。
重要な注意点と限界です。まずこの漸近公式は「b と n を固定」した上で高さ H を無限大にする極限の話です。したがって b や n が変わる場合の同様の振る舞いは自動的には得られません。結果は n≥4 を仮定しており、定数や誤差の形も b に依存します。また解析は深い既知の結果(群の分類や数体の判別式の分布など)に拠っています。応用面では、これらの b-逆相関多項式は交差する行列群、特に「共形類似性を持つシンプレクティック群(symplectic similitudes)」の特徴多項式として自然に現れるため、有限体上での既知の結果(Chavdarov)と絡めて考えると興味深い示唆を与えますが、体や状況を変えた場合の同様の定理は別途の議論を要します。