哈瑟原则

✍ dations ◷ 2025-12-03 06:22:21 #代数数论,丢番图方程

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

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

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

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

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

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

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

相关

  • 密度制约在种群生态学中,密度制约是描述种群密度对种群增长的影响的一种假说。一般认为密度制约效应主要发生在物种的种子和幼苗阶段。
  • 台湾固网台湾固网股份有限公司,简称台湾固网、台固、TFN,是台湾最大的民营电信固网公司。台湾固网是由台湾大哥大及富邦集团等企业投资成立之固网公司。台湾固网所提供之市内电话,门号
  • 马里布维斯塔马里布维斯塔(英语:Malibu Vista)是位于美国加利福尼亚州洛杉矶县的一个非建制地区。该地的面积和人口皆未知。马里布维斯塔的座标为34°02′12″N 118°46′27″W / 34.03667
  • 复选式排序投票排序复选制(Instant-runoff voting,IRV)、“顺位同票制”或“优序投票制”,也称为“选择投票制”(Alternative Vote,AV)、“偏好投票制”(Preferential Voting),是一种排序投票制度。
  • 斯瑞·阿罗频多斯瑞·阿罗频多(孟加拉语:শ্রীঅরবিন্দ,转写:Śrī arabinda;英语:Śri Aurobindo Ghose;1872年8月15日-1950年12月5日),生于印度西孟加拉邦加尔各答,北印度地区的政治人物、
  • 库尔特·舒施尼格库尔特·舒施尼格(Kurt Schuschnigg,1897年12月14日-1977年11月18日),原名库尔特·冯·舒施尼格(Kurt von Schuschnigg),是一名奥地利政治家,在1934年接替被刺杀的恩格尔伯特·陶尔斐
  • 利文斯顿 (阿拉巴马州)利文斯顿(英文:Livingston),是美国阿拉巴马州下属的一座城市。面积约为7.13平方英里(约合 18.47平方公里)。根据2010年美国人口普查,该市有人口3,485人,人口密度为488.78/平方英里(约
  • 泰伦虫族泰伦虫族(Tyranids,或译作泰兰虫族、异形,常被爱好者简称为Nids)是战棋游戏《战锤40000》里一支虚构的外星种族,得名于人类首次发现他们的泰伦星(Tyran)。泰伦虫族实际上来自银河系
  • 清涧县清涧县是中国陕西省榆林市下辖的一个县,位于陕西北部,榆林市南部,黄河西岸,无定河在此汇入,清涧河流贯西境,与延安市相接。面积1881平方公里,人口21万,区划代码610830,邮编718300。历
  • 玛丽·阿雷尔玛丽·阿雷尔(法语:Marie Harel,1761年4月28日-1844年11月9日)是十八世纪至十九世纪期间于法国的女性奶酪制作家,并且是卡芒贝尔奶酪的开发者。出生于奥恩省的克鲁特一带,在1785年