哈瑟原则

✍ dations ◷ 2025-09-11 18:55:01 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 单磷酸脱氧胞苷去氧胞苷单磷酸(Deoxycytidine monophosphate,dCMP)是一种去氧核苷酸,是DNA的组成原料之一。结构与胞苷单磷酸相似,但一个-OH基被氢原子取代。
  • 构造物理学地壳构造物理学(英语:Tectonophysics)是地球物理学的一个分支,是研究地质构造岩石层内的构造运动和变形的物理过程,以及它们和力的关系的学科。该领域包括应力的,应变的,并在地球的
  • 胱氨酸尿症胱氨酸尿症(英语:Cystinuria)是一种遗传性肾小管膜转运异常疾病,由于肾小管再吸收胱氨酸减少,导致尿液中的胱氨酸含量升高,而引起尿路结石的发生。近端肾小管上皮细胞上的rBAT和BA
  • 希尔斯堡惨剧希尔斯堡惨案(Hillsborough Disaster)是1989年4月15日在英格兰谢菲尔德的希尔斯堡球场发生的踩踏事故,造成96名利物浦球迷死亡。事件起因是由于大量球迷在短时间内同时由球场其
  • 暴君暴君,可能指:
  • 美国哥伦比亚运动服装公司Columbia Sportswear Company,中文译名为:哥伦比亚运动服装公司,是一间美国上市公司。美国 Columbia 运动服装公司成立于俄勒冈州波特兰,1938年在俄勒冈州出产雨衣、帽为主,主席
  • 步氏麟屬,有翻译作步氏麟,是生活在中新世晚期欧洲、非洲的一种已经灭绝的生物,由生物学家威廉·迪勒·马特修(英语:William Diller Matthew)于1929年命名。属下有两个种, B. adoumi和B. att
  • A2高速公路 (塞尔维亚)A2高速公路(塞尔维亚语:Аутопут А2 / Autoput A2),是塞尔维亚一条高速公路,北起首都贝尔格莱德,南至波热加,未来将延伸至接壤黑山共和国的边境。利格至查查克、长40公里长
  • 击剑选手《击剑选手》(芬兰语:Miekkailija,爱沙尼亚语:Vehkleja)是一部2015年芬兰和爱沙尼亚合拍的剧情片,芬兰导演克劳斯·哈洛执导、Anna Heinämaa编剧,讲述爱沙尼亚前击剑运动员、教练
  • 桓豁桓豁(320年-377年10月13日),字朗子,谯国龙亢(今安徽怀远)人。晋朝重要将领,桓彝之子,大司马桓温之弟。桓豁于桓温内镇姑孰后接替他任荆州刺史,任内努力助东晋抵抗前秦,在前秦多场对荆州