[論文レビュー] Fields Generated by Finite Rank Subgroups of $\overline{\mathbb{Q}}^*$

Lukas Pottmeyer|arXiv (Cornell University)|Oct 25, 2019

Algebraic Geometry and Number Theory参考文献 21被引用数 4

ひとこと要約

本論文は、任意の有限ランク部分群 Γ を ℚ*（代数的数の乗法群）にとったとき、K(Γsat) のすべての有限拡大 L に対して、商群 G(L)/Γsat が自由アーベル群であることを証明する。この結果は、R{\'e}mond の一般化された Lehmer 猜想の成立に必要な群論的条件を確認したものであり、特に乗法的群の設定における予想の (c) 部分を支持する。

ABSTRACT

Let $\Gamma$ be a finite rank subgroup of $\overline{\mathbb{Q}}^*$. We prove that the multiplicative group of the field generated by all elements in the divisible hull of $\Gamma$, is free abelian modulo this divisible hull. This proves that a necessary condition for R\'emond's generalized Lehmer conjecture is satisfied.

研究の動機と目的

• . 本論文の目的は、乗法的群の設定における R{\'e}mond の一般化された Lehmer 猜想に必要な群論的条件を確立することである。
• . 本論文は、G = Gm であるとき、商群 G(L)/Γsat の構造を調査する。
• . 本研究は、Γ のすべての元の根によって生成される体の乗法的群がその飽和に関して自由アーベル群であるかどうかを検討する。
• . 本研究は、小スケールの代数的数の高さに関する既存の境界を一般化することを目的としている。
• . 本研究の目的は、Conjecture 1.1(c) が成立するための必要条件である G(L)/Γsat が自由アーベル群であることを示すことである。

提案手法

• . 証明は、Γdiv と Γsat = (End(G)·Γ)div としての可除包（divisible hull）の概念を用い、G(Q) の部分群に対して適用する。
• . 本論文は、Pontryagin双対性および自由アーベル群の分類結果を用いて、G(L)/Γsat の構造を分析する。
• . 本論文は、離散的ノルムおよび商群上のセミノルムを用いて、K(Γsat) の有限拡大 E に対して G(E)/G(E)∩Γsat が自由アーベル群であることを確立する。
• . 本論文は、Γ の生成子の数に関する帰納法を用いて、L*/E*Γsat が有限拡大 E ⊆ L = K(Γsat) に対してねじれ自由であることを証明する。
• . 証明は、L*/E*Γsat の任意のねじれ元が E*Γsat に属することを示すことで進行し、巡回拡大およびガロア作用の性質を用いる。
• . 本論文は、Bays, Hart, および Pillay の G(K′(Gtors))/Gtors のねじれ自由構造に関する結果を活用し、一般の場合をねじれの場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 . Γ が ℚ* の有限ランク部分群であるとき、K(Γsat) のすべての有限拡大 L に対して、商群 G(L)/Γsat は自由アーベル群のままであるか？
• RQ2 . G(L)/Γsat のねじれ自由構造は、R{\'e}mond の一般化された Lehmer 猜想（特に (c) 部分）の成立に必要な条件であるか？
• RQ3 . 離散的ノルムおよびガロア理論的議論を用いて、L*/E*Γsat がねじれ自由であることを示せるか？
• RQ4 . ℚ* の有限ランク部分群 Γ の飽和 Γsat は、K(Γsat) の乗法的構造とどのように関係するか？
• RQ5 . 中間体 E ⊆ L に対して、L*/E*Γsat がねじれ自由であるための条件は何であるか？

主な発見

• . 本論文は、ℚ* の任意の有限ランク部分群 Γ に対して、K(Γsat) のすべての有限拡大 L に対して、商群 G(L)/Γsat が自由アーベル群であることを証明した。
• . 本論文は、K(Γsat) のすべての有限拡大 E ⊆ L に対して、L*/E*Γsat がねじれ自由であることを確立した。これは、G(L)/Γsat の自由性を示す上で重要なステップである。
• . この結果は、R{\'e}mond の一般化された Lehmer 猜想（(c) 部分）に必要な条件が、乗法的群の設定において満たされていることを確認する。
• . 証明は、L*/E*Γsat の任意のねじれ元が E*Γsat に属することを示すことで成り立つ。この際、帰納法と巡回拡大のガロア理論的性質を用いる。
• . 本論文は、離散的ノルムおよびセミノルムを用いて、K(Γsat) のすべての有限拡大 E に対して G(E)/G(E)∩Γsat が自由アーベル群であることを示した。
• . 本結果は、既存のねじれ群に関する研究を拡張し、数体における高さの境界に関するさらなる研究の構造的基盤を提供する。