哈瑟原则

✍ dations ◷ 2025-04-03 17:04:30 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 预防接种中华人民共和国预防接种,亦称中华人民共和国计划免疫或中华人民共和国国家免疫规划是中华人民共和国国务院卫生行政部门和其下属的各省、自治区、直辖市政府的卫生行政部门根
  • 1472年重要事件及趋势重要人物
  • 南竿岛南竿乡(福州语平话字:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium
  • 热力学图热力学图是科学家及工程师用来表示一物体(多半是流体)热力学状态及其变化的图。例如T-s图(温度熵图)就可以说明一流体在压缩机中的温度及熵的变化。以下是一些常见的热力学图:气
  • 安迪·伯纳姆安迪·默里·伯纳姆(英语:Andy Murray Burnham,1970年1月7日-)是英国工党的一位政治人物,自2001年至2017年,任利选区的下议院议员。现任大曼彻斯特市长(英语:Mayor of Greater Manche
  • 格奥尔格五世格奥尔格五世(Georg V,1819年5月27日-1878年6月12日),全名格奥尔格·弗里德里希·亚历山大·卡尔·恩斯特·奥古斯特()1851年—1866年在位为汉诺威国王,1851年—1878年为坎伯兰和特
  • 国际天文奥林匹克国际天文奥林匹克(International Astronomy Olympiad,IAO)是一个为高中生(14-18岁)组织的国际性年度天文科教活动,包含一个在这些学生间的智力竞赛,它属于国际科学奥林匹克的一员
  • 晋昌宗室晋昌(满语:ᡠᡴᠰᡠᠨ ᠵᡳᠨᠴᠠᠩ,穆麟德:,1759年-1828年),爱新觉罗氏,字戬斋,号红梨主人,清朝宗室、满洲正蓝旗人。清世祖五子恭亲王常宁五世孙,固山贝子明韶的长子,初授三等侍卫
  • 郑汝昌郑汝昌(1450年-1504年)朝鲜王朝文人和政治人,诗人,儒学者,哲学者,作家。朝鲜巨儒占毕斋金宗直的门人及前记士林派人物之一。他是第10任朝鲜国王燕山君王世子期的老师。字伯勗,号一蠹
  • 开合开合是一个汉语音韵学术语,是“开口”和“合口”的合称:212。若某字在中古汉语语音中没有介音/,则属“开口”,如“何”、“鞋”、“删”;若存在介音,则属“合口”,如“禾”、“怀