[論文レビュー] Galois groups of reciprocal polynomials II: Twisted reciprocal polynomials

Theresa C. Anderson, Evan M. O'Dorney|arXiv (Cornell University)|Mar 16, 2026

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

要約: 本論文は、次数2nのb- reciprocal多項式に対して、ガロア群が全体の超直交群S2 wr Snである確率が Theta(H^{-1} log H) でないことを証明し、 leading non-full 群 G1 の指標は 2 であることを示す。これは b に対して均一に成り立つ。

ABSTRACT

We study the Galois group $G_f$ of a random polynomial $f$ of height at most $H$ in the family of polynomials of degree $2n$ satisfying the twisted reciprocal relation $f(x) = x^{2n}/b^n \cdot f(b/x)$, which arise in a wide variety of applications. Our main result is a theorem of van der Waerden-Bhargava type: the probability that $G_f$ is not the full hyperoctahedral group $S_2 \wr S_n$ is $Θ(H^{-1}\log H)$, independent of $b$, with the leading-order group $G_1$ being of index $2$. This paper is a companion to a recent paper by the authors and Bertelli addressing reciprocal polynomials (i.e. the case $b = 1$).

研究の動機と目的

• ランダムな b- reciprocal 多項式のガロア群が全ての超直交群にどれくらい頻繁に非一致になるかを理解する。
• reciprocal 多項式の結果を twisted（b ≠ 1）ケースに拡張し、 reciprocal ケースと比較する。
• 支配的な非全ガロア群とその頻度を特徴づける。
• 計数問題を円錐曲線と判別式条件に関連付け、 van der Waerden–Bhargava の枠組みと結びつける。

提案手法

• f(x)=x^{n}g(x+b/x) によって b- reciprocal f を表現する。
• G_f の包含性の問いを g(±2√b) および disc(g) に関する明示的条件へ還元する。
• G0 = S2 wr Sn が Sn に射影する最大最大群を分類し、 G_f ⊆ G1, G2, または G3 となる多項式を抑える。
• 円錐曲線と判別式関係を分析して H および log H の因子を得ることで多項式を計数する。
• monic および non-monic の変種を扱い、定理1.1および1.2 を導く。

実験結果

リサーチクエスチョン

• RQ1 H → ∞ のとき、Galois 群が全ての S2 wr Sn でない b- reciprocal 多項式の漸近的頻度はどれくらいか。
• RQ2 leading non-full Galois 群は b に依存するか、指標と性質（インデックス等）はどうなるか。
• RQ3 この twist 設定における b- reciprocal 多項式の計数法は van der Waerden の予想とどのように関連するか。
• RQ4 monic 条件は exceptional なガロア群の漸近計数にどのように影響するか。

主な発見

• G_f ≠ S2 wr Sn の確率は Θ(H^{-1} log H)（n と b が固定の場合）である。
• leading non-full ガロア群 G1 は S2 wr Sn の中でインデックス 2 を持ち、H → ∞ のとき E_{n,b}(H) への寄与を100%占める。
• 他の部分群（G2, G3）は n によっては O(H^{n}) かそれ以下の寄与にとどまる。
• 計数結果は b に対して均一に成り立ち、n ≥ 1 の場合はモニック変種は n ≥ 2。
• Bhargava の枠組みおよび G1-case の円錐曲線によるパラメータ化との厳密な計数対応がある。