哈瑟原则

✍ dations ◷ 2025-11-30 21:44:33 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 陆军美国陆军(英语:United States Army),是美军的分支,美国联邦八个制服部队之一。美国陆军的前身是大陆军,组建于1775年6月14日,参与独立战争。战争结束后,大陆会议在1784年6月3日成立
  • 身体穿洞身体穿洞指在身上穿洞,常见有耳洞、鼻洞、脐洞等,再戴上饰物如耳环、鼻环、脐环等,在一些民族传统中,穿洞或穿环是代表身份,亦有些是因为宗教或趋吉避凶而穿环。现代人则多为了美
  • 环带纲环带纲(Clitellata),是环节动物门下的一个纲,在系统演化上为一个单系群,包括蛭(蚂蟥,含水蛭、旱蛭)和寡毛类(如蚯蚓)等。它们的特色是身体上有一节像是“衣领”一样的环带,在生育时会产
  • 东岭镇东岭镇是中国福建省泉州市惠安县下辖的一个镇。1968年,成立飞跃公社。1961年,改为东岭公社。1984年,成立东岭乡。1989年,东岭乡改为东岭镇。东岭镇镇政府驻东岭街。东岭镇辖18个
  • 特鲁尼克大冒险2 不思议的迷宫《特鲁尼克大冒险2 不思议的迷宫》(日版名:ドラゴンクエストキャラクターズ トルネコの大冒険2 ~不思議のダンジョン~,英文版名:Torneko: The Last Hope)是一款PlayStation平台电子
  • 段大章段大章,字果山,四川巴县(今属重庆市)人。清朝政治人物。道光十八年(1838年)戊戌科进士。选翰林院庶吉士,散馆授编修。曾任汉中府知府。官至甘肃布政使。工诗词书法。
  • 甘梅薯条甘梅薯条是番薯条的一种,是由切成条状的地瓜高温热油炸后,加入梅子粉作为调味。因符合大众口味,目前台湾夜市常可见到甘梅薯条的招牌,一些咸酥鸡摊位也有卖甘梅薯条。而最初将甘
  • 克雷格·费格斯克雷格·费格斯(英语:Craig Ferguson,1962年5月17日-),又译克雷格·费格森,苏格兰出身的美国CBS晚间娱乐节目《深夜秀》的主持人,他另外还是喜剧演员、电视制片人和电视剧本作家。克
  • 北戈阿拉北戈阿拉(Uttar Goara),是印度西孟加拉邦Barddhaman县的一个城镇。总人口6972(2001年)。该地2001年总人口6972人,其中男性3588人,女性3384人;0—6岁人口830人,其中男433人,女397人;识字
  • 惩罚者惩罚者(英语:Punisher),是美国漫威漫画旗下一位虚构的超级英雄,本来是蜘蛛侠系列配角中独立出来重新再塑造的角色,在漫威漫画众超级英雄中以作风血腥残酷而有相当多的读者人气。原