哈瑟原则

✍ dations ◷ 2025-09-19 02:59:22 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 萤光显微镜荧光显微镜是一种使用荧光或磷光物质的光学显微镜,或除此之外使用反射和吸收用于研究的有机或无机物质的特性。“荧光显微镜”是指使用荧光来产生一个图像的任何显微镜,无论是
  • 马约特岛马约特大区(法语:Mayotte;斯马奥莱语:Maore;马拉加斯语:Mahori) 通称马约特,位于莫桑比克海峡,与大科摩罗岛、昂儒昂岛、莫埃利岛共同组成科摩罗群岛。面积为374平方公里,经济以农业为
  • 父亲父亲简称父,或称爸爸,是一种亲属关系的称谓,是子女对双亲中的男性的称呼。父亲和子女是重要的直系亲属关系之一,通常具有亲密关系。一般指参与生育小孩过程的男人(即生父);但在有些
  • 活埋活埋,古称“生埋”,指将活人或活动物埋入土中,使其窒息死亡。活埋可以是人为造成,也可以是自然灾害或者意外导致的。中国古籍中常见“坑杀”一词,常被人们解释为“活埋”,《辞海》
  • Oxon坐标:51°45′40″N 1°15′12″W / 51.7611°N 1.2534°W / 51.7611; -1.2534牛津大学(英语:University of Oxford;非正式:Oxford University,或:Oxford;勋衔简称:Oxon)位于英格兰东
  • 风筝冲浪风筝冲浪(Kiteboarding)是透过大型充气支架风筝连结到人体上,并脚踏风筝浪板或冲浪板在水面航行的运动。该运动仅发展短短十余年。是目前水上运动发展最快的运动。透过大型风筝
  • 水母发光蛋白水母素(英语:Aequorin,又译埃奎明,分子量:相对分子约35000)是一种生物发光蛋白质,属荧光素酶,具蛋白质一般特性,双缩脲和茚三酮反应均呈阳性,遇硫酸铵时沉淀。高温时荧光迅速消失。pH
  • 支配在计算机科学中,控制流图的一个节点 d 支配节点 n,当且仅当从开始节点(可以理解为源)到节点 n的每一条路径均要经过节点d,写作d dom n (一写作d ≫
  • 斑鱵斑鱵(学名:)为辐鳍鱼纲鹤鱵目鱵科的一种。本鱼分布于印度西太平洋区,包括东非、留尼汪、塞舌尔群岛、阿曼、印度、泰国、越南、马来西亚、毛里求斯、中国、日本、台湾、印尼、澳
  • 索菲·约翰娜·玛利亚索菲·约翰娜·玛丽亚(Sophie Johanna Maria,1978年3月7日-),出生于西德法兰克福。是被废黜的普鲁士王室后裔。头衔有伊森堡公主,普鲁士王妃。她是伊森堡-比尔施泰因亲王弗朗茨·