Discriminants and Large Pólya Groups in Septic Number Fields

技術要約：セプティック数体における判別式と大きなポリア群

問題提起
ポリア体の系統的な分類、およびポリア群の大きさに関するポリア体の族全体での理解は、代数的数論における中心的な課題である。低次拡大（二次、三次、四次、および六次）については顕著な進展が見られる一方で、7次（セプティック）の巡回拡大の研究は遅れている。具体的には、ポリア群の完全かつ明示的な決定が可能な巡回7次体の無限族は、これまで文献に現れていない。さらに、このような族の中でポリア群がどの程度大きくなり得るのか、また、同時に大きなポリア群を持つ連続する数体のブロックを構成できるかという問いも、7次の場合はほとんど未開拓のままである。

手法
本論文では、多項式 $f_t(X) = X^7 + a_6(t)X^6 + \dots + a_0(t)$ （ここで係数は $t$ の多項式である）の根によって定義される、ハシモト・ホシ（Hashimoto–Hoshi）構成に基づく特定のパラメータ化された巡回セプティック体の族 $\{K_t\}_{t \in \mathbb{Z}}$ を調査する。手法の核心は以下の通りである：

1. 判別式の明示的計算： 巡回拡大におけるスペアマンとウィリアムズ（Spearman and Williams）の枠組みを用い、Tschirnhausen変換を実行して $X^6$ の項を除去し、変換後の多項式 $f^*_t(X)$ を得る。この変換後の多項式の係数の可除性を分析し、定理2.1を適用することで、判別式 $d(K_t)$ および導手 $f(K_t)$ を明示的に計算する。
2. 六次多項式の算術： 解析の結果、この族におけるポリア群の算術は、単一の六次多項式の素因数分解によって完全に支配されていることが明らかになった：
   $$E(t) = t^6 + 2t^5 + 11t^4 + t^3 + 16t^2 + 4t + 8$$
   導手および判別式は、$E(t)$ のうち $1 \pmod 7$ に合同な素因数によって決定されることが示される。
3. 冪自由条件： 本研究では、$E(t)$ が5冪自由の値を取ることを仮定する。この条件は、そのような整数が無限に存在することを保証するエルデシュ（Erdős）の定理2.3、および漸近密度に関する結果を与える定理2.4によって正当化される。
4. 群論的解析： 巡回拡大におけるポリア群のカルディナリティに関するシャベール（Chabert）の公式、および曖昧なイデアル類に関するザンテマ（Zantema）の特性化を利用して、ポリア群 $Po(K_t)$ の構造を $E(t)$ の異なる素因数の数 $\omega(E(t))$ を用いて導出する。
5. 連続する体の構成的証明： 大きなポリア群を持つ連続する数体のブロックの存在に対処するため、シュアの補題（Schur's Lemma）と中国剰余定理を用いて、関連する多項式 $E(t+i)$ が所定の数の異なる素因数を持つような整数の列 $t, t+1, \dots, t+m-1$ を構成する。

主要な貢献および結果

• ポリア群の明示的な特徴付け： 本論文は、ハシモト・ホシ族に対するポリア群の完全な特徴付けを提供する。$E(t)$ が5冪自由であるという仮定の下で、ポリア群は以下と同型である：

  • $t$ が偶数の場合：$(\mathbb{Z}/7\mathbb{Z})^{\omega(E(t))-2}$
  • $t$ が奇数の場合：$(\mathbb{Z}/7\mathbb{Z})^{\omega(E(t))-1}$
    したがって、$K_t$ がポリア体であるための必要十分条件は、$\omega(E(t))$ が2（$t$ が偶数のとき）または1（$t$ が奇数のとき）であることである。

• ポリア群の非有界性： この族には、ポリア群のカルディナリティが非有界となる非ポリア体が無限に存在する。具体的には、これらの体の類群の7ランクは非有界である。これは、$E(7p+2)$ が5冪自由となる正の割合の素数 $p$ が存在することを示し、定理2.5（Halberstam）を用いて $\omega(E(7p+2))$ が無限大に発散することを示すことで確立される。

• 連続する大きなポリア群： 任意の固定された整数 $m \ge 2$ および $r > 1$ に対して、そのブロック内の各体におけるポリア群の7ランクが少なくとも $r$ となるような、族における $m$ 個の連続する体のブロックが無限に存在することを証明する。これは、関連する多項式の値が、互いに異なる素数の集合によって同時に割り切れるような算術級数を構成することによって達成される。

• 単一生成性と体指数： 15と互いに素な任意の奇数 $t$ に対して、体 $K_t$ は非単一生成（non-monogenic）である。しかし、体指数 $I(K_t)$ は正確に1である。この結果は、これらの条件下で定義多項式の判別式が次数（2, 3, または5）未満の素数で割り切れないことを示すことにより、また、巡回セプティック体は特定の円分体の極大実部分体（次数7の場合は不可能）でない限り単一生成的ではありえないというグラス（Gras）の定理を援用することで導かれる。

意義および主張
本研究の主な意義は、巡回セプティック体に関する文献の空白を埋めることにある。これは、ポリア群を明示的に決定でき、かつそれらが任意に大きくなり得ることを示す最初の無限族の例を提供している。

• 理論的含意： これらの結果は、次数 $d$ の数体の類群の $m$-ランクが $m=d=7$ のときに非有界であるという予想に対する代替的な証明を提供する。
• ポリア体の条件付き性質： 本論文は、大きな群を持つ無限個の非ポリア体の存在を証明している一方で、この族における無限個のポリア体の存在は条件的であることを指摘している。これは、既約多項式 $E(t)$ が無限に素数値を取るというブニャコフスキー予想（Bunyakovsky's conjecture）に依存している。論文内では、$E(t)$ についてのポリア体の無限性を無条件に証明することは、現在未解決である、次数が1より大きいすべての多項式に関するブニャコフスキー予想を解決することになると明記されている。
• 限界： 著者らは、ポリア体の無条件の存在に関する記述において謙虚であり、現在の結果が5冪自由の仮定、およびポリア体の存在自体に関しては未証明のブニャコフスキー予想に依存していることを認めている。本論文は新たな実験的応用を提案するものではなく、高次巡回拡大におけるポリア群の構造に関する理論的理解を進展させるものである。