哈瑟原则

✍ dations ◷ 2025-04-03 10:36:34 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 克鲁松氏症候群克鲁松氏症候群是第十号及第四号染色体上的FGFR基因出现错误而引致的骨骼、软骨的形成异常。其发生率为1/25000至1/60000。遗传方面,其遗传方式为点突变,例如C342Y、Y340H、S3
  • 足利尊氏足利尊氏(1305年-1358年),室町幕府的第一代征夷大将军(1338年-1358年)。原名足利高氏,幼名又太郎。镰仓幕府灭亡后,由后醍醐天皇赐名为尊氏。出生于下野国(今栃木县),是足利贞氏的次子,母
  • 埃奇米阿津主教座堂埃奇米阿津主教座堂(亚美尼亚语:Էջմիածնի Մայր Տաճար)是亚美尼亚使徒教会的总堂和亚美尼亚宗主教驻地,位于亚美尼亚西部城市瓦加尔沙帕特,靠近土耳其边境。埃奇
  • 弗兰克尔·列奥巴黎公社领导人之一弗兰克尔·列奥(匈牙利语:Frankel Leó,1844年2月25日-1896年3月29日),匈牙利国际工人运动活动家,法国巴黎公社主要领导人之一。1844年,在布达佩斯出生。领导第一
  • 墨脱节肢蕨墨脱节肢蕨(学名:)为水龙骨科节肢蕨属下的一个种。
  • 南宝山镇南宝山镇,原为南宝乡,是中华人民共和国四川省成都市邛崃市下辖的一个乡镇级行政单位。2019年12月,将南宝山镇茶板村、金甲村、常乐村、大葫村所属行政区域划归火井镇管辖。南宝
  • 吉姆·霍尔 (程序员)吉姆·霍尔(英语:Jim Hall (James Hall))是一名美国计算机程序员,倡导自由软件,他最知名的是开发了FreeDOS。 在1994年霍尔开发了MS-DOS操作系统的免费替代品,当时他还是威斯康星
  • 麦耶斯家的圣诞节《麦耶斯家的圣诞节》(英语:)是一部2016年美国圣诞(英语:Christmas by medium)喜剧片,由大卫·E·塔尔伯特(英语:David E. Talbert)执导和撰写剧本。电影主演包括金柏莉·艾莉丝(英语:Ki
  • 大卫·麦克拉伦·巴大卫·麦克拉伦·巴 (1915年6月3日去世,24岁),苏格兰橄榄球运动员。大卫在第一次世界大战中于法国阵亡,他当时正效力戈登高地兵团。大卫在1911至1914年为牛津大学橄榄球队效力。
  • 杀死巨人的女孩《杀死巨人的女孩》(英语:)是一部2017年美国奇幻惊悚片,由安德斯·华特(英语:Anders Walter)执导,乔·凯利(英语:Joe Kelly (writer))撰写剧本,这同时也是华特的长片处女作。该片改编自