[論文レビュー] On a question of Perlis and Stuart regarding arithmetic equivalence

Guillermo Mantilla-Soler|arXiv (Cornell University)|Jul 9, 2018

Algebraic Geometry and Number Theory参考文献 11被引用数 6

ひとこと要約

この論文は、PerlissとStuartが提起した問題、すなわち、算術的に同値な数体は各素数における分岐次数の和が等しいべきかどうかを解決する。七次数体において、この和は、残留次数型が (1,3)、(1,1,2)、または (1,1,1,2) である場合を除き保存されることを証明する。これらの型では反例が存在する。結果は鋭いことが、非同型な算術的に同値な数体がこれらの型において異なる分岐和を持つ明示的構成によって示されている。

ABSTRACT

Let $K$ be a number field. The $K$-arithmetic type of a rational prime $\ell$ is the tuple $A_{K}(\ell)=(f^{K}_{1},...,f^{K}_{g_{\ell}})$ of the residue degrees of $\ell$ in $K$, written in ascending order. A well known result of Perlis from the 70's states that two number fields have the same Dedekind zeta function if and only if for almost all primes $\ell$ the arithmetic types of $\ell$ in both fields coincide. By the end of the 90's Perlis and Stuart asked if having the same zeta function implies that for ramified primes the sum of the ramification degrees coincide. Here we study and answer their question for septic number fields.

研究の動機と目的

• 算術的に同値な数体が、各素数において分岐次数の和が等しいべきかどうかを特定すること。
• 算術的同値性の下での七次数体における分岐次数の挙動を調査すること。
• 同じ残留次数をもつにもかかわらず、分岐次数の和が異なることが許される正確な条件を同定すること。
• 分岐和の等しさが失敗する条件の鋭さを示すために、明示的な反例を構成すること。

提案手法

• ガロア閉包の合成におけるガロア部分群の準同型的同値性と算術的同値性の等価性を利用する。
• 群論的技法を用いて、七次体における分岐および残留次数のパターンを分析する。
• 多項式によって定義される数体の因子型および判別式の検証に、計算代数システム（MAGMA）を用いる。
• 素数の因子数と残留次数に応じて可能な算術的型を分類し、分岐和の不一致が生じ得るケースに焦点を当てる。
• 非算術的単体でない七次体は、ガロア閉包のガロア群が PSL₂(𝔽₇) であることを活用し、可能な分岐型を制限する。
• 判別式の付値公式：vₗ(disc(O_K)) = [K:ℚ] − Σfᵢ を用いて、反例の可能性がある場合の判別式指数の制約を求める。

実験結果

リサーチクエスチョン

• RQ1 数体の算術的同値性は、各素数における分岐次数の和が等しいことを示唆するか？
• RQ2 算術的に同値な七次数体で、ある素数における総分岐次数が異なるものはあるか？
• RQ3 七次体において、算術的同値性の下で分岐和が異なる可能性がある残留次数型は何か？
• RQ4 過酷な分岐およびガロア群構造は、潜在的反例にどのような制約を課えるか？
• RQ5 同じ算術的型をもつにもかかわらず、分岐次数の和が異なる明示的例を構成できるか？

主な発見

• 七次数体において、算術的に同値な数体では、算術的型が (1,3)、(1,1,2)、または (1,1,1,2) でない限り、分岐次数の和が保存される。
• 上記の例外型それぞれについて、明示的な反例が存在する：(1,3)、(1,1,2)、(1,1,1,2) の型では、非同型な算術的に同値な七次数体で、分岐和が異なるものが存在する。
• 素数 ℓ が過酷な分岐をしない場合、分岐和が異なるならば、判別式の付値 vₗ(disc(O_K)) は {2,4} に属する。
• 過酷な分岐を受ける素数では、ℓ = 2 および ℓ = 3 のみが反例を生じる可能性があり、その場合 vₗ(disc(O_K)) ∈ {6,8} である。
• 結果は鋭い：本論文では、同じ判別式、符号、因子型を持つが、例外型において分岐和が異なる七次体のペアを明示的に構成している。
• 非算術的単体でない七次体は、ガロア群が PSL₂(𝔽₇) でなければならない。これは、分岐型の可能な組合せを制限し、{(1,2,2),(3,1,1)} のような構成を除外する。