\newcommand\underto[1]{\xrightarrow[#1]{}}布劳尔-西格尔定理指出,如果我们考虑一个无限的数域序列钾我/问钾我/问K_i/\mathbb{Q}使得
\frac{[K_i:\mathbb{Q}]}{\log{|D_i|}}\underto{i\to\infty}0,如果钾我/问钾我/问K_i/\mathbb{Q}是 Galois,那么
\frac{\log(h_iR_i)}{\log(\sqrt{|D_i|})} \underto{i\to\infty}1
在哪里时长我时长我h_i是班级数量钾我钾我K_i,R我R我R_i监管机构,以及德我德我D_i判别式。
我的问题很简单,如果我们使用阿贝尔 CM 场,是否有可能
\log(R_i)\vphantom{\rule{0em}{-2ex}}\underto{i\to\infty}-\infty?
或者更准确地说,日志(R我)日志(|德我|√)日志(R我)日志(|德我|)\frac{\log{(R_i)}}{\log(\sqrt{|D_i|})}渐近有界吗?
等价于日志(时长我)日志(|德我|√)日志(时长我)日志(|德我|)\frac{\log(h_i)}{\log(\sqrt{|D_i|})}渐近有界吗?
\endgroup
最佳答案
1
如果钾钾K是一个数场,那么它的调节器总是大于1 / 51/51/5事实上,Friedman,E.,,《发明数学》。98(1989)599–622,包含以下结果:对于每个钾钾K我们有
R钾≥R大号R钾≥R大号R_K\geq R_L, 在哪里大号大号L是唯一的全复六次域的判别式− 10051−10051-10051。特别是,不,日志R我日志R我\log R_i永远不会− ∞−∞-\infty并且两者日志R我日志|德我|√日志R我日志|德我|\frac{\log R_i}{\log \sqrt{|D_i|}}和日志时长我日志|德我|√日志时长我日志|德我|\frac{\log h_i}{\log \sqrt{|D_i|}}有上下两个界限。
\endgroup
3
-
3\begingroup
哇!我完全不知道!:) 谢谢你这个非常有启发性的回答!
\endgroup
– -
1\begingroup
是否也存在一个明确的下限日志R钾≥ c ⋅ [ K:问] + d日志R钾≥丙⋅[钾:问]+d\log{R_K} \geq c \cdot [K:\mathbb{Q}] +d对于一些常数光盘丙,dc,d?
\endgroup
– -
\begingroup
@Aphelli,你完全正确!R. Zimmert 证明了R钾≥ 0.04经验值(0.46转+0.1秒)R钾≥0.04经验(0.46r+0.1s)R_K\geq 0.04\exp(0.46r+0.1s)如果钾钾K有rrr真实嵌入和sss成对的复杂嵌入。该论文名为“Idealklassen und eine Regulatorabschätzung 中的 Ideale kleiner Norm”
\endgroup
–
|
|