斜交群をガロア群に持つ数体の個数の下界
Counting number fields with symplectic Galois group
この論文をやさしく読む
ひとことで言うと
指定した斜交群をガロア群に持つ数体が、判別式の上限を増やしたとき少なくともどれだけ存在するかを証明する。
何に役立つ?
ガロア群ごとの数体の個数を見積もる理論研究に役立つ。
この研究の面白いところ
超楕円曲線族のJacobi多様体から具体的に数体を作り、モノドロミーと篩法で個数の下界を得る。
どこまで分かった?
指定した群と置換表現についての下界である。Malle予想そのものを証明したという結果ではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
nを1以上の整数、ℓを奇素数とし、Gを有限体Fℓ上のPGSp₂ₙまたはGSp₂ₙとする。Gから対称群S_dへの忠実で推移的な置換表現πを一つ固定する。本研究は、次数dを持ち、ガロア閉包のガロア群がGで、付随する置換表現がπである数体を調べる。S_dの置換σの指数を、dからσの軌道の個数を引いたものと定義する。τを斜交トランスベクション、または射影斜交群におけるその像とすると、絶対判別式がX以下であるそのような数体の個数が、Xの1/(2n・ind(π(τ)))乗の定数倍以上であることを証明する。自然なベクトル作用と射影作用について得られた指数は、ℓを無限大にすると、Malle予想の弱形式が予測する指数の漸近的に1/(4n)になる。数体は、超楕円曲線の1パラメーター族のJacobi多様体に付随するmod ℓガロア表現から構成する。証明では、この族の大きな斜交モノドロミーと、平方因子を持たない数を選ぶ篩法を組み合わせる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19(UTC)
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $n\geq 1$ and let $\ell$ be an odd prime. Let $G=\mathrm{PGSp}_{2n}(\mathbb{F}_\ell)$ or $\mathrm{GSp}_{2n}(\mathbb{F}_\ell)$, and fix a faithful transitive permutation representation $\pi:G\longrightarrow S_d$. We study degree-$d$ number fields whose Galois closures have Galois group $G$ and whose associated permutation representation is $\pi$. For $\sigma\in S_d$, write $\operatorname{ind}(\sigma)$ for its permutation index, namely $\operatorname{ind}(\sigma) = d-\#\{\text{orbits of $\sigma$ on $\{1,\ldots,d\}$}\}$. If $\tau$ denotes a symplectic transvection, or its image in the projective symplectic group, we prove that the number of such fields with absolute discriminant at most $X$ is bounded below by a constant multiple of $X^{1/(2n\,\operatorname{ind}(\pi(\tau)))}$. For the natural vector and projective actions, the exponents we obtain are asymptotically $1/(4n)$ of those predicted by the weak form of Malle's conjecture as $\ell\to\infty$. The fields are constructed from the mod-$\ell$ Galois representations attached to the Jacobians of a one-parameter family of hyperelliptic curves. The proof combines large symplectic monodromy for this family with a squarefree sieve.
著者のコメント
v1: 17 pages
arXiv ID: 2609.23093 / 要約の誤りについて