[论文解读] Infinite global fields and the generalized Brauer--Siegel theorem

M. A. Tsfasman, Serge Vlăduţ|ArXiv.org|May 13, 2002

Coding theory and cryptography参考文献 27被引用 5

一句话总结

本文發展了無限全局域的理論——即數域或函數域塔的極限——引入不變量與zeta函數。該理論在去除標準假設 $ n / \log\sqrt{|D|} \to 0 $ 的前提下，推廣了Brauer–Siegel定理，證明了 $ \log hR / \log\sqrt{|D|} $ 的漸近界，涵蓋未分歧塔的情形，並構造了反例表明此假設是必要的，從而精化了類數與單位根的界。

ABSTRACT

The paper has two purposes. First, we start to develop a theory of infinite global fields, i.e., of infinite algebraic extensions either of ${\mathbb{Q}}$ or of ${\mathbb{F}}_r(t)$. We produce a series of invariants of such fields, and we introduce and study a kind of zeta-function for them. Second, for sequences of number fields with growing discriminant we prove generalizations of the Odlyzko--Serre bounds and of the Brauer--Siegel theorem, taking into account non-archimedean places. This leads to asymptotic bounds on the ratio ${{\log hR}/\log\sqrt{| D|}}$ valid without the standard assumption ${n/\log\sqrt{| D|}} o 0,$ thus including, in particular, the case of unramified towers. Then we produce examples of class field towers, showing that this assumption is indeed necessary for the Brauer--Siegel theorem to hold. As an easy consequence we ameliorate on existing bounds for regulators.

研究动机与目标

• 建立無限全局域的基礎理論，包括不變量與zeta函數，以研究其漸近算術性質。
• 將古典Brauer–Siegel定理推廣至判別式遞增的數域序列，無需假設 $ n / \log\sqrt{|D|} \to 0 $。
• 建立Brauer–Siegel比 $ \log hR / \log\sqrt{|D|} $ 的漸近界，涵蓋未分歧類域塔。
• 構造無限全局域的顯式例子（如未分歧2-塔），以證明古典定理中標準假設的必要性。
• 透過分析非阿基米德賦值與使用顯式公式，改進現有對調節子與類數的界。

提出的方法

• 將數域的虧格定義為 $ g = \log\sqrt{|D|} $，函數域則定義為其對應曲線的虧格，使用一致的對數基底以統一結果。
• 透過有限擴張zeta函數的極限定義無限全局域的zeta函數，並分析其解析性質。
• 使用顯式公式與對小範數賦值數量的界，利用廣義黎曼假設（GRH）與無條件估計。
• 應用優化技術以界定小範數賦值的數量，利用顯式公式導出的不等式來約束Brauer–Siegel比。
• 透過未分歧塔（如Martinet域）構造無限全局域的例子，使用精化的估計計算Brauer–Siegel比的上下界。
• 採用zeta函數的阿代爾積分表達式，並精化估計，以在GRH下與無條件下導出有效界。

实验结果

研究问题

• RQ1 Brauer–Siegel定理能否推廣至 $ n / \log\sqrt{|D|} \not\to 0 $ 的數域序列，特別是在未分歧塔的情形？
• RQ2 在不假設廣義黎曼假設的情況下，Brauer–Siegel比對所有漸近精確的數域族是否仍為良定義？
• RQ3 在無限全局域中，特別是未分歧塔的情形，Brauer–Siegel比的最佳可能上下界為何？
• RQ4 能否導出具有顯式誤差項的有效版本廣義Brauer–Siegel定理？
• RQ5 是否存在類域塔使得Brauer–Siegel比小於或大於先前已知的界？

主要发现

• 本文證明，對於某些數域族，即使在無 $ n / \log\sqrt{|D|} \to 0 $ 假設下，Brauer–Siegel比 $ \log hR / \log\sqrt{|D|} $ 的上界仍不超過約 0.7108。
• 對於實Martinet域 $ K = \mathbb{Q}(\sqrt{2}, \sqrt{3\cdot5\cdot7\cdot23\cdot29}) $，其無限未分歧2-塔的Brauer–Siegel比落在區間 $ (0.8009, 0.9248) $ 內，顯示未分歧設定下具有非平凡行為。
• 作者透過構造反例（如未分歧塔）表明，標準假設 $ n / \log\sqrt{|D|} \to 0 $ 對於古典Brauer–Siegel定理是必要的，因為在此類情形下該比值不收斂至1。
• 透過對小範數賦值的優化，本文在改進假設下導出Brauer–Siegel比的上界約為 0.623，優於先前估計。
• 本文提供漸近精確族中Brauer–Siegel比的無條件上界，並猜想透過改進技術可建立類似下界。
• 提出廣義Brauer–Siegel定理的有效版本，其餘項可透過精化zeta函數的阿代爾積分表達式中的估計加以改進。