哈瑟原则

✍ dations ◷ 2025-12-09 06:47:50 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 荷兰省级政治荷兰政府与政治 系列条目荷兰省级政治是构成荷兰政治的网络之一,省份的地位仅次于中央政府,而省级政治由十二个省分主导。省级单位的官员主要有三种来源:第一种是女王专员,第二
  • 伊勒里登伊勒里登(德语:Illerrieden)是德国巴登-符腾堡州的一个市镇。总面积18.17平方公里,总人口3377人,其中男性1691人,女性1686人(2011年12月31日),人口密度186人/平方公里。
  • 阮福旲阮福旲(越南语:Nguyễn Phúc Đài/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H
  • 倒奶杀牛事件倒奶杀牛事件是指中国奶农因供需失衡,而将过剩的牛奶产量倾倒,以及将多余的乳牛屠宰的事件。2014年至2015年初,因奶源过剩、消费低迷,而导致在山东、河北、内蒙古、黑龙江、广东
  • 金·比兹利金·克里斯奇·比兹利(英语:Kim Christian Beazley,1948年12月14日-),澳大利亚工党籍政治家、外交官。1948年12月生于西澳州Subciaco,毕业于西澳大学。1980年当选为澳大利亚国会议
  • 卡帕亚区坐标:14°07′08″S 73°19′05″W / 14.119°S 73.318°W / -14.119; -73.318卡帕亚区(西班牙语:Distrito de Capaya),是秘鲁的一个区,位于该国南部阿普里马克大区的艾马赖斯省,始
  • 电子邮件客户端比较下表比较了大部分知名电子邮件客户端的通用和技术信息,但是目前非常常用的浏览器界面没有被包括进来。参见每个产品的相关条目了解更多信息。电子邮件客户端通用基本信息:包括
  • 绵崧二等侍卫(嘉庆四年~?年)奉恩辅国公绵崧(1780年5月31日-1837年12月27日),贝子永泽第四子,母继室姜佳氏,其父为姜智铎,恒亲王系第八代。他在乾隆四十五年四月(1780年)出生,嘉庆四年十二月(合1
  • 胡惟庸胡惟庸(14世纪-1380年),安徽定远人,与李善长同乡。明朝开国功臣,最后一任中书省丞相。因被疑叛乱,爆发了胡惟庸案,后遭明太祖处死。胡惟庸出生不详。龙凤元年(1355年)投朱元璋于和州,授
  • 路易吉·卡普安纳路易吉·卡普安纳(1839 - 1915),意大利作家、记者,真实主义文学的代表人物之一。他是乔万尼·维尔加的同时代人,两人都是卡塔尼亚人。他也是意大利最早受到法国自然主义者左拉