核心概念
本文結合丟番圖逼近的兩種經典方法,證明了數域理想中存在最小高度的本原元,並給出了具體的界限。
摘要
論文資訊
- 標題:丟番圖逼近與數域理想中最小高度的本原元
- 作者:Lenny Fukshansky 和 Sehun Jeong
研究目標
本文旨在探討數域理想中最小高度的本原元的存在性,並給出其高度的具體界限。
研究方法
本文結合了兩種丟番圖逼近的經典方法:
- Henk 和 Thiel 提出的關於格點中最小範數點的結果。
- 基於 Alon 組合零點定理的關於格點中避免代數超曲面的結果。
主要發現
- 對於任意數域 K,其理想 I 中存在一個本原元 α,滿足 h(α) ≤ NK(I)^(2/d) |∆K|^(1/d),其中 h(α) 為 α 的絕對 Weil 高度,NK(I) 為 I 的範數,∆K 為 K 的判別式,d 為 K 的次數。
- 對於二次數域 K = Q(√D),本文給出了 I 中最小高度本原元更精確的界限,並依據 D 的不同情況進行了討論。
- 本文還證明了在避免有限個子理想的條件下,理想中仍然存在滿足一定高度界限的本原元。
主要結論
本文的結果表明,數域理想中最小高度的本原元的高度與理想的範數和數域的判別式密切相關。
研究意義
本文的研究結果對於理解數域的算術性質具有重要意義,也為尋找數域的「小」生成元提供了新的思路。
局限與未來研究方向
本文僅討論了數域理想中最小高度本原元的存在性及其高度界限,並未涉及如何有效地構造這些本原元。未來可以進一步研究如何設計高效的算法來尋找這些「小」生成元。
統計資料
本文使用了 Minkowski 繼承極小定理,該定理指出對於一個秩為 d 的格 Λ,其 d 個繼承極小值 λ1(Λ), ..., λd(Λ) 滿足 λ1(Λ) ... λd(Λ) ≤ det(Λ)。
本文還利用了格點的覆蓋半徑的概念,即覆蓋半徑 µ(Λ) 是指使得 Bd(µ(Λ)) + Λ = Rd 成立的最小正實數,其中 Bd(r) 是半徑為 r 的 d 維球體。
引述
"Diophantine avoidance has been studied by several authors in the recent years. This term refers to effective results on existence of points of bounded size (measured by norm or height, depending on the context) in a given algebraic set avoiding some specified subsets."
"A conjecture of Ruppert [20] asserts that there exists a primitive element α ∈ K such that h(α) ≤ c(d)|∆K|^(1/(2d)), where h is the absolute Weil height, ∆K is the discriminant of the number field K, and c(d) is a constant depending only on the degree d."