哈瑟原则

✍ dations ◷ 2025-12-02 17:59:02 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 薄樱鬼 ~新选组奇谭~曼迪传播《薄樱鬼 ~新选组奇谭~》(薄桜鬼 〜新選組奇譚〜(はくおうき しんせんぐみきたん))是由IDEA FACTORY(OTOMATE)于2008年9月18日发售的恋爱冒险游戏。2009年8月27日发售PSP版
  • 玫瑰山玫瑰山(英语:Rose Hills)是位于美国加利福尼亚州洛杉矶县的一个人口普查指定地区。玫瑰山的座标为34°00′33″N 118°02′31″W / 34.00917°N 118.04194°W / 34.00917; -118
  • 特里普拉邦特里普拉邦(孟加拉语:ত্রিপুরা,罗马化Tripura)是印度的一个邦,位于印度东北部,邦的南边与孟加拉接壤。现特里普拉邦首府为阿加尔塔拉,官方语言为孟加拉语和廓博罗克语(英语:K
  • 结构主义美学结构主义美学作为一种文化思潮,出现在1940-50年代,60年代后在法国取代了存在主义而达到鼎盛。结构主义不是一个统一的哲学流派,其核心思想是把一切事物都看成处在一定的系统结
  • 阿纳托利·布戈尔斯基阿纳托利·布戈尔斯基(或译阿纳托里·邦格里斯基,俄语:Анатолий Петрович Бугорский,1942年6月25日-),是苏联物理学家,毕业于莫斯科工程物理学院(英语:Natio
  • 赵好德赵好德,字秉彝,汝阳县(在今河南省汝南县、平舆县)人。明朝初期官员。其由安庆府知府升任户部侍郎,之后晋升为吏部尚书。明太祖朱元璋嘉奖其与四辅官进入内殿。之后担任陕西行省参
  • 林翀鹤林翀鹤(1863年-1932年),字祐安,号一朴山人,福建省晋江县执节铺人,由附生中式光绪三十年甲辰恩科会试第154名贡士,未殿试。生于清同治二年(1863),昆仲四人,排行第二。他是光绪二十年甲
  • 黔鳄属黔鳄属(学名:)是种水生主龙类,生存于三叠纪中期(安尼西阶)的中国贵州省盘县,属于关岭组。化石是两个几乎完整的身体骨骼、一个压碎的头颅骨。
  • 血战台儿庄《血战台儿庄》是一部中国大陆在1986年制作的电影,翟俊杰与杨光远合作执导,再现了台儿庄战役的历史。这部电影是中国大陆方面首次使用电影艺术的方式肯定国民党在抗日战争正面
  • 李眺李眺,字士远,陇西狄道(今甘肃临洮县)人。李眺是西凉武昭王李暠第九子,李谭、李歆、李让、李愔、李恂、李翻、李豫、李宏的弟弟、李亮的哥哥。李眺官至左将军。嘉兴四年七月(420年),