[論文レビュー] Additive unit representations in global fields - A survey

Fabrizio Barroero, Christopher Frei+1 more|arXiv (Cornell University)|Feb 1, 2011

Finite Group Theory Research参考文献 39被引用数 7

ひとこと要約

本調査は、代数的整数環およびグローバル体における加法的単位元表現を検討し、いかなる有限kに対してもその環がk-goodでないことを確立しており、これは単位和数がωまたは∞であることを示唆している。主な貢献は、グローバル体におけるS整数環の単位和数がωまたは∞である条件の包括的概説であり、数体から関数体への拡張は、S単位方程式の境界と算術級数の議論に基づく。

ABSTRACT

We give an overview on recent results concerning additive unit representations. Furthermore the solutions of some open questions are included. The central problem is whether and how certain rings are (additively) generated by their units. This has been investigated for several types of rings related to global fields, most importantly rings of algebraic integers. We also state some open problems and conjectures which we consider to be important in this field.

研究の動機と目的

• グローバル体におけるS整数環の環が単位元によって加法的に生成される条件を特定すること。
• 代数的整数環および関数体に関する単位和数u(R)に関する未解決問題を解明すること。
• 行列環や自己準同型環からグローバル体へのk-good性および単位和数に関する結果を拡張すること。
• グローバル体におけるS整数環のu(R) = ωとu(R) = ∞を区別する基準を提示すること。
• 有限類数をもつ代数的整数環およびデデキンド整域上の行列環の単位和数を調査すること。

提案手法

• EvertseとGyőry、およびvan der Waerdenの算術級数に関する定理を用いて、零特徴的環における解の境界を適用し、非k-good性を証明する。
• 関数体におけるS単位方程式に関するMasonの結果を応用し、非有限k-good性の関数体版を確立する。
• k-good元および単位和数u(R)の概念を用いて、すべての元が単位元の和として表されるかどうかに基づく環の分類を行う。
• 命題16を適用して、左イデアルがn個未満の元では生成できないこと、およびその中で0しか2-good元でないことを確認することで、行列の非2-good性を示す。
• Hurwitz四元数環のような環における左および右のユークリッド除法の存在を用いて、それらの行列環が強く2-goodであることを証明する。
• ユークリッド環上での対角化の一般化により、M_n(R)のすべての行列が初等行列を用いて対角行列に同値であることを示し、2-good性を示す。

実験結果

リサーチクエスチョン

• RQ1 ℚの代数的拡大体Kに対して、Kの整数環Rの単位和数u(R) ≤ ωとなるのはどのような場合か？
• RQ2 類数cの代数的整数環Rに対する行列環M_n(R)の単位和数u(M_n(R))は何か。特に2 ≤ n < 2cのとき。
• RQ3 グローバル体におけるS整数環のうち、u(R) = ∞（すべての元が単位元の和として表されない）となるものがあるか？
• RQ4 特にPIDでない場合を含め、すべてのnについてデデキンド整域上の行列環の単位和数を完全に特徴づけられるか？
• RQ5 グローバル体におけるS整数環のすべての元が有限個の単位元の和として表されるか。その場合、必要な最小の数は何か？

主な発見

• 任意の代数的数体の整数環Rに対して、u(R) = ωであり、すべての元が単位元の和として表されるが、いかなる有限kに対してもk-good性を満たさない。
• 関数体の場合、S ≠ ∅である完備体上のS整数環に対して、u(R) ≥ ωであり、同様に非有限k-good性の結果が成り立つ。
• Hurwitz四元数環Hに対して、u(H) = ωであり、n ≥ 2に対してM_n(H)は強く2-goodである。これはすべての行列が2つの単位元の和として表されることを意味する。
• 有限類数cのデデキンド整域Rに対して、すべてのn ≥ 2cについてM_n(R)は2-goodである。これはVámosとWiegandによって示された。
• 類数c > 1の複素二次整数環Rに対して、u(M_2(R)) = 3であり、n ≥ 2cに対してはu(M_n(R)) = 2である。
• グローバル体におけるS整数環の単位和数u(R)は、体およびSに応じてωまたは∞となり得る。一般に、必要な単位元数に有限の上限は存在しない。