哈瑟原则

✍ dations ◷ 2025-10-25 07:10:36 #代数数论,丢番图方程

在数学里,赫尔姆特·哈瑟的局部-全域原则,或称为哈瑟原则,是一个表示“一个方程可以在有理数上被解当且仅当它可以在实数上‘及’在每个质数之p进数上被解”的原则。

哈瑟-闵可夫斯基定理描述著局部-全域原则会由在有理数上之二次型来表示0的问题中成立(由闵可夫斯基证出);且更一般性地,会在任何一个数域上成立(由哈瑟证出),其中使用了所有合适的局部域的必要条件。循环扩张上的哈瑟定理描述著局部-全域原则可以应用在数域循环扩张之一个相对赋范的条件下。

恩斯特·赛尔玛提出的反例表示哈瑟-闵可夫斯基定理不可以扩伸至三次型,如三次型33+43+53可以在p进数上表示0,但不能在Q上表示。

罗杰·希思布朗页面存档备份,存于互联网档案馆证明每个在整数上至少有14个变数的三次型可以表示0,改进了由哈罗德·达芬波特所证明出的早期成果。因此局部-全域原则当然地会在有理数上至少有14个变数的三次型上成立。

若将其限定在无奇点的类型上,即可以得到更好的结果:希思布朗证明每个在有理数上至少有10个变数之无奇点的三次型都可表示0,因此可以当然地建立起在此一类型上的哈瑟原则。可知在最有可能的义意下,可知会存在一个不会表示零的9个变数之于有理数上的无奇点三次型。无论如何,荷利证明出了哈瑟原则会在由在有理数上至少9个变数之无奇点三次型来表示0的条件下成立。达芬波特、希思布朗和荷利在他们的证明中都是使用哈代-勒特伍德圆法。根据马宁的想法,哈瑟原则在三次型中成立的障碍是被挷在布劳尔群的理论之中;而现在只表现出此一设定还不是个完整的故事(Alexei Skorobogatov, 1999)。

藤原正彦和Masaki Sudo提出的反例表示哈瑟-闵可夫斯基定理不可以延伸至10+5次型,其中的是一个非负整数。

在另一方面,柏区定理证明出若是一个奇数,则存在一个 (),使任何有多于 个变数的 次型皆能表示 0:哈瑟原则在此当然地成立。

相关

  • 奥尔维耶托主教座堂奥尔维耶托主教座堂(Duomo di Orvieto)是位于意大利中部翁布里亚大区奥尔维耶托镇的一座罗马天主教主教座堂,规模庞大,14世纪乌尔班四世下令建造,以纪念博尔塞纳的圣体布的神迹,据
  • 阮的故乡·高雄《阮的故乡·高雄》是由一群台湾音乐人及广播人于2014年高雄气爆事件后所录制的一首公益歌曲,旨在借由合唱来激励各界携手面对这场意外。2014年高雄气爆事件发生后,为了鼓励社
  • 盖茨堡演说《葛底斯堡演说》(英语:Gettysburg Address)是第16任美国总统亚伯拉罕·林肯最著名的演说,也是美国历史上为人引用最多之政治性演说。1863年11月19日,也就是美国内战中葛底斯堡战
  • 路易吉·阿拉曼尼路易吉·阿拉曼尼(意大利语:Luigi Alamanni,1495年-1556年),文艺复兴时期欧洲佛罗伦萨人文主义者。他主要从事讽刺诗文,诗歌和戏剧创作。他模仿维吉尔《农事诗集》写出了非常受人欢
  • 瓦尔科尼·彼得瓦尔科尼·彼得(匈牙利语:Várkonyi Péter,1931年4月3日-2008年10月14日),匈牙利外交官,政治人物。前外交部长(1983年-1989年),驻美国大使(1989年-1990年),国民议会议员(1985年-1989年),匈牙利
  • 阿拿尔多·诺瓦埃斯·多斯桑托斯阿拿尔多·诺瓦埃斯·多斯桑托斯(Agnaldo Novaes dos Santos,1978年03月7日-),出生于萨尔瓦多,巴西职业足球运动员,司职中场。
  • Oolite《Oolite》是3D空间模拟游戏,完全仿照Elite设计。名称来自Object Oriented Elite。用Objective-C写成。源代码授权为GNU GPL version 2,图像音乐数据授权CC-BY-NC-SA-3.0 lice
  • Kel-Tec SU-16半自动步枪SU-16是一种半自动卡宾枪,由美国Kel-Tec公司研制及生产。其名称中的“SU”为“运动用途步枪”(Sport Utility rifles)的缩写。由于可以折成两部分以方便携带,该枪显得十分紧凑。
  • 刘德海 (音乐家)刘德海(1937年8月13日-2020年4月11日),男,祖籍河北沧县,生于上海,中国琵琶演奏家、作曲家、音乐教育家,以改编古曲《十面埋伏》闻名,曾任教于中央音乐学院、中国音乐学院等校,也担任过
  • 斯坦豪斯-莫泽表示法斯坦豪斯-莫泽表示法,又称斯坦豪斯-莫泽记号、斯坦豪斯-莫泽多边形记号、多边形记号,为利用多边形来表示大数的一种表示法。此表示法由雨果·斯坦豪斯(英语:Hugo Steinhaus)发明,