[論文レビュー] The Chebyshev Exponent

Gene Ward Smith|arXiv (Cornell University)|Sep 13, 2012

History and Theory of Mathematics参考文献 1被引用数 3

ひとこと要約

本稿では、チェビシェフ多項式を基盤とする、通常の指数関数と類似した新しい代数的枠組み、すなわち「チェビシェフ指数」を導入する。この枠組みにより、チェビシェフルートの形式的定式化がなされ、特に3次および4次ディヘドラ拡大を介して、実および虚二次体における非分岐拡大の無限族の構成が行われ、類群における3サイクルおよび4サイクルを有する無限族の存在が証明される。

ABSTRACT

The analogy between the nth power function and the nth Chebyshev polynomial is pursued, leading to consideration of Chebyshev radicals as analogous to ordinary radicals and Chebyshev exponents to ordinary exponents, and the cosine and hyperbolic cosine as analogs of the exponential function. We then discuss solving polynomial equations in Chebyshev radicals, and apply this to the construction of unramified extensions of quadratic number fields.

研究の動機と目的

• 通常の累乗と類似した、チェビシェフ多項式のための形式的代数的枠組みを構築すること。特に、'チェビシェフ指数'表記とその性質を導入すること。
• 通常の累乗とチェビシェフ多項式との類似性を、関数合成の性質および特性方程式の役割を通じて探求すること。
• チェビシェフ指数の形式的定式化を用いて、チェビシェフルートにおける多項方程式の解法を行い、二次数体の非分岐拡大を構成すること。
• 実および虚二次体における非分岐拡大の無限族の存在を示すこと、特に類群における3サイクルおよび4サイクルを有するものについて。
• 非分岐性を保証する多項式の具体的な構成および合同条件を提示すること、これにより二次部分体上での非分岐性が保証される。

提案手法

• 再帰関係 $ x^{ ext{ extcopyright} 0} = 2 $, $ x^{ ext{ extcopyright} 1} = x $, $ x^{ ext{ extcopyright} n} = x x^{ ext{ extcopyright} (n-1)} - x^{ ext{ extcopyright} (n-2)} $ を用いて、チェビシェフ指数 $ x^{ ext{ extcopyright} n} $ を定義し、累乗関数の一般化とする。
• 基本的恒等式 $ (z + z^{-1})^{ ext{ extcopyright} n} = z^n + z^{-n} $ を確立し、これはチェビシェフ指数を特徴づけ、単位根および特性多項式と関連付ける。
• 各単項式 $ x^k $ を $ x^{ ext{ extcopyright} k} $ に置き換えることにより、多項式への $ ext{ extcopyright} $ 演算子を定義し、代数的構造を保ちつつチェビシェフの類似物を導入する。
• チェビシェフ指数の形式的定式化を用いて、特に二次体上の3次および4次ディヘドラ拡大の分岐性を分析する。
• パラメータ $ t $, $ u $, および $ s $ に対する明示的な合同条件を導出し、判別式を割る素数における局所的挙動に基づいて非分岐拡大を保証する。
• 結果的法を用いて $ Q(z) $ と $ z^2 - xz + 1 $ から $ z $ を消去し、$ (P^{ ext{ extcopyright}})^2 $ を得る。これにより、チェビシェフ変換多項式の代数的構成が可能になる。

実験結果

リサーチクエスチョン

• RQ1 通常の累乗と類似した、チェビシェフ多項式のための形式的代数的枠組みを構築することは可能か？その定義的性質は何か？
• RQ2 二次体上の3次または4次多項式が、非分岐拡大をもたらす条件は何か？
• RQ3 チェビシェフルートおよび指数を用いて、二次数体の非分岐拡大を体系的に構成することは可能か？
• RQ4 3次または4次ディヘドラ拡大がその二次部分体上で非分岐のままであるように、パラメータに課すべき合同条件は何か？
• RQ5 このような構成から生じる、非自明な類群サイクル（3サイクルおよび4サイクル）を有する、実および虚二次体の無限族は存在するか？

主な発見

• 本稿では、$ u $ および $ t $ に対する特定の合同条件の下で、$ x^3 + ux + tu^2 $ の形の3次多項式を用いて、非自明な3サイクルを有する実および虚二次体の無限族が構成され、その存在が証明される。
• $ s = 2 $ の場合、$ x^3 + 2ux + tu^2 $ の拡大は、$ u $ が8で割り切れる、または $ u $ が偶数かつ $ t $ が偶数、または $ u $ が奇数かつ $ t ot\to 2 \bmod 4 $ のいずれかを満たす場合に非分岐である。
• $ s = 3 $ の場合、$ u $ が3で割り切れる、または $ u^9 \not\to \text{mod } 27 $、または $ u $ および $ t $ がmod 9または27で特定の合同条件を満たす場合に、非分岐拡大が存在する。
• 多項式 $ x^4 - x^3 - tx^2 - x + 1 $ は、$ t \to -13, -7, 11 \bmod{30} $ のとき、$ \textbf{Q}(\text{discriminant}) $ 上で非分岐な4次ディヘドラ拡大を生成し、このような体の無限族が得られる。
• 4次拡大の二次部分体は、$ x^2 - t(t-4) $, $ x^2 - 4t - 9 $, および $ x^2 - t(t-4)(4t+9) $ で与えられ、分岐性は $ t(t-4)(4t+9) $ が小さな素数で割り切れるかどうかに依存する。
• この構成により、指定された4次多項式と $ t $ に関する合同条件の下で、類群に4サイクルを有する実および虚二次体の無限族が存在することが確認される。