哈瑟原则

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

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

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

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

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

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

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

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

相关

  • 新马बाप तहसील घंटियाली 城镇新马(New Mahe),是印度喀拉拉邦Kannur县的一个城镇。总人口11230(2001年)。该地2001年总人口11230人,其中男性5139人,女性6091人;0—6岁人
  • 铠蝇科铠蝇科,又称甲蝇科,属于双翅目昆虫,共9属115种,主要分布于亚洲与非洲。铠蝇科属于中小型昆虫,前胸背板异常发达,在腹部形成有如甲虫翅鞘般的金属光泽保护壳。科名来自希腊文κέλ
  • 激进主义激进主义,又称急进主义,系处于现存组织、社会状态或运作方式中相对不利的位置上怀有强烈的不满,从而产生否定的观念,迫切寻求对现状从根本上进行剧烈的变革。在极权制度的国家里
  • 常延龄常延龄(1612年-1665年),字乔若,凤阳府怀远县人,明朝、南明政治人物。常延龄是开平王常遇春的十二世孙,崇祯年间袭封怀远侯,十二次疏陈时政,得崇祯帝嘉奖。熊开元、姜埰入狱,他上呈抗章
  • 山东省佛教寺庙列表本列表罗列了位于山东省的佛教寺庙。
  • 居斯塔夫·朗松居斯塔夫•朗松(法语:Gustave Lanson;1857年8月5日-1934年12月15日),法国著名文学史家、教育家、文学批评家,曾任俄国宫廷文学课程讲师、巴黎大学文学院教授。
  • 刘重麟刘重麟(?-1845年),中国清朝官员,本籍陕西同州府,贡生出身。之后,先后担任广西永安州知州、归顺州知州、浙江宁波府知府、严州府知府、广西桂平梧郁道、湖北汉黄德道及江西督粮道。1
  • 姆霍沃加奥恩姆霍沃加奥恩(Mhowgaon),是印度中央邦Indore县的一个城镇。总人口20521(2001年)。该地2001年总人口20521人,其中男性10990人,女性9531人;0—6岁人口3392人,其中男1784人,女1608人;识字
  • 郭仲衡 (应用数学和力学家)郭仲衡(1933年3月2日-1993年9月22日),生于广东广州,籍贯广东中山,中国应用数学和力学家。1960年获波兰华沙工业大学硕士学位。1963年获波兰科学院科学技术博士学位。1988年当选为
  • 宋甲锡宋甲锡(朝鲜语:송갑석/宋甲錫 ,1966年10月10日-),大韩民国自由派政治人物,第20到21届国会议员。